提示
陆阳
-
33浏览
-
0点赞
-
0收藏
-
0分享
-
78下载
-
0评论
-
引用
期刊论文
基于自动机模型的平面调车软件设计方法
，-0001，（）：
摘要/描述
平面调车是一种铁路调车过程中的离散事件系统。可靠性高、易测试的平面调车软件对保障铁路运输安全极为重要，因此需要建立一种规范模型基础上的平面调车软件设计方法。分析了平面调车系统中事件驱动过程的复杂性以及自然语言规则描述方式的缺陷，提出通过自动机模型描述平面调车系统，具体讨论了平面调车系统同时间自动机（TA）、下推自动机（PDA）和分层自动机结构的关系。从状态划分、数据结构设计、状态转移流程等方面说明了基于自动机模型的平面调车软件的设计方法。
【免责声明】以下全部内容由[陆阳]上传于[2005年11月04日 23时54分08秒]，版权归原创者所有。本文仅代表作者本人观点，与本网站无关。本网站对文中陈述、观点判断保持中立，不对所包含内容的准确性、可靠性或完整性提供任何明示或暗示的保证。请读者仅作参考，并请自行承担全部责任。
我要评论
全部评论
共 0 条
本学者其他成果
同领域成果
