龚天富
- 作品数：16 被引量：11H指数：2
- 供职机构：电子科技大学计算机科学与工程学院更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 一个面向对象软件复用支撑环境被引量：1
- 1992年
- 本文提出一种软件复用支撑环境的总体框架,根据面向对象概念模型讨论了软件复用支撑环境的核心——一个面向对象的可复用软件成分库原型的设计与实现。
- 邓虹龚天富
- 关键词：软件复用面向对象软件开发
- CASE-DDB的设计和不确定性问题的解决
- 1997年
- 分布式程序执行行为的不确定性导致其调试工作复杂化，以至于无法用传统的调试工具进行调试。ＣＡＳＥ－ＤＤＢ是一种基于事件的调试工具，用于调试用分布式Ｃ＋＋语言编写的分布式应用程序。文中介绍了ＣＡＳＥ－ＤＤＢ的设计思想和基本结构。
- 桑楠龚天富陈文宇
- 关键词：分布式不确定性计算机系统硬件
- 分布式系统辅助开发工具包
- 孙钟秀谢立杜兴朱根江龚天富王能斌董逸生吴国庆等
- 一、成果内容简介、关键技术、技术经济指标：1、成果内容简介：(1)分布式系统辅助开发工具包由以下工具组成；①分布式计算系统规范描述语言工具SLDS；②基于C++的分布式程序设计语言DC++；②分布式计算系统的软件调试工具...
- 关键词：
- 关键词：分布式系统软件开发软件工具包
- Mini CSP语言的时态语义
- 1995年
- 本文给出了ＭｉｎｉＣＳＰ语言的复合时态语义。提出了一种描述同步通讯的方法。在此基础上，描述了真正的分布式程序的执行。
- 左志宏龚天富
- 关键词：时态语义形式语义
- 基于对象的异质链表
- 基于对象的异质链表的建立需要考虑多方面的因素.以面向对象的C++语言为基础,讨论建立异质链表的方法.该方法基于对象,采用继承机制和多态性的动态实现技术,使用动态对象,辅助虚基类概念.与传统的异质链表的建立方法比较,具有实...
- 陈文宇孙世新龚天富
- 关键词：虚基类
- 文献传递
- ARQ通信系统的性能优化与帧长度的动态选择被引量：3
- 1994年
- 本文考虑了正向信道不可检错和反向信道差错，并用齐次马尔可夫链精确完整地分析了ＡＲＱ通信系统的工作过程，从而将系统的表现传输效率和有效传输效率严格地区分开来。所推导出的性能公式能够在Ｍｏｄｅｍ远程通信这样的宽误码率环境下通用。本文研究了帧长与有效传输效率的关系。结果表明根据信道质量动态地选择帧长能够显著提高ＡＲＱ协议性能。
- 龚天富徐开来刘洪陈亚平
- 关键词：自动请求重传通信系统
- FP程序的静态分析
- 李广星龚天富
- 关键词：程序设计程序语言最佳化静态特性程序系统
- DRTOS中的通信协议被引量：2
- 1995年
- 本文介绍了基于微核心的分布式实时操作系统ＤＲＴＯＳ（ＤｉｓｔｒｉｂｕｔｅｄＲｅａｌ－ｔｉｍｅＯｐｅｒａｔｉｎｇＳｙｓｔｅｍ）通信协议。该协议主要实现ＩＳＯ／ＯＳＩ七层协议模型中的低四层协议。根据本系统的特点，对ＩＳＯ／ＯＳＩ的相应协议作了简化。
- 张振宇龚天富
- 关键词：通信协议进程通信分布式计算机
- 一个分布式实时操作系统UECnet被引量：1
- 1990年
- 本文论述了分布式实时操作系统UECnet的概念和实现。UECnet是一个在三台PC/AT连成的分布式系统上开发的,基于进程模型的分布式实时操作系统原型。它旨在提供一个通用的分布式实时处理环境。在操作系统级,提供了满足实时限制的通信机制,尽量保证进程实时要求的调度算法。在应用程序级,提供构造实时系统的工具,减少大型分布式实时应用系统的开发周期。为适应系统可演化的需要,还提供系统配置(Configuration)能灵活变动的机制。
- 龚天富张松梅李广星舒敏张立桑楠
- 关键词：分布式操作系统
- 分布式实时系统UECnet的描述工具──配置说明语言UECspec被引量：3
- 1994年
- 大型、复杂的分布式实时系统除了有严格的时间要求外，还需要有更大的灵活性、可预测性和可靠性．本文提出一个分布式实时系统的描述工具─—配置说明语言ＵＥＣｓｐｅｃ，用来描述分布式实时系统ＵＥＣｎｅｔ应用层的逻辑同结构、进程间的通信链接关系．以及各进程的实时特性．ＵＥＣｎｅｔ系统根据ＵＥＣｓｐｅｃ描述自动完成对应用系统的配置分析，初始分配及重配置．
- 舒敏龚天富
- 关键词：分布式操作系统
