基于融合系统方法的飞机复杂系统安全性分析

面对日益复杂的飞机系统,传统的安全性分析方法对复杂系统间的不安全交互行为和危险源的识别能力不足。为有效评价持续适航阶段的飞机系统安全性,提出了一种融合系统理论过程分析(STPA)和动态故障树(DFT)的改进的STPA安全性分析方法和评价模型。模型采用STPA识别出不安全控制行为和致因因素,并将其与动态故障树分析方法相融合,以事故致因理论优化致因分析方法,计算得出不安全控制行为发生概率并确定系统潜在危险的关键致因因素。以飞机起落架系统为例进行分析验证,结果表明,改进后的STPA分析方法可以准确的对系统危险进行识别和分析,为持续适航阶段的安全性分析提供支持。     

形式化方法在密码协议中的应用

形式化方法的主要特点是能够发现一个系统中的歧义性、不一致性,本文利用形式化方法的这一特性,将其应用到密码协议当中,可以很好改进密码协议的安全性。     

飞机整机级系统安全性指标分析

针对整机级系统安全性评估中安全性指标的选择与确定问题，分析对比了国内常用安全性参数之间的区别,指出了其在系统安全性评估应用中的缺点;根据系统安全性的特点,提出了飞机整机级系统安全性指标的要求和维度;借鉴国外系统安全性评估的成功经验,结合可靠性,提出了指标选择和量化的具体方法,并举例说明安全性指标的应用时机和使用方法。研究表明,将安全性与可靠性相结合,选择影响飞机安全性的可靠性指标进行机整机级系统安全性评估,可以解决传统安全性参数量化困难、不适用等问题,是一种可行并且合理的方法。     

形式化方法在密码协议中的应用

形式化方法的主要特点是能够发现一个系统中的歧义性、不一致性,本文利用形式化方法的这一特性,将其应用到密码协议当中,可以很好改进密码协议的安全性。     

并发系统性质描述的一种形式化方法

给出并系统性质的一种形式化描述方法－时态逻辑方法，其时间模型是离散和和线性的。     

形式化方法在核事故评价系统中的应用

核事故评价系统针对核事故发生后第一时间对其进行评价和预测分析,软件可靠性要求高.形式化方法具有严格数学基础,是软件开发最为重要的理论工具.本文首先用UML对系统进行分析建模,采用形式化语言对系统功能进行严格规约描述,提高系统开发的可靠性.     

802.11i认证协议可验安全性形式化分析

IEEE 802.11标准组提出了802.11i标准以增强无线局域网的安全性能。在802.11i标准中采用了802.1X标准实现无线局域网用户的认证和接入控制过程。针对802.1X认证协议的三方交互结构提出一种扩展Bellare-Rogaway模型,对802.11i认证和密钥交换机制进行可验安全性分析。通过分析,证明802.11i认证协议存在缺陷并给出了相应的中间人攻击方法。     

起落架系统轮载信号分析

本文首先介绍了进行起落架系统轮载信号分析的背景和意义,然后从起落架系统轮载传感器的工作原理及安装位置、安全性考虑和常用轮载信号的整合逻辑等方面进行了分析。最后得出结论:在进行起落架系统和其他飞机系统设计时,针对轮载信号可以参考本文的设计原则,从轮载传感器的类型和安全性等诸多方面进行考虑。     

CSTA系统测试中的形式化分析

针对我国目前电信软件生产中存在的某些弊端，运用协议测试理论对CSTA系统测试进竹了形式化分析．澄清了系统测试实际工作中的一些误区，从而提高了发现问题的工作效率、准确度和软件测试质量的保障系数。     

极值理论在飞机操纵系统安全性评估中的应用

飞机操纵系统是影响飞行安全的关键系统。针对飞机电传操纵系统安全性评估问题,提出了一种基于极值理论的操纵系统故障后的飞行风险小概率事件评估方法。总结了用极值理论评估飞行风险小概率事件的步骤,对比了不同坐标变化下的拟合优度,验证了双负指数法是逼近Ⅰ型极值分布的最佳方法。以某型飞机滚转角速度传感器故障后的飞行安全评估为例,得到了此时驾驶员不能排除该故障的风险概率和综合飞行风险。通过与军标中规定的安全性标准相对比,表明此时飞机能够满足安全性要求,从而为评估飞机操纵系统安全性提供了一种有效方法。     

地铁变阻制动系统FTA分析

运用系统可靠性工程设计理论，对城市地下铁路变阻制动系统进行可靠性分析，寻找导致故障的模式，判断潜在的故障，以利于改进设计方法和制订维修方案。     

刹车条件对航空刹车副钢对偶组织的影响

欧美飞机常使用的粉末冶金航空刹车副选用粉末冶金刹车材料和钢对偶材料配对作为摩擦偶以达到制动目的,而钢对偶材料的组织在使用过程中的变化反映了航空刹车副所经历的刹车过程累计状况,并影响刹车副的正常制动性能.作者研究了正常着陆刹车、中止起飞、极限磨损状态中止起飞这3种刹车条件下,粉末冶金航空刹车副钢对偶材料30CrSiMoVA的组织变化情况,并初步比较了不同组织状况下刹车副的摩擦磨损性能.研究结果表明在3种条件下,表面均形成了塑性变形区;在正常着陆条件下,内部组织由回火索氏体转变为板条状马氏体;而在中止起飞和极限磨损状态中止起飞条件下,钢对偶材料组织则发生更为显著的变化,体现在恢复性试验中,刹车压力需求明显增大.     

