~4He量子干涉仪陀螺的数学模型(英文)

建立了4He量子干涉仪陀螺的数学模型,包括驱动方程,流量方程和位置方程。该数学模型可以完整地描述4He量子干涉仪陀螺系统。由驱动方程可知,采用热驱动的陀螺能够长期工作,但采用压力驱动的陀螺只能短时间工作。由流量方程可知,流过弱连接的超流体流量中,不仅含有表示旋转通量的交流流量,还含有由驱动引起的其他流量。位置方程表达了薄膜的位移,该位移是陀螺系统中唯一能被检测的物理量。基于实验参数的仿真验证了数学模型的有效性。根据本文建立的数学模型,可以进一步研究4He量子干涉仪陀螺的性能和分析该陀螺的误差。     

挠性多体卫星星间跟踪天线回扫运动研究

针对耦合影响较严重的天线回扫过程展开研究.首先,将柔性支撑杆等效简化为悬臂梁结构,并基于拉格朗日方程建立多体耦合动力学模型.然后从耦合动力学模型出发,分析天线回扫运动对星体姿态稳定和柔性振动的影响,并根据分析结果引入命令预处理算法,规划天线回扫指令.最后对天线回扫运动进行仿真分析,仿真结果表明命令预处理算法能够有效地减小回扫运动对星体姿态稳定和柔性振动的影响.     

微小卫星数据存储器单粒子作用的检测及纠错

因为辐射导致的单粒子翻转效应（SEU）,使得微小卫星星上存储器在太空运行时其内容可能出现小概率错误,这种错误会影响计算机系统的运行和关键数据。文章阐述了“清华一号”微小卫星数据处理系统对SEU的纠错方法,分别介绍了实现（12,8）和（39,32）的汉明码纠错设计和基于FPGA的三模块冗余纠错编码方法,并分析了这些方法的工作原理和过程。     

第64届国际宇航大会9月将在北京召开

第64届国际宇航大会（IAC）将于2013年9月23日~27日在北京召开。大会由国际宇航联合会（IAF）、国际宇航科学院（IAA）、国际空间法学会（IISL）联合主办,由中国宇航学会举办。本届大会的主题是：推动航天发展,造福人类社会（Promoting Space Development,for the Benefits of Mankind）。     

直升机飞行气象要素的精细化数值预报

适应精细化预报的发展趋势,设计并发展了能对我国数值预报产品进行深加工处理的诊断分析模块。该模块能在常规数值预报产品的基础上,进一步制作直升机飞行气象保障专用参数产品。文中介绍了该模块的设计和实现方法,并结合主要产品,分析了其在业务保障中的应用。     

涡轮叶片二维冷却结构参数化设计技术研究

研究了涡轮叶片二维冷却结构的参数化设计技术。采用参数控制点方法实现冷却叶片壁面的变厚度设计,采用隔肋数量、位置参数、偏转角度实现任意数量和形式的冷却腔造型,根据前缘缩进参数确定冷却通道前缘切线弧位置,通过尾缘切割参数实现半劈缝和全劈缝尾缘结构设计。结合叶片外形造型技术开发了造型设计程序,该程序可建立包含任意形式冷却通道和常用尾缘结构的变壁厚二维冷却叶片模型。     

Graph-tree-based software control flow checking for COTS processors on pico-satellites

 This paper proposes a generic high-performance and low-time-overhead software control flow checking solution, graph-tree-based control flow checking (GTCFC) for space-borne commercial- off-the-shelf (COTS) processors. A graph tree data structure with a topology similar to common trees is introduced to transform the control flow graphs of target programs. This together with design of IDs and signatures of its vertices and edges allows for an easy check of legality of actual branching during target program execution. As a result, the algorithm not only is capable of detecting all single and multiple branching errors with low latency and time overheads along with a linear-complexity space overhead, but also remains generic among arbitrary instruction sets and independent of any specific hardware. Tests of the algorithm using a COTS-processor-based onboard computer (OBC) of in-service ZDPS-1A pico-satellite products show that GTCFC can detect over 90% of the randomly injected and all-pattern-covering branching errors for different types of target programs, with performance and overheads consistent with the theoretical analysis; and beats well-established preeminent control flow checking algorithms in these dimensions. Furthermore, it is validated that GTCGC not only can be accommodated in pico-satellites conveniently with still sufficient system margins left, but also has the ability to minimize the risk of control flow errors being undetected in their space missions. Therefore, due to its effectiveness, efficiency, and compatibility, the GTCFC solution is ready for applications on COTS processors on pico-satellites in their real space missions.     

用于复杂流场数值模拟的重叠／嵌套网格方法

介绍了一类用于复杂流场数值模拟的重叠／嵌套网格方法。它是一类多块结构化网格,可用于有或无多重网格加速收敛技术的有限体积、有限差分等计算。其基本思想是把复杂流场的计算区域化分成相对简单的子区域,每个子区域上的网格可以独立生成;网格界面之间的流场信息交换通过三线性插值来实现,通过修改流场解算方法来排除洞中的点。     

万向磁悬浮动量轮研究

目前大部分空间飞行器三轴姿态控制采用的是飞轮系统 ,其精度较高 ,而采用磁悬浮轴承支承的动量轮比普通的滚珠轴承动量轮有更高的姿控性能。在此基础上发展的动量矩方向可改变的万向磁悬浮动量轮可以单独实现三轴较高精度的主动姿态控制 ,具有重要的实用价值。同时 ,万向磁悬浮动量轮的研究也为集成能源与姿态控制系统的研究提供了技术支持。文意介绍了万向磁悬浮动量轮在国际上研究和发展的情况 ,概括了其中的关键技术 ,并给出了一种初步的结构设计实例。     

大型空间折展机构简化模型的热传导分析

基于热传导效应和等效的热学参数,对空间伸展臂结构及所处热环境进行了简化处理。将边界温度条件进行傅里叶级数展开,利用一维热传导模型,分别计算了在边界上施加各阶展开分量作用时,简化伸展臂结构的瞬态温度响应,进而利用叠加原理得到了结构总体的近似热响应。建立了伸展臂热学分析的有限元模型,计算了伸展臂在相应条件下的动态热响应,验证了本文分析结果的合理性,为伸展臂结构的分析设计尤其是概念设计阶段的热性能评估提供了一定的工程参考。