分布式实时系统UECnet的描述工具──配置说明语言UECspec 被引量：3

1

作者 舒敏 龚天富 《软件学报》 EI CSCD 北大核心 1994年第1期37-41,共5页

大型、复杂的分布式实时系统除了有严格的时间要求外，还需要有更大的灵活性、可预测性和可靠性．本文提出一个分布式实时系统的描述工具─—配置说明语言ＵＥＣｓｐｅｃ，用来描述分布式实时系统ＵＥＣｎｅｔ应用层的逻辑同结构、进程... 大型、复杂的分布式实时系统除了有严格的时间要求外，还需要有更大的灵活性、可预测性和可靠性．本文提出一个分布式实时系统的描述工具─—配置说明语言ＵＥＣｓｐｅｃ，用来描述分布式实时系统ＵＥＣｎｅｔ应用层的逻辑同结构、进程间的通信链接关系．以及各进程的实时特性．ＵＥＣｎｅｔ系统根据ＵＥＣｓｐｅｃ描述自动完成对应用系统的配置分析，初始分配及重配置． 展开更多

关键词 分布式 实时 操作系统 UECspec语言

下载PDF 职称材料

ARQ通信系统的性能优化与帧长度的动态选择 被引量：1

2

作者 龚天富 徐开来 +1 位作者 刘洪 陈亚平 《计算机应用》 CSCD 1994年第3期24-26,共3页

本文考虑了正向信道不可检错和反向信道差错，并用齐次马尔可夫链精确完整地分析了ＡＲＱ通信系统的工作过程，从而将系统的表现传输效率和有效传输效率严格地区分开来。所推导出的性能公式能够在Ｍｏｄｅｍ远程通信这样的宽误码率环境... 本文考虑了正向信道不可检错和反向信道差错，并用齐次马尔可夫链精确完整地分析了ＡＲＱ通信系统的工作过程，从而将系统的表现传输效率和有效传输效率严格地区分开来。所推导出的性能公式能够在Ｍｏｄｅｍ远程通信这样的宽误码率环境下通用。本文研究了帧长与有效传输效率的关系。结果表明根据信道质量动态地选择帧长能够显著提高ＡＲＱ协议性能。 展开更多

关键词 自动请求重传 通信系统 性能优化

下载PDF 职称材料

DRTOS中的通信协议

3

作者 张振宇 龚天富 《计算机应用》 CSCD 1995年第4期51-52,共2页

本文介绍了基于微核心的分布式实时操作系统ＤＲＴＯＳ（ＤｉｓｔｒｉｂｕｔｅｄＲｅａｌ－ｔｉｍｅＯｐｅｒａｔｉｎｇＳｙｓｔｅｍ）通信协议。该协议主要实现ＩＳＯ／ＯＳＩ七层协议模型中的低四层协议。根据本系统的特点，对ＩＳＯ... 本文介绍了基于微核心的分布式实时操作系统ＤＲＴＯＳ（ＤｉｓｔｒｉｂｕｔｅｄＲｅａｌ－ｔｉｍｅＯｐｅｒａｔｉｎｇＳｙｓｔｅｍ）通信协议。该协议主要实现ＩＳＯ／ＯＳＩ七层协议模型中的低四层协议。根据本系统的特点，对ＩＳＯ／ＯＳＩ的相应协议作了简化。 展开更多

关键词 通信协议 进程通信 分布式计算机 DRTOS

下载PDF 职称材料

DRTC＋＋：一个面向对象的分布式实时程序设计语言

4

作者 舒敏 张松梅 龚天富 《电子科技大学学报》 EI CAS CSCD 北大核心 1994年第2期173-177,共5页

提出了一个面向对象的分布式实时程序设计语言ＤＲＴＣ＋＋。它是在Ｃ＋＋语言的基础上进行了扩充，增加了分布功能和通信功能，引入了活跃对象、共享对象、活跃对象的时间封装机制、对象的访问权限等功能。ＤＲＴＣ＋＋语言有简洁的文... 提出了一个面向对象的分布式实时程序设计语言ＤＲＴＣ＋＋。它是在Ｃ＋＋语言的基础上进行了扩充，增加了分布功能和通信功能，引入了活跃对象、共享对象、活跃对象的时间封装机制、对象的访问权限等功能。ＤＲＴＣ＋＋语言有简洁的文法和清晰的语义。 展开更多

关键词 分布式 程序设计 程序语言

下载PDF 职称材料

一个分布式实时操作系统UECnet 被引量：1

5

作者 龚天富 张松梅 +3 位作者 李广星 舒敏 张立 桑楠 《计算机工程与应用》 CSCD 北大核心 1990年第10期43-47,共5页

本文论述了分布式实时操作系统UECnet的概念和实现。UECnet是一个在三台PC/AT连成的分布式系统上开发的,基于进程模型的分布式实时操作系统原型。它旨在提供一个通用的分布式实时处理环境。在操作系统级,提供了满足实时限制的通信机制,... 本文论述了分布式实时操作系统UECnet的概念和实现。UECnet是一个在三台PC/AT连成的分布式系统上开发的,基于进程模型的分布式实时操作系统原型。它旨在提供一个通用的分布式实时处理环境。在操作系统级,提供了满足实时限制的通信机制,尽量保证进程实时要求的调度算法。在应用程序级,提供构造实时系统的工具,减少大型分布式实时应用系统的开发周期。为适应系统可演化的需要,还提供系统配置(Configuration)能灵活变动的机制。 展开更多

