At present,the main methods of interlocking in our country are relay-based interlocking and computer-based interlocking,computer-based interlocking is gradually become the main appeal of relay-based interlocking.The relevant scholars put forward the research on computer-based interlocking based on the logic of relay-based interlocking,this method put the way of designing,defending on relay-based interlocking to the use of computer-based interlocking by combining the logic of relay-based interlocking and computer-based interlocking,also reduced related expenditure.Based on the formal method of relay-based interlocking logic,the interlocking program could be designed and maintained at the circuit level with the method of transfer from circuit diagram into interlocking program.So,this thesis explored the process of circuit stimulation by transferring circuit diagram into block control program with taking 64 D single-wire relay semi-automatic block circuit as the basic circuit example,to get practicable way of making formal tools of computer-based interlocking based on the logic of relay-based interlocking.This thesis analyzed the job about data in the transfer from circuit to stimulation program,include part of logic operation,part of vision,and made practicable key steps for the test;summarized the relationship of circuit include line and part by analyzing the basic circuit;designed data structure according to circuit and function of display;designed intermediate file structure according to data structure and program character;made the key steps of transformation from original file to intermediate file,form intermediate file to data structure;designed the way to create simulation program;tested the verified the function about simulational program. |