计算机联锁控制系统数学模型的研究

Study on Mathematical Model of Computer based Interlocking System

利用现代控制理论与系统工程学的方法，研究计算机联锁控制系统建立数学模型的方法．系统建模后，利用状态树的方法把系统的全部状态过程分解为若干个子过程，针对每一个过程，建立起系统的解析模型．根据解析模型，选择适当的编程语言，可将系统模型表达为计算机程序模型．这样的系统建模方法与解析方式，能够准确地描述计算机联锁控制系统的全部动态过程以及表达各个变量之间的复杂关系，从而使计算机联锁控制系统编程标准化，同时也为系统功能的检测提供了依据．

The purpose of this paper is to find out the way of building the mathematical model of Computer based Interlocking System and convert the whole system dynamic performance into several subprocedures with the conception of status tree. As to each subprocedure, we construct an analytic model according to which certain proper program language can be selected to make this system model a computer programmable one. This method of systematic moudlization and analysis can not only precisely describe the Computer based Interlocking System wholly dynamic activation but also clearly explain the complicated logic relationship among the variables. Thus it will standardize the programming Computer based Interlocking System and provide the warranty for detecting of the system function as well.