嵌入式处理器P2020机器码程序到C语言源程序的溯源方法

处理器PowerPC P2020在航空航天等嵌入式领域被广泛应用,以RTCA/DO-178C中A级软件的适航要求作为研究的出发点,提出了从文件、函数声明、函数体代码3层次实现P2020机器码程序到C源程序的溯源方法。在获取C语言源程序与PowerPC P2020机器码程序文件名列表的基础上,实现PowerPC P2020机器码文件主名的溯源;通过遍历C源程序抽象语法树和PowerPC P2020机器码获取函数名列表,实现PowerPC P2020机器码函数声明的溯源;通过定义C语言程序抽象语法树节点生成期望汇编指令序列的规则,实现PowerPC P2020机器码函数体的溯源。通过设计245个C源程序文件与345个PowerPC P2020机器码程序文件,1 111个C语言函数声明与1 273个PowerPC P2020机器码函数声明,以及覆盖C语言程序23类语法结构的460个测试用例,验证了PowerPC P2020机器码程序到C源程序的自动化溯源方法的有效性。结果表明：文件溯源和函数声明溯源的追溯匹配率达100%,程序函数体代码的平均溯源匹配率达97.22%。溯源匹配结果可以检查PowerPC P2020机器码程序是否在编译过程插入例外异常代码,以防止其带来的安全隐患,保证航空航天嵌入式安全关键软件机器码的安全性和可靠性。     

FASTMast伸展机构屈曲模式的理论分析与试验

针对空间站盘绞式（FASTMast）伸展机构在轨工作的承载与变形特点,从理论角度对以伸展机构后屈曲柔性条作为弹性支承的屈曲模式进行了分析。结果表明：在后屈曲柔性条达到临界刚度之前,伸展机构屈曲模式表现为肘关节运动,与伸展机构对角拉索无关;达到临界刚度之后,屈曲模式表现为欧拉屈曲,而后屈曲柔性条的刚度与其截面惯性矩成正比。通过与试验结果的对比,验证了理论分析的正确性,同时也为其它同类机构的设计和试验提供了参考依据。     

嵌入式测试系统中UDP/IP协议栈的移植与实现

根据分布式测发控系统单机的通信要求,基于DM9000以太网控制器芯片和BM3101嵌入式处理器进行了以太网网络接口的设计,实现了无操作系统的UDP/IP协议栈的移植,并详细介绍了数据发送和接收的具体实现过程。对系统通信进行了测试,结果表明UDP通信整体稳定可靠,能够满足实际应用需求。     

卫星部件用大型螺旋管式充退磁设备设计

在卫星的研制过程中,对磁性较大的部件进行充退磁处理是卫星磁试验的重要环节之一。文章简述了卫星充退磁原理、国内外卫星充退磁设备现状;提出了大型螺旋管方式充退磁设备技术方案和设计要求。设备的成功研制,填补了国内卫星磁测试领域的技术空白,已对数千个卫星部件、单机进行了充退磁试验,退磁效率达到40%～90%。     

多阶段高斯伪谱法在编队最优控制中的应用

针对编队协同攻击时间最优控制问题,首先通过分析编队协同攻击作战过程,将编队协同攻击任务划分为编队形成、编队保持和协同攻击三个阶段。在简化控制延迟与效率的基础上,建立三阶段通用的空间运动方程。然后结合各阶段的任务特点,综合考虑弹间防碰、期望队形参数、交班误差、导弹自身控制限制,及攻击目标精度等因素,建立各阶段的最优控制模型。基于高斯伪谱法,提出编队形成-保持-攻击一体化的时间最优控制算法。通过大量仿真,在合理选择勒让德-高斯（LG）节点的前提下,利用该方法可快速得到优化的控制指令,弹道及约束性能的仿真结果显示,编队协同攻击全过程可满足任务需求及相应约束限制,校验了算法的可行性。     

一种空间极低温吸附制冷机的设计与实现

针对极低温吸附制冷技术的热沉制冷系统,系统分析了极低温吸附制冷的特性,研究了热沉温度对极低温吸附制冷性能的影响,研制了一台极低温吸附制冷机样机,工质气体为氦4,在1.5W@4.2K G-M制冷机基础上实现了50μW@0.8K的制冷性能,验证了基于机械制冷系统的更高热沉温度技术的可行性,这一成果为深空探测和载人空间站相关研究提供了技术支撑。     

基于FPGA的SDH系统帧同步的研究与实现

文章介绍了SDH系统中帧同步的设计思想,分析了影响帧同步器性能的参数选择,并分析了一种并行帧同步器的设计思路,在此基础上,采用FPGA设计方法实现了用于SDH系统的STM-4的并行帧同步器,并进行了仿真分析。     

新型运动款汽车前悬架设计及参数化分析

为了满足人们对个性的追求,提出了设计新型运动款汽车的设想.根据整车设计参数及悬架设计理论设计了前双横臂独立悬架;基于ADAMS/V iew建立了该悬架的虚拟样机模型,对该悬架进行设计研究,通过分析得知,上、下横臂与水平面的安装角度这两个设计变量对悬架的各性能评价指标影响均较大,不仅可以改变变化量的大小,甚至可以改变变化趋势;转向拉杆断开点的位置对车轮前束角的影响很大;对该悬架进行优化设计,优化目标不仅考虑到性能指标的变化量,同时考虑了变化趋势对操纵稳定性的影响,变化趋势保证了汽车具有不足转向特性和回正特性.优化结果显示所设计悬架系统满足悬架设计要求,悬架的性能指标参数达到了理想的变化范围.     

仅有相对视线角测量时的椭圆轨道交会相对导航分析

对仅有相对视线角测量时的椭圆轨道交会相对导航问题进行了分析．借鉴已有研究成果,给出仅有相对视线角测量时,相对导航系统可观的定义,以及为使系统可观,加速度项所需满足的充分必要条件;分析指出由于相对动力学模型误差的存在,相对导航系统始终是可观的,但可观度很弱;而追踪器进行适当的机动可极大改善系统的可观性,给出为使系统可观,机动加速度具体所需满足的充分必要条件;指出当通过施加机动加速度改善系统的可观性时,获取零输入相对位置矢量方向是前提条件,并论证了利用相对视线角测量信息,可以对零输入相对位置矢量方向进行估计和预测．     

澳大利亚东南部森林山火HJ卫星遥感监测

以2009年2月发生在澳大利亚东南部的森林山火为研究对象,利用HJ-1B遥感影像识别森林山火,分析HJ-1B在林火灾害事故中的监测能力,通过对HJ-1B IRS B07设计参数及数据特点进行分析,提出适用于HJ-1B卫星林火监测的归一化火点指数(Ku)算法.研究表明:Ku值大于0.40为潜在可能的火点像元,云耀斑和地表虚假高温点是影响林火监测的主要噪声.由于HJ-1B没有获取到研究区域未着火前的影像数据,利用MODIS(Moderate-resolution Imaging Spectroradiometer)空间分辨率为250 m的通道1和通道2计算植被指数,其结果能较好的应用于HJ-1B林火监测算法中.通过对比分析HJ-1B林火监测结果和MODIS林火产品MOD14认为,HJ-1B能更好的监测出澳大利亚东南部森林火灾,反映出火灾的局部空间分布和细节特征.