基于HTN作战计划生成技术中时序约束处理

针对以网络为中心的作战计划的特点,提出了基于层次任务网络的军事作战计划建模方法。在对层次任务网络形式化描述的基础上,结合简单时序网络和Allen区间代数对传统层次任务网络在时序约束方面进行扩展,介绍了扩展层次任务网络与简单时序网络的映射方法并给出计划求解算法。基于军事作战计划的抽象模型,提出了军事作战计划中军事规则、作战使命、作战能力和作战行动过程等要素与层次任务网络的映射关系。     

导弹预警卫星调度问题分析

以美国天基红外系统的结构和功能为基准,阐述了导弹预警卫星的工作原理和作战流程.采用六元组对导弹预警卫星调度问题进行了详细分析和数学描述.这六元组分别是传感器资源集、可疑目标集、系统状态集、调度约束集、目标可用信息集、调度优化目标集.针对该问题具有实时性和不确定性的特点,提出了一种基于事件和周期相结合的调度方法,给出了一个传感器分配的泛化模型.     

掺镍氧化钨钼薄膜的阻抗特性

用溶胶凝胶的方法在ITO导电基片上制备了一组不同掺镍量的氧化钨钼薄膜,分别测量了该系统及ITO电极浸泡于1 mol氯化钠溶液中不同频率下的电化学阻抗,应用等效电路法模拟了该系统的阻抗谱,从而获得了有关掺镍薄膜的电阻、电容及溶液在薄膜内扩散等信息.研究表明,与ITO电极所产生的吸附层的等效元件参数相比较,掺镍氧化钨钼薄膜大大提高了ITO电极传输电荷的能力.     

航空发动机叶片的内窥涡流集成化原位检测

目前内窥检测是航空发动机叶片原位检测的唯一方法,但是内窥检测对于叶片裂纹缺陷的检测效果不理想.为此,提出内窥涡流集成化检测技术,使这两种方法的优势互补,实现对航空发动机叶片的原位检测.研制了一种可用于航空发动机叶片原位检测的内窥涡流集成化检测探头,给出了航空发动机叶片的检测实例.检测结果表明:内窥涡流集成化检测技术的缺陷检测能力高,并且可以实现对裂纹缺陷的定量评估,因此较单一的内窥检测更有优越性.具有很高的实际应用价值.     

航天器近距离交会斜滑制导算法

提出了满足测量视场、最小脉冲间隔、最大脉冲受限等约束的燃料最省的航天器近距离交会多脉冲斜滑制导算法.建立了近距离交会(接近和撤离)多脉冲斜滑制导算法的统一数学模型;提出了理想交会轨道距离和速率的指数函数变化关系,使得算法能够实现任意时间的近距离交会,同时满足接近操作减速和撤离过程加速的任务要求;设计了对数函数映射法进行脉冲寻优.最后通过接近段和撤离段的操作仿真算例进行验证,仿真结果表明,相比最优化方法,对数函数映射法以较小的计算量实现了较好的寻优效果;算法能够以较省的燃料消耗实现轨道面内任意方向、任意时间内满足约束的近距离交会.     

气动力/直接力复合导弹鲁棒控制器设计

提出了一种气动力/直接力复合控制导弹在舵机层面进行复合控制的鲁棒控制器设计方法,即空气舵与直接力喷流机构看作是复合舵系统模型.该方法在完成复合舵系统建模的基础上,利用参数空间方法对等效舵机系统进行设计,以确保在喷流因子变化时的鲁棒性.最后,通过仿真验证了该方法的可行性.     

Linux下某型制导弹目标跟踪并行算法

针对某型电视制导弹的图像特点,在Linux平台上设计了一种并行算法用于完成目标跟踪.算法思想:将制导弹的目标跟踪任务划分为图像采集、纠旋、显示和目标跟踪,程序中创建两个线程用于完成该任务;其中线程1完成图像采集、纠旋和显示;线程2完成目标跟踪.实验表明该算法实现了Linux环境下图像的实时采集、纠旋、显示和目标跟踪,与Windows下的目标跟踪算法相比,该算法有效的节省了资源.     

基于TOPSIS方法的自动目标识别作战能力评估

自动目标识别(Automatic Target Recognition,ATR)效能评估是ATR系统相关研究中的一个重要的研究方向.针对现有研究的不足方面,重点研究了ATR效能评估的概念、建立了作战能力指标体系和基于TOPSIS方法的作战能力评估模型,并对指标体系的合理性和评估方法的适用性进行了分析.研究解决了ATR效果评估所涉及的部分重要问题,具有较强的军事应用价值.     

基于扩展卡尔曼滤波的机动目标航迹跟踪

针对高速飞行目标航迹跟踪问题,进行了扩展卡尔曼滤波的曲线拟和仿真试验研究.首先建立目标跟踪的数学模型,确定了系统对应的参数及状态方程,进而将线性卡尔曼滤波器进行扩展,将函数形式的滤波模型在函数自变量估计值附近进行泰勒级数展开,求导获得相应雅克比矩阵,在获得观测及系统误差的基础上,得到针对此问题的扩展卡尔曼滤波方程.仿真结果表明该方法的有效性.     

软件可靠性分配的遗传模型研究

对软件可靠性分配的遗传模型进行了研究,结合相关知识缩小了基本遗传算法的搜索区域,比较灵活地处理了非线性约束条件,提高了搜索效率,避免了早熟收敛现象.此外,在基本遗传算法中增加了保优操作,从而能够在理论上保证实现分配的最优化.算例表明,该算法十分有效.