【摘 要】
：
根据某实际容错操作系统的具体情况，结合容错技术现状的分析，设计并实现了一个基于PC机的通用软件故障注入系统。研究的系统是在特定硬件环境的支持下运行的容错计算机操作系统，为了不对其硬件环境造成破坏，采取软件故障注入的方法对其进行了可靠性验证。设计的容错计算机系统可靠性验证仿真系统，可用于多种不同类型的容错软件的可靠性仿真和验证，对开发软件故障注入系统具有一定的启发和指导意义。
【机 构】
：
哈尔滨工业大学计算机科学与工程系!黑龙江 哈尔滨 150001延边大学 大学计算机教研部,林 延吉 133002,哈尔滨工业大学计算机科学与工程系!黑龙江 哈尔滨 150001,装甲兵工程学院! 北京
论文部分内容阅读
根据某实际容错操作系统的具体情况，结合容错技术现状的分析，设计并实现了一个基于PC机的通用软件故障注入系统。研究的系统是在特定硬件环境的支持下运行的容错计算机操作系统，为了不对其硬件环境造成破坏，采取软件故障注入的方法对其进行了可靠性验证。设计的容错计算机系统可靠性验证仿真系统，可用于多种不同类型的容错软件的可靠性仿真和验证，对开发软件故障注入系统具有一定的启发和指导意义。
其他文献
在小学英语教学中,许多教师普遍感觉难以找到合适的英语故事进行教学。本文从改编幼儿中文图画书、改编网上英语教学资源、改编传统故事以及根据教学内容自编故事四方面探讨
采用扫描电镜观察及理化分析技术 ,从辛庄子沙丘黑砂土剖面中提取出古气候信息 ,综合研究得出 :在 110 0 0～ 830 0aBP期间 ,本区经历了 2个大的气候阶段 ,即 110 0 0～ 10 0 0 0
在希夏邦马峰达索普冰川海拔７ ０００ ｍ 冰雪平台钻取１４ ｍ 粒雪芯一支。通过对粒雪芯中δ１８Ｏ和主要离子浓度的季节变化分析， 认识希夏邦马峰地区大气环境的季节变化特征。相关分析和经验正交函数（ＥＯＦ）分析结果表明，达索普粒雪芯内的δ１８Ｏ 与Ｃａ２＋ 、Ｍｇ２＋ 、ＳＯ４２－ 、ＮＯ３－和ＮＨ４＋ 浓度之间正相关显著， 而与Ｎａ＋ 、Ｃｌ－ 和Ｋ＋ 浓度之间的关系不明显。ＥＯＦ１ 代表了以尘埃
在对东昆仑蛇绿岩研究的基础上 ,结合其它地区资料 ,对蛇绿岩就位机制进行了研究 ,把蛇绿岩就位机制分为俯冲刮削拼贴式、俯冲折返拼贴式和仰冲推覆式三种类型 ,并对不同就位
通过 0Cr15Ni5Cu2Ti不锈钢板材电阻缝焊工艺的试验研究 ,确定了合理的焊接工艺参数 ,并探讨了焊后热处理制度对焊接接头性能的影响
By 0Cr15Ni5Cu2Ti stainless steel sheet
对 57例糖尿病患者进行食管运动功能测定 ,同时进行心血管植物神经功能检查 ,并与 52例健康人对照。结果表明 ,糖尿病组的食管测压异常主要表现为食管体部运动功能失调 ,其发
毛乌素沙地生态环境信息系统是利用遥感和地理信息系统技术 (ARC/ INFO)将遥感数据和地面调查数据结合起来的一个综合性、实用性的技术系统。该系统是由资料收集、数据处理、信息库建立和应用设计四个部分组成。由于该系统具有信息提取、专题图编制等多种统计分析功能 ,可实现各专题乃至相关部门资源与环境信息的科学管理与数据共享 ,为区域调查和宏观分析服务 ,并能开展相应的决策咨询和应用研究
通过示范试验,揭示超级稻徽两优6号的高产栽培技术.结果表明,示范片经省科技厅组织专家测产验收,平均产量达11515.5kg/hm2,在周边其他品种大多倒伏的情况下,该品种无一块田出
[目的]建立哈药包尔胡特不同药用部位中总黄酮的含量测定方法。[方法]以浓度70%乙醇作为超声提取溶剂提取包尔胡特中总黄酮,并以芦丁为对照品,采用紫外分光光度法于510 nm处
通过数值模拟的方法 ,研究在二维可压缩混合层的低速入口部分强迫流向流速振荡 ,以探讨是否有可能提高可压缩混合层的混合 .对来流Mach数M =0 .6的二维可压缩混合层进行系统