面向多Agent设计与分析形式化方法的研究——面向Agent的G-Net列车群运行模型的研究

摘要

针对列车群运行仿真子系统之间存在的通信协商问题，本文在已有研究的基础上构建了仿真系统Agent通信传输层模型，该模型基于系统的多Agent架构为进一步描述列车-车站间的通信行为提供了基础。在此基础上，采用上述方法对列车离站/进站基本协议构建了面向Agent的G-Net列车-车站通信关系模型。本文利用面向Agent的G-Net方法在复杂系统设计分析中的优点，对在系统运行期间列车与车站之间表现出的通信协商等交互行为进行了建模描述；并且利用基于Petri网的形式化分析方法对模型的L3-活性属性进行了验证。模型L3-活性的验证过程说明：在系统运行期间，模型中描述的任意列车/车站通信行为的执行不会导致通信的死锁。本文描述的列车群运行仿真系统子系统之间通信关系的研究是基于RITS基本特征的列车群运行系统行为属性建模研究重要组成部分；同时为多Agent系统中Agent交互行为的形式化设计与分析方法的进一步研究打下坚实基础。

目录

文摘

英文文摘

郑重声明

第一章绪论

1.1研究现状

1.2研究背景及意义

1.3本文内容与结构

第二章相关知识介绍

2.1 Agent方法

2.1.1多Agent系统建模

2.1.2 Agent之间的通信

2.2 Petri网理论

2.2.1 Petri网的基本性质

2.2.2 Petri网的基本分析方法

2.3 G-Net建模理论

2.4多Agent系统与G-Net描述方法

第三章列车群运行系统建模研究

3.1列车群运行仿真系统

3.2 TOPNO，TGOSOPS

3.2.1 TOPNO

3.2.2 TGOSOPS

3.3 AGNTOM

3.4小结

第四章面向Agent的G-Net列车-车站通信关系模型及验证

4.1列车群运行仿真系统中Agent之间的通信机制

4.2面向Agent的G-Net列车-车站通信关系模型

4.3L3-活性验证

4.4结论

第五章总结与未来的工作

致谢

参考文献

附录：攻读硕士学位期间发表的论文