计算机工程与设计
計算機工程與設計
계산궤공정여설계
COMPUTER ENGINEERING AND DESIGN
2013年
6期
2119-2124
,共6页
列控系统3级%Petri网%行车许可%建模%形式化验证
列控繫統3級%Petri網%行車許可%建模%形式化驗證
렬공계통3급%Petri망%행차허가%건모%형식화험증
train control system-3%Petri nets%movement authority%modeling%formal verification
针对高铁列车控制系统3级集成中的系统网络通信性能缺乏形式化标准问题,采用着色Petri网,在分析行车许可行为过程的基础上,提出并完成了面向行车许可计算及传输过程的分层着色Petri网系统建模,进一步完成赋时模型优化.通过实验对模型的有效性进行了验证,并进一步讨论了系统通信可靠性及网络延迟对行车的影响,形成等级转换时的通信质量的安全范围,可以为列控系统的设计、联调联试提供支持.
針對高鐵列車控製繫統3級集成中的繫統網絡通信性能缺乏形式化標準問題,採用著色Petri網,在分析行車許可行為過程的基礎上,提齣併完成瞭麵嚮行車許可計算及傳輸過程的分層著色Petri網繫統建模,進一步完成賦時模型優化.通過實驗對模型的有效性進行瞭驗證,併進一步討論瞭繫統通信可靠性及網絡延遲對行車的影響,形成等級轉換時的通信質量的安全範圍,可以為列控繫統的設計、聯調聯試提供支持.
침대고철열차공제계통3급집성중적계통망락통신성능결핍형식화표준문제,채용착색Petri망,재분석행차허가행위과정적기출상,제출병완성료면향행차허가계산급전수과정적분층착색Petri망계통건모,진일보완성부시모형우화.통과실험대모형적유효성진행료험증,병진일보토론료계통통신가고성급망락연지대행차적영향,형성등급전환시적통신질량적안전범위,가이위렬공계통적설계、련조련시제공지지.
