安全关键软件可靠性验证测试方法研究

为了在不降低安全关键软件可靠性验证测试结果可信性的前提下减少测试用例量,在分析经典统计假设测试和无先验贝叶斯统计方法的基础上,提出了一种先验知识动态整合的贝叶斯推断统计测试方法;并提供了软件失效概率的概率密度函数先验分布参数的详细求解办法。实验表明,所提供的安全关键软件可靠性验证测试方法可以用较少的测试用例获得同样的结果可信性。     

AR模型在时间序列误差分析中的应用

为检测某火控系统的性能,采用统计量分析和AR模型预测相结合来对火控系统实时解算的数据进行分析的一种方法。根据分析结果可以看出,距离误差和航向误差是两种不同类型的误差,距离误差主要是由随机的量测误差构成的,而航向误差主要是系统误差。     

基于大气传输软件激光透过率对比研究

简要地归纳了目前比较通用的大气传输软件LOWTRAN7、MODTRAN和FASCODE的概况和异同,分析了大气透过率的计算和激光武器选用的波长,比较了激光传输衰减和能见度的关系,重点研究对比了用LOWTRAN7和FASCODE计算1．06μm和10．6μm激光的透过率,并得出了结论。     

叶片包容性计算的软件实现

基于英国和俄罗斯叶片包容性设计方法和理论,应用VB语言开发了叶片包容性计算软件。以某型发动机第1级涡轮叶片为例,用该软件计算了叶片包容性和满足包容性条件下的最小机匣厚度。根据实际要求,也可以用该软件确定满足包容性要求的各设计参数     

机场跑道运行仿真

分析了影响跑道运行的各种因素，通过建立气动、推力、道面等数学模型，结合运动学方法，采用面向对象的计算机语言实现了在最小空管间隔下跑道运行的仿真。并通过与实际数据的对比验证了该仿真模型的精确性，最后对起飞各项参数的变化及其影响因素进行了研究。     

基于过程的信息审计平台的体系结构研究

针对目前市场上安全监督产品绝大多数是事后审计模式,本文描述了一种基于过程的信息审计平台,并对其体系结构作了具体的分析和描述。最后介绍了应用这个信息审计平台实现的一个基于过程的信息审计系统。     

基于模糊Petri网的维修保障活动可视化建模与仿真研究

介绍了模糊Petri网矩阵推理算法,并对模糊Petri网中的元素进行了抽象定义,同时,为了仿真实现矩阵推理算法,定义了用于存储模型数据和中间计算结果的动态数组,并给出具体代码建模流程图。最后,作为验证实例,应用飞机前轮更换轮胎对该维修保障活动仿真软件进行验证。结果表明,该软件可对该维修保障活动进行建模,即直观清晰地体现出飞机某环节维修保障活动的进程,同时也可以根据相关参数进行分析,将能为在航空系统产品保障效能评估中找出可靠性、维修性、测试性和保障性设计存在的薄弱环节提供技术支持。     

RP-3航空煤油着火特性的实验

在化学激波管中利用反射激波着火,采用壁面压力与OH自发光作为着火指示信号,测量了着火温度范围为1100~1600K,压力为0.1,0.2,0.3MPa,当量比为0.5,1.0,1.5时RP-3航空煤油/氧气/氩气混合气的着火延迟时间,分析了着火温度、压力以及当量比对混合气着火延迟时间的影响,并拟合得到了不同压力与当量比下混合气着火延迟时间的Arrhenius关系式.结果表明:在不同压力与当量比下,混合气的着火延迟时间的对数与着火温度的倒数呈线性关系,同时,随着着火温度与压力的升高以及混合气当量比的降低,着火延迟时间逐渐缩短.      

涡轮盘双轴对称异形孔结构建模与优化

针对发动机轮盘孔结构的应力集中问题,以某高压涡轮盘安装边螺栓孔为研究对象,建立了涡轮盘非圆异形孔数学模型.该异形孔由双轴对称的8段圆弧光滑连接而成,并满足螺栓装配的要求.使用该异形孔模型取代了原螺栓孔.以有限元分析为基础对异形孔进行了优化,得到该轮盘安装边多圆弧异形螺栓孔的最佳形状.结果表明:优化后的多圆弧异形螺栓孔边第1主应力最大值降低了14.8%,孔边应力集中程度显著下降.设计参数灵敏度分析结果表明,与主圆弧相连的过渡圆弧的尺寸对孔边应力的影响较为显著,在设计中应予以重视.      

飞机结构健康监控中的信息处理技术

在今年本刊第三期刊登的《飞机结构健康监控中的信息获取技术》中,详细介绍了结构健康系统中信息获取的各种手段和途径,本文主要介绍通过上述途径获得信息之后的处理技术,这些信息处理技术可以剔除与结构健康状态无关的干扰信号,并对能反映结构的损伤状态的信号进行压缩、提炼、转化,使之成为有用的信号以确定结构的健康状态,并对结构健康监控系统做出了展望。