航天嵌入式软件可信性度量方法及应用研究

航天嵌入式软件的可信性是确保型号任务成功的重要因素.目前对航天嵌入式软件可信性评价均采用定性的方法,还没有针对航天嵌入式软件可信性的定量度量方法和模型.本文采用主观和客观相结合的方法,提出了一种面向航天型号软件的可信性度量模型及分级评价方法,通过航天软件的可信属性来研究软件的可信度和定量分析评价.基于该度量模型和方法对月地高速再入返回飞行器软件的可信性进行了度量评估,应用情况表明,航天嵌入式软件可信性度量模型及分级评价方法是合理的,科学的,能够有效评价软件的可信性并发现软件产品研制过程中需要加强的部分,对于航天型号软件研制水平的提高有重要的意义.     

时滞电力系统稳定性分析

如今,人们已经花费大量的精力来研究无时滞电力系统,然而却未曾如此关注时滞电力系统的动态过程问题。实际上,具有时滞的动力系统广泛存在于各工程领域,即使系统中的时滞非常小,在许多情况下也不能忽略不计。本文利用一单机无穷大系统,推导了时滞微分代数方程小扰动稳定分析方法,研究了时滞常数τ对系统小扰动稳定性的影响。研究发现时滞常数较大时,可能会完全改变电力系统小扰动稳定性的性态,最终导致系统的失稳。本文使用MATLAB的dde23算法对时滞系统进行了数字仿真。     

嫦娥五号采样封装系统设计与实现

嫦娥五号探测器成功实现了中国首次月球无人采样返回任务,采样封装是任务的重要环节之一,先后获取了深度剖面和多点表面月球样品,并完成了月球样品的极低漏率密封.本文首先分析了嫦娥五号采样封装工作的任务特点,论述了高可靠采样、非定结构封装、关键环节测量、系统集成验证、在轨操控等关键技术的实现方案,阐述了采样封装产品的技术特点,...     

天问一号火星探测器着陆点快速精确定位

为实现天问一号着陆点快速精确定位,规划火星车行驶路径,并将火星车后续数据纳入统一的地理坐标系,本研究利用着陆初期有限数据(天问一号环绕器获取的遥感影像、一幅悬停避障缓速下降阶段的GNC(guidance,navigation and control)避障敏感器拍摄的降落影像和导航相机在着陆平台的环拍立体像对)完成定位任...