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

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

连续dcpo上lawson拓扑的紧性

由于dcpo上赋予lawson拓扑后相对于s cot t拓扑会用更好的性质(由于lawson拓扑细于s cot t拓扑)。因此人们对lawson拓扑及lawson开集都很关注。本文主要讨论了连续dcpo上lawson拓扑紧性的问题。指出即使连续dcpo D是凝聚的，也不能保证D是lawson紧的，同时给出了一些lawson拓扑紧的例子。     

模糊σ-代数上的模糊数值测度及应用(Ⅰ)

设(Χ,A,μ)是一个全有限测度空间,H为由A生成的模糊σ-代数。通过计算H中模糊子集的截集的测度,运用一维模糊数的嵌入定理,构造了一种定义在H上取值于一维模糊数空间的测度,这种测度限制在A上就是测度μ,并且具有可列可加性、下连续性、上连续性、自连续性等性质。这种测度取值一维模糊数,保留了模糊子集较多的信息,所以它可以更为细致地刻划模糊子集。作为在模糊聚类理论方面的应用,把(Χ,A,μ)上用于度量普通集合间不相似性的度量推广到了H上的模糊子集间,得到了一种基本的H上不相似度量。     

弱正则空间

本文给出了弱正则空间的定义,并研究了弱正则空间的性质,指出弱正则拓扑是一分离拓扑。     

完备度量空间上的不动点定理

1922年,Banach证明了压缩映射的不动点的存在性。不动点理论对于解决一些实际问题诸如代数方程、微分方程、积分方程中都有应用。B ranc iari[1]提出了完备度量空间上的边值压缩,并证明了边值压缩映射的不动点定理。本文给出了完备度量空间上的三个不动点定理,推广了B ranc iari[1]中的结果,并且举例说明本文的结果是对Banach压缩定理的推广。     

线性拓扑的泛函表示

在这篇文章中,我们得到如下结果:任何拓扑线性空间的拓扑都可由一族“广义”γ-次加弱半范族唯一确定,(γ>0),然后我们利用“广义”γ-次加弱半范族来讨论拓扑线性空间的一些性质,作为上面结果的应用,我们指出,赋β-范空间(0<β<1)的拓扑可以用另一泛函——γ-次加弱范来确定。     

X射线脉冲星计时导航应用模式与空间试验进展

结合国家导航体系发展与工程应用迫切需求，主要讨论了X射线脉冲星计时导航的应用模式，并介绍了国内外空间试验进展。总结了脉冲星计时地基射电与空间X射线观测的特点和发展现状，阐释了脉冲星时研究与发展的重要意义；总结并归纳了X射线脉冲星导航的应用特点和现有水平，讨论了X射线脉冲星导航的技术优势和典型应用场景；总结了国内外X射线脉冲星计时导航的空间试验进展。根据国内外的空间试验结果，脉冲星时稳定度可达10-14量级，脉冲星导航精度可达到km量级，初步具备在轨应用价值。因此，加快推进国内脉冲星计时导航技术的在轨演示验证与工程应用具有重要意义。     

Wolter-Ⅰ型X射线脉冲星探测器的空间环境本底分析

X射线脉冲星导航具有自主性强、抗干扰、安全性高等特点。针对X射线脉冲星辐射信号的探测与识别介绍了一款Wolter-Ⅰ型X射线脉冲星探测器。为评估探测器的性能、提升灵敏度，对该Wolter-Ⅰ型X射线脉冲星探测器开展了蒙特卡罗(MC)模拟研究。首先基于空间环境信息系统(SPENVIS)平台给出运行轨道中不同种类带电粒子的分布与能谱特征；然后采用GEANT4软件构建了Wolter-Ⅰ型X射线脉冲星探测器的质量模型，模拟了探测器对电子、质子及氦等带电粒子的响应；最后以遮光膜参数优化为例说明探测器优化方式，并给出优化后探测器在700 km地球圆轨道上的空间环境本底。结果表明优化后探测器的空间环境本底为30.68 cts·s^-1。     

带有误差的广义压缩映射迭代序列的收敛阶

Liu Qihou提出了度量空间中带有误差的迭代序列的定义，并研究了迭代序列的收敛性。严格分析了完备度量空间中带有误差的两类广义压缩映射迭代序列的收敛速度，得到了迭代序列收敛阶的最佳估计，这些结果在近似计算中可用于估计不动点的大致范围以及根据精度要求确定迭代次数。     

