TAILIEUCHUNG - Handbook of Reliability, Availability, Maintainability and Safety in Engineering Design - Part 48

Handbook of Reliability, Availability, Maintainability and Safety in Engineering Design - Part 48 studies the combination of various methods of designing for reliability, availability, maintainability and safety, as well as the latest techniques in probability and possibility modelling, mathematical algorithmic modelling, evolutionary algorithmic modelling, symbolic logic modelling, artificial intelligence modelling, and object-oriented computer modelling, in a logically structured approach to determining the integrity of engineering design. . | Analytic Development of Availability and Maintainability in Engineering Design 453 Designing for Availability Using Petri Net Modelling Returning to the initial quantitative example of designing for availability with the inclusion of preventive maintenance Fig. illustrates the MRSPN representation of the system Bobbio et al. 1997 . The working state is modelled by place Pup. The generally distributed transition tf models the failure distribution of which the firing results in the system moving to place Pdown. Upon system failure the preventive maintenance activity is suspended the inhibitor arc from place Pdown to transition tclock is used to model this fact. The deterministic transition tclock models the constant inspection interval. It is competitively enabled with tf so that the one that fires first disables the other. Once tclock fires a token moves in place Pmai as well as the activity related with the preventive maintenance transition tmai starts . During the preventive maintenance phase the system is down and cannot fail by using the inhibitor arc from place Pmai to transition tf. The completion of the maintenance firing of tmai re-initialises the system in an as-good-as-new condition hence tf is assigned a prd policy. Since upon failure and repair a completed interval must elapse before the successive preventive maintenance takes place tclock also must be assigned a prd policy. As can be observed from Fig. tf and tclock are conflicting prd transitions. a Numerical Computations for the Availability Petri Net Model Since there are no immediate transitions in the PN all the markings are tangible. Starting from an initial marking m1 the token distribution of the reachable markings represented in Fig. assuming the following order for the places Pup Pclock down Pmai is given by mi 1 1 0 0 m2 0 1 1 0 m3 1 0 0 1 . From marking m1 both tf and tclock may fire leading to m2 and m3 respectively. From m2 only tdown can fire leading to m1 and .

• Cơ khí - Chế tạo máy
• Cẩm nang thiết kế kỹ thuật
• bảo trì máy
• thiết kế cơ khí
• cấu trúc chế tạo máy
• phương pháp an toàn trong thiết kế
• Stapelberg Frederick Rudolph
• Địa kỹ thuật
• Cẩm nang kỹ sư địa kỹ thuật
• Thiết kế nền móng
• Phân tích địa kỹ thuật
• Khảo sát đất nền
• Thiết kế tầng mặt đường
• Thiết kế trang Web
• hướng dẫn thiết kế trang Web
• phương pháp thiết kế trang Web
• kỹ thuật thiết kế trang Web
• kỹ thuật thiết kế Web
• cẩm nang thiết kế trang Web
• Mechanical Desktop
• Thiết kế mô hình 3 chiều
• hướng dẫn Thiết kế mô hình 3 chiều
• kinh nghiệm Thiết kế mô hình 3 chiều
• phương pháp Thiết kế mô hình 3 chiều
• kỹ thuật Thiết kế mô hình 3 chiều
• cẩm nang Thiết kế mô hình 3 chiều
• kinh nghiệm Thiết kế trang web
• tài liệu Thiết kế trang web
• Cẩm nang địa kỹ thuật
• Kỹ sư địa kỹ thuật
• Hướng dẫn thiết kế ôtô
• hiết kế đường ôtô
• hướng dẫn thiết kế đường ôtô
• kỹ thuật thiết kế đường ôtô
• kinh nghiệm thiết kế đường ôtô
• cẩm nang thiết kế đường ôtô
• Thiết kế Web
• hướng dẫn Thiết kế Web
• kinh nghiệm Thiết kế Web
• cẩm nang Thiết kế Web