This paper puts forward the conceptions of semi-flexible units and semi-flexible system, and builds up the theory of semi-flexible output type and repairable production system general reliability analysis and general ...This paper puts forward the conceptions of semi-flexible units and semi-flexible system, and builds up the theory of semi-flexible output type and repairable production system general reliability analysis and general reliability design, which discusses the reliability problems of semi-flexible units and semi-flexible system from three aspects of time, task and capacity.展开更多
There were various conventional modeling techniques with varied semantics for system reliability assessment, such as fault trees(FT), Markov process(MP), and Petri nets. However, it is strenuous to construct and to ma...There were various conventional modeling techniques with varied semantics for system reliability assessment, such as fault trees(FT), Markov process(MP), and Petri nets. However, it is strenuous to construct and to maintain models utilizing these formalisms throughout the life cycle of system under development. This paper proposes a unified formal modeling language to build a general reliability model. The method eliminates the gap between the actual system and reliability model and shows details of the system clearly. Furthermore,the model could be transformed into FT and MP through specific rules defined by a formal language to assess system-level reliability.展开更多
文摘This paper puts forward the conceptions of semi-flexible units and semi-flexible system, and builds up the theory of semi-flexible output type and repairable production system general reliability analysis and general reliability design, which discusses the reliability problems of semi-flexible units and semi-flexible system from three aspects of time, task and capacity.
文摘There were various conventional modeling techniques with varied semantics for system reliability assessment, such as fault trees(FT), Markov process(MP), and Petri nets. However, it is strenuous to construct and to maintain models utilizing these formalisms throughout the life cycle of system under development. This paper proposes a unified formal modeling language to build a general reliability model. The method eliminates the gap between the actual system and reliability model and shows details of the system clearly. Furthermore,the model could be transformed into FT and MP through specific rules defined by a formal language to assess system-level reliability.
