论文部分内容阅读
本文将高可信计算机系统的设计过程分为四个阶段，分别讨论了各阶段中用于获得取系统可信性的容错技术，避错技术和可信性评价技术的应用。
高可信计算机系统的设计方法探讨
【摘 要】
：
本文将高可信计算机系统的设计过程分为四个阶段，分别讨论了各阶段中用于获得取系统可信性的容错技术，避错技术和可信性评价技术的应用。
【机 构】
：
哈尔滨工业大学计算机科学与工程系
【出 处】
：
计算机应用研究
【发表日期】
：
1999年3期
【基金项目】
：
国家自然科学基金
其他文献
目的TIP30为一新发现的可引起细胞代谢抑制和凋亡的因子.最新研究表明:TIP30可引起Bcl-2家族的两个促凋亡的成员Bad和Bax的表达升高并抑制小鼠肿瘤生长.本实验的目的在于研究
网络服务质量Qo S在层次型网络中要求更高.从OSI参考模型的第二层与第三层出发,分析了传统的Qo S体系结构和三种Qo S模型的工作原理、优缺点以及网络应用环境.设计了将Int Se
轮选518是中国农业科学院作物科学研究所刘秉华研究员主持选育的高产、抗病、适应性广的小麦新品种。2007年12月通过国家农作物品种审定委员会审定。
安源，是中国近代民族工业的重要开拓地，中国工人运动的策源地和湘赣边界秋收起义的主要爆发地，它以其在近代中国民族工业发展史和中国革命史上的特殊地位与卓越贡献，颇为世人所瞩
包丢失是一个一直困扰计算机网语音传输的最核心问题，它是影响音质的关键，介绍了近年来国际学术界上提出的几种用于语音丢包恢复的技术方案，对它们的原理、特点及适用范围均作了详尽地分析。同时，也将其中的奇偶校验方法进行改进，提出了基于FEC方式可纠正连续多包丢失的纠错编码。
耐旱性鉴定和评价是培育优良耐旱玉米杂交种品种的基础。本研究通过对一组杂交种进行耐旱性指标评价分析发现，产量仍是衡量耐旱性强弱最重要的指标，而开花吐丝间隔期、株高等农
移动Ａｇｅｎｔ系统是一种崭新的分布式计算和网络通讯的模式，介绍了移动Ａｇｅｎｔ的概念和移动Ａｇｅｎｔ系统与其它相关技术的比较，强调了移动Ａｇｅｎｔ系统所必须解决的几个关键问题，同时分析了现有的几个实际的移动
利用聚乙二醇（PEG-6000）渗溶液对人工合成六倍体小麦、农家品种、推广品种、小麦族稀有种、及朝鲜抗旱品种进行干旱胁迫，结果表明：不同类型春小麦抗性极强的品种其相对发芽率存在