排序方式: 共有4条查询结果,搜索用时 31 毫秒
1
1.
基于MSC与UPPAAL的列控系统等级转换场景形式化验证 总被引:3,自引:3,他引:0
等级转换是C3级列控系统的重要场景,是列控系统兼容性的集中体现,转换的成功与否直接关系到列车的运行安全和行车效率。因此,有必要对设计规范中所描述的转换过程进行形式化建模和验证,以保障系统的安全性和实时性。为保证设计规范与所建模型的一致性,采取消息顺序图(MSC)与时间自动机相结合的方式,建立等级转换场景中C2级向C3级转换过程的MSC模型,并将其转换为时间自动机模型。应用UPPAAL对模型的安全性和受限活性进行仿真验证,结果表明设计规范中所描述的转换过程是安全可靠的,可以满足C3级列控系统的兼容性和安全性要求。 相似文献
2.
为减少盐渍土对盐渍土地区修建公路时的危害、利用盐渍土做为路基填料,以新疆某高速公路建设项目为例,通过室内试验掌握该项目中盐渍土的溶陷特性,为该项目顺利实施打下了坚实的基础。 相似文献
3.
为了解盐渍土路基的变形规律,以新疆三岔口至莎车高速公路为例,通过对路基变形监测原理的研究,确定了监测点布置、监测方法及监测精度,选取了监测仪器、设备,限定了监测报警值,并选取典型监测断面对监测结果进行了分析,可为喀什地区类似公路项目提供参照,为在新疆及其他盐渍土地区应用打下基础。 相似文献
4.
1