利用时间自动机理论探讨客专RBC控车流程
基于时间自动机理论,在UPPAAL这种目前最先进的实时系统建模分析验证工具中,对RBC系统消息收发进行分析、建模及验证.最终对RBC系统控车消息收发流程的特性进行验证,对于保证RBC系统控车流程的安全性、减少系统开发周期及开发成本都有重要的实际意义.
推荐文档列表
-
w
基于ANSYS的KZ4A型机车牵引座强度分析与改进设计
推荐： -
w
借助冰眼看日本
推荐： -
w
浅谈沥青路面的灌缝技术
推荐： -
w
助力转向液压原理描述及外循环回路设计
推荐： -
w
可控停车器设备管理方式之我见
推荐： -
w
制动器试验台的控制方法分析
推荐： -
w
大连海事大学第一批硕士博士研究生教育回顾
推荐： -
w
钢筋混凝土箱形拱桥现浇施工拱圈-拱架联合受力仿真分析
推荐： -
w
京珠高速粤境黄金周交通特征分析
推荐： -
w
马岭河斜拉桥塔梁同步施工可行性研究
推荐： -
w
从热频词和关键词看2008年我国商用车行业的发展
推荐： -
w
在金融危机影响下纺织行业的应对策略研究
推荐： -
w
河道水文条件变化对最低通航水位的影响
推荐： -
w
浅谈水泥混凝土桥面铺装与单板受力
推荐： -
w
浅析公路工程中的环保理念
推荐： -
w
HXD2电力机车一系悬挂弹簧的有限元分析
推荐： -
w
以节能为目的的船用涂料与涂装现状和展望
推荐： -
w
悬臂抱箍法在某大桥独柱盖梁施工中的应用
推荐： -
w
预应力混凝土空心板单板受力的分析
推荐： -
w
地质勘察是公路设计和确保工程质量的重要前提
推荐： -
w
论路基工程质量的成因及处治措施
推荐： -
w
WiMAX标准化组织简介
推荐： -
w
拱肋倾角对中承式系杆拱桥静力的影响
推荐： -
w
桥头跳车问题的探讨
推荐： -
w
改建工程总体设计
推荐： -
w
基于开源的高可靠联网收费系统的实现
推荐： -
w
曹娥江袍江大桥主墩承台大体积砼温度控制技术
推荐： -
w
京津城际高速铁路桥上无砟轨道施工技术
推荐： -
w
评中评
推荐： -
w
新型叉车式抛扬除雪车
推荐： -
w
滑坡治理施工工艺和方案
推荐： -
w
高速公路软基防震模型的理论研究
推荐： -
w
路桥过渡段施工技术分析
推荐： -
w
借世博会东风,长三角的未来更美好
推荐： -
w
旋挖钻机在核桃凹大桥中的应用
推荐： -
w
船用泵组自动切换控制系统实训台的设计
推荐：