面向航天器嵌入式软件的在轨修复方法

航天器在轨运行的修复手段主要是软件的在轨修复.SPARC平台是我国航天领域应用最广泛的处理器架构设计.针对SPARC平台的航天器软件在轨修复问题,提出一种基于二次链接的方式生成在轨软件修复注入码的方法,解决在轨修复注入码重定位的问题.通过地面遥控注入,利用航天器在轨软件预埋的钩子函数,实现在轨函数模块的动态替换及恢复,大大提升SPARC平台软件的在轨修复能力.通过多个在轨航天器的实际工程应用,证明该方法是可行的和有效的,且具有良好的工程应用价值.     

风雷软件LES开发设计与验证

基于国家数值风洞风雷软件开源框架，设计开发了LES(Large Eddy Simulation)湍流模型，主要包括Fourier谱/有限差分方法 LES求解器和有限体积/有限差分方法 LES求解器。简要介绍了采用的不可压缩流动求解的投影法、Fourier谱/有限差分混合方法、亚格子模型等理论方法，给出设计的软件框架和计算流程，尤其说明采用的松/紧2种耦合模式。通过数值模拟不可压缩槽道湍流、亚临界雷诺数圆柱绕流、NACA0012临界攻角的低频振荡算例，验证求解器的计算精度和复杂湍流模拟能力。基于风雷开源框架设计的开源LES模型，具备高精度数值格式、亚格子模型、湍流统计等通用模块，可为国内学者提供一个LES湍流模拟研究的开放平台。     

某飞行器推力矢量试验测力装置研制

为满足某飞行器推力矢量试验的测试要求,采用两台六分量应变天平和一个空气桥组成测力装置来实现飞机全机气动力和喷管推进特性同时分别测量。基于有限元软件,对天平的应变及空气桥对天平的干扰进行了分析。结果表明:空气桥对天平力分量的干扰值优于5%,对力矩(滚转力矩除外)分量的干扰值优于15%,达到了设计指标。通过校准获得了单独天平、天平带空气桥(充压、不充压)状态下的校准公式,校准结果表明:两台天平各分量的综合加载误差均优于0.3%,天平带空气桥(充压、不充压)状态下各分量的综合加载误差优于0.5%,空气桥对天平的干扰量值与有限元分析结果一致。理论分析与实测结果证明:研制的天平及空气桥达到了预定目标,它的测量精准度高,满足推力矢量风洞试验需求。     

《载人航天》征稿简则

《载人航天》由中国载人航天工程办公室主管、主办,是国内唯一以载人航天工程为背景的综合性学术期刊,双月刊,大16开,国内公开发行。本刊现为中国科技核心期刊,中国科学引文数据库(CSCD)来源期刊,教育部航天学科评估来源期刊。1栏目设置高端论坛(TOP FORUM):由载人航天工程领导、院士及社会各界著(知)名人士撰写的,或是体现国家重大科技专项地位,反映工程对经济社会发展产生重大推动作用和重要影响,以及工程发展战略的文章。     

一个DIS实时通讯网络的设计与实现

以一个ＤＩＳ（分布交互仿真）实时网络的设计和开发过程为背景,研究了ＤＩＳ实时网络开发中的几个问题。在进行实时ＤＩＳ网络规划时,采用了多点传送的通讯服务方式,保证每个仿真应用只发送变化的信息,只处理与自身相关的信息。指出了进行数据的实时传输格式定义时应注意的几个问题,这些数据定义必须支持多种不同的操作系统和平台。最后给出了开发ＤＩＳ实时通讯软件的方法,包括通讯协议和应用编程接口的选择。     

Ada动态测试中遗传算法的参数编码方法

介绍了将遗传算法应用在Ada程序结构测试中,被测单元参数按照遗传算法的运算规则进行编码的原则与方法.首先,介绍了包括枚举类型和变长数组的基本数据类型的参数编码方法.由于Ada语言允许使用动态数据结构类型的参数,如何在一个较高自动化的动态测试工具中实现对动态数据结构的自动测试,成为首要关注的问题.因此文中着重介绍了Ada程序的动态数据结构在遗传算法中的编码方法.     

文献“Software Testing in Space Programs”[1]点评

作者以他个人的观点,对该文献中重要部分进行了点评,指出:空间软件地面可靠性测试尽管困难重重且有诸多限制,但不能放松甚至放弃执行现有的软件地面测试标准;应从"精神号"火星探测器飞行失败中吸取教训,加强软件地面测试,包括传统软件黑盒和白盒测试方法中的典型测试项目(如:健壮测试、应力测试、极值测试、随机测试等);已经公布的新软件研发标准——Aerospace Report No.TOR-2004(3909)-3537,Software Development Standard for Space Systems值得我们参考。