| 摘要 | 第1-5页 |
| Abstract | 第5-9页 |
| 第一章 绪论 | 第9-19页 |
| ·选题背景 | 第9-10页 |
| ·应用领域 | 第10-11页 |
| ·研究现状 | 第11-16页 |
| ·Agent建模 | 第11-14页 |
| ·形式化建模和设计研究 | 第14-15页 |
| ·实时通信模式 | 第15-16页 |
| ·本文工作 | 第16-18页 |
| ·论文总体安排 | 第18-19页 |
| 第二章 一种基于扩展BDI的混合软件Agent模型 | 第19-29页 |
| ·引言 | 第19页 |
| ·智能分布监控系统模型 | 第19-24页 |
| ·IDSCS定义 | 第19-20页 |
| ·基于扩展BDI的混合软件Agent模型 | 第20-24页 |
| ·IDSCS形式化定义 | 第24-27页 |
| ·基于混合Agent的IDSCS设计方法 | 第27-28页 |
| ·本章小结 | 第28-29页 |
| 第三章 基于Petri网的IDSCS软件形式化建模和描述 | 第29-43页 |
| ·引言 | 第29页 |
| ·面向IDSCS模型的Petri网 | 第29-34页 |
| ·Petri网简介 | 第29-30页 |
| ·面向混合Agent形式化模型的扩展对象Petri网 | 第30-31页 |
| ·混合Agent的Petri网表示 | 第31-34页 |
| ·MAS的协调机制 | 第34-40页 |
| ·GPGP协调机制基本概念 | 第34-36页 |
| ·改进的GPGP协调机制实现方法 | 第36-37页 |
| ·基于时间着色Petri网的GPGP协调机制实例 | 第37-40页 |
| ·一种基于Petri网的实时任务调度算法 | 第40-42页 |
| ·本章小结 | 第42-43页 |
| 第四章 IDSCS实时通信机制的形式化构建和仿真 | 第43-67页 |
| ·引言 | 第43页 |
| ·IDSCS通信模型 | 第43-45页 |
| ·通信层次模型 | 第43-44页 |
| ·实时CORBA | 第44-45页 |
| ·KQML扩展 | 第45-54页 |
| ·KQML | 第46-48页 |
| ·E_KQML描述 | 第48-50页 |
| ·混合Agent扩展实时通信原语 | 第50-51页 |
| ·本体构建 | 第51-54页 |
| ·基于时间着色Petri网的P/S实时通信模式描述 | 第54-66页 |
| ·P/S通信模式的三维特征 | 第54-57页 |
| ·基于时间着色Petri网的实时通信原语描述 | 第57-59页 |
| ·基于实时通信原语的P/S实时通信模式描述实例 | 第59-62页 |
| ·Design/CPN仿真模型 | 第62-66页 |
| ·本章小结 | 第66-67页 |
| 第五章 IDSCS容错和故障恢复机制 | 第67-84页 |
| ·引言 | 第67页 |
| ·IDSCS的容错和故障恢复模型 | 第67-74页 |
| ·随机Petri简介 | 第67-69页 |
| ·IDSCS容错模型 | 第69-73页 |
| ·通信系统故障恢复模型 | 第73-74页 |
| ·仿真与性能评价 | 第74-83页 |
| ·Agent容错模型仿真与性能评价 | 第74-76页 |
| ·CTCS的GSM-R故障恢复模型仿真及性能评价 | 第76-83页 |
| ·本章小结 | 第83-84页 |
| 第六章 IDSCS设计实例 | 第84-96页 |
| ·中国列车运行控制系统简介及总体结构 | 第84-89页 |
| ·ETCS | 第84-85页 |
| ·CTCS | 第85-86页 |
| ·CTCS4总体参考模型 | 第86-89页 |
| ·基于混合Agent的CTCS4软件设计过程 | 第89-96页 |
| ·问题域分析和描述 | 第89-93页 |
| ·混合Agent角色定义和MAS交互协议 | 第93-94页 |
| ·混合Agent行为规范设计 | 第94-95页 |
| ·设计应用进展 | 第95-96页 |
| 第七章 结束语 | 第96-98页 |
| 参考文献 | 第98-107页 |
| 发表论文和参加科研情况说明 | 第107-109页 |
| 致谢 | 第109-110页 |
| 附录1 英文专业词汇和缩写词 | 第110-112页 |
| 附录2 面向IDSCS的扩展实时通信原语 | 第112-114页 |
