| 第一章 绪论 | 第1-30页 |
| 1．1 引言 | 第17-18页 |
| 1．2 混杂系统的定义及特点 | 第18-20页 |
| 1．3 混杂系统的分类 | 第20-21页 |
| 1．4 混杂系统主要研究问题 | 第21-22页 |
| 1．5 智能混杂系统研究问题的提出及定义 | 第22-24页 |
| 1．6 智能混杂系统建模及分析理论的上要相关问题 | 第24-25页 |
| 参考文献 | 第25-30页 |
| 第二章 Petri网的相关理论 | 第30-43页 |
| 2．1 Petri网的基本方法 | 第30-31页 |
| 2．2 Petri网的基本性质 | 第31-32页 |
| 2．3 Petri网的分析方法 | 第32-34页 |
| 2．3．1 可达树分析 | 第32-33页 |
| 2．3．2 矩阵方程分析法 | 第33-34页 |
| 2．4 高级Petri网系统 | 第34-35页 |
| 2．5 时间约束的Petri网 | 第35-38页 |
| 2．5．1 时间约束Petri网及其触发规则 | 第35-36页 |
| 2．5．2 TCPN的基本参数 | 第36-37页 |
| 2．5．3 TCPN的调度性问题 | 第37-38页 |
| 2．6 基于时间约束Petri网模型的分析 | 第38-41页 |
| 2．6．1 TCPN的可达性分析 | 第38-39页 |
| 2．6．2 TCPN的决策变量的选取原则 | 第39-41页 |
| 2．7 小结 | 第41页 |
| 参考文献 | 第41-43页 |
| 第三章 面向对象Petri网的智能混杂系统模型 | 第43-57页 |
| 3．1 面向对象Petri网的研究现状 | 第43-44页 |
| 3．2 分层结构的对象Petri网建模方法 | 第44-46页 |
| 3．2．1 分层混合对象Petri网 | 第44-45页 |
| 3．2．2 基于HHPNO的智能混杂系统的模型特征 | 第45-46页 |
| 3．3 带有对象的Petri网 | 第46-48页 |
| 3．3．1 PNO的相关概念和定义 | 第46-48页 |
| 3．3．2 PNO的基本性质 | 第48页 |
| 3．4 混杂系统的Petri网分层、模块化建模相关理论的研究 | 第48-51页 |
| 3．4．1 分层模型中的规范化接口 | 第49页 |
| 3．4．2 层次Petri网的求精及合成过程 | 第49-51页 |
| 3．5 基于对象Petri网的智能混杂系统实例 | 第51-54页 |
| 3．5．1 列车群运行系统的约束说明 | 第51-52页 |
| 3．5．2 基于PNO的列车群运行模型 | 第52-53页 |
| 3．5．3 模型的相关问题分析 | 第53-54页 |
| 3．6 小结 | 第54-55页 |
| 参考文献 | 第55-57页 |
| 第四章 混合Petri网的智能混杂系统建模理论 | 第57-74页 |
| 4．1 推广混合Petri网 | 第57-61页 |
| 4．1．1 推广混合Petri网的形式化描述 | 第57-58页 |
| 4．1．2 推广混合Petri网的图形表示 | 第58页 |
| 4．1．3 推广混合Petri网的运行规则 | 第58-61页 |
| 4．2 推广混合Petri网的性质 | 第61-64页 |
| 4．2．1 推广混合Petri网的关联矩阵 | 第61页 |
| 4．2．2 推广混合Petri网的不变量 | 第61-62页 |
| 4．2．3 推广混合Petri网的状态 | 第62-64页 |
| 4．3 条件／事件混合Petri网 | 第64-69页 |
| 4．3．1 离散Petri网 | 第64页 |
| 4．3．2 赋时离散Petri网 | 第64-65页 |
| 4．3．3 连续Petri网 | 第65-66页 |
| 4．3．4 带有离散输出变迁的连续Petri网 | 第66页 |
| 4．3．5 Petri网的输入／输出结构 | 第66-67页 |
| 4．3．6 条件／事件混合Petri网的形式化定义 | 第67-69页 |
| 4．3．7 面向开放式互连的智能条件／事件混合Petri网的研究 | 第69页 |
| 4．4 条件／事件混合Petri网的基本特性 | 第69-70页 |
| 4．4．1 条件／事件混合Petri网的语义 | 第69-70页 |
| 4．4．2 条件／事件混合Petri网的行为表示 | 第70页 |
| 4．5 条件／事件混合Petri网的建模实例 | 第70-72页 |
| 4．6 小结 | 第72页 |
| 参考文献 | 第72-74页 |
| 第五章 基于条件／事件混合Petri网的混杂系统的分析理论 | 第74-85页 |
| 5．1 线性谓词转换分析方法 | 第74-80页 |
| 5．1．1 线性条件／事件混杂Petri网及相关概念 | 第74-77页 |
| 5．1．2 分析方法 | 第77-78页 |
| 5．1．3 线性谓词转换分析实例 | 第78-80页 |
| 5．2 基于路径的方法 | 第80-83页 |
| 5．2．1 相关的定义及概念 | 第80-81页 |
| 5．2．2 算法 | 第81-83页 |
| 5．3 小结 | 第83-84页 |
| 参考文献 | 第84-85页 |
| 第六章 对象Petri子网的列车群运行系统模型及仿真 | 第85-102页 |
| 6．1 概述 | 第85-86页 |
| 6．2 列车群运行系统的对象Petri网模型 | 第86-88页 |
| 6．2．1 OOPN的形式化定义 | 第86页 |
| 6．2．2 对象子网——OPS的定义 | 第86-87页 |
| 6．2．3 基于对象Petri子网的列车群运行系统 | 第87-88页 |
| 6．3 系统中的对象Petri子网模型 | 第88-93页 |
| 6．3．1 信号灯类的对象子网 | 第88-89页 |
| 6．3．2 区段类的对象子网 | 第89-90页 |
| 6．3．3 车站类的对象子网 | 第90-92页 |
| 6．3．4 列车类的对象子网 | 第92-93页 |
| 6．4 相关问题的分析 | 第93-95页 |
| 6．4．1 模型中变迁使能和触发以及时间问题的处理 | 第93-94页 |
| 6．4．2 系统初始化 | 第94页 |
| 6．4．3 对象Petri子网的求精 | 第94页 |
| 6．4．4 TGOSOPS模型的应用分析 | 第94-95页 |
| 6．5 对象Petri的列车群运行系统的仿真 | 第95-100页 |
| 6．5．1 对象Petri网仿真系统的结构 | 第95-97页 |
| 6．5．2 仿真系统的主要数据结构 | 第97-98页 |
| 6．5．3 仿真策略 | 第98-99页 |
| 6．5．4 分布式仿真的研究 | 第99-100页 |
| 6．6 小结 | 第100页 |
| 参考文献 | 第100-102页 |
| 第七章 时间Petri网的时间知识推理算法及其应用研究 | 第102-114页 |
| 7．1 引言 | 第102-103页 |
| 7．2 表示时间知识的时间Petri网 | 第103-104页 |
| 7．2．1 时间Petri网的形式化定义 | 第103页 |
| 7．2．2 时间Petri网的触发规则 | 第103-104页 |
| 7．3 列车群运行过程中时间知识的处理 | 第104-106页 |
| 7．3．1 背景分析 | 第104页 |
| 7．3．2 实例 | 第104-105页 |
| 7．3．3 实例的时间Petri网模型 | 第105-106页 |
| 7．4 时间区间和路径的操作 | 第106-109页 |
| 7．4．1 确定时间区间的操作 | 第106页 |
| 7．4．2 模糊时间区间的操作 | 第106-107页 |
| 7．4．3 关于路径的概念和操作 | 第107-109页 |
| 7．5 基于TPN的时间推理算法 | 第109-110页 |
| 7．5．1 生成图的结构 | 第109页 |
| 7．5．2 生成图的构造 | 第109-110页 |
| 7．6 在铁路智能运输系统中应用分析 | 第110-112页 |
| 7．6．1 列车运行的时间知识生成图 | 第110页 |
| 7．6．2 列车运行的时间知识验证和推理 | 第110-112页 |
| 7．7 小结 | 第112页 |
| 参考文献 | 第112-114页 |
| 结束语 | 第114-116页 |
| 致谢 | 第116-117页 |
| 攻读博士学位期间的研究成果 | 第117页 |
