| 基于自动机模型的平面调车软件设计方法 |
| |
| 引用本文： | 魏臻,陆阳,汤俊,鲍红杰.基于自动机模型的平面调车软件设计方法[J].电子学报,2009,37(5):1013-1018. |
| |
| 作者姓名： | 魏臻 陆阳 汤俊 鲍红杰 |
| |
| 作者单位： | 1. 合肥工业大学计算机与信息学院,安徽合肥,230009
2. 合肥工业大学高科信息技术有限责任公司,安徽合肥,230088 |
| |
| 基金项目： | 国家高技术研究发展计划(863计划)，国家自然科学基金 |
| |
| 摘 要： | 平面调车是一种铁路调车过程中的离散事件系统.可靠性高、易测试的平面调车软件对保障铁路运输安全极为重要,因此需要建立一种规范模型基础上的平面调车软件设计方法.分析了平面调车系统中事件驱动过程的复杂性以及自然语言规则描述方式的缺陷,提出通过自动机模型描述平面调车系统,具体讨论了平面调车系统与时间自动机(TA)、下推自动机(PDA)和分层自动机的关系.从状态划分、数据结构设计、状态转移流程等方面说明了基于自动机模型的平面调车软件的设计方法.
|
| 关 键 词： | 离散事件系统 平面调车 时间自动机 下推自动机 |
| 收稿时间： | 2008-08-23 |
Design Method for Software of Flat Shunting Systems Based on Automaton Models |
| |
| WEI Zhen,LU Yang,TANG Jun,BAO Hong-jie.Design Method for Software of Flat Shunting Systems Based on Automaton Models[J].Acta Electronica Sinica,2009,37(5):1013-1018. |
| |
| Authors: | WEI Zhen LU Yang TANG Jun BAO Hong-jie |
| |
| Affiliation: | 1.College of Computer and Information;Hefei University of Technology;Hefei;Anhui 230009;China;2.GOCOM Information & Technology Co.LTD;Anhui 230088;China |
| |
| Abstract: | |
| |
| Keywords: | discrete event system flat shunting timed automaton pushdown automaton |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《电子学报》浏览原始摘要信息 |
|
点击此处可从《电子学报》下载全文 |
