电子学报
電子學報
전자학보
ACTA ELECTRONICA SINICA
2009年
5期
1013-1018
,共6页
魏臻%陆阳%汤俊%鲍红杰
魏臻%陸暘%湯俊%鮑紅傑
위진%륙양%탕준%포홍걸
离散事件系统%平面调车%时间自动机%下推自动机
離散事件繫統%平麵調車%時間自動機%下推自動機
리산사건계통%평면조차%시간자동궤%하추자동궤
平面调车是一种铁路调车过程中的离散事件系统.可靠性高、易测试的平面调车软件对保障铁路运输安全极为重要,因此需要建立一种规范模型基础上的平面调车软件设计方法.分析了平面调车系统中事件驱动过程的复杂性以及自然语言规则描述方式的缺陷,提出通过自动机模型描述平面调车系统,具体讨论了平面调车系统与时间自动机(TA)、下推自动机(PDA)和分层自动机的关系.从状态划分、数据结构设计、状态转移流程等方面说明了基于自动机模型的平面调车软件的设计方法.
平麵調車是一種鐵路調車過程中的離散事件繫統.可靠性高、易測試的平麵調車軟件對保障鐵路運輸安全極為重要,因此需要建立一種規範模型基礎上的平麵調車軟件設計方法.分析瞭平麵調車繫統中事件驅動過程的複雜性以及自然語言規則描述方式的缺陷,提齣通過自動機模型描述平麵調車繫統,具體討論瞭平麵調車繫統與時間自動機(TA)、下推自動機(PDA)和分層自動機的關繫.從狀態劃分、數據結構設計、狀態轉移流程等方麵說明瞭基于自動機模型的平麵調車軟件的設計方法.
평면조차시일충철로조차과정중적리산사건계통.가고성고、역측시적평면조차연건대보장철로운수안전겁위중요,인차수요건립일충규범모형기출상적평면조차연건설계방법.분석료평면조차계통중사건구동과정적복잡성이급자연어언규칙묘술방식적결함,제출통과자동궤모형묘술평면조차계통,구체토론료평면조차계통여시간자동궤(TA)、하추자동궤(PDA)화분층자동궤적관계.종상태화분、수거결구설계、상태전이류정등방면설명료기우자동궤모형적평면조차연건적설계방법.
