基于四模冗余结构的表决器安全性指标分析

本文在分析四模冗余结构安全性指标的基础上,提出基于四模冗余结构简化三取二、四取二、五取三表决器的方法.在给定的开关失效率的条件下,通过计算这几种表决器每小时危险失效的平均频率(PFH)值,该方法在使三取二表决器开关数量减少2个的同时,将其PFH值降低为原来的2/3,在使四取二表决器开关数量减少4个的同时,将PFH值降低为原来的5/11,在使五取三表决器开关数量减少15个的同时,将PFH值降低为原来的5/11.结果证明,该方法能够在简化表决器的同时提高表决器的安全性指标.     

改进FlexRay总线的设计与实现

为保证FlexRay总线能更好地应用于列控系统的安全通信中,借鉴ARINC659的物理层对FlexRay总线进行了改进.针对改进的FlexRay总线,在FPGA上进行IP核的设计.并根据需求设计FPGA开发板,搭建硬件平台.通过对改进FlexRay总线仿真和硬件的符合性测试,验证了改进总线与设计的一致性.     

形式化方法在列车运行控制系统中的应用

为了确保列车运行控制系统设计和开发的正确性,比较了仿真、测试和形式化3种能够验证系统设计正确性的方式。根据列车运行控制系统对安全的苛求性,提出了4个与系统安全相关的重要特性,即实时性、混成性、分布(并发)性、反应性,并分析了与这些特性相关的具体形式化方法。通过对每种形式化方法的数学基础和应用范围的分析和归类,给出了各种方法的优势和不足。分析结果表明:任何形式化方法的应用都具有一定的局限性,这是由模型检验和定理证明的本质所决定的;指出了新方法提出、既有方法拓展以及多方法集成将是列车运行控制系统的形式化领域的方向。     

列车运行控制系统设计正确性的验证方法

为验证系统开发阶段列车运行控制系统设计的正确性,提出了基于RAISE软件的系统建模、描述及验证方法.以CTCS-3级两列列车追踪运行为例,采用面向系统特性的域,建立了系统域模型,并在对域模型扩充和完善的基础上,用RSL语言描述了两列列车追踪运行情况.根据RSL语言描述的公理及RAISE自身的推理规则,验证了当两列列车追踪运行时, CTCS-3级列车运行控制系统设计的正确性.     

重型商用车驾驶室悬置结构对平顺性影响的试验研究

以某重型商用车驾驶室悬置系统为例,通过实车道路试验,研究了四弹簧,四气囊悬置减振系统的振动特性在A级路面和B级路面对车辆行驶平顺性的影响规律。试验结果表明,四气囊驾驶室悬置系统的平顺性整体优于四弹簧驾驶室悬置结构。     

基于轮胎非线性的制动力补偿策略分析

以刚体动力学为基础,考虑轮胎非线性对行驶稳定性的影响,分析了轮胎力对车辆横摆运动的影响,并针对客车紧急避障工况进行Carsim-Simulink联合仿真,同时以横摆角速度、侧倾角为评价指标对不同的制动力补偿策略进行比较分析,最后提出了最优的制动力补偿策略.     

多波束测深数据处理中的CUBE算法探讨

阐述了一种多波束测深数据处理算法——CUBE(Combined Uncertainty and Bathymetry Estimator)算法,用该算法可以对观测区域网格节点"真实"水深及相关误差进行估计。用CUBE算法处理多波束数据近两年已被国际上大多数多波束处理软件所采用,该算法的成熟应用将数据处理人员从繁重的多波束内业中解放出来,为多波束更加广泛的应用提供良好的基础。     

基于SPN的越区切换模型分析

CTCS-3列车运行控制系统是中国列车控制系统(CTCS)的重要组成部分之一,它采用GSM R实现地面一列车间连续、双向的安全信息的无线传输.对于GSM-R而言,移动台的越区切换必然引起通信连接的暂时中断.由于安全数据传输直接影响行车安全,为保证其传输的可靠性,必然要求更短的切换时间和更高的切换成功率.本文研究安全数据通信在越区切换时的传输可靠性,并对越区切换过程进行随机Petri网的建模和分析.给出列车速度与越区切换成功率的关系,以及列车在350km/h的速度下,越区切换时间与越区切换成功率之间的关系.最后,本文将分析结果与CTCS-3需求标准进行了比较,说明其可以满足要求.     

改进型铁路信号安全计算机平台结构

传统的铁路信号系统安全计算机设计思路采用叠加式原则实现整个系统,造成系统结构复杂、设备众多等缺点,并制约了系统可靠性的提升。为了对铁路信号系统安全计算机进行优化,提出一种以2乘2取2结构为基础的改进型安全计算机平台结构,并根据IEC 61508的相关安全标准和定义对这种结构进行分析,建立平台的可靠性框图,采用PDS方法计算和分析其安全性指标参数。验证结果表明,该结构在合适的参数条件下能够满足安全完整性等级SIL-4。     

用爱建企重践行 幸福公交满真情——石家庄公交集团完善制度关爱职工 提升服务促企业发展

如果说公交车是一座城市流动的“名片”,那么公交车长则是一座城市的“文明使者”,无论寒冬酷暑、刮风下雨,他们始终不忘初心,用无私和敬业履行着城市“摆渡人”的职责,用真诚和服务温暖着广大乘客及整座城市,用行动和使命诠释一个窗口服务角色——公交人。公交的产品就是为市民提供优质的出行服务,服务是一个全方位系统性的整体工作,需要一套先进的、综合的、可操作性强的管理方式和理念。