基于三角模糊数的舰空导弹飞行可靠性评估

根据舰空导弹飞行可靠性的基本概念,研究了基于三角模糊数的舰空导弹飞行可靠性评估方法,构建了舰空导弹飞行可靠性评估模型;分别给出了导弹发射前检查可靠性、导弹发射可靠性、导弹制导飞行可靠性、导弹命中目标可靠性的三角模糊数评定方法;采用专家评定法,评定舰空导弹武器系统单个设备可靠性的三角模糊数。通过研究,可评定舰空导弹在作战使用环境下的飞行可靠性,为导弹飞行可靠性评估提供一种新的研究方法。应用实例证明了评估方法的可操作性。     

再入目标质阻比估计算法研究

再入段目标识别的核心问题是快速高精度地估计出目标的质阻比。针对再入过程的非线性问题,重点研究了样条卡尔曼滤波器、扩展卡尔曼滤波器和一种基于"无损传输"的扩展卡尔曼滤波器,仿真实验从质阻比的估计精度和收敛速度以及计算量等方面比较了各滤波算法的性能。仿真结果表明基于无损传输的扩展卡尔曼滤波器的估计精度最高,收敛速度最快。     

适用于海底观测网络的恒流远供系统可靠性分析方法

以水下单元的短路/开路故障模式为基础,提出一种分析缆系海底观测网络恒流远供系统可靠性的方法。根据系统供电和结构特性,将系统分成不同的供电链路和链路段。详细研究处于不同位置的各种水下单元发生故障时,对链路和观测设备的供电状态的影响。归纳导致系统和各链路无法正常导通、观测设备无法得到供电的状态情况,分析不同故障状态发生的概率,进而得出求解系统、供电链路与供电设备的供电可靠度的方法。通过算例分析,进一步梳理了3种供电可靠性的共性规律,说明在设计和建设恒流远供系统时,应综合考量这3种供电可靠性。     

波速测量层合复合材料冲击损伤实验

在层合复合材料横向冲击试验中,用应变片记录层合板表层在冲击过程中的应变响应,根据波的传播理论和连续损伤力学,从波速变化间接测得冲击下材料的损伤及损伤率。通过实验测得玻璃纤维／环氧（ＧＥ）正交层合板的动态损伤阈值,并证实了ＧＥ复合材料在拉伸阶段比在压缩阶段有更快的损伤扩展速率     

小子样条件下航天轴承性能可靠性建模与评估

航天油润滑轴承可靠性具有小子样、无失效数据特点,即使采用性能可靠性方法进行建模与分析,仍存在性能数据不足问题。提出小子样条件下航天轴承性能可靠性分析的多层贝叶斯模型及模型求解方法。通过失效分析,建立轴承性能退化过程模型。利用自助法、试验数据、物理模型和专家经验等确定Bayes验前分布,并采用MCMC方法解决Bayes计算问题。实例分析表明,该方法具有较好的适用性,是解决小子样条件下长寿命产品可靠性建模与评估问题的一种有效途径。     

惯导速度信息辅助的被动雷达导引头量测误差抑制方法

针对被动雷达导引头由于受空间限制测角精度不高的问题,提出了一种基于弹目信息状态变量的扩展卡尔曼滤波方法。通过弹目信息状态变量(弹目距离、弹目视线方位角、弹目视线俯仰角)描述弹目相对位置信息,利用惯导速度信息构建基于弹目信息状态变量变化率的弹目相对运动模型。所提方法充分利用信息资源,抑制导引头量测随机误差,对于提高导弹的打击精度和攻击效果,具有重要的实际应用价值,仿真试验证明该算法的有效性。     

含气膜孔涡轮叶片寿命可靠性设计优化中的网格参数化方法

为了自动实现含气膜孔涡轮叶片寿命的可靠性设计优化,减少其有限元计算时间成本,提出了含气膜孔涡轮叶片的非结构局部网格参数化方法.该网格参数化方法将叶片划分为参数化区域和非参数化区域,分别设计非参数化区域的网格以及参数化区域的网格控制点,更新气膜孔的形状和位置后,保持非参数化区域的网格不变,重构参数化区域的网格.相比于结构...     

脉冲工况晶闸管扩展速度的影响因素研究

为研究不同因素对其电流扩展速度的影响,根据晶闸管的结构特点和工作原理,建立晶闸管器件模型及脉冲成形网络等效电路模型并进行了仿真模拟.数值仿真结果表明,当正向阻断电压从3000 V增加至5000 V时,扩展速度可增加24.6％;当基区宽度从500μm增加至900μm时,扩展速度降低了31.7％;当载流子寿命从1μs增加至...     

BDS导航信号抗电离层闪烁载波跟踪的自适应卡尔曼滤波算法

电离层闪烁会引起导航信号幅度和相位的快速衰落,严重影响跟踪环路的精度和稳健性,而相比频率跟踪和伪码跟踪,载波跟踪环路更易受电离层闪烁的影响而失锁。因此,提出一种基于相位锁定指示自适应扩展卡尔曼滤波的北斗导航信号抗电离层闪烁载波跟踪算法,其以同相与正交支路的积分结果估计相位锁定指示值,并采用该指示作为控制参数对不同闪烁场景下扩展卡尔曼滤波的观测向量进行自适应调整,这不仅能够提高跟踪环路的精度和稳健性,而且能够降低扩展卡尔曼滤波发散的概率。实验结果验证了相关分析和所提跟踪算法的有效性。     

语义树方法及其可靠性和完备性

Ａｎｄｒｅｗｓ在《ＡｎＩｎｔｒｏｄｕｃｔｉｏｎｔｏＭａｔｈｅｍａｔｉｃａｌＬｏｇｉｃａｎｄＴｙｐｅＴｈｅｏｒｙ：ＴｏＴｒｕｔｈＴｈｒｏｕｇｈＰｒｏｏｆ》一书中给出的语义树方法是一种能直接适用于句子集的反驳方法,但其中关于语义树方法的可靠性和完备性定理（３２０１）及其证明是错误的。本文通过例子指出并纠正了这一错误,同时对修正后的可靠性和完备性定理给出了详细的证明。