摘要：故障注入是评价计算机系统可信性的一种重要的试验方法。构造故障注入器是故障注入研究中的一个重要组成部分。此文介绍了ＦＴＴ－１，一个基于硬件的故障注入器的设计与实现。文章讨论了设计与实现硬件故障注入器的关键技术，并介绍了在ＦＴＴ－１的实现中解决这些关键技术的方法。试验结果证明了ＦＴＴ－１用于评价容错计算机系统可信性的有效性。

摘要：本文将高可信计算机系统的开发过程划分为需求、设计、实现和集成四个阶段，分别介绍各阶段中与可信性有关的任务及可信性评价技术的应用。

摘要：故障注入是容错计算机系统可靠性评估的重要手段 .本文介绍了软件实现的故障注入工具 SOBFI的设计和实现 .用 SOBFI对 RS6 0 0 0工作站的错误检测机制和两种软件实现的错误检测机制进行了试验评估 .结果表明 ,在非容错商用计算机系统中加入简单的软件实现的错误检测机制 ,也可以达到很高的错误检测覆盖率 .

摘要：为评价径流变化特别是水土保持措施对陕北秃尾河径流的调节效果,依据已有的研究成果,并结合该流域实测资料,利用成因分割法等方法对秃尾河流域径流的变化情况进行了研究,计算出水土保持措施径流效益。研究结果表明,经以流域为单元的水土保持综合治理,秃尾河流域径流量相对减少,其中水土保持措施的径流效益显著。可为更好地维护陕北地区生态环境、治理黄河中游流域水土流失以及科学合理调配利用水资源提供依据。

摘要：河西走廊地区气候干旱、降水稀少,水资源不合理利用导致区域地下水位不断下降,严重威胁灌区的生态安全。根据实测水文气象资料及灌区实际调查资料,利用水量平衡法分析灌区农业水资源供需存在的问题,研究成因关系,提出解决思路。结果发现,金昌市灌区农业水资源存在较大缺口,其主要原因是渠系水利用系数较低等,深层次原因则是缺乏有效的调蓄工程。因此,加强水资源优化调度和水资源统一管理,建设雨洪调蓄工程,是金昌灌区也是河西走廊地区持续发展的重要途径之一。

摘要：柴达木盆地矿产资源丰富,水资源供需矛盾较为突出,研究降水特性变化可为合理规划和利用水资源提供科学依据。采用Mann-Kendall检验及Morlet小波分析方法研究了柴达木盆地4个典型气象站1957—2016年降水时间序列特征。结果表明,柴达木盆地近十几年来降水量有所增加,并且在20世纪70年代发生突变,4个气象站年降水量普遍存在2年左右的周期性,表现出多时间尺度特征。柴达木盆地是大陆性干旱气候区,东部地区降水仍较多地受东部季风的影响,而冷湖站及大柴旦站受同一气候因素影响的可能性较大,格尔木则可能受到西南季风气候的影响。

摘要：覆盖率是容错系统设计和评估中的重要概念。该文介绍了采用行为分解技术建立和求解覆盖率模型的方法，总结了用故障注入技术估计覆盖率需要考虑的几个问题。以一个双机容错系统的评估为例，说明了这些方法在容错系统可靠性评估中的应用。