基于NuSMV的系统安全性分析平台开发和应用

传统的安全性分析方法,受到分析人员自身技能和经验等因素的影响,容易疏漏系统的失效状态或误判失效的影响。模型检验使用严格的数学方法推理,能够验证产品的规范或设计是否符合要求。将模型检验引入飞机系统安全性分析中,基于模型检验工具NuSMV建立安全分析平台,并以＋5V电源监控系统为例,对其安全性进行了分析。     

火箭发动机测试系统热电偶通路抗干扰技术

热电偶温度采集通道是火箭发动机测试系统中重要的一部分,研究其抗扰技术有助于提高整个系统的电磁兼容性能。介绍了热电偶温度采集通路的系统结构,分析了通路中容易受干扰的部位。并针对热电偶通路中比较容易受到的EFT干扰提出了混合接地策略、加入EMI滤波器和线性光耦隔离模块等三种有效的抑制措施。最后,对热电偶通路中一些通用的抗干扰措施及需要注意的事项进行了论述。通过应用这些抗干扰措施,提高了整个系统抗扰度的作用。     

激光焊接螺栓组件焊缝开裂失效分析

GH6159合金/GH4169合金激光焊接螺栓组件,在试验后发现螺栓顶端焊缝处存在裂纹。为分析螺栓组件裂纹产生原因,对裂纹螺栓进行断口和金相分析,确定裂纹的性质为过载断裂,裂纹从焊合区和未焊合区的界线起始,沿焊接深度方向扩展。为分析裂纹产生规律,采用金相法测量焊接深度,发现裂纹处焊接深度大多比非裂纹处焊接深度小,且焊接深度不满足设计要求。对螺栓组件使用情况和强度进行分析确定,弹簧片优先受力,使得焊接结构承受较大载荷,焊接薄弱处因焊接有效承载面积小而过载破坏,是开裂的主要原因。提出了结构和焊接优化措施,在试车过程中螺栓组件开裂问题未复现,说明采取的优化措施有效。     

波音737NG飞机无线电高度表系统典型故障分析

无线电高度表系统测量飞机到地面的真实高度。本文介绍了B737NG飞机无线电高度表系统的工作情况,对因无线电高度表系统故障引起飞机其他系统工作异常的一般现象进行了分析,介绍了排除故障过程,最后主要分析了无线电高度表系统引起的起落架警告的典型故障,并给出了维护建议。     

基于UML用例图与顺序图模型的操作剖面构造

探讨了由面向对象用例模型构造操作剖面的可行性,结合一个实例,详细介绍基于统一建模语言UML(Unified Modeling Language)的用例图和顺序图构造操作剖面的具体方法,并对基于UML用例图和顺序图构造操作剖面方法的有效性进行了分析.结果表明,将操作剖面构造与软件系统建模相结合,可大大简化构造过程,降低开发费用.     

面向对象程序可视化类图的逆向自动生成

研究了逆向构造程序类模型的基本规则, 并且提出了一种可以自动绘制的、基于继承关系的层次型类图结构(inheritance-layered class diagram).在这种层次型类图上,可以清晰地展示程序中的对象类及其相互之间的继承关系、组成关系和关联关系等,并可以直观方便地对程序中定义的对象类进行各种相关性或依赖性分析.文中还介绍了一个根据上述规则和方案实现的实用工具SafePro/Re-OM.     

叶片外物损伤的实验模拟及其疲劳强度的研究

研究了空气炮法模拟外物损伤叶片的可行性,分析了外物损伤对模拟叶片疲劳强度的影响规律。用空气炮发射以300m/s左右速度发射直径1~4mm的钢珠,冲击模拟叶片,空气炮法在发射速度控制和撞击缺口深度方面具有较强的可控性及可重复性。采用光学和扫描电子显微镜对外物损伤的宏观和微观特征进行了观察,冲击损伤处具有材料丢失、塑性变形、剪切撕裂、应力集中、微裂纹、空穴结构和材料的折叠等特征。采用步进法对部分外物损伤模拟叶片进行了高周疲劳强度测试,试验结果比较分散,且冲击损伤引起的高周疲劳强度下降不随缺口深度的增加而单调变化,表明物损伤模拟叶片的疲劳强度是受缺口的宏观特征、微观特征等综合因素的影响。     

TC4钛合金试样渐进破坏试验与数值研究

以商业有限元分析软件ABAQUS为平台,基于GTN金属断裂模型对TC4钛合金光滑圆形试样和两种不同缺口形状试样在单向拉伸试验中的渐进破坏过程进行数值研究,同时对比分析了几何非线性的影响在数值计算中的差异。结果表明,该模型预测TC4钛合金试样单向拉伸试验的载荷-位移曲线及宏观断裂形貌与真实试验结果基本一致。     

某型飞机刹车压力信号异常故障分析

针对某型飞机刹车系统故障进行分析,查明前后主轮刹车信号不一致的原因,结合飞机日常维护特点,对液压系统的维护提出了合理建议。     

带边条翼导弹滚转稳定性分析

为了分析带边条翼导弹模型的非线性自由滚转运动及滚转稳定特性,采用理论分析与动态测力试验、滚转自由度释放测量试验相结合的方式,对低速来流条件下模型0°~60°迎角范围内的滚转运动、滚转稳定特性随迎角变化的规律进行了研究。在10°迎角时,模型在4个"+"形位置是滚转静稳定的并且在"+"形位置上滚转运动保持平衡;迎角大于20°的范围内滚转静稳定的平衡位置变到4个"×"形位置上;并且迎角为20°时模型在"×"形位置滚转保持平衡,迎角大于30°后模型产生滚转极限环自激振荡运动,迎角达到60°时模型的滚转运动发散演变为高速旋转的形式。研究结果表明:模型滚转运动的形式决定于滚转力矩的静、动稳定特性。