中国航天科技集团公司空间飞行器软件检测站

中国航天科技集团公司空间飞行器软件检测站成立于1996年,是面向航天嵌入式领域的专业软件评测机构。检测站建立了完善的软件第三方评测体系,具有高素质的人才队伍、业界领先的测试技术和测试工具,为客户提供最佳的嵌入式软件测试解决方案和优质的测试服务。检测站承担了白成立以来我国发射的几乎所有卫星、飞船软件的第三方评测任务,为我国航天事业做出了突出贡献。检测站发展迅速,业务领域已扩展到软件评测、FPGA验证、软件产品保证和咨询服务、工具研发等领域,其优质的服务得到了广大用户的高度认可和广泛赞誉。     

目标飞行器红外地球敏感器寿命分析与试验验证

针对红外地球敏感器受其寿命影响未能进行寿命验证,通过进行可靠性分析,确定了薄弱环节,设计了寿命试验,开展了地面试验验证.寿命试验采取实时寿命试验和进程加速寿命试验相结合的方法,模拟在轨工作环境,考核产品的实际工作寿命,对极端工况下（寿命末期产品密封功能失效）试验件的运转性能及失效模式进行摸底.分析了寿命试验关键参数和极端工况下试验件轴系运转测试数据,数据表明试验件工作正常,已运行在稳定工作期.由可靠性分析和寿命试验数据可以得出：目标飞行器红外地球敏感器实际寿命相对3年寿命要求有较大的裕量,寿命试验的开展可以进一步验证产品实际寿命.     

委内瑞拉遥感卫星姿轨控系统方案及在轨验证

介绍了委内瑞拉遥感卫星姿轨控系统的主要功能、指标要求、系统组成、工作模式、控制方案设计和主要故障诊断逻辑.根据卫星在轨运行数据,给出了卫星在轨运行的部分曲线和姿态控制的指标实现情况,对姿轨控系统方案进行了在轨验证.     

SoC验证方法学研究与应用

SoC系统功能日益复杂,规模也日益庞大,SoC验证面临着前所未有的挑战.对SoC验证方法学进行了研究和总结,包括验证流程、验证层次和验证技术.通过对基于DW8051的SoC的验证实践,证明了这套验证方法学的可行性和有效性.     

对接机构分系统研制

介绍了我国神舟八号飞船和天宫一号目标飞行器对接试验的对接机构分系统的组成、控制时序、设计方案,以及可靠性与安全性。给出了对接机构分系统研制中总体设计、动力学仿真、试验和关键部件研制等关键技术,以及整机特性测试、连接分离试验、热真空对接与分离试验、寿命试验等验证情况。回顾了对接机构分系统的研制过程。     

基于可靠性增长试验信息的可靠性综合验证方法

利用可靠性增长试验信息进行可靠性综合验证,减少了试验样本量,节约了试验费用和时间,同时降低了风险。对单台系统失效截尾的可靠性增长试验,基于AMSAA模型,给出了利用增长数据进行可靠性验证的统计方案,在增长信息充分的情形下,可直接做出判决,这样就能利用可靠性增长试验代替可靠性验证试验;而在增长信息不够充分,不能直接作出判决时,利用增长试验信息,制订追加试验方案,与传统的定数截尾可靠性验证方案相比,追加试验方案减少了验证试验所需样本量,降低了双方风险。     

民用飞机主最低设备清单建议稿验证评价标准研究

根据 AC-91-037 的要求,只有当主最低设备清单建议稿（PMMEL）项目验证完成并经飞行运行评审委员会（FOEB）评估通过后,该项目才被算作通过 FOEB 评审。为选择合适的 PMMEL 项目开展验证,需要民用飞机主制造商全面考虑各影响要素,并对各影响要素进行科学有效的评估。本文以层次分析法为基础建立PMMEL 验证评价标准,利用德尔菲法确定关键指标和各个指标的重要性得分;以某国产民机型号的燃油系统PMMEL 项目为案例说明评价标准的应用,并确定具体的验证项目。结果表明：本评价标准能够对 PMMEL 验证进行有效评价,为 PMMEL 验证工作提供了参考和支持。     

通用飞机安全性适航符合验证工作体系研究

研究CCAR23.1309条款要求,确定通用飞机安全性适航验证项目.在安全性分析和验证方法的基础上,结合适航取证要求和特点,提出FHA要求确立—局方审查认可—SSA要求验证—局方审批认证的安全性工作认证程序,并在此基础上规划了安全性适航验证工作的体系结构.基于飞机研制和适航取证各阶段工作,结合整机及各系统安全性设计的实...     

嵌入式处理器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机器码程序是否在编译过程插入例外异常代码,以防止其带来的安全隐患,保证航空航天嵌入式安全关键软件机器码的安全性和可靠性。     

热声载荷下薄壁板行波管疲劳分析与试验研究

高速飞行器薄壁结构在高速气流冲击下,产生的热载荷、声载荷、随机振动载荷会使结构产生非线性大绕度动力学响应和高周疲劳破坏。对3组一端固支GH188薄壁板开展行波管热声疲劳试验,研究了温度和声压级对薄壁板的响应及寿命的影响,得到在热声载荷下薄壁结构的频率和动应力响应以及可能产生破坏的危险位置和疲劳寿命。根据耦合的有限元/边界元法对薄壁结构的非线性响应进行数值仿真,采用改进的雨流计数法和Morrow平均应力模型预估结构的疲劳寿命,与试验结果对比:频率响应误差在1%以内,基频应力响应误差在1%～3%,寿命值在3倍左右,验证了热声疲劳寿命预估模型的有效性。随后分析了薄壁结构的热振特性,分析发现:在声载荷和随机振动载荷下,结果基频响应起主导作用,且变化趋势相似,当基频动应力水平相同且主要研究基频附近疲劳寿命时,可用热振试验代替热声试验;当频率较宽时,热振疲劳寿命明显低于热声疲劳寿命。