防空导弹武器兵力分配优化模型

兵力优化分配是防空作战部署中的重要问题。文中利用排队论、对策论理论和方法 ,研究了防空导弹兵力分配问题 ,建立了防空导弹兵力分配优化模型及其解法。给出了一个实例 ,并用线性规划方法得到了最优混合策略。最后讨论了实战中的情况与基本假设不符合时的解决方法。对于多通道的导弹武器部署问题可用类似的方法处理 ,此方法为防空导弹部署优化提供了一个基本思路。     

二维系统一般模型的正实控制

本文研究的是二维系统一般模型的正实控制。本文的目的是针对该模型,设计一个状态反馈控制器,使得闭环系统是稳定的并且闭环传递函数是延展严格正实的,所得到的解是通过线性矩阵不等式给出,通过解决该线性矩阵不等式可获得期待的状态反馈控制器。最后,我们提供了一个数值算例来验证提到方法的有效性。     

基于Kriging的多目标遗传算法

为了提高多目标优化问题的求解效率,提出了一种新的处理约束多目标优化问题的基于Kriging的多目标遗传算法(MOKGA)。MOKGA采用物理规划法将多目标优化转化为单目标优化,然后构建目标函数的考虑约束的EI(Expected Improvement)模型,并采用遗传算法进行求解。六峰值驼背函数和一个导弹多目标多学科设计优化问题用于MOKGA算法性能的测试。结果表明,与理论解相比,MOKGA算法有很好的优化结果;与NSGA II相比,MOKGA有很快的收敛性。     

基于混合集合规划的机位分配约束规划模型

为解决现有数学规划方法只能简单描述停机位分配问题而且不能全局搜索最优解的问题,应用混合集合规划方法进行数据建模和逻辑建模,并设计切实可行的求解策略,从而实现全局搜索最优解。对典型实例进行了计算及对比分析,混合集合规划方法能够得出全局最优解,并且最优分配结果的优化目标提升了2%。结果表明,基于混合集合规划的约束规划模型有效可行。     

某型无人验证机系统技术资料体系与编制设计

在航空综合保障的活动中,技术资料作为法规性文件,对装备的使用和维修起着重要指导作用。本文对某型无人验证机系统技术资料体系设计、技术资料之间的联系及编制设计进行了初步探讨、研究,包括无人机系统体系设计的特点以及为满足操作员与地勤人员工作需要而进行的各类使用手册编制的详细设计,并对有人机技术资料的编制与无人机系统技术资料编制之间的区别进行了对比,这些工作的开展将对后续设计无人机技术资料标准及完善体系构建提供有益的参考。     

外围投篮命中率的概率分析

利用几何概率的方法，解决投篮命中率问题，为将概率论应用到体育中去提供了新的思路。     

XP项目迭代工作量及相关度量

在使用极限编程(XP,Extreme Programming)方法的软件开发项目中,我们可以使用用户story点来度量项目的规模,这些体现了用户需求的story是以一定的效率被逐次迭代完成的,迭代结束时形成一个完整的软件产品。本文提供一种基于用户story的迭代开发阶段工作量(IE)及任务效率(TE)等指标的计算方法。用一组数据对该方法进行了模拟验证。     

电力负荷管理与控制系统

在电力负荷管理系统硬件的设计与实现中，着重介绍系统的两个关键部件、并路器和多路转换器，对系统数据采集编程，除介绍编程方法，利用的资源等外，还提出了远程数据采集处理后和计算机局域网联接的方法，简易可靠的镜象拷贝方法，以及提高软件运行可靠性的措施等。所研究的系统已交付抚顺电业局使用，实际运行表明，性能稳定，工作可靠，达到了预期的指标要求。     

对中国民航科技进步贡献率的分析与研究

从实证经济学的角度,使用生产函数法和索罗余值法,建立了中国民航的生产函数,分析了民航总体的经济增长方式,测算了其科技进步贡献率,定量揭示了中国民航经济增长属于以资金投入为主的外延式增长模式的事实。     

一类微分方程正解存在唯一性的研究

对微分方程正解的存在性的探讨已经很丰富,但当微分方程是超线性时,证明正解唯一的讨论并不多,为此讨论了一类自治渐近(超)线性微分方程的正解存在唯一性问题.给出了一个正解存在唯一的充分条件。