拟可微规划的约束规范和对偶问题

在经典非线性规划中，导出最优性条件的一般方法是，在给定的可行点处通过对函数的一阶逼近，将一个非线性规划问题线性化为一个线性规划问题。可微非线性规划问题的线性化过程可以自然地推广到拟可微的情形。正如在经典情况中那样，为了确保在原问题的局部极小值点处，零向量是相应的“拟线性化”问题的最优解，必须对原问题的约束函数施加所谓的约束规范。本考虑了形如min{f(x)|g（x)≤0}的不等式约束拟可微规划问题的约束规范，这里f和g是Demyanov意义下的拟可微函数。中介绍了各种约束规范，提出了一个新的约束规范，研究了这些条件之间的关系，并且引入了一个Wolf对偶问题，给出了相应的对偶定理。     

航天员出舱牵引构型设计与结构响应性能评估

针对航天员出舱过程所用安全绳锁挂频繁的问题,进行了安全高效的航天员出舱牵引系统构型设计,可作为太空行走的辅助导向装置。基于材料结构弹塑性力学方程与含应变耦合项的热传导方程,推导结构热力响应可计算数学模型,利用Newmark方法以及Crank-Nicolson数值格式分别对热弹性方程和热传导方程进行时间域上的离散,构造金属结构响应无条件稳定隐式有限元格式,搭建了温度场与位移场相互影响热力耦合有限元算法(FEM)性能评估软件系统,以此对牵引系统的导轨进行热力耦合数值计算,得到在太阳辐射外热流载荷作用下具有较强抗变形能力的结论。计算了航天员采用牵引系统出舱时对导轨产生的拉力,并借助ANSYS Workbench对导轨进行静力学求解,验证了该牵引系统具备结构强度可靠性,可为空间站建设舱外作业平台提供重要理论分析依据与设计参考。     

GEM-TEPC调研分析及原理研究

为对现有组织等效正比计数器进行改进,使其满足高注量率辐射场测量要求,本实验室拟研制一套基于气体电子倍增技术的宽量程TEPC。对GEM-TEPC工作原理进行研究,并对其国际发展现状进行调研,在传统的TEPC灵敏体积内引入GEM膜取代阳极丝是切实可行的,可降低微型TEPC探测器的加工难度,提高其性能。通过调研总结GEM-TEPC设计关键技术,为本实验室GEM-TEPC的研制奠定了一定基础。     

基于工程加权的可诊断性指标分配方法研究

针对可诊断性指标分配的特点,提出了一种新的可诊断性指标分配方法.首先对影响可诊断性指标分配的参数和因子进行分析与量化;接着对不同量纲、不同取值范围的物理量进行了归一化,并且求解出分配权重;然后给出了可诊断性指标分配方法;最后通过实例仿真,说明了此方法具有合理以及简捷的优点.     

面向条件受限环境的动态可重构异构计算平台

在体积、功耗等条件和资源受限的场景下,承载异构计算资源的嵌入式计算设备之间如何实现异构资源的接入和自适应协同管理,进一步联合形成具有足够规模“算力”的智能空间“云”计算平台,是实现平台“算力”的跨越提升、实现更多功能、更优性能和更高智慧应用的关键.本文提出了一种任务驱动的嵌入式可重构异构计算平台,通过集群构建的方式,对多个分布式的、承载各种不同异构计算资源的嵌入式计算板卡统一调度管理;利用容器化技术,构建任务驱动的、可重构的任务执行的虚拟计算环境;开发了基于B/S模式的平台可视化用户界面,实现了用户对平台的随遇接入和全网资源可见.本文提出的嵌入式计算平台能够提供高可用的任务接入、任务下发与任务执行;实现了异构计算资源的自组织协同和统一化管理;基于容器化的任务执行方式细化了资源管理粒度,在不损失计算能力的前提下提高了资源利用率和任务并发度.本文提出的嵌入式动态可重构计算平台解决方案是对未来嵌入式“云”计算平台架构研究设计的有益探索.     

惯导系统可观测性及最佳可观测子空间的定量研究

应用结构分解理论及奇异值分解法对惯导系统（INS）误差模型的可观测性进行了全面分析。研究了一种基于可观测性定义及奇异值分解法结合的定量确定惯导系统可观测性及可观测度的方法，明确了惯导系统的三个最佳不可观测状态组合；应用线性控制系统的Kalman典范结构分解定理，确定了惯导系统的最佳观测子系统。此项研究成果，为进一步研究INS的快速精确对准及标定技术奠定了理论基础。     

含间隙铰链的非线性动力学建模及数值分析

针对空间可展开机构中的含间隙铰链,建立非线性动力学模型,研究其非线性动力学特性。将含间隙铰链实体等效为"T"字型梁模型,针对两侧端部的径向碰撞和侧向碰撞,首次提出了碰撞点的检测算法。针对不同的碰撞类型,建立相应的非线性接触力和摩擦力分析模型,将碰撞点处的作用力等效施加到"T"字型梁模型上。进行"T"字型梁模型在轴向冲击载荷下的动力学特性分析,并与ANSYS软件的分析结果进行比较,验证了含间隙铰链非线性动力学模型的有效性。分析了有多个含间隙铰链的可展开桁架动力学响应特性,研究含间隙铰链对桁架响应的影响机理。结果表明:采用含间隙铰链的动力学模型,可以更加精确地分析可展开桁架结构的非线性动力学响应,为可展开桁架结构的动力学设计提供支撑。     

基于光学/脉冲星的木星探测转移段自主组合导航

提出一种基于光学/X脉冲星的木星探测器转移段自主组合导航方案。该方案在探测器转移段动力学模型的基础上,以地球、火星、木星、木星卫星以及X射线脉冲星作为观测目标,从待观测目标的几何分布、视星等以及导航精度几个方面,分析光学自主导航待观测目标的可观测条件和可观测度,优化选取最优的光学观测目标;结合X射线脉冲星观测信息,构建光学/X射线脉冲星组合导航方案;结合无迹卡尔曼滤波算法,应用于木星探测转移段,实现探测器位置和速度估计。从数学仿真结果来看,该组合导航方案状态估计精度显著优于单独使用光学导航或者X脉冲星导航系统。     

一种可重复使用助推飞行器导航方案研究

介绍了重复使用助推飞行器（RBV）技术发展概况和三种典型回收方案,并对火箭动力自主返场RBV的导航系统方案进行了研究。根据高精度自主导航需求,确定了惯性＋卫星＋无线电的导航系统方案。基于动态贝叶斯理论和联邦滤波基本原理,提出了一种新的多传感器信息动态融合方案和算法。针对某飞行轨迹,对导航方案和算法的仿真验证结果表明：在整个返场飞行过程中,方案能实现RBV的高精度自主导航。     

航天飞机十大靓照

美国航宇局的可重复使用航天飞机在多年的服役生涯中为我们献上了无数个美妙的瞬间,一幅幅精彩的照片书写着航天飞机走过的辉煌岁月。实际上,航天飞机本身就是一个最理想的模特,想拍摄一幅低劣的照片,很难!随着＂阿特兰蒂斯＂号航天飞机发射升空最后一次执行太空任务,