航天器测试需求描述及其自动生成

航天器作为一个典型的安全苛刻系统,其可信性研究需求迫切,支持可信性评估的数据来自于航天器测试用例的执行,而航天器测试需求是测试用例生成的重要依据.在实际应用中,对航天器这类复杂系统,面临测试需求庞杂、测试需求编制周期长、人工经验编制方式难以保证测试需求的充分性、完备性及可复用性等问题.针对这些问题,通过分析航天器组织结构特点,建立航天器形式化模型,基于航天器测试任务流程,给出了航天器静态测试需求和动态测试需求形式化描述规范,并给出航天器测试需求自动生成方法,保证了测试需求的充分性和完备性,提高了测试需求复用性,与人工编制方式相比,缩短了测试需求编制周期.最后设计并实现航天器测试需求生成应用系统,验证所提出方法的有效性.      

多机械臂的分布式自适应迭代学习控制

针对拓扑结构为无向连通的多机械臂系统,提出了一种自适应与迭代学习相结合的分布式控制协议来实现整个系统对给定期望参考轨迹的一致性跟踪.通过引入一个适当的自适应迭代学习参数,所提自适应迭代学习控制协议能够克服机械臂系统中的干扰和模型不确定性,并且每个机械臂的自适应迭代学习控制(AILC)律仅需要利用其与邻居机械臂的相对交互信息.进一步,在只有一部分机械臂具有期望参考轨迹信息的前提下,该控制协议可以实现整个系统对期望参考轨迹的跟踪,同时能够保证轨迹跟踪误差与控制输入的有界性.此外,利用李亚普诺夫分析方法证实了所得结论的正确性,并且通过一个实例验证了所提自适应迭代学习控制协议的有效性.      

环形喷嘴气动谐振加热性能

为了研究环形喷嘴的气动谐振加热性能,采用高精度高分辨率的NND格式差分求解二维轴对称雷诺平均Navier-Stokes方程,对环形喷嘴-谐振管系统气动谐振加热过程中谐振管内振荡流动过程进行了数值仿真,并对不同面积的环形喷嘴-谐振管系统进行了数值模拟.研究结果表明:环形喷嘴与圆喷嘴具有相似的谐振加热规律和流场特征,即利用环形喷嘴同样可在谐振管内产生强烈的高频激波振荡.随着环形喷嘴面积减小,每一个谐振周期中的谐振温升逐渐减小.而其能够产生强烈谐振的间距小于圆喷嘴-谐振管系统的间距,在小间距时可以在很宽的喷嘴入口压力范围内产生强烈的谐振,这为气动谐振点火器的结构小型化和工程实用性提供了理论依据.     

基于随机网络编码的无线报文重传最优策略

网络编码技术为无线报文重传问题研究提供了新思路.分析并证明了完全无线报文重传问题最优策略所需重传报文数量等于节点请求报文数量的最大值;基于随机网络编码技术提出了最优重传策略RNCOPT(Random Network Coding based OPTimal Scheme),其编码系数从某选定有限域中随机选取(0除外);利用网络编码矩阵重新生成机制以保证100%解码成功率;描述了RNCOPT组合报文结构及发送节点操作过程.仿真表明:当接收节点数量为30而报文总数为30时,RNCOPT相对于传统非网络编码方案节省重传报文数量可达32%,而此时现有某典型策略CliqueNC却无明显效果.     

富氢/富氧燃气同轴直流喷嘴燃烧过程数值模拟

为研究全流量补燃FFSC(Full Flow Staged Combustion)循环发动机气-气喷注器性能,以气氢/气氧(GH2/GO2)预燃室提供的758K富氢燃气和676K富氧燃气为推进剂对同轴直流喷嘴燃烧流场进行了数值模拟.考察了相同燃烧室结构、流量、入口燃气温度条件下,富氧燃气压降、富氢燃气和富氧燃气的速度比、氧喷嘴厚度和氧喷嘴缩进变化对燃烧性能的影响,获得了4个参数的影响规律.数值模拟结果对燃气气-气喷注器结构设计有参考价值.     

