D-S证据理论在多传感器数据融合中的应用

近年来,许多领域都在进行多传感器数据融合技术的研究。多传感器数据的属性融合有很多算法,最常用的算法是贝叶斯决策检验法,国际上已提出将证据理论用于数据融合,但在这方面的理论基础还不完善。本文研究了证据理论在多传感器数据融合中的应用。Ｄｅｍｐｓｔｅｒ－Ｓｈａｆｅｒ方法是对Ｂａｙｅｓ决策检验法的推广,证据理论比概率论满足更弱的公理系统,并且在区分不确定与不知及精确反映证据收集过程等方面显示了很大的灵活性。文中阐述了Ｄ－Ｓ证据理论的数学性质,给出了可信度公理及Ｄ－Ｓ综合规则,并进行了计算机仿真实验,实验结果说明这种判决方法非常实用,用于数据融合算法非常有效     

幂律过程拟合优度检验的功效比较

幂律过程常被用于描述复杂系统的可靠性增长模型和可修系统的可靠性分析。本文考虑定数截尾场合幂律过程的７种拟合优度检验统计量,在备选假设为对数幂律过程时,比较了这７种检验法的功效。大量随机模拟计算表明,当ｒ在较宽的范围内,Ｆ检验法的功效比其余６种检验法都要高。     

实时数据库的主动机制研究与实现

主动机制是实时数据库管理系统（ＤＢＭＳ）的一个重要功能。在主动机制的基础上,实时ＤＢＭＳ能够根据数据库中某些数据及环境的变化,主动地作出一定的反应,执行预先设计的动作,而不仅仅是被动地执行用户的命令。文中主要介绍一个实时ＤＢＭＳ的主动子系统,采用事件－条件－动作的规则来实现其主动功能;讨论了规则的表示和存储结构,规则子系统的系统结构及与ＤＢＭＳ的联系;并详细介绍了条件评价器、规则检索优化、规则冲突     

基于三标度法优化宿舍的设计

目的将三标度的层次分析法运用到评价学生宿舍设计方案中;方法通过构建比较矩阵,并运用极差法构造一致性判断矩阵,从而得到组合权重;结果通过组合权重进行再次讨论、对比得出最佳宿舍设计方案;结论此方法比其他方法显得更加简洁、明了,计算量明显减少。     

股指期货与现货指数超前滞后关系研究

采用沪深300股指期货和沪深300现货指数的高频数据,运用协整理论和向量自回归模型对股指期货和现货指数的关系进行探讨。研究发现:沪深300股指期货和现货指数之间存在长期稳定的均衡关系,期货价格在价格发现中尚且不能占据主导地位,价格发现能力较弱。     

必检项目的确认与实施

通过对必检项目确认原则的分析,针对实际维修工作的流程,对必检项目的确认及其检验工作的实施进行了研究,以期对必检项目的正确执行提供指导。     

航空发动机新旧叶片疲劳强度对比分析

对航空发动机新旧风扇工作叶片进行疲劳强度对比分析,通过扫频法测定其一阶共振频率,并在一阶共振频率下对叶片进行激振,测试其对应3×107次循环时的高周疲劳极限。采用单样本t检验的方法对试验结果进行统计分析,获得风扇工作叶片新叶片对应95%置信度的疲劳极限为432.38 MPa,旧叶片对应95%置信度的疲劳极限为353.18 MPa,旧叶片的疲劳极限相对于新叶片明显降低。     

确定性仿真结果检验和因子分析方法

提出一种确定性仿真结果(不考虑随机因素影响的仿真结果)检验方法, 能够对仿真结果与试验结果之间的误差进行分析, 确定该误差是由于仿真不正确引起的系统误差, 还是由于试验结果的分散性引起的偶然误差, 进而判断仿真结果正确与否.同时建立一种确定性仿真结果多因子分析方法, 能够对仿真结果的各个影响因素(因子)进行分析, 确定哪些因素已被正确仿真, 哪些因素尚未被正确模拟, 从而指导仿真软件的编制.      

高维小失效概率下的改进线抽样方法

 针对隐式极限状态方程的可靠性分析,提出了一种基于失效域样本模拟的高效线抽样法。该法采用马尔可夫链来快速得到失效域中的条件样本,利用这些失效域中的样本可以得到线抽样的重要方向,并且这些样本还可以作为线抽样的样本,来得到隐式极限状态方程失效概率的估计值。由于该法可以较准确地得到线抽样方法的重要方向,因此线抽样的效率可以得到提高,另外失效域的样本又可以作为线抽样的样本,从而进一步降低所提方法的计算工作量。算例表明所提算法的计算精度和效率均高于传统线抽样方法。     

基于断言的形式验证方法应用研究

针对模型检验算法在工程应用中面临的形式语言局限性和状态空间爆炸的危机,提出了基于断言的形式验证解决方案。通过对DW8051_timer模块的实际验证,说明了该方法可以简化模型检验算法在工程实践中的应用,并且与传统仿真方法相比,它能在一定程度上缓解航天领域数字系统设计中的验证困境。