【摘 要】
:
当前航天器控制软件的复杂度越来越高,软件的规模十分庞大,对软件可靠性安全性要求极高,因此对航天器控制软件的可靠性设计和度量具有重要意义.介绍和分析适用于航天器控制软件的
论文部分内容阅读
当前航天器控制软件的复杂度越来越高,软件的规模十分庞大,对软件可靠性安全性要求极高,因此对航天器控制软件的可靠性设计和度量具有重要意义.介绍和分析适用于航天器控制软件的可靠性设计方法,并结合某型号给出实际的软件设计以及可靠性度量的具体实例.
其他文献
通过对中西部地区与东部地区收费公路盈亏情况进行对比,从"贷款修路,收费还贷"政策调整角度寻求提高收费公路行业整体经济绩效的途径。分析认为,"贷款修路,收费还贷"政策虽然在一
本文以新时代高中体育课程建设的研究为主要阐述,结合当下新时代高中体育课程建设的特征和新时代高中体育课程建设分析为主要依据,从课程制定依据、体育课程建设目标、技能培
针对建筑给排水系统存在的水资源浪费情况较为严重的问题,为切实满足资源可持续性应用要求,结合建筑的给排水系统设计现状。分别提出给水系统与热水系统的节能节水技术,诸如给水
从制革废水中分离出1株能够降解对氯酚的棒状菌属细菌ZQ-1。该菌株降解对氯酚的最适pH值为6.0-8.0,最适温度为35-40℃。其降解对氯酚的速率与化合物的初始浓度呈负相关。为强
骨关节炎(OA)是老年人中常见疾病,在过去几十年中,软骨下骨组织结构的改变被认为在OA病因中起重要参与作用,软骨下骨微结构损伤将导致其加重。OA病理进程中可以在软骨下骨检测
目的调查356名警察职业倦怠情况。方法采用个别施测和集体施测相结合的方法,选用李超平教授在国内修订的MBI-GS对320名警察进行调查。结果1警察在情感衰竭维度上达严重水平,
目的观察针刺联合生物反馈治疗盆底松弛型便秘的临床疗效。方法将60例盆底松弛型便秘患者随机分为研究组和对照组。研究组30例,采用生物反馈疗法联合针刺支沟、大肠俞、肾俞
根据广告投入和销售量的关系,建立了微分方程数学模型.设计了一种广告投入策略并对模型进行求解.通过实例对模型进行了检验,验证了模型的可行性.
文中将建筑物动力冠层方案引入到城市边界层精细模式中,该方案描叙了城市地区建筑物对气流的拖曳作用以及建筑物形态对城市地区湍流活动动量输送的影响。采用建筑物拖曳法和
《普通高中生物学课程标准(2017版)》(以下简称新课标)提出了培养学生的生物学核心素养,构建"生命观念、科学思维、科学探究、社会责任"相融合的课程目标体系,相应的评价体系