嵌入式操作系统的形式化验证方法

对嵌入式操作系统类安全关键软件,测试、模拟、分析等传统软件验证方法不能保证其正确性,需要使用形式化方法。综述了主流商用嵌入式操作系统所采用的形式化验证方法,分析了操作系统内核不同特性的形式化验证思路。通常对空间隔离、信息流控制、系统调用、进程间通信等的证明采用定理证明方式,而对时间隔离的证明则采用模型检测方式。 seL4的通用抽象和逐层精化方法、模型检测和定理证明的混合方法在工程使用中都有前途。     

临近空间太阳能飞行器横航向稳定性

临近空间太阳能飞行器的横航向气动导数和质量特性与常规飞行器存在显著差异,其横航向模态具有不同于常规飞行器的特点。理论分析表明,临近空间太阳能飞行器滚转交感动导数较大,偏航阻尼动导数较小,导致螺旋模态发散;航向气动阻尼力矩和惯性力矩之比较大,因而荷兰滚模态阻尼比较大。为解决常规线性化动力学模型无法体现风场影响的问题,以地速在机体坐标系中的投影作为状态变量,建立了考虑风场影响、适用于地速为0 m/s状态的线性化横航向动力学模型。利用此模型分析了临近空间太阳能飞行器在水平风和垂直风中的横航向稳定性。分析结果表明,稳定风场对横航向模态特征根无影响,但会导致横航向模态特征矢量发生改变。建立的动力学模型可用于此类飞行器的动力学分析和仿真。     

高推重比航空发动机部件匹配研究

针对未来高推重比涡扇发动机的高、低压涡轮功分配问题,进行了总体性能设计研究,并与常规布局涡扇发动机进行对比分析,归纳出其设计难点;提出了2种解决途径,即改变压缩系统的结构形式和采用涡轮间燃烧技术。     

卫星测控天线日照温度场极端工况预测方法

针对卫星测控天线日照温度场产生的热变形影响天线电性能问题,提出了一种预测天线极端温度工况的方法.该方法将太阳照射参数与天线面板方程有效结合起来,求得天线面板的太阳直射点运动轨迹,从而确定天线姿态参数.在Ⅰ-DEAS中建立该姿态的模型,同时引入环境因素的影响,进行瞬态仿真分析,预测天线的极端温度工况.通过试验天线,验证理论计算太阳直射点运动轨迹与极端温度预测方法的正确性.     

美国2020火星车着陆区遴选进展及对2020中国火星任务着陆探测部分的一些思考

总结了近20年来火星探测的重要发现以及生命、气候和地质3个方面尚未解决的关键科学问题;介绍了美国国家航空航天局(NASA)2020火星探测任务的科学目标、科学载荷和着陆区选择的工程条件限制,并重点分析了经过3次着陆区选择研讨会,上百位行星科学家投票选取的排名前3的预选着陆区的地质情况。在此基础上,提出了对我国2020年火星任务的着陆探测部分的一些思考,并根据不同的任务目标(聚焦生命、气候和地质问题;支持载人火星探测的资源勘察;工程技术验证)提出了3个候选着陆区。     

巡天任务复杂工况下超静平台作动器疲劳寿命评估

为研究超静平台作动器的疲劳寿命特性,以其在轨执行巡天任务时的复杂工况分析为出发点,开展了典型工况下的超静平台物理试验,获取作动器实测载荷数据;采用有限元仿真模型进行疲劳损伤系数计算,根据“累积损伤-临界损伤”干涉模型进行累积损伤建模,推导了基于损伤系数外推的作动器概率疲劳寿命解析模型;利用最大损伤系数对应工况进行试验载荷谱设计,开展作动器疲劳寿命试验获取疲劳寿命分布,结合模型计算给出超静平台上不同损伤系数对应作动器的疲劳寿命评估结果。结果表明,运用建立的方法及模型,能够结合超静平台巡天任务工况,利用基于载荷谱编制的疲劳寿命试验结果,计算出平台上各作动器可靠度随在轨时间变化规律及概率疲劳寿命,可为超静平台作动器等一类在轨工况及载荷谱复杂、多样的空间运动机构提供一种真实有效的寿命评估技术途径。     

高性能馈源喇叭综述

对高性能馈源喇叭进行了一些综述性研究。对国内外高性能馈源喇叭的发展现状进行了一些阐述,这对于在不同的馈源指标要求,选用合适的馈源形式具有重要的指导和借鉴意义。此外,对于高性能馈源喇叭的发展趋势也提出了个人建议,并对设计高性能喇叭馈源的一些实现途径及措施进行了阐述。     

CL-20基复合含能材料的制备及性能

为了提高2,4,6,8,10,12-六硝基-2,4,6,8,10,12-六氮杂异伍兹烷(CL-20)的安全性能,以硝化棉(NC)和聚叠氮缩水甘油醚(GAP)为复合包覆剂,采用水悬浮法对CL-20进行表面包覆。通过扫描电子显微镜(SEM)、X射线衍射仪(XRD)和差示扫描量热仪(DSC)对样品的形貌、晶型和热分解性能进行表征,对包覆前后样品的撞击感度和力学性能进行了测试和分析。结果表明,NC和GAP成功包覆在CL-20的表面,所得CL-20/NC/GAP样品颗粒为类球形,中值粒径约为300μm。XRD结果表明,经过细化和包覆后,CL-20晶型没有变化,依然为ε型CL-20。特性落高由包覆前的17.3 cm和29.46 cm升高到了36.74 cm,力学性能也显著提高。DSC结果表明,与未包覆CL-20相比,CL-20/NC/GAP复合粒子的分解峰温、活化能、爆炸临界温度和自加速分解温度都得到了一定程度的提高。     

激光分解固体微推力器工作原理初探

简介了固体微推力器的发展现状和激光控制分解式固体微力器的工作原理，给出了初步的原理性研究结果，包括工质选择及其选择原则，以及在激光作用下的脉冲工作曲线，并提出了今后研究方向。