论文部分内容阅读
介绍了软件可靠性研究的现状,尤其介绍了一种适合于火箭飞行控制软件可靠性评估的方法,以及该方法在火箭飞行控制软件可靠性评估中的应用。
适用于火箭飞行控制软件的软件可靠性估计模型
【摘 要】
：
介绍了软件可靠性研究的现状,尤其介绍了一种适合于火箭飞行控制软件可靠性评估的方法,以及该方法在火箭飞行控制软件可靠性评估中的应用。
【机 构】
：
中国电子科技集团公司第32研究所,上海 200233
【出 处】
：
全国抗恶劣环境计算机第十七届学术年会
【发表日期】
：
2007年9期
其他文献
本文对自检测技术(BIT)进行了分析,给出了自检测模块的定义、检测算法和详细构成.通过对定时器和定时中断的检测实例的具体实现,对BIT的实现机制进行了详细阐述.
本文从网络容错方面入手,分析了Byzantine类型故障的解决方法,提出了描述系统可存活能力的信息冗余分散二部图模型,以及模型对系统可存活能力的可评估、可计算特性,并从阈值设计的角度提出了具备可存活特性的存储系统实现策略,与传统分布式存储系统进行了对比.
该文采用均质半无限空间表面上作用荷载的Boussinesq解，讨论了复合地基的竖向应力分布；根据半无限空间表面的沉降分析，阐述了作用荷载与载荷板沉降、载荷板尺寸的变化关系。从而为载荷试验方法确定复合地基承载力提供依据，并提出一些建议。
可穿戴计算机是一种新型的计算机系统,它使得人能够更自然、更方便地携带使用计算机,根据穿戴位置以及穿戴方式的不同,其系统结构也有很大差别。该文论述了一种具有臂式穿戴方式的可穿戴计算机,对其涉及的可穿戴性、散热、性能等关键问题进行了研究,提出了相应的解决方案。
介绍了EMI电源滤波器的工作原理和技术指标,对EMI电源滤波器的选用原则、安装及布线进行详细的分析并给出了相应的建议。最后对EMI电源滤波器在安装及布线中的常见的不当之处进行了分析并给出了解决办法。