基于UPPAAL的二乘二取二逻辑建模与仿真

二乘二取二冗余结构以其高安全性和高可靠性特点,被广泛应用于核电、航空航天和铁路等安全关键领域。为验证二乘二取二冗余结构的核心逻辑,保证其高安全性和高可靠性的要求,对二乘二取二逻辑进行建模与验证。基于时间自动机理论,以列控车载ATP子系统二乘二取二冗余逻辑为研究对象,在分析工作原理的基础上,利用UPPAAL工具建立二乘二取二冗余逻辑的时间自动机模型,分别验证二乘、二取冗余逻辑的基本安全属性。根据验证后的软件逻辑模型,实现冗余逻辑仿真。模型构建与程序仿真的结果表明:车载ATP二乘二取二冗余逻辑结构具有高安全性与高可靠性。     

CBTC车载子系统二乘二取二软件平台关键算法设计

提出了CBTC车载子系统二乘二取二软件平台中双机任务同步,二取二双CPU数据比较以及双系之间的状态调整等关键算法的一种可行方案.通过实验室测试证明了设计方案的正确性、可行性和有效性.     

网格重划分技术在锥形橡胶堆大变形计算中的应用

运用网格重划分技术对锥形橡胶堆进行了大变形计算.计算结果显示,使用网格重划分技术得到的结果比未使用网格重划分技术得到的结果更接近试验结果.     

水泥混凝土路面填缝料的选用原则

提出了填缝料必须具有密封水和硬物的能力,同时通过实测接缝水平变形量,验证了填缝材料在使用过程中必须具有2 mm以上的弹性恢复能力。     

EXCEL在矿料级配组成中的应用

以高速公路采用的AC－16I型沥青混凝土为例，介绍了如何建立EXCEL表格和如何应用EXCEL进行矿料级配的设计计算，并指出了用EXCEL进行矿料配合比计算的特点。     

监理对沈山高速公路抗滑层目标配合比的审核

沈山高速公路路面建设过程中,监理及前线指挥部对目标配合比审核方法的科学性进行讨论,力求建立一套合理的、有理论依据的审核办法.     

浅谈高速公路软基工程的真空堆载联合预压加固法

介绍了真空堆载联合预压加固高速公路软基的特点，以某高速公路软基加固为工程背景，根据现场观测资料，进一步分析了软基处理的加固效果，并得到一些有益的结论。     

改性沥青抗滑表层的应用研究

结合我国南方多雨潮湿地区改性沥青抗滑表层的应用情况,并依托工程实际,提出了符合我国现行规范中AC-13型矿料级配要求范围且适用于改性沥青抗滑表层的矿料级配设计范围,同时针对改性沥青抗滑表层抗水损害能力和表面构造深度的要求,提出了矿料级配设计的基本思路和与之相适应的施工工艺.     

真空联合堆载预压法在某高速公路中应用

介绍了真空联合堆载预压法的原理、施工工艺以及在某高速公路路基加固处理中的成功应用。     

真空（堆载）预压法在软弱地基处理中的应用

真空（堆载）预压法应用于高速公路建设软基处理是近年来出现的一种新方法，本文就该方法的应用及和其它方法进行对比分析，认为真空（堆载）预压法计算理论可靠，施工工艺趋于成熟，施工方法较为简单，施工效果十分明显，可作为高速公路建设中处理软基的一种手段进一步推广。真空（堆载）预压法和堆载预压法的固结原理虽然相似，但一些方面存在着很大的差异，设计和施工应用中应加以注意。