This method is first to transfer the locomotive control circuit into the relation oriented graph,then to find all directed paths between two vertexes, and finally to obtain the states of all parts.

• 在分析机车控制电路的逻辑控制模型基础上，提出将机车控制电路转化为网络的有向图，通过求解有向图中顶点间的单向通路，求得电路中各部件的状态方法，从而自动生成机车控制电路的逻辑控制模型。