基于模型检验的飞机系统安全性分析方法研究

传统的安全性分析方法,受到分析人员自身技能和经验等因素的影响,容易疏漏系统的失效状态或误判失效的影响。模型检验利用遍历算法,既可以从数学上保证搜索出系统的所有状态,不会发生疏漏;又可以利用计算机检验工具,实现自动分析过程,减少对分析人员技能和经验的依赖。将模型检验引入飞机系统安全性领域,提出了一种基于模型检验的安全性分析方法,以SAE ARP 4761标准附录中的机轮刹车系统为例,利用模型检验工具NuSMV对其安全性进行了分析,自动识别出导致某系统顶事件发生的最小失效组合,完成了传统故障树分析的目的。     

低频超声检测探头的研制

介绍了低频超声检测探头的结构，设计方法，制作工艺。对研制的探头性能指标进行了测量，指出了改进其性能还待研究的问题。     

在有色高斯噪声中的离散时间检测与估计的性能分析

本文研究了在确定的观察时间内,在有色高斯噪声中检测与估计的性能与样本数之间的关系。指出相邻样本之间相关系数在0.1—0.2范围内,广义信噪比就能相当接近极限值S~2(T)。在讨论二阶相关噪声时指出,由二阶微分方程描写的高斯过程的样本序列一般不是AR(2)模型,但是当样本间隔Δ→0时,却可用AR(2)模型近似描写序列,因此求极限信噪比时可以较简便地采用AR(2)模型。最后指出最大似然估计与似然比检验之间及两者的性能测度之间的联系。     

β-分布的渐近抽样法及其在计算机上的实现

迄今,在一般的随机模拟文献中,关于β分布的抽样主要讨论参数为正整数情形。本文借助于Polya罐子模型黑球比例数X_的极限分布为β—分布这一原理,提出了正有理参数β—分布的渐近抽样方法,给出了模拟算法,编制了程序。选取若干正有理数参数,在计算机上进行了随机模拟,产生了渐近于β—分布的随机数,并制成了随机数表。本文对其中一些样本应用各种统计方法进行了检验,结果表明,拟合性是非常好的。     

中航工业综合技术研究所两个国家质检中心通过现场审查认可

2011年6月10日和11日,中航工业综合技术研究所质量工程技术中心筹建的"国家机械电子产品环境与可靠性质量监督检验中心"和"国家标准     

ILS系统复杂场地的数值计算仿真与飞行检验

现代的三维数字化仿真方法的飞速发展,使得在安装ILS系统前,先对安装环境进行分析,优化仿真论证变成了现实.因此仿真模型的建立的现实有效性决定了仿真的准确度,然而,如果是ILS系统下滑信标,则要求比较严格,需要数学仿真结果和飞行检验结果相互论证才能确定仿真准确度,而且在分析论证已知地点的ILS安装同时还可以等效的获取飞行校验误差.数字仿真分析和飞行校验原则上应该遵守相同的约定规范.可是一些数字分析方法可以转译成飞行校验程序,另一些则不能.因为数字分析不仅可以借助任意辅助手段研究而且可以计算一些非常精细的和高需求的导航参数如DDM=0的航道.按照附件10 的规定,利用数字仿真分析和飞行校验的相互论证可以精确的计算出下滑角和复飞点高度.重点讨论在复杂环境下下滑信标的分析优化论证问题.     

利用旋转卫星法开展加速度计在轨检验研究

利用旋转卫星法开展高精度空间加速度计在轨性能检验的可行性分析表明该方法能够 在轨测量加速度计的分辨率、质心重合度、标度因数和安装误差,并根据GRACE卫星的相关 参数估计了采用该方法可能达到的测量水平,这不仅有利于加速度计载荷在轨性能评价,而 且对于重力场测量卫星的最终数据处理具有指导意义。
     

论加速可靠性增长试验(Ⅴ)单独故障时间数据的统计方法

基于Arrhenius或逆幂律－幂律模型，以恒定应力加速可靠性增长试验（CSARGT）的单独故障时间数据的情况，给出了统计分析方法，并用数值例说明了这些方法。     

基于图像模拟的HJ星CCD相机交叉定标

针对同一HJ-1星的两台CCD相机,提出基于图像模拟的交叉辐射定标方法:通过建立两台CCD相机图像DC值的数学关系,以获取地面目标图像的已定标的CCD为标准对未同时获取图像的待定标的CCD进行交叉定标,得到了2008年10月A2CCD和B2CCD的定标系数.利用贡格尔场野外实验数据和敦煌场的MODIS数据对定标系数进行真实性检验,并对该方法的主要误差来源进行了分析.结果表明,交叉定标具有较高的精度和可信度,可以在保证定标精度的同时,提高定标的频次.     

基于仅光学观测的短弧关联分析方法

初始轨道确定是空间目标编目的一个重要部分,尤其在光学仅角度观测下是极具挑战性的.光学观测在短弧的情况下很难进行有效的初轨确定,解决短弧问题的一个重要手段是将不同时刻获取到的短弧数据进行关联匹配,找到属于同一个目标的观测数据.以容许域的方法为基础,通过找到拟合多组观测数据的最优轨道的方式来确定角度预测值和角度测量真实值之...