应用限制编程的信息模型内在检查方法

提出了一种基于限制编程(Constraint programmmg)的信息模型内在一致性检查方法,重点描述了EXPRESS信息模型的一致性及其检查。EXPRESS语言,作为标准制造数据交换的一个重要部分,广泛地应用于制造与信息业。中提到的一致性检查包括三个步骤：EXPRESS模型形式化,限制满足性问题(CSP)从形式化模型中的抽取和CSP的可满足性测试。本同时揭示了限制编程的一个新的应用领域：模型验证。     

应用约束条件快速解算整周模糊度

ＧＰＳ载波相位测量用于解算载体的航向和姿态时必需解决的问题之一就是整周模糊度的确定。近年来提出了多种模糊度的解算法方法,但对ＧＰＳ航姿系统来说,若能利用固有的约束条件则会使模糊度问题变得简单且快速有效。在详细分析了几种约束条件的基础上,文中探讨了如何合理 这些约束条件来减小模糊度的搜索范围,以加快模糊度的解算速度,并对检验方法作了改进。通过仿真结果对文中方法进行了检验。     

惩罚函数法在发动机性能计算中的应用

按照涡喷发动机工作时遵守的气动热力学定律，建立了发动机的稳定数学模型，并针对双轴涡轮发动机性能计算的非线性数学模型，利用优化和最优控制理论中的惩罚函数法，对发动机性能进行了基于约束的最优求解程序设计，利用程序对某型发动机的稳定飞行特性进行了计算，计算结果表明，使用惩罚函数法求出的特性曲线变化规律正确，发动机平衡方程的解的精度更高，在此基础上得出的发动机飞行特性也更准确。另外惩罚函数法对初值的要求很低，迭代运算不易发散。     

含端部集中质量柔性梁与刚性约束间的碰撞振动(英文)

以基础受简谐激励的含端部集中质量柔性梁与双侧刚性约束边界的碰撞振动系统为研究对象 ,利用Galerkin方法和 Lagrange方法建立含三次非线性项的系统自由运动微分方程 ,采用 Newton碰撞定律建立碰撞方程 ,用数值方法分析了不同的激励频率或幅值 ,不同的约束间隔等参数对系统碰撞振动长期响应的影响 ,并通过Poincaré截面揭示了系统动力学行为的演变过程。结果表明 ,系统长期响应的性质取决于上述参数的联合作用。在所分析的激励参数边界范围内 ,系统存在一系列的周期运动经多次倍周期分叉直至混沌的演化过程及其逆过程。     

基于气动辅助变轨的变气动外形飞行器概念研究--最优控制律问题

从一个天地往返飞行器的上升轨道和再入返回轨道的优化，以及适用不同飞行任务的变轨要求的气动外形问题，提出一项基于气动力辅助变轨的变气动外形飞行器的新概念研究。对于一个固定气动外形飞行器要同时满足上升轨道有效载荷最大和再入轨道热流峰值、过载峰值及机动性能约束下的成本最低往往是困难的。若同时满足不同飞行任务：飞往太空站的运输任务，空间拦截和交会机动巡航任务及星际探测任务，则更为困难，实际上是不可能的。文章研究基于气动力辅助变轨，在热流约束下，气动外形参数变化对最优控制的影响。其结论为：热流约束下的最优控制解，包括考虑推力协同变轨，除了在非约束弧的滚转角不直接受气动外形影响外，其余的控制律，升力系数和滚转角都是气动外形参数和攻角的函数。因而变气动外形可作为一项新技术，即通过气动外形参数变化和相应的变轨策略而获得性能和成本都最佳的用途很广的一种新型飞行器。     

Eliminating negative VTEC in global ionosphere maps using inequality-constrained least squares

Currently, ground-based Global Navigation Satellite System (GNSS) stations of the International GNSS Service (IGS) are distributed unevenly around the world. Most of them are located on the mainland, while only a small part of them are scattered on some islands in the oceans. As a consequence, many unreasonable zero values (in fact negative values) appear in Vertical Total Electron Content (VTEC) of European Space Agency (ESA) and Center for Orbit Determination in Europe (CODE) IONEX products, especially in 2008 and 2009 when the solar activities were rather quiet. To improve this situation, we directly implement non-negative physical constraints of ionosphere for global ionosphere maps (GIM) with spherical harmonic functions. Mathematically, we propose an inequality-constrained least squares method by imposing non-negative inequality constraints in the areas where negative VTEC values may occur to reconstruct GIM models. We then apply the new method to process the IGS data in 2008. The results have shown that the new algorithm efficiently eliminates the unwanted behavior of negative VTEC values, which could otherwise often be seen in the current CODE and ESA GIM products in both middle and high latitude areas of the Southern Hemisphere (45°S∼90°S) and the Northern Hemisphere (50°N∼90°N). About 64% of GPS receivers’ DCBs have been significantly improved. Finally, we compare the GIM results between with and without the inequality constraints, which has clearly shown that the GIM result with inequality constraints is significantly better than that without the inequality constraints. The inequality-constrained GIM result is also highly consistent with the final IGS products in terms of root mean squared (RMS) and mean VTEC.     

三维攻击角度约束部分制导控制一体化设计

针对侧滑转弯(STT)导弹带有攻击角度约束的机动目标拦截问题,提出一种基于自适应终端滑模动态面控制的三维部分制导控制一体化(PIGC)设计方法。首先,建立了针对机动目标拦截的侧滑转弯导弹三维部分制导控制一体化设计模型,且不需要导弹速度微分体轴系分量信息。然后,使用终端滑模控制理论构建误差向量与虚拟控制量,达成精确拦截与攻击角度约束的控制目的;引入有限时间非线性收敛扩张状态观测器(ESO)来在线估计系统不确定性;设计自适应算子与自适应更新律对观测器的估计误差进行补偿,以提高方法的鲁棒性。最后,三维空间拦截仿真校验了方法在提高拦截精度与增强角度约束收敛性能的有效性。     

含滑行时间约束的真空段弹道设计研究

由于动力系统及测控资源的约束,工程中存在着末级两次点火但滑行时间受限的运载火箭真空段弹道设计问题。基于线性引力场的假设,引入含滑行时间约束的切换条件,从而将含固定滑行时长的弹道优化问题转换成对两点边值问题的迭代求解和对运动方程的积分,并通过多个算例仿真验证了该方法的正确性和有效性。同时,研究了迭代过程中滑行段不同弹道预报方法对弹道设计的影响,结果显示较高的预报精度可以获得更优的弹道设计结果。该方法提供了一种新的弹道设计思路,在总体方案论证或初步设计阶段可以替代传统设计方法,以有效提升弹道设计效率,优化火箭方案。     

最小数据丢失量的地月中继卫星任务调度研究

月球背面的探测器必须依靠地月中继卫星进行数据传输与通信。地月中继任务包括实时性任务和延迟容忍类任务,如数传任务。当探测器等待传输的数据量超出用户存储容量时,延迟容忍类任务会由于探测器本地存储资源不足和地月中继卫星天线资源受限而无法完成,导致任务数据丢失,所以需要设计一种合理的地月中继任务调度策略,提高地月中继卫星的资源利用率,减少数据的丢失。对地月中继卫星任务调度进行了研究,在分析地月中继卫星数传任务的特点及用户的存储限制的基础上,以最小化数据丢失量为优化目标,建立了地月中继卫星任务调度模型,并设计了一种基于离散烟花算法（DFWA）的地月中继卫星任务调度算法。仿真数据分析表明,基于离散烟花算法的地月中继卫星任务调度算法在求解结果上优于遗传算法,是一种合理、有效的调度方法。