基于MSC与UPPAAL的列控系统等级转换场景形式化验证

等级转换是C3级列控系统的重要场景,是列控系统兼容性的集中体现,转换的成功与否直接关系到列车的运行安全和行车效率。因此,有必要对设计规范中所描述的转换过程进行形式化建模和验证,以保障系统的安全性和实时性。为保证设计规范与所建模型的一致性,采取消息顺序图(MSC)与时间自动机相结合的方式,建立等级转换场景中C2级向C3级转换过程的MSC模型,并将其转换为时间自动机模型。应用UPPAAL对模型的安全性和受限活性进行仿真验证,结果表明设计规范中所描述的转换过程是安全可靠的,可以满足C3级列控系统的兼容性和安全性要求。     

新疆某高速公路盐渍土溶陷特性试验研究

为减少盐渍土对盐渍土地区修建公路时的危害、利用盐渍土做为路基填料,以新疆某高速公路建设项目为例,通过室内试验掌握该项目中盐渍土的溶陷特性,为该项目顺利实施打下了坚实的基础。     

新疆三莎高速公路盐渍土路基变形监测

为了解盐渍土路基的变形规律,以新疆三岔口至莎车高速公路为例,通过对路基变形监测原理的研究,确定了监测点布置、监测方法及监测精度,选取了监测仪器、设备,限定了监测报警值,并选取典型监测断面对监测结果进行了分析,可为喀什地区类似公路项目提供参照,为在新疆及其他盐渍土地区应用打下基础。     

重庆菜园坝长江大桥脉动风荷载模拟

数值模拟方法的风速时程曲线在桥梁结构风振分析中被广泛采用。基于自然风特性．通过考虑结构节点间的风速时程相关性，采用谐波合成法模拟了重庆菜园坝长江大桥脉动风速时程。对模拟结果统计分析表明：谐波合成法可有效地模拟具有空间相关性、时间相关性的节点脉动风速时程，模拟精度、速度和计算稳定性均满足实际工程应用要求。