第5期2009年5月电子学报Vol.37No.5May2009ACTAELECTRONICASINICA基于自动机模型的平面调车软件设计方法臻1,陆阳1,汤俊2,鲍红杰1魏(11合肥工业大学计算机与信息学院,安徽合肥230009;21合肥工业大学高科信息技术有限责任公司,安徽合肥230088)摘要:平面调车是一种铁路调车过程中的离散事件系统.可靠性高、易测试的平面调车软件对保障铁路运输安全极为重要,因此需要建立一种规范模型基础上的平面调车软件设计方法.分析了平面调车系...
