检索结果-内蒙古大学图书馆

计算机学报 1998年第1期21卷 40-46页

作者：樊晓聪徐殿祥郑国梁南京大学计算机科学与技术系南京210093 南京大学计算机软件新技术国家重点实验室南京210093

在多Agent系统中，个体Agent除了具有自治性、应激性、主动性外，还应当具有社会性以完成只有协作才能解决的问题．这种社会性要求Agent能及时响应其它Agent的服务请求，对自己的行为作出承诺．但是，有能力和意图并不一定有信心．本文... 详细信息

在多Agent系统中，个体Agent除了具有自治性、应激性、主动性外，还应当具有社会性以完成只有协作才能解决的问题．这种社会性要求Agent能及时响应其它Agent的服务请求，对自己的行为作出承诺．但是，有能力和意图并不一定有信心．本文从Agent的社会行为出发，为A-gent引入行为自信度的概念，并提出了理性Agent应当遵守的行为自信度修改规则．最后给出了一个动作委托算法，为设计具体的多Agent系统提供了一个可行的解决方案．

关键词：多Agent系统行为自信度动作集人工智能

来源：评论

学校读者我要写书评

暂无评论

离散时段演算的符号模型验证

引用

计算机学报 1998年第2期21卷 103-110页

作者：侯建民李宣东郑国梁南京大学计算机科学与技术系南京210093 南京大学计算机软件新技术国家重点实验室南京210093

模型验证是对有限状态系统的一种形式化确认方法．近几年，模型验证方法已逐步扩展到实时系统应用中．为解决实时系统的模型验证问题，本文采用离散时段演算作为实时系统规格说明的形式语言，用时间自动机作为实时系统的实现模型，对模... 详细信息

模型验证是对有限状态系统的一种形式化确认方法．近几年，模型验证方法已逐步扩展到实时系统应用中．为解决实时系统的模型验证问题，本文采用离散时段演算作为实时系统规格说明的形式语言，用时间自动机作为实时系统的实现模型，对模型验证问题进行了细致的分析，并提出了一种具有实际应用价值的方法──商技术．该方法可以避免当多个时间自动机并行组合时可能产生的状态空间组合爆炸问题，同时还可以简化整个模型验证问题．

关键词：离散时段演算模型验证符号模型实时系统

来源：评论

学校读者我要写书评

暂无评论

协同调度算法Dasic的性能评价

引用

软件学报 1998年第10期9卷 734-739页

作者：周笑波陆桑璐谢立南京大学计算机软件新技术国家重点实验室南京大学计算机科学与技术系

对一个动态自适应的ＮＯＷ（ｎｅｔｗｏｒｋｏｆｗｏｒｋｓｔａｔｉｏｎｓ）协同调度算法Ｄａｓｉｃ算法进行了性能评估．通过对Ｄａｓｉｃ算法和典型的ＮＯＷ协同调度算法ＭＡＸ算法、Ｇｒａｂ算法的性能模拟，在响应时间和系统流量两... 详细信息

对一个动态自适应的ＮＯＷ（ｎｅｔｗｏｒｋｏｆｗｏｒｋｓｔａｔｉｏｎｓ）协同调度算法Ｄａｓｉｃ算法进行了性能评估．通过对Ｄａｓｉｃ算法和典型的ＮＯＷ协同调度算法ＭＡＸ算法、Ｇｒａｂ算法的性能模拟，在响应时间和系统流量两个主要性能指标上进行分析和比较，从而验证了在较大规模的ＮＯＷ系统中，动态自适应对协同调度的性能有较大的影响．

关键词：工作站网络协同调度动态自适应算法

来源：评论

学校读者我要写书评

暂无评论

任务间的次并行性

引用

软件学报 1998年第12期9卷 917-921页

作者：杜建成徐融陈道蓄谢立南京大学计算机科学与技术系南京大学计算机软件新技术国家重点实验室

首先给出了任务间次并行性存在的条件，讨论了两个任务之间的通讯、通讯等待开销的计算和任务间次并行性发掘的一般过程．此外，还就代码移动和任务合并对增强并行性、消减不必要的通讯等待开销的影响作了说明．

关键词：数据并行性任务并行性程序自动并行化

来源：评论

学校读者我要写书评

暂无评论

基于ATM的群通信问题的研究

引用

软件学报 1998年第8期9卷 561-565页

作者：吴礼发周笑波谢立孙钟秀南京大学计算机科学与技术系南京大学计算机软件新技术国家重点实验室

群通信在并行计算中起着重要的作用．ＡＴＭ（ａｓｙｎｃｈｒｏｎｏｕｓｔｒａｎｓｆｅｒｍｏｄｅ）网络有许多特点使之适合群通信．如何有效地利用ＡＴＭ的这些特点来实现群通信操作是一个重要的研究课题．该文提出了一种基于ＡＴＭ的... 详细信息

群通信在并行计算中起着重要的作用．ＡＴＭ（ａｓｙｎｃｈｒｏｎｏｕｓｔｒａｎｓｆｅｒｍｏｄｅ）网络有许多特点使之适合群通信．如何有效地利用ＡＴＭ的这些特点来实现群通信操作是一个重要的研究课题．该文提出了一种基于ＡＴＭ的群通信结构——混合树（Ｈｙｂｒｉｄ－Ｔｒｅｅ），该结构适合动态组中的群通信，并且能有效地利用ＡＴＭ的特点．

关键词： ATM 群通信多目标发送计算机网络

来源：评论

学校读者我要写书评

暂无评论

基于实例推理的智能刺绣编程系统