基于EFTPN不确定时间知识的分析处理及其在铁路中的应用

摘要	第1-6页
ABSTRACT	第6-9页
目录	第9-13页
第一章 绪论	第13-25页
·引言	第13-16页
·实际背景	第16-19页
·列车群行为分析	第16-17页
·行车安全监控系统整合分析	第17-19页
·理论研究现状与分析	第19-21页
·本文工作	第21-25页
·研究内容	第21-23页
·论文结构	第23-25页
第二章 PETRI网的相关理论	第25-37页
·Petri网的基本概念	第25-27页
·Petri网的基本性质	第27-28页
·Petri网的分析方法	第28-30页
·Petri网的变形	第30-32页
·扩展模糊时间Petri网	第32-36页
·可能性理论	第32-33页
·模糊时间的表示与分析	第33-35页
·扩展模糊时间Petri网定义	第35-36页
·本章小结	第36-37页
第三章 EFTPN与不确定时段时序逻辑	第37-48页
·不确定时段时序逻辑	第37-39页
·EFTPN的有关操作	第39-44页
·不确定时段时序逻辑的EFTPN表达	第44-46页
·本章小结	第46-48页
第四章 基于EFTPN时间生成图的推理验证算法	第48-65页
·背景知识	第48-53页
·相关定义	第48-50页
·原算法主要内容	第50-51页
·原算法局限性分析	第51-53页
·基于EFTPN的算法	第53-57页
·生成图的构造	第54-56页
·根据生成图进行时间的推理和验证	第56-57页
·算法在列车群行为建模分析中的应用	第57-64页
·实例	第57-59页
·实例的算法分析	第59-61页
·实验仿真	第61-64页
·本章小结	第64-65页
第五章 基于EFTPN的线性时间推理验证算法	第65-72页
·线性逻辑	第65-66页
·变迁间的化简规则	第66-67页
·EFTPN模型的线性推理方法	第67-69页
·在列车群分析中的应用	第69-71页
·本章小结	第71-72页
第六章 层次扩展模糊时间PETRI网建模仿真	第72-83页
·层次化模糊时间Petri网	第72-73页
·基于HEFTPN的层次化建模	第73-75页
·具体实例应用	第75-78页
·针对列车群进行仿真分析	第78-82页
·仿真信息的收集和处理	第78-80页
·仿真结果分析	第80-82页
·本章小结	第82-83页
第七章 EFTPN与工作流模糊时间的分析处理	第83-94页
·工作流简介	第83-84页
·流程的时间因素和约束	第84-86页
·工作流的时间分析处理	第86-87页
·基于EFTPN的工作流不确定时间分析推理	第87-90页
·不确定时间的EFTPN模型表示	第87-88页
·模型的等价推理	第88-90页
·在行车安全监控系统整合中的应用	第90-93页
·本章小结	第93-94页
第八章 EFTPN与UML时序图模型的转换分析	第94-106页
·UML简介	第94-95页
·UML时序图及其扩展	第95-97页
·基于EFTPN的UML时序图分析	第97-101页
·UML时序图的转换	第97-100页
·基于可达树的EFTPN模型分析	第100-101页
·在行车安全监控系统整合中的应用	第101-105页
·本章小结	第105-106页
第九章 基于EFTPN信息匹配算法和融合模型	第106-117页
·信息匹配算法的EFTPN分析	第106-112页
·VM算法思想	第106-107页
·VM算法形式化说明	第107-108页
·数据结构及符号	第108页
·算法中匹配时段的建模分析	第108-112页
·基于EFTPN和神经网络的信息融合模型	第112-116页
·多种信息融合	第112-113页
·信息融合模型	第113-115页
·融合模型的分析处理	第115-116页
·本章小节	第116-117页
结束语	第117-119页
参考文献	第119-130页
博士研究生期间发表的论文及相关工作	第130-131页
致谢	第131-132页
详细摘要	第132-144页