COS和H_2S毒化F-T合成催化剂热力学分析

利用热力学基础数据和相关软件对F-T合成催化剂COS和H_2S中毒的热力学进行了计算。在热力学上,Ru、Fe、Co的COS中毒在F-T合成反应可以发生的条件下均是自发过程。F-T合成反应体系中10~(-9)级的COS即可使Ru基催化剂中的金属Ru生成RuS_2而中毒。Fe和Co毒化后生成的硫化物种类较多,对这些反应的热力学计算结果表明,对于不同的反应,其平衡常数的差异很大,对应中毒反应发生时,所需的COS和H_2S的浓度也不同,对COS的要求更为严格。由于Fe基F-T合成催化剂活性相的复杂性,利用对催化剂相关性质的修饰开发具有一定抗硫性的铁基F-T合成催化剂是可行的;对于Co催化剂,利用F-T合成的反应特点和催化剂改性开发具有一定抗硫性催化剂是可能的。     

减少检查点开销的一种方法

设置检查点（ｃｈｅｃｋｐｏｉｎｔｉｎｇ）是容错计算机系统进行故障恢复的重要手段。设置检查点的开销则是影响其性能的一个主要因素。文章提出了一种预先保存部分检查点数据的新方法。该方法不仅能够有效地减少检查点开销,而且具有比较短的检查点延迟。     

Failure detection and consensus in the crash-recovery model

Summary. We study the problems of failure detection and consensus in asynchronous systems in which processes may crash and recover, and links may lose messages. We first propose new failure detectors that are particularly suitable to the crash-recovery model. We next determine under what conditions stable storage is necessary to solve consensus in this model. Using the new failure detectors, we give two consensus algorithms that match these conditions: one requires stable storage and the other does not. Both algorithms tolerate link failures and are particularly efficient in the runs that are most likely in practice – those with no failures or failure detector mistakes. In such runs, consensus is achieved within time and with 4 n messages, where is the maximum message delay and n is the number of processes in the system. Received: May 1998 / Accepted: November 1999     

进程迁移研究

进程迁移在分布式系统中的应用,提高了系统的负载平衡,实现了高效的容错性能。本文介绍了进程的状态迁移算法以及检查点的设置和其它状态的迁移技术。     

网络可靠性安全性设计和容错

由于连入Internet,为用户提供各种信息服务。资源共享和开放是Internet特点,因而Internet的安全机制很松散,而用户对网络信息系统要求有较高的安全性,其内部的许多数据和文件严禁未经授权的访问。因此,设计与开发保证内部各种信息的安全机制是实现该网络顺利运行的关键。     

Fault‐tolerant display image‐data‐manipulation unit for system‐on‐panel

Abstract— Bit‐partitioned and conventional shifts, as well as type transformations of multimedia data, are frequently used for display image‐processing systems. A data manipulation unit with fault‐recovery capability based on redundancies is proposed for system‐on‐panel with low processing technology yield. Utilizing data manipulations that are similar to normal shift operation, a proposed data‐manipulation unit is designed with a few additional paths added to the existing barrel shifter. The design methodologies are verified with FPGA and the performance is evaluated in terms of the advantages.     

On basic properties of fault-tolerant multi-topology routing

Multi-topology routing has recently gained popularity as a simple yet efficient traffic engineering concept. Its basic purpose is to separate different classes of network traffic, which are then transported over disjoint logical topologies. Multi-topology routing is used as a basis for implementation of an IP fast reroute scheme called Multiple Routing Configurations (MRC).MRC has a range of attractive properties, but they do come at a cost. In order to guarantee recovery from any single link or node failure in the network, MRC has to maintain several logical topologies and thus an increased amount of routing information. The number of the logical topologies in MRC need not be large; even simple heuristic algorithms often yield good results in practice. However, why this is the case is not fully understood yet.In this paper, we introduce a theoretical framework for fault-tolerant multi-topology routing (FT-MTR). MRC is a practical implementation of FT-MTR in connectionless IP networks. We use FT-MTR to study how the internal topological structure of the communication network relates to two important problems. The first problem is minimizing the number of logical topologies and thus the routing state in FT-MTR. We show how to use the sets of nodes that separate the topology graph to devise an advanced heuristic for “intelligent” construction of the logical topologies. Finding the separating sets in a topology graph is computationally demanding; we present an algorithm that performs well in tested real network topologies. We evaluate the separation-set based heuristic for the logical topology construction and show that it outperforms the known MRC heuristics.The second problem is the FT-MTR load distribution after a failure. We use the separating sets to devise a novel algorithm for failure load distribution. This algorithm does not require knowledge of the traffic demand matrix, still, our tests indicate that it performs as good as, or better than, known MRC load-distribution algorithms that do require the demand matrix as input.     

Optimal decision rules acquisition in incomplete and Fuzzy Decision Information System

The Incomplete and Fuzzy Decision Information System （IFDIS） with both missing data and fuzzy decisions is rather extensively applications, which is the generalizations of complete information system, incomplete information system and fuzzy decision information system. In this paper, on the base of notion of the tolerance relation and the concept of IFDIS, the rough set model of IFDIS based on tolerance relation is proposed and the properties of the models are discussed, and then the definitions of（upper- or lower-） consistent reduction are suggested and knowledge reduction based on discernibility matrix is presented. The optimal fuzzy decision rules and its acquisition algorithm are proposed. Finally we provide an example to illustrate the validity of the algorithm.     

基于入侵容忍的CA认证中心设计与研究

该文介绍了入侵容忍技术的概念、应用领域、分类、实现方法,以入侵容忍为应用背景,利用安全增强的基于RSA可验证门限签名方案,设计入侵容忍的CA认证中心,给出了具体的系统结构和功能,工作协议,同时指出实现方法。