无人机全空域飞行影响因素分析

进入全空域飞行是未来无人机发展的必然趋势,所面临的关键问题是安全性和空中交通管理.根据无人机大、中、小型,低、中、高速并存的特点,分析了无人机安全性和影响其全空域飞行能力的关键因素与改进方法,包括建立分类管理机制,提高自主导航与控制能力,进行动态任务规划,采取协调机制,增强环境感知与规避能力等.进一步提出了无人机空域飞行的建模/仿真理论框架,目标是在提高无人机可靠性的基础上,使其具备全空域飞行能力,从而降低无人机使用成本、提高空域共享能力,实现有人机、无人机共享空域.      

火星着陆探测任务关键环节技术途径分析

火星进入、下降与着陆技术(entry,descent and landing,EDL)是火星着陆探测最为关键的环节。火星与地球再入返回过程相比,由于火星大气成分、物理性质与地球大气存在较大差别,且具有较大不确定性,使火星EDL过程历经时间短、状态变化快,对减速性能要求高,时序紧张。从工程实现角度分阶段开展了任务分析,识别了火星EDL环节面临的问题和挑战,提出了关键环节技术途径选择。     

升力体式浮升混合飞艇多学科设计优化

升力体式混合飞艇是全球远距离大载重运输的重要选择,随着全球贸易的发展,逐渐成为国内外的研究热点。作为航空宇航技术、新能源技术和高性能材料技术相结合的新概念飞行器,混合飞艇设计过程需对多个学科进行综合考虑和优化。为了将多学科设计优化（MDO）方法引入到混合飞艇的总体设计中,将其分解为能源子系统、气动和推进子系统以及结构和重量子系统。在子系统模型构建的基础上,提出具有自适应能力的基于响应面的并行子空间优化（CSSO-RS）算法,将重量平衡和能量平衡作为实现远距离载重运输的约束条件,并提出爬升、日间巡航、滑翔和夜间巡航的多阶段任务剖面,以充分利用太阳能电池、燃料电池和锂电池的优势,实现混合飞艇的最优化设计。优化结果表明:具有自适应能力的优化算法在精确度和计算效率上均有明显的优势,同时重量分配的结果也为混合飞艇结构轻量化设计和能源系统设计提出了更高的要求。      

月面冯·卡门撞击坑的着陆选址和科学探测目标浅析

冯·卡门（Von Kármán）撞击坑位于月球背面南极—艾肯（South Pole-Aitken,SPA）盆地中部,是中国“嫦娥4号”计划的优先级较高的探测目标。对该撞击坑的着陆和探测,有助于揭示月球形成和演化的一些关键问题,在月球科学研究中具有重大的意义。论文概要总结了冯·卡门撞击坑的研究意义和科学价值;结合LRO卫星LOLA数据、Clementine UV-VIS数据、GRAIL数据、“嫦娥2号”卫星CELMS等数据,简要分析了冯·卡门撞击坑的地形、成分、深部结构和亮?%rater are analyzed with LRO satellite LOLA data,Clementine UV-VIS data,GRAIL data,and Chang''E-2 CELMS data and their scientific meanings are also presented. Finally,combined with our results and the previous prospects about theVon Kármán crater,three candidate landing sites and the possible scientific discoveries are proposed.     

一种面向工业互联网的云存储方法

工业互联网是工业信息化进程中最受关注的热点,海量异构数据管理是其中的重点之一。传统的关系数据库（RDB）对海量多源异构数据的读写和检索都存在性能瓶颈,而近年来兴起的云数据管理方法主要是针对“键-值”（K-V）模式,无法依靠主键以外的数据属性对数据进行快速查找。提出了一种面向工业互联网的云存储方法——StoreCDB,在异构采样数据统一表达数据模型基础上,实现非结构化存储管理,同时,利用两级索引实现海量数据的快速检索。通过实验,在分布式集群实验平台上,采用海量高铁列车运行模拟数据,验证了StoreCDB具有良好的异构数据存储和检索性能,为工业互联网提供了一种新的数据管理方法。