VLMC控制流软件可靠性度量方法

针对现有软件可靠性模型普遍不适用于实际软件的问题,分析了软件内部模块间控制转移机理,通过分离入口模块,提取一阶控制转移概率矩阵;弱化内部模块与出口模块间差异,重构二阶以上转移概率矩阵,在改进Cheung模型的基础上建立一个更符合软件实际的可靠性度量模型。针对变阶依赖（ VLMC）控制转移导致的可靠性度量难问题,通过对导致复杂依赖的多入多出模块进行节点扩展,将VLMC控制流转化为Markov链,利用所建立的软件可靠性模型对VLMC控制流软件进行可靠性度量。研究利用演绎推理对所建立模型进行了正确性形式化证明。最后给出了方法的实例验证。     

基于信息论的C3I系统决策性能的评价

信息熵是描述信息系统的一种比较成功的方法.采用信息论的方法对决策系统进行描述,在考虑了决策者的有界合理性限制和达到满意性能指标的要求下,分析了单人指挥决策系统的系统性能,并在此基础上分析了多人指挥决策系统的系统性能,最后得出采用决策系统的误差概率P和相互一致性度量Q作为评价C3I系统决策性能标准的结论.     

防空预警雷达阵地配置及其物元分析

防空预警雷达阵地配置是防空兵战前决策的重要内容。首先分析了影响和决定防空预警雷达阵地配置的战术因素、生存因素和地形因素,总结了防空预警雷达阵地配置的约束条件,然后依据整体探测效能最优的原则提出了防空预警雷达阵地配置的基本模型,探讨了通过调整约束参数来自动生成方案及控制方案数量的问题,最后运用物元分析法对配置方案的合理性进行了分析评判,并对配置方案进行排序,以辅助指挥员决策。     

引入区域量化的相控阵天线维修优化模型

针对大型相控阵天线维修成本高、多部件维修时机难以确定、模型仿真计算困难等问题,提出一种引入区域量化的维修优化模型。建立天线阵列的区域量化模型,将天线阵列维修问题转化成一个由不同区域阵元组成的k/n系统维修优化问题。以使用可用度为约束条件,以单位时间维修费用最小为优化目标,建立引入区域量化的大型相控阵天线多部件视情维修决策优化模型,并通过算例仿真与分析进行了模型验证。结果表明:提出的维修优化模型真实有效,能够很好地解决分布不均匀的相控阵天线维修优化问题。     

模型三组元喷嘴雾化SMD变化规律

为了充分研究新型三组元喷嘴的内混腔雾化特性 ,设计了模型喷嘴进行多工况试验。试验发现 ,维持气体或液体压降不变 ,改变另一种介质的压降 ,会得到不同的雾化平均直径随气体压降或液体压降 ,以及气液比ALR的变化曲线 ,这些曲线有着明显的规律。大量试验表明 ,虽然平均直径SMD随气体压降或液体压降的变化曲线明显不同 ,但其随气液比的变化规律却趋于相同     

多敏感器卫星姿态确定的卡尔曼滤波器设计

针对陀螺、红外地平仪和太阳敏感器组成的卫星姿态确定系统 ,采用四元数方法建立卫星姿态确定模型 ,并采用卡尔曼滤波器进行信息融合。仿真算例结果表明 ,该方法能够确定出满足精度要求的卫星姿态参数     

小波边界元法

将边界上的函数展成小波级数,利用循环矩阵方法,从核函数边界上的值,得到离散的积分方程系数矩阵,求解未知的小波级数系数,从而得到边界积分方程近似解,文中计算了一个二维拉普拉斯方程的解。     

弱紧局部一致凸空间中的度量投影

本文研究了弱紧局部一致凸空间中度量投影的弱连续性,将ＢＢＰａｎｄａ和ＯＰＫａｐｏｏｒ的相应结论推广到更一般的弱紧局部一致凸空间。最后给出了局部一致凸点的一个必要条件。     

加过渡环的锥柱组合旋转壳的有限元应力分析与比较

对旋转组合壳体在轴对称静载荷作用下的强度计算,采用了性能良好的三节点曲线壳元,并采用整体坐标下位移和转角各自独立的插值函数推导有限元列式和编制计算机程序。经算例验证表明,上述单元和算法具有单元划分少、精度高、收敛性好的优点。对锥-锥-柱、锥-环-柱、锥-环-锥-环-柱等组合壳过渡区域最大弯矩值和应力值随结构参数变化情况进行了广泛的计算和对比分析,得出了一些有重要工程意义的新结论。     

从故障特征群中快速确定故障点的方法

工程设备的结构日趋复杂,使故障诊断的难度不断增大。本文在最大故障信息量诊断的基础上提出了最大故障信息增量判断准则,可从故障特征群中一次找出最可能的故障点,简化了诊断过程,提高了诊断速度。