【摘 要】
：
航天嵌入式软件的可信性是确保型号任务成功的重要因素.目前对航天嵌入式软件可信性评价均采用定性的方法,还没有针对航天嵌入式软件可信性的定量度量方法和模型.本文采用主观和客观相结合的方法,提出了一种面向航天型号软件的可信性度量模型及分级评价方法,通过航天软件的可信属性来研究软件的可信度和定量分析评价.基于该度量模型和方法对月地高速再入返回飞行器软件的可信性进行了度量评估,应用情况表明,航天嵌入式软件可
论文部分内容阅读
航天嵌入式软件的可信性是确保型号任务成功的重要因素.目前对航天嵌入式软件可信性评价均采用定性的方法,还没有针对航天嵌入式软件可信性的定量度量方法和模型.本文采用主观和客观相结合的方法,提出了一种面向航天型号软件的可信性度量模型及分级评价方法,通过航天软件的可信属性来研究软件的可信度和定量分析评价.基于该度量模型和方法对月地高速再入返回飞行器软件的可信性进行了度量评估,应用情况表明,航天嵌入式软件可信性度量模型及分级评价方法是合理的,科学的,能够有效评价软件的可信性并发现软件产品研制过程中需要加强的部
其他文献
本文给出了左心室多尺度模拟的整体框架:利用改进的Level Set模型来分割心脏核磁共振图像,进而可获得三维左心室计算模型;采用Holzapfel-Ogden非线性各向异性模型来模拟左心室心肌的被动力学响应;优化带激励电流项的Fenton-Karma细胞尺度的电势模型来模拟左心室器官的主动收缩过程.再基于推广的Immersed Boundary法,把上述左心室的被动弹性响应、主动收缩过程与血液流动
水下高速运动的航行体面临着空化现象,出现空泡的脱落和溃灭,带来噪声、振动等不稳定性影响.向空泡中通入气体是调节空化流场不稳定性的重要手段.本文对通气空化进行量纲分析,得到了影响通气空化的无量纲参数.通过数值模拟研究了与通气相关的两个重要无量纲数—通气与来流的质量流量之比和动量流量之比对流场稳定性的的影响.数值研究表明,通气质量流量对于空化的演化过程有较大的影响.随着通气质量流量的增大,泄气方式从空
本文采用分子束外延(MBE)生长技术,研究了周期厚度对高含N量1eV GaNAs/InGaAs超晶格的结构品质的影响.高分辨率X射线衍射(HRXRD)与透射电镜(TEM)分析表明:当周期厚度从6 nm(阱层和垒层厚度相同,以下同)增加到20 nm时,超晶格的周期重复性和界面品质变好,然而当继续增加周期厚度至30 nm时,超晶格品质劣化.上述生长现象通过简单模型进行了分析讨论.同时,通过退火优化,实
利用Partisol 2300型化学物种采样器,通过溶蚀器-膜-后置膜采集了北京2013年春季大气颗粒物及酸碱性气体样品,利用离子色谱分析获得PM2.5中主要无机组分和气体SO2,HNO2,HNO3和HCl浓度.结果表明,NH3,NH4+和PM2.5的昼夜变化特征相似,晚间浓度均高于日间.非雾霾天[NH3]:[NH4+]均大于1,而雾霾期间NH3,NH4+和PM2.5浓度大幅度增加,NH3转化率加
微尺度下的气液液三相流动是近年来微流控、微化工、微分析等领域的重要内容.关于微尺度下的气液液三相流研究主要集中在新型微分散设备和技术,分散尺寸调控规律,微通道内流动与传递特性,以及气液液三相微流体在反应、分离、材料制备中的应用等方面.已有的研究结果表明,微尺度气液液三相流相对于液液、气液两相流过程表现出了更复杂的分散规律和独特的流动、传递、反应特性.本文主要针对以上几个方面的研究进展进行综述,并对
本文采用高速摄像仪研究了对称Y型分岔口处气泡的破裂动力学行为.实验以N2作为分散相,含0.3%十二烷基硫酸钠(SDS)的蒸馏水与甘油混合液作为连续相.在Y型分岔口处观察到了气泡无间隙对称破裂、有间隙对称破裂和不破裂3种流型.气泡是否破裂取决于气泡初始长度和毛细数Ca,液相黏度越大,气泡破裂所需的毛细数Ca越大.无间隙破裂过程经历两个阶段:挤压阶段和快速破裂阶段.这两阶段分别受上游流体挤压力和两相界
基于耗散粒子动力学模拟研究了强排斥壁面作用下圆管状受限空间内单粒子及柔性链分子自扩散系数的变化规律,并对空间受限作用下分子扩散性质的各向异性进行了深入分析.结果表明,随着圆管管径的增大,单粒子及柔性链分子的自扩散系数均呈现先减小后增大的变化规律,且出现自扩散系数最小值对应的管径随链长的增加逐渐减小;柔性链分子因其在圆管中异于体相的伸展状况,自扩散系数的变化幅度随链长的增加而变大;圆管中分子径向自扩
由于全球能源和环境危机的不断加剧,清洁高效能源的研究和应用引起了人们的极大关注.层状双金属氢氧化物LDHs是一类典型的阴离子黏土材料,由于其电化学活性高、稳定、价廉,近年来被广泛用于电化学传感器、超级电容器、锂离子电池和燃料电池等领域.本文详细介绍了插层材料LDHs的材料设计、可控制备及其在电化学能量存储与转换领域的研究进展,并进一步讨论了LDHs材料在该领域面临的挑战和发展趋势.
转基因食品安全性是国内外广泛关注与争议的问题之一.根据"实质等同性"原则,本文基于手性D-氨基酸(DAA)形成机制对抗除草剂草甘膦和抗虫Bt蛋白转基因的食品安全性进行了风险评估.与传统非转基因作物相比,除草剂草甘膦或Bt蛋白由于具有较强的金属络合能力,因此在本质上促使土壤中金属离子较多地进入转基因作物体内,然后诱导D-海因酶的活性增加从而产生更多的DAA.体外研究发现,DAA、D-氨基酸氧化酶(D
研究了航天嵌入式软件可信性保障的问题和现状,提出了航天嵌入式软件的可信保障技术体系,并针对动态时序正确性、程序实现正确性和控制行为正确性保障等核心关键可信问题的理论方法和技术进行了深入研究,在此基础上研制了相应的保障工具,形成了航天嵌入式软件可信性保障集成环境.本文的研究成果在月地高速再入返回飞行器软件研制中进行了应用,为飞行任务的成功作出了贡献.