不同动力型式的巡飞弹总体参数对比分析

动力系统选型是影响巡飞弹战技指标中的航时、巡飞速度、航程以及任务载荷重量系数的关键因素之一。基于能量守恒推导出电动力螺旋桨、活塞式螺旋桨动力与喷气式动力3类动力型式的巡飞弹总体参数估算公式,利用敏度分析的思想逐个研究各动力型式性能参数对巡飞弹战技指标的影响程度与影响规律,并从能源供给的角度对比3类动力型式所用燃料的等效比能量特性,梳理出影响各动力型式差异的根源,为巡飞弹顶层设计阶段的动力系统与作战使用之间适配选型提供有效的指导原则。      

电脉冲除冰系统电磁脉冲力仿真分析

为了获得更精确的电脉冲除冰(EIDI)系统中电磁力在飞机蒙皮上的分布及其随时间变化的情况,针对系统的工作原理与工作过程进行了仿真研究。计算分析了EIDI系统电路中电流随时间变化的关系;通过麦克斯韦方程组的求解完成了EIDI系统电磁场的仿真;计算分析了电磁力随时间变化的规律,获得了蒙皮上的磁感应强度分布、涡电流密度分布和瞬态电磁力密度分布。考虑线圈工作时蒙皮对其电感的影响,建立了更接近真实电路的激励加载方法,得到了准确的电磁力变化趋势;考虑趋肤效应对蒙皮厚度方向上涡电流密度、电磁力密度分布的影响,用有限元分析方法使蒙皮上电磁力分布的计算更为全面合理。      

基于多值决策图的温储备系统可靠性建模方法

温储备系统是冷储备与热储备系统的推广,在实际中有广泛应用。针对不可修温储备系统的可靠性建模问题,已有基于多值决策图(MDD)的系统可靠性建模方法。该方法以系统中的单元故障为建模对象,分别构建故障级MDD与系统级MDD,进而获得系统可靠度的解析表达式。然而,该表达式中不同维度积分相互混杂,计算给定时刻的系统可靠度需要首先梳理系统可靠度的表达式,以利用数值方法求解其中的积分。为实现系统可靠度的程序化计算,在已有研究基础上提出将系统级MDD按故障数分解为一系列子决策图,通过对MDD中边的概率重新赋值获得每一子决策图的发生概率,得到系统可靠度的规范形式,形成一套完整的系统可靠度计算方法。      

基于故障行为模型的产品寿命分析方法

针对传统可靠性工程方法无法满足高可靠长寿命需求产品设计与分析要求的现状。本文充分考虑引起产品寿命分散性的内因和外因的不确定性,在产品功能模型或数字样机模型的基础上,结合产品的故障行为模型,建立了一种基于产品故障行为模型的产品寿命分析方法。在该方法中,内因参数与外因参数的分散性分别可以用相应的概率密度函数来表示,都是通过对实际使用情况和生产条件的估计得到的,因此,按照这种方法评估得到的产品寿命特征,能够弥补基于故障物理的可靠性预计方法无法体现产品正常使用条件的不足。      

改进的多处理器混合关键性系统可调度性分析

针对混合关键性系统的多重认证需求,研究多核处理器平台中全局调度算法fixed-priority and Earliest Deadline First by Virtual Deadline（fpEDF-VD）的可调度性分析问题。fpEDF-VD结合处理器利用率和虚拟截止期两个方面来计算任务优先级,系统可调度性取决于是否存在可行的虚拟截止期调整参数。考虑到现有可调度分析方法仅测试有限数量的调整参数候选值,不能有效地判定系统可调度性,故提出了一种改进的判定方法。该方法基于传统（非混合关键）任务调度算法fpEDF的可调度利用率约束条件,利用函数图像分析研究不同关键性级别的系统可调度性需求,并在此基础上给出有效虚拟截止期调整参数的确切范围。通过实例分析及与现有判定方法的比较,验证了该方法的正确性和高效性。与理论分析一致,基于随机生成任务集的仿真实验结果表明改进后的方法具有更优越的可调度性能,能显著地提高任务集的可调度接受率。      

AADL2ECPN模型转换方法及其在IMA上的应用

在综合模块化航空电子（IMA）系统应用集成的过程中,对IMA系统的资源配置建模和安全性分析至关重要。首先利用模型转换的方法,提出一套从架构分析和设计语言（AADL）模型到扩展着色Petri 网（ECPN）模型的转换规则,将AADL模型转换为ECPN模型,并且确保在模型转换过程中不丢失任何关键资源建模元素;然后基于目标模型进行后续的安全性分析研究;最后用一个简单例子演示如何应用提出的模型转换方法。结果表明,AADL2ECPN模型转换方法分析IMA系统安全性的可行性。      

火星着陆探测任务关键环节技术途径分析

火星进入、下降与着陆技术(entry,descent and landing,EDL)是火星着陆探测最为关键的环节。火星与地球再入返回过程相比,由于火星大气成分、物理性质与地球大气存在较大差别,且具有较大不确定性,使火星EDL过程历经时间短、状态变化快,对减速性能要求高,时序紧张。从工程实现角度分阶段开展了任务分析,识别了火星EDL环节面临的问题和挑战,提出了关键环节技术途径选择。     

军工高安全软件数值型运行时错误分析方法

提出一种抽象解释和有界模型验证的数值型运行时错误分析方法.利用抽象解释方法分析程序数值变量范围,获得每个程序点达到不动点的变量初步值范围信息.根据待分析的运行时错误类型,在相关需要检测的程序点处将数值变量取值信息转化为断言或假设形式插入程序中,将带有断言和假设的程序转化为布尔公式,验证其可满足性,进而验证断言的正确性.实验证明,该方法与现有方法相比,在精度和效率两方面都有良好的表现.     

面向深空时变信道的数据传输策略

将呈现随机“好”、“坏”状态跳变的深空Ka频段链路噪声温度建模为两状态Gilbert-Elliot信道,考虑深空下行发送端只能获得延迟的信道状态信息（CSI）的限制,结合部分观测马尔科夫决策理论设计了基于延迟CSI预测信道状态的自适应最大化吞吐量传输策略。理论推导了在深空通信环境下最优传输策略的关键阈值,并给出了简化的闭合解计算式。通过地球-火星通信参数仿真,校验了该方案能有效提高吞吐量,提高文件传输效率。     

基于3RRS-Bricard复合空间捕获系统运动学分析

面向跨尺度、目标多样化的空间捕获任务,融合Bricard和3RRS机构的折展特性和几何特点对复合捕获系统运动学进行了分析。基于捕获系统的自由度和构型特点分析,通过构建Bricard与3RRS间的转换关系实现了捕获系统各机构间的运动学解耦。根据六棱柱模型,引入Bricard虚拟顶点,设计了面向复合空间捕获系统的运动学求解方法。在仿真环境下搭建捕获系统的运动学和动力学模型,并开展针对动态捕获目标的轨迹跟随实验。通过与基于闭环约束的阻尼最小二乘法（DLS）对比,验证了该运动学求解算法的有效性和先进性。实验结果表明,捕获系统可实现平稳的协同控制,运动过程中位置跟随精度优于4 mm,姿态精度优于0.035 rad。