首页--工业技术论文--自动化技术、计算机技术论文--计算技术、计算机技术论文--计算机软件论文--程序设计、软件工程论文--软件工程论文

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

第一章 绪论第1-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页

论文共41页,点击 下载论文
上一篇:试论广州白云山化学制药厂价值链管理
下一篇:资源约束、行业扩张与产业外移--以台湾纺织业为例