智能交通安全控制系统的模型验证

随着智能交通系统的发展，交通安全控制系统的开发变得越来越复杂，系统中存在的“设计型故障”很难被检测和排除，“设计型故障”成为影响系统安全性的主要问题。笔者利用形式化方法对交通安全控制系统进行严格的模型验证，提出了系统模型验证的安全性约束和安全性路径的概念，给出了模型验证的推演方法，为解决智能交通安全控制系统的“设计型故障”问题提供了一种有效的手段。     

双机热备计算机联锁系统可靠性与安全性指标分析

分析了单机和双机热备计算机联锁系统的工作模式，建立了相应的故障安全模型并分析了故障检测覆盖率对双机热备计算机联锁系统的可靠性与安全性的影响。指出了减小故障检测时间，提高故障检测率是提高双机热备系统可靠性与安全性的重要技术措施；当故障检测覆盖率很高时，双机热备系统与单机系统的不安全度在同一数量级上。     

基于集对分析的平面交叉口安全性评价

针对传统交叉口安全性评价方法中存在的主观不确定性,利用集对分析理论对指标权重矩阵集对处理,减少或消除其主观影响,并根据已有交叉口安全性评价指标研究成果,建立平面交叉口安全性评价的集对分析模型,利用同一度和差异度大小确定交叉口安全归属,形成了交叉口安全性评价的新方法.并通过实例分析验证了该模型的可行性.研究表明,集对分析模型应用于交叉口安全性评价有一定的可行性和实用性.     

基于脆性联系熵的铁路工程桥隧接口故障分析

为明确铁路工程桥隧接口系统内部的故障情况,提出一种基于脆性联系熵的铁路工程桥隧接口故障分析方法。依据接口间的相互影响程度,利用脆性联系熵,完成接口系统内部脆性联系的量化;通过构建接口脆性基元分析多接口的动态故障情况,接口的熵增决定接口系统的故障演化方向,这一过程体现了接口在动态故障中的博弈行为;将受故障影响的接口映射为博弈中的参与者,建立铁路工程桥隧接口非合作博弈故障分析模型;以实际工程为应用案例,仿真结果表明：铁路工程桥隧接口系统内部存在连锁性的故障传播情况,在以每6单位时间为周期进行周期性维修时,只需要完成铁路工区内64%的工程接口检修,便可保证铁路工程桥隧段的正常运营状态;通过接口故障分析研究,明确了接口故障发展的过程,为提高铁路工程桥隧接口的安全性和可靠性提供理论支撑。     

基于sap2000的钢管桩基础承载力分析

利用大型有限元分析软件对建筑施工中临时钢管桩建立有限元分析模型,对设计工况下的钢管桩进行结构强度和刚度分析,得到钢管桩的应力值,之后按m法复核钢管桩基础的强度,为钢管桩基础的承载力和结构安全性评价提供理论依据,并为钢管桩结构设计方法提供参考.     

基于多尺度主元分析法的动态交通数据故障诊断与修复

针对动态交通数据的故障问题,提出了一种改进的多尺度主元分析(MSPCA)方法及数据修复模型。利用小波包多尺度分解将每个变量一次分解成逼近系数和多个尺度的细节系数,并在各个尺度矩阵建立相应的主元分析模型。以模型统计量控制限为阈值,对小波系数重构得到综合主元分析模型,并将故障数据分离出来。利用数据修复模型以及根据时间相关性和空间相关性计算出各组数据的相关系数,并估算出故障数据的真实值。最后给出了各种仿真结果。     

局域网在微机联锁系统结构中的应用研究

应用局域网技术、来取代微机联锁控制系统中所广泛采用的“多微机系统”结构，使系统个有更高的可靠性，实时性、安全性、易维护性。本文从多的系统结构。原理及铁路信号的“故障－－安全”设计原则出发，阐述了方案的规划、设计。     

电控机械自动变速器的故障自诊断和容错控制

根据电控机械式自动变速器系统的特点，提出了系统故障自诊断和容错控制的设计原则，分析了系统中已发生和潜在的主要故障现象及原因，给出了系统的故障模型及故障诊断方法，并对一些关键故障进行了容错控制设计。汽车道路试验证明该方法是行之有效的且非常实用。     

微机化叠加点式信息系统安全性可靠性研究

在分析安全性与可靠性关系的基础上，讨论了微机化叠加点式信息系统的可靠性设计与电磁兼容性设计，并提出了提高系统的可靠性和安全性的措施。     

上海地铁故障报修系统业务调度和数据共享接口平台的设计与实现

故障报修业务是地铁主要日常维护操作之一。根据上海地铁运营、维护保障中心各分公司的故障报修系统，结合故障信息的主要特点，分析了故障在各报修系统的共同点及操作，设计了故障报修系统的统一系统接口，实现了故障报修业务在各分公司系统中的业务关联和数据共享。简化了各分公司间的故障报修流程，为故障分析和企业管理提供了有力的数据支持。     

