DERA的核心压气机发展验证计划

对DERA的核心压气机发展验证计划作了简要介绍,重点围绕核心压气机设计研制思想、方法和设计研究体系的发展验证,分析和说明了已取得的各项进展。最后对这一研究计划的意义进行了分析和讨论。     

空间站机械臂捕获悬停飞行器试验系统设计与验证

捕获悬停飞行器是中国空间站机械臂的关键任务之一,由空间站机械臂实现悬停飞行器的捕获、拖动和锁紧,形成刚性连接并辅助对接。在分析和比较国内外空间悬停飞行器捕获试验技术的基础上,设计了一种用于大型空间机械臂捕获悬停飞行器的地面试验系统,该系统主要由空间机械臂、气浮零重力模拟系统、机械臂位姿测量系统、悬停飞行器模拟移动装置、模拟移动装置测量系统组成。仿真分析和地面试验,结果表明：该试验系统可实现对低速到高速的动态模拟目标的跟踪捕获,满足空间机械臂捕获悬停飞行器试验任务需求,完成了机械臂捕获悬停飞行器技术在近似真实使用环境中的验证。     

载人航天器内腐蚀材料表面原位修护装置设计

为了能够快速有效地修护空间站等载人航天器舱内的微生物腐蚀材料表面,提出了一种腐蚀材料表面原位修护装置设计方案,从装置原理结构、载荷强度仿真、原理样机验证方面进行了阐述。初步应用验证结果表明：装置具备快速修护功能且操作便捷,能够实现对材料表面菌斑清除后的快速涂抹修护;材料修护装置操作过程中无紫外光泄漏,无臭氧污染,总挥发性有机化合物没有超过密闭舱内的最大允许浓度,具有良好的安全性。该装置的应用有望提升我国载人航天器在轨防控微生物污染与腐蚀的能力。     

嵌入式多核操作系统的形式化建模与验证

在安全关键系统中,核心基础软件的正确性尤其重要。任何的错误都可能导致整体系统失效,带来严重的后果,同时,安全关键软件要通过高等级国际安全认证标准,则必须使用形式化方法进行设计、建模和验证。调研嵌入式操作系统、编译器、文件系统、机载网络/总线的形式化验证案例,在此基础之上引出嵌入式多核操作系统形式化的问题;对嵌入式多核操作系统的时间确定性和功能正确性属性进行形式化建模和验证;并对全文进行总结。     

航空发动机低压涡轮转子叶片动应力测量方案设计

针对发动机结构特点和低压涡轮转子叶片动应力测量要求,提出一种基于应变片和遥测技术的低压涡轮转子叶片动应力测量方案。在不改变发动机振动激振因素的情况下,该方案通过整机结构改装设计,解决了测试系统布置、冷却方案设计、应变片走线和改装转子动力学评估等问题。相比于应变片+引电器测量方案,该动应力测量方案具有改装结构小、冷却方案简单、应变片存活率高、验证成本低等优势。通过在发动机上开展的专项动应力测量试验,验证了设计的动应力测量方案的可行性,为低压涡轮转子叶片动应力和阻尼效果的评估提供了试验数据。可为开展整机环境下低压涡轮转子温度场测量等提供技术支持。     

欧洲发射星上自主项目-2卫星

“星上自主项目”（PROBA）卫星系列属于欧洲航天局（ESA）的技术验证计划,资金来自通用支持技术计划（GSTP）。该系列卫星是小型、低成本卫星,用于验证新的航天器技术、研究技术、研发方法,同时还可携带科学有效载荷。     

应用限制编程的信息模型内在检查方法

提出了一种基于限制编程(Constraint programmmg)的信息模型内在一致性检查方法,重点描述了EXPRESS信息模型的一致性及其检查。EXPRESS语言,作为标准制造数据交换的一个重要部分,广泛地应用于制造与信息业。中提到的一致性检查包括三个步骤：EXPRESS模型形式化,限制满足性问题(CSP)从形式化模型中的抽取和CSP的可满足性测试。本同时揭示了限制编程的一个新的应用领域：模型验证。     

新型运载火箭结构优化设计与试验验证

伴随着运载火箭大型化与重型化的趋势,结构优化技术在火箭轻量化设计中扮演着越来越重要的角色,同时更高精度的试验、测试以及更高置信度的分析评估需求也日益凸显.本文首先对运载火箭结构轻量化设计方法进行概述;然后针对几种典型密封类与非密封类结构优化案例及新型运载火箭结构中的不确定性优化方法进行了重点介绍,并对优化结果进行了试验...     

航天器TDRSS中继终端入网验证初探

针对国内外航天系统的现状,介绍了NASA航天器TDRSS系统的应用情况和中继终端入网验证技术。在此基础上,面向航天器测控的发展方向,从综合利用中继终端入网验证设施、分析中继终端入网验证流程和管理体制方面,探讨了未来我国航天器TDRSS中继终端入网验证的设想。     

NASA月球激光通信演示验证试验

为满足日益增长的大数据量、高数据速率传输要求,NASA(National Aeronautics and Space Administration,美国国家航空航天局)正开启采用激光技术进行空间通信的新时代,并于近年相继开展了多项自由空间激光通信技术研究项目。针对该情况,重点介绍LLCD(Lunar Laser Communications Demonstration,月球激光通信演示验证)项目的系统组成和工作状况:该项目由NASA实施,首次采用激光作为载波在绕月飞行器和地面接收机之间进行双向激光通信,通过飞行演示验证了下行速率为622 Mbit/s和上行速率为20 Mbit/s的月地双向空间激光通信,以及端到端DTN(Delay Tolerant Networking,容延迟网络)数据传输,并验证了作为激光通信链路副产品的高精度测距技术,试验成果超出预期。最后展望LLCD后续发展,供我国相关研究工作参考借鉴。