关键词 分布式 实时 操作系统 UECnet

下载PDF 职称材料

一个面向对象软件复用支撑环境 被引量：1

6

作者 邓虹 龚天富 《计算机应用》 CSCD 1992年第6期9-14,共6页

本文提出一种软件复用支撑环境的总体框架,根据面向对象概念模型讨论了软件复用支撑环境的核心——一个面向对象的可复用软件成分库原型的设计与实现。

关键词 软件复用 面向对象 软件开发

下载PDF 职称材料

Mini　CSP语言的时态语义

7

作者 左志宏 龚天富 《计算机应用》 CSCD 1995年第1期12-14,共3页

本文给出了ＭｉｎｉＣＳＰ语言的复合时态语义。提出了一种描述同步通讯的方法。在此基础上，描述了真正的分布式程序的执行。

关键词 MiniCSP语言 时态语义 形式语义 并行程序

下载PDF 职称材料

MiniCSP－R语言的操作语义

8

作者 左志宏 龚天富 《电子科技大学学报》 EI CAS CSCD 北大核心 1994年第6期626-631,共6页

详细给出了面向对象的实时分布式语言ＭｉｎｉＣＳＰ－Ｒ的操作语义，对语句的时间限制，不确定选择给出了相应的描述方法。

关键词 实时分布式语言 Mini-CSP语言 程序语言

下载PDF 职称材料

一个面向对象的实时分布式语言的指称语义

9

作者 左志宏 龚天富 《软件学报》 EI CSCD 北大核心 1996年第4期244-251,共8页

本文给出了一个面向对象的实时分布式语言的指称语义，在不同层次Ｌ给出了语句、对象和程序的清晰描述．提出了实时状态的概念．借助于它，在指称语义的框架内，简洁地刻画了语言的实时特性．

关键词 实时 指称语义 面向对象 分布式语言

下载PDF 职称材料

一种分布式实时调试方法

10

作者 桑楠 龚天富 《微型计算机》 北大核心 1997年第2期14-16,共3页

ＤＲＴＤｅｂｕｇ是一种基于事件的调试模型，用于调试基于分布式操作系统核心 ＤＲＴＫ、分布式实时语言ＤＲＴＣ＋＋编写的分布式实时应用程序。本文介绍了ＤＲＴＤｅｂｕｇ的设计调试原理，阐述了分布式实时计算中的不确定性等问题... ＤＲＴＤｅｂｕｇ是一种基于事件的调试模型，用于调试基于分布式操作系统核心 ＤＲＴＫ、分布式实时语言ＤＲＴＣ＋＋编写的分布式实时应用程序。本文介绍了ＤＲＴＤｅｂｕｇ的设计调试原理，阐述了分布式实时计算中的不确定性等问题的解决方法。 展开更多

关键词 调试 分布式程序 操作系统

下载PDF 职称材料

CASE-DDB的设计和不确定性问题的解决

11

作者 桑楠 龚天富 陈文宇 《电子科技大学学报》 EI CAS CSCD 北大核心 1997年第2期185-189,共5页

分布式程序执行行为的不确定性导致其调试工作复杂化，以至于无法用传统的调试工具进行调试。ＣＡＳＥ－ＤＤＢ是一种基于事件的调试工具，用于调试用分布式Ｃ＋＋语言编写的分布式应用程序。文中介绍了ＣＡＳＥ－ＤＤＢ的设计思想和基... 分布式程序执行行为的不确定性导致其调试工作复杂化，以至于无法用传统的调试工具进行调试。ＣＡＳＥ－ＤＤＢ是一种基于事件的调试工具，用于调试用分布式Ｃ＋＋语言编写的分布式应用程序。文中介绍了ＣＡＳＥ－ＤＤＢ的设计思想和基本结构。 展开更多

关键词 分布式 不确定性 调试工具 计算机系统 硬件

下载PDF 职称材料

计算机实用技术

12

作者 龚天富 《实用影音技术》 1994年第4期18-18,共1页

本书的宗旨是引导读者入门使用计算机,取材合理、广泛、适用。主要内容包括:什么是计算机、微型机配置、微型机基本操作(DOS命令),实用工具程序PCTOOLS,五笔字型输入法,WPS桌面印刷系统,FOXBASE应用,还对最近热门技术——多媒体技术作... 本书的宗旨是引导读者入门使用计算机,取材合理、广泛、适用。主要内容包括:什么是计算机、微型机配置、微型机基本操作(DOS命令),实用工具程序PCTOOLS,五笔字型输入法,WPS桌面印刷系统,FOXBASE应用,还对最近热门技术——多媒体技术作了简单介绍。各章配有习题。 展开更多

关键词 五笔字型输入法 印刷系统 多媒体技术 自学者 一本 川石

下载PDF 职称材料