机车控制电路逻辑控制模型分析与自动生成

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