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

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

Two degree of freedom flow-induced vibration of cylindrical structures in marine environments: frequency ratio effects

The flow-induced vibration of a cylindrical structure is a very common problem in marine environments such as undersea pipelines, offshore risers, and cables. In this study, the vortex-induced vibration (VIV) of an elastically mounted cylinder at a low Reynolds number is simulated by a transient coupled fluid–structure interaction numerical model. Considering VIV with low damping ratio, the response, hydrodynamic forces, and vortex shedding modes of the cylinder is systematically analyzed and summed up the universal rule under different frequency ratios. On the basis of the analysis, we find that the frequency ratio α is a very important parameter. It decides the locked-in, beat, and phase-switch phenomena of the cylinder, meanwhile, it also influence the vortex mode of the cylinder. The trajectory of the two degrees of freedom (2 DOF) case at different natural frequency ratios is discussed, with most trajectories having a “figure of 8” shape and a few having a “crescent” shape. A fast Fourier transformation technique is used to obtain the frequency characteristics of the vibration of the cylindrical structure. Using the 2 DOF cylinder model in place of the 1 DOF model presents several advantages in simulating the nonlinear characteristics of cylindrical structures, including the capacity to model the crosswise vibration generated by in-line vibration.     

转向架空气管路管接头失效原因分析及预防措施

文章根据卡套式管接头的作用原理和使用要求,对转向架空气管路管接头失效的原因进行分析,并就实际经验从安装工艺、检查控制、设计结构、设备工具维护等方面提出预防措施和改进建议。     

城市轨道交通车辆产品标准体系探索

分析了国内外城市轨道交通车辆产品标准体系的现状,重点介绍了城市轨道交通车辆产品标准体系的总体要求、结构搭建、产品标准的制修订,以及标准的实施和改进措施。     

新疆钢渣成渣工艺及集料化分析研究

本文通过对新疆不同成渣工艺及钢渣矿物化学组成、稳定性、物理指标进行分析,阐述了新疆钢渣技术现状,推动钢渣在公路工程中的资源化利用。新疆钢渣主要集中于北疆的乌昌地区,在热泼法和热闷法两种成渣工艺下,钢渣化学矿物成分相对稳定,属于高碱活性材料,并具有胶凝特性,同时具有一定工程级配。f-CaO含量热闷法小于热泼法,并且在自然环境下可陈化降解,有利于钢渣的稳定性。钢渣物理指标优于新疆常规碎、砾石材料,可集料化用于公路工程建设。此外,钢渣在工程应用中具有显著的经济和生态效益。     

复杂载荷下裂纹SIF计算的子模型技术

对船舶与海洋工程结构物进行疲劳评估,首先要通过子模型技术解决复杂应力场中裂纹应力强度因子(SIF)的计算问题。针对子模型技术实现过程繁杂且效率较低的问题,分别提出"逐周分层法","转换矩阵法"及"映射划分法"并基于VBA及APDL语言编写插件MPCarrangerV1.0,FEMcoortransferV1.0及CrackmapperV1.0,解决从Patran整体有限元模型到Ansys子模型时壳体单元间MPC创建低效、不同坐标系间节点位置转换困难及裂纹自由划分的局限性问题。基于DNV及ABS相关规范,以某B型LNG燃料舱的疲劳热点为例,对改进的子模型技术进行验证,结果表明经改进的子模型技术可成功施加合理边界条件并实现SIF的求解,可为子模型技术快速实现复杂载荷下裂纹SIF的准确计算提供参考。     

假设检验在汽车排放实验室质量监控中的应用研究

设备比对作为一种有效的质量监控方法,在汽车检测行业得到了广泛应用.众所周知,影响整车排放检测结果的因素较多,试验结果的偏差较大;但因排放检测设备价值昂贵,具备两套及以上排放检测设备的实验室较少,因此,在进行质量监控时,受检测设备数量的限制,难以选择设备比对的方式.本文以5家实验室比对的数据为例,选择其中的极端数据模拟进行两套设备间的设备比对,得出了假设检验用于设备比对的分析方法,并给出了试验数据的置信区间.与实验室间比对结果相比,使用该方法进行两套设备间的比对,比对结果可信.     

基于母线并联元件模型的船用中频系统潮流计算与实验验证

针对宽幅压变化的直流电机驱动通风机速度性能差的情况,在不需要速度闭环的前提下,为电机所带风阻性负载稳速准确度在10%以内,设计出了一种稳速装置。基本能满足此类电机负载的要求。文章介绍了稳速装置的工作原理和设计方法,通过实验验证可对直流通风电机进行有效控制。     

铑催化剂用水合三氯化铑的制备

水合三氯化铑是制备铑催化剂的关键原材料之一。随着化工及汽车行业的发展,对铑催化剂有了更多的需求,由此对水合三氯化铑的需求量越来越大。本文综述了当前铑催化剂的应用,以及其原材料水合三氯化铑制备技术的研究进展,并且展望了未来水合三氯化铑的制备技术。