期刊文献+

计算机联锁的进路搜索Petri网模型分析 被引量:2

在线阅读 下载PDF
导出
摘要 进路搜索是计算机联锁软件中的重要部分。本文采用Petri网方法,通过对进路搜索Petri网模型的建立、分析、应用以及其可达性的验证,确保了联锁软件可靠性动态行为的正确性,提出了一些改进措施,有利于进一步分析和改进整个联锁系统的可靠性。
作者 马鑫 董昱
出处 《科技咨询导报》 2007年第7期25-25,共1页 Science and Technology Consulting Herald
  • 相关文献

参考文献1

二级参考文献1

  • 1严蔚敏 吴伟民.数据结构[M].北京:清华大学出版社,1997..

共引文献9

同被引文献19

  • 1史峰,谢楚农,于桂芳.铁路车站咽喉区进路排列优化方法[J].铁道学报,2004,26(4):5-9. 被引量:44
  • 2杨晋辉,郦萌.基于UML和Petri网的铁路联锁软件建模[J].计算机工程,2006,32(11):55-57. 被引量:5
  • 3吴晓东,周磊山,乐逸祥,孙琦.基于Petri网的战役机动铁路输送仿真[J].系统仿真学报,2007,19(3):665-667. 被引量:5
  • 4董海鹰,贾世峰,李华,范多旺.列车运行过程的多Agent集成探讨.铁道学报,2004,.
  • 5A.Fay.ABB Corporate Research,Heidelberg,Germany.Train control by multi-agent software systems[J].Computer in RailwaysⅦ:818-826.
  • 6LIU Zi-yu,HUANG Lei.Research on the IDSS of High-speed Railway Based on Multi-agent[J].International Conterence on Management Science & Engineering Harbin,2007(14).
  • 7Jan Riezebos, Wout Van Wezel. k-Shortest routing of trains on shunting yards [J]. OR Spectrum, 2009, 31(4): 745-748.
  • 8鲁工圆,吴琪.铁路车站咽喉区进路排列模型及动态搜索算法[C].西安:中国铁道学会第14届站场与枢纽学术年会论文集,2009:82-87.
  • 9Rafael Velasquez, Matthias Ehrgott, Anita Schobel. A Set-packing Approach to Routing trains through railway station [D]. Deutschland: Georg-August- Universitat Gottingen, 2005-36.
  • 10Diaz Michel. Petri nets: fundamental models, verification and applications [M]. London, UK: ISTE; Hoboken, NJ, USA: Wiley, 2009.

引证文献2

二级引证文献10

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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