航天器运输包装箱仿真验证平台技术研究

针对数量有限的物理跑车试验无法满足减振与保温性能测试需求的问题，提出一套航天器运输包装箱动力学与热学仿真验证方法，包括：建立适用于包装箱系统的刚柔耦合多体动力学系统，通过结合线路条件测试生成的动力学系统外部激励，实现减振性能虚拟跑车测试；建立基于计算流体力学的包装箱热学模型，通过模拟自然对流和空调控制，实现包装箱保温性能虚拟跑车测试；基于C/S架构和导航式流程设计思想，建立航天器运输包装箱仿真验证平台，通过实际案例证明该平台仿真结果与实际跑车测试数据具有较高的一致性。     

美国机载激光器计划可能推迟3年

据美国导弹防御局（MDA）一位官员透露，五角大楼关于明年机载激光器计划的五亿四千九百万美元的预算请求，已被提议削减两亿五千万美元。如此一来，对这一未来系统的关键验证试验，可能要推迟3年左右。这项验证试验将用经过改装的配备有高功率激光器的波音747飞机来进行，目的在于击落一枚靶弹。而当前该试验预定在2009年进行。但是，如果众议院武装部队委员会这一建议变成法律的话，那么，导弹防御局及其波音领导的机载激光器缔约团队，将无法实现原定的时间表。     

数控加工程序的验证技术

数控加工技术已广泛应用于我国的航空工业及其它制造业。本文简要介绍了数控加工中一些常见的错误，并详细阐述了数控加工程序的验证方法及其特点。     

美航宇局公布DART卫星撞击事故报告

5月16日，美国航宇局公布了去年4月15日“自主交会技术验证”（DART）卫星与其交会目标、已退役军用卫星“多路径超视距通信”发生碰撞事故的调查报告概要。报告称．因推力器基于错误的导航数据而过多地点火工作，DART在完成交会前已用光增压氮气机动燃料。     

残击机高度分层试飞验证

针对采用气动补偿空速系统以改善测高系统精度的现代飞机，简要介绍了高度分层的要求，阐述了引起飞机空速系统位置误差的主要误差源并进行了分析；给出了通过GPS速度法对残击机高度分层试飞验证结果，并对试飞结果进行了分析和讨论；结果表明，所得到的试飞数据可为飞机气动补偿空速系统设计和高度分层试飞方法研究提供重要依据。     

劳拉太空系统公司将建造天狼星FM-6高功率卫星

劳拉太空系统公司已获得为天狼星卫星无线电公司建造天狼星FM-6卫星的合同。天狼星FM-6卫星设计基于劳拉太空系统公司的1300太空验证平台，其灵活性可适于多种用途和技术改进。天狼星FM-6卫星将携带一X波段上行链路载荷和-S波段下行链路载荷，其功率最强大，寿命末期功率可达20kW。该卫星将运行于高倾角椭圆轨道（HIEO）。     

三角面元灰度图象三维重建算法研究

三角面元SFS算法是结合三角面元模型和线性反射图来阐述SFS问题的,该算法的基本思想是用三角面元素来近似光滑表面,并用一系列基于节点的线性方程组合来表达该表面。本文在此算法的基础上,求解时通过加权平均迭代,提高了恢复的准确性和迭代的收敛速度。     

FY-2C星应答机子系统技术改进

阐述了风云二号(FY-2)C星测控分系统应答机子系统的功能,以及载频中心频率、工作体制、接收机输入信号电平、馈线损耗、发射性能和功耗等主要技术指标.给出了子系统的组成和工作原理.介绍了C星应答机的倍频链电路、调制器、选用固态功率放大器(SSPA),以及功率合成器放电余量增大等设计改进.试验验证及在轨运行状况表明,C星应答机工作正常,所作技术改进正确有效.     

基于断言的形式验证方法应用研究

针对模型检验算法在工程应用中面临的形式语言局限性和状态空间爆炸的危机,提出了基于断言的形式验证解决方案。通过对DW8051_timer模块的实际验证,说明了该方法可以简化模型检验算法在工程实践中的应用,并且与传统仿真方法相比,它能在一定程度上缓解航天领域数字系统设计中的验证困境。