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

滑轨防高温高速烧粘技术的应用研究及进展

对防高温高速燃气烧粘技术在工程应用中的环境条件，清洗、设计变更或配件更换、发动机改进、脂／干膜类润滑防护涂层、无机和有机防热／烧蚀材料、纳米功能涂层和技术的应用研究状况和进展进行了概述；介绍了冷／热模拟、发动机试车台模拟等防烧粘—腐蚀试验评估技术以及在这些技术领域取得的最新进展。     

刹车状态下起落架支柱的摆振研究

在研究主起落架支柱在刹车状态下摆振的过程中，我们以双轮支柱式主起落架为例，同时，考虑到了其在纵向振动及扭转振动时自动防滑系统（ABS）的工作情况^[1]。本文在做了一些必要的假设条件下，引入了与起落架机轮，缓冲支柱及减摆器相关的变量和参数，并推导出主起落架刹车机轮振动的数学模型，进而研究与缓冲支柱和机轮参数相关的摆振激发主发生摆振的稳定区域边界。     

神舟3号飞船上太阳辐射测量

2002年3月至9月间，用3台太阳辐照度绝对辐射计(SIAR)组装的太阳常数监测器在神舟3号飞船轨道舱上测量了太阳辐照度．改进了SIAR辐射计的锥腔结构，把电加热丝埋在薄锥腔壁中间，提高了绝对精度．采用了用宽视场辐射计飞船在轨运动中太阳扫过其视场期间进行测量的方法，测量值与美国EOS上ACRIM Ⅲ测量数据的最大偏差在0．2％以内．     

伊朗核能力评估

自2002年8月伊朗的反政府组织——伊朗全国抵抗委员会揭露伊朗正在纳坦兹和阿拉克秘密建造2座核设施以来，国际原子能机构（简称IAEA）对伊朗核设施展开连续核查，同时，国际社会也围绕伊朗核问题引发诸多争论。     

飞机导管数字化柔性定位装夹技术探讨

因飞机导管种类多、数量大、形状复杂,针对传统定位装夹技术无法满足飞机导管精确、高效、敏捷制造需求,探讨了飞机导管数字化柔性定位装夹技术方案。提出了阵列式夹具、被动数字化重构夹具和自主数字化重构夹具3种飞机导管数字化柔性定位装夹技术方案,为实现导管数字化定位、高效精确装夹提供解决方案,达到缩短导管制造装备周期,降低制造成本的目的。     

三维孔的数控检测及数学处理

本文叙述了任意孔的数控检测方法及相应的数学处理，解决了任意孔的数控检测问题。     

一种分布式阵列波达方向估计方法

针对分布式MIMO雷达中的DOA估计问题,提出一种基于分布式子阵列作为发射,密布阵作为接收的DOA估计方法。发射阵元间隔为接收孔径大小。利用发射作为辅助提高阵列自由度,扩展阵列孔径,推导了DOA估计的过程。与密布阵MIMO雷达不同,在空间分集MIMO雷达中提高自由度并扩展阵列孔径。仿真结果表明了算法的正确性和有效性。     

基于退化数据与故障数据的导弹竞争故障预测

针对具有多元退化量的导弹竞争故障预测问题,分析了导弹退化特性,并在考虑突发故障与退化故障相关性的基础上,建立了具有多元退化量的导弹竞争故障预测模型。对导弹性能退化数据与突发故障数据进行统计推断,确定了数据的分布类型,在此基础上对竞争故障预测模型的参数进行了求解。针对导弹性能退化数据分布参数存在非线性、小样本等问题,运用最小二乘支持向量机(LS-SVM)预测模型对性能退化数据的分布参数进行了预测,得到了性能退化数据未来某一时刻的分布函数;针对退化量与突发故障的相关性,应用位置-尺度模型分析了退化量与突发故障的关系,得出了突发故障与退化量的相关参数,进而根据导弹竞争故障预测模型得到了导弹未来一段时间内的竞争故障概率。以贮存状态下的整批导弹为例,实现了导弹竞争故障预测,并与其他预测方法进行了对比,结果验证了方法的合理性与有效性。