原创力文档- 1、原创力文档（book118）网站文档一经付费（服务费），不意味着购买了该文档的版权，仅供个人/单位学习、研究之用，不得用于商业用途，未经授权，严禁复制、发行、汇编、翻译或者网络传播等，侵权必究。。
- 2、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。如您付费，意味着您自己接受本站规则且自行承担风险，本站不退款、不进行额外附加服务；查看《如何避免下载的几个坑》。如果您已付费下载过本站文档，您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等，请点击“版权申诉”（推荐），也可以打举报电话：400-050-0827(电话支持时间：9:00-18:30)。
- 4、该文档为VIP文档，如果想要下载，成为VIP会员后，下载免费。
- 5、成为VIP后，下载本文档将扣除1次下载权益。下载后，不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后，您将拥有八大权益，权益包括：VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传，每下载1次， 网站将根据用户上传文档的质量评分、类型等，对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
第 5 期2009 年 5 月电子学报Vol . 37 No .
第 5 期
2009 年 5 月
电
子
学
报
Vol . 37 No . 5
May 2009
ACTA EL ECTRONICA SINICA
基于自动机模型的平面调车软件设计方法
臻1 ,陆
阳1 ,汤
俊2 ,鲍红杰1
魏
(11 合肥工业大学计算机与信息学院 ,安徽合肥 230009 ;21 合肥工业大学高科信息技术有限责任公司 ,安徽合肥 230088)
摘 要 : 平面调车是一种铁路调车过程中的离散事件系统. 可靠性高 、易测试的平面调车软件对保障铁路运输
安全极为重要 ,因此需要建立一种规范模型基础上的平面调车软件设计方法. 分析了平面调车系统中事件驱动过程的 复杂性以及自然语言规则描述方式的缺陷 ,提出通过自动机模型描述平面调车系统 ,具体讨论了平面调车系统与时间 自动机 ( TA) 、下推自动机 ( PDA) 和分层自动机的关系. 从状态划分 、数据结构设计 、状态转移流程等方面说明了基于自 动机模型的平面调车软件的设计方法.
关键词 :
离散事件系统 ; 平面调车 ; 时间自动机 ; 下推自动机
中图分类号 :
文献标识码 :
文章编号 : 037222112 (2009) 0521013206
TP301 , U283
A
De sign Met ho d fo r Software of Flat Shunting Syst e m s B a s e d o n
Auto mato n Mo del s
WEI Zhen1 ,LU Yang1 ,TANG J un2 ,BAO Hong2jie1
(11 College of Computer and Inf ormation , Hefei University of Technology , Hefei , Anhui 230009 , China ;
21 GOCOM Inf ormation Technology Co. L TD , Hefei , Anhui 230088 , China)
Ab stract : Flat shunting is a type of discrete event systems in the p rocess of railway dispatching . It is very imp ortant that
software of any flat shunting system have high reliability and high testability f or ensuring transp ortation saf ety . For that goal , it is necessary to build a kind of regular design methods f or software of flat shunting systems . In this paper , the complexity of event driv2 ing in the p rocess of flat shunting and the limitation of description with natural language are analyzed . Theref ore new descriptions of some p rocesses in a flat shunting system with automaton models are p rop osed . In detail , the relationships between a flat shunting sys2 tem and timed automata ( TA) ,p ushdown automata ( PDA) and the structure of layered automata are discussed . On the basis of ex2 plaining the partition of states , the data structure and the flow of state transition , a design method of flat shunting systems based on automaton models is built .
Key word s : discrete event system ; flat shunting ; timed automaton ; p ush
文档评论（0）