科技信息
科技信息
과기신식
SCIENTIFIC & TECHNICAL INFORMATION
2013年
11期
97-98
,共2页
联锁系统%进路处理过程%Petri网
聯鎖繫統%進路處理過程%Petri網
련쇄계통%진로처리과정%Petri망
本文采用有Petri网对铁路信号计算机联锁系统的进路控制过程进行建模,确保系统逻辑定义的一致性、完整性和精确性,并对所建立的模型进行仿真,以验证所建模型的性质.结果表明该方法在系统设计阶段可以提高系统的安全性和可靠性.
本文採用有Petri網對鐵路信號計算機聯鎖繫統的進路控製過程進行建模,確保繫統邏輯定義的一緻性、完整性和精確性,併對所建立的模型進行倣真,以驗證所建模型的性質.結果錶明該方法在繫統設計階段可以提高繫統的安全性和可靠性.
본문채용유Petri망대철로신호계산궤련쇄계통적진로공제과정진행건모,학보계통라집정의적일치성、완정성화정학성,병대소건립적모형진행방진,이험증소건모형적성질.결과표명해방법재계통설계계단가이제고계통적안전성화가고성.
