龚天富

作品数：11被引量：6H指数：1
导出分析报告
供职机构：电子科技大学计算机科学与工程学院更多>>
发文主题：操作系统分布式程序语言面向对象分布式计算机更多>>
发文领域：自动化与计算机技术电子电信更多>>
发文期刊：《电子科技大学学报》《计算机工程与应用》《软件学报》《微型计算机》更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
CASE-DDB的设计和不确定性问题的解决
《电子科技大学学报》1997年第2期185-189,共5页桑楠 龚天富 陈文宇 
电子部"八五"重点科研项目
分布式程序执行行为的不确定性导致其调试工作复杂化，以至于无法用传统的调试工具进行调试。ＣＡＳＥ－ＤＤＢ是一种基于事件的调试工具，用于调试用分布式Ｃ＋＋语言编写的分布式应用程序。文中介绍了ＣＡＳＥ－ＤＤＢ的设计思想和基...
关键词：分布式 不确定性 调试工具 计算机系统 硬件 
一种分布式实时调试方法
《微型计算机》1997年第2期14-16,共3页桑楠 龚天富 
ＤＲＴＤｅｂｕｇ是一种基于事件的调试模型，用于调试基于分布式操作系统核心 ＤＲＴＫ、分布式实时语言ＤＲＴＣ＋＋编写的分布式实时应用程序。本文介绍了ＤＲＴＤｅｂｕｇ的设计调试原理，阐述了分布式实时计算中的不确定性等问题...
关键词：调试 分布式程序 操作系统 
一个面向对象的实时分布式语言的指称语义
《软件学报》1996年第4期244-251,共8页左志宏 龚天富 
本文给出了一个面向对象的实时分布式语言的指称语义，在不同层次Ｌ给出了语句、对象和程序的清晰描述．提出了实时状态的概念．借助于它，在指称语义的框架内，简洁地刻画了语言的实时特性．
关键词：实时 指称语义 面向对象 分布式语言 
DRTOS中的通信协议
《计算机应用》1995年第4期51-52,共2页张振宇 龚天富 
"八.五"预研资助
本文介绍了基于微核心的分布式实时操作系统ＤＲＴＯＳ（ＤｉｓｔｒｉｂｕｔｅｄＲｅａｌ－ｔｉｍｅＯｐｅｒａｔｉｎｇＳｙｓｔｅｍ）通信协议。该协议主要实现ＩＳＯ／ＯＳＩ七层协议模型中的低四层协议。根据本系统的特点，对ＩＳＯ...
关键词：通信协议 进程通信 分布式计算机 DRTOS 
Mini　CSP语言的时态语义
《计算机应用》1995年第1期12-14,共3页左志宏 龚天富 
机电部预研基金
本文给出了ＭｉｎｉＣＳＰ语言的复合时态语义。提出了一种描述同步通讯的方法。在此基础上，描述了真正的分布式程序的执行。
关键词：MiniCSP语言 时态语义 形式语义 并行程序 
MiniCSP－R语言的操作语义
《电子科技大学学报》1994年第6期626-631,共6页左志宏 龚天富 
电子部预研基金
详细给出了面向对象的实时分布式语言ＭｉｎｉＣＳＰ－Ｒ的操作语义，对语句的时间限制，不确定选择给出了相应的描述方法。
关键词：实时分布式语言 Mini-CSP语言 程序语言 
DRTC＋＋：一个面向对象的分布式实时程序设计语言
《电子科技大学学报》1994年第2期173-177,共5页舒敏 张松梅 龚天富 
提出了一个面向对象的分布式实时程序设计语言ＤＲＴＣ＋＋。它是在Ｃ＋＋语言的基础上进行了扩充，增加了分布功能和通信功能，引入了活跃对象、共享对象、活跃对象的时间封装机制、对象的访问权限等功能。ＤＲＴＣ＋＋语言有简洁的文...
关键词：分布式 程序设计 程序语言 
ARQ通信系统的性能优化与帧长度的动态选择被引量：1
《计算机应用》1994年第3期24-26,共3页龚天富 徐开来 刘洪 陈亚平 
四川省科委应用基础研究基金
本文考虑了正向信道不可检错和反向信道差错，并用齐次马尔可夫链精确完整地分析了ＡＲＱ通信系统的工作过程，从而将系统的表现传输效率和有效传输效率严格地区分开来。所推导出的性能公式能够在Ｍｏｄｅｍ远程通信这样的宽误码率环境...
关键词：自动请求重传 通信系统 性能优化 
分布式实时系统UECnet的描述工具──配置说明语言UECspec被引量：3
《软件学报》1994年第1期37-41,共5页舒敏 龚天富 
"七.五"预研项目;SB-3-3资助
大型、复杂的分布式实时系统除了有严格的时间要求外，还需要有更大的灵活性、可预测性和可靠性．本文提出一个分布式实时系统的描述工具─—配置说明语言ＵＥＣｓｐｅｃ，用来描述分布式实时系统ＵＥＣｎｅｔ应用层的逻辑同结构、进程...
关键词：分布式 实时 操作系统 UECspec语言 
一个面向对象软件复用支撑环境被引量：1
《计算机应用》1992年第6期9-14,共6页邓虹 龚天富 
本文提出一种软件复用支撑环境的总体框架,根据面向对象概念模型讨论了软件复用支撑环境的核心——一个面向对象的可复用软件成分库原型的设计与实现。
关键词：软件复用 面向对象 软件开发 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部