美国弹道导弹防御系统的历史演变过程

为了防止带有大规模杀伤武器的弹道导弹为对美国本土、盟国和海外军事基地构成的威胁,历经50多年多种弹道导弹防御方案的研究,经过多次技术和防御法案的变化,投资规模巨大,发展道路十分坎坷的美国弹道导弹防御系统终于服入现役。     

关于对军队工程施工单位合同管理的一点思考

军队工程施工单位合同管理是工程项目管理的重要内容之一，文章结合笔者的体会和认识．探讨了军队工程施工单位合同管理的主要任务，军队工程施工单位合同管理中存在的主要问题。并提出了做好合同管理工作的几点建议。     

钨渗铜材料在真空高压开关上的应用

为适应高压真空开关抗熔焊、耐电蚀、高电导、低含气量等要求，对传统的生产工艺作了一系列改进，采用纯钨粉经模压成型、高温烧结，然后一次完成渗铜和覆铜。结果表明，钨骨架强度高，钢呈网状分布，基体组织细小均匀，气体含量低，覆铜层与钨铜基体结合紧密，从而满足了使用要求，降低了成本，获得了较好的经济效益。     

利用AQS技术对数控测量数据进行统计分析

介绍了利用波音公司的AQS技术，对数控测量系统获得的大量数据进行统计分析。利用这种方法可以在数控加工中进行质量跟踪和控制，避免传统的在加工后进行检验的被动局面，充分发挥数控测量系统在质量控制中的作用。     

基于SAR子孔径图像的浅海水下地形探测

沿海地区水下地形的精确测量是人类开展海洋活动的关键,合成孔径雷达（SAR）为浅海地形的探测提供了一种新的手段,其中TerraSAR-X 的聚束模式以较长的积分时间得到高分辨率的 SAR 数据,从而能较为精确地反演浅海的海底地形。传统 SAR 图像水下地形探测基于波周期不变的假设,这不仅需要已知初始水深求解波周期,还给探测结果带来一定误差。本文提出一种基于子孔径图像的水下地形探测方法,将一景SAR图像分解成多景时间间隔固定的子孔径图像,利用子孔径图像间的时间间隔,求解不断变化的波周期,从而获得更加精确的水下地形。使用在海南蜈支洲岛的 TerraSAR-X 数据验证了此方法的可行性,将此方法反演得到的结果与GEBCO数据进行比较,发现两者吻合较好（MAE为2.8 m,MRE为23.91%）,证明了此方法在浅海反演水深的巨大潜力。     

含DAATO_(3.5)的CMDB推进剂的制备及性能研究

为考察N-氧化3’3-偶氮双(6-氨基-1,2,4,5-四嗪)(DAATO_(3.5))在CMDB推进剂制备工艺中的适用性,采用无溶剂压伸工艺和於浆浇铸工艺对DAATO_(3.5)的工艺适用性进行了考察,制备了相应的CMDB推进剂样品。采用燃速试验、爆热试验、撞击感度试验、静电火花感度试验、爆发点试验、甲基紫试验、真空安定性试验等方法对含DAATO_(3.5)的CMDB推进剂的燃烧性能、能量性能、安全性能进行了系统研究。制备工艺试验表明,DAATO_(3.5)可安全的适用于无溶剂压伸工艺和於浆浇注工艺进行制备。性能测试结果表明,用DAATO_(3.5)取代原配方中的RDX(HMX),可明显提高推进剂的燃速,并保持燃速压强指数基本不变;随着配方中DAATO_(3.5)含量的增加,推进剂的爆热出现一定程度的降低;推进剂的撞击感度、静电火花感度及爆发点、甲基紫试验、真空安定性等热感度均出现一定程度的升高。     

基于空间机械臂的柔顺抓捕技术研究综述

空间机械臂是广泛应用于空间探索与实验的重要机电设备,柔顺抓捕技术为其执行主要任务的基础。空间机械臂柔顺抓捕技术主要分为结构设计与控制方法两个方面。首先介绍了目前已成功应用的空间机械臂末端执行器系统,分析了其结构与抓捕原理特点,说明了相应优势与不足,并给出结构优化的合理建议。然后介绍柔顺抓捕的控制方法在空间任务以及部分非空间任务中的成功应用,比较了其特性与优劣,归纳出优化的空间机械臂柔顺抓捕控制策略。本研究期望为空间机械臂柔顺抓捕技术的研究提供思路。     

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