【摘 要】
：
随着计算机应用的日益广泛和复杂,很多传统的故障注入技术及工具已经在很多领域面临着新的挑战.本文详细介绍了由本课题组自主研究开发的一种用于评测星载系统可靠性的软件故
【机 构】
：
哈尔滨工业大学计算机学院,哈尔滨医科大学,航天科技集团七七一研究所
论文部分内容阅读
随着计算机应用的日益广泛和复杂,很多传统的故障注入技术及工具已经在很多领域面临着新的挑战.本文详细介绍了由本课题组自主研究开发的一种用于评测星载系统可靠性的软件故障注入工具(SFIOS),该故障注入工具针对星载系统这一特殊对象而开发,采用包括时间、空间、事件在内的多种故障触发方式,不仅能通过软件的方式随时随地注入接近实际的星载故障,而且操作简单,不需要修改星载系统的应用任务,对星载系统影响较小.实验结果表明,采用该故障注入工具评测星载系统可靠性的具有较多的优点和潜力.
其他文献
半潜式起重铺管船是一种柱稳式的移动平台,具备大型起重及深水铺管功能,由于水线面小,该类船型的耐波性能大幅优于传统船型船,具有更好的作业天气窗口。半潜船船型优化设计是
对航天结构中常见的辐射换热条件下的空间薄壁圆管结构,构造了一种用于非线性瞬态温度场计算的傅立叶-有限单元.圆管温度沿杆长用有限元离散,沿周向分布展成三角函数.圆管温
为筛选适合‘早金酥’梨的授粉品种,选用10个梨品种为‘早金酥’梨授粉,测定坐果率、单果重、果实硬度、总糖含量等指标。结果表明,除‘蔗梨’外,其余9个授粉品种授粉的坐果
鸡毒支原体是引起鸡慢性呼吸道疾病的一种重要病原菌,感染后免疫力降低,常继发大肠杆菌感染,症状加重,死亡率增加,从而给养禽业带来了巨大的经济损失。由于家禽集约化的养殖方式,当前控制这些疾病的最主要方式是使用抗菌药物。达氟沙星属于人工合成的第三代动物专用喹诺酮类抗菌药,具有抗菌谱广、抗菌活性强、药动学特征优良等特点。前期,已有报道达氟沙星对大肠杆菌半体内PK/PD研究和鸡毒支原体的体内PK/PD研究,
近年来,高速铁路发展迅速,同时也对铁路相关配套设施提出了更高的要求。其中接触网作为列车牵引供流系统中的重要组成部分,负责直接与列车受电弓接触,完成输送电能任务。其中吊弦是接触网中连接接触线与承力索的关键零部件,良好的柔性特征使其可以缓冲弓网间的周期振动情况,同时铜镁合金材料制成的整体吊弦还可以使其在列车取流过程中承担一部分电流分配作用,降低接触网整体阻抗,提升电流传输效率。然而在列车多次提速、牵引
在环境压强从常态到高真空的循环条件下，测试了45盘形行波型超声马达的转速、转矩随环境压强的变化，并获得了其负载特性。所选择的低真空和高真空的环境压强分别为2Pa和5×
PPP模式是一种以各参与方的“双赢”或“多赢”为合作理念的现代融资模式，G213策克至磨憨公路乐化段是国道的一部分，同时也是青海东部城市群“五纵六横”对外综合运输通道中纵
该文在分析了风倾力矩、完整稳性和破舱稳性计算方法的基础上，重点对桩腿的等效计算方法展开研究，得到了准确的风倾力矩计算方法。为验证稳性计算方法的准确性，应用NAPA软件对莱
今天刊载的通讯《最后的演讲》让我们认识了一位好老师。$$李贤武在演讲中说，人民教师是最神圣崇高的职业，教书育人是最幸福的事业。$$在长期的教学生涯里，他抢着带可能费力不讨
目前,关于海洋水质监测的评价方式还不完善,有些评价是以海洋数据监测样本聚类结果作为水体质量的评价依据。而海洋大数据分析更加注重系统整体运行和数据累积效果产生的影响,需要更为合理的分析工具。本文在分析海洋数据异常检测相关因素的基础上,一方面,针对目前常见聚类算法的不足之处,设计了一种基于BP神经网络的C均值模糊聚类算法(简称BP-FCM算法);另一方面,将BP-FCM算法与Spark平台相结合,解决