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

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

综合邮件过滤系统在PDM中的应用研究

针对解决企业产品数据管理中共享数据和动态传送文档问题,提出了一个高效过滤垃圾邮件的解决方案.方案综合平衡了黑白名单技术,贝叶斯算法的优点和缺点,通过分析垃圾邮件关键词的统计概率分布,建立了贝叶斯概率模型,并设计和实现了一套综合邮件过滤系统,实现了精确而智能的垃圾邮件过滤.     

基于Bayes统计模型的卫星融合定轨方法研究

根据目前天基导航系统现状,结合中国对低、中轨卫星精密定轨的要求,给出了天地基信息融合定轨的原理;结合卫星待估融合参数的先验信息,提出了基于Bayes统计模型的卫星精密定轨方法;在卫星观测的线性化融合模型中引入观测噪声,利用概率估计融合模型,根据Bayes理论进行卫星状态改进量的最大后验估计,并分析了Bayes估计方法的定轨精度;依据期望融合的待估改进量方差最小规则建立了相应的参数求解算法;最后以导航融合测控系统中测距和测速数据的融合定轨为例进行了仿真实验,表明该融合方法能够得到很好的定轨效果。     

等参梯度有限元应用于非线性梯度材料的研究

将等参梯度有限元法应用于非线性功能梯度材料,推导了2种受力情况下指数体积分数变化的功能梯度材料的应力分布解析解。通过不同的单元划分形式,对等参梯度元数值解、均匀单元数值解及解析解三者进行比较分析,得出等参梯度有限元方法对非线性梯度材料同样适用,为等参梯度有限元的推广应用提供了证据。     

一种求解D-S诊断识别框架方法

利用D-S证据理论进行故障诊断时,首先需准确地确定出诊断识别框架,这是D-S故障诊断的先决条件.在导弹武器等复杂系统中,存在着故障原因与故障征兆之间关联关系不确定的现象,增加了求取诊断识别框架的困难.为此,提出了一种求取复杂系统的D-S诊断识别框架方法.首先,基于基本诊断模型,给出了诊断贝叶斯网络模型.以及求解诊断贝叶斯网络模型的方法;然后,给出了征兆集合等概念以及求解故障识别框架的方法;最后,通过示例验证了方法的正确性.     

模糊自整定PID控制及其在航天产品 真空热试验中的应用分析

文章首先分析了航天产品热试验时被控对象的特点,并进行了建模分析,接着介绍了如何通过参数自整定技术获得PID的3个初始参数,并进行了模糊自校正PID控制器设计。为了检验该控制方法的控制效果,文章选取了3次有代表性的试验数据进行了仿真分析。结果表明,模糊自校正PID控制方法具有适应性强、控制精度高、抑制试验系统温度滞后明显的优点,该方法较原控制方法超调量有所减小,过渡过程有所加快,抗干扰能力显著增强,较好地解决了控制系统快速性和小超调量之间的矛盾。     

液体火箭发动机性能参数的贝叶斯评估方法

文章研究了如何利用发动机地面试验数据,来评估飞行中的性能参数及其可靠性。采用贝叶斯分析,研究给出了合理实用的先验分布及后验分布的求解,并给出了各参数及其性能可靠性的贝叶斯点估计和置信估计。     

导弹命中精度评定中贝叶斯方法的应用

针对导弹武器系统试验评定的问题 ,研究了如何在命中精度评定中应用贝叶斯方法。在导弹落点偏差分布为正态 -逆伽马分布的假设下 ,提出以贝叶斯理论为基础 ,利用实际的导弹飞行试验状态信息和试验前的各种已知信息 ,加入弹道的模拟和仿真方法 ,获得评定的验前分布参数 ,使精度评定理论与实际情况相结合的方案。该方案以使用方提出的可信度和最低可信下界为检验精度的指标 ,同时也提出一种运用参数自助 (Bootstrap)方法获得验前分布参数的方法。最后 ,提供了完整的评定流程和说明 ,使实际的评定工作有一个较完整的体系。所提的贝叶斯方法尤其适合于小子样场合下的试验鉴定工作     

柔性薄壁大部件数字化装配调姿算法研究

采用定位器托架混合调姿定位平台,提出了一种飞机薄壁柔性大部件数字化调姿方法。首先,采用奇异值分解法(SVD)计算机翼位姿,通过运动学逆解得到定位器各轴的运动状态。其次,根据飞机大部件易变形的特点,提出了一种消除位姿计算误差的建立飞机部件坐标系的方法,实现快速高精度调姿。最后,将该方法应用于飞机机翼的调姿,经测量调姿精度满足装配要求。