[1]CAO Y. The study on formal modeling and verification of high-speed railway train control system [D]. Beijing: Beijing Jiaotong University, 2011:1-15.(曹源.高速铁路列车运行控制系统的形式化建模与验证方法[D].北京:北京交通大学,2011:1-15.)
[2]HORSTE M M Z, SCHNIEDER E. Modeling train control systems with Petri nets a functional reference architecture [C]// Proceedings of the 2000 IEEE International Conference on Systems, Man and Cybernetics. Piscataway: IEEE Press, 2000,4:3081-3086.
[3]PAN D, ZHENG Y. Study on the mechanism of high-speed train following operation control [J]. Journal of the China Railway Society, 2013,35(3):53-55.(潘登,郑应平.高速列车追踪运行的控制机理研究[J].铁道学报, 2013,35(3):53-55.)
[4]KANG R, WANG J, LYU J. UPPAAL-based modeling and verification of level transition process of high-speed railway train control system [J]. Journal of Beijing Jiaotong University, 2012,36(6):64-66.(康仁伟,王俊峰,吕继东.基于UPPAAL的高铁列控系统等级转换过程建模与验证[J].北京交通大学学报,2012,36(6):64-66.)
[5]ZHONG L, YAN Z, YANG H, et al. Predictive control of high-speed train based on data driven subspace approach [J]. Journal of the China Railway Society, 2013,35(4):77-80.(衷路生,颜争,杨辉,等.数据驱动的高速列车子空间预测控制[J].铁道学报, 2013,35(4):77-80.)
[6]CAO C, XU Y, LI K. Modeling and simulation of high-speed passenger train movements in the rail line [J]. Chinese Physics B, 2013,22(6):060504.
[7]SUN Y, CAO C, XU Y, et al. Scheduling of high-speed rail traffic based on discrete-time movement model [J]. Chinese Physics B, 2013,22(12):120501.
[8]LI K, GAO Z, NING B. Cellular automaton model for railway traffic [J]. Journal of Computational Physics, 2005,209(1):179-192.
[9]WANG M, ZENG J, QIAN Y, et al. Properties of train traffic flow in a moving block system [J]. Chinese Physics B, 2012,21(7):070502.
[10]BENTALEB K, JETTO K, EZ-ZAHRAOUY H, et al. A cellular automata traffic flow modeling of desired speed variability [J]. Chinese Physics B, 2013,22(1):018902.
[11]WANG H, ZHANG Y. Knowledge description of Agent for the integrated operation and dispatching system of passenger dedicated line [J]. Journal of the China Railway Science, 2010,31(3):115-118.(王宏刚,张一军.客运专线综合运营调度系统Agent知识描述[J].中国铁道科学,2010,31(3):115-118.)
[12]SHI C, ZHANG W. Based on the calculation of the Agent [M]. Beijing: Tsinghua University Press, 2007:202-256.(石纯一,张伟.基于Agent的计算[M].北京:清华大学出版社,2007:202-256.)
[13]JIA B, GAO Z, LI K, et al. Based on cellular automata traffic system modeling and simulation [M]. Beijing: Science Press, 2007:48-54.(贾斌,高自友,李克平,等.基于元胞自动机的交通系统建模与模拟[M].北京:科学出版社,2007:48-54.)
[14]DING Y. The train operation calculation and design [M]. Beijing: Beijing Jiaotong University Press, 2011:6-25.(丁勇.列车运行计算与设计[M].北京:北京交通大学出版社,2011:6-25.) |