凸曲面的离散求交算法及其在飞机设计上的应用

构建精确的目标外形是飞机设计的必要条件。本文给出了凸曲面离散求交的算法，在飞机设计中采用此方法，能够得到机身机翼交线的准确位置。     

基于凸优化的再入轨迹三维剖面规划方法

可重复使用飞行器一般采用大升阻比气动外形，再入轨迹三维剖面规划方法可充分发挥这类飞行器固有的机动能力。计算量大是制约三维剖面规划应用的难题，为提高计算效率，提出了一种基于凸优化的再入轨迹三维剖面规划方法。首先，分析运动方程特性，利用定义新的控制变量、约束松弛、连续线性化等技术，将原始非凸的三维剖面规划问题转化为一个凸优化问题。其次，将指令反解步骤嵌入至序列凸化算法中，通过迭代求解凸优化子问题，获得原问题的可行解。数值仿真结果表明所提方法具有较高的求解精度和确定的收敛性质，飞行器的机动能力得到充分发挥；与伪谱法的结果对比表明凸优化方法在轨迹规划问题上具有更高的求解效率。     

凸曲线的求长问题

本文给出并证明了凸函数的一个新的性质（文中引理及其证明），依此证明了凸曲线是可以求出长度的曲线（文中定理及其证明）及凸函数是可以积分的函数。     

基于偏置比例导引与凸优化的火箭垂直着陆制导

凸优化由于求解效率高在飞行器轨迹规划和制导中得到广泛研究应用。但是，由于火箭垂直返回制导需要考虑气动力带来的非线性，现有的凸优化求解方法或简单地采取逐次线性化近似凸化最优控制问题，经常出现收敛性问题；或需针对具体问题进行相应的系列凸化剪裁，虽然改善了收敛性，但不同模型的凸化剪裁方法差别很大，通用性较差。为此，将偏置比例导引与凸优化相结合，用以求解存在落角、落速和推力范围约束的火箭垂直返回定点软着陆制导问题。提出的制导方法将该制导问题分解为法向满足落角与落点约束的偏置比例导引，以及切向满足速度与推力约束的凸优化和滚动时域控制制导。在切向制导中，提出利用三次多项式近似飞行轨迹以方便凸优化求解，并建立剩余飞行时间的估算方法以提供给比例导引。仿真结果表明，提出的制导方法能有效满足各种约束，实现火箭精确着陆。与现有的直接采取逐次线性化近似的凸优化方法相比，提出的方法由于将制导进行切向和法向分解，大为简化了凸优化模型，显著提高了求解效率和收敛性。此外，提出的方法无需复杂繁琐的凸化处理，对于一般的推力可控且对末速存在约束的固定终端位置的制导问题皆适用。     

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

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

一类（F，α，ρ，d）-凸多目标半无限分式规划的最优性充分条件

本文考虑了一类(F,α,ρ,d)-凸下的多目标半无限分式规划问题,得到了这类规划问题的一些最优性充分条件。     

一般数据集的C^2有理保形插值

给出了一种适用于一般数据集的有理保形插值函数，其在每个子区间上是一个不超过三次的有理多项式，在整个区间上是C^2连续的。S（x）可保持数据集的凸凹性和拐点性质以及局部单调性。在满足保形性和C^2连续性的前提下，S（x）在插值节点处的一阶导数可在一定范围内自由选取，因而，可利用其调整插值曲线的形状，以获得最佳设计效果；也可以利用其满足其他要求，如可选取S(x）在节点处的一阶导数值，使其在任何情况下都可保证与被插函数在节点处的一阶导数有较高的逼近阶，从而使S(x）与被插函数有较高的逼近阶。本文中构造有理C^2保形插值的算法简单，计算量极小，优于现有文献中的保形插值算法。     

Aczel不等式的推广

在Mitrinovie,D.S.著的《解析不等式》中介绍了有名的Aczel不等式、Popoviciu不等式、Bellman不等式,但后者的不等式的条件不妥当,且也没有给出等式成立的充要条件。本文进一步推广Aczel不等式,并改进了Popoviciu不等式与Bellman不等式的条件,也给出了等式成立的充要条件,且把Aczel不等式推广到复向量空间中,也推广到相反的不等式。     

拓扑线性空间上连续线性泛函的延拓

本文在线性空间中给出了线性球的定义，由此我们得出：拓朴线性空间中连续线性泛函延拓定理成立的主要条件为当其任意子空间中的线性球为开集时，存在原拓扑上的凸邻域，使此凸邻域限制在子空间上时属于线性球。     

凸壳的结构与直径

本文是讨论线性空间和赋范线性空间中集合 E 的凸壳 conV(E)的性质,首先推出了线性空间中 ConV(E)的结构表示。进而在赋范线性空间中证明了diam(conV(E))=diam(E)。