行车指挥系统的Petri网建模与列车运行调整的遗传优化的研究
|
摘要
行车指挥是现代铁路高效、安全工作的核心，列车运行计划的调整一
直是提高铁路运输效率的关键。本文中首次将离散事件系统的理论和分析
方法引人行车指挥的研究中，为行车指样的研究提供了新的思路。本文注
重研究列车间以及列车与车站间的关系，应用Petri网理论对行车指挥系统
进行建模—Petri网铁路列车运行模拟系统，利用Petri网的层次模拟和抽象
能力，Petri网列车运行模拟模型建立了这样一个框架，从宏观上构造一个
系统化的结构，在这个框架下，合理有效地组织和处理各种静态的和动态
的数据，为运输生产提供有利的科学依据。
本文还提出了一种以冲夹、解决特指向量描述的运行图表示方法，能
清楚的表达运行图中列车间相互影响的过程，揭示了列车运行计划在冲突
发生时解决冲突的方式。
在能够确切模拟列车间相互关系、列车与车站间相互关系的基础上，
应用遗传算法对列车运行计划的调整进行最优化，得到具有在一定最优目
标情况下的计划调整方案。
traffic control is the center of modern railway high efficiency and security.
Train Plan is the core of progress railway transportation efficiency.In
this paper,firstly trains traffic control is studied with discrete event system theory
ana analysis method.A new thought method is provided is provided for traffic control.
In this paper the relation of the trains and therelation of the trains and stations
mostly studies.Petri nets theory is used to train traffic control system modeling-
Petri nets train travelling control simulation system.With hierarchy represent and
the abstract capability of Petri netS, a framework is built by Petri netS train
travelling simulation system.In this framework all kinds of static and dynamic
data can be reasonably organized and processed. lt can provide a powerful help
for train traffic transportation dispatch.
A new method is provided for describing trains travelling Plan with a conflict
vector and a settle vector.It can distinctly indicate conflict between the trains and
station s in trains travelling plan. It indicates a method of settling a method of settling the conflict when
a conflict happened.
On the base of simulation the relation of trains and the relation of trains and
stations, trains travelling Plan adjust is optimized with with genetic algorhm. A
method of travelling plan can be obtained with certain optimization.
直是提高铁路运输效率的关键。本文中首次将离散事件系统的理论和分析
方法引人行车指挥的研究中，为行车指样的研究提供了新的思路。本文注
重研究列车间以及列车与车站间的关系，应用Petri网理论对行车指挥系统
进行建模—Petri网铁路列车运行模拟系统，利用Petri网的层次模拟和抽象
能力，Petri网列车运行模拟模型建立了这样一个框架，从宏观上构造一个
系统化的结构，在这个框架下，合理有效地组织和处理各种静态的和动态
的数据，为运输生产提供有利的科学依据。
本文还提出了一种以冲夹、解决特指向量描述的运行图表示方法，能
清楚的表达运行图中列车间相互影响的过程，揭示了列车运行计划在冲突
发生时解决冲突的方式。
在能够确切模拟列车间相互关系、列车与车站间相互关系的基础上，
应用遗传算法对列车运行计划的调整进行最优化，得到具有在一定最优目
标情况下的计划调整方案。
traffic control is the center of modern railway high efficiency and security.
Train Plan is the core of progress railway transportation efficiency.In
this paper,firstly trains traffic control is studied with discrete event system theory
ana analysis method.A new thought method is provided is provided for traffic control.
In this paper the relation of the trains and therelation of the trains and stations
mostly studies.Petri nets theory is used to train traffic control system modeling-
Petri nets train travelling control simulation system.With hierarchy represent and
the abstract capability of Petri netS, a framework is built by Petri netS train
travelling simulation system.In this framework all kinds of static and dynamic
data can be reasonably organized and processed. lt can provide a powerful help
for train traffic transportation dispatch.
A new method is provided for describing trains travelling Plan with a conflict
vector and a settle vector.It can distinctly indicate conflict between the trains and
station s in trains travelling plan. It indicates a method of settling a method of settling the conflict when
a conflict happened.
On the base of simulation the relation of trains and the relation of trains and
stations, trains travelling Plan adjust is optimized with with genetic algorhm. A
method of travelling plan can be obtained with certain optimization.
引文
[1]王亦兵等，智能运输系统初探，控制与决策，1997年7月增刊。
[2]郝克刚、葛玮，关于高级网系统的等价及谱系的研究，计算机学报，1993年第7期。
[3]王亦兵等，城市高速公路交通中的控制问题，中国公路学报1997(3)。
[4]王亦兵等，高速公路交通流建模，系统工程学报，1997年5月。
[5]Wang yibing, Han Zengjin, Stability of An Automated Vehicle Platoon, IEEE American Control Conference, 1998.
[6]Huifeng Li et al. A New Type of Timed Petri Nets with Hard Real-Time Deadlines, Proc.of the 2nd Asian Control Conf., Seoul Korea, July 22-25, 1997.
[7]Huifeng Li et al. Control Synthesis of a Class of Discrete Event Systems with Hard Real-Time Deadlines, Proc.of the 15th IMACS World Congress on Scientific Computation, Modeling and Applied Mathematics, Berlin-Germany, August 24-29, 1997, pp.367-372.
[8]杨根科、曾建潮、孙国基，TCPN的状态可达及可调度决策空间算法，计算机学报，第21卷第一期，1998，pp．34-39。
[9]顾启泰，离散事件系统建模与仿真，清华大学出版社，1999年8月。
[10]张维明等，信息系统建模技术与应用，电子工业出版社，1997年。
[11]袁崇义，Petri网原理，电子工业出版社1998年4月。
[12]Jeffrey J.P. Tsai, Steve Jennhwa Yang, Yao-Hsiung Chang Timing Constraint Petri Nets and Their Application to Schedulability Analysis of Real-Time System Specifications, IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. 21, NO. 1, pp.32-49, Jan. 1995.
[13]Bernard Berthomieu, Michel Diaz, Modeling and Verification of Time Dependent Systems Using Time Petri Nets, IEEE TRANSACTION ON SOFTWARE ENGINEERING, VOL. 17, NO. 3, pp.259-273 MARCH, 1991.
[14]Zuberek W. M. Timed Petri Nets and Preliminary Performances Evaluation. Proceeding of 7th Annual Symposium on Computing Architecture, 1980, 88-96.
[15]Ostroff J. S. Wonham W. M. A Framework for Real-Time Discrete Event Control. IEEE Trans. On AC, 35(4), pp.386-396, 1990.
[16]W. M. P. van der Aalst, Colored Petri Nets: A High Level Language for System Design and Analysis, in Advances in Petri Nets 1990, G. Rozenberg, ed., vol.483 of Lecture Notes in Computer Science, Springer-Verlag, New York, 1990, pp.342-416．
[17] K. M. Van Hee and P. A. C. Verkoulen, Integration of a Data Model and Petri Nets, in Proceedings of the 12th International Conference on Applications and Theory of Petri Nets, Aalshus, June 1991, pp.410-431．
[18] B. Dasaranthy, Timing Constraints of Real-Time Systems: Constraints Expressing Them, Methods of Validating Them, IEEE Trans. Eng., Vol. SE-11, pp.80-86, Jan. 1985．
[19] J. J. P. Tsai S. J. H. Yang, Monitoring and Debugging of Distributed Real-Time System. Washington, DC: IEEE Computer Society Press, 1995．
[20] T. Murata, Petri Nets: Properties, Analysis and Applications, Proceedings of the IEEE, Vol. 77, No, 4, April 1989, pp.541-580．
[21] L. Jansen, M. Meyer zu Horste, E. Schnieder, Technical Issues in Modeling the European Train Control System (ETCS) Using Colored Petri Nets and the Design/CPN Tools.
[22] Daniel Modlt and Heiko Rolke, Generation of Executable Object-based Petri Net Skeletons Using Design/CPN,
[23] Wolfgang Hielscher, Lars Urbszat, Claus Reinke and Werner Kluge, On Modeling Train Traffic in a Model Train System,
[24] Desroders, Alan A, Robert Y. A1-Jaar, Applications of Petri Nets in Manufacturing System: Modeling, Control, and Performance Analysis, IEEE Press, Piscat-away, New Jersey.
[25] K. Lautenbach and H. A. Schmidt, Use of Petri Nets for Proving Correctness of Concurrent Process Systems, in Pros. IFIP Congr. 1974． Amsterdam, The Netherlands: North-Holland,1974, pp.187-191．
[26] P. Chretienne, Some Results on the Control of Timed Petri Nets, in Proc. 2nd Workshop Applications and Theory of Petri Nets, Bad Honnef, Sep. 1981．
[27] J. J. P. Tsai and T. J. Weigert, Knowledge-Based Software Development For Real-Time Distributed Systems. Singapore: World Pubblish, 1993．
[28] K. M. Chandy and J. Misra. Distributed Simulation: A Case Study in Design and Verification of Distributed Programs. IEEE Transcations on Software Engineering, 5(11) , pp.440-452, Setember 1979．
[29] H. H. Ammar and S. Deng. Time Warp Simulation of Stochastic Petri Nets. In Proc. 4th Intertnational Workshop on Petri Nets and Performance Models, pp. 186-195, Melbourne, Australia, December 1991. IEEE-CS Press.
[30]Kluge, W. and Lantenbach. K. On the Orderly Resolution of Memory Access Conflicts Among Competing Channel Process, IEEE TC Vol. C 31, No. 3,1982, pp. 191-207.
[31]D. M. Nicol and S. Roy. Parallel Simulation of Timed Petri Nets. In B. Nelson, D. Kelton, and G. Clark, editors, Proc. 1991 Winter Simulation Conference, pp.574-583, 1991.
[32]Zhou, MengChu, Petri Nets in Flexible and Agile Automatin. Boston: Kluwer Academic Publicshers, c1995.
[33]J. Desel and Javier Esparza. Free Choice Petri Nets. Cambridge University Press, 1995.
[34]Richard Zurawski, Tharam S. Dillon. Modern Tools for Manufacturing Systems. Amsterdam, Elsevier, 1993.
[35]DiCesare, Frank. Practice of Petri Nets in Manufacture. London: Chapman & Hall, 1993.
[36]MengChu Zhou, Frank DiCesare. Petri Nets Synthesis for Discrete Event Control of Manufacture Systems. Boston: Kluwer Academic, c1993.
[37]Christoph Lindemann. Performance Modeling with Deterministic and Stochastic Petri Nets. Chichester: Wiley, c1998.
[38]Janette Cardoso, Heloisa Camargo. Fuzziness in Petri Nets. Heidelberg: Physica-Verlag, c 1999.
[39]Herbert L. Petri. Belmont. Motivation: Theory, Research, and Applications. Galif.: Wadsworth Pub. Co., c1991.
[40]Cao, Tiehua. Intelligent Task Planning Using Fuzzy Petri Nets. Singapore: World Scientific, c 1996.
[41]K, Voss, H. J. Genrich, G. Rozenberg. Concurrency and Nets. Berlin: Springer-Verlag, c1987.
[42]John O. Moody, Panos J. Antsaldis. Supervisory Control of Discrete Event Systems Using Petri Nets. Boston: Kluwer Academic Publishers, c1998.
[43]张一军，高速铁路调度中心控制系统方案及关键部件的研究-研究报告，铁道部科学研究院，1997。
[44]张琦，基于神经网络的列车运行模拟系统的研究，铁道部科学研究院博士学位论文，1998。
[45]王建英，高速铁路调度控制系统智能模拟的理论、方法和实现，铁道部科学研究院博士学位论文，1999。
[46]贾利民，模糊控制与决策及其在铁路自动化中的应用，铁道部科学研究院博士学位论文。
[47]党建武等，神经网络学习算法及其在列车控制中的应用，兰州铁道学院学报，Vol．13 No．4 1994。
[48]刘吉峰，基于遗传算法的神经网络模糊控制器的研究及其在列车运行智能控制中的应用，北方交通大学博士学位论文，1997。
[49]李群，铁路列车运行安全模糊神经网络控制方法分析，北方交通大学博士学位论文。
[50]李群、汪希时，神经网络在机车起动控制系统中的应用，中国自动化学术会议即智能化专业委员会成立大会，1995天津。
[51]党建武、靳藩，一种直控神经元模型及其在列车停车控制中的应用，西南交通大学学报，1995．6。
[52]朴爱华，高速铁路列车运行组织优化问题的研究，北方交通大学博士学位论文。
[53]李鹏，面向对象技术及问题求解理论在铁路行车指挥自动化方面应用的研究，铁道部科学研究院博士学位论文。
[54]徐扬，基于可能性理论的高速列车智能控制系统的研究-模糊控制与专家系统，西南交通大学出版社，1989。
[55]贾利民、张锡第、李多寅，模糊多目标优化控制及其在列车自动控制中的应用，铁道部科学研究院通信信号所技术报告。
[56]张玉臣，模糊控制在列车自动运行系统中的应用，中国铁路，1993．5。
[57]汪希时，LCF型列车超速防护系统的研制，北方交通大学学报，1995．Vol．19。
[58]李鹏、张一军，内部协同式列车运行调整专家系统的研究，中国铁道科学，1998．9。
[59]桑苑秋、贾利民、张锡第，铁路网络信号技术体系的研究，中国铁道科学，1998．9。
[60]赵明，移动自动闭塞系统基本理论的研究，北方交通大学博士学位论文，1996。
[61]何兵，高速列车运行多模型多控制器的智能控制研究，西南交通大学博士学位论文，1997。
[62]翟智民，高速列车制动控制系统研究，北方交通大学博士学位论文，1995。
[63]廖光华，模糊控制在列车自动运行中的应用，北方交通大学博士学位论文，1992。
[64]唐祯敏，自动化驼峰作业过程模拟软件系统，北方交通大学博士学位论文，1991。
[65]彭其渊、张羽成、李孟，列车运行图均衡性评价方法的研究，西南大学学报，1998．4。
[67]彭其渊、朱松年、阎海峰，列车运行图可调整度评价系统的研究，西南大学学报，1998．8。
[68]扬肇夏等，列车运行图动态性能及其指标体系所研究，铁道学报，1993．3。
[69]扬肇夏等，列车晚点传播模拟系统，铁道学报，1995．2。
[70]刘晖、江建楚、胡谋，预测型模糊控制列车自动运行系统方案及其仿真，上海铁道大学学报，1996．2。
[71]刘云，列车运行仿真系统的软件设计，北方交通大学学报，1995．1。
[72]赵鹏、胡安州，高速铁路运行调整弹性研究，北方交通大学学报，1995．9。
[73]周磊山，运行调整若干技术难点问题的研究，北方交通大学学报，1995．9。
[74]宁滨，列车超速防护系统的制动精度和安全性防护距离初探，北方交通大学学报，1995．3。
[75]石雨等，铁路运输过程控制模拟试验系统中列车运行仿真模型的研究，北方交通大学学报，1997．3。
[76]张育升，列车运行计划调整自动化的几个问题，北方交通大学学报，1994．12。
[77]程宇，铁路行车调度的智能CAD系统，北方交通大学学报，1992．3。
[78]冯珊，人工智能与面向对象技术结合的仿真建模方法，华中理工大学博士学位论文。
[79]出国参观考察报告—日本铁路行车指挥自动化技术，科学技术文献出版社1977。中国铁道管理学院、日本国际协力事业团合编，行车指挥自动化系统，中国铁道出版社，1991。
[80]吴汶麒，城市轨道交通信号与通信系统，中国铁道出版社，1998北京。
[81]胡思继，铁路行车组织，中国铁道出版社，1998北京。
[82]何文卿，6502电气集中电路，中国铁道出版社，1997北京。
[83]王秉文，6502电气集中工程设计，中国铁道出版社，1998北京。
[84]丁正庭，区间信号自动控制，中国铁道出版社，1999北京。
[85]钱仲候，高速铁路概论，中国铁道出版社，1999北京．
[86]季令等，城市轨道交通运营组织，中国铁道出版社，1999北京。
[87]张贵珍、扬宾华，电力机车牵引，中国铁道出版社，1985北京。
[88]张开文，制动，中国铁道出版社，1993北京。
[89]饶忠，列车牵引计算，中国铁道出版社，1993北京。
[90]Shima H. C., Yasunobu S., Sekino S. Automatic Train Operation System Based on Predictive Fuzzy Control. International Workshop on Artifical Intelligence for Indutrial Application, 1987.
[91]S. Yasunobu, S. Sekino, T. Hasegawa. Automatic Train Operation and Automatic Crane Operation System Based on Predictive Fuzzy Control, Proc. 2nd IFSA Congress, 1987.
[92]Fogel L. J., et. al. Artifical Intelligence though Simulated Evolution. John Wiley & Sons, 1996
[93]Schwefel H. R Evolution and Optimum Seeking. John Wiley & Sons, 1995.
[94]Goldberg D E. Simple Genetic Algorithms and the Minimal Deceptive Problem. In: Davis L Ed. Genetic Algorithms and Simulated Annealing, Pitman, 1987,74-78.
[95]Koza J R. Genetic Programming, on the Programming of Computers by Means of Natural selection. MIT Press, 1992.
[96]Chen R, Meyer R R and Yackel J. A Genetic Algorithm for Diversity Minimization and Its Parallel Implementation. In: Proc. Of the Int. Conf. on Genetic Algorithms. Morgan Kaufmann, 1993,163-170.
[97]Orvosh D, Davis L. Using a Genetic Algorithm to Optimize Problems with feasibility Constraints. In: Proc. Of 1st IEEE Conf. on Evolutionary Computation, 1994, 548-553.
[98]Chen H, Flann N S. Parallel Simulated Annealing and Genetic Algorithms: A Space of Hybrid Methods. In: Parallel Problem solving from Nature 3, Springer Verlag, 1994,428-438.
[99]Kirkpatrick S, Gelatt C D and Vecchi M P. Optimization by Simulated Annealing; Science, 1983,220:671-680.
[100]Magfoud S W, Goldberg D E. A Genetic Algorithm for Parallel Simulated Annealing, In: Parallel Problem Solving from Nature 2, North Holland, 1992,301-310.
[101]袁南儿，计算机新型控制策略及其应用，清华大学出版社，19980
[102]刘勇、康立山、陈毓屏，非数值并行算法—遗传算法，科学出版社，1995。
[103]陈国良等，遗传算法及其应用，人民邮电出版社，1996年6月．
[104]周明、孙树栋，遗传算法原理及应用，国防工业出版社，1999年6月。
[105][美]Bart Kosko著，黄崇福译，模糊工程，西安交通大学出版社，1999年6月。
[106]李士勇，模糊控制、神经控制和智能控制论，哈尔滨工业大学出版社，1998年9月。
[107]蔡自兴等，人工智能及其应用，清华大学出版社，1996年5月。
[108]卢开澄，计算机算法导引，清华大学出版社，1999．8。
[109][美]Daniel Tkach,Walter Fang,Andrew So著，许文等译，可视化对象建模技术，科学出版社，1999。
[110]邵维忠、扬芙清，面向对象的系统分析，清华大学出版社，1998．12。
[111][美]Abhijit S.Pandya,Robert B.Macy著，徐勇等译，神经网络模式识别及其实现，电子工业出版社，1999．6。
[112]Qi Xiaofeng and Francesco Palmieri. Theoretical Analysis of Evolutionary Algorithms with an Infinite Population Size in Continuous Space, part Ⅰ: Basic properties of selection and mutation. IEEE Trans. Neural Network, 1994, 5(1):102-119.
[113]Qi Xiaofeng and Francesco Palmieri. Theoretical Analysis of Evolutionary Algorithms with an Infinite Population Size in Continuous Space, part Ⅱ: Analysis of the diversification role of crossover. IEEE Trans. Neural Network, 1994, 5(1):120-129.
[114]Rudolph G. Convergence properties of canonical genetic algorithms. IEEE Trans. On Neural Network, 1994, 5(1):96-101.
[115]Goldberg. D. Genetic Algorithms in Search, Optimization and Machine Learning. USA: Addison-Wesley Publishing Company, 1988.
[116]De Jong, K. A. The Analysis of a Class of Genetic Adaptive System. Doctoral Dissertation, University of Michigan, Michigan, 1975.
[117]A. Eiben, E. Aarts and K. Van Hee Global Convergence of Genetic Algorithms: An Infinite Markov chain analysis. Parallel Problem Solving from Nature, H. P. Schwefel and R. Nanner, Eds., Heidelberg. Berlin: Springer-Verlag, 1991,4-12.
[118]Dorigo Marco, Maniezzo Vittorio. and Colorni Alberto. Ant System: Optimization by a Colony of Cooperating Agents, IEEE Trans. On System, Man, andCybernetic-Part B: Cybernetics, February 1996,26(1) ;29-41．
[119] Srinivas M., Patnaik L. M. Adaptive Probabilities of Crossover and Mutation in Genetic Algorithms. IEEE Trans. System, Man, and Cybernetics, 1994, 24(4) :656-667．
[120] Goldberg D. E. Genetic Algorithms in Search, Optimization and Machine Learing. Reading, MA: Addison Wesley, 1989．
[121] Grefenstette J. J. Optimization of control parameters for genetic algorithms. IEEE Trans. System, Man, and Cybernetics, 1986,16(1) ;122-128．
[122] Mathias K. E. and Whitely L. D. Initial performance comparisons for the delta coding algorithms. The First IEEE Conference on Evolutionary Compution, Orlando, Floride, 1994．
[123] Fogel D. B. An Introduction to Simulated Evolutionary Optimization. IEEE Trans, on Neural Network, 1994,5(1) :3-14．
[124] Davis L. Applying Adaptive Algorithms to Epistatic Domains. In: Proc. Of 9th Int. Joint Conf. on Artificial Intelligence,1985,162-164．
[125] Syswerda G. Uniform Crossover in Genetic Algorithms. Proc of 3rd, Int Conf on Genetic Algorithms and Their Applications, 1989． 2-9．
[2]郝克刚、葛玮，关于高级网系统的等价及谱系的研究，计算机学报，1993年第7期。
[3]王亦兵等，城市高速公路交通中的控制问题，中国公路学报1997(3)。
[4]王亦兵等，高速公路交通流建模，系统工程学报，1997年5月。
[5]Wang yibing, Han Zengjin, Stability of An Automated Vehicle Platoon, IEEE American Control Conference, 1998.
[6]Huifeng Li et al. A New Type of Timed Petri Nets with Hard Real-Time Deadlines, Proc.of the 2nd Asian Control Conf., Seoul Korea, July 22-25, 1997.
[7]Huifeng Li et al. Control Synthesis of a Class of Discrete Event Systems with Hard Real-Time Deadlines, Proc.of the 15th IMACS World Congress on Scientific Computation, Modeling and Applied Mathematics, Berlin-Germany, August 24-29, 1997, pp.367-372.
[8]杨根科、曾建潮、孙国基，TCPN的状态可达及可调度决策空间算法，计算机学报，第21卷第一期，1998，pp．34-39。
[9]顾启泰，离散事件系统建模与仿真，清华大学出版社，1999年8月。
[10]张维明等，信息系统建模技术与应用，电子工业出版社，1997年。
[11]袁崇义，Petri网原理，电子工业出版社1998年4月。
[12]Jeffrey J.P. Tsai, Steve Jennhwa Yang, Yao-Hsiung Chang Timing Constraint Petri Nets and Their Application to Schedulability Analysis of Real-Time System Specifications, IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. 21, NO. 1, pp.32-49, Jan. 1995.
[13]Bernard Berthomieu, Michel Diaz, Modeling and Verification of Time Dependent Systems Using Time Petri Nets, IEEE TRANSACTION ON SOFTWARE ENGINEERING, VOL. 17, NO. 3, pp.259-273 MARCH, 1991.
[14]Zuberek W. M. Timed Petri Nets and Preliminary Performances Evaluation. Proceeding of 7th Annual Symposium on Computing Architecture, 1980, 88-96.
[15]Ostroff J. S. Wonham W. M. A Framework for Real-Time Discrete Event Control. IEEE Trans. On AC, 35(4), pp.386-396, 1990.
[16]W. M. P. van der Aalst, Colored Petri Nets: A High Level Language for System Design and Analysis, in Advances in Petri Nets 1990, G. Rozenberg, ed., vol.483 of Lecture Notes in Computer Science, Springer-Verlag, New York, 1990, pp.342-416．
[17] K. M. Van Hee and P. A. C. Verkoulen, Integration of a Data Model and Petri Nets, in Proceedings of the 12th International Conference on Applications and Theory of Petri Nets, Aalshus, June 1991, pp.410-431．
[18] B. Dasaranthy, Timing Constraints of Real-Time Systems: Constraints Expressing Them, Methods of Validating Them, IEEE Trans. Eng., Vol. SE-11, pp.80-86, Jan. 1985．
[19] J. J. P. Tsai S. J. H. Yang, Monitoring and Debugging of Distributed Real-Time System. Washington, DC: IEEE Computer Society Press, 1995．
[20] T. Murata, Petri Nets: Properties, Analysis and Applications, Proceedings of the IEEE, Vol. 77, No, 4, April 1989, pp.541-580．
[21] L. Jansen, M. Meyer zu Horste, E. Schnieder, Technical Issues in Modeling the European Train Control System (ETCS) Using Colored Petri Nets and the Design/CPN Tools.
[22] Daniel Modlt and Heiko Rolke, Generation of Executable Object-based Petri Net Skeletons Using Design/CPN,
[23] Wolfgang Hielscher, Lars Urbszat, Claus Reinke and Werner Kluge, On Modeling Train Traffic in a Model Train System,
[24] Desroders, Alan A, Robert Y. A1-Jaar, Applications of Petri Nets in Manufacturing System: Modeling, Control, and Performance Analysis, IEEE Press, Piscat-away, New Jersey.
[25] K. Lautenbach and H. A. Schmidt, Use of Petri Nets for Proving Correctness of Concurrent Process Systems, in Pros. IFIP Congr. 1974． Amsterdam, The Netherlands: North-Holland,1974, pp.187-191．
[26] P. Chretienne, Some Results on the Control of Timed Petri Nets, in Proc. 2nd Workshop Applications and Theory of Petri Nets, Bad Honnef, Sep. 1981．
[27] J. J. P. Tsai and T. J. Weigert, Knowledge-Based Software Development For Real-Time Distributed Systems. Singapore: World Pubblish, 1993．
[28] K. M. Chandy and J. Misra. Distributed Simulation: A Case Study in Design and Verification of Distributed Programs. IEEE Transcations on Software Engineering, 5(11) , pp.440-452, Setember 1979．
[29] H. H. Ammar and S. Deng. Time Warp Simulation of Stochastic Petri Nets. In Proc. 4th Intertnational Workshop on Petri Nets and Performance Models, pp. 186-195, Melbourne, Australia, December 1991. IEEE-CS Press.
[30]Kluge, W. and Lantenbach. K. On the Orderly Resolution of Memory Access Conflicts Among Competing Channel Process, IEEE TC Vol. C 31, No. 3,1982, pp. 191-207.
[31]D. M. Nicol and S. Roy. Parallel Simulation of Timed Petri Nets. In B. Nelson, D. Kelton, and G. Clark, editors, Proc. 1991 Winter Simulation Conference, pp.574-583, 1991.
[32]Zhou, MengChu, Petri Nets in Flexible and Agile Automatin. Boston: Kluwer Academic Publicshers, c1995.
[33]J. Desel and Javier Esparza. Free Choice Petri Nets. Cambridge University Press, 1995.
[34]Richard Zurawski, Tharam S. Dillon. Modern Tools for Manufacturing Systems. Amsterdam, Elsevier, 1993.
[35]DiCesare, Frank. Practice of Petri Nets in Manufacture. London: Chapman & Hall, 1993.
[36]MengChu Zhou, Frank DiCesare. Petri Nets Synthesis for Discrete Event Control of Manufacture Systems. Boston: Kluwer Academic, c1993.
[37]Christoph Lindemann. Performance Modeling with Deterministic and Stochastic Petri Nets. Chichester: Wiley, c1998.
[38]Janette Cardoso, Heloisa Camargo. Fuzziness in Petri Nets. Heidelberg: Physica-Verlag, c 1999.
[39]Herbert L. Petri. Belmont. Motivation: Theory, Research, and Applications. Galif.: Wadsworth Pub. Co., c1991.
[40]Cao, Tiehua. Intelligent Task Planning Using Fuzzy Petri Nets. Singapore: World Scientific, c 1996.
[41]K, Voss, H. J. Genrich, G. Rozenberg. Concurrency and Nets. Berlin: Springer-Verlag, c1987.
[42]John O. Moody, Panos J. Antsaldis. Supervisory Control of Discrete Event Systems Using Petri Nets. Boston: Kluwer Academic Publishers, c1998.
[43]张一军，高速铁路调度中心控制系统方案及关键部件的研究-研究报告，铁道部科学研究院，1997。
[44]张琦，基于神经网络的列车运行模拟系统的研究，铁道部科学研究院博士学位论文，1998。
[45]王建英，高速铁路调度控制系统智能模拟的理论、方法和实现，铁道部科学研究院博士学位论文，1999。
[46]贾利民，模糊控制与决策及其在铁路自动化中的应用，铁道部科学研究院博士学位论文。
[47]党建武等，神经网络学习算法及其在列车控制中的应用，兰州铁道学院学报，Vol．13 No．4 1994。
[48]刘吉峰，基于遗传算法的神经网络模糊控制器的研究及其在列车运行智能控制中的应用，北方交通大学博士学位论文，1997。
[49]李群，铁路列车运行安全模糊神经网络控制方法分析，北方交通大学博士学位论文。
[50]李群、汪希时，神经网络在机车起动控制系统中的应用，中国自动化学术会议即智能化专业委员会成立大会，1995天津。
[51]党建武、靳藩，一种直控神经元模型及其在列车停车控制中的应用，西南交通大学学报，1995．6。
[52]朴爱华，高速铁路列车运行组织优化问题的研究，北方交通大学博士学位论文。
[53]李鹏，面向对象技术及问题求解理论在铁路行车指挥自动化方面应用的研究，铁道部科学研究院博士学位论文。
[54]徐扬，基于可能性理论的高速列车智能控制系统的研究-模糊控制与专家系统，西南交通大学出版社，1989。
[55]贾利民、张锡第、李多寅，模糊多目标优化控制及其在列车自动控制中的应用，铁道部科学研究院通信信号所技术报告。
[56]张玉臣，模糊控制在列车自动运行系统中的应用，中国铁路，1993．5。
[57]汪希时，LCF型列车超速防护系统的研制，北方交通大学学报，1995．Vol．19。
[58]李鹏、张一军，内部协同式列车运行调整专家系统的研究，中国铁道科学，1998．9。
[59]桑苑秋、贾利民、张锡第，铁路网络信号技术体系的研究，中国铁道科学，1998．9。
[60]赵明，移动自动闭塞系统基本理论的研究，北方交通大学博士学位论文，1996。
[61]何兵，高速列车运行多模型多控制器的智能控制研究，西南交通大学博士学位论文，1997。
[62]翟智民，高速列车制动控制系统研究，北方交通大学博士学位论文，1995。
[63]廖光华，模糊控制在列车自动运行中的应用，北方交通大学博士学位论文，1992。
[64]唐祯敏，自动化驼峰作业过程模拟软件系统，北方交通大学博士学位论文，1991。
[65]彭其渊、张羽成、李孟，列车运行图均衡性评价方法的研究，西南大学学报，1998．4。
[67]彭其渊、朱松年、阎海峰，列车运行图可调整度评价系统的研究，西南大学学报，1998．8。
[68]扬肇夏等，列车运行图动态性能及其指标体系所研究，铁道学报，1993．3。
[69]扬肇夏等，列车晚点传播模拟系统，铁道学报，1995．2。
[70]刘晖、江建楚、胡谋，预测型模糊控制列车自动运行系统方案及其仿真，上海铁道大学学报，1996．2。
[71]刘云，列车运行仿真系统的软件设计，北方交通大学学报，1995．1。
[72]赵鹏、胡安州，高速铁路运行调整弹性研究，北方交通大学学报，1995．9。
[73]周磊山，运行调整若干技术难点问题的研究，北方交通大学学报，1995．9。
[74]宁滨，列车超速防护系统的制动精度和安全性防护距离初探，北方交通大学学报，1995．3。
[75]石雨等，铁路运输过程控制模拟试验系统中列车运行仿真模型的研究，北方交通大学学报，1997．3。
[76]张育升，列车运行计划调整自动化的几个问题，北方交通大学学报，1994．12。
[77]程宇，铁路行车调度的智能CAD系统，北方交通大学学报，1992．3。
[78]冯珊，人工智能与面向对象技术结合的仿真建模方法，华中理工大学博士学位论文。
[79]出国参观考察报告—日本铁路行车指挥自动化技术，科学技术文献出版社1977。中国铁道管理学院、日本国际协力事业团合编，行车指挥自动化系统，中国铁道出版社，1991。
[80]吴汶麒，城市轨道交通信号与通信系统，中国铁道出版社，1998北京。
[81]胡思继，铁路行车组织，中国铁道出版社，1998北京。
[82]何文卿，6502电气集中电路，中国铁道出版社，1997北京。
[83]王秉文，6502电气集中工程设计，中国铁道出版社，1998北京。
[84]丁正庭，区间信号自动控制，中国铁道出版社，1999北京。
[85]钱仲候，高速铁路概论，中国铁道出版社，1999北京．
[86]季令等，城市轨道交通运营组织，中国铁道出版社，1999北京。
[87]张贵珍、扬宾华，电力机车牵引，中国铁道出版社，1985北京。
[88]张开文，制动，中国铁道出版社，1993北京。
[89]饶忠，列车牵引计算，中国铁道出版社，1993北京。
[90]Shima H. C., Yasunobu S., Sekino S. Automatic Train Operation System Based on Predictive Fuzzy Control. International Workshop on Artifical Intelligence for Indutrial Application, 1987.
[91]S. Yasunobu, S. Sekino, T. Hasegawa. Automatic Train Operation and Automatic Crane Operation System Based on Predictive Fuzzy Control, Proc. 2nd IFSA Congress, 1987.
[92]Fogel L. J., et. al. Artifical Intelligence though Simulated Evolution. John Wiley & Sons, 1996
[93]Schwefel H. R Evolution and Optimum Seeking. John Wiley & Sons, 1995.
[94]Goldberg D E. Simple Genetic Algorithms and the Minimal Deceptive Problem. In: Davis L Ed. Genetic Algorithms and Simulated Annealing, Pitman, 1987,74-78.
[95]Koza J R. Genetic Programming, on the Programming of Computers by Means of Natural selection. MIT Press, 1992.
[96]Chen R, Meyer R R and Yackel J. A Genetic Algorithm for Diversity Minimization and Its Parallel Implementation. In: Proc. Of the Int. Conf. on Genetic Algorithms. Morgan Kaufmann, 1993,163-170.
[97]Orvosh D, Davis L. Using a Genetic Algorithm to Optimize Problems with feasibility Constraints. In: Proc. Of 1st IEEE Conf. on Evolutionary Computation, 1994, 548-553.
[98]Chen H, Flann N S. Parallel Simulated Annealing and Genetic Algorithms: A Space of Hybrid Methods. In: Parallel Problem solving from Nature 3, Springer Verlag, 1994,428-438.
[99]Kirkpatrick S, Gelatt C D and Vecchi M P. Optimization by Simulated Annealing; Science, 1983,220:671-680.
[100]Magfoud S W, Goldberg D E. A Genetic Algorithm for Parallel Simulated Annealing, In: Parallel Problem Solving from Nature 2, North Holland, 1992,301-310.
[101]袁南儿，计算机新型控制策略及其应用，清华大学出版社，19980
[102]刘勇、康立山、陈毓屏，非数值并行算法—遗传算法，科学出版社，1995。
[103]陈国良等，遗传算法及其应用，人民邮电出版社，1996年6月．
[104]周明、孙树栋，遗传算法原理及应用，国防工业出版社，1999年6月。
[105][美]Bart Kosko著，黄崇福译，模糊工程，西安交通大学出版社，1999年6月。
[106]李士勇，模糊控制、神经控制和智能控制论，哈尔滨工业大学出版社，1998年9月。
[107]蔡自兴等，人工智能及其应用，清华大学出版社，1996年5月。
[108]卢开澄，计算机算法导引，清华大学出版社，1999．8。
[109][美]Daniel Tkach,Walter Fang,Andrew So著，许文等译，可视化对象建模技术，科学出版社，1999。
[110]邵维忠、扬芙清，面向对象的系统分析，清华大学出版社，1998．12。
[111][美]Abhijit S.Pandya,Robert B.Macy著，徐勇等译，神经网络模式识别及其实现，电子工业出版社，1999．6。
[112]Qi Xiaofeng and Francesco Palmieri. Theoretical Analysis of Evolutionary Algorithms with an Infinite Population Size in Continuous Space, part Ⅰ: Basic properties of selection and mutation. IEEE Trans. Neural Network, 1994, 5(1):102-119.
[113]Qi Xiaofeng and Francesco Palmieri. Theoretical Analysis of Evolutionary Algorithms with an Infinite Population Size in Continuous Space, part Ⅱ: Analysis of the diversification role of crossover. IEEE Trans. Neural Network, 1994, 5(1):120-129.
[114]Rudolph G. Convergence properties of canonical genetic algorithms. IEEE Trans. On Neural Network, 1994, 5(1):96-101.
[115]Goldberg. D. Genetic Algorithms in Search, Optimization and Machine Learning. USA: Addison-Wesley Publishing Company, 1988.
[116]De Jong, K. A. The Analysis of a Class of Genetic Adaptive System. Doctoral Dissertation, University of Michigan, Michigan, 1975.
[117]A. Eiben, E. Aarts and K. Van Hee Global Convergence of Genetic Algorithms: An Infinite Markov chain analysis. Parallel Problem Solving from Nature, H. P. Schwefel and R. Nanner, Eds., Heidelberg. Berlin: Springer-Verlag, 1991,4-12.
[118]Dorigo Marco, Maniezzo Vittorio. and Colorni Alberto. Ant System: Optimization by a Colony of Cooperating Agents, IEEE Trans. On System, Man, andCybernetic-Part B: Cybernetics, February 1996,26(1) ;29-41．
[119] Srinivas M., Patnaik L. M. Adaptive Probabilities of Crossover and Mutation in Genetic Algorithms. IEEE Trans. System, Man, and Cybernetics, 1994, 24(4) :656-667．
[120] Goldberg D. E. Genetic Algorithms in Search, Optimization and Machine Learing. Reading, MA: Addison Wesley, 1989．
[121] Grefenstette J. J. Optimization of control parameters for genetic algorithms. IEEE Trans. System, Man, and Cybernetics, 1986,16(1) ;122-128．
[122] Mathias K. E. and Whitely L. D. Initial performance comparisons for the delta coding algorithms. The First IEEE Conference on Evolutionary Compution, Orlando, Floride, 1994．
[123] Fogel D. B. An Introduction to Simulated Evolutionary Optimization. IEEE Trans, on Neural Network, 1994,5(1) :3-14．
[124] Davis L. Applying Adaptive Algorithms to Epistatic Domains. In: Proc. Of 9th Int. Joint Conf. on Artificial Intelligence,1985,162-164．
[125] Syswerda G. Uniform Crossover in Genetic Algorithms. Proc of 3rd, Int Conf on Genetic Algorithms and Their Applications, 1989． 2-9．