带落角约束的再入机动弹头的复合导引律

针对再入机动弹头垂直打击目标的要求,研究了具有末端落角约束的复合导引律.该导引律包括俯冲平面内的制导方程和转弯平面内的制导方程,通过在最优导引律的基础上引入滑模变结构控制,增强导引律的鲁棒性.为了减小控制量的抖振和能量损耗,提出了采用RBF(径向基函数)神经网络自适应调节切换项增益的方案,数学仿真验证了该方案的有效性.仿真结果还表明,与最优导引律相比,复合导引律在外界干扰的影响下仍能保持较高的制导精度.     

软件无失效测试数据的统计分析

软件可靠性估计是软件可靠性研究的重要问题之一,文中对分布式软件系统可靠性的评估方法进行了研究,给出了软件系统可靠度的最优置信下限.最后以某大型软件的评估为例,说明该方法的应用.     

一类比率型捕食系统的定性分析

研究一类比率型捕食者-食饵模型dxdt=x(a-bx)-x2c+x2myy2dydt=y(-r+x2d+xm2y2),应用微分方程定性理论,得出该系统极限环的存在性与正平衡点的全局渐近稳定性的充分条件。     

一类三分子饱和反应动力系统的定性分析

研究化学反应中一类多分子一级饱和反应的数学模型应用微分方程定性理论,研究了该系统极限环的存在性、不存在性和唯一性问题。     

介子跃迁形状因子的重夸克极限和1/m_Q修正

在BS理论框架下,对0~-→0~-和0~-→1~-(0~-和1~-分别代表赝标介子和矢量介子)跃迁的形状因子进行模型无关的分析.结果表明BS框架既能给出重夸克极限下的自旋—味对称性,又能给出重夸克有效理论关于1/m_Q修正的Luke定理及其它关系.     

线性无阻尼半正定振动系统简明正定化方法

从线性无阻尼半正定振动系统运动微分方程出发,分析得出系统作自由振动时具有内部惯性力守恒、振动动量守恒以及质心守恒等3个基本物理属性.在此基础上,给出了简明的正定化方法,并证明了该方法的普适性,数值算例也验证了其正确性.与"物理约束"法相比,文中提出的正定化方法规则简单,计算量小,适用于理论推导、计算机编程和数值计算.     

一种直线段匹配的新方法

直线特征在人造目标和环境中普遍存在,直线段的匹配是三维重建等应用领域的首要解决问题.一般单直线的匹配方法难以解决被部分遮挡直线的匹配问题,提出了一种基于极线约束和RANSAC算法的匹配方法.对直线段上的点运用基于极线约束的匹配方法在另一幅图像中进行点的同名匹配,采用RANSAC算法建立直线模型,剔除野值,得到匹配直线段.本方法能有效地解决图像中被部分遮挡直线段的匹配问题,仿真实验和实际图像实验证实了本算法的正确性和高精度.     

Chance‐constrained multi‐terminal network design problems

We consider a reliable network design problem under uncertain edge failures. Our goal is to select a minimum‐cost subset of edges in the network to connect multiple terminals together with high probability. This problem can be seen as a stochastic variant of the Steiner tree problem. We propose two scenario‐based Steiner cut formulations, study the strength of the proposed valid inequalities, and develop a branch‐and‐cut solution method. We also propose an LP‐based separation for the scenario‐based directed Steiner cut inequalities using Benders feasibility cuts, leveraging the success of the directed Steiner cuts for the deterministic Steiner tree problem. In our computational study, we test our branch‐and‐cut method on instances adapted from graphs in SteinLib Testdata Library with up to 100 nodes, 200 edges, and 17 terminals. The performance of our branch‐and‐cut method demonstrates the strength of the scenario‐based formulations and the benefit from adding the additional valid inequalities that we propose. © 2015 Wiley Periodicals, Inc. Naval Research Logistics 62: 321–334, 2015     

敏捷成像卫星自主规划模型与算法

针对敏捷成像卫星自主规划问题,将规划、决策、执行和信息反馈相结合,提出星上自主规划框架,并介绍框架结构和模块功能。在分析主要约束条件的基础上,建立基于时间线约束网络的问题模型。通过将各种卫星动作前后衔接,组合成能够完成不同任务的动作序列,提出一种面向卫星动作序列的启发式算法。该算法分为规划和决策两个部分,并在卫星执行每一个动作序列的同时基于多种启发式规则进行规划,在动作序列执行结束时进行决策。实验结果表明了自主规划框架和模型的合理性以及算法的有效性。     

Numerical simulation of detonation of an explosive atmosphere of liquefied petroleum gas in a confined space

The detonation of an explosive atmosphere from liquefied petroleum gas disseminated in air in a confined space is studied using numerical modeling with software product ANSYS AUTODYN.