The development of modern science requires the equipment grid to provide a scientific collaboration research platform, which can realize remote collaboration and sharing with the key instruments and equipment in wide areas. The reliability and high efficiency of a grid service chain model are key points in creation of a grid equipment system. The π-calculus as powerful process algebra has a spe...

Transmission line protective systems are sometimes very complex, incorporating many different equipment groups, often at widely separated places, and often requiring high-speed communications for proper operation. The inherent reliability of such complex systems is a concern of the protection engineer and presents a significant analytical problem. This paper describes the use of fault tree anal...