期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

基于EFTPN不确定性时间信息的线性推理方法及在列车群分析中的应用

Linearly Reasoning Method Based on EFTPN for Fuzzy Temporal Knowledge and its Application in Analyzing Operations of Train Group
下载PDF
导出
摘要 针对列车群行为分析中的不确定性时间信息推理问题,结合线性逻辑和扩展模糊时间Petri网(EFTPN)等理论,提出了一种基于EFTPN的线性推理方法.该方法不但能对不确定性时间信息进行精确的、定量的建模和推理;而且效率高,可在线性时间复杂度内完成推导;另外其适用面广,可用于解决其它领域内时间推理和验证问题. To deal with the fuzzy temporal knowledge reasoning problems in analyzing operations of train group, in the paper we combining with linear logic and EFTPN, put forward a linearly reasoning method based on EFTPN. This method not only can accurately reason and validate the fuzzy temporal knowledge, but also is more efficient, namely solve the inference problems within linear time complexity; Furthermore, it is suitable to more situations, and can solve complicated problem of temporal knowledge reasoning in other researching fields.
作者 杜彦华 刘春煌
机构地区 铁道科学研究院电子计算技术研究所
出处 《小型微型计算机系统》 CSCD 北大核心 2006年第10期1918-1922,共5页 Journal of Chinese Computer Systems
关键词 线性逻辑 扩展模糊时间Petri网 列车群 linear logic extended fuzzy timing Petri nets train group
分类号 TP391 [自动化与计算机技术—计算机应用技术]
  • 相关文献

参考文献8

  • 1杜彦华,刘春煌,叶阳东.不确定性时间知识推理和验证算法及列车群建模分析[J].铁道学报,2005,27(3):1-8. 被引量：7
  • 2Jia Li-min,Jiang Qiu-hua.Study on the essential characteristics of railway intelligent transportation system[A].International Proceedings of New and High Technologies about the Railway[C].Beijing,China academy of railway sciences,2002:123-132.
  • 3Ye Yang-dong.Research on theory and application for modeling and analysis of intelligent Hybrid system[D].Beijing,China Academy of Railway Sciences,2002.
  • 4Yi Zhou,Tadao Murata,Thomas A.DeFanti modeling and performance analysis using extended fuzzy-timing Petri nets for networked virtual environment[J].IEEE Transactions on System,Man,and Cybernetics-part B:Cybernetics,2000,30(5):737-755.
  • 5Dubois D,Prade H.Processing fuzzy temporal knowledge[J].IEEE Transactions on Systems,Man and Cybernetics,1989,19(4):729-744.
  • 6Murata T.Petri Nets:properties,analysis and applications[J].Proceedings of the IEEE,1989,77(4):541-580.
  • 7Girard J Y.Linear Logic[J].Theoretical Computer Science,1987.
  • 8CPN Tools[DB/OL].http://www.daimi.au.dk/CPNTools,Denmark Aarhus University.

二级参考文献9

  • 1贾利民 蒋秋华.铁路智能运输系统的本质特征研究[A]..铁路高新技术国际学术报告会议文集[C].北京:中国铁道科学研究院,2002.123-132.
  • 2贾利民 李平.铁路智能运输系统-体系框架与体系结构[M].北京:中国铁道出版社,2004..
  • 3Woei-Tzy Jong. Temporal Knowledge Representation and Reasoning Techniques Using Time Petri Nets[J]. IEEE Transactions on System, Man, and Cybernetics-part B: Cybernetics,1999,29(4) : 541-545.
  • 4Yi Zhou, Tadao Murata and Thomas A.DeFanti Modeling and Performance Analysis Using Extended Fuzzy-Timing Petri Nets for Networked Virtual Environment[J]. IEEE Transactions on System, Man, and Cybernetics-part B: Cybernetics, 2000,30(5): 737-755.
  • 5Yi Zhou, Tadao Murata. Modeling and Analysis of Distributed Multimedia Synchronization by Extended Fuzzy-Timing Petri Nets[J]. Transaction of the SDPS, 2001,15(4): 130-141.
  • 6Dubois D, Prade H. Processing Fuzzy Temporal Knowledge[J]. IEEE Transactions on Systems, Man and Cybernetics, 1989,19(4): 729-744.
  • 7CPN Tools. Online[DB/OL]. http://www.daimi.au.dk/CPNTools.Denmark Aarhus University, 2003,11.
  • 8Murata T. Petri Nets: Properties, Analysis and Applications[J]. Proceedings of the IEEE, 1989,77(4): 541-580.
  • 9叶阳东,杜彦华,高军伟,贾利民.时间Petri网的时间知识推理算法及在铁路智能运输系统中的应用[J].铁道学报,2002,24(5):5-10. 被引量：9

共引文献6

小型微型计算机系统
2006年 第10期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部