时间Petri网的时间知识推理算法及在铁路智能运输系统中的应用  

A temporal knowledge reasoning algorithm using time petri netsand its applications in railway itelligent transportation system

作　　者：叶阳东[1] 杜彦华[2] 高军伟 贾利民[1] 

机构地区：[1]铁道科学研究院电子计算技术研究所,北京100081 [2]郑州大学计算机科学系,河南郑州450052

出　　处：《铁道学报》2002年第5期5-10,共6页Journal of the China Railway Society

基　　金：国家自然科学基金资助项目(60174051)

摘　　要：介绍一种基于时间Petri网的时间知识推理算法,它是在已有算法的基础上,引入模糊时间区间的操作进行扩展而形成。该算法可一次性构建相应的时间知识系统的生成图,再用生成图进行时间知识验证和推理,相对于已有的算法来说,具有效率高、可处理时间区间的不确定性问题等优点。针对列车运行的时间知识系统进行算法的应用研究得出:本算法可验证时间约束的列车运行调整方案的可行性;能验证铁路专家系统中时间知识的一致性问题;用生成图可推导出某些带时间约束事件同时发生的可能性等。The paper presents a temporal knowledge reasoning algorithm based on Time Petri Nets(TPN). At the base of existing algorithm,the fuzzy time interval is used to develop the algorithm. It uses the TPN model of the temporal knowledge in the system to construct the sprouting graph at one time, then uses the graph to check the consistency of temporal knowledge and perform temporal reasoning. The algorithm has higher efficiency, and can deal with the uncertain interval in the system, etc. Studying on application of the algorithm in the temporal knowledge system for trains operation, it is deduced that this algorithm can check the train traffic control scheme with the time constraint and check the consistency of the temporal knowledge in the railway expert system, the sprouting graph can be used to reason whether the time constraint events happen simultaneously, etc.

关 键 词：时间Petri网入 时间知识 时间区间 列车运行 铁路 智能运输系统 RITS 

分 类 号：U29－39[交通运输工程—交通运输规划与管理] TP182[交通运输工程—道路与铁道工程]