that compriseWTs. A FT is compound by different events and logic
gates (see Fig. 1(a)):
Top event is an undesirable event. It is unique in the FT.
Basic events (ei) perform basic fault inputs to the FT that can
occur more than once in a FT.
Intermediate events (gi) are represented by the combination of
elemental and/or other intermediate events through logic gates.
Intermediate events can be repeated in the FT but their branch
must be the same.
Logic gates (AND/OR) connect events by the coexistence of all
input events (AND), or at least only one of the input events (OR)
to reproduce the output event.
Complex systems analysis may produce thousands of combinations
of events, or cut-sets (C-Ss), that can result in system failure.
The determination of these C-Ss can be a large and timeconsuming
process. If the FT has many C-Ss, the determination of
the exact top event probability also requires lengthy calculations.
As a consequence, approximation techniques have been introduced
with a loss of accuracy [13]. Herewith, the BDD is proposed to solve
the probability of the top event of the FT (see Fig. 1(a)).
BDDs, as shown in example in Fig. 1(b), are directed acyclic
graphs (V, N), with vertex set V (vertices) and index set N (position
of v in the order of variables) that represent the Boolean functions
introduced by Lee in 1959 [14], and further popularised by Akers
[15], Moret [16], and Bryant [17]. BDD provides a new alternative to
traditional C-Ss approaches for FTA that leads to the determination
of the output value of the function through the inputs values.
ที่ compriseWTs FT จะประกอบ ด้วยเหตุการณ์ต่าง ๆ และตรรกะประตู (ดูรูป 1(a)):เหตุการณ์ด้านบนเป็นเหตุการณ์ไม่พึงประสงค์ มันเป็นเฉพาะในการ FTอินพุตข้อบกพร่องพื้นฐานฟุตที่สามารถดำเนินกิจกรรมพื้นฐาน (ei)เกิดขึ้นมากกว่าหนึ่งครั้งในการ FTเหตุการณ์ระดับกลาง (gi) จะแสดง โดยการรวมกันของธาตุหรือเหตุการณ์อื่น ๆ กลางผ่านตรรกะเหตุการณ์ระดับกลางสามารถทำซ้ำในการ FT แต่สาขาต้องเป็นตัวเดียวกันตรรกะประตู (และ) เชื่อมต่อเหตุการณ์ โดยการอยู่ร่วมกันของทั้งหมดป้อนเหตุการณ์ (และ), หรืออย่างน้อยหนึ่งเหตุการณ์สำหรับการป้อนค่า (OR)การเกิดเหตุการณ์ผลผลิตการวิเคราะห์ระบบซับซ้อนอาจผลิตพันชุดกิจกรรม หรือตัดชุด (C-Ss), ที่อาจทำให้ระบบล้มเหลวกำหนด C Ss เหล่านี้สามารถมีขนาดใหญ่ และ timeconsumingกระบวนการ ถ้า FT มี C มาก-Ss การกำหนดความน่าเป็นเหตุการณ์ที่แน่นอนที่ด้านบนยังต้องคำนวณความยาวส่งผล มีการใช้เทคนิคการประมาณกับการสูญเสียความแม่นยำ [13] พันทางกฏหมาย BDD จะเสนอแก้น่าเป็นของเหตุการณ์ของ FT ด้านบน (ดูรูป 1(a))BDDs ดังที่แสดงในตัวอย่างในรูป 1(b) ส่ง acyclicกราฟ (V, N), กับจุดยอดตั้ง V (จุดยอด) และดัชนีชุด N (ตำแหน่งของ v ลำดับตัวแปร) ที่แสดงถึงฟังก์ชันบูลีนจากลีในปี 1959 [14], และการ ถูกมอง โดย Akers[15], Moret [16], และไบรอันท์ [17] BDD ให้เป็นทางเลือกใหม่แบบ C-Ss วิธีสำหรับเขตการค้าเสรีที่นำไปสู่การกำหนดค่าผลลัพธ์ของฟังก์ชันผ่านค่าอินพุต
การแปล กรุณารอสักครู่..
