【摘 要】
：
基于"嫦娥五号"(Chang’E-5,CE-5)任务高安全性、高可靠性、高复杂度、高自主性的功能以及高实时性、强时序性的需求,开展了导航、制导与控制(Guidance,Navigation and Control,GNC)分系统应用软件高可信研制保障技术研究。针对自然语言需求定义方式无法精确描述一些关键复杂时序的问题,在需求分析阶段建立了基于时序安全性属性描述的形式化建模语言模型验证技术,保证了系
【基金项目】
：
国家自然科学基金资助项目(61802017)。
论文部分内容阅读
基于"嫦娥五号"(Chang’E-5,CE-5)任务高安全性、高可靠性、高复杂度、高自主性的功能以及高实时性、强时序性的需求,开展了导航、制导与控制(Guidance,Navigation and Control,GNC)分系统应用软件高可信研制保障技术研究。针对自然语言需求定义方式无法精确描述一些关键复杂时序的问题,在需求分析阶段建立了基于时序安全性属性描述的形式化建模语言模型验证技术,保证了系统时序的安全性;针对人工走查难以发现的代码深层次脆弱性缺陷,在设计编码阶段结合飞行任务剖面提取了程序切片
其他文献
文章以大量的自然驾驶采集数据为研究对象,基于改进的熵值法建立变道驾驶行为特征指标体系,有效串联车辆驾驶数据、车辆驾驶行为和车辆驾驶安全三者的关系,研究了人类自然驾驶场景中事故率较高的变道场景,进一步深化自动驾驶场景评价的体系理论。
文章根据GB/T 19233-2020油耗测试标准,针对国六滑行阻力定义及其相对国五滑行阻力的不同,进行了试验条件、受力分析和计算方法对比,发现同等试验条件下,国六滑行阻力是国五的1.03倍。通过转毂滚动阻力修正、轮胎滚动阻力参数修正和温度修正,总结出国六滑行阻力的替代算法公式。对3辆样车进行替代算法与滑行法测试对比,偏差控制在最大9.8 N/1.2%以内,平均车速80 km/h时在5.8 N/1.4%以内。通过国六WLTC循环试验验证,循环能量差在0.017以内,证明了设备组合有效。该替代算法作为滑行法
设计具有任务自主规划能力的深空柔性多智能体探测器是未来深空探测技术研究和发展的重要方向。针对多智能体深空探测器在任务规划时涉及的对象多、约束复杂、深空环境不确定,以及传统的任务规划语言无法对其进行准确、直观、简洁描述的问题,提出基于知识图谱的多智能体深空探测器的知识表示方法。该方法首先对探测器系统进行知识抽取,然后通过知识融合将系统设备及其状态和动作进行关联,最后采用知识加工挖掘多智能体之间潜在的
为了实现某知名品牌SUV减阻的需求,文章采用CFD仿真方法研究了整车尾端的压力分布及流场特性,确定了尾灯造型对流场的耦合作用是导致尾端负压区域过大的主要原因;在该认识的基础上,采取在尾灯表面添加分离特征的方式寻求潜在的减阻方案,并通过风洞试验对上述减阻方案进行了验证和优化。风洞试验结果表明:当尾灯分离特征的相对高度h为5 mm、边界倒角半径R不大于2.5 mm时,减阻效果在兼顾工程可行性的前提下达到最优,其减阻收益ΔCd约为-0.005。此外,该分离特征对尾端流场的稳定性也起到了改善
通过熔融共混法制备了聚醚醚酮(PEEK)/碳基复合材料,比较了二氧化硅(SiO2)和石墨烯纳米片(GNP)对PEEK性能的影响.结果表明:SiO2堆积分布在PEEK基体中,而GNP在PEEK中形成了堆
建立了气相色谱-质谱法(GC-MS)同时测定食品级色母粒中23种初级芳香胺(PAAs)的分析方法.以市场上最为常见的聚乙烯(PE)和聚丙烯(PP)色母粒为研究对象,样品经二氯甲烷超声提取
利用质谱多反应监测(MRM)模式,建立了塑料类食品接触材料中17种邻苯二甲酸酯(PAEs)类化合物气相色谱-三重四级杆串联质谱(GC-MS/MS)分析方法.结果表明:17种PAEs类化合物标准
利用熔融共混法制备聚丙烯/聚己内酯/多壁碳纳米管(PP/PCL/MWCNTs)复合材料,研究了不同MWCNTs含量对PP/PCL/MWCNTs复合材料性能的影响.结果表明:MWCNTs含量为2％时,PP/PCL/MWCN
主要介绍了为实现采样区就位探测的科学目标和国旗展示任务,"嫦娥五号"(ChangE-5,CE-5)探测器配置的有效载荷分系统所携带的全景相机、降落相机、月壤结构探测仪、月球矿物光谱分析仪4类科学载荷,及国旗展示系统、全景相机转台、载荷数据处理器等工程及支撑载荷,通过对各载荷系统的单机及分系统层面的减重设计、热设计、集成设计,圆满完成了分系统在轨工作任务。
基于"嫦娥五号"(ChangE-5,CE-5)月面无人采样返回钻取子系统,针对浅层松散剖面月壤取样难点,开展了钻取实验研究,实验结果表明钻进参数控制的钻压力是影响进样效果的关键特征量;建立了钻具与月壤相互作用有限元模型,通过对钻具周边的月壤应力场分析厚壁螺旋钻具进芯机制,发现排粉压力与进芯阻力之间的博弈关系是控制螺旋钻具进样的关键因素。对月壤与钻具之间的相互作用机理得到进一步认识,可为"嫦娥六号"