提速线路轨道结构竖向振动分析

利用有限元法，建立了车辆-轨道耦合系统竖向振动分析模型。利用该模型对列车经过错牙和路桥过渡段时轨道结构的动力响应进行了分析，计算结果为既有线提速和新线建设提供设计依据。     

宽体板拱桥空间受力分析

当板拱桥的宽度与跨度接近，甚至其宽度大于跨度，这类板拱桥称为宽体板拱桥．这类桥梁现有的杆系结构设计理论存在问题．按《公路桥涵设计通用规范（JTGD60-2004）》，以实腹式宽体板拱桥为例，利用MIDAS／Civil建立空间有限元分析模型，进行影响面计算，分析了应力最不利位置以及其值的加载计算，将计算结果与平面杆系有限元简化分析模型的计算结果进行比较．指出二者分析结果的相同的和不同的方面，为该类桥梁的设计、病害分析提供理论基础．     

连续梁桥悬臂施工整体稳定性可靠度分析

建立了预应力混凝土连续梁桥悬臂施工期间整体稳定性可靠度分析模型，该模型突破了传统将支座视为理想铰支的简化方法，倾覆失效时考虑了偏心受压，使设计更为合理，并就此模型对各设计变量及参数作了较全面的分析，以研究它们对桥梁整体稳定性的影响程度。     

基于MIMO模型的潜艇声学故障预报研究

利用多输入多输出(MIMO)量化分析模型对潜艇潜在故障源进行分析,并通过频段因果性检测解决M IM O模型各输入源的优先权问题,从而方便地得到了各源相对于叠加场的贡献百分比动态曲线,以用于潜艇声学故障的预报.给出了潜艇声学故障预报的一般流程,并阐述其应用步骤.用一个水池实验验证了文中所提出的方法的可行性.     

基于Internet的公路建设项目质量管理系统的设计与实现

在分析了国内外质量管理系统现状基础上，提出了基于Web的质量管理系统的体系结构，阐述了系统的设计目标、结构设计和系统功能设计，介绍了系统的安全性设计。     

川藏公路田妥—怒江段某滑坡稳定性分析与整治

结合国道318线川藏公路田妥一怒江段K3668+700～K3668+790滑坡的基本状况,对滑坡的成因进行了分析。对K3668+715断面建立了有限元分析模型,利用有限元强度折减法,计算分析了该段滑坡在重力场和地震作用下的稳定性,计算分析求得该滑坡整治前在重力场和地震作用下的稳定安全系数分别为0.99和0.93,滑坡处于不稳定的滑动状态,应及时对该段滑坡进行整治。提出了合理的整治方案并进行了安全性评价,结果表明整治后滑坡的安全系数大于设计安全系。     

探讨桥梁设计中的安全性影响因素

首先阐述了桥梁安全性设计概念,然后分析了桥梁设计中的安全性影响因素,最后从桥梁上部结构、下部结构、桥梁路堤和路面结构层等方面重点分析了桥梁结构安全性设计。     

基于TAIO变异的CTCS-3列控系统测试案例生成方法

为了研究高覆盖已知故障集的中国列车运行控制系统三级（CTCS-3）测试案例生成方法，提出了一种基于输入输出时间自动机（TAIO）变异分析的测试案例生成方法. 结合列控系统模式转换的故障特点，设计了包含模式转换已知故障的8种变异算子（改变行为、改变目标位置、改变源位置等），形成了15 106个变异体；利用输入输出一致性关系（tioco）和k-Bounded模型检验方法生成了10 843个测试案例；应用一致性关系分数（CRS）、平均一致性关系分数（ACRS）和加权一致性关系分数（WCRS）进行了故障覆盖度的分析. 研究结果表明:该方法设计和生成的测试案例能够有效覆盖改变行为、改变不变量和增加sink位置3种故障模式，而对于约束取反和复位取反的故障模式覆盖度不高，需通过额外的观测信息来检测故障.      

计算机联锁控制系统安全性保障体系的一种模型

根据铁道部１９９４年颁布的《微机联锁系统暂行技术条件》，在阐述可靠性，安全性，故障－安全等概念及其之间的基础上，提出了一种计算机联锁控制系统安全性保障体系的模型。从这一模型可以清楚地了解到计算机联锁控制系统安全性保障体系的内涵。该模型的提出对计算机联锁控制系统安全性保障的实现奠定了理论基础。     

QTMR系统双微机核的故障检测机构

本文主要描述准三横冗余系统双微机核的硬件故障检测机构及其一些设计细节，并对设置在总线上的双比较器的错误检测性能作了分析。分析表明，双微机核对于单故障和一类有序双故障具有非常类似于FSE（故障保险）的特征。