基于Prover的联锁软件形式化验证过程研究

计算机联锁系统是铁路信号控制系统的核心设备,是有着苛刻安全要求的复杂控制系统。本文采用Prover形式化开发工具对联锁软件安全需求进行形式化验证。通过模型检验的形式化验证方法,遍历系统输入变量的所有状态空间.验证联锁特定应用满足系统安全需求,确保系统的安全性得以正确实现。在保证系统安全性的基础上,以全状态空间查找反例的检验方法进一步提升产品的质量。     

车道保持系统研究

为了减少由于驾驶人分心或疲劳造成的车道偏离事故,提出一种车道保持控制系统。根据道路线性将道路分为直线路段和曲线路段,利用跨道时间来判断车辆将偏离车道;驾驶员的操作状态根据转向灯信号及转矩信号来进行判断。综合车道偏离信息与驾驶员操作信息来判断车道保持系统是否工作;车道保持系统的控制策略采用单点预瞄最优曲率驾驶员模型。仿真结果表明,模型能够实现车道保持功能。     

基于正交试验的沥青路面倒装结构力学响应研究

依托西非某国实体工程,采用法国沥青路面设计软件Alizé,通过设计正交试验方案,重点研究了各层位厚度和模量对沥青路面倒装结构力学响应影响的变化规律,提出了基于力学响应的倒装类沥青路面结构和材料参数显著性程度。计算结果表明:沥青路面倒装结构中,GNT属薄弱层,须严格控制原材料、级配及施工工艺等;GLC层厚度和土基模量对路面结构受力影响显著,尤其是土基顶面压应变和弯沉指标;为加强路基路面整体结构强度,需重视土基影响区和GNT影响区;在进行法规沥青路面倒装结构验算时,应优先考虑各层位厚度,通过不断优化厚度因素,从而实现既满足法规要求又经济合理的目的。     

大跨径悬索桥超高性能轻型组合桥面施工控制研究

洞庭湖大桥为(1 480+453.6) m双塔双跨板桁结合型钢桁梁悬索桥,该桥首次在大跨径悬索桥中采用了钢-超高韧性混凝土(STC)轻型组合桥面。STC层参与钢桁梁整体受力,为控制STC施工次应力不超过设计要求的0.5 MPa,施工中需采取压重措施,经压重方案比选,浇筑过程中采取了部分压重方案,与全压重相比,大大简化了压重工序,节约压重荷载6 600 t。悬索桥为重量敏感性结构,且STC局部受力性能受厚度和钢筋保护层厚度影响很大,实桥钢桥面存在的较大局部变形,成为控制STC施工精度的难点。该文分析了钢桥面产生变形的因素,发现钢桁梁制造误差对平整度影响最大。针对该问题,施工中提出了曲线调坡法和直线调坡法,通过调整整平机轨道和整平板,使得STC厚度满足控制要求。两者的区别仅在于整平板的线形是曲线还是直线,曲线调坡法拥有更高的调整精确度,直线调坡法拥有更便捷的操作性,经比选后选用直线调坡法,应用中取得了良好的效果。     

定义到统一模型的船舶三维工艺信息集成

针对基于自主造船CAD系统实施三维工艺信息集成仍属空白的现状,以国产船舶产品设计系统SPD为基础,分析解决了船舶三维工艺信息集成过程中的信息集成策略、模型轻量化、三维标注生成等问题,将分散的船舶工艺信息集成定义到统一的数字化三维模型上,生成集成数据文件,并在自研三维作业指导平台上使用工程实例对集成效果进行了验证。结果表明,上述问题的解决措施有效,集成技术路线可行。     

水流作用下悬浮隧道耦合动力数值模拟分析

安装在深水区的悬浮隧道在水流作用下会产生交替脱落的漩涡,从而使得悬浮隧道受到周期性的力,进一步导致悬浮隧道产生涡激振动。当涡脱落频率与悬浮隧道固有频率相接近时会发生锁定现象,进而导致悬浮隧道发生振幅较大的运动,类似于结构的共振状态。文章利用有限元数值方法求解不可压缩粘性流体雷诺平均Navier-Stokes方程,并结合任意拉格朗日-欧拉(ALE)动网格方法,对不同雷诺数下(Re=1 000～100 000)悬浮隧道的涡激振动问题进行了数值模拟研究。计算中悬浮隧道受到弹簧和阻尼的约束,并允许其仅发生横流向的运动,研究了不同结构自振频率下悬浮隧道的受力和运动情况以及不同浮重比情况下悬浮隧道的受力和运动的结果。结果表明,在计算的各雷诺数下,悬浮隧道发生锁定的频率基本一致,但是悬浮隧道不同浮重比对锁定区间存在影响作用。