面向多Agent设计与分析形式化方法的研究--面向Agent的G-Net列车群运行模型的研究
面向Agent的G-Net论文 Petri网论文 RITS论文 列车群运行仿真系统论文
论文详情
随着多Agent技术的发展及其在各种系统中的应用,Agent作为下一代软件工程技术的观点已被越来越多的研究者和工程师所接受。Agent理论研究,尤其是面向Agent的复杂系统形式化说明、设计与分析方法的研究已成为当前的一个热点。Haiping Xu提出面向Agent的G-Net方法在Agent的形式化设计与分析方面取得了显著的效果;该方法是一种多方法学集成的建模方法,一方面体现了面向对象类的基本思想对Agent内部结构进行分层抽象描述,另一方面充分利用Petri网这一形式化的分析工具确保设计的正确性。 针对列车群运行仿真子系统之间存在的通信协商问题,本文在已有研究的基础上构建了仿真系统Agent通信传输层模型,该模型基于系统的多Agent架构为进一步描述列车-车站间的通信行为提供了基础。在此基础上,采用上述方法对列车离站/进站基本协议构建了面向Agent的G-Net列车-车站通信关系模型。本文利用面向Agent的G-Net方法在复杂系统设计分析中的优点,对在系统运行期间列车与车站之间表现出的通信协商等交互行为进行了建模描述;并且利用基于Petri网的形式化分析方法对模型的L3-活性属性进行了验证。模型L3-活性的验证过程说明:在系统运行期间,模型中描述的任意列车/车站通信行为的执行不会导致通信的死锁。 本文描述的列车群运行仿真系统子系统之间通信关系的研究是基于PITS基本特征的列车群运行系统行为属性建模研究重要组成部分;同时为多Agent系统中Agent交互行为的形式化设计与分析方法的进一步研究打下坚实基础。
第一章 绪论 | 第6-10页 |
1.1 研究现状 | 第6-8页 |
1.2 研究背景及意义 | 第8页 |
1.3 本文内容与结构 | 第8-10页 |
第二章 相关知识介绍 | 第10-19页 |
2.1 Agent方法 | 第10-13页 |
2.1.1 多Agent系统建模 | 第10-12页 |
2.1.2 Agent之间的通信 | 第12-13页 |
2.2 Petri网理论 | 第13-15页 |
2.2.1 Petri网的基本性质 | 第13-14页 |
2.2.2 Petri网的基本分析方法 | 第14-15页 |
2.3 G-Net建模理论 | 第15-17页 |
2.4 多Agent系统与G-Net描述方法 | 第17-19页 |
第三章 列车群运行系统建模研究 | 第19-26页 |
3.1 列车群运行仿真系统 | 第19-20页 |
3.2 TOPNO,TGOSOPS | 第20-22页 |
3.2.1 TOPNO | 第20-21页 |
3.2.2 TGOSOPS | 第21-22页 |
3.3 AGNTOM | 第22-25页 |
3.4 小结 | 第25-26页 |
第四章 面向Agent的G-Net列车-车站通信关系模型及验证 | 第26-35页 |
4.1 列车群运行仿真系统中Agent之间的通信机制 | 第26-27页 |
4.2 面向Agent的G-Net列车-车站通信关系模型 | 第27-30页 |
4.3 L3-活性验证 | 第30-34页 |
4.4 结论 | 第34-35页 |
第五章 总结与未来的工作 | 第35-36页 |
致谢 | 第36-37页 |
参考文献 | 第37-41页 |
附录:攻读硕士学位期间发表的论文 | 第41页 |
论文购买
论文编号
ABS1645042,这篇论文共41页
会员购买按0.30元/页下载,共需支付
12.3。
不是会员,
注册会员!
会员更优惠
充值送钱!
直接购买按0.5元/页下载,共需要支付
20.5。
只需这篇论文,无需注册!
直接网上支付,方便快捷!
相关论文