论文部分内容阅读
问题形式化是协作系统的基本研究课题，它是系统设计者设计系统的指导，又是系统内智能实体动态地规划、自构系统的基础。该文详细讨论了问题形式化技术，即问题描述、分解和分配三阶段的主要原则和方法。
协作系统的问题形式化
【摘 要】
：
问题形式化是协作系统的基本研究课题，它是系统设计者设计系统的指导，又是系统内智能实体动态地规划、自构系统的基础。该文详细讨论了问题形式化技术，即问题描述、分解和分配三
【机 构】
：
同济大学电气工程系
【出 处】
：
中国控制会议
【发表日期】
：
1998年期
其他文献
航天和模拟微重力时研究表明 :微重力与现有模拟微重力模型时人体生理学变化的主要差异表现在低压区循环和体液、电解质代谢。微重力生理研究的人体模型在进一步了解微重力对
国际电信联盟制定的ITU－T.120系列协议为多点多媒体通信中的数据通信系统提供了国际标准。T.124协议是T.120系列协议的会议总体控制协议。它为数据通信提供了会议管理、终端控
该文提出了一种高效主的数据变换方案比ＡＳＣＩＩ码变换效率提高４３℅，阐述了发送接收数据的过程，给出了程序流程图，以此通信协议，实现了ＬＳＡＡ９８调度机维护终端的通信，该软件经过现场长期运行表明，性能
一、系统开发的曲折历程 早在1988年,哈尔滨工业大学的几位伙食管理干部就提出了实行“微机售饭”,取消传统、落后的伙食餐券的设想。今天,作为对传统餐券结算方式的一次革
ＴＴＣＮ是一种用于描述协议测试集的语言：树表组合表述法。该文在分析协议一致性测试集和ＴＴＣＮ的基础上，讨论测试序列生成算法，介绍一种基于ＴＴＣＮ的ＰＡＤ一致性测试集的设计。该测试集在形式化、标准化
该文简要介绍了协议一致性测试平台的基本要求和设计思想，给出了整体的设计框架，并且详细讨论了平台实现过程中的五部分工作，包括测试例的生成、选择和执行，同时给出了一些简单的
提供3G业务（如Internet业务和移动多媒体业务等）正成为运营商之间竞争的热点，本文讨论基于GSM的网络系统提供3G业务的方法及GPRS技术的空中接口。