关于拓扑空间的SH-连通性

在文献[1-5]的基础上,利用半拓扑空间中的半开集性质,讨论了拓扑空间的SH-连通性。并且得到了一些关于SH-连通性的新结果,推广了文献[5]的结果。     

奇异积分方程方法在接触压力分析中的应用

总结回顾了奇异积分方程的数值解法,对于第二类奇异积分方程使用分段连续函数法进行了求解;对于两个弹性体接触问题,通过接触体之间的滑移函数和间隙函数,建立求解接触压力的奇异积分方程.分别针对圆柱体与弹性半空间体、抛物线型压头与弹性半空间体、榫头与榫槽3类接触问题,确立奇异积分方程的具体表达式,而后使用分段连续函数方法进行求解,获得接触面上的接触压力.最后将计算所得的接触压力分别与理论解和有限元解进行了对比.对于圆柱体与弹性半空间体接触问题,奇异积分方程法的最大接触压力与理论解和有限元解的相对误差分别为0.3%和0.5%;对于榫头与榫槽接触问题,奇异积分方程方法计算所得的最大接触压力与有限元解的相对误差为1.8%,验证了奇异积分方程方法的有效性.      

空间绳系组合体的继电型控制离轨策略

为了使空间绳系组合体更好地完成空间碎片清理任务,提出一种更接近工程实际应用的继电型推力（Bang-Bang）离轨控制策略。利用带有差动间隙的Bang-Bang控制策略,实现绳系组合体切向的继电式推力加速;设计了一种全新的被动式卷扬机构,以避免在使用继电式推力离轨的过程中多次开关发动机对绳系组合体带来的负面影响;针对径向推力设计了输入受限的滑模控制器,且最终控制指令同样以继电式推力形式实现,抑制了离轨过程中绳系组合体的面内摆动。数值仿真结果显示,继电型推力能够实现与连续推力近似的效果,能够将绳系组合体的摆动角度抑制在一个较小的范围内;整个离轨控制策略能够使得空间绳系组合体在保持姿态稳定的前提下将空间碎片拖曳到坟墓轨道。     

自适应设计空间扩展的高效代理模型气动优化设计方法

对基于Kriging模型气动优化的加点方法和设计空间的构建问题进行了研究。首先,针对高效全局优化（EGO）方法收敛缓慢的问题,提出了一种混合加点方法,该方法通过引入期望提高（EI）阈值控制EI和最小预测值（MP）加点准则,利用先全局再局部的优化思想,提高了EGO方法在确定设计空间内的收敛性。其次,针对设计空间的构建问题,对比了扩大设计变量范围和多轮优化两种不同的设计空间构建方法,分析了设计变量范围对设计空间大小和样本密度的影响,进而提出了自适应设计空间扩展的代理模型优化方法。相对于传统固定设计空间的方法,自适应设计空间扩展的方法在动态的设计空间中进行优化搜索,只在有潜力的维度扩展设计变量范围,通过构建自适应设计空间,实现了样本的高效配置。最后,通过ADODG标准翼型优化算例证实,自适应设计空间优化方法可以大幅提高气动优化设计效率。     

基于位姿可达空间的太空机械臂容错路径规划

为了使太空机械臂在关节锁定故障后仍能继续完成后续任务,提出一种基于位姿可达空间的太空机械臂容错路径规划方法。基于牛顿-拉夫逊法计算太空机械臂关节人为限位,完成满足任务需求的退化工作空间求解,通过构造姿态可达度指标,在退化工作空间的基础上建立故障机械臂基坐标系下的位姿可达空间。通过在代价函数中增加最小奇异值代价项改进传统A^*算法,基于改进A^*算法在所建立的位姿可达空间内完成太空机械臂容错路径规划。所提方法综合了位姿可达空间与改进A^*算法各自的优势,实现了关节锁定故障太空机械臂同时满足避奇异与位姿可达要求的轨迹搜索。通过建立7自由度太空机械臂运动学模型开展数值仿真研究,仿真结果验证了所提容错路径规划方法的有效性。     

基于多智能体强化学习的空间机械臂轨迹规划

针对某型六自由度（DOF）空间漂浮机械臂对运动目标捕捉场景,开展了基于深度强化学习的在线轨迹规划方法研究。首先给出了机械臂DH （Denavit-Hartenberg）模型,考虑组合体力学耦合特性建立了多刚体运动学和动力学模型。然后提出了一种改进深度确定性策略梯度算法,以各关节为决策智能体建立了多智能体自学习系统。而后建立了"线下集中学习,线上分布执行"的空间机械臂对匀速直线运动目标捕捉训练系统,构建以目标相对距离和总操作时间为参数的奖励函数。最后通过数学仿真验证,实现了机械臂对各向匀速运动目标的快速捕捉,平均完成耗时5.4 s。与传统基于随机采样的规划算法对比,本文提出的自主决策运动规划方法求解速度和鲁棒性更优。     

小间距单孔冲击凸面靶板流场结构实验

利用烟线法研究了小间距、单孔冲击凸面靶板的流场结构.实验中,改变冲击雷诺数Re、冲击间距和冲击孔直径之比H/d以及冲击靶面相对曲率d/D等参数,通过拍摄流场形态,分析气流分离角度和涡旋结构随上述参数的变化规律.研究结果表明当Re,H/d较大时,在凸面靶板周向两侧形成了稳定的旋流结构.随着Re,H/d的增加,冲击射流与靶面分离处对应的圆心角增大,分离推迟.实验中还发现当d/D减小,流体与靶面的分离提前,其相对应的圆心角呈现减小的趋势.      

临近空间飞行器轨迹分析与组网性能仿真

近年来,临近空间组网成为研究热点,然而临近空间飞行器运行轨迹复杂和高动态的特性为实现可靠通信增加了难度,必须使用合适的移动模型对其性能进行仿真分析。分析了临近空间飞行器完整的运行轨迹,利用QualNet平台建立了飞行中各个阶段的模型,并基于无线自组网按需平面距离向量（AODV）路由协议进行了性能仿真,仿真结果为今后设计空天地-体化飞行器测控通信网提供了一定的依据。     

空间大型机械臂系统载运轨迹优化方法

针对在搬运及组装数十吨级负载过程中,空间站用大型机械臂会对空间站载体姿态产生扰动的问题,提出了一种笛卡尔轨迹参数化方法。利用基于广义雅克比矩阵（GJM）的分解运动速度控制和优化算法来实现基座姿态扰动控制,建立了反映载体姿态变化的目标函数。基于关节运动范围及避免动力学奇异等约束,采用粒子群（PSO）算法进行目标函数的优化,有效降低了空间大型机械臂系统在搬运重型负载过程中对载体姿态的影响。仿真结果验证了算法的有效性。     

Attitude tracking control for variable structure near space vehicles based on switched nonlinear systems

An adaptive robust attitude tracking control law based on switched nonlinear systems is presented for a variable structure near space vehicle (VSNSV) in the presence of uncertainties and disturbances. The adaptive fuzzy systems are employed for approximating unknown functions in the flight dynamic model and their parameters are updated online. To improve the flight robust performance, robust controllers with adaptive gains are designed to compensate for the approximation errors and thus they have less design conservation. Moreover, a systematic procedure is developed for the synthesis of adaptive fuzzy dynamic surface control (DSC) approach. According to the common Lyapunov function theory, it is proved that all signals of the closed-loop system are uniformly ultimately bounded by the continuous controller. The simulation results demonstrate the effectiveness and robustness of the proposed control scheme.     

Variable-fidelity optimization with design space reduction

Advanced engineering systems, like aircraft, are defined by tens or even hundreds of design variables. Building an accurate surrogate model for use in such high-dimensional optimization problems is a difficult task owing to the curse of dimensionality. This paper presents a new algorithm to reduce the size of a design space to a smaller region of interest allowing a more accurate surrogate model to be generated. The framework requires a set of models of different physical or numerical fidelities. The low-fidelity (LF) model provides physics-based approximation of the high-fidelity (HF) model at a fraction of the computational cost. It is also instrumental in identifying the small region of interest in the design space that encloses the high-fidelity optimum. A surrogate model is then constructed to match the low-fidelity model to the high-fidelity model in the identified region of interest. The optimization process is managed by an update strategy to prevent convergence to false optima. The algorithm is applied on mathematical problems and a two-dimen-sional aerodynamic shape optimization problem in a variable-fidelity context. Results obtained are in excellent agreement with high-fidelity results, even with lower-fidelity flow solvers, while showing up to 39% time savings.