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

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

多传感器数据融合的权值因子确定

对多传感器位置级的数据融合,从静态单传感器的特点入手,建立可靠的数据评价函数,引入到动态多传感器系统中,以多传感器测量数据的算术平均值或滤波对目标的状态估计值作为评价参考,从而量化对测量数据的评价,进而确定加权因子,得到融合值。从仿真结果来看,当评价函数确立合理、参考点选用得当时,融合数据能够很好地剔除假数据,减小偏差大的测量值的影响,在采用不够准确的参考点时,使用评价函数确定加权因子得到的融合数据仍能够优于算术平均值方法得到的数据。     

基于联系数系统态势排序的目标威胁综合评估

对防空导弹将要拦截的目标进行威胁程度评估,通常是先分析影响目标威胁程度的因素,并赋予各因素权重,计算各因素在某时刻的状态值并规范化,再通过加权求和综合合成; 根据合成结果对多个目标的威胁程度作出排序,求出威胁程度最大的目标。文章阐明了采用以上的加权求和计算有时会失效,指出失效的主要原因来自加权求和模型自身,可改用基于联系数系统态势排序的目标威胁综合评估解决这一问题。     

基于合作目标的三维空间贝叶斯传感器配准算法

当存在合作目标时,基于合作目标的传感器配准算法往往优于基于多站测量的传感器配准算法.传统的基于合作目标的传感器配准算法将系统误差看作是一个确定未知量,对未知量的估计采用了非贝叶斯的参数估计算法,如极大似然法、最小二乘法等.当传感器量测噪声相对于传感器系统误差不可忽略时,上述算法估计效果较差.在此背景下,提出了基于合作目标的贝叶斯传感器配准算法,通过将传感器系统误差建模成未知的随机过程,并通过卡尔曼滤波消除量测噪声对系统误差估计带来的影响,实验结果表明,方法具有较好的实用性.     

基于改进直觉模糊数的混合型多属性决策方法

为了解决混合型决策不同类型指标难于集结的问题,将实数、区间数以及语言变量转化为直觉模糊数形式,依据直觉模糊加权算术平均算子对各个指标进行集结,引入一种改进的得分函数对直觉模糊数进行排序比较。算例结果表明改进的得分函数是实用和可行的。     

基于OpenGL的快速成形软件开发技术

简要介绍了快速成形软件开发中OpenGL环境的建立方法,分析了软件编写过程中的分层算法有向加权图数据结构和扫描路径的生成算法并给出了应用实例。     

窗函数递推T矩阵法

 引入数字信号处理中的窗函数, 应用于加法定理中, 解决了在入射波为TE 波时, 用递推T 矩阵法计算电大尺寸物体或多个散射体散射场时, 精度不高的问题。另外本文从积分方程出发, 推导出了总体T 矩阵的另一种表示形式, 最后给出的算例证明了引入窗函数的有效性和总体T 矩阵表达式的正确性。     

系统可靠性的贝叶斯网络评估方法

 针对现有组合法与状态法在可靠性评估方法中的局限性,对基于贝叶斯网络的系统可靠性评估新方法进行了研究。运用该方法进行可靠性评估,不但能计算出系统的可靠性指标,而且能方便地给出一个或几个部件对系统可靠性影响的大小,识别系统的薄弱环节。结合故障树方法建立系统可靠性评估的贝叶斯网络模型,并用实例阐述了贝叶斯网络方法进行系统可靠性评估的有效性。同时通过对贝叶斯网络的条件失效概率与系统可靠性评估中常用重要度指标的对比分析表明,贝叶斯网络的推理算法更便于查找系统的薄弱环节。     

一种通量加权型紧致格式

将通量加权的思想引入到紧致格式中,构造了一个传统方法与紧致格式混合组成的加权型差分格式.利用该格式与二阶TVD格式分别计算了一维方波、组合波问题和一些黎曼问题,如Sod问题和Shu问题,以及一维定常激波问题.计算结果的比较表明加权格式无论在捕捉各种间断,还是在分辨各种复杂波系上,都具有较大的优势,并与精确解非常吻合.      

基于动态贝叶斯的反舰导弹弹型识别

使用反舰导弹对舰艇进行饱和攻击是当前对舰攻击的主要方式。首先,提出了动态贝叶斯网络(DBN)的理论及算法;其次,根据反舰导弹的高度、速度、过载、机动方式等弹道特性和RCS、雷达频率等导弹自身特性,建立了对反舰导弹进行弹型识别的DBN模型;最后,通过仿真算例验证了DBN模型的有效性,这为实际解决反舰导弹进行弹型识别的问题,提供了一种思路。