折纸技术，让太空盛开“太阳花”——NASA研制可折叠的太阳能板

太阳能板是太阳能发电系统中的杨心部分,也是太阳能发电系统中最重要的部分。在太空中,太阳能板源源不断的吸收能量,供给卫星、航天器的运行,未来还可能采集太阳能量,之后传输至地面。然而单体太阳电池必须以组件方式提供电源,这就使得太阳能板向太空的运输形成了新问题,不过,最近科学家将古老的折纸技术应用于太阳能板上,赋予了运送太阳能板进入太空的新方式。     

涡轮间隙泄漏涡破碎对损失的影响

采用数值方法联合标准k-ω两方程湍流模型求解雷诺平均Navier-Stokes方程组,研究了不同间隙高度下GE-E³（Energy Efficient Engine）涡轮第一级动叶顶部间隙泄漏涡（TLV）的破碎特性及其对泄漏损失的影响。首先描述了泄漏涡的破碎现象,并对其动力学特性进行了理论分析,接着研究了间隙高度对泄漏涡结构及破碎特性的影响,最后对泄漏涡破碎与损失的关系进行了探讨。研究结果表明：涡轮叶顶间隙泄漏涡具有不稳定特性,当泄漏涡具有足够的强度可以克服通道涡卷吸形成完整涡结构时,在叶片后半部分逆压区发生了涡破碎现象,带来了额外的涡破碎损失;间隙高度对泄漏涡破碎位置的影响比较明显,在大间隙下泄漏涡趋于相对稳定;叶顶泄漏流产生的掺混损失以泄漏涡的破碎为标志分为两个阶段,大量的掺混损失发生在泄漏涡破碎之后,这也是叶顶泄漏流产生损失的主要部分。     

面向NXD的XML数据函数依赖

XML的半结构化特性造成了Native XML 数据库中数据模式规范化设计中的很多问题.采用结构信息和数据信息相结合的方法,给出XML数据间函数依赖的定义,解决数据模式规范化设计中的理论问题.建立了XML模式路径和XML数据树节点路径的定义,描述XML数据中的路径;给出了XML文档有效性的形式化定义;在此基础上定义了树元组和树元组相等的概念.运用树元组及其相等的概念定义了XML数据的函数依赖关系,进而给出了相应的自反、增广、传递推理规则,用于推导给定集合所蕴涵的函数依赖关系.并证明了这一推理规则是正确的.上述工作为Native XML 数据库系统中数据模式的规范化设计提供了一定的理论基础,增强了XML数据的语义特性.     

陈纳德 与他“永远的公主”宋美龄

1937年,46岁的克莱尔·李·陈纳德,从一个退休的美国空军上尉,就任中国空军参谋长,整整在中国抗战8年,组建了一支强大的飞行军,帮助中国打败了日本侵略者。很多人不知道的是,日后为中国抗战建立了巨大功勋的陈纳德在见到他在中国的上司宋美龄第一面后,就在日记中记下这样的文字:"她使我无法恢复常态,从那天起,她将永远是我的公主。"     

气膜约束对轴系固有频率影响的试验

对10kg转子进行自由状态和有气膜约束两种状态下的试验模态分析,试验结果给出了转子平动、锥动和一阶弯曲时的固有频率及其振型等模态参数,分析了轴承供气压力变化对轴系固有频率的影响.进行了轴系升降速试验,结果表明:气膜约束下的模态分析结果比自由状态下的更接近于升降速试验的结果.试验结果为气体轴系固有频率的确定以及控制参数的选取提供了依据,也为下一步轴系振动控制奠定了基础.      

基于BP神经网络的高精度陀螺恒流源补偿方法

为了提高陀螺恒流源精度,提出一种基于BP神经网络的陀螺恒流源补偿方法.采用BP神经网络训练恒流源控制指令与恒流源输出之间的非线性映射稳态模型,以实时估计恒流源输出偏差.设计恒流源控制指令补偿判据,当输出偏差超出设定裕度时,按比例对恒流源控制指令值进行实时补偿,使得恒流源输出更接近控制目标值,以实现更优的精度.通过实物在回路仿真验证了上述方案的有效性,并通过与传统对控制指令进行分段线性标定方法相比较,显示了上述方案的恒流控制优势.     

串并混联空间机械臂全自由度轨迹规划算法

目前,国内外对串并混联空间机械臂的研究较少;而且大多在舍弃冗余自由度的情况下进行轨迹规划.针对7自由度串并混联空间机械臂,提出了一种基于解析解、并且充分放开全部7个自由度的机械臂轨迹规划算法.该规划算法既扩大了串并混联空间机械臂的规划可达空间,又保证了规划的实时性,同时还保留了结构承载能力强的优点,可以充分发挥其作为空间抓捕用臂的优势.通过仿真和地面空间操作抓捕试验,验证了算法的有效性.     

一种跟随式大磁矩磁力矩器高反电势抑制技术

摘要： 提出一种可以实现大磁矩磁力矩器磁棒电流续流时间自动调节的控制方法,该方法既可以抑制大磁矩磁力矩器高反电势的产生,又无需增加功率器件为磁棒电流提供续流回路,大幅减小控制线路的体积及热设计难度,同时可以满足输出磁矩在小幅值内频繁变换方向的使用要求.     

一种针对金星探测器的姿态指向设计

摘要： 金星探测需要超长距离低码率传输,因而金星探测器需要保持其数传天线指向地球.相对于地球轨道飞行器来说,金星探测器距离太阳更近,需要固定散热面来维持探测器内的温度.提供一种基于在金星探测器偏置安装天线的姿态指向设计,能够保证从金星向地球传输数据并且维持散热面远离太阳.而此设计旨在减少数传天线的数量至一根同时将两个固定平面作为散热面.还提供两种详细方案来控制姿态机动来保证在数传天线始终指向地球的同时在特定节点切换散热面.     

基于Event B的中断管理需求和设计形式化建模与验证方法

随着软件复杂度的迅速增长,传统的基于测试的方法逐渐难以满足航天器操作系统的可靠性和安全性需求,形式化方法逐渐成为航天器操作系统安全可靠性的有效保障.基于Rodin平台,采用Event B形式化语言,通过需求和设计重写、制定精化策略并逐步精化的方法,对航天嵌入式操作系统SpaceOS2的中断管理模块建立了需求层和设计层形式化模型,将模型检验和定理证明相结合,验证模型的正确性并且满足安全性质.