论文部分内容阅读
结合已有的列车运行调度模型,采用Petri网分析方法对列车运行调度模型在理论上进行了分析和证明,指出模型具有结构有界性、部分守恒性、活性等离散性质以及调度库所的作用,保证了模型的正确性和有效性。通过对模型的分析,得出列车运行调度问题的本质是一个最优控制问题。
Combined with the existing train operation dispatching model, the Petri net analysis method is used to analyze and prove the train dispatching model in theory. It is pointed out that the model has the properties of structural boundedness, partial conservation, activity and so on, as well as the role of dispatching places , To ensure the correctness and effectiveness of the model. Through the analysis of the model, it is concluded that the essence of the train operation dispatch problem is an optimal control problem.