This paper presents a fault-tolerant computer system. It is designed as a double 2-out-of-2 architecture based on component redundant technique. Also, a quantitative probabilistic model is presented for evaluating the...This paper presents a fault-tolerant computer system. It is designed as a double 2-out-of-2 architecture based on component redundant technique. Also, a quantitative probabilistic model is presented for evaluating the reliability, availability, maintainability and safety (RAMS) of this architecture. Hierarchical modeling method and Markov modeling method are used in RAMS analysis to evaluate the system characteristics. The double 2-out-of-2 system is compared with the other two systems, all voting triple modular redundancy (AVTMR) system and dual-duplex system. According to the result, the double 2-out-of-2 system has the highest dependability. Especially, the system can satisfy the safety integrity level (SIL) 4, which means the system’s probability of catastrophic failure less than or equal to 10-8 per hour, therefore, it can be applied to life critical systems such as high-speed railway systems.展开更多
The equilibrium solubility of one CsCl-YCl3-H2O ternary section of CsCl-YCl3-9.5%HCl-H2O quaternary sys-tem at T=298.15 K was investigated by the physico-chemical analysis method and the corresponding phase dia-gram w...The equilibrium solubility of one CsCl-YCl3-H2O ternary section of CsCl-YCl3-9.5%HCl-H2O quaternary sys-tem at T=298.15 K was investigated by the physico-chemical analysis method and the corresponding phase dia-gram was plotted. The crystallization of two new double salts Cs4YCl710H2O (4∶1 type) and Cs3Y2Cl914H2O (3∶2 type) was successful and they were obtained from the complicated system directly. Both were identified and characterized by X-ray, thermal analysis method of TG-DTG, DSC. The fluorescence experiments show that up-conversion phenomenon does not exist in compounds Cs4YCl7·0H2O and Cs3Y2Cl9·4H2O.展开更多
We consider double high order S-breaking bifurcation points of two-Parameter dependent nonlinear problems with Z_2×Z_2-symmetry. Because of the underlying symmetry we could propose some regular extended systems...We consider double high order S-breaking bifurcation points of two-Parameter dependent nonlinear problems with Z_2×Z_2-symmetry. Because of the underlying symmetry we could propose some regular extended systems to determine double high order S-breaking bifurcation points. and we could also show that there exist two quadratic pitchfork bifurcation point paths passing through the point being considered.展开更多
文摘This paper presents a fault-tolerant computer system. It is designed as a double 2-out-of-2 architecture based on component redundant technique. Also, a quantitative probabilistic model is presented for evaluating the reliability, availability, maintainability and safety (RAMS) of this architecture. Hierarchical modeling method and Markov modeling method are used in RAMS analysis to evaluate the system characteristics. The double 2-out-of-2 system is compared with the other two systems, all voting triple modular redundancy (AVTMR) system and dual-duplex system. According to the result, the double 2-out-of-2 system has the highest dependability. Especially, the system can satisfy the safety integrity level (SIL) 4, which means the system’s probability of catastrophic failure less than or equal to 10-8 per hour, therefore, it can be applied to life critical systems such as high-speed railway systems.
基金Project supported by the National Natural Science Foundation of China (No. 29371023).
文摘The equilibrium solubility of one CsCl-YCl3-H2O ternary section of CsCl-YCl3-9.5%HCl-H2O quaternary sys-tem at T=298.15 K was investigated by the physico-chemical analysis method and the corresponding phase dia-gram was plotted. The crystallization of two new double salts Cs4YCl710H2O (4∶1 type) and Cs3Y2Cl914H2O (3∶2 type) was successful and they were obtained from the complicated system directly. Both were identified and characterized by X-ray, thermal analysis method of TG-DTG, DSC. The fluorescence experiments show that up-conversion phenomenon does not exist in compounds Cs4YCl7·0H2O and Cs3Y2Cl9·4H2O.
文摘We consider double high order S-breaking bifurcation points of two-Parameter dependent nonlinear problems with Z_2×Z_2-symmetry. Because of the underlying symmetry we could propose some regular extended systems to determine double high order S-breaking bifurcation points. and we could also show that there exist two quadratic pitchfork bifurcation point paths passing through the point being considered.