轮毂电机嵌入式电磁驻车制动设计与仿真

根据电磁理论和电磁制动器的工作原理,设计了一种能耗低、嵌入式轮毂电机内部的电磁断电制动新型结构,并且提出了分析计算方法。对电磁制动器进行了磁路分析,建立了数学模型。通过Ansoft软件建立了三维有限元模型,对电磁制动器的电磁性能和工作特性进行分析,并对电磁制动器工作过程进行动态仿真研究。分析了电磁制动器内部复杂的磁场强度分布和电密分布等,得到了激励绕组电流、电磁力与工作气隙以及衔铁位移等变化曲线。电磁吸力的实验结果与仿真计算结果一致,表明电磁有限元方法分析电磁制动器的电磁性能是准确可靠的,能满足电动代步车驻车制动系统的灵敏性、可靠性和特殊要求。     

驻车制动操纵手柄疲劳分析

驻车制动操纵手柄是汽车上的关键部件,其可靠性对安全运行至关重要,疲劳是可靠性分析的重要组成部分。通过三维设计软件CATIA建立驻车制动操纵手柄模型,并利用有限元分析法对其进行疲劳分析,获得其变形图和寿命分布图,对现实试验有很强的理论指导意义,有一定的工程推广价值。     

基于模糊GO法的闭环民航运输机防滞刹车系统可靠性分析

对于结构复杂的闭环系统,使用传统FTA方法分析其可靠性较为繁琐。模糊GO法是一种基于GO法并得到改进的系统可靠性计算方法,相比较于FTA方法,模糊GO法更具有逻辑观念,能更精确的表示闭环系统可靠性的不确定性。以模糊GO法为分析基础,结合状态枚举法(以下简称枚举法),对某型闭环民航运输机防滞刹车系统进行可靠性计算,计算结果与FTA计算结果相比较,表明模糊GO法更适用于闭环系统的可靠性分析,为闭环系统可靠性分析提供一种新的思路。     

直线电机地铁车辆制动系统研究

文章分析了直线电机地铁车辆制动系统的特点．特别研究了再生制动、高转差率制动和能耗制动等电气制动形式在直线电机地铁车辆中的应用．还对比分析了两种直线电机地铁的制动系统，并提出直线电机地铁制动系统设计的建议．     

浮动蹄式制动器制动跑偏力学分析

运用有限元分析软件建立浮动蹄式制动器和传统蹄式制动器的有限元模型,选择摩擦片与制动鼓的8个偏心位置进行有限元分析,得到偏心量-制动力矩曲线关系图;为验证理论分析的正确性,利用Adams动力学软件进行2种制动器的动力学分析,并进行了车辆台架试验,其结果与有限元分析结果一致。分析结果表明:偏心误差改变时,浮动蹄式制动器仍能够保证总的制动力矩基本不变,降低了制动器对汽车跑偏的影响,而传统蹄式制动器总的制动力矩有很大的变化,易发生制动跑偏;浮动蹄式制动器对于减小车辆制动跑偏有明显的优越性。     

模糊动态贝叶斯可靠性分析方法及其在动车制动系统中的应用

针对动车制动系统的故障发生率具有模糊不确定性以及实际工作环境中故障的发生包含动态性特点,运用三角模糊数和扩展原理来表示底事件故障率,将动态离散时间贝叶斯网络模型与故障树模型相结合,分析获得动态贝叶斯网络叶节点的模糊故障率和各根节点的后验概率。解决了不确定条件下的动态系统可靠性分析问题,对兰新客专线路上运行的动车组的制动空气供给系统进行分析,获得了系统的可靠度预测曲线和薄弱环节,为该路线上运行动车的制动系统针对故障特点制定相应的检修和维护方案提供了理论依据。     

形式概念分析在基于事例推理中的应用

目的形式概念分析(Formal Concept Analysis,简称FCA)在基于事例推理(Case-basedReasoning,简称CBR)中的应用为完善领域知识的分类提供了一种有效的方法;FCA提供了一种事例的组织方式,使对事例库的直接访问变得容易。方法把原来的事例表示与组织方式转换成FCA所要求的形式。结果FCA可以提取嵌入在事例库中的隐含知识,这些以描述事例属性间的依赖规则形式的隐含知识可以用来帮助完成CBR的查询过程。结论FCA在CBR中的应用提高了事例检索的速度和结果的准确性。     

制动主缸与踏板行程专家系统知识库的建立

根据专家的经验知识和设计思路,分析了制动主缸和踏板行程计算中的各个影响因素.结合开发汽车制动专家系统的实践,采用C 编程语言,在Visual Studio.NET2005开发环境中,充分利用面向对象的知识表达方法和模块化程序设计方法,建立了制动主缸和踏板行程知识库.并利用已有的某车型参数对知识库的计算与分析功能进行了测试,结果显示汽车制动专家系统主缸与踏板行程知识库已达到预期设计目标.