Research And Design Of Interlocking Program On Graph Theory

Interlock systems are used to command the safe operation of the vehicle in the station. Itis the key to the safe operation of the vehicle in the station. With the popularization andapplication of computer technology, computer technology has been gradually introduced intothe field of railway signal. As easy installation, high degree of modularity, and ease ofcentralized monitoring and management, computer interlocking system has gradually replacedthe traditional relay interlocking system. Although the computer interlocking system hasmany advantages compared to traditional relay interlocking system, the existing computerinterlocking system still needs to be promoted and improved in terms of safety and reliability.Interlocking program is used to perform logical operations in computer interlockingsystem. As the core of computer interlocking system, the interlock program directlydetermines the safety and reliability of the interlocking program. Firstly, the objects involvedby interlocking program were analyzed. The logical nature of these objects was analyzed tomake mathematical abstraction. After the mathematical definition of these related objects wasgiven, the relationship between the objects was analyzed with mathematical methods. And amathematical model used to explain the phenomenon of interlocking was established.Furthermore, a series of proved fundamental theorem used to explain the interlockingphenomenon was given.After completed the axiom system used to explain the phenomenon of interlocking, theinterlock program was redesigned based on the axiom system. A new idea that theinterlocking program could be realized in the form of dynamic database was proposed. Afterthat, rational organization form of data in the database was given. Design ideas of the datastructure and its rationality were described. On the basis of the previous theory, the basicprocesses and algorithms used to perform the interlock logic operation was design.Meanwhile an explanation of these processes and algorithms design ideas was given. Andtheir correctness was illustrated by the axiom system.Finally, after the completion of the dynamic database used to implement the interlockingprogram, some experimental procedures were designed and performed. There were two partsof the experiment, security testing and portability testing. In the security testing section, fourexperiments were designed. The program was tested to deal with basic problems. In theportability testing section, compared with the existing program, the new interlocking programwas assessed from both versatility of the algorithm and the amount of data used to constructthe database. It was found that the new interlocking program based on the theory put forwardhas a good security. The most important thing is that this kind of security could be clearlydemonstrated by the given theory. That is different from existing program which is the lack of theoretical support. Furthermore, it was found that since the theory which is used to explainthe interlocking phenomena was given, both of the processes and the algorithms used toimplement the interlock operations has a broad applicability. Meanwhile, due to the samereason, the data involved in the interlocking problems has a better organization and theamount of data has been greatly compressed.The main innovations of the paper are reflected in the following two points.Firstly, an axiom which could be used to explain interlocking problems was given. Andthat makes it possible that interlocking phenomena could be analyzed by mathematicalmethods.Secondly, the correctness of the theory through practical programming was verified, andthe interlocking program based on the theory could be applied to any station, with definitesecurity.