分享到:

面向多Agent设计与分析形式化方法的研究

随着多Agent技术的发展及其在各种系统中的应用,Agent作为下一代软件工程技术的观点已被越来越多的研究者和工程师所接受。Agent理论研究,尤其是面向Agent的复杂系统形式化说明、设计与分析方法的研究已成为当前的一个热点。Haiping Xu提出面向Agent的G-Net方法在Agent的形式化设计与分析方面取得了显著的效果;该方法是一种多方法学集成的建模方法,一方面体现了面向对象类的基本思想对Agent内部结构进行分层抽象描述,另一方面充分利用Petri网这一形式化的分析工具确保设计的正确性。针对列车群运行仿真子系统之间存在的通信协商问题,本文在已有研究的基础上构建了仿真系统Agent通信传输层模型,该模型基于系统的多Agent架构为进一步描述列车-车站间的通信行为提供了基础。在此基础上,采用上述方法对列车离站/进站基本协议构建了面向Agent的G-Net列车-车站通信关系模型。本文利用面向Agent的G-Net方法在复  (本文共41页) 本文目录 | 阅读全文>>

《地理教学》2003年09期
地理教学

巴黎协和广场

...  (本文共1页) 阅读全文>>

《宁夏教育》1983年03期
宁夏教育

鲜花的歌(少年歌曲)

1=F 子或 1 二吧; 深憎地 34 5—— 6 S J 31 0 71 2·314 6 谁使 我 生 根 发 芽?是 您 呀 土 地6...  (本文共1页) 阅读全文>>

《中国漫画》2018年06期
中国漫画

拜天地的来历

...  (本文共2页) 阅读全文>>

《启蒙》2018年08期
启蒙

识字

...  (本文共1页) 阅读全文>>

权威出处: 《启蒙》2018年08期
《求学》2002年02期
求学

你是一个乐观的人吗?

...  (本文共2页) 阅读全文>>

权威出处: 《求学》2002年02期