无界域上二次规划存在最优解的条件及判别方法

本文给出了无界域上二次规划存在最优解的充分必要条件及判别方法，并通过解一些线性规划来判别是否存在最优解。     

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

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

临近空间多任务规划求解方法

构造临近空间信息系统多任务规划的一种新的理想解概念--ε-理想解,来表示每一个局中人在作方案决策时给定一个权衡值.证明了求解ε-最优理想解充要条件是求单一任务分配策略的最优理想解的规划问题,阐述了具有不同权衡值下的ε-最优理想解.示例表明了智能规划方法对临近空间信息系统多任务分配具有一定的有效性.     

基于多目标的飞行参数规划模型研究

分析了以飞机的飞行高度和速度为参数,以飞行总时间和燃油消耗为目标的飞行参数规划模型,并解算出此规划模型的最优解和目标函数的最优值。仿真分析结果表明目标函数选取不同,会对模型的最优解和最优值产生影响。此模型可为飞行参数规划研究提供参考。     

无界域上大规模不定二次规划存在最优解的充分必要条件

本文讨论了多面凸集的一些性质，给出了无界域上大规模不定二次规划存在最优解的充分必要条件。     

两类n阶非线性方程的两点边值问题

已有人利用上下解方法讨论过非线性n阶常微分方程两点边值问题解的存在性，而边值问题是否存在上下解是很难判别的，在文中，用初等方法讨论了两类n阶非线性方程满足两点边界条件的边值问题解的存在性、唯一性，并对解的存在性唯一性区间进行了估计。     

凸约束非凸二次规划问题的分枝定界方法

针对凸约束非凸二次规划问题,给出了一个分枝定界方法。首先,我们构造一个多胞体包含可行域,然后根据凸集上非凸二次规划问题的整体最优解在可行域边界达到的性质,对锥所包含的可行域的边界构造一个包含它的超矩形体,并对这个超矩形体构造一个外接球。我们通过求解球约束非凸二次规划问题的整体最优解来确定下界,并把锥的棱与可行域的边界交点的目标函数值的最小值作为上界,把锥剖分技术与外逼近方法结合起来寻找原问题的整体最优解。最后,我们对这个方法进行收敛性分析。     

基于改进启发式蚁群算法的无人机自主航迹规划

无人机自主航迹规划是未来无人机作战使用的关键技术难题。针对传统航迹规划方法存在的求解效率不高、实时性较差、容易陷入局部最优等缺点,提出一种基于改进启发式蚁群算法的无人机自主航迹规划算法。该算法前期使用Dijkstra算法进行初始化航迹,引入启发式信息,提高搜索效率;采用Logistic混沌映射初始化信息素,增加解的多样性,提高算法收敛速度;算法中、后期采用多航迹选择策略和模拟退火机制,提高全局搜索能力,避免因收敛速度过快而陷入局部最优解。对该算法进行仿真分析,结果表明:在存在威胁和障碍的复杂环境中,本文提出的改进启发式蚁群算法与标准蚁群算法相比,能够有效规划出一条从起点到终点的航迹,并且寻优精度更高,收敛速度更快,具有一定的应用价值。     

基于改进多元优化算法的动态路径规划

为满足动态路径规划实时性强和动态跟踪精度高的需求,提出一种基于能够同时发现并追踪多条最优以及次优路径的改进多元优化算法(IMOA)的求解方法。首先,通过利用贝赛尔曲线描述路径的方法把动态路径规划问题转化为动态优化问题;然后,把相似性检测操作引入到多元优化算法(MOA)中,增加算法同时跟踪多个不同最优以及次优解的概率;最后,用IMOA对贝赛尔曲线的控制点进行寻优。实验结果表明:当最优路径由于环境变化而变为非优或者不可行时,利用IMOA对多个最优以及次优解动态跟踪的特点,能够快速调整寻优策略对其他次优路径进行寻优以期望再次找到最优路径;其综合离线性能较其他方法也有一定的提高。因此,IMOA满足动态路径规划的实际需求,适用于解决动态环境中的路径规划问题。     

带约束的高超声速飞行器最优弹道的数值算法

为了准确地求解高超声速飞行器再入巡航段节省燃料的最优弹道,在直接法得到次优解的基础上,提出了全程协态估算方法。该方法不仅能精确地估算出协态变量的初值,而且能得到协态变量的曲线,特别是对于存在内点约束的问题,协态变量不再连续时,能估算出各协态的跳变量。针对带约束的高超声速飞行器最省燃料弹道的特点,利用序列二次规划(SQP)算法得到其次优弹道,并应用所提的方法估算出协态变量的初值和跳变量,由极大值原理构造两点边值问题(TPBVP),以估算结果作为初值求解得到最优弹道。仿真结果表明：在300 W/cm²的热流约束下,每个周期上最优解比稳态解节省约2.4%的燃料;另外,所提的全程协态估算方法能精确地估算出协态变量的初值和跳变量,以其作为初值有利于降低求解TPBVP的难度,使算法快速收敛到问题的最优解。     

Multiple-constraint cooperative guidance based on two-stage sequential convex programming

An improved approach is presented in this paper to implement highly constrained cooperative guidance to attack a stationary target. The problem with time-varying Proportional Navigation (PN) gain is first formulated as a nonlinear optimal control problem, which is difficult to solve due to the existence of nonlinear kinematics and nonconvex constraints. After convexification treatments and discretization, the solution to the original problem can be approximately obtained by solving a sequence of Second-Order Cone Programming (SOCP) problems, which can be readily solved by state-of-the-art Interior-Point Methods (IPMs). To mitigate the sensibility of the algorithm on the user-provided initial profile, a Two-Stage Sequential Convex Programming (TSSCP) method is presented in detail. Furthermore, numerical simulations under different mission scenarios are conducted to show the superiority of the proposed method in solving the cooperative guidance problem. The research indicated that the TSSCP method is more tractable and reliable than the traditional methods and has great potential for real-time processing and on-board implementation.     

n阶非线性常微分方程n点边值问题解的存在唯一性

n阶非线性常微分方程n点边值问题解的存在唯一性早在20世纪50年代就有人开始研究，所得结果都是在条件及其复杂，假设了一些边值问题解的存在性或唯一性(甚至包括其自身的)的基础上得到的，这给应用带来了困难。至今还没有人得到条件简单明了的便于应用的存在唯一性定理。这篇文章成功地将上述边值问题转化成了积分方程问题．并利用格林函数，不动点定理得到了较好的存在唯一性结果。为研究n阶非线性常微分方程非线性n点边值问题奠定了基础。     

时滞BAM神经网络周期解的存在唯一性

研究了一类具有变系数及状态依赖时滞或分布时滞的BAM神经网络模型的周期解存在唯一性问题,利用不动点定理获得了周期解的存在唯一性条件,并应用数例说明结论的有效性。     

Clutter map information for data association and track initialization

This paper considers the problem of forming and maintaining tracks when measurements have both uncertain origin and are corrupted by additive sensor noise. The spatial clutter measurement density is assumed nonhomogeneous and known. The PPDA-MAP algorithm provides a set of recursive formulae for data association and probability of target existence, thus enabling automatic track initiation, track maintenance, and track termination. New values for initial probability of target existence for IPDA-type algorithm are also derived. Simulation results compare the performance of IPDA-MAP with IPDA, IMM-PDA, IMM-PDA-MAP, EB-PDA and EB-PDA-MAP in a heavy and nonuniform clutter situation.     

飞行器控制分配技术研究现状与展望

综述了现代飞行器控制分配技术的研究和应用状况.首先简要回顾了线性控制分配方法,然后着重论述了非线性控制分配技术的最新研究成果,包括截距修正法、分段线性规划法、非线性规划法及包含神经网络计算、遗传算法和模糊逻辑在内的智能控制分配技术,最后讨论了有待于进一步完善和深入研究的若干问题.     

大气层内模型预测静态规划拦截中制导

在临近空间机动目标拦截中,拦截器的初始动力段对中制导段乃至末端拦截性能具有重要影响。在模型预测静态规划（MPSP）理论基础上提出了一种初、中制导联合规划制导方法,旨在解决多阶段、快速、最优拦截轨迹规划和制导问题。首先,提出了一种改进的模型预测静态规划方法,该方法不仅可以满足终端约束,还可以生成最优初始状态,并在性能指标中考虑状态变量相关函数。其次,基于等效阻力模型建立了包含动力段与非动力段的两段规划模型,通过采用分段离散以及构建关机点变分关系的方法,避免了内点约束的引入,使MPSP算法可直接求解该两段规划问题。最后,结合提出的MPSP算法以及两段规划模型,实现了终端速度最优的拦截轨迹规划,结合目标预测方法,实现了对机动目标的预测拦截。仿真结果表明,本文方法可提高制导精度和终端速度,且能更好满足对机动目标的拦截需求。     

燃气轮机分布式仿真的现状与展望

燃气轮机仿真正在从单一的、定制的仿真程序,向多学科综合的、适应各种需要的仿真环境发展。由于燃气轮机各个部件模型通常使用不同的编程模型和编程语言,需要在系统层次采用统一的编程模型来进行集成,同时屏蔽编程语言的差异。本文从编程模型的角度出发,对各种分布式仿真技术进行比较分析,并介绍了国内外燃气轮机仿真的发展现状。最后对国内燃气轮机分布式仿真的发展方向进行了探讨。     

数字压力计检定装置

在贵州国防区域计量站5505校准实验室建立了一套数字压力计检定装置,可满足对区域内各工厂开展数字式压力仪器检定的要求.     

基于MBD的飞机钻铆机器人离线编程技术研究

为了提高飞机钻铆机器人离线编程的效率和质量,提出了基于MBD的智能离线编程技术。依据飞机钻铆的工艺特点构建了钻铆MBD模型,从钻铆MBD模型中自动提取待加工孔的坐标、法矢、材料、紧固件规格等工艺信息,据此规划最佳的机器人加工站位、加工路径和加工工艺参数,并利用CAA基于DELMIA软件开发了飞机钻铆机器人离线编程系统。