基于自动机模型的平面调车软件设计方法

• 作者: 汤俊 陆阳 魏臻 鲍红杰
• 来源期刊: 电子学报
• 学科: 交通运输
• 关键词: 离散事件系统 平面调车 时间自动机 下推自动机
• 年，卷（期）: 2009,（5）
• 所属期刊栏目: 学术论文
• 页码范围: 1013-1018
• 页数: 6页
• 分类号: TP301|U283
• 字数: 5420字
• 语种: 中文
• DOI: 10.3321/j.issn:0372-2112.2009.05.019

摘要

平面调车是一种铁路调车过程中的离散事件系统.可靠性高、易测试的平面调车软件对保障铁路运输安全极为重要,因此需要建立一种规范模型基础上的平面调车软件设计方法.分析了平面调车系统中事件驱动过程的复杂性以及自然语言规则描述方式的缺陷,提出通过自动机模型描述平面调车系统,具体讨论了平面调车系统与时间自动机(TA)、下推自动机(PDA)和分层自动机的关系.从状态划分、数据结构设计、状态转移流程等方面说明了基于自动机模型的平面调车软件的设计方法.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	魏臻	合肥工业大学计算机与信息学院	81	832	15.0	24.0
2	陆阳	合肥工业大学计算机与信息学院	147	1309	19.0	29.0
3	汤俊		1	1	1.0	1.0
4	鲍红杰	合肥工业大学计算机与信息学院	7	60	3.0	7.0