Reliability, maintainability and testability （RMT） are important properties of equipment, since they have important influ- ence on operational availability and life cycle costs （LCC）. There- fore, weighting and op...Reliability, maintainability and testability （RMT） are important properties of equipment, since they have important influ- ence on operational availability and life cycle costs （LCC）. There- fore, weighting and optimizing the three properties are of great significance. A new approach for optimization of RMT parameters is proposed. First of all, the model for the equipment operation pro- cess is established based on the generalized stochastic Petri nets （GSPN） theory. Then, by solving the GSPN model, the quantitative relationship between operational availability and RMT parameters is obtained. Afterwards, taking history data of similar equipment and operation process into consideration, a cost model of design, manufacture and maintenance is developed. Based on operational availability, the cost model and parameters ranges, an optimization model of RMT parameters is built. Finally, the effectiveness and practicability of this approach are validated through an example.展开更多
Reliability, maintainability, supportability （RMS） are the important performance indexes of equipment, which affect not only the availability, but also the life cycle cost （LCC） of the equipment. First discussed i...Reliability, maintainability, supportability （RMS） are the important performance indexes of equipment, which affect not only the availability, but also the life cycle cost （LCC） of the equipment. First discussed is the qualitative relation between reliability and LCC and the costs which may be used to enhance the reliability. Secondly, the factors that affect the maintainability are summarized, and if maintainability is advanced, the trend of the LCC is depicted. Thirdly, the qualitative relation between the supportability and LCC is described. Reliability, maintainability and supportability index all have a relation with the availability, so this paper presents the tradeoff for RMS indexes based on the availability calculation models and LCC models. On the condition that the availability value is not below the given value, the decision-making is optimal if the life cycle cost is the minimum value.展开更多
Reliability and maintainability of mining industry is more in focus than ever, and the mining systems are becoming more complex and the equipment more expensive to repair or modify. Unplanned failures can result in si...Reliability and maintainability of mining industry is more in focus than ever, and the mining systems are becoming more complex and the equipment more expensive to repair or modify. Unplanned failures can result in significant costs, especially when the machinery is hard to repair or spare parts are far away. This paper presents a case study describing a reliability and maintainability analysis of the main conveyor system of the Svea Coal Mine located in Svalbard, Norway. The conveyor system includes several separate conveyors. In this study, the main six conveyors of the whole system were selected for the analysis. The failure and repair data of the conveyors were collected for the whole year of 2010 using maintenance and daily reports. The date was analyzed and the result shows that the availability of six conveyers is 96.44%for one year of operation. However, reliability of these conveyers needs to be improved in order to reduce the number of failures.展开更多
In the field of model-based system assessment,mathematical models are used to interpret the system behaviors.However,the industrial systems in this intelligent era will be more manageable.Various management operations...In the field of model-based system assessment,mathematical models are used to interpret the system behaviors.However,the industrial systems in this intelligent era will be more manageable.Various management operations will be dynamically set,and the system will be no longer static as it is initially designed.Thus,the static model generated by the traditional model-based safety assessment(MBSA)approach cannot be used to accurately assess the dependability.There mainly exists three problems.Complex:huge and complex behaviors make the modeling to be trivial manual;Dynamic:though there are thousands of states and transitions,the previous model must be resubmitted to assess whenever new management arrives;Unreusable:as for different systems,the model must be resubmitted by reconsidering both the management and the system itself at the same time though the management is the same.Motivated by solving the above problems,this research studies a formal management specifying approach with the advantages of agility modeling,dynamic modeling,and specification design that can be re-suable.Finally,three typical managements are specified in a series-parallel system as a demonstration to show the potential.展开更多
With the development of high-speed railways in China,more than 2000 high-speed trains will be put into use.Safety and efficiency of railway transportation is increasingly important.We have designed a high availability...With the development of high-speed railways in China,more than 2000 high-speed trains will be put into use.Safety and efficiency of railway transportation is increasingly important.We have designed a high availability quadruple vital computer (HAQVC) system based on the analysis of the architecture of the traditional double 2-out-of-2 system and 2-out-of-3 system.The HAQVC system is a system with high availability and safety,with prominent characteristics such as fire-new internal architecture,high efficiency,reliable data interaction mechanism,and operation state change mechanism.The hardware of the vital CPU is based on ARM7 with the real-time embedded safe operation system (ES-OS).The Markov modeling method is designed to evaluate the reliability,availability,maintainability,and safety (RAMS) of the system.In this paper,we demonstrate that the HAQVC system is more reliable than the all voting triple modular redundancy (AVTMR) system and double 2-out-of-2 system.Thus,the design can be used for a specific application system,such as an airplane or high-speed railway system.展开更多
文摘Reliability, maintainability and testability （RMT） are important properties of equipment, since they have important influ- ence on operational availability and life cycle costs （LCC）. There- fore, weighting and optimizing the three properties are of great significance. A new approach for optimization of RMT parameters is proposed. First of all, the model for the equipment operation pro- cess is established based on the generalized stochastic Petri nets （GSPN） theory. Then, by solving the GSPN model, the quantitative relationship between operational availability and RMT parameters is obtained. Afterwards, taking history data of similar equipment and operation process into consideration, a cost model of design, manufacture and maintenance is developed. Based on operational availability, the cost model and parameters ranges, an optimization model of RMT parameters is built. Finally, the effectiveness and practicability of this approach are validated through an example.
基金supported by the National Postdoctoral Science Foundation of P. R. China Under Grant No. 20080431380
文摘Reliability, maintainability, supportability （RMS） are the important performance indexes of equipment, which affect not only the availability, but also the life cycle cost （LCC） of the equipment. First discussed is the qualitative relation between reliability and LCC and the costs which may be used to enhance the reliability. Secondly, the factors that affect the maintainability are summarized, and if maintainability is advanced, the trend of the LCC is depicted. Thirdly, the qualitative relation between the supportability and LCC is described. Reliability, maintainability and supportability index all have a relation with the availability, so this paper presents the tradeoff for RMS indexes based on the availability calculation models and LCC models. On the condition that the availability value is not below the given value, the decision-making is optimal if the life cycle cost is the minimum value.
文摘Reliability and maintainability of mining industry is more in focus than ever, and the mining systems are becoming more complex and the equipment more expensive to repair or modify. Unplanned failures can result in significant costs, especially when the machinery is hard to repair or spare parts are far away. This paper presents a case study describing a reliability and maintainability analysis of the main conveyor system of the Svea Coal Mine located in Svalbard, Norway. The conveyor system includes several separate conveyors. In this study, the main six conveyors of the whole system were selected for the analysis. The failure and repair data of the conveyors were collected for the whole year of 2010 using maintenance and daily reports. The date was analyzed and the result shows that the availability of six conveyers is 96.44%for one year of operation. However, reliability of these conveyers needs to be improved in order to reduce the number of failures.
基金the National Natural Science Foundation of China(52105070,U21B2074)Department of Science and Technology of Liaoning Province China(2033JH1/10400007).
文摘In the field of model-based system assessment,mathematical models are used to interpret the system behaviors.However,the industrial systems in this intelligent era will be more manageable.Various management operations will be dynamically set,and the system will be no longer static as it is initially designed.Thus,the static model generated by the traditional model-based safety assessment(MBSA)approach cannot be used to accurately assess the dependability.There mainly exists three problems.Complex:huge and complex behaviors make the modeling to be trivial manual;Dynamic:though there are thousands of states and transitions,the previous model must be resubmitted to assess whenever new management arrives;Unreusable:as for different systems,the model must be resubmitted by reconsidering both the management and the system itself at the same time though the management is the same.Motivated by solving the above problems,this research studies a formal management specifying approach with the advantages of agility modeling,dynamic modeling,and specification design that can be re-suable.Finally,three typical managements are specified in a series-parallel system as a demonstration to show the potential.
基金Project(No.2009BAG12A05) supported by the National Key Technology R&D Program of China
文摘With the development of high-speed railways in China,more than 2000 high-speed trains will be put into use.Safety and efficiency of railway transportation is increasingly important.We have designed a high availability quadruple vital computer (HAQVC) system based on the analysis of the architecture of the traditional double 2-out-of-2 system and 2-out-of-3 system.The HAQVC system is a system with high availability and safety,with prominent characteristics such as fire-new internal architecture,high efficiency,reliable data interaction mechanism,and operation state change mechanism.The hardware of the vital CPU is based on ARM7 with the real-time embedded safe operation system (ES-OS).The Markov modeling method is designed to evaluate the reliability,availability,maintainability,and safety (RAMS) of the system.In this paper,we demonstrate that the HAQVC system is more reliable than the all voting triple modular redundancy (AVTMR) system and double 2-out-of-2 system.Thus,the design can be used for a specific application system,such as an airplane or high-speed railway system.
