论文部分内容阅读
为了保证长运行时间软件的实时性要求，该文针对双机冗余系统，采用检查点设置与卷回恢复的方法，提出了一种系统模型，区分显式故障和隐式故障。同时为使任务的完成时间最短而给出了如何确定检查点设置周期的方法。文章最后给出数学分析，并进行模拟及结果分析。
双机系统中检查点设置研究与实践
【摘 要】
：
为了保证长运行时间软件的实时性要求，该文针对双机冗余系统，采用检查点设置与卷回恢复的方法，提出了一种系统模型，区分显式故障和隐式故障。同时为使任务的完成时间最短而给出了
【机 构】
：
科技大学计算机学院并行与分布处理国家重点实验室
【出 处】
：
第八届全国容错计算学术会议
【发表日期】
：
1999年期
其他文献
实行部门预算是确保财政管理体制适应社会主义市场经济发展的必然要求,深化部门预算改革是我国财政管理改革的一项重大举措,具有十分重要的意义.近几年我国在推行财政预算改
旋浆式流速仪传感器和电路的改进马燕ＴｈｅＩｍｐｒｏｖｅｍｅｎｔａｂｏｕｔＴｒａｎｓｄｕｃｅｒａｎｄＣｉｒｃｕｒｔｏｆＲｏｔａｔｉｏｎａｌＦｌｏｗｖｅｌｏｃｉｔｙＩｎｓｔｒｕｍｅｎｔ￥ＭａＹａｎ１前言旋浆流速仪虽然在测量精度和范围上不能与激光流速仪和电...
Propeller flowmeter sensor and circuit improvements Ma Yan TheImp
产生式系统是一种重要的人工智能程序设计语言，但却比较难于应用到实时领域之中．本文在分析其在实时应用方面两个主要不足的基础上，对实现实时产生式系统的几种可能途径与方法做
该文分析了棉针织物活性染料（双活性基）染色影响染料一次成功的因素，并从染料标准、染料性能、染料选择、工艺条件及前处理、染色、水洗等方面提出了质量的方法。
全面介绍福建省水口至惠安220KV双回同塔线路，升压改造为500KV单回线路的方案及有关设计原则；并对工程前后投资进行详细剖析，从工程实践中，为中国电力建设积累宝贵经验。