多任务时间规划冲突检测方法

摘要：针对多任务的时间规划问题,基于Simple Temporal Networks(STN)时态表示模型和时态推理方法,提出了一种时间冲突检测的智能方法,并对该方法给予了数学证明。实验表明,该方法能够检测出基于STN表示的作战方案的时间冲突,并对任务时间规划提供参考范围,可有效辅助指挥员快速制定作战方案的时间规划。     

破片对反辐射导弹战斗部毁伤效能仿真

分析了“哈姆”反辐射导弹目标特性及破片对其毁伤模式,建立了破片对反辐射导弹战斗部毁伤效能模型,研究了不同质量破片对反辐射导弹战斗部的穿透能力和引爆能力。仿真及试验结果表明：单枚破片质量为15g,速度在1700m/s以上,就足以对反辐射导弹战斗部达到解体性毁伤,它为未来反导弹药战斗部设计提供了重要参考。     

基于视景模拟的无人机导弹发射仿真

无人机单侧导弹发射后,无人机重量特性、重心位置、气动特性发生变化并同时产生附加的干扰力矩,无人机需要在控制系统作用下尽快恢复稳态飞行。通过在Matlab/Simulink中建立无人机六自由度非线性力学模型、控制系统模型、发动机模型、重力模型、标准大气模型、flight gear软件接口等,模拟仿真无人机单侧导弹发射过程,同时将仿真结果进行可视化视景输出,确保无人机系统平台在导弹发射过程中无人机能够很快恢复稳定姿态并按照预定轨迹飞行。视景模拟仿真结果表明：该无人机平台能够顺利完成导弹的安全发射。     

双高速摄像机交汇的高旋弹丸位姿估计算法及误差分析

为了测量高旋弹丸在炮口处的各种信息,基于双高速摄像机交汇的测量方法,提出了一种新的弹丸位姿估计方法.对总攻角函数进行了误差建模与分析,结果表明两台高速摄像机的光轴应相互垂直,且应选择光轴远离攻角平面的高速摄像机所对应的测量函数计算总攻角,此时测量误差最小.以靶场实验的方式对攻角函数的误差分析结论和位姿估计算法进行验证....     

利用空中动目标对火控网内探测器定位原理简介

介绍一种利用火控网内各探测器对空中动目标的探测记录数据,确定各探测器相对位置坐标并评估其精度的方法。介绍了定位系统的硬件结构、工作与信息流程、数学模型。应用实例表明,此定位方法具有定位迅速、准确、自主、廉价的特点。     

空中发射运载火箭发射轨道设计

讨论了空中发射运载火箭的基本特点、飞行方案、发射轨道设计和优化分析方法。     

基于多元回归理论的油液光谱分析诊断方法

利用多元回归理论对光谱数据建立了多元回归诊断模型,并且建立了回归方程以及回归系数的检验方法,给出了异常磨损的界限值,最后通过诊断实例证明了该模型有一定的应用价值。     

内存泄漏的一种静态分析方法

内存泄漏是C程序中常见的错误.从面向具体错误类型的测试思想出发,结合静态测试的特点,给出了一种静态查找此类错误的方法.此方法已经实现,并将应用于实际的测试过程.     

基于类成员后向切片的面向对象程序回归测试

程序切片是一种重要的程序分析方法,类成员级粒度的切片技术目前仅仅有Tip提出的类层次切片技术.Tip提出的类层次切片技术其分析基础是Rossie-Friedman的类层次框架,但主要用于面向对象程序的优化,并不适用于回归测试.本文基于Rossie-Friedman的类层次框架提出类成员后向切片方法,并提出一个覆盖类的方法一级的回归测试策略.     

基于有限元的坦克变速箱体模态分析

建立了坦克变速箱体详细的有限元模型,采用Lanczos算法对箱体结构进行了模态分析,计算出了箱体结构的前16阶非刚体模态的固有频率及相应振型.分析结果显示了箱体各部分结构振动的强弱分布以及抗振薄弱区,为下一步的动态响应及动态修正提供了必要的依据.该分析结果也为变速箱故障诊断提供了参考依据.