知识作业的内涵辨析与界定

借鉴泰勒对工作（task）的定义，结合现代认知科学信息加工、问题解决等理论，在分析比较知识作业与操作作业、知识作业与脑力劳动以及知识作业与问题解决的基础上，适应知识经济时代生产率提高的要求，从管理工程与工效、信息加工、问题解决三个角度给出知识作业的内涵，分别为：知识作业是“一连串的动作”，心智操作是知识作业过程的“动素”；知识作业是人脑的信息加工和计算过程，心智操作是知识作业的“算法”；知识作业是根据作业目标所确定的心智操作序列，包括结果的规范化输出。     

航天飞机自动着陆轨迹优化设计

采用沿约束轨迹的推演计算方法及优化原理对航天飞机自动着陆飞行轨迹进行优化设计。首先根据过载、垂直下降率、连续性和平稳性要求确定飞行轨迹的基本形状，然后采用两点边值优化方法对轨迹参数进行优化设计以获得理想的接地动压。与传统的和制导系统联系在一起的轨迹设计方法相比，该方法具有简便、快速、可重复使用、鲁棒性强等特点。     

一种新的共线平动点拟周期轨道稳定保持策略

限制性三体问题下共线平动点附近的拟周期轨道在深空探测中具有重要的实际应用价值,得到了各航天大国的广泛重视。通过将动力学中心流形结构引入轨道控制方法的设计之中,得到了基于投影到中心流形的共线平动点拟周期轨道稳定保持策略。首先推导了会合坐标到中心流形坐标的正则变换方法,在此基础上设法通过引入轨道机动,将偏差状态点投影到中心流形上,从而达到消除不稳定分量的目的。该方法充分整合了平动点的动力学特性,并且也适用于周期轨道的稳定保持。通过对Lissajous轨道和晕轨道的数值仿真表明,该方法较以往方法具有更强的稳定性,能在显著降低轨控燃料消耗的基础上达到较好的稳定保持效果。     

空间机械臂辅助深层采样阻抗控制策略

针对空间机械臂辅助深层采样任务中的建模与控制问题,基于刚体李群SO(3)方法对机械臂进行建模。通过梯形规划对机械臂进行轨迹规划,采用阻抗控制方法控制机械臂运动。推导了李群SO(3)模型下机械臂关节空间与末端笛卡尔空间之间的雅可比矩阵,并且得到了两个空间的相互转换关系。采用锥互补方法计算采样机械臂与复杂接触面的碰撞力,并基于非光滑算法求解锥互补条件与系统动力学方程。通过对比位置控制与阻抗控制,证明了阻抗控制在实际应用过程中能够更加柔顺地控制机械臂与接触面进行接触。通过对控制参数进行调整,探究了不同控制参数对机械臂控制的影响,优化得到了合适的控制参数,从而能控制机械臂辅助完成深层采样的任务。     

脱靶量估算和广义比例导引

本文提出一种适于真比例导引系统估计脱靶量的方法，依据这种方法，只要知道制导－控制时间延迟、拦截器的目标的相对运动速度等，就可以估计出脱靶量的大小。本文还就减小脱靶量而有采用广义比例导引的前景进行了探讨。     

人工拉格朗日点附近的被动稳定飞行

利用太阳帆能在三体问题中实现人工拉格朗日点,人工拉格朗日点克服了经典拉格朗日点位置固定的缺点,研究人工拉格朗日点的被动控制对深空探测有重要的意义。理论上人工拉格朗日点都不稳定,研究表明在被动控制下存在某些人工拉格朗日点的稳定特性与稳定平衡点非常接近,在工程上可以认为稳定。被动控制可以通过设计太阳帆来实现,本文给出了被动稳定太阳帆的设计,在该设计下考虑轨道和姿态的耦合动力学方程。基于该耦合方程研究了人工拉格朗日点的稳定性。仿真结果表明被动太阳帆使得人工拉格朗日点稳定。     

计算大型实对称特征问题的 Lanczos-QR 算法

为了计算大型实对称特征值问题Ｋｘ＝λＭｘ的少数低阶特征值对,本文给出Ｌａｎｃｚｏｓ－ＱＲ迭代方法。首先,给定初始迭代向量ｖ１,作ｍ步Ｌａｎｃｚｏｓ分解：ＫＶｍ＝ＭＶｍＴｍ＋ｈｍｅｍＴ。取Ｔｍ的ｄ个最大特征值为移位量,对Ｔｍ进行ｄ步带原点位移的ＱＲ分解。然后,修改初始迭代向量ｖ１。迭代地重新开始这一过程,迫使初始迭代向量ｖ１进入需求的特征子空间,从而使残量‖Ｋｘ－θＭｘ‖→０。数值例子表明,该方法收敛性强,且稳定、有效。     

松约束运输问题模型与算法研究

运输问题存在着所谓的"多反而少"悖论现象,本文用运输问题的松约束模型,说明了运输问题产生悖论现象的原因,从而拓宽了运输问题的应用范围,增加了运输问题的适应性,本文给出的运输问题的松约束模型的表上作业算法,运算简单,能彻底解决了运输问题的"多反而少"悖论现象,用本文所介绍的算法解一些问题,得到了更省的调运方案.     

基于非连续算子广义变分不等式强解的存在性

在算子不连续的情况下,利用FKKM定理和Weierstrass定理及标量化方法得到了广义向量变分不等式的强解存在性定理.     

Evolution of periodic orbits near the Lagrangian point L2

A study of the evolution of the periodic and the quasi-periodic orbits near the Lagrangian point L₂, which is located to the right of the smaller primary on the line joining the primaries and whose distance from the more massive primary is greater than the distance between the primaries, in the framework of restricted three-body problem for the Sun–Jupiter, Earth–Moon (relatively large mass ratio) and Saturn–Titan (relatively small mass ratio) systems is made. Two families of periodic orbits around the smaller primary are identified using the Poincaré surface of section method – family I (initially elliptical, gradually becomes egg-shaped with the increase in the Jacobi constant C and elongated towards the more massive primary) and family II (initially egg-shaped orbits elongated towards L₂ and gradually becomes elliptical with the increase in C). The family I in the Sun–Jupiter and Saturn–Titan systems contains two separatrix caused by third-order and fourth-order resonances, while the Earth–Moon system has only one separatrix which is caused by third-order resonances. Also in the Sun–Jupiter and the Saturn–Titan systems, family I merge with family II, around Jacobian constant 3.0393 and 3.0163, respectively, while in the Earth–Moon system, family II evolves separately from two different branches. The two branches merge at C = 3.184515. In the Earth–Moon system, the family II contains a separatrix due to third-order resonances which is absent in the other two systems.