1
2
RINGKASAN KASUS
Komisi Pengaturan Nuklir AS (NRC) telah mengembangkan sebuah komputer pribadi yang kuat yaitu software aplikasi untuk melakukan penilaian risiko probabilistik, yang disebut Systems Analysis Programs Hands-On Integrated Reability Evaluations (SAPHIRE). Dengan menggunakan SAPHIRE pada PC, sebuah Analis dapat melakukan penilaian resiko probabilistik untuk setiap sistem yang kompleks, fasilitas, atau proses. Mengenai pembangkit listrik tenaga nuklir, SAPHIRE dapat digunakan untuk memodelkan resiko terhadap kejadian awal, menghitung kerusakan inti terkaitfrekuensi dan mengidenti kasi kontributor penting untuk kerusakan luar/teras. Hal ini juga dapat digunakan untuk mengevaluasi kegagalan penahanan dan model release untuk kondisi kecelakaan parah, apabila kerusakan teras telah terjadi.
Hal ini dapat digunakan untuk
mengasumsikan bahwa reaktor berada pada kekuatan penuh, pada daya listrik yang rendah, atau pada kondisi shutdown. Selain itu, dapat digunakan untuk menganalisis kejadian awal baik internal maupun eksternal, dan memiliki tur tur khusus untuk mengubah model dalam menganalisis kejadian internal dan analisis peristiwa eksternal.
Pembangunan dan pemeliharaan SAPHIRE telah dilakukan oleh Idaho National Laboratory (INL). INL mulai pengembangan aplikasi perangkat lunak pada PC pada pertengahan 1980 ketika potensi aplikasi PC mulai diakui. Versi awalnya, , Integrated Risk and Reliability Analysis System (IRRAS), dirilis oleh Idaho National Laboratory Teknik (sekarang Idaho National Laboratorium) pada Februari 1987. IRRAS adalah sebuah kesuksesan, karena jelas menunjukkan kelayakan dalam melakukan penilaian keandalan dan resiko pada PC dan karena kebutuhan yang luar biasa (Russell 1987). Perkembangan IRRAS berlanjut selama tahun-tahun berikutnya, mengarah ke SAPHIRE menjadi alat penilaian resiko probabilistik yang kuat.
SAPHIRE menyediakan fungsi
yang diperlukan untuk melakukan penialaian resiko. Pengguna dapat menyediakan data dasar, membuat dan memecahkan kesalahan dan kejadian eksekusi, melakukan analisis ketidakpastian, dan menghasilkan laporan. Untuk memperluas analisis ini, diciptakanlah GEM. GEM adalah antarmuka yang user-friendly dan mengotomatisasi input SAPHIRE dan proses untuk melakukan penilaian peristiwa.
SAPHIRE mengandung editor atau pilihan untuk membuat acara pohon dan pohon kesalahan, mende nisikan urutan kecelakaan dan data kegagalan dasar acara, pohon kesalahan memecahkan sistem dan pohon urutan kecelakaan acara, mengukur dipotong set, melakukan analisis sensitivitas dan ketidakpastian, mendokumentasikan hasil, dan menghasilkan laporan. Kemampuan SAPHIRE untuk melakukan PRA adalah sebagai berikut. Kesalahan gra s pohon konstruksi
Acara gra s pohon konstruksi Peraturan-
berbasis fault tree menghubungkan
Cut Cepat set generasi
3
Set pohon ben-
dera Kesalahan
Kegagalan Data
Ketidakpastian analisis
set, slice, tampilan, dan alat pemulihan analisis
Potong perbandingan set
Potong Editor
Potong set path tracing
Potong set partisi end state
End state analisis
User-de ned jenis analisis
SAPHIRE memiliki modul laporan generasi yang kuat. Selain itu, SAPHIRE memiliki fungsi utilitas untuk memulihkan database rusak, mengkonversi logika kesalahan pohon dari alpha untuk gra s, dan mengubah user-de ned konstanta. Dengan SAPHIRE, pengguna dapat mengekspor pohon kesalahan gra s dan pohon acara untuk industri-standar Windows meta le. SAPHIRE, pengguna harus membuat sebuah proyek.
Untuk menggunakan Sebuah proyek adalah
setiap pengelompokan logis dari pohon kesalahan dan urutan peristiwa yang terkait dengan dasar, set dipotong, keandalan data, dan deskripsi. Seiring dengan Proyek nama, deskripsi, desain tanaman, dll, juga mengandung referensi silang informasi untuk hubungan antara peristiwa dasar, fault tree, urutan, pohon kejadian, kondisi akhir, set perubahan, dan gerbang dalam proyek.
Itu
tabel proyek juga berisi partisi proyek urutan, dan urutan proyek, pohon kegagalan, dan negara akhir pemulihan informasi bersama dengan teks makro. Setelah proyek dibuat, pengguna dapat membuat kesalahan pohon danpohonacara. Editor Pohon Sesar digunakan untuk membuat pohon kesalahan untuk proyek tersebut.
SAPHIRE menciptakan sebuah entri di Patahan Pohon meja un-
tuk setiap pohon kesalahan dibuat. SAPHIRE mengharuskan konvensi tertentu digunakan untuk penamaan kesalahan pohon. Untuk menggunakan pohon kesalahan sebagai acara puncak dalam pohon kejadian, atau referensi itu secara berurutan, nama harus ditentukan secara khusus: (1) nama pohon kesalahan dan nama gerbang top di pohon kesalahan harus sama, (2) nama acara puncak dalam pohon kejadian dan nama pohon kegagalan harus sama. SAPHIRE menambahkan semua referensi basic event di pohon kesalahan ke meja acara. Akhirnya, SAPHIRE menciptakan entri dalam tabel event untuk setiap gerbang transfer yang dide nisikan di pohon kesalahan. Tabel ini memelihara data untuk fault tree atribut: logika
Kesalahan pohon nama dan deskripsi
Set cut Minimal
probabilitas Top acara
Kesalahan pohon
Pemulihan aturan Analisis
Ketidakpastian hasil Editor Pohon acara digunakan untuk menghasilkan pohon acara untuk proyek. Ketika pengguna menciptakan pohon acara menggunakan Editor Pohon acara, SAPHIRE otomatis menambahkan informasi terkait ke database. Ketika pohon kejadian disimpan, sebuah entri dibuat dalam tabel Pohon acara yang berisi informasi gra s terkait dengan pohon kejadian. Jika pohon kejadian berisi kejadian awal sebagai acara puncak pertama di pohon, entri secara otomatis dibuat dalam tabel Pohon acara. Entri termasuk nama pohon peristiwa, memulai acara untuk pohon kejadian, dan data deskriptif lainnya. Se-
4
lanjutnya, SAPHIRE menciptakan sebuah entri di Fault Tree meja untuk setiap acara puncak dide nisikan dalam pohon kejadian.
Secara default, SAPHIRE
mengasumsikan bahwa atas setiap Acara ini diwakili oleh pohon kesalahan dengan nama yang sama. Pada saat entri pohon kesalahan dibuat, SAPHIRE juga membuat acara dasar dalam tabel acara dengan nama yang sama dengan pohon kesalahan. Event Tabel pohon mempertahankan data untuk atribut pohon kejadian:
Acara pohon nama dan deskripsi Acara pohon logika dan represen-
tasi gra s
Memulai acara Acara pohon makro, pemulihan dan partisi aturan.
Setelah pohon kesalahan dide nisikan, orang akan memasukkan data kegagalan untuk setiap acara dasar dalam database. hankan data untuk atribut basic event: Acara atribut galan Data
Transformasi Informasi
Itu Tabel event memperta-
nama event Dasar dan deskripsi
Ketidakpastian Informasi
Kega-
Proses bendera.
Semua perhitungan SAPHIRE (misalnya, cut-set generasi dan analisis sensitivitas) menggunakan data yang disimpan dalam saat ini kasus. Arus-kasus data diciptakan dengan menerapkan set perubahan ke basis-kasus data (melalui Menghasilkan opsi). Perhatikan bahwa dasar-kasus hasil tidak berubah setiap kali analisis dilakukan.
Base-kasus data dan hasil yang diubah dengan mem-
perbarui kasus dasar. Memperbarui kasus dasar transfer saat-kasus data atau hasil ke kasus dasar.
Dalam proyek tersebut, model logika (kesalahan pohon
dan acara pohon) dan gra s terkait disimpan secara terpisah dari dasar / data kasus saat ini. Data acara dalam kasus saat ini dapat dimanipulasi, melalui set perubahan, untuk memeriksa perubahan dalam probabilitas kecelakaan tanaman dan kegagalan kecelakaan urutan berdasarkan peristiwa dasar.
Satu set
perubahan adalah satu set modi kasi data yang akan diterapkan pada peristiwa dasar selama pohon kesalahan atau analisis urutan.
Dalam perubahan
ditetapkan, pengguna dapat menambahkan acara ke set perubahan, memodi kasi probabilitas acara yang dipilih, atau ulang acara tersebut probabilitas dengan nilai-nilai dasar kasus. Jika kasus dasar data berubah dan pilihan Generate tidak dilakukan, data yang digunakan untuk analisis tidak akan mencerminkan perubahan. Namun, jika pengguna mencoba untuk melakukan analisis setelah melakukan perubahan data, SAPHIRE akan meminta pengguna untuk menghasilkan perubahan data. Fungsi analisis ketidakpastian di SAPHIRE memperkirakan variabilitas (karena ketidakpastian dalam dasar acara probabilitas) dari salah satu kesalahan pohon probabilitas atas peristiwa atau pohon frekuensi acara urutan.
Dalam analisis ketidakpastian tradisional, SAPHIRE
sampel ditentukan pengguna distribusi untuk setiap dasar acara dalam kelompok set dipotong, kemudian mengkuanti kasi cut set ini menggunakan nilai sam-
5
pel Selain pohon kesalahan dan kemampuan analisis pohon kejadian, SAPHIRE juga memungkinkan pengguna untuk mengumpulkan minimal cut set dari urutan ke negara akhir. Menyatakan akhir yang berdiri sendiri kelompok set cut mewakili hasil tertentu (misalnya, inti kerusakan, rilis awal besar). SAPHIRE telah menjadi alat PRA kuat. Relasional database struktur dan aturan editing menawarkan Kemampuan untuk pemodelan canggih perkembangan kecelakaan dan, oleh karena itu, menawarkan cara untuk lebih akurat dan analisis yang sangat e sien. Beberapa tur lainnya, banyak dibangun dari umpan balik oleh pengguna berurusan dengan skala besar model PRA, membuat SAPHIRE antara tercepat dan paling canggih PRA kode tersedia saat ini.
6
1. PENDAHULUAN
1.1 Latar Belakang Komisi Pengaturan Nuklir AS (NRC) telah mengembangkan sebuah komputer pribadi yang kuat (PC) software aplikasi untuk melakukan penilaian risiko probabilistik (PRA), yang disebut Sistem Analisis.
Program untuk Hands-
on Evaluasi Keandalan Terpadu (SAPHIRE). Menggunakan SAPHIRE pada PC, analis dapat melakukan PRA untuk setiap sistem yang kompleks, fasilitas, atau proses.Mengenai pembangkit listrik tenaga nuklir, SAPHIRE dapat digunakan untuk memodelkan respon tanaman terhadap kejadian awal, menghitung frekuensi inti kerusakan yang berhubungan dan mengidenti kasi kontributor penting untuk kerusakan teras (Level 1 PRA). Hal ini juga dapat digunakan untuk mengevaluasi kegagalan penahanan dan model rilis untuk kecelakaan parah kondisi, mengingat bahwa kerusakan teras telah terjadi (Level 2 PRA). Hal ini dapat digunakan untuk PRA asumsi bahwa reaktor berada pada kekuatan penuh, pada daya rendah, atau pada kondisi shutdown. Selain itu, dapat digunakan untuk menganalisis baik internal maupun eksternal kejadian awal, dan memiliki tur- tur khusus untuk mengubah model dibangun untuk analisis acara internal model untuk analisis peristiwa eksternal. Hal ini juga dapat digunakan secara terbatas cara untuk mengukur risiko konsekuensi rilis ke publik dan lingkungan (Level 3 PRA). Untuk semua model, SAPHIRE dapat mengevaluasi ketidakpastian yang melekat dalam model probabilistik. SAPHIRE pembangunan dan pemeliharaan telah dilakukan oleh Idaho National Laboratory (INL). INL mulai pengembangan aplikasi perangkat lunak PRA pada PC pada pertengahan 1980 ketika besar potensi aplikasi PC mulai diakui.
Versi awal Risiko, Terpadu dan Keandalan Analisis Sistem (IRRAS),
dirilis oleh Idaho National Laboratory Teknik (sekarang Idaho National Laboratory) pada Februari 1987.
IRRAS adalah sebuah kesuksesan, karena jelas
menunjukkan kelayakan melakukan penilaian keandalan dan resiko pada PC dan karena yang luar biasa kebutuhan (Russell 1987). Pengembangan IRRAS berlanjut selama tahun-tahun berikutnya. Namun, keterbatasan keadaan senisaat tersebut tahap awal menyebabkan perkembangan dari beberapa independen modul untuk melengkapi kemampuan IRRAS (Russell 1990, 1991, 1992; 1994). Modul ini adalah dikenal sebagai Model dan Hasil Database (MAR-D), Analisis Sistem dan Risk Assessment (SARA), dan Fault Tree, Pohon acara, dan Diagram Piping dan Instrumentasi (FEP).IRRAS dikembangkan terutama untuk melakukan Level 1 PRA. Isinya fungsi untuk membuat acara pohon dan pohon kesalahan, urutan kecelakaan mende nisikan dan data basic event kegagalan, pohon sistem pemecahan kesalahan dan kecelakaan pohon acara urutan, sensitivitas mengukur set memotong, melakukan analisis dan ketidakpastian, mendokumentasikan hasil, dan menghasilkan laporan. MAR-D disediakan sarana untuk bongkar muat Data PRA dari database relasional IRRAS. MARD menggunakan format ASCII data sederhana. Format ini memungkinkan pertukaran data antara PRA dilakukan dengan berbagai jenis perangkat lunak, data PRA dilakukan oleh kode yang berbeda bisa dikonversi ke format data yang sesuai untuk IRRAS, dan sebaliknya. SARA disediakan kemampuan untuk mengakses data dan hasil PRA (fasilitas informasi deskriptif, kegagalan
7
Data, acara pohon, pohon kesalahan, diagram sistem tanaman model, dan urutan kecelakaan yang dominan) yang tersimpan dalam MAR-D. Dengan SARA, pengguna dapat meninjau dan membandingkan hasil PRA yang ada.
Hal ini
juga memberikan 2 Kemampuan untuk melakukan analisis sensitivitas yang terbatas. SARA dimaksudkan untuk memberikan akses yang lebih mudah ke PRA hasil kepada pengguna yang tidak memiliki tingkat kecanggihan yang diperlukan untuk menggunakan IRRAS. FEP menyediakan akses umum untuk suite editor gra s. Pohon kesalahan dan editor pohon kejadian yang diakses melalui FEP serta melalui IRRAS, sedangkan diagram pipa dan instrumentasi (P & ID) editor hanya dapat diakses melalui FEP. Dengan editor ini seorang analis bisa membangun dari awal serta memodi kasi pohon kegagalan, pohon kejadian, dan tanaman menggambar representasi gra s yang dibutuhkan dalam PRA. Versi sebelumnya SAPHIRE terdiri dari suite modul ini. Mengambil keuntungan dari Windows 95 (atau Windows NT) lingkungan, semua modul yang diintegrasikan ke SAPHIRE Versi 6, lebih banyak tur yang ditambahkan, dan user interface yang disederhanakan. Dengan rilis versi SAPHIRE 5 dan 6, INL termasuk modul terpisah yang disebut Gra s Evaluasi Modul (GEM). GEM menyediakan antarmuka pengguna yang sangat khusus dengan SAPHIRE, mengotomatisasi langkah-langkah proses SAPHIRE untuk mengevaluasi kegiatan operasional pada daya nuklir komersial tanaman.
Secara khusus, GEM men-
erapkan banyak kecelakaan urutan analisis prekursor (ASP) Program metode. Menggunakan GEM, analis dapat memperkirakan risiko yang terkait dengan kejadian operasional yang sangat e sien dan cepat.
1.2 Tujuan
Laporan ini memperkenalkan dan merangkum ini NUREG / CR series, Volume 1-7, dokumen yang menggambarkan fungsi dokumen SAPHIRE dan GEMteknis yang menjelaskan mengapa fungsi jalan tersebut dan panduan penggunaan yang menjelaskan bagaimana menggunakan fungsi individu. Detil dokumentasi dan instruksi untuk menggunakan kode yang tersedia di manual referensi on-line telah diformat ulang untuk menyajikan dalam set NUREG / CR volume.
Di masa lalu, dokumentasi rinci diberikan dalam format hard copy.
Serangkaian NUREG / CR laporan dirilis mendokumentasikan setiap modul individu dibahas di atas (NUREG/CR-6166; Volume 1 melalui 8, 1994), dokumen Versi 5 dari suite SAPHIRE kode. Namun, dalam menanggapi terus meningkatnya kebutuhan NRC untuk kemampuan PRA dan dalam menanggapi umpan balik dari pengguna, SAPHIRE memiliki perubahan mengalami dan perangkat tambahan. Kebutuhan konsekuen untuk update terus-menerus rinci SAPHIRE dokumentasi dipenuhi oleh manual on-line elektronik, yang diperbarui dengan setiap besar pelepasan versi SAPHIRE. Ini set baru NUREG / CR laporan dijelaskan dalam laporan ini mencerminkan diperbarui snapshot dari dokumentasi untuk rilis saat SAPHIRE.
8
1.3 SAPHIRE manual Ikhtisar Volume berikut yang merupakan seri ini menggambarkan SAPHIRE dan kemampuan untuk melakukan PRA. Sebuah ringkasan singkat dari volume masing-masing berikut di bawah ini.
Penjelasan lebih rinci dapat ditemukan
dalam masing individu volume.
Ikhtisar / Summary (Volume 1)
Volume ini merangkum seri ini NUREG dan ikhtisar fungsi SAPHIRE.
Teknis Referensi (Volume 2) Volume ini menyajikan latar belakang teoritis belakang fungsi SAPHIRE dan termasuk berikut topik: Konsep teoritik Set, Ulasan Logic Fault Tree, Konsep Probabilitas, Penentuan Set Cut Minimal, Kuanti kasi Alat untuk Probabilitas dan Frekuensi, EventProbabilitas Perhitungan Jenis, Pentingnya Tindakan, Ketidakpastian, dan PerhitunganSeismic. 3 Perbaikan mencakup perluasan Alat Kuanti kasi untuk memasukkan bagian yang menggambarkan Konsep "peristiwa senyawa" dan bagaimana mereka bekerja.
Bagian ini akan mencakup diskusi tentang berbagai plug-in, termasuk
kegagalan penyebab umum plug-in.
Setiap plug-in dijelaskan dan dasar teori
menjelaskan. Selain itu, bagian menggambarkan proses pengumpulan end negara dan dipotong mengatur partisi dan set proses pemulihan dipotong untuk kedua pohon kesalahan dan urutan. Perbaikan juga termasuk perluasan Pentingnya Tindakan tersebut untuk menyertakan diskusi tentang (a) Pentingnya ketidakpastian, (b) pentingnya mengukur ditambahkan untuk mendukung pengguna yang bekerja di berbagai risiko-informasi kegiatan, dan (c) "pentingnya penyihir" kemampuan, yang memungkinkan pengguna untuk lebihmemperkirakan layak risiko prestasi (RAW) dari komponen. Perbaikan meliputi perluasan Analisis Ketidakpastian untuk memasukkan diskusi yang lebih menyeluruh dari metodologi Sampling Hypercube Latin tersedia di SAPHIRE. Perluasan bagian Acara Eksternal, yang membahas kebakaran dan analisis banjir di samping analisis seismik, juga telah diperbarui.
SAPHIRE Pengguna 'Manual (Volume 3)
Manual ini saat ini dibagi menjadi 14 bab dan lampiran 5. Dua bab pertama memperkenalkan SAPHIRE, berikan petunjuk instalasi, dan menjelaskan tur dasar SAPHIRE. Yang ketiga Bab rincian SAPHIRE konsep database untuk membantu dalam belajar bagaimana bekerja SAPHIRE. Itu Bab-bab menyajikan pendekatan langkah-demi-langkah untuk menggunakan tur SAPHIRE. Bab 14 membahas kemampuan dan keterbatasan SAPHIRE. Lampiran mencakup beberapa canggih tur SAPHIRE. Masing-masing bab dan lampiran telah diperbarui dan diperluas.
SAPHIRE Tutorial Manual (Volume 4)
Panduan ini menjelaskan proses keseluruhan membangun database PRA
9
menggunakan pemodelan sederhana domain, yang mengemudi mobil. Banyak tur SAPHIRE yang dibahas sebagai bagian dari PRA pemodelan.
Selain
itu, banyak dari "maju" tur di SAPHIRE digunakan, misalnya memotong set pemulihan aturan dan acara template.
GEM / GEMDATA Reference Manual (Volume 5)
Manual ini saat ini dibagi menjadi tujuh bab dan lampiran dua. Dua bab pertama memperkenalkan GEM, memberikan instruksi instalasi, dan menjelaskan tur dasar dari GEM / SAPHIRE. Bab-bab yang tersisa menyajikan pendekatan langkah-demi-langkah untuk menggunakan tur GEM. Masing-masing bab dan lampiran akan diperbarui dan diperluas sesuai kebutuhan.
SAPHIRE Quality Assurance (QA) Manual (Volume 6)
Manual ini rincian metode dan tes yang digunakan untuk menyediakan QA. Hal ini juga membandingkan SAPHIRE Pengujian, Validasi, dan Veri kasi metodologi terhadap Validasi Independen IEEE dan Veri kasi metodologi. Kontrol kon gurasi dibahas dan contoh pengujian disediakan
SAPHIRE data Memuat Manual (Volume 7)
Manual ini saat ini dibagi menjadi empat bab dan empat lampiran.
Dua
bab pertama memperkenalkan konsep database SAPHIRE dan penting.
Bab
ketiga membahas database sampel, dan bab keempat membahas proses lengkap memuat database sampel.
Masing-masing bab dan lampiran yang diperbarui
dan diperluas sesuai. Data konversi metode dan isu, termasuk validasi, dibahas
_____________________________________________________________ 4 1.4 Secara keseluruhan SAPHIRE Kemampuan Kemampuan SAPHIRE untuk melakukan PRA adalah sebagai berikut. Penjelasan lebih rinci dapat ditemukan di bagian-bagian individu dari dokumentasi, rinci on-line. CATATAN: Dokumen ini mengasumsikan Anda sudah familiar dengan metodePRA dan terminologi. Ini adalah gambaran perangkat lunak SAPHIRE.Sebuah referensi manual online tersedia dengan instalasi software.
Manual on-line tidak memerintahkan
dalam metodologi PRA tetapi hanyalah referensi membimbing untuk perangkat lunak SAPHIRE.
kesalahan gra s pohon konstruksi Pohon kesalahan yang dibangun dan
dimodi kasi dengan editor gra s interaktif dan eksibel, atau dengan fault tree logika Editor mirip dengan le explorer hirarkis tersedia di Windows.
acara gra s pohon konstruksi Pohon acara dibangun dan dimodi kasi dengan editor gra s interaktif dan eksibel, yang memungkinkan hubungan pohon acara ganda dan penciptaan pohon peristiwa yang sangat besar.
Peraturan-
berbasis fault tree menghubungkan Urutan Kecelakaan yang dihasilkan menggunakan modul menghubungkan yang menggunakan seperangkat kuat user-de ned aturan untuk menentukan top-event substitusi. Aturan-aturan ini memungkinkan pengujian keadaan saat solusi Proses pada setiap titik cabang di pohon ke-
10
jadian.
cut Cepat set generasi Pohon kesalahan yang sangat besar dan
urutan kecelakaan yang diselesaikan sangat cepat. adalah salah satu yang tercepat di industri.
SAPHIRE Solusi mesin
Bersyarat pemotongan Set uru-
tan Kecelakaan dipotong dapat dihasilkan dengan menggunakan "probabilitas pemotongan bersyarat," dimana frekuensi inisiator diasumsikan memiliki ni-
lai 1,0 selama proses pemotongan awal.
set pohon bendera Kesalahan "Set
Bendera" yang disertakan untuk bagian pemangkasan pohon kesalahan untuk menyesuaikan logika mereka dengan kondisi yang berbeda. Fitur ini menghemat Anda dari keharusan untuk membuat beberapa salinan dari pohon kesalahan yang sedikit berbeda dari satu sama lain.
Kegagalan Data Data
Kegagalan ditangani melalui modul data kegagalan yang mencakup Template memungkinkan "template." peristiwa dasar ganda untuk merujuk kembali ke peristiwa tunggal "referensi" dasar.
Ketidakpastian analisis Kedua Monte
Carlo dan Hypercube Latin metode yang tersedia untuk melakukan analisis ketidakpastian. Sebuah penampil ketidakpastian acara menampilkan distribusi kumulatif atau kurva probabilitas kepadatan.
Pentingnya tindakan Langkah-
langkah penting tradisional seperti Fussell-Vesely, Risiko Meningkatkan Rasio atau Interval, Risiko Pengurangan Rasio atau Interval, dan Birnbaum tersedia. Namun, karena tindakan ini tidakcocok untuk semua jenis analisis, NRC mengembangkanlangkah-langkah penting untuk diperpanjang pasifkomponen analisis yang meliputi kumulatif Fussell-Vesely, Fussell-Vesely/Birnbaum, dan kelompok penting. Langkah-langkah ini telah dimasukkan ke SAPHIRE. 5 Selain perhitungan pentingnya mengukur, ketidakpastian tentang langkahlangkah sekarang dievaluasi dengan menggunakan Monte Carlo teknik sampling.
Cut set editor dan alat pemulihan analisis Sebuah editor berbasis aturan
yang tersedia untuk mende nisikan aturan untuk memodi kasi set dipotong. Aturan-aturan ini dapat digunakan untuk menerapkan pemulihan pada set dipotong setelah analisis awal telah dilakukan. Mereka juga dapat digunakan untuk melakukan perubahan ekstensif untuk logika set dipotong untuk memasukkan kondisi baru atau berbeda.
cut serbaguna set slice dan layar Sebuah memotong
unik set "mengurutkan dan alat pengiris" tersedia untuk mencari dan partisi sejumlah besar set pemotongan kesalahan pohon, urutan, atau negara akhir.
Potong set path tracing Sebuah "tracer path" tersedia untuk menemukan jalan yang tepat melalui logika yang dihasilkan satu set cut tertentu.
Seperti tur
lain yang terkandung dalam SAPHIRE, kecepatan dari "jalur tracer" yang di bagian atas nya kelas. Pilihan ini akan melacak satu set dipotong dari negara mengakhiri sumbernya di pohon kesalahan.
Potong perbandingan set Sebuah
warna berbasis cut set utilitas perbandingan tersedia untuk perubahan melihat antara sebelum dan setelah daftar set dipotong minimal.
Potong set par-
tisi end state Cut set dapat dibagi menjadi "negara end" melalui seperangkat
11
aturan yang memungkinkan masing-masing dipotong direncanakan akan ditugaskan untuk spesi k "end state."
End state analisis Sebuah "end state analisis
modul" menyediakan kemampuan untuk mengumpulkan dan menganalisis urutan kecelakaan mengakhiri negara.
Fire / Banjir / Analisis seismic SAPHIRE
menawarkan satu set alat yang kuat untuk menyederhanakan proses melakukan peristiwa eksternal analisis jika PRA acara internal yang tersedia. Kesalahan pohon dibangun untuk analisis acara internal dapat berubah menjadi peristiwa eksternal khusus pohon kesalahan otomatis.
Selain itu, lokasi bisa dikelom-
pokkan ke dalam zona, dan lokasi-spesi k pohon acara bisa diubah menjadi
zona khusus kesalahan pohon.
User-de ned jenis analisis Anda dapat men-
gatur hingga delapan jenis analisis yang berbeda untuk hasil penyimpanan. Hal ini di samping delapan tetap analisis jenis yang digunakan oleh perangkat lunak.
Plug-in arsitektur Seorang pengguna-callable "plug-in" arsitektur memu-
ngkinkan interfacing ke perpustakaan disesuaikan probabilitas model perhitungan.
Misalnya, dikirimkan dengan SAPHIRE adalah plug-in yang mewakili
alpha-faktor umum penyebab, penyebab beberapa surat Yunani umum, dan "supercomponent." Selain itu, maju plug-in modul yang tersedia untuk menentukan laju korosi dari aliran-accelerated korosidan yang sesuai berdampak pada probabilitas kegagalan pipa.
Laporan generasi modul SAPHIRE memiliki
modul laporan generasi yang kuat.
Anda dapat membuat laporan yang luas
mengandung setiap jenis informasi yang ingin Anda masukkan. 6
Utilitas fungsi SAPHIRE memiliki fungsi utilitas untuk memulihkan
database rusak, mengkonversi kesalahan logika pohon dari alpha untuk gra s, dan user-de ned perubahan konstanta.
gra s ekspor ke Windows meta le
Dengan SAPHIRE, Anda dapat mengekspor pohon kesalahan gra s dan pohon acara ke meta le Windows. Ini memungkinkan mengimpor gra s ke dalam aplikasi Windows lainnya.
Dukungan internasional bahasa Perangkat tam-
bahan untuk SAPHIRE memungkinkan karakter teks internasional. Misalnya, kesalahan nama pohon dapat memiliki campuran bahasa Inggris dan Rusia. Akibatnya, gerbang logika atau peristiwa dasar dengan nama tersebut sebagai POHON" diperbolehkan.
Dukungan Ganda Bahasa SAPHIRE memiliki
kemampuan untuk menyimpan dua nama, deskripsi, dan bidang teks untuk setiap entitas dalam proyek. Anda dapat mengganti tampilan antara informasi primer dan alternatif mudah. Ini memungkinkan sebuah proyek mengandung bahasa Inggris dan bahasa lain untuk setiap entitas.
On-line bantuan sensi-
tif konteks SAPHIRE berisi manual membantu dengan lebih dari 500 halaman informasi yang berguna. Karena tujuan dari dokumen ini adalah untuk menyajikan sebuah gambaran umum SAPHIRE, perubahan terbaru dan perangkat tambahan mungkin tidak secara khusus ditujukan. Informasi tentang perubahan dan perangkat tambahan dapat ditemukan dalam le bantuan elektronik
12
atau di situs Web SAPHIRE di saphire.inl.gov.
Tabel 1 mencantumkan tur
yang tersedia dari versi 6.x SAPHIRE dan SAPHIRE versi 7.x. Tabel 1 Fitur yang ditawarkan dalam versi dirilis Barang Deskripsi Fitur Versi 6.x Versi 7.x Sebuah Set Cut Urutan Generasi A.1 Peraturan berbasis Fault Tree Menghubungkan X X A.2 Menghubungkan Acara Pohon Kecil X X A.3 Menghubungkan Acara Pohon Besar X X A.4 Urutan Kapasitas 64 ribu 2 juta B Potong Generasi Set B.1 Pohon Kesalahan X X B.2 Pohon acara X X C Cut Temu Set C.1 Urutan Akhir States X X C.2 Urutan End Cut Negara Set X X D Cut Set Partisi D.1 End Negara De nisi oleh aturan X X E Cut Iris Set E.1 Dengan acara X X E.2 Dengan X Probabilitas E.3 Dengan Aturan X F Potong Postprocessing Set (Pemulihan) F.1 Pohon acara X X F.2 Pohon Kesalahan X X Perubahan G Set (Subset Dipilih Acara Dasar untuk analisis sementara) G.1 acara tunggal pemilihan X X G.2 acara Beberapa pemilihan X X G.3 Grup acara pemilihan X X H Flag Set (Subset Dipilih Acara Dasar dengan perubahan logika saja) H.1 Cut Set Veri kasi Bendera Static Set XX H.2 Potong Veri kasi Set dengan Set Flag Dinamis (Linkage aturan) X X Berlaku untuk Pohon Kesalahan H.3 X X Berlaku untuk Urutan X X H.4 Berlaku untuk Pohon Kesalahan H.5 dalam XX Urutan Aku Potong Metode Kuanti kasi Set I.1 Min-Cut X X I.2 Min-Max X X I.3 Langka acara X X I.4 Membagi Fraksi (urutan saja) X X 8 Barang Deskripsi Fitur Versi 6.x Versi 7.x J Cut Analisis Set J.1 Potong Veri kasi Set - cut set dipecahkan, berkumpul, dengan pemotongan berdasarkan ukuran atau probabilitas, pemulihan otomatis X X J.2 Potong jalan Set menelusuri X X J.3 Cut Set perbandingan X X J.4 Fault Tree X X J.5 acara Trees / Urutan X X J.6 Akhir States X X K Dasar Acara (bangunan Hubungan) K.1 Dasar Events - Generasi X X K.2 Acara Dasar - Template X X L Basic-acara Perhitungan L.1 Senyawa Acara Common-penyebab plug-in modul L.1.1 umum-penyebab alpha-faktor modul X X L.1.2 Common-menyebabkan beta-faktor modul X X L.1.3 umum-penyebab kapasitas modul beban X X L.1.4 umum-penyebab surat beberapa modul Greek XX L.1.5 Common-kelompok menyebabkan beberapa modul X L.1.6 Common-menyebabkan alpha-terhuyung modul X X L.1.7 Rugi-of-osite modul power X L.1.8 Waktu seri modul X X L.1.9 perhitungan Umum modul X L.2 Kegagalan Probabilitas on Demand X X L.3 Kegagalan Probabilitas untuk Jalankan X X L.4 Nilai masukan (untuk nilai apapun) X L.5 Kegagalan Probabilitas untuk Jalankan w / perbaikan X X L.6 Kegagalan Probabilitas untuk Jalankan X X L.7 Rumah Acara Benar (Prob = 1.0), yaitu gagal XX L.8 Rumah Acara False (Prob = 0.0), yaitu keberhasilan XX L.9 acara Gedung Abaikan X X L.10 Senyawa acara X L.11 Human Factor acara X L.12 kesalahan Min pohon Potong Nilai Bound Atas X X L.13 Akhir Min Negara Potong Nilai Bound Atas X X L.14 Tanah Percepatan Nilai X X L.15 Hazard Curve X X M Pentingnya Tindakan M.1 Fussell-Vesely Pent-
13
ingnya Mengukur X X M.2 Birnbaum Pentingnya Mengukur X X M.3 Risiko peningkatan rasio pentingnya mengukur X X M.4 Risiko penurunan rasio pentingnya mengukur XX M.5 Risiko kenaikan Interval pentingnya mengukur XX 9 Barang Deskripsi Fitur Versi 6.x Versi 7.x M.6 Risiko pengurangan Interval pentingnya mengukur XX M.7 Grup pentingnya mengukur X X M.8 Ketidakpastian penentuan Tindakan Pentingnya X N Model Penciptaan N.1 Kebakaran dan banjir XX transformasi kemampuan N.2 Fault Tree editor teks X X N.3 kesalahan gra s Pohon Editor X X N.4 acara Pohon editor teks X X N.5 acara gra s Pohon Editor X X N.6 Peningkatan Logical Editor X N.7 Dasar Beban / Ekstrak data Model X X N.7.1 Ekstrak Semua X N.7.2 Beban Semua X N.7.3 Ekstrak Semua X Jenis le N.7.4 Beban Semua / Grup X N.7.5 Fault Tree Logic X X N.7.6 Output Tentukan lokasi folder X N.8 gra s Ekspor ke Windows X meta les X N.9 Database Pemulihan X X N.10 database MAR-D Load dan Extract X X N.10.1 Kegiatan Pohon MAR-D X X N.10.2 Fault Tree MAR-D X X N.10.3 acara Dasar MAR-D X X N.11 Alternatif nama dan deskripsi untuk acara dasar hanya X X N.12 Alternatif nama dan deskripsi untuk database semua benda (untuk penggunaan multibahasa) X N.13 Model Versi Upgrade (kompatibel saja) X X O Model Tipe Logika Gerbang Penciptaan (Input maksimum 256 kecuali dinyatakan khusus) O.1 DAN X X O.2 OR X X O.3 N of M (Max N = 98, M = 99 Max) X X O.4 NAND (Not AND) X X O.5 NOR (Tidak OR) X X O.6 transfer Gerbang X X O.7 Menghambat gerbang X X P Ketidakpastian Perhitungan (Monte Carlo dan Latin Sampling Hyper Cube) P.1 Tidak ada (atau Point Value saja) X X P.2 normal Distribusi X X P.3 lognormal Distribusi X X 10 Barang Deskripsi Fitur Versi 6.x Versi 7.x P.4 Beta Distribusi X X P.5 Chi Squared Distribusi X X P.6 Eksponensial Distribusi X X P.7 Seragam Distribusi X X Hal.8 Dibatasi non-informatif Distribusi XX P.9 Gamma Distribusi X X Hal.10 Distribusi Maksimum Entropi X X Hal.11 Dirichlet Distribusi X X P.12 analisis Log Seismik normal X X Hal.13 Histogram Distribusi X X Hal.14 X Triangular Distribusi Q Ketidakpastian Perhitungan (Pengaturan Parameter) Q.1 Seed X X Q.2 Sampel Ukuran X X R Umum Dukungan Fitur R. 1 Sensitivitas Wisaya X R.2 Pentingnya Tindakan Wisaya X R.3 Tertanam Makro kemampuan X R.4 Editing Pengguna Informasi X R.5 Halaman penomoran kontrol pada XX format gra s R.6 Konversi dari alpha ke XX format gra s R.7 On-line Konteks X bantuan Sensitif R.8 Parallel processing (Linux) X S Fitur Dukungan Umum (Generation Report) S.1 Proyek Laporan X X Pasal 2 Atribut X X S.3 Dasar acara X X S.4 Fault Tree X X S.5 acara Pohon X X S.6 End Negara X X S.7 Urutan X X S.8 Perubahan Set X S.9 Bendera Set X S.10 Gerbang X X S.11 Histogram X X S.12 Iris X S.13 Info Pengguna X S.14 Laporan Refer-
14
ensi Silang X X S.15 Laporan Referensi Cross dari X lokasi tunggal T Format Laporan Jenis T.1 ASCII X X T.2 RTF X T.3 HTML X 11 Barang Deskripsi Fitur Versi 6.x Versi 7.x U General Analisis Jenis U.2 Memulai Analisis acara X X U.3 Kondisi Penilaian Analisis X X U.4 Kecelakaan Urutan Prekursor X X U.4.2 jenis analisis Ditentukan pengguna X X U.4.3 beban kapasitas perhitungan modul X V Application Program Interface V.1 Microsoft Visual Basic dan VBA antarmuka XX V.2 Microsoft Visual C \ C + + antarmuka X X V.3 Borland Delphi X 1,5 GEM Keseluruhan Kemampuan GEM adalah aplikasi khusus yang dirancang untuk mengevaluasi kejadian operasional menggunakan itu NRC Tanaman Standar Analisis Risiko (SPAR) model dan metode.
GEM menyederhanakan
proses memodi kasi peristiwa dasar dalam model (misalnya gagal atau out-ofservice komponen) dan mengotomatisasi perhitungan CCDP. Jenis penilaian tiga yang GEM mengotomatiskan adalah sebagai berikut: 1. Memulai Penilaian Acara GEM otomatis berlaku probabilitas tindakan pemulihan kegagalan baru untuk peristiwa dasar yang berlaku, tergantung pada kejadian awal yang dianalisis, dan menghitung CCDP baru berdasarkan baru probabilitas dan setiap user-de ned perubahan.
2.
Bersyarat Acara Penilaian Jenis penilaian
ini digunakan untuk kondisi yang tidak melibatkan suatu kejadian awal. GEM menghitung CCDP berdasarkan pengguna-dimodi kasi probabilitas acara dasar dan durasi kondisi.
3.
Tingkat 2/3 Analisis GEM mengotomatiskan proses
menggunakan model PRA yang mengandung Level 2 frekuensi rilis awal Besar (LERF) model. Untuk menggunakan kemampuan penuh, GEM menggunakan model tanaman SAPHIRE dirancang khusus untuk evaluasi ASP. Oleh karena itu, GEM memerlukan data yang ditetapkan pengguna tertentu dan tidak akan menggunakan special GEM-dikembangkan analisis kemampuan dengan model tidak diformat dengan spesi kasi model SPAR. 2.1 2.
MEMPELAJARI SAPHIRE Bagian ini menjelaskan cara mengin-
stal perangkat lunak SAPHIRE dan bagaimana memulai dan berhenti aplikasi, memberikan petunjuk tentang cara untuk berkeliling di dalam perangkat lunak dengan mudah, dan membahas beberapa tur khusus perangkat lunak. 2.1 Instalasi 2.1.1 Software dan Kebutuhan Hardware
Windows NT 4.0, 2000, XP
Pentium III atau lebih tinggi, IBM-PC yang kompatibel Windows NT
64 MB RAM untuk
15 MB ruang disk bebas (untuk instalasi minimal)
CATATAN: Kebutuhan total disk space tergantung pada jumlah dan ukuran dari proyek dibuat. 2.1.2 Petunjuk Instalasi SAPHIRE dapat diinstal dari CDROM atau melalui download dari situs internet SAPHIRE http://saphire.inl.gov. Untuk menginstal dari CD-ROM: 1. Masukkan CD-ROM. 2. Dari Bar Start Windows, klik Run. 3. Tipe D: \ SAPHIREI.EXE (di mana D: adalah nama drive CD-ROM). 4. Program Penataan SAPHIRE meminta Anda melalui proses
15
instalasi. Ikuti petunjuk di layar 2.2.1 - 2.2.3 .2.1 Mulai SAPHIRE 1. Dari Bar Start Windows, klik Programs. 2. Pilih SAPHIRE untuk Windows.
OR Dari desktop Windows, klik dua kali ikon
program SAPHIRE. 3. Lanjutkan dengan memilih sebuah proyek dengan yang untuk bekerja. Lihat manual on-line bantuan untuk rincian tentang bagaimana pilih proyek. 2.2.2 Keluar SAPHIRE 1. Pilih File dari menu bar. 2. Pilih opsi submenu Exit. Database SAPHIRE akan menutup dan program akan berakhir. 13 2.2.3 Menggunakan SAPHIRE untuk Pertama Waktu Ketika SAPHIRE untuk Windows adalah dipanggil untuk pertama kalinya setelah instalasi, dialog konstanta akan ditampilkan. Dialog ini memungkinkan Anda untuk memasukkan nilai default yang diinginkan untuk berbagai fungsi dalam SAPHIRE. Nilai default yang disediakan di sebagian besar bidang. Dialog ini tidak akan muncul pada entri berikutnya ke SAPHIRE. 1. Yang pertama SAPHIRE waktu untuk Windows dijalankan setelah instalasi, De ne Konstanta dialog akan muncul. 2. Isi dan mengubah informasi yang sesuai. 3. Ketika selesai, pilih OK tombol. 4. Jendela SAPHIRE akan muncul, dan Anda dapat melanjutkan. Untuk mengubah default, dialog ini dapat dipanggil dari Utility | Tentukan Konstanta pilihan. Untuk melihat de nisi atau deskripsi dari berbagai pilihan dan tombol, klik pada tanda tanya di sudut kanan atas dialog, kemudian pilih Pilihan yang dimaksud. Konsep Basis Data 3. DATABASE KONSEP Sebelum SAPHIRE dapat digunakan secara efektif, pemahaman tentang struktur database dan SAPHIRE konsep diperlukan. Sebuah database relasional digunakan untuk mengelola input dan output. SAPHIRE berisi sembilan tabel permanen, atau hubungan, yang digunakan untuk menyimpan dan mengambil informasi spesi k PRA. Untuk setiap meja, tiga le yang ada:
* DAT -.
File ini berisi data aktual dan informasi tentang data yang
merupakan A "kunci" "tombol." digunakan untuk mencari dan menemukan informasi.
* BEI -.
File ini berisi indeks ke data untuk bidang mengetik.
*
BLK -. File ini berisi data panjang variabel (seperti set cut) yang dapat diakses melalui pointer terkandung dalam le DAT *.. Sebuah database SAPHIRE disebut proyek.
Informasi untuk proyek dibagi menjadi dua bagian yang ter-
pisah, disebut sebagai kasus dasar dan kasus saat ini.
Seperti disampaikan,
SAPHIRE menyediakan sebuah proyek standar yang disebut DEMO. Akses ke setiap bagian dari database diperoleh melalui proyek yang sesuai.
Biasanya,
sebuah pengguna akan perlu untuk membuat sebuah proyek untuk setiap PRA mereka melakukan. Semua informasi dalam proyek ini disimpan bersama-sama dalam sebuah folder (atau subdirektori). CATATAN: Hanya satu proyek dapat
16
disimpan dalam sebuah folder individu pada hard drive PC. Berikut ini menjelaskan langkah-langkah pengguna biasanya akan ambil untuk melakukan analisis PRA baru menggunakan SAPHIRE. Catatan informasi tertentu secara otomatis ditambahkan ke database tergantung pada fungsi yang dilakukan oleh pengguna. Link yang disediakan untuk informasi rinci tentang bagaimana hubungan yang digunakan dalam setiap langkah: 1. Buat proyek baru di mana hasil PRA dapat disimpan.
Setelah "proyek" dibuat, pengguna siap untuk menambahkan
informasi ke database.
2.
Sesuaikan konstanta operasi proyek (melalui Util-
ity | Tentukan Konstanta option) jika diinginkan. 3. Buat pohon acara untuk Proyek.
4.
Buat pohon kesalahan terkait.
tuk setiap acara dasar dalam proyek.
6.
5.
Masukkan data kegagalan un-
Hasilkan entri urutan untuk setiap
urutan berlaku di pohon acara. 7. Lakukan analisis, berbagai data kegagalan menggunakan set perubahan. 3.1 Proyek Tabel Sebuah proyek adalah setiap pengelompokan logis dari pohon kesalahan dan urutan peristiwa yang terkait dengan dasar, set dipotong, keandalan data, dan deskripsi. Setiap proyek yang terkandung dalam folder terpisah. Informasi tentang proyek ini disimpan dalam tabel proyek. Tabel proyek berisi informasi umum tentang PRA. Seiring dengan nama proyek, deskripsi, desain tanaman, dll, juga mengandung referensi silang informasi untuk hubungan antara peristiwa dasar, pohon kegagalan, urutan, pohon kejadian, kondisi akhir, mengubah set, dan pintu gerbang dalam proyek. Salib-referensi peta akan diperbarui secara otomatis setiap kali salah satu dari potongan-potongan dari data yang diubah. Tabel proyek juga berisi partisi proyek urutan, dan proyek urutan, pohon kegagalan, dan akhir negara pemulihan informasi bersama dengan teks makro. 19 3.2 Fault Tree Tabel Editor Pohon Sesar digunakan untuk membuat pohon kesalahan untuk proyek tersebut. SAPHIRE menciptakan sebuah entri di Patahan Pohon meja untuk setiap pohon kesalahan dibuat. SAPHIRE mengharuskan konvensi tertentu digunakan untuk penamaan kesalahan pohon. Untuk menggunakan pohon kesalahan sebagai acara puncak dalam pohon kejadian, atau referensi itu secara berurutan, nama harus ditentukan secara khusus: (1) nama pohon kesalahan dan nama gerbang top di pohon kesalahan harus sama, (2) nama acara puncak dalam pohon kejadian dan nama pohon kegagalan harus sama. SAPHIRE menambahkan semua referensi basic event di pohon kesalahan ke meja acara. Jika keterangan tidak disediakan untuk acara dasar, maka deskripsi ini juga ditambahkan ke database. Semua informasi lainnya untuk basic event yang tersisa tidak berubah atau diatur ke nilai default. SAPHIRE juga menciptakan sebuah entri dalam tabel Gerbang untuk setiap gerbang dide nisikan dalam pohon kesalahan. Nama, jenis, dan deskripsi dari setiap gerbang yang terkandung dalam pohon kesalahan disimpan dalam database. Informasi
17
ini dapat diedit. Namun, perubahan hanya tercermin dalam pohon kesalahan gra s jika pengguna melakukan alpha " untuk gra s "konversi pada pohon kesalahan yang menggunakan gerbang. Akhirnya, SAPHIRE menciptakan sebuah entri dalam tabel Event untuk setiap gerbang transfer yang dide nisikan di pohon kesalahan. Ini dilakukan untuk memungkinkan pengguna untuk menentukan apakah sebuah gerbang transfer akan diperluas atau apakah basic event mewakili gerbang transfer yang akan digunakan. untuk atribut fault tree: pohon logika
Default ag set
Tabel ini memelihara data
Kesalahan pohon nama dan deskripsi
Gra s representasi
set cut Minimal
Kesalahan
probabilitas Top acara
Default kuanti kasi metode Pemulihan aturan Pentingnya
tindakan Analisis Ketidakpastian hasil
.
3.3 Urutan Tabel Tabel Urutan berisi
informasi mengenai urutan kecelakaan untuk pohon kejadian.
Pengguna bi-
asanya menghasilkan entri urutan menggunakan opsi Tautan Pohon.
Ketika
pengguna memilih opsi ini, SAPHIRE menghasilkan entri urutan untuk setiap urutan berlaku dalam pohon kejadian. Setiap urutan yang mungkin telah dihasilkan sebelumnya untuk pohon ini peristiwa yang sama secara otomatis ditimpa dengan valid baru urutan. Urutan masing-masing berisi nama end negara yang dibuat dalam tabel Negara Akhir jika tidak sudah ada. Mengubah nama negara akhir secara berurutan hanya mengubah nama untuk itu urutan tertentu dan tidak mengubah informasi dalam tabel Negara Akhir atau pohon kejadian untuk urutan itu. Ketika Urutan diselesaikan, cut set yang dihasilkan disimpan dalam tabel urutan. Tabel ini memelihara data untuk atribut kecelakaan urutan: 20
Nama dan deskripsi
sukses dan gagal)
set cut Minimal
Default kuanti kasi metode tisi dan aturan pemulihan
.
Logika (kombinasi pohon kesalahan
Urutan probabilitas
Default ag set
Urutan end state Pohon Associated acara ParPentingnya tindakan Analisis Ketidakpastian hasil
3.4 Acara Pohon Tabel Editor Pohon acara digunakan untuk menghasilkan
pohon acara untuk proyek. Ketika pengguna menciptakan pohon acara menggunakan Editor Pohon acara, SAPHIRE otomatis menambahkan informasi tertentu ke database. Ketika pohon kejadian disimpan, sebuah entri dibuat dalam tabel Pohon acara yang berisi gra s informasi yang terkait dengan pohon kejadian. Jika pohon kejadian berisi kejadian awal sebagai top pertama acara di pohon, entri secara otomatis dibuat dalam tabel Pohon acara. Entri meliputi nama pohon kejadian, kejadian awal untuk pohon kejadian, dan data deskriptif lainnya. Selanjutnya, SAPHIRE menciptakan sebuah entri dalam tabel Pohon Patahan untuk setiap acara puncak dide nisikan dalam pohon kejadian. Oleh default, SAPHIRE mengasumsikan bahwa setiap acara puncak diwakili oleh pohon kesalahan dengan nama yang sama. Pada waktu entri pohon kesalahan dibuat, SAPHIRE juga menciptakan peristiwa dasar dalam tabel acara dengan sama nama seperti pohon kesalahan. Acara ini digunakan ketika logika pohon
18
kesalahan tidak diperluas selama pohon kegagalan analisis atau ketika logika belum dikembangkan. Tabel Pohon acara mempertahankan data untuk atribut pohon kejadian:
representasi gra s
Acara pohon nama dan deskripsi
Acara pohon logika dan
Memulai acara Acara pohon makro, pemulihan dan partisi
aturan. 3,5 Peristiwa Tabel Setelah pohon kesalahan dide nisikan, Anda perlu memasukkan data kegagalan untuk setiap acara dasar dalam database. Anda dapat melakukan ini dengan baik pilihan Modify atau dengan opsi Generate dan Update Basis Kasus pilihan. Jika Anda menggunakan pilihan Modify untuk mengubah data default kegagalan, maka pastikan untuk menggunakan opsi untuk Menghasilkan menghasilkan data kegagalan saat ini untuk digunakan dalam sisa analisis. Setiap perubahan waktu yang dibuat untuk data basic event kegagalan, Anda harus menggunakan opsi Generate sebelum perubahan dapat digunakan. Jika tampak bahwa perubahan yang dibuat untuk data kegagalan basic event tidak digunakan dengan baik oleh SAPHIRE, Anda harus memeriksa untuk memastikan data yang tepat yang dihasilkan dan disimpan. 21 Tabel acara mempertahankan data untuk atribut basic event: event Dasar dan deskripsi pastian Informasi
Acara atribut
Transformasi Informasi
Kegagalan Data Proses bendera.
nama
Ketidak-
3.6 Perubahan Set Tabel
Satu set perubahan adalah satu set modi kasi data yang akan diterapkan pada peristiwa dasar selama pohon kesalahan atau urutan analisis. Tabel Set Perubahan menyimpan nama, deskripsi, dan perubahan kegiatan untuk set perubahan dan bendera set dibuat untuk proyek ini. Informasi ini dapat diedit dari pilihan Modify, atau set perubahan, dari Menghasilkan pilihan. Tabel ini dipertahankan untuk melacak perubahan acara yang berkaitan dengan acara kelas dan probabilitas acara. 3.7 Informasi Pengguna Tabel Tabel Informasi Pengguna berisi konstanta operasi dasar untuk SAPHIRE. Anda dapat mengubah ini konstanta untuk mencerminkan default yang diinginkan. Data ini tidak berhubungan dengan pohon, tetapi dapat ditentukan global atau untuk proyek ini. Informasi yang tersimpan meliputi nilai cuto generasi dipotong ditetapkan, pohon kejadian dan pohon kegagalan Editor gra s preferensi, dan menu dan toolbar default. 3.8 Analisis Tipe Tabel SAPHIRE memungkinkan Anda untuk menyimpan jenis analisis beberapa proyek yang sama. Misalnya, Anda dapat melakukan analisis random normal dan kemudian, dengan menggunakan database yang sama, melakukan analisis kebakaran atau banjir.
Analisis masing-masing menggu-
nakan pohon kesalahan yang sama dan data kegagalan, namun menyimpan set memotong dan hasil lainnya di lokasi yang berbeda di database. Kemampuan ini memungkinkan pengguna untuk melacak semua hasil dari analisis yang komprehensif dalam database yang sama. Di SAPHIRE, ada delapan jenis analisis pendiam dan delapan pengguna-dide nisikan jenis. Keenam pertama cadangan
19
tipe "Acak," "Api," "Banjir," "Seismic," "Assessment acara," dan "Penilaian Kondisi." The tersisa dua jenis pendiam tidak terde nisi.
User-dide nisikan
jenis dapat digunakan untuk menyimpan hasil untuk setiap analisis keinginan pengguna. Sebagai contoh, salah satu pengguna-dide nisikan jenis dapat digunakan untuk menyimpan hasil Low Power Shutdown analisis. 3.9 Basis vs Kasus Lancar Basis kasus dan kasus saat ini mengacu pada dua bagian yang terpisah dari database proyek. Data base Kasus disimpan dalam le database sebagai catatan "permanen".
Data kasus saat ini digunakan untuk melakukan anali-
sis (misalnya, potong mengatur generasi dan kuanti kasi). Semua perhitungan SAPHIRE (misalnya, cut-set generasi dan analisis sensitivitas) menggunakan data yang disimpan dalam saat ini kasus. Arus-kasus data diciptakan dengan menerapkan set perubahan ke basis-kasus data (melalui Menghasilkan opsi). 22 CATATAN: Arus-kasus hasil yang ditimpa setiap kali analisis spesi k dilakukan. Basis-kasus hasil tidak berubah setiap kali analisis dilakukan. Saatkasus data bisa menyamai data base kasus untuk mereproduksi studi asli disimpan dalam basis kasus, namun hanya saat-kasus set cut dapat dimodi kasi dengan editor cut-set. Perubahan yang dilakukan untuk memotong set dengan editor cut-set dilaksanakan otomatis.
Pembaruan cut-set diperlukan jika pe-
rubahan dibuat yang menciptakan non-minimal set cut. Base-kasus data dan hasil yang diubah dengan memperbarui kasus dasar. Memperbarui kasus dasar transfer saat-kasus data atau hasil ke kasus dasar. Dalam proyek, model logika (kesalahan pohon dan pohon event) dan gra s terkait disimpan terpisah dari dasar / data kasus saat ini.
Selain itu, perubahan set dan bendera disimpan
terpisah dari analisis data 23 4. PEMBANGKIT DATA EVENT Pilihan Generate digunakan untuk membuat copy pekerjaan data event pengguna untuk digunakan dalam analisis tertentu. Data ini kemudian dapat dimodi kasi dengan menggunakan set perubahan atau digunakan untuk memperbarui data base kasus. SAPHIRE selalu menggunakan saat-kasus data untuk analisis. Data event dapat dimanipulasi, melalui set perubahan, untuk memeriksa perubahan dalam probabilitas tanaman kecelakaan dan kegagalan kecelakaan urutan berdasarkan peristiwa dasar. Satu set perubahan adalah satu set modi kasi data yang untuk diterapkan pada peristiwa dasar selama pohon kesalahan atau analisis urutan. Mengubah set memodi kasi saat-kasus Data basic event. Satu set terdiri dari perubahan perubahan secara single dan kelompok untuk daftar peristiwa dasar. Dalam satu set perubahan, pengguna dapat menambahkan acara ke set perubahan, memodi kasi probabilitas acara yang dipilih, atau ulang tersebut probabilitas acara untuk nilai-nilai dasar kasus. Kemungkinan peristiwa yang terjadi dapat dihitung ulang. Pengguna dapat membangun set perubahan yang akan diterapkan pada peristiwa dasar untuk perbanyakan selanjutnya melalui set potong yang ada. Selain itu, pengguna dapat melakukan "pembaruan basis kasus"
20
yang mengambil semua saat dasar-event data dan menggunakan mereka untuk menimpa basis-kasus data. dalam proses ini.
Perhatikan bahwa dasar-kasus awal data ditimpa
Jika kasus dasar data berubah dan pilihan Generate tidak
dilakukan, data yang digunakan untuk analisis tidak akan mencerminkan perubahan.
Namun, jika pengguna mencoba untuk melakukan analisis setelah
melakukan data perubahan, SAPHIRE akan meminta pengguna untuk menghasilkan perubahan data. 4.1 Perubahan-Set Menandai Set perubahan yang "ditandai" untuk menentukan set perubahan akan digunakan untuk menghasilkan arus-kasus data. Orde menandai perubahan yang menentukan acara mengambil prec 4. PEMBANGKIT DATA EVENT Pilihan Generate digunakan untuk membuat copy pekerjaan data event pengguna untuk digunakan dalam analisis tertentu. Data ini kemudian dapat dimodi kasi dengan menggunakan set perubahan atau digunakan untuk memperbarui data base kasus.
SAPHIRE selalu
menggunakan saat-kasus data untuk analisis. Data event dapat dimanipulasi, melalui set perubahan, untuk memeriksa perubahan dalam probabilitas tanaman kecelakaan dan kegagalan kecelakaan urutan berdasarkan peristiwa dasar. Satu set perubahan adalah satu set modi kasi data yang untuk diterapkan pada peristiwa dasar selama pohon kesalahan atau analisis urutan.
Mengubah set
memodi kasi saat-kasus Data basic event. Satu set terdiri dari perubahan perubahan secara single dan kelompok untuk daftar peristiwa dasar. Dalam satu set perubahan, pengguna dapat menambahkan acara ke set perubahan, memodi kasi probabilitas acara yang dipilih, atau ulang tersebut probabilitas acara untuk nilai-nilai dasar kasus. Kemungkinan peristiwa yang terjadi dapat dihitung ulang. Pengguna dapat membangun set perubahan yang akan diterapkan pada peristiwa dasar untuk perbanyakan selanjutnya melalui set potong yang ada. Selain itu, pengguna dapat melakukan "pembaruan basis kasus" yang mengambil semua saat dasar-event data dan menggunakan mereka untuk menimpa basiskasus data. Perhatikan bahwa dasar-kasus awal data ditimpa dalam proses ini. Jika kasus dasar data berubah dan pilihan Generate tidak dilakukan, data yang digunakan untuk analisis tidak akan mencerminkan perubahan.
Namun, jika
pengguna mencoba untuk melakukan analisis setelah melakukan data perubahan, SAPHIRE akan meminta pengguna untuk menghasilkan perubahan data. 4.1 Perubahan-Set Menandai Set perubahan yang "ditandai" untuk menentukan set perubahan akan digunakan untuk menghasilkan arus-kasus data. Orde menandai perubahan yang menentukan acara didahulukan.
Untuk menandai
satu set perubahan, klik dua kali set perubahan. Jika perubahan set sebelumnya tidak ditandai, sebuah nilai numerik (1-99) akan muncul di sebelah kiri nama set perubahan, yang menunjukkan urutan menandai. Itu perubahan set dalam daftar yang disusun kembali dengan urutan ditandai, maka abjad menu-
21
rut jenis:
pertama dengan kondisi penilaian, acara kemudian memulai peni-
laian jenis, akhirnya menurut jenis perubahan set biasa.
Jika perubahan set
sebelumnya ditandai, itu ditandai (yaitu, nilai numerik dihapus) dan itu adalah reposisi dalam daftar. Jika tidak ada perubahan set ditandai ketika pilihan Generate dipilih, maka data kasus saat ini akan diinisialisasi ke dasar-kasus data. 4.2 Perubahan-Set Pengolahan Selama perubahan-set pengolahan (yaitu, menghasilkan data kejadian atau memperbarui dasar-kasus nilai), tiga kriteria yang dievaluasi: probabilitas perubahan, perubahan kelas, dan urutan set perubahan yang nyata. Jika sebuah acara di set perubahan yang nyata telah baik perubahan kelas dan perubahan probabilitas yang terkait dengan itu, para perubahan probabilitas diutamakan atas perubahan kelas jika ketidaksesuaian muncul. Jika lebih dari satu set perubahan ditandai, perubahan probabilitas dan kelas dalam perubahan set ditandai dengan jumlah tertinggi didahulukan perubahan dari set bernomor rendah perubahan (Set 2 lebih tinggi dibandingkan Set 1, 3 lebih tinggi dari 2). Misalnya, acara bahwa A memiliki probabilitas perubahan terkait dengan itu dalam Perubahan Set 1 dan perubahan kelas yang terkait dengan itu dalam Perubahan Set 2. Perubahan kelas dari Mengubah Set 2 menimpa perubahan probabilitas dari Set Perubahan 1. 24 Contoh berikut menggambarkan hasil pengolahan tiga set perubahan ditandai dengan empat acara:
Event A mengandung baik perubahan probabil-
itas dan perubahan kelas terkait dengan itu di Set Perubahan 2.
Kegiatan
B berisi perubahan probabilitas dalam Perubahan Set 1, dan perubahan kelas dalam Perubahan Set 3. Perubahan Set 1.
Kegiatan C hanya berisi perubahan kelas dalam
Kegiatan D mengandung perubahan probabilitas tidak ada
atau perubahan kelas terkait dengan itu di salah satu dari tiga ditandai set perubahan. Hasil dari operasi Generate pada tiga set perubahan yang nyata akan menjadi sebagai berikut:
Data kasus saat kejadian A akan diatur ke nilai-nilai
yang terkait dengan perubahan probabilitas dalam Mengubah Set 2. (Perubahan Probabilitas didahulukan perubahan kelas ketika mereka terjadi untuk hal yang sama acara dalam set perubahan yang sama.)
Data kasus saat ini untuk
acara B akan ditetapkan sama dengan nilai-nilai yang terkait dengan perubahan kelas di Mengubah Set 3. (Perubahan probabilitas atau kelas yang lebih tinggi dalam perubahan nomor set diutamakan atas perubahan set bernomor rendah perubahan.)
Data kasus saat ini untuk acara C akan diatur ke nilai-
nilai yang terkait dengan perubahan kelas di Mengubah Set 1.
Data kasus
saat ini untuk acara D akan diatur ke nilai-nilai dasar kasus untuk acara D. (Tidak ada probabilitas perubahan atau perubahan kelas dibuat untuk acara D di salah satu set perubahan yang nyata.)
4,3 Tunggal Perubahan Fungsi
ini memberikan eksibilitas untuk eksperimen dengan individu ketidakpastian dasar-acara, kegagalan, seismik kerapuhan data, dan bendera proses. Nilai-nilai
22
data dapat diatur untuk acara tunggal atau untuk dipilih kelompok peristiwa. Data saat ini kemudian dapat diterapkan pada event tertentu (s) untuk digunakan selama analisis. Perubahan probabilitas membuat tercermin pada dialog Acara terpilih dengan menunjukkan "P" di sebelah kiri nama acara. Perubahan probabilitas memiliki prioritas lebih tinggi daripada perubahan kelas.
Ketika
keduanya diterapkan untuk suatu peristiwa, perubahan probabilitas akan digunakan selama analisis. Jenis perubahan-set tunggal juga menyediakan pilihan untuk mengatur ulang nilai data kembali ke dasar-kasus nilai. 4.4 Kelas Perubahan Pilihan ini memungkinkan pengguna untuk mengubah data event parameter untuk pengelompokan tertentu dari peristiwa dalam perubahan ditetapkan. Kelas event dide nisikan dengan memasukkan kriteria pencarian di bidang topeng. Semakin banyak bidang yang diisi dalam, halus de nisi kelas menjadi.
Pent-
ing untuk diingat bahwa perubahan probabilitas memiliki prioritas lebih tinggi daripada perubahan kelas. Ketika kedua diterapkan ke sebuah event, perubahan probabilitas akan digunakan selama analisis.
4,5 Membangkitkan Perubahan
Fungsi Generate menerapkan modi kasi data kejadian ditentukan oleh perubahan ditandai set ke saat-kasus data basic event.
Pilihan ini harus dijalankan
sebelum analisis data jika perubahan-set modi kasi harus tercermin dalam hasil analisis. Pilihan Generate menciptakan baru saat-acara Data, yang digunakan untuk melakukan analisis. Jika sebuah acara di set perubahan telah baik perubahan kelas dan perubahan probabilitas yang terkait dengan itu, para perubahan probabilitas diutamakan atas perubahan kelas saat membuat baru saat-kasus data event nilai-nilai. Jika acara tersebut tidak memiliki perubahan probabilitas atau perubahan kelas, maka arus-kasus Acara nilai data akan ditetapkan sama dengan kasus dasar data untuk acara itu. 4.6 Pelaporan Perubahan-Data Set Laporan dapat dibuat yang mencerminkan modi kasi acara yang saat ini ada dalam basic event- mengubah le data. Ada tiga jenis laporan: Acara Terpengaruh, Acara terkena, dan All Events. Masing-masing laporan jenis dapat diurutkan berdasarkan nama acara, probabilitas ascending, atau set perubahan. Selain itu, sebuah Laporan dapat diteruskan ke Report Viewer, printer, atau le disk. Laporan yang dihasilkan oleh opsi ini menampilkan nama dasar-event dan nilai-nilai saat ini untuk jenis perhitungan, lambda value, nilai tau, waktu misi, nilai probabilitas, perubahan nama set, dan jenis perubahan diterapkan. 26 5. FAULT POHON Kesalahan analisis pohon memungkinkan pengguna untuk membangun, mengedit, dan menganalisis model fault tree. Sebuah pohon kegagalan adalah model dari cocok untuk analisis probabilistik sistem. Model ini biasanya dirancang untuk studi kegagalan sistem. Ketika pohon kesalahan tombol toolbar atau pohon pilihan kesalahan menu dipilih, Patahan Pohon List adalah ditampilkan.
Dialog ini menunjukkan semua pohon kesalahan tingkat
atas dalam proyek ini.
A "c" di depan pohon kegagalan Nama menunjukkan
23
bahwa hanya saat-kasus set potong yang ada, sebuah "C" menunjukkan bahwa kedua set cut saat-kasus dan kasus dasar set cut ada. Selain itu, di SAPHIRE 7.x, sebuah "G" di depan nama pohon kesalahan menunjukkan bahwa logika dan gra s ada untuk pohon kesalahan. Sebuah "g" menunjukkan bahwa gra k hanya ada untuk pohon kesalahan, dan "L" menunjukkan bahwa logika hanya ada untuk pohon kesalahan.
Dari dialog ini, pengguna dapat menambahkan
pohon kesalahan baru merekam ke database atau pilih pohon kesalahan yang ada (s) dengan menggunakan mouse atau tur Mask.
Fault tree nilai dapat
dihitung ulang setelah kejadian dan / atau set cut telah dimodi kasi. Logika pohon kegagalan dapat diedit dalam format alfanumerik dan disusun dalam halaman logis. Selain itu, analisis ketidakpastian dapat dilakukan, dan pentingnya informasi tentang peristiwa dasar dapat dianalisis. Hasil dapat ditampilkan dan dilaporkan dalam berbagai format. Pohon Kesalahan Graphics 5.1 Editor Pohon Patahan membangun diagram pohon kegagalan, yaitu sebuah representasi gra s atau gambar dari fault tree Model dibangun dari obyek pohon kesalahan. Pohon kesalahan struktur logika dapat terdiri dari kombinasi dari simbol logika yang tidak menghasilkan loop logis. Kesalahan logika pohon dapat dianggap sebagai kelompok atau set persamaan yang menggambarkan kombinasi kemungkinan kegagalan sistem. 27 Editor Pohon Patahan membangun model menggunakan simbol-simbol gra s untuk gerbang, peristiwa dasar, dan menghubungkan baris. Obyek ini terikat ke database SAPHIRE. Berbagai mengedit fungsi, seperti cut, pasta, dan copy, dilengkapi dengan fungsi le seperti menyimpan dan mencetak. 5,2 P & ID Graphics Ini editor gra s membangun diagram aliran pipa dan instrumentasi menggunakan Piping & Instrumentasi Diagram Editor.
Diagram
ini hanya digunakan untuk referensi gra s dan dimaksudkan untuk mewakili tata letak sik dari sistem. 5.3 Fault Tree Logic Editor Opsi ini menyediakan sarana untuk mengedit logika pohon kegagalan dalam format alfanumerik. Semua gerbang dan gerbang masukan yang terkandung dalam pohon kesalahan yang dipilih atau sub-pohon akan ditampilkan.
Pohon kesalahan Editor logika adalah nyaman alat untuk
dengan cepat mengedit logika fault tree dan memasuki gerbang dan data basic event. Logika di editor direpresentasikan dalam bentuk pohon hirarkis, di mana setiap gerbang dapat diperluas atau kental dengan mengklik di pintu gerbang. Pengguna dapat menambahkan puncak baru, mengganti nama atasan yang ada, atau menambah atau mengubah input ke gerbang yang ada. 5.4 Halaman Fault Tree Logic The Fault Tree Pager memungkinkan pengguna untuk mengatur logika pohon kegagalan menjadi "halaman" atau segmen. Ia menawarkan berbagai metode untuk membuat divisi-divisi ini: (1) secara otomatis membagi pohon kesalahan berkas logika yang besar menjadi set le logika setara, dengan setiap le pas lebih nyaman pada halaman ("Halaman Auto"); (2) istirahat
24
sebuah pohon sub-pada gerbang yang ditentukan pengguna ("Gerbang"); gerbang keluaran (3) dengan beberapa referensi menjadi terpisah sub-tree ("Beberapa"), atau (4) keluaran gerbang atas beberapa kesalahan dalam pohon terpisah ("Tops"). 28 5.5 Pohon kesalahan Solving Pilihan ini menghasilkan set dipotong untuk pohon kesalahan yang dipilih (s) berdasarkan cut-set nilai cuto generasi. Itu pengguna dapat menghasilkan set dipotong untuk pohon kesalahan dipilih, sekelompok pohon kesalahan, atau semua pohon kesalahan dalam saat ini proyek. Berbagai pilihan memungkinkan set dipotong akan dihasilkan dengan berbagai cara. Pengguna dapat menentukan beberapa cut-set nilai cuto generasi yang akan digunakan untuk menentukan apakah suatu set cut akan dipertahankan atau dibuang dari pohon kesalahan yang dipilih (s). Sebuah gerbang yang akan digunakan sebagai gerbang puncak pohon dapat ditentukan. Jika nama tidak ditentukan, gerbang utama akan ditentukan dengan mencari gerbang tidak dirujuk oleh setiap gerbang lainnya.
Ini gerbang utama harus
bernama sama seperti pohon kesalahan atau sub-pohon nama. Pengguna dapat pilih bendera diatur untuk digunakan selama pemrosesan. Jika ag tidak dipilih, kesalahan pohon-spesi k set bendera, jika apapun, akan digunakan. Sebagai perhitungan dilanjutkan, Set Cut Generation Hasil dialog ditampilkan dan diperbarui. Jika satu pohon kesalahan terpilih, hasilnya akan ditampilkan dalam dialog ini setelah dipotong generasi set selesai. untuk menutup dialog.
Memilih tombol OK
Batas hanya pada jumlah set cut yang dapat disim-
pan untuk pohon kesalahan yang diberikan adalah ruang yang tersedia pada hard drive.
Ketika proses selesai, Patahan Pohon dialog Daftar yang diper-
barui untuk menampilkan huruf "c" di depan pohon kegagalan (s) dengan set memotong kasus saat ini. 5.6 Pohon Kesalahan mengukur Proses kuanti kasi akan requantify cut set menggunakan nilai saat ini data (set acara perubahan dan saat-kasus cut set). Kuanti kasi dapat diterapkan pada pohon kesalahan yang dipilih, untuk sekelompok pohon kesalahan, atau untuk semua pohon kesalahan dalam proyek ini.
Nilai baru disimpan dengan memotong kasus saat
ini menetapkan untuk pohon kesalahan yang dipilih.
Ada beberapa metode
kuanti kasi empat dari yang untuk memilih: pohon kesalahan 'default metode, mincut tersebut batas atas (atau Cut Set Minimal Atas Bound), min / max, dan pendekatan peristiwa langka. Default Metode diatur dalam pilihan Fault Tree Modify (lihat Bagian 9.3). Teknik terikat mincut atas mendekati kemungkinan persatuan set dipotong minimal untuk pohon kesalahan.
Min / max Teknik
menggunakan "tepat" perhitungan untuk persatuan set dipotong melalui aturan inklusi-eksklusi.
Langka Teknik acara requanti es dengan menambahkan
bersama probabilitas untuk set cut dari acara puncak.
Jika metode kuan-
ti kasi yang dipilih berbeda dari metode standar dari pohon kesalahan, kotak
25
peringatan dengan pesan, "adalah Metode kuanti kasi yang dipilih berbeda dari default Pohon kesalahan," ditampilkan.
Pilih tombol OK untuk melan-
jutkan proses. Selama pengolahan, Kuanti kasi Hasil dialog akan ditampilkan. Jika kesalahan terjadi, pesan, "Kesalahan mengukur set cut, "akan ditampilkan di bar pesan.
Jika pohon kegagalan tunggal terpilih, pada selesainya proses
kuanti kasi, hasilnya akan ditampilkan dalam dialog Hasil Kuanti kasi. Pilih Ok untuk menutup dialog.
5.7 Ketidakpastian Analisis Fungsi analisis keti-
dakpastian memperkirakan variabilitas (karena ketidakpastian dalam hal dasar probabilitas) dari salah satu kesalahan pohon probabilitas atas peristiwa atau pohon frekuensi acara urutan. Untuk melakukan hal ini, SAPHIRE menawarkan teknik sampling dua: Monte Carlo simulasi dan simulasi Hypercube Latin. Di Selain itu, pengguna dapat melakukan analisis seismik untuk mengintegrasikan kurva kerapuhan seismik dengan situs bahaya kurva menggunakan pilihan analisis ketidakpastian. Dalam analisis ketidakpastian tradisional, SAPHIRE sampel ditentukan pengguna distribusi untuk setiap dasar acara dalam kelompok set dipotong, kemudian mengkuanti kasi cut set ini menggunakan nilai sampel. Untuk seismik 29 ketidakpastian, bagaimanapun, SAPHIRE melakukan analisis pada setiap tingkat G-dalam kurva bahaya situs untuk saat ini proyek. Peristiwa seismik sampel pada setiap baru G-tingkat dan kuanti kasi yang dilakukan.
Sebuah
analisis ketidakpastian dapat dilakukan pada set cut kasus saat ini baik untuk satu, untuk kelompok, atau untuk semua pohon kesalahan (urutan, atau negara akhir) dalam proyek ini. 5.7.1 Ketidakpastian Distribusi Tiga belas jenis distribusi ketidakpastian didukung dalam kode SAPHIRE. Tabel di bawah ini daftar yang berbeda distribusi, identi er mereka dalam SAPHIRE, dan parameter ketidakpastian dibutuhkan oleh kode. Seiring dengan parameter ketidakpastian, kebanyakan distribusi memerlukan parameter kedua. SAPHIRE membutuhkan bahwa nilai rata-rata ditentukan untuk semua distro. Nilai rata-rata yang dimasukkan ke dalam database sebagai berarti Kegagalan probabilitas atau tingkat kegagalan rata-rata, tergantung pada jenis perhitungan yang digunakan. Distribusi Identi er Ketidakpastian Parameter Tidak ada (nilai titik) Tidak Kosong Lognormal L kesalahan faktor Normal N standar deviasi Beta B b di Beta (a, b) Dirichlet D b di Beta (a, b) Gamma G r di (r) Chi-squared C derajat kebebasan Eksponensial E none Seragam U titik atas akhir Histogram H histogram nama (misalnya, identi er) Maksimum entropi M bawah dan atas titik akhir Dibatasi noninformative O tidak ada Log Seismik normal S Beta r, u Beta Segitiga (Versi 7.x saja) T Mode dan titik ujung atas 5.7.2 Proses Analisis Ketidakpastian Berikut ini menjelaskan proses analisis ketidakpastian SAPHIRE melakukan setelah pengguna memasukkan nilai-nilai dalam dialog Ketidakpastian Nilai Perhitungan. Setelah jumlah sampel telah
26
diterima dan benih diperoleh dari jam sistem (jika perlu), cek dijalankan untuk memastikan peristiwa dengan kelas yang sama memiliki data korelasi kegagalan konsisten, ketidakpastian data, dan jenis distribusi. Pesan kesalahan akan ditampilkan jika ada peristiwa memiliki ketidakkonsistenan, dan ketidakpastian proses analisis akan berakhir sehingga nilai-nilai yang tidak konsisten dapat diperbaiki. Jika kesalahan terjadi selama proses analisis ketidakpastian, proses berakhir dan kotak pesan menampilkan informasi tentang kesalahan tertentu. Jika semua kejadian berhasil lulus pemeriksaan korelasi kelas, parameter distribusi untuk acara yang diperiksa untuk memastikan bahwa mereka adalah sah.
Pesan error akan menampilkan setiap parameter yang tidak valid, dan
proses akan mengakhiri sehingga parameter distribusi dapat diperbaiki. 30 Setelah kedua pemeriksaan terpenuhi, SAPHIRE akan menghitung perkiraan titik untuk pohon kesalahan yang dipilih (atau urutan atau negara akhir). Pada titik ini, sampel untuk setiap peristiwa yang dihasilkan dengan menggunakan sampel yang dipilih teknik, baik teknik Monte Carlo Sampling atau teknik Latin Hypercube Sampling. Itu ketidakpastian fungsi analisis menyediakan jenis distribusi 12 untuk kedua teknik sampling. Lihat Bagian 5.7.1 untuk informasi tentang jenis distribusi. Selama pengolahan, Ketidakpastian Hasil dialog akan muncul dan memperbarui sebagai sampel yang dihasilkan. Ketika jumlah yang diminta sampel telah dihasilkan, informasi statistik dihitung dengan menggunakan dihasilkan sampel.
Sebuah mean sampel, median, dan standar deviasi
dihitung untuk pohon kesalahan yang dipilih (Atau urutan atau negara akhir). Koe sien skewness dan kurtosis, dan nilai-nilai kuantil juga dihitung dan disimpan dalam database untuk pohon kesalahan yang dipilih (atau urutan atau negara akhir).
Setelah selesai perhitungan ini, nilai-nilai berikut akan dita-
mpilkan dalam Hasil Ketidakpastian dialog: nama, benih acak yang digunakan, jumlah sampel yang dihasilkan dalam proses ini, jumlah kejadian dan cut set sedang diproses, estimasi titik, mean, median, nilai-nilai persentil ke-5 dan ke95, minimum dan maksimum nilai-nilai sampel yang dihasilkan, standar deviasi, skewness dan kurtosis, dan waktu yang terlibat untuk melakukan analisis. Jika hanya satu pohon kegagalan (atau urutan atau negara end) terpilih (disorot) untuk analisis ketidakpastian Proses, maka Ketidakpastian Hasil dialog harus ditutup. Namun, jika lebih dari satu sedang diproses, Ketidakpastian Hasil dialog akan ditampilkan untuk masing-masing, dan ketika semua kesalahan yang dipilih pohon (atau urutan atau negara end) telah diproses, Ketidakpastian Hasil dialog secara otomatis akan tutup. 5,8 Cut-Set Analisis Cut-set analisis meliputi memperbarui, pemangkasan, mengedit, atau melakukan operasi pada set potong yang ada. 5.8.1 Set Cut Memperbarui Pilihan ini akan memperbarui set cut saat-kasus pohon kesalahan yang dipilih (atau urutan atau negara end) berdasarkan pada cut-set nilai cuto generasi. Pengguna dapat menentukan ni-
27
lai beberapa generasi cut-set cuto untuk digunakan untuk menentukan apakah satu set cut akan dipertahankan atau dibuang. Pengguna juga dapat memilih salah satu dasar-kasus memotong set atau dipotong saat-kasus set sebagai set awal set cut yang akan diperbarui. Versi terbaru dari set memotong disimpan sebagai saat-kasus set baru dipotong. Saat-kasus set cut dapat diperbarui untuk pohon kesalahan yang dipilih (atau urutan atau negara akhir), sekelompok kesalahan pohon (atau urutan atau negara end), atau semua pohon kesalahan (atau urutan atau negara akhir) dalam arus proyek. Sebagai perhitungan dilanjutkan, Set Cut Generation Hasil dialog ditampilkan dan diperbarui. Jika satu fault tree (atau urutan atau negara end) terpilih, hasilnya akan ditampilkan dalam dialog ini setelah dipotong-set Generasi selesai. Pilih tombol OK untuk menutup dialog. Setelah set cut diperbarui, mereka otomatis dihitung. 5.8.2 Cut Pemangkasan Set Opsi ini (tersedia dalam versi 6.x) memungkinkan pengguna untuk menghilangkan set dipotong dari pohon kesalahan yang dipilih atau urutan yang berisi peristiwa yang kon ik dalam beberapa cara dengan satu sama lain. Hal ini mungkin berguna dalam lokasi analisis atau menghilangkan pelanggaran spesi kasi teknis. Perhatikan bahwa ketersediaan "aturan pemulihan" telah mengurangi kebutuhan untuk opsi ini, dan telah dihapus dalam versi 7.x SAPHIRE. 31 5.8.3 Set Cut Memulihkan The "pemulihan" pilihan set cut pasca-proses dengan memodi kasi mereka sesuai dengan set yang telah ditetapkan aturan. Pengguna membangun aturan pemulihan untuk diterapkan pada setiap set cut yang kemudian menentukan tindakan yang akan diambil. Aturan yang dibangun menggunakan editor yang sama yang digunakan untuk de nisi event aturan pohon. Editor ini adalah makro berbasis editor, yang berarti bahwa pengguna dapat mende nisikan macro (atau variabel) yang dapat digunakan sebagai mencari tes kriteria. Aturan dapat dikembangkan untuk pohon kesalahan tertentu atau semua pohon kesalahan. Menu Item Sub-menu pilihan v Peraturan Tingkat 6.x v 7.x Pohon pohon kesalahan kesalahan tertentu Mengedit pohon Aturan Kesalahan Semua kesalahan pohon Patahan Pohon Proyek Aturan Proyek Setelah aturan pemulihan dide nisikan, mereka perlu diterapkan.
Aturan
dapat diterapkan oleh salah satu dari dua metode: Batch atau interaktif. Batch Terapkan pilihan berlaku semua peraturan saat ini dide nisikan ke disorot atau ditandai pohon kesalahan.
Pilihan Interaktif memungkinkan pengguna untuk
melihat set cut diukur untuk pohon kesalahan (atau urutan) dan interaktif mende nisikan dan menerapkan aturan pemulihan sebelum menyimpan set cut pulih.
Itu Pilihan interaktif telah dihapus dari versi 7.x.
Penerapan aturan
pemulihan berpotensi dapat memerlukan perbandingan berbagai aturan untuk memotong set, sehingga waktu analisis yang lama.
Akibatnya, ketika aturan
diterapkan dalam SAPHIRE untuk seluruh proyek, analis disajikan dengan pili-
28
han untuk menerapkan aturan untuk memotong set turun ke pemotongan ditentukan tingkat. Dengan menetapkan nilai pemotongan, hanya dipotong mereka menetapkan dengan probabilitas "tinggi" akan memiliki aturan yang diterapkan. 5.8.4 Pemulihan Aturan Editor Pilihan ini memungkinkan pengguna untuk membuat atau memodi kasi aturan yang mempengaruhi set potong yang ada dalam "pengolahan pasca-" fashion. Editor berbasis aturan yang tersedia untuk kedua pohon kesalahan dan set urutan dipotong.
The Rules Pemuli-
han Editor menyediakan sarana untuk mengembangkan aturan logika. Aturanaturan ini memungkinkan untuk penilaian risiko probabilistik teknik seperti inklusi otomatis peristiwa recovery, masuknya umum-penyebab kegagalan set cut, atau penghapusan peristiwa saling eksklusif (misalnya, kombinasi terbatas atau tidak mungkin peristiwa).
Di versi 7.x, dua jenis aturan yang tersedia:
Dasar dan Lanjutan. Aturan canggih dirancang untuk pengguna dengan keterampilan pemrograman yang memerlukan eksibilitas dan kekuatan menggunakan pemrograman terstruktur bahasa untuk memprogram aturan kompleks menjadi SAPHIRE. Aturan canggih diterapkan menggunakan Modula-2 bahasa pemrograman. Aturan dasar yang tersedia di kedua 6.x SAPHIRE dan 7.x dan mengikuti khas "jika ... kemudian "ketik struktur. Aturan dasar dimasukkan dalam editor teks bentuk bebas dalam SAPHIRE. Mereka mengikuti format yang sama dengan struktur yang ditemukan dalam bahasa pemrograman tradisional (misalnya, BASIC atau PASCAL). Dengan demikian, para kemampuan ada untuk mende nisikan "macro" dan "jika ...
maka" jenis struktur.
Sete-
lah membuat atau mengedit aturan, SAPHIRE mengkompilasi aturan untuk memeriksa validitas mereka. Atau, aturan dapat diekspor dari SAPHIRE atau masuk dalam editor pengolah kata atau teks (yang dapat output le ASCII) dan kemudian dimuat langsung ke database SAPHIRE. Aturan pemulihan dapat diterapkan untuk memotong set untuk pohon kesalahan tertentu atau semua pohon kesalahan dalam proyek. Urutan aturan pemulihan dapat diterapkan untuk memotong set untuk urutan tertentu, pohon peristiwa tunggal, atau semua urutan dalam proyek. 32 5.8.5 Cut Editing Set Editor Set Cut memungkinkan pengguna untuk mengedit pohon kesalahan (atau urutan atau negara end) set dipotong. SAPHIRE menyediakan ruang untuk dua set set dipotong dalam database: kasus dasar dan kasus saat ini. Setiap kali SAPHIRE menghasilkan set dipotong, mereka disimpan di lokasi kasus saat ini. Pengguna dapat menyimpan satu set set dipotong ke basis lokasi kasus dengan melakukan Pembaruan Kasus Dasar.
Pengguna
dapat memilih untuk mengedit kedua kasus dasar atau saat memotong set kasus, namun hasilnya selalu disimpan di lokasi kasus saat ini.
Menggunakan
editor set cut, pengguna dapat memasukkan set cut baru, menghapus set dipotong, atau menambah atau memodi kasi peristiwa dasar dalam cut set. Setiap
29
nama acara dimasukkan saat editing cut set dapat didahului oleh suatu "/" untuk menunjukkan bahwa itu adalah diperlakukan sebagai peristiwa dilengkapi. Kemungkinan acara dilengkapi adalah minus satu kegagalan probabilitas. 5,9 Hasil Kesalahan Menampilkan Pohon Pilihan ini menampilkan hasil dari fungsi analisis pohon kegagalan.
The cut set dan analisis ketidakpastian Hasil da-
pat ditampilkan, dan pentingnya analisis ukuran dapat dilakukan.
5.9.1 Set
Cut Menampilkan Pilihan ini menampilkan set kasus cut saat ini.
Dua daf-
tar set cut disediakan untuk pohon kesalahan (atau urutan atau negara akhir). Daftar pertama, disebut sebagai set cut berkualitas, mengandung set tersebut dipotong ditentukan oleh pengguna baik melalui dan Hapus / atau opsi Slice.
Daftar kedua, disebut sebagai set cut wajar tanpa pengecualian, yang
berisi cut set tidak termasuk dalam daftar set cut berkualitas. Awalnya, memotong semua set memenuhi syarat.
Ketika Cut dialog Set terpilih dipanggil,
pohon kesalahan (atau urutan atau negara end) set dipotong akan ditampilkan. Ditampilkan dengan masing-masing set cut persen terkait kontribusi terhadap cut minimal yang ditetapkan batas atas, yang probabilitas (atau, barangkali, frekuensi), dan nama acara yang membentuk set cut. Juga ditampilkan adalah cut minimal ditetapkan batas atas untuk total, jumlah set cut yang membentuk total, slice saat cut minimal ditetapkan batas atas, persentase yang potongan kontribusi untuk total, dan jumlah cut set di slice.
Dari dialog ini, berba-
gai fungsi yang disediakan sebagai berikut: Lihat grup terpilih dipotong set, menampilkan representasi dari logika yang dihasilkan set cut dipilih, menyimpan set dipotong berakhir negara, melakukan studi penting pada set potong yang dipilih, dan menghasilkan berbagai laporan yang menampilkan dipotong set. Selain langkah-langkah penting risiko standar, SAPHIRE menyediakan pentingnya risiko diperpanjang langkah-langkah. disediakan mencapai berikut:
Langkah-langkah diperpanjang
Prioritaskan kontributor risiko untuk kepentin-
gan risiko mereka dan menentukan risiko kumulatif kontribusi,
Biarkan kon-
tribusi risiko secara eksplisit dipecah menjadi probabilitas dan faktor dampak yang memungkinkan kuat, berisiko rendah kontributor penting dengan kedua probabilitas kegagalan yang rendah dan resiko rendah Dampak secara langsung diidenti kasi,
Mendapatkan kontribusi risiko dan pentingnya risiko set
kontributor untuk memungkinkan setiap item dalam set diprioritaskan untuk alokasi sumber daya,
Tentukan pentingnya peranan risiko relatif dari unsur-
unsur individu dalam satu set dengan pertimbangan untuk interaksi kontributor,
Mengidenti kasi sensitivitas risiko kombinasi kontributor kontributor ketika
beberapa berubah,
Mengidenti kasi set kontributor yang memiliki dampak
risiko terendah ketika kontributor semua santai atau semua berubah dengan nilai yang diberikan. 33 5.9.2 Cut Set Perbandingan OPSI inisial menampilkan kedua kasus EQUITY Dan set dipotong SAAT kasus untuk Pohon kesalahan
30
Yang dipilih (atau Urutan Akhir atau negara).
Sumber (baik EQUITY atau
Arus) bahasa Dari ditetapkan cut ditunjukkan oleh kedua Warna Dan simbol. Warna merah Dan "-" simbol Illustrasi kolom PERTAMA menunjukkan kasus EQUITY dipotong ditetapkan. Warna Hitam Dan Kosong ("") PADA kolom PERTAMA menunjukkan bahwa set cut adalah BAIK SAAT kasus inisial Dan kasus EQUITY dipotong ditetapkan. Itu Warna Hijau Dan "+" simbol Illustrasi kolom PERTAMA menunjukkan penurunan kasus SAAT inisial ditetapkan. Hasilnya Bisa diurutkan oleh salat Satu Sumber (yaitu, EQUITY, Saat Suami, baik) atau probabilitas. 5.9.3 Pentingnya Tindakan Langkah-langkah penting memberikan "reliabilitas-Diskonto" INFORMASI tentang peristiwa EQUITY Muncul di set dipotong Pohon untuk kesalahan atau Urutan Kecelakaan. The "penting" untuk basic event dasarnya Acara kontribusi terhadap probabilitas Acara keseluruhan Atas (untuk Pohon fault) atau Urutan frekuensi (untuk Pohon event).
Ukuran kontribusi dapat mengambil banyak bentuk Tergantung
PADA APA kekhawatiran Analis memiliki untuk dasar acara tertentu.
Ak-
ibatnya, SAPHIRE Menghitung Tujuh pentingnya Acara Yang berbeda EQUITY langkah-langkah. Suami adalah pentingnya Fussell-Vesely, rasio pengurangan risiko, rasio risiko MENINGKAT, Birnbaum (atau turunan PERTAMA) penting, pengurangan risiko perbedaan, perbedaan risiko MENINGKAT, Dan ketidakpastian penting. Langkah-langkah penting rasio Yang berdimensi Dan hanya mempertimbangkan perubahan relatif yang. Perbedaannya de nisi menjelaskan tingkat risiko sebenarnya Yang ADA Dan lebih tepat ketika tingkat risiko Yang sebenarnya perhatian, seperti perbandingan atau prioritizations di seluruh Tanaman Yang berbeda. Untuk evaluasi murni relatif yang, seperti prioritizations Dalam, Tanaman, rasio terkadang memberikan REVENUES Yang lebih Gra s. Langkah-langkah penting dihitung untuk setiap Acara EQUITY untuk Pohon kesalahan masing-masing atau Kecelakaan Urutan. Penghasilan kena pajak REVENUES telah dihitung, mereka dapat ditampilkan Dan kemudian dipartisi sebagai bagian Bahasa Dari potongan pribumi ditetapkan. 5.9.4 Ketidakpastian REVENUES Pilihan inisial menampilkan REVENUES analisis secara ketidakpastian dilakukan (Lihat Bagian 5.7, Ketidakpastian FARID Manajemen). REVENUES Yang ditampilkan adalah Batas Distribusi Dan probabilitas untuk kedua EQUITY Dan SAAT Suami REVENUES. Diskonto-Diskonto Yang dihitung BAIK menggunakan Hypercube Latin atau simulasi Monte Carlo Teknik. Selain ITU, ketidakpastian kuantil (atau probabilitas) Diskonto Yang berhubungan Artikel Baru BAIK SAAT inisial atau data base kasus dapat ditampilkan. Diskonto Diskonto-kuantil dapat digunakan untuk membangun kumulatif Distribusi petak REVENUES analisis secara ketidakpastian. 34 5.10 Data Fault Tree Melihat Data Yang ditampilkan Bahasa Dari pilihan in-
31
isial berasal bahasa Dari analisis secara Pohon kegagalan sebelumnya dilakukan. Satu atau Pohon kesalahan lebih dapat dilihat Artikel Baru menggunakan pilihan inisial. Pohon Sesar kolom PADA dialog inisial berisi Kedudukan NAMA Pohon kesalahan.
Judul kolom Lain 'Dan Data bervariasi Cara berdasarkan
PADA "View" SAAT inisial sebagai berikut:
deskripsi. Termasuk deskripsi
kesalahan Pohon Penuh. (Maksimum 60 Karakter)
SAAT Vs.
Base. Termasuk
pemotongan kasus SAAT inisial ditetapkan probabilitas, kasus EQUITY dipotong probabilitas diatur, Perbedaan probabilitas (SAAT Suami - basa), rasio, memotong kasus SAAT inisial ditetapkan JUMLAH, kasus EQUITY dipotong hitungan diatur, potong mengatur perbedaan count (SAAT Suami - basa).
Kasus Dasar. Termasuk Diskonto kasus EQUITY untuk probabilitas dipotong ditetapkan, berarti, persentil Ke-5, median, 95 persentil, pemotongan probabilitas, Dan ukuran pemotongan Yang digunakan ketika memecahkan.
Kasus
SAAT. Termasuk Diskonto kasus SAAT probabilitas dipotong ditetapkan, berarti, persentil Ke-5, median, 95 persentil, pemotongan probabilitas, Dan ukuran pemotongan Yang digunakan ketika memecahkan.
Dasar Ketidakpastian
Kasus. Termasuk Diskonto kasus EQUITY untuk probabilitas dipotong ditetapkan, berarti, persentil Ke-5, median persentil, 95, minimal, maksimum, standar deviasi, skewness, kurtosis, ukuran sampel, Dan Benih Nomor acak. pastian SAAT Kasus.
Ketidak-
Termasuk Diskonto kasus SAAT probabilitas dipotong
ditetapkan, berarti, persentil Ke-5, median persentil, 95, minimal, maksimum, standar deviasi, skewness, kurtosis, ukuran sampel, Dan Benih Nomor acak. 35 6. EVENT Pohon Pohon Acara OPSI ANALISIS memungkinkan pengguna untuk membangun Gra s Dan mengedit Pohon acara Dan menghasilkan Urutan Logika. Kemampuan untuk mende nisikan aturan keterkaitan Dan partisi JUGA disediakan.
Ketika Pohon Acara toolbar html atau Pohon pilihan
Acara menu dipilih, Pohon PT ARWANA Acara dialog ditampilkan. Dialog inisial menunjukkan * Semua Pohon acara Garis depan Illustrasi Proyek inisial. A "+" di PERTAMA kolom sebelum NAMA Pohon kejadian menunjukkan aturan Pohon kejadian linkage ADA ITU untuk Pohon kejadian. A "+" di kolom kedua sebelum NAMA Pohon kejadian menunjukkan aturan partisi Yang ADA ITU untuk Pohon kejadian. A "-" BAIK Illustrasi Bahasa Dari kolom inisial menunjukkan bahwa aturan ADA TAPI tidak dikompilasi. Bahasa Dari dialog inisial pengguna dapat menambahkan SETIABUDI Pohon kejadian Baru Ke Database atau pilih Pohon kejadian Yang ADA (s) menggunakan tikus atau tur Mask. Sarana disediakan untuk mengedit Pohon Acara Gra s representasi, mengedit linkage Dan aturan partisi, menghubungkan Pohon Acara (yaitu, menghasilkan Logika Urutan), atau mengedit `negara Pohon Akhir Acara.
6.1 Acara Po-
hon Graphics Editor Acara Pohon memungkinkan pengguna untuk membangun atau mengedit diagram Pohon kejadian. Sebuah Pohon kejadian adalah Model
32
hubungan Pohon kesalahan Gagal atau sukses di tingkat atau Puncak. Sebuah diagram Pohon kejadian adalah Gra s representasi atau GAMBAR Model nihil. Diagram dapat dibangun Bahasa Dari Mutasi atau bahasa Dari File Yang ADA untuk menghasilkan atau memodi kasi Logika. The memulai Acara, peristiwa EQUITY, Urutan, Dan `negara Akhir Terikat Ke Database SAPHIRE. Mereka MAMPUS ditambahkan Ke Database sebagai Pohon kejadian Sedang dibangun. Berbagai fungsi editing seperti cut, pasta, Dan menyalin Bersama Artikel Baru fungsi seperti menyimpan berkas Dan mencetak disediakan. Perhatikan bahwa cabang up menunjukkan keberhasilan acara puncak sementara cabang bawah menunjukkan kegagalan cabang atas. 6.2 Keterkaitan Aturan Editor Pilihan ini memungkinkan pengguna untuk menentukan aturan linkage untuk pohon kejadian. Aturan linkage adalah kasus khusus, suatu pengecualian, atau substitusi untuk generasi urutan normal.
Biasanya, aturan ini digunakan untuk menggantikan pohon kesalahan
standar (yaitu, peristiwa atas) dengan pohon-pohon kesalahan diganti (atau "split-fraksi") didasarkan pada logika 36 kondisi yang ditentukan dalam aturan.
Selama generasi urutan logika,
logika untuk urutan adalah dibuat sebagaimana ditentukan dalam logika pohon kejadian, dan kemudian aturan linkage diterapkan. Misalnya, pohon kejadian A berisi urutan bernama SEQ-1. Menurut logika ketat acara pohon, pohon kesalahan yang membentuk logika SEQ-1 ini adalah SYS-1, SYS-2, SYS-3, dan SYS4. Aturan linkage akan memungkinkan penggantian semua kejadian dari SYS-4 dalam urutan dalam pohon kejadian dengan SYS-5.
Atau, pengguna hanya
mungkin ingin mengganti SYS-4 dengan SYS-5 jika dan hanya jika SYS-2 dan SYS-3 adalah juga hadir dalam logika urutan. Editor Aturan Linkage adalah gratis format line editor yang menyediakan struktur logika if-then-else.
Oleh
default, editor mengasumsikan bahwa nama adalah nama pohon kesalahan, jika ada. Jika pohon kesalahan dengan nama tidak ada maka editor mengasumsikan bahwa nama adalah nama makro. Jika keinginan pengguna untuk mengubah asumsi default, maka mereka bisa "mengusir" nama-nama untuk sesuatu yang lain dengan melampirkan nama dalam kurung dengan nama cor mendahuluinya. Tidak ada batasan untuk jumlah aturan pengguna dapat masukan untuk editor. Setiap aturan diproses secara berurutan. 6.2.1 Editor Fungsi Editor berisi fungsi manajemen le seperti membuka, menyimpan, menyimpan, mencetak, impor, dll Editing fungsi termasuk memotong, menyalin, paste, menghapus, membatalkan, operasi Teks dll format termasuk indent, kapitalisasi, dll fungsi Cari termasuk barang-barang seperti menemukan, mengganti, mengatur penanda, dan pergi ke penanda. Preferensi atribut dapat diatur termasuk item seperti membatalkan tingkat, pilih ukuran font, pergeseran, dan menunjukkan garis diubah. Juga, fungsi jendela dapat diatur seperti genteng, kaskade, dan mengatur
33
ikon. Akhirnya, pilihan daftar memberikan kemampuan untuk menyisipkan item database seperti peristiwa dasar, penggagas, pohon kesalahan, dan bendera. 6.3 Partisi Aturan Editor Editor ini memungkinkan de nisi dari seperangkat aturan yang memetakan set dipotong untuk urutan ke kondisi akhir.
Ini adalah
Format bebas, makro berbasis line editor yang menyediakan struktur logika ifthen-else. Jika aturan sudah telah ditetapkan, mereka akan ditampilkan dalam jendela edit. Secara default, editor mengasumsikan bahwa nama adalah nama dari peristiwa dasar, jika ada dalam database. Jika basic event dengan nama tidak ada maka editor mengasumsikan bahwa nama adalah nama makro. Untuk mengubah asumsi default, nama dapat "dibuang" ke sesuatu yang lain dengan melampirkan nama dalam kurung dengan nama cor mendahuluinya. Tidak ada batasan untuk jumlah aturan yang mungkin masukan kepada editor. Setiap aturan diproses dalam berurut pesanan. Editor ini beroperasi dalam aturan yang sama untuk partisi seperti halnya untuk aturan linkage. Lihat Bagian 6.2.1, Editor Fungsi, untuk rincian. Pilihan ini menghasilkan logika urutan menggunakan le pohon kejadian gra s. Selama generasi urutan, yang logika urutan dibuat sebagaimana ditentukan dalam logika pohon kejadian, dan kemudian aturan linkage, jika ada, yang diterapkan. 6.4 Editing Negara Pohon Akhir Acara Sebelum generasi urutan logika, sejumlah pilihan dapat diatur. Sebuah laporan opsional dapat dihasilkan dan dikirim ke perangkat output yang ditunjuk. Laporan ini akan berisi daftar nama-nama urutan ', yang kesalahan pohon yang membentuk urutan, setiap penggantian pohon kesalahan (berdasarkan aturan linkage), dan setiap transfer ke pohon acara lainnya. 37 Jumlah tingkat untuk diproses dapat ditunjuk. Tingkat A mengacu pada transfer ke pohon sub-. Itu nilai default dari 99 akan menghasilkan urutan yang logis akan berisi semua puncak untuk semua sub-pohon.
Jika Tingkat diatur
ke kurang dari 99, urutan yang dihasilkan akan berisi puncak hanya dari subpohon kurang dari ditentukan tingkat.
Jika puncak yang independen, logika
urutan dapat dipotong pada probabilitas.
Atas masing-masing diperlakukan
sebagai Acara dasar dengan probabilitas yang diasumsikan nilai fraksi berpisah. Sebagai logika urutan sedang dibuat dan atas masing-masing ditambahkan ke logika, probabilitas untuk urutan tersebut akan diperiksa untuk memastikan bahwa perusahaan probabilitas lebih besar dari nilai pemotongan yang ditentukan. Semua urutan dengan probabilitas kurang dari probabilitas pemotongan dibuang dan logika tidak diikuti. Sebagai sebuah pilihan, urutan "set cut" dapat dihasilkan ketika logika urutan yang dihasilkan.
Atas masing-masing, apakah
gagal atau sukses, akan diperlakukan sebagai peristiwa dasar dan ditempatkan dalam satu set memotong tunggal untuk dihasilkan urutan.
Teknik ini digu-
nakan untuk menggantikan "pohon kejadian besar" metodologi. Pengguna opsional dapat menentukan nama atas saling eksklusif di mana bagian atas akan
34
ditambahkan ke urutan logika. Top ini akan ditampilkan dalam logika sebagai pohon kesalahan dilengkapi dan akan diperlakukan sesuai ketika urutan diselesaikan. Tujuannya adalah untuk menyediakan sebuah metode menghapus ilegal kombinasi kejadian. Catatan bahwa ini "saling eksklusif atas" pilihan telah digantikan oleh penggabungan aturan pemulihan dan kemungkinan besar akan dihapus dalam versi masa depan SAPHIRE. 6,5 Editing Pohon Negara Akhir Acara Pilihan ini memungkinkan pengguna untuk melihat atau mengubah informasi acara pohon urutan setelah pohon kejadian memiliki telah dibuat. Setiap perubahan yang dibuat untuk urutan negara nama informasi atau akhir menggunakan opsi ini akan otomatis diperbarui seluruh database, termasuk pohon kejadian gra s (. ETG) le (yaitu, gambar yang sesuai akan diperbarui). 38 7.
KECELAKAAN URUTAN Ketika mengembangkan kode penilaian
risiko, analisis urutan kecelakaan juga harus diperhatikan.
Kecelakaan uru-
tan dide nisikan dalam SAPHIRE dengan mengembangkan pohon acara (lihat Bagian 6, Pohon Event). Setelah suatu peristiwa pohon telah dikembangkan, logika urutan dari pohon kejadian dapat dihasilkan. Logika urutan daftar sistem yang berhasil atau gagal selama urutan kecelakaan. Ini kegagalan sistem dan keberhasilan adalah peristiwa puncak pohon kesalahan. Logika ini digunakan oleh SAPHIRE untuk menghasilkan set dipotong untuk urutan. Fungsi Urutan Analisis menyediakan sarana untuk menghitung ulang nilai urutan setelah data kegagalan acara dan / atau set cut telah dimodi kasi. Ketika toolbar urutan tombol atau pilihan menu Sequence dipilih, dialog Urutan ditampilkan.
Dia-
log ini menunjukkan semua urutan dalam proyek ini, diperintahkan oleh nama pohon kejadian dan nama urutan. A "b" di depan nama pohon kejadian menunjukkan kasus dasar potong set ada, a "c" menunjukkan set kasus saat dipotong ada.
Ketidakpastian analisis dapat dilakukan dan pentingnya informasi ten-
tang peristiwa dasar dapat dianalisis. Selain itu, hasil dapat ditampilkan dan dilaporkan dalam berbagai format.
7.1 Pemecahan Urutan Pilihan ini meng-
hasilkan set dipotong untuk urutan yang dipilih (s) berdasarkan pada nilai-nilai generasi cut set cuto. Itu pengguna dapat menentukan cut set beberapa nilai cuto generasi yang akan digunakan untuk menentukan apakah satu set dipotong adalah menjadi dipertahankan atau dibuang dari urutan yang dipilih (s). Potong set untuk urutan yang dipilih, sekelompok urutan, atau semua urutan dalam proyek saat ini dapat dihasilkan.
Perubahan bendera untuk masing-
masing Urutan dapat ditentukan tanpa harus menumbuhkan data kegagalan setiap kali.
Logika pohon kegagalan adalah dipangkas sebelum diselesaikan,
tergantung pada bendera-bendera.
Selain itu, pengguna dapat memilih un-
tuk memecahkan menggunakan kesalahan pohon logika atau set pohon kesalahan dipotong sebelumnya dihasilkan. Sebagai perhitungan dilanjutkan, Set Cut Generation Hasil dialog ditampilkan dan diperbarui. Jika satu urutan terpilih,
35
hasilnya akan ditampilkan dalam dialog ini setelah dipotong generasi set selesai. Memilih tombol OK untuk menutup dialog.
Tidak ada batasan pada jumlah
set cut yang dapat disimpan untuk urutan tertentu. Ketika pengolahan selesai, dialog Urutan diperbarui untuk menunjukkan huruf "c" di depan urutan (s) dengan saat ini Kasus cut set. 7.2 Mengukur Urutan Proses kuanti kasi akan requantify cut set menggunakan nilai saat ini data (set acara perubahan dan cut kasus saat ini menetapkan) untuk urutan dipilih, untuk sekelompok urutan, atau untuk semua urutan dalam proyek ini. Nilai baru disimpan dengan set cut kasus saat ini untuk urutan yang dipilih. Ada beberapa metode kuanti kasi lima dari yang untuk memilih: default urutan metode, mincut tersebut batas atas (atau Cut Set Minimal Atas Bound), min / max, pendekatan peristiwa langka, atau split-fraksi. Metode standar diatur dalam Modify | Pohon Acara | Urutan pilihan (lihat Bagian 9.2). Mincut The Teknik terikat atas mendekati kemungkinan penyatuan dari pemotongan minimal set untuk kesalahan pohon. Teknik min / max menggunakan "tepat" perhitungan untuk persatuan set dipotong melalui aturan inklusi-eksklusi.
Teknik peristiwa langka requanti es dengan
menambahkan bersama probabilitas untuk set cut dari acara puncak. Metode split-fraksi mengkuanti kasi set memotong urutan menggunakan min memotong batas atas nilai-nilai yang telah dihitung untuk setiap pohon kegagalan sukses atau gagal yang membentuk urutan ini. Ini Pilihan tidak menghasilkan set dipotong, tetapi memberikan pendekatan cepat dari hasil yang sebenarnya. Sebenarnya Hasil dapat diperoleh dengan menghasilkan set memotong dan mengukur set ini dipotong. 39 Jika metode kuanti kasi yang dipilih berbeda dari default (s) urutan, kotak peringatan akan ditampilkan dengan pesan, "adalah Metode kuanti kasi yang dipilih berbeda dari default Urutan." Pilih Tombol OK untuk melanjutkan proses.
Selama pengolahan, Kuanti kasi Hasil dialog akan ditampilkan.
Jika
kesalahan terjadi, pesan, "Kesalahan set cut mengukur "akan ditampilkan di bar pesan. Jika urutan tunggal terpilih, hasil ditampilkan dalam dialog Hasil Kuanti kasi setelah selesainya proses kuanti kasi. Memilih Ok untuk menutup dialog. 7.3 Urutan Ketidakpastian Analisis Pilihan ini beroperasi sama untuk urutan seperti halnya untuk pohon kesalahan. Daripada mengulang informasi, lihat Bagian 5.7. 7,4 Cut Urutan Set Analisis Pilihan ini memberikan kemampuan untuk melakukan berbagai fungsi analisis terhadap cut urutan set seperti memperbarui, pemangkasan, mengedit, partisi, atau memulihkan set cut yang ada. 7.4.1 Set Cut Memperbarui Pilihan ini beroperasi sama untuk urutan seperti halnya untuk pohon kesalahan. 5.8.1.
Daripada mengulang informasi, lihat Bagian
7.4.2 Cut Pemangkasan Set Pilihan ini beroperasi sama untuk urutan
seperti halnya untuk pohon kesalahan.
36
Daripada mengulang informasi, lihat
Bagian 5.8.2 Perhatikan bahwa ketersediaan urutan "aturan pemulihan" telah mengurangi kebutuhan akan hal ini pilihan, dan telah dihapus dalam versi 7.x SAPHIRE. 7.4.3 Set Cut Memulihkan Pilihan ini beroperasi sama untuk urutan seperti halnya untuk pohon kesalahan, kecuali bahwa untuk pohon urutan acara aturan juga dapat diterapkan. Daripada mengulang informasi, lihat Bagian 5.8.3. Untuk pengoperasian Recover Editor Aturan, lihat Bagian 5.8.4. Aturan dapat dikembangkan untuk urutan tertentu, pohon peristiwa tunggal, atau semua urutan. Menu Item Sub-menu pilihan v Peraturan Tingkat 6.x v 7.x Urutan urutan tertentu Mengedit Urutan Aturan Urutan peristiwa tunggal pohon Mengedit acara Tree acara Semua Urutan urutan Mengedit Proyek Proyek 7.4.4 Cut Editing Set Pilihan ini beroperasi sama untuk urutan seperti halnya untuk pohon kesalahan. Daripada mengulang informasi, lihat Bagian 5.8.5. 7.4.5 Partisi Cut Urutan Set Pilihan ini memungkinkan pengguna untuk menentukan negara akhir yang akan terkait dengan setiap set dipotong dalam suatu kecelakaan urutan.
Seperangkat aturan yang memetakan set dipotong untuk
urutan ke keadaan akhir tertentu dapat dide nisikan. Itu Ketentuan tersebut ditetapkan dengan menggunakan Partition Editor Aturan (lihat Bagian 6.3 Partisi Editor Aturan untuk rincian). 40 Setelah aturan partisi telah dide nisikan, mereka perlu diterapkan. Aturan dapat diterapkan oleh salah satu dari dua Metode: Batch atau Interaktif.
Pilihan Batch Terapkan menerapkan semua aturan saat ini dide nisikan
dengan disorot urutan. Pilihan Interaktif memungkinkan pengguna untuk interaktif mende nisikan dan menerapkan aturan partisi sebelum menyimpan set dipotong. Aturan yang diterapkan secara berurutan, yaitu, proyek aturan, diikuti oleh aturan pohon kejadian, dan akhirnya urutan aturan.
Jika aturan
kon ik, aturan yang diterapkan terbaru akan didahulukan dari yang sebelumnya. Menyatakan akhir urutan yang dibuat oleh aturan partisi bisa dibersihkan. Dengan memilih Amerika End ulang fungsi, akhir urutan negara lintas-referensi peta diatur ke kosong. Catatan set cut akan tetap muncul dalam mengakhiri daftar negara sampai negara akhir dihapus. Dengan membersihkan peta referensi silang, negara akhirnya dapat dihapus, jika diinginkan, dari ujung Amerika terdaftar menggunakan Modify | Akhir States pilihan.
7.4.6 Merge Cut Set
Urutan "merge dipotong set" pilihan memungkinkan dipotong set diproduksi ketika melakukan analisis Level 2 untuk menjadi ditelusuri kembali ke 1 pohon Tingkat kesalahan. Secara tradisional, 1 Tingkat kerusakan tanaman hasil negara akan digulung menjadi frekuensi yang akan dilewatkan ke dalam 2 pohon Tingkat acara. Opsi penggabungan memungkinkan pengguna untuk "Membeberkan" proses ini dalam rangka untuk melihat apa set cut yang membentuk Tingkat 1 porsi hasil Level 2.
37
7,5 Hasil Urutan Menampilkan Pilihan ini menampilkan hasil dari fungsi analisis urutan. The cut set dan analisis ketidakpastian Hasil dapat ditampilkan, dan pentingnya analisis ukuran dapat dilakukan. 7.5.1 Menampilkan Set Cut Pilihan ini beroperasi sama untuk urutan seperti halnya untuk pohon kesalahan. Daripada mengulang informasi, lihat Bagian 5.9.1. 7.5.2 Cut Set Perbandingan Pilihan ini beroperasi sama untuk urutan seperti halnya untuk pohon kesalahan. Daripada mengulang informasi, lihat Bagian 5.9.2. 7.5.3 Pentingnya Tindakan Pilihan ini beroperasi sama untuk urutan seperti halnya untuk pohon kesalahan. Daripada mengulang informasi, lihat Bagian 5.9.3. 7.5.4 Ketidakpastian Hasil Pilihan ini beroperasi sama untuk urutan seperti halnya untuk pohon kesalahan. Daripada mengulang informasi, lihat Bagian 5.9.4. Urutan Melihat data 7,6 Data yang ditampilkan di sini berasal dari analisis urutan sebelumnya dilakukan.
Satu atau lebih urutan dapat dilihat dengan
pilihan ini. Kolom Urutan berisi nama utama urutan '. Judul kolom lain 'dan data bervariasi tergantung pada yang dipilih The "View" pilihan adalah sama "View." untuk urutan karena mereka adalah untuk pohon kesalahan. Daripada mengulang informasi, lihat Bagian 5.10. 41 8. AKHIR NEGARA Akhir Analisis Negara kalkulasi ulang nilai akhir negara setelah peristiwa atau set cut telah dimodi kasi. Ketidaktentuan analisis terhadap negara akhir dapat dilakukan baik menggunakan Monte Carlo simulasi atau Latin Hypercube Teknik.
Berbagai fungsi seperti memperbarui
dan mengedit dapat dilakukan pada set memotong ujung negara. Hasil analisis dapat ditampilkan dan dilaporkan dalam berbagai format.
Ketika pengguna
memilih Negara End tombol toolbar atau Negara End pilihan menu, Negara Akhir dialog Daftar ditampilkan.
Dialog ini menunjukkan menyatakan men-
gakhiri semua ditetapkan untuk proyek ini, diperintahkan oleh nama negara akhir. A "B" di depan nama negara akhir menunjukkan set kasus dasar dipotong ada, a "c" menunjukkan set kasus cut saat ada.
Akhir Pertemuan Ne-
gara 8.1 Pilihan ini mengumpulkan set dipotong untuk keadaan akhir dipilih berdasarkan pada nilai-nilai generasi cut set cuto.
Beberapa nilai generasi
dipotong mengatur cuto dapat ditentukan yang akan menentukan apakah satu set cut akan dipertahankan atau dibuang dari negara akhir yang dipilih. Set Cut dapat dihasilkan untuk keadaan akhir yang dipilih, sekelompok akhir negara, atau negara akhir semua dalam proyek saat ini.
Set Cut dapat dikumpulkan
oleh negara akhir ditugaskan untuk setiap urutan (melalui gra s pohon kejadian) atau oleh negara akhir setiap set cut (ditugaskan melalui negara akhir partisi aturan). Sebagai perhitungan dilanjutkan, Set Cut Generation Hasil dialog ditampilkan dan diperbarui.
Jika satu state end terpilih, hasilnya akan
ditampilkan dalam dialog ini setelah dipotong generasi set selesai.
Memilih
tombol OK untuk menutup dialog. Batas pada jumlah set cut yang dapat dis-
38
impan untuk keadaan akhir yang diberikan dibatasi oleh tersedia ruang hard disk.
Ketika proses selesai, Negara Akhir dialog Daftar yang diperbarui un-
tuk menampilkan huruf "c" di depan negara akhir (s) dengan set memotong kasus saat ini.
8.2 Negara End mengukur Proses kuanti kasi akan menghi-
tung potongan minimum baru ditetapkan batas atas untuk set akhir negara cut menggunakan nilai data saat ini (set perubahan acara dan set kasus saat cut). Nilai baru disimpan dengan memotong kasus saat set untuk negara akhir yang dipilih. Ada beberapa metode kuanti kasi tiga dari yang untuk memilih: negara akhir 'default metode, mincut tersebut batas atas (atau Cut Minimal Set Atas Bound), atau pendekatan peristiwa langka. Metode default diatur di Modify | Akhir Negara option (lihat Bagian 9.4). Teknik terikat mincut atas mendekati probabilitas dari persatuan dari pemotongan minimal set untuk negara akhir.
Teknik peristiwa langka requanti es oleh menambahkan bersama
probabilitas untuk set cut dari acara puncak.
Jika metode kuanti kasi yang
dipilih berbeda dari standar negara akhir ini, dialog peringatan ditampilkan dengan pesan, "adalah Metode kuanti kasi yang dipilih berbeda dari default Negara End." Pilih tombol OK untuk melanjutkan proses.
Selama pengola-
han, Kuanti kasi Hasil dialog akan ditampilkan. Jika kesalahan terjadi, pesan, "Kesalahan set cut mengukur "akan ditampilkan di bar pesan. Jika sebuah negara tunggal akhir terpilih, pada selesainya proses kuanti kasi, hasilnya akan ditampilkan dalam dialog Hasil Kuanti kasi. Pilih Ok untuk menutup dialog. 42 8,3 End Negara Ketidakpastian Analisis Pilihan ini mengoperasikan sama untuk menyatakan akhir seperti halnya untuk pohon kesalahan. Daripada mengulang informasi, lihat Bagian 5.7.
8,4 End Negara Cut Set Analisis State
end memotong set fungsi analisis terdiri dari memperbarui atau mengedit set dipotong. 8.4.1 Set Cut Memperbarui Pilihan ini mengoperasikan sama untuk menyatakan akhir seperti halnya untuk pohon kesalahan. Daripada mengulang informasi, lihat Bagian 5.8.1. 8.4.2 Cut Editing Set Pilihan ini mengoperasikan sama untuk menyatakan akhir seperti halnya untuk pohon kesalahan. pada mengulang informasi, lihat Bagian 5.8.5.
Dari-
8,5 Hasil Akhir Menampilkan
Negara Pilihan ini menampilkan hasil analisis fungsi end state. Potong set dan hasil analisis ketidakpastian dapat ditampilkan, dan pentingnya analisis ukuran dapat dilakukan. 8.5.1 Set Cut Menampilkan Pilihan ini mengoperasikan sama untuk menyatakan akhir seperti halnya untuk pohon kesalahan. Daripada mengulang informasi, lihat Bagian 5.9.1. 8.5.2 Cut Set Perbandingan Pilihan ini mengoperasikan sama untuk menyatakan akhir seperti halnya untuk pohon kesalahan. Daripada mengulang informasi, lihat Bagian 5.9.2. 8.5.3 Pentingnya Tindakan Pilihan ini mengoperasikan sama untuk menyatakan akhir seperti halnya untuk pohon kesalahan. Daripada mengulang informasi, lihat Bagian 5.9.3. 8.5.4 Ketidakpastian Hasil Pilihan ini mengoperasikan sama untuk menyatakan
39
akhir seperti halnya untuk pohon kesalahan. Daripada mengulang informasi, lihat Bagian 5.9.4. 8,6 data Akhir Negara Viewing Data yang ditampilkan di sini berasal dari analisis akhir negara yang sebelumnya dilakukan. Satu atau lebih akhir negara dapat dilihat dengan pilihan ini. Kolom Negara End berisi nama utama negara akhir '. Judul kolom lain 'dan data bervariasi tergantung pada yang dipilih The "View" pilihan adalah sama "View." untuk menyatakan akhir karena mereka adalah untuk pohon kesalahan. Daripada mengulang informasi, lihat Bagian 5.10. 43 9. Memodi kasi DATABASE TABEL Pilihan ini memungkinkan memodi kasi tabel SAPHIRE berbagai: proyek, pohon kegagalan, pohon kejadian, urutan, akhir negara, acara, dasar atribut, gerbang, histogram, pipa dan instrumentasi diagram, perubahan set, dan set bendera. Catatan dalam database dapat ditambahkan, dimodi kasi, disalin, dan dihapus. 9.1 Memodi kasi data Proyek Opsi ini mengubah data untuk proyek saat ini. Bidang data termasuk nama, deskripsi, lokasi, perusahaan, jenis, desain, vendor, tipe model, lokal default, kurva bahaya situs, tanggal operasional, kuali kasi tanggal, waktu dan misi.
9.2 Memodi kasi data acara Pohon Pilihan ini memungkinkan menam-
bahkan, memodi kasi, menyalin, atau menghapus data pohon catatan peristiwa atau teks yang terkait. Di Selain itu, pohon kejadian yang dipilih basis-kasus data dapat diperbarui atau pohon kejadian dipilih saat-kasus data dapat dibersihkan.
Anda dapat menambah, mengubah, menyalin, atau menghapus data
sekuens catatan yang terkait dengan acara yang dipilih pohon.
Bidang data
termasuk nama, deskripsi, dan inisiator. 9.2.1 Base-Kasus Pembaruan Pilihan ini menimpa semua kasus dasar (asli) data dengan data kasus saat ini untuk analisis yang dipilih jenis. Jika Anda memilih untuk memperbarui data base, empat operasi akan terjadi: (1) dasar-kasus set cut akan ditimpa dengan set memotong kasus saat ini, (2) kasus dasar hasil pohon kejadian ketidakpastian akan ditimpa dengan hasil ketidakpastian kasus saat ini, (3) nilai-nilai dasar ketidakpastian kasus kuantil akan ditimpa dengan nilai kuantil dari kasus saat ini, dan (4) cut minimal dasar-kasus yang ditetapkan atas terikat akan ditimpa dengan memotong kasus saat minimum yang ditetapkan batas atas. Perhatian: event asli Hasil dasar pohon kasus akan ditimpa jika opsi ini dijalankan! 9.2.2 Kasus Saat Batal Pilihan ini akan menghapus semua informasi saat ini kasus untuk jenis analisis tertentu. Semua perhitungan SAPHIRE menggunakan data yang disimpan dalam kasus saat ini untuk sensitivitas dan analisis acara, dan memotong hasil generasi diatur adalah disimpan dalam kasus saat ini.
9.2.3
Urutan data Memodi kasi Pilihan ini memungkinkan menambahkan, memodi kasi, menyalin, atau menghapus catatan data atau teks untuk urutan terkait dengan pohon kejadian.
Selain itu, Anda dapat memperbarui urutan dipilih
basis-kasus data atau jelas memilih urutan saat-kasus data. Lihat Bagian 9.2.1
40
dan 9.2.2.
Bidang data termasuk nama, deskripsi, end state, nama bendera,
dan metode kuanti kasi.
9,3 data kesalahan Memodi kasi Pohon Pilihan ini
memungkinkan menambahkan, memodi kasi, atau menghapus catatan pohon kesalahan data. Bidang data meliputi nama, deskripsi, kode sistem, sub-pohon, bendera nama, probabilitas memotong nilai, dan metode kuanti kasi. Ketika memodi kasi catatan kesalahan pohon yang ada, saat ini kasus-mincut terikat nilai atas untuk masing-masing 16 jenis analisis dapat dimasukkan. 44 9,4 data End Memodi kasi Negara Pilihan ini memungkinkan menambahkan, memodi kasi, menyalin, atau menghapus data negara catatan akhir atau teks yang terkait. Di Selain itu, Anda dapat memperbarui end state dipilih basiskasus data atau jelas end negara yang dipilih saat-kasus data.
Lihat Bagian
9.2.1 dan Bagian 9.2.2. Catatan akhir yang tidak terpakai negara dapat dihapus dari database. Data bidang termasuk nama, deskripsi, dan metode kuanti kasi. 9,5 Memodi kasi data Acara Dasar Pilihan ini memungkinkan menambahkan, memodi kasi, atau menghapus data event catatan dasar. Penghapusan semua dasar yang tidak terpakai catatan acara juga disediakan. Peta referensi silang dari peristiwa disorot dapat dilihat dan dilaporkan di sini. Ini lintas-referensi peta menunjukkan set pohon kesalahan logika, set perubahan, dan memotong di mana basic event digunakan. Untuk setiap kesalahan pohon, urutan, dan / atau akhir negara di mana acara dasar digunakan, dipotong kasus dasar dan / atau saat-kasus set akan terdaftar untuk setiap jenis analisis. Ketika suatu peristiwa dari daftar Events Sunting dipilih, Event Modify lembar properti ditampilkan. Masing-masing tab pada lembar properti berisi bidang dikelompokkan berdasarkan sifat atau fungsi terkait. Bidang ini terdaftar oleh tab lembar properti: 45 9.5.1 Acara Tab Bidang pada tab ini termasuk nama utama, nama alternatif, deskripsi, jenis perhitungan, berarti kegagalan probabilitas, lambda (tingkat kegagalan), tau (waktu yang berarti untuk memperbaiki atau menguji interval, tergantung pada perhitungan jenis), waktu misi, ketidakpastian jenis distribusi, distribusi jenis nilai 1, jenis distribusi nilai 2, dan kelas korelasi. 9.5.2 Atribut Tab Bidang pada tab ini termasuk pengenal komponen, sistem, kereta api, jenis, modus kegagalan dan atribut lokasi, kategori, bentuk gra s, bendera penggunaan khusus, dan analisis jenis kerentanan. 9.5.3 Proses Bendera Tab Bidang Bendera Proses menentukan apakah proses tertentu harus mengambil catatan khusus dari acara yang dipilih. Pada tab ini, Anda dapat memilih dari bendera proses berikut (hanya satu dapat dipilih untuk setiap peristiwa): 46 Urutan Top Flags:
Default (atau kosong) Pemindahan terkait dengan
acara ini diperluas untuk referensi kegagalan.
41
Untuk referensi sukses, trans-
fer ini juga diperluas, namun dipotong keberhasilan set dihasilkan akan dihapus dari luka kegagalan yang dihasilkan dengan menggunakan set dipotong diatur pencocokan. "Aku" Gunakan logika fault tree (jika acara puncak gagal), atau menggunakan komplemen dari logika pohon kegagalan (Jika acara puncak berhasil).
Artinya, jika puncak acara adalah kegagalan, SAPHIRE akan
memperluas pohon kesalahan dan memecahkan, jika acara tersebut berhasil, SAPHIRE akan melengkapi kesalahan pohon logika dan memecahkannya. "W" Gunakan fault tree logika (jika acara puncak gagal), atau menggunakan komplemen dari peristiwa dikembangkan (jika acara puncak berhasil). Artinya, jika acara tersebut gagal SAPHIRE akan memperluas pohon kegagalan dan memecahkan, jika acara tersebut berhasil, SAPHIRE akan menggunakan komplemen dari mengembangkan event (yaitu, hanya probabilitas terkait dengan peristiwa tersebut) untuk pohon kesalahan. "X" Gunakan acara dikembangkan (jika acara gagal), atau menggunakan memotong ditetapkan cocok untuk menghilangkan set dipotong (jika Acara berhasil). Artinya, "X" memberitahu SAPHIRE bahwa acara puncak yang akan digunakan (sebagai probabilitas) untuk referensi kegagalan, tetapi referensi sukses harus diperlakukan sama seolah-olah bendera yang kosong.
"Y" Gunakan acara dikembangkan (jika acara gagal), atau menggu-
nakan pelengkap acara dikembangkan (jika Acara berhasil). Artinya, "Y" menunjukkan bahwa transfer yang harus diganti dengan yang basic event untuk referensi gagal dan komplemen dari acara tersebut akan digunakan untuk Keberhasilan referensi. 9.5.3.1 Urutan dan Flags Pohon Kesalahan Logika Default (atau Kosong) Gunakan pohon kegagalan logika "X" Selalu gunakan event dikembangkan. Artinya, jangan memperluas pohon kesalahan atau transfer. Sebaliknya, cukup menggunakan probabilitas acara. 9.5.3.1.1 Umum Flags Analisis Sensitivitas SAPHIRE akan memetakan frekuensi hasil atau plot probabilitas. Sebuah analisis sensitivitas menunjukkan seberapa sensitif frekuensi atau probabilitas dalam kaitannya dengan suatu peristiwa. Zona "ditandai" acara Suatu peristiwa yang telah ditandai sebagai mewakili zona (yaitu, lokasi atau area). Sebuah contoh zona adalah zona kebakaran atau zona banjir. Ketika bertemu dengan sebuah SAPHIRE acara zona ditandai, ia melakukan transformasi. Transformasi adalah suatu peristiwa atau set peristiwa yang menggantikan acara zona ditandai. 9.5.4 Template Tab Sebuah peristiwa Template adalah peristiwa dasar yang dapat digunakan untuk mende nisikan semua atau sebagian dari acara lain dasar. Contoh peristiwa biasanya digunakan untuk "generik" tipe data dimana nilai probabilitas (atau tingkat kegagalan) adalah menjadi identik di beberapa peristiwa dasar. Pada tab ini, acara Template yang atributnya akan digunakan dapat diidenti kasi. Kemudian, atribut, kegagalan Data, Data ketidakpastian,
42
dan bidang lain-lain yang akan disalin dari event template yang dipilih dapat harus dipilih.
Secara default, semua nilai dari template akan disalin ke basic
event dengan menggunakan Template.
Tanda centang dalam kotak menun-
jukkan bahwa nilai event template akan digunakan. 47 9.5.5 Transformasi Tab Transformasi adalah penggantian atau penambahan basic event (s) dalam logika pohon kesalahan. Selama proses transformasi, peristiwa digantikan oleh satu atau lebih peristiwa, sebagaimana ditentukan oleh transformasi. A transformasi juga akan terjadi jika acara zona berbendera ditemui. Pada tab ini, peristiwa transformasi dasar ditunjuk. Daftar di sebelah kiri menampilkan semua peristiwa dasar ditetapkan untuk proyek ini. Daftar di sebelah kanan dialog menampilkan peristiwa yang telah ditandai sebagai pengganti untuk acara saat ini. 9.5.6 Ketidakpastian Tab Tab ini menunjukkan plot gra s dari distribusi ketidakpastian ditentukan oleh kegagalan dan ketidakpastian nilai-nilai. 9.5.7 Senyawa acara Tab Tab ini menyediakan sarana untuk menghitung probabilitas acara senyawa.
Sebuah peristiwa senyawa probabilitas dide nisikan oleh
nilai probabilitas peristiwa dasar lainnya '. Tab ini hanya tersedia bila Senyawa acara tombol radio dipilih pada tab Modify Acara Atribut.
Untuk menghi-
tung probabilitas acara senyawa, link SAPHIRE perpustakaan dinamis (DLL) le harus dipilih dari daftar drop-down Perpustakaan. Setelah DLL yang dipilih, prosedur dari Prosedur daftar drop-down harus dipilih. Setelah prosedur yang diinginkan dipilih, daftar parameter yang sesuai akan ditampilkan pada kolom Parameter daftar acara Dipilih.
Pilih sebuah acara dari daftar Events
Semua untuk masing-masing parameter dalam daftar acara Dipilih. Daftar Semua Acara di sebelah kiri menampilkan semua peristiwa dasar yang ditetapkan untuk proyek ini. Peristiwa Dipilih daftar di sebelah kanan dialog menampilkan peristiwa yang telah dipilih sebagai parameter untuk dipilih DLL perpustakaan prosedur. Plug-in Nama Deskripsi Ketersediaan PlugCCFAlpha.DLL Fungsi ini mengembalikan probabilitas Penyebab Kegagalan umum (Dengan asumsi pengujian nonstaggered) menggunakan metode alpha-faktor. Input adalah jumlah kegagalan, peristiwa dasar yang terkait, dan alpha faktor.
Versi 6.x dan 7.x
PlugCCFStag.DLL Fungsi ini mengembalikan probabilitas CCF (dengan asumsi terhuyung-huyung pengujian) dengan menggunakan metode alpha-faktor. Input adalah jumlah kegagalan, dasar peristiwa yang terkait, dan faktor alpha. Versi 6.x dan 7.x PlugCCFMGL.DLL Fungsi ini mengembalikan Kegagalan probabilitas Common Cause menggunakan huruf Yunani beberapa (MGL) metode. Input adalah kegagalan menghitung, kejadian dasar yang terkait, dan faktorfaktor MGL. Versi 6.x dan 7.x PlugUtil.DLL Perpustakaan ini menyediakan kumpulan fungsi dasar matematika, termasuk multiply, membagi, menambah, mengurangi, log alami, eksponen, listrik, sinus, kosinus, tangen, dipotong min-
43
imal ditetapkan batas atas perhitungan, dan nilai absolut.
Versi 6.x dan 7.x
PlugCapacityload.DLL ini plug-in melakukan perhitungan 'kapasitas beban'. Kapasitas dan beban adalah peristiwa dasar yang mewakili kondisi sik seperti tekanan, suhu, kekuatan bahan, dll. Menggunakan peristiwa ini, plug-in menemukan saat beban lebih besar dari kapasitas: P (kapasitas
Input Misi
Waktu dan sampai dengan 19 lainnya durasi waktu-peristiwa terkait. Versi 6.x dan 7.x Plug_LoopRec.DLL Fungsi ini merangkum frekuensi (lambda) untuk kerugian-of-osite-power kategori lima: plant terpusat, grid terkait, switchyard terkait cuaca, berat, dan cuaca ekstrim. Fungsi juga dapat memberikan probabilitas frekuensi rata-rata tertimbang tidak pulih dari hilangnya kekuasaan. Versi 7.x 9.5.8 Catatan Tab Tab ini memungkinkan untuk penambahan teks deskriptif untuk menemani acara dasar. Teks dapat mencakup analis catatan dan perhitungan data, sumber data dan referensi, asumsi, dan informasi relevan lainnya yang mungkin berhubungan dengan acara pokok. 9.5.9 Dasar Kegiatan referensi silang Opsi ini menampilkan peta referensi silang dari basic event disorot. Ini peta referensi silang akan menunjukkan logika fault tree, set perubahan, dan set cut di mana basic event digunakan. Untuk setiap pohon kesalahan, urutan, dan / atau akhir negara di mana acara dasar digunakan, dasar dan / atau set kasus saat dipotong akan terdaftar untuk setiap jenis analisis.
9.5.10 Hapus Acara
Dasar yang tidak digunakan Pilihan ini terlihat pada semua referensi untuk sebuah acara di proyek saat ini dan menghapus setiap kejadian yang tidak direferensikan oleh apapun. 9,6 data Atribut Memodi kasi Pilihan ini memungkinkan pengeditan catatan dari lima jenis atribut dalam proyek saat ini: Sistem, Lokasi, Kegagalan Mode, Jenis Kegiatan Dasar, dan Kereta. Data bidang pada dialog Modify adalah nama atribut dan deskripsi. 9,7 Analisis Data Memodi kasi Type Pilihan ini memungkinkan memodi kasi jenis analisis. SAPHIRE menawarkan delapan jenis analisis yang telah ditetapkan dan delapan ditetapkan pengguna jenis analisis.
Nama-nama dari delapan jenis analisis yang telah ditetapkan
tidak dapat diedit, tetapi deskripsi dapat diubah. Kedua nama dan deskripsi dari delapan jenis analisis yang ditetapkan pengguna dapat diedit.
9,8 data
Gerbang Memodi kasi Pilihan ini memungkinkan menambahkan, memodi kasi, atau menghapus gerbang catatan data. Bidang data meliputi nama, deskripsi, dan jenis gerbang. 9,9 Histogram data Memodi kasi Pilihan ini memungkinkan menambahkan, memodi kasi, atau menghapus user-de ned catatan histogram. Ini adalah pilihan yang berguna untuk memasuki distribusi yang ditentukan pengguna untuk variabel yang tidak dapat dinyatakan dengan salah satu stan-
44
dar ketidakpastian distribusi jenis. Histogram bisa dalam persentase, wilayah jangkauan atau format bahaya. 49 9.10 Memodi kasi P & ID data Pilihan ini memungkinkan pengeditan Piping dan Instrumentasi Diagram (P & ID) catatan gra s. Data bidang pada dialog Modify adalah nama dan deskripsi. 9.11 Memodi kasi Perubahan-Data Set Pilihan ini memungkinkan menambahkan, memodi kasi, menghapus, atau menyalin perubahan-set catatan. Untuk mengedit probabilitas atau kelas perubahan data event di set perubahan, lihat Bagian 4, Generating data acara. Data bidang termasuk nama, deskripsi, tanggal, jenis set, dan bendera readonly.
9.11.1 Base-Kasus acara Pembaruan Pilihan ini menimpa kasus dasar
nilai-nilai data yang disimpan dalam database dengan nilai arus-kasus data untuk masing-masing basic event. Setelah melaksanakan operasi ini, dasar-kasus awal data yang tidak lagi tersedia. Untuk melakukan update kasus dasar, setidaknya satu set perubahan harus ditandai dan data yang dihasilkan. Pilihan ini transfer nilai saat ini untuk peristiwa dasar ditandai baik dengan perubahan probabilitas atau perubahan kelas dalam perubahan diatur ke kasus dasar nilainilai. Basis-kasus yang sudah ada nilai-nilai akan hilang. Setiap acara di mengubah set yang tidak memiliki sebuah perubahan kelas atau perubahan probabilitas yang terkait dengan itu akan mempertahankan ada basis-kasus data. 9.12 data Bendera Memodi kasi Set Pilihan ini memungkinkan menambahkan, memodi kasi, menghapus, atau menyalin catatan ag set. Set bendera adalah jenis khusus dari mengubah set digunakan untuk menunjukkan modi kasi untuk urutan peristiwa tertentu dengan urutan. Mereka berbeda dari set perubahan bahwa mereka dapat berisi hanya tipe individu tertentu dari perubahan. Tidak ada kelas " Perubahan "yang diperbolehkan dalam satu set bendera.
Data
bidang termasuk nama, deskripsi, tanggal, jenis set, dan read-only bendera. Set Flag Acara 9.12.1 Pilihan ini memungkinkan mengedit atau menambahkan perubahan rumah bendera dengan jenis atau tipe proses perhitungan. Perubahan dengan probabilitas kegagalan (misalnya, mengubah probabilitas dari 2E-3 ke 1E-1) untuk acara di Set Flag tidak dapat dibuat.
Sebaliknya, hanya pe-
rubahan acara dari TRUE, FALSE, mengabaikan, atau bendera proses dapat digunakan dalam satu set bendera SAPHIRE. Perubahan yang dibuat dapat diterapkan untuk pohon kesalahan tertentu atau urutan untuk gunakan selama pohon kesalahan atau analisis pohon kejadian. Perubahan diterapkan pada data basic event mungkin untuk satu acara atau untuk kelompok peristiwa. 50 10. PEMBANGKIT LAPORAN Pilihan Laporan memperoleh informasi tentang proyek saat ini. Berbagai laporan dapat dihasilkan untuk berikut tipe data: proyek, atribut, peristiwa dasar, pohon kesalahan, pohon acara, menyatakan akhir, urutan, gerbang, histogram, dan informasi pengguna.
Laporan
memasukkan pilihan seperti ringkasan, referensi silang, dan teks Informasi. Se-
45
lain itu, pilihan laporan kustom yang tersedia untuk masing-masing tipe data, yang memungkinkan pengguna untuk membuat laporan secara ad-hoc. Dialog dan operasi yang sama untuk masing-masing data laporan jenis, karena itu, diskusi generik disediakan: 1. Pilih tombol toolbar Laporan atau pilihan Laporan dari menu SAPHIRE. 2. Dari dialog menu Laporan, pilih laporan tertentu dengan memilih tombol radio dari masing-masing kelompok (Tipe Data, Jenis Laporan, dan Type Sub, jika perlu). 3. Pilih tombol Process. 4. Sebuah dialog berisi daftar catatan yang terkait dengan jenis laporan yang dipilih akan ditampilkan. 5. Pilih catatan yang diinginkan. 6. Pilih tombol pada dialog untuk menghasilkan laporan. Seringkali, tombol ini dilabeli Lanjutkan, atau mungkin untuk jenis tertentu laporan, seperti, Ringkasan. 7. Tentukan tujuan output untuk laporan (misalnya, printer, le, atau laporan penampil). Selain melaporkan jenis informasi khusus, setiap laporan akan berisi judul laporan dan tanggal dan waktu yang dihasilkan. Mana yang berlaku, juga akan berisi nama proyek yang sedang dipilih, kasus yang dipilih (Basa atau arus), dan nomor halaman. 10.1 Laporan Kustom Pilihan ini memperoleh informasi tentang jenis data yang dipilih (misalnya, proyek, pohon kegagalan, basic event) pada ad-hoc. Ketika membuat laporan kustom, bidang database dari memilih proyek 3. PEMILIHAN PROYEK A 3.1 Mengelola data Proyek TUJUAN Sebuah proyek adalah sekelompok model, seperti untuk unit, tanaman tunggal, atau fasilitas.
Ketika SAPHIRE adalah dipanggil, proyek terbaru yang digunakan
secara otomatis dibuka. Dari pilihan menu File, kemampuan untuk membuat proyek baru, membuka proyek yang ada, atau menutup proyek saat ini tersedia. 30 LANGKAH 1. Dari menu pilih File SAPHIRE. 2. Menu drop-down dengan item yang tersedia akan ditampilkan Sebuah daftar proyek baru digunakan akan ditampilkan pada menu File. Dengan memilih salah satu proyek, arus Proyek secara otomatis ditutup dan proyek yang dipilih akan dibuka. Proyek Baru - Menutup proyek saat ini dan menciptakan yang baru. Project terbuka - Menutup proyek saat ini dan membuka yang sudah ada. Proyek Tutup - Menutup proyek saat ini.
Exit - Menutup proyek saat ini dan mengakhiri
program SAPHIRE. 3.2 Proyek Baru TUJUAN Opsi ini menyediakan sarana untuk menciptakan proyek baru. Proyek baru Anda buat harus berada di sendiri folder (misalnya, satu folder tidak dapat berisi lebih dari ". SRA" le). LANGKAH 1. Dari menu pilih File. 2. Pilih opsi submenu New Project. Dialog Proyek Baru akan ditampilkan 3. Pilih tombol Yes. Proyek Baru - Nama Proyek dialog akan muncul. 31 34. Masukkan nama proyek di bidang nama Project. 5. Pilih tombol OK. Proyek Baru - Direktori dialog Info akan muncul.
46
Untuk menerima direktori
default, pilih tombol OK. Anda dapat memilih direktori yang berbeda dengan memilih tombol browse.
Bila Anda memilih OK, direktori akan dibuat, dan
proyek baru akan menjadi SAPHIRE yang saat ini proyek. Directory - Direktori yang dipilih di mana untuk menempatkan proyek baru. Browse - Buka dialog Directory Select untuk memilih direktori. Buka - Buat proyek dan menutup dialog New Project.
Batal - Tutup dialog New Project
tanpa membuat sebuah proyek. 3.3 Pilih Direktori TUJUAN Pilihan ini memungkinkan Anda untuk memilih, dan membuat opsional, direktori. LANGKAH 1. Dari menu pilih File. 32 Daftar folder yang tersedia dalam tampilan struktur pohon, sehingga Anda dapat melihat bagaimana folder masuk ke sistem Anda hirarki.
Klik untuk memperluas folder.
Klik runtuh folder
diperluas. Jalur Dipilih - Berisi nama direktori yang dipilih, atau, Anda dapat mengetikkan nama direktori yang sudah ada.
New Folder - Memungkinkan Anda untuk
memasukkan nama direktori baru. Direktori baru akan ditambahkan di bawah folder yang dipilih dalam tampilan pohon. Ok - Pilih direktori saat ini disorot. Batal - Tutup dialog Pilih direktori tanpa memilih direktori. 3.4 Buka Proyek TUJUAN Pilihan ini memungkinkan Anda untuk memilih (terbuka) set data proyek Anda ingin bekerja dengan dan menyediakan kemampuan menyalin mentah (MAR-D) le data atau le database SAPHIRE menjadi proyek tertentu. ketika proyek ini berhasil dipilih, nama yang ditampilkan pada bar judul jendela SAPHIRE. LANGKAH 1. Dari menu pilih File. 2. Pilih Proyek opsi sub-menu Open. Dialog Open Project akan ditampilkan. 3. Pilih folder yang berisi proyek yang diinginkan. 4. Klik dua kali pada proyek ". SRA" le atau "FAM.DAT" le. OR 33 5. Sorot proyek yang diinginkan dan pilih tombol Open. Proyek pilih sekarang akan menjadi proyek saat ini dan namanya akan muncul di bar judul SAPHIRE jendela. Lihat dalam - Mencantumkan folder dan le yang tersedia. Kotak tepat di bawah ini menunjukkan isi dari folder saat ini. Panah bawah di sebelah kanan bidang ini menunjukkan bagaimana folder cocok ke dalam hirarki sistem Anda - Memindahkan satu tingkat dalam hirarki sistem. (3a 58) - Membuat folder baru pada tingkat saat ini. - Menampilkan ikon dan nama dari isi folder saat ini. - Menampilkan ikon, nama, ukuran, jenis, tanggal dan waktu modi kasi, dan bendera arsip isi dari folder saat ini. File Name - Berisi nama proyek. File Type - Mencantumkan jenis le untuk ditampilkan. Hal ini berguna untuk mempersempit daftar le ditampilkan hanya mereka yang Anda tertarik Dalam hal ini, hanya berkas yang "SRA." terdaftar. Buka - Buka proyek disorot dan menutup dialog Open Project. Batal - Tutup
47
dialog Open Project tanpa membuka proyek. Klik dua kali - Buka proyek dan menutup dialog Open Project. Direktori saat ini adalah proyek saat ini kecuali Anda memilih proyek lain. SAPHIRE mempertahankan yang terakhir Proyek yang Anda pilih ketika Anda keluar dari program sehingga ketika Anda memasukkan SAPHIRE lagi proyek terakhir yang dipilih adalah proyek saat ini. Jika proyek yang dipilih diciptakan dengan versi lama dari SAPHIRE (IRRAS), Kon ik Versi dialog akan ditampilkan. 34 3,5 Tutup Proyek TUJUAN Pilihan ini menyediakan alat penutup proyek saat ini. LANGKAH 1. Dari menu pilih File. 2. Pilih opsi Proyek submenu Tutup. File proyek saat ini database akan ditutup. Tidak ada nama proyek akan muncul di bar judul SAPHIRE jendela.
Pilihan menu SAPHIRE tidak lagi tersedia,
dengan pengecualian File dan Bantuan, sampai proyek yang dibuka atau dibuat. 3.6 Tidak dapat Pilih Proyek Jika untuk alasan apapun proyek tidak dapat dipilih, pesan, "Tidak untuk memilih proyek yang diinginkan" muncul, proyek yang dipilih sebelumnya akan dipertahankan, dan Anda akan diberikan kesempatan lain untuk memilih proyek. Jika versi data proyek disorot itu tidak cocok dengan versi perangkat lunak saat ini, Kon ik Versi dialog muncul, dan Anda akan ditanya apakah Anda ingin membangun kembali data. 35 Ya - Membangun kembali data proyek. Tombol ini harus dipilih untuk dipilih proyek.
Setelah proses membangun kembali selesai, proyek ini dipilih
sebagai proyek saat ini. Tidak - Jangan membangun kembali data proyek.
Proyek ini tidak akan
dipilih, mantan dipilih proyek akan dipertahankan, dan pesan, "Tidak untuk memilih proyek yang diinginkan" muncul di bar pesan mengubah set dan pilihan menghasilkan 4. Ganti SETS DAN OPSI Generate 4.1 Perubahan dan Set Options Generate TUJUAN Pilihan Generate digunakan untuk membuat copy pekerjaan data event pengguna untuk digunakan dalam analisis tertentu. Data ini kemudian dapat diubah dengan menggunakan set perubahan atau digunakan untuk memperbarui data base kasus. SAPHIRE selalu menggunakan data kasus saat ini untuk analisis. Data event dapat dimanipulasi, melalui set perubahan, untuk memeriksa perubahan dalam probabilitas tanaman kecelakaan dan kegagalan kecelakaan urutan berdasarkan peristiwa dasar. Satu set perubahan adalah satu set sensitivitas analisis data modi kasi diterapkan pada peristiwa dasar selama pohon kesalahan atau analisis urutan. Mengubah 36 set memodi kasi kasus data saat basic event. Satu set terdiri dari perubahan probabilitas dan / atau perubahan kelas untuk sekelompok peristiwa dasar.
48
Dalam satu set perubahan, pengguna dapat menambahkan acara ke set perubahan, memodi kasi probabilitas acara yang dipilih, atau ulang tersebut probabilitas acara untuk nilai-nilai dasar kasus. Kemungkinan peristiwa yang terjadi dapat dihitung ulang. Pengguna dapat membangun set perubahan yang akan diterapkan pada peristiwa dasar untuk perbanyakan selanjutnya melalui set potong yang ada. Selain itu, pengguna dapat melakukan "pembaruan basis kasus" yang mengambil semua dasar saat event data dan menggunakannya untuk menimpa data base kasus. Perhatikan bahwa basis data asli kasus yang ditimpa dalam proses. Jika data dasar kasus ini berubah dan pilihan Generate tidak dilakukan, data yang digunakan untuk analisis tidak akan mencerminkan perubahan. Namun, jika pengguna mencoba untuk melakukan analisis setelah melakukan data perubahan, SAPHIRE akan meminta pengguna untuk menghasilkan perubahan data. LANGKAH 1.
Dari menu SAPHIRE pilih Hasilkan.
2.
Dialog Generate
akan ditampilkan. Pilihan Menu pop-up - Melakukan operasi pada hubungan perubahan set. Add - Menambahkan catatan perubahan set baru ke database proyek ini. Ketika selesai, pesan, "Rekam menambahkan," akan ditampilkan di bar pesan dari jendela SAPHIRE. Modi kasi - Mengedit catatan perubahan set yang dipilih. Ketika selesai, pesan, "Rekam dimodi kasi," ditampilkan dalam bar pesan dari SAPHIRE window. Hapus - Menghapus rekor perubahan yang dipilih (s). Copy - Membuat data perubahan set baru dengan menyalin yang sudah ada.
Teks Edit - Melihat dan mengedit teks deskriptif terkait dengan
perubahan yang dipilih ditetapkan. 37 Tandai / Hapus tanda - Mengatur urutan pengolahan perubahan set. Set perubahan juga dapat ditandai dengan mengklik dua kali pada set perubahan yang diinginkan dalam daftar. Tombol Options - Melakukan operasi pada data perubahan set. Tambahkan perubahan probabilitas kelas untuk kelompok peristiwa.
Kelas Single
- Membuat dan mengatur ulang perubahan acara probabilitas individu.
La-
poran - Membuat laporan yang mencerminkan modi kasi acara yang saat ini ada dalam database. Menghasilkan - Menghasilkan data baru acara kasus saat ini menggunakan modi kasi sementara dibuat untuk perubahan ditandai set. Keluar - Tutup dialog Hasilkan. 4,2 Perubahan Set (De nisi) Satu set perubahan adalah satu set modi kasi data sensitivitas untuk diterapkan pada peristiwa dasar selama pohon kesalahan atau Urutan analisis. Mengubah set memodi kasi kasus data saat basic event. Satu set terdiri dari perubahan probabilitas dan / atau kelas perubahan untuk sekelompok peristiwa dasar.
49
Dalam satu set perubahan, Anda dapat menambahkan acara ke set perubahan, memodi kasi probabilitas acara yang dipilih, atau ulang mereka probabilitas acara untuk nilai-nilai dasar kasus. Selain itu, Anda dapat melakukan pembaruan basis kasus yang mengambil semua data peristiwa saat ini dasar dan membuat data dasar baru kasus. Data dasar aslinya kasus adalah ditimpa dalam proses ini. 4.3 Menambahkan Set Perubahan TUJUAN Pilihan ini memungkinkan Anda untuk membuat catatan perubahan set baru. Masukkan nama set perubahan baru, deskripsi dan tanggal. LANGKAH 1. Dari menu pilih Modify SAPHIRE | Ubah Set. Perubahan Set dialog akan ditampilkan. OR 2. Dari menu SAPHIRE pilih Hasilkan. Dialog Hasilkan ditampilkan. 3. Klik kanan untuk memanggil menu pop-up dan pilih Add. Dialog Perubahan Tambah Set ditampilkan. 38 Ok - Save the new change set, and close the dialog. If the add operation is successful, the message, Record added, is displayed in the message bar. If a change set record already exists with the same name, the message, Duplicate record name - not added, is displayed in the message bar and the Add Change Set dialog remains open. Cancel - Close the dialog without saving. A new change set record is not added to the database. By default the set type is a Change Set and the Read-only attribute is not selected. These elds are not available on the Add Change Set dialog. If you wish to alter the set type or read-only attribute, you must Modify the change set. 4.4 Modifying a Change Set PURPOSE This option allows you to modify change set record data. In addition to editing the change set name, description, and date, you can also edit the set type and read-only attribute. STEPS 1.
From the SAPHIRE menu select Modify | Change Sets.
The
Change Sets dialog is displayed. OR 2. From the SAPHIRE menu select Generate. The Generate dialog is displayed. 3. Highlight the change set you wish to edit. 4. Right-click to invoke the pop-up menu and choose Modify. The Modify Change Set dialog is displayed. 39 Ok - Simpan set perubahan dimodi kasi dan menutup dialog. Jika operasi memodi kasi berhasil, pesan, "dimodi kasi Rekam," ditampilkan dalam bar pesan. Jika perubahan rekor sudah ada dengan nama yang sama, pesan, "adalah nama Revisi duplikat - tidak dimodi kasi, "ditampilkan dalam bar pesan dan Perubahan Modify dialog Set tetap buka. Batal - Tutup dialog tanpa menyimpan modi kasi. 4,5 Menyalin Set Perubahan TUJUAN Pilihan ini memungkinkan Anda untuk membuat rekor baru berdasarkan perubahan yang disorot.
The original
Nama mengubah set ditampilkan di Copy Dari: lapangan. Anda harus memasukkan nama yang unik untuk baru mengubah set. Seiring dengan perubahan
50
nama sumber set itu, deskripsi, dan perubahan tanggal, probabilitas dan kelas juga diduplikasi. LANGKAH 1. Dari menu pilih Modify SAPHIRE | Ubah Set. Perubahan Set dialog akan ditampilkan. OR 2. Dari menu SAPHIRE pilih Hasilkan. Dialog Hasilkan ditampilkan. 3.
Sorot set perubahan yang ingin Anda salin.
4.
Klik kanan untuk me-
manggil menu pop-up dan pilih Copy. Perubahan Salin dialog Set ditampilkan. 40 Copy - Simpan set perubahan yang baru dibuat dan menutup dialog. Jika operasi copy sukses, pesan, "Rekam menambahkan," akan ditampilkan di bar pesan. Jika perubahan set catatan sudah ada dengan nama yang sama, pesan, "nama rekaman Duplikat - tidak menambahkan, "ditampilkan dalam bar pesan dan Perubahan Salin dialog Set tetap terbuka. Batal - Tutup dialog tanpa menyimpan perubahan set.
Sebuah catatan
perubahan baru set tidak ditambahkan ke database. Set jenis dan read-only bendera sumber (asli) set perubahan akan digandakan di tempat tujuan (baru) perubahan diatur bersama dengan perubahan acara data dasar. Jika Anda ingin mengubah jenis set atau read-only atribut, Anda harus Memodi kasi catatan perubahan set. Jika Anda ingin mengubah perubahan acara data dasar, Anda harus memilih Kelas atau tombol tunggal dari dialog Hasilkan. 4.6 Menghapus Set Perubahan TUJUAN Pilihan ini memungkinkan Anda untuk menghapus catatan perubahan set disorot dari database. LANGKAH 1. Dari menu pilih Modify SAPHIRE | Ubah Set. Perubahan Set dialog akan ditampilkan. OR 2. Dari menu SAPHIRE pilih Hasilkan. Dialog Hasilkan ditampilkan. 3. Sorot set perubahan yang ingin Anda hapus. 4. Klik kanan untuk memanggil menu pop-up dan pilih Delete. 5. Sebuah kotak pesan akan ditampilkan seperti yang ditunjukkan di bawah ini. 41 Ya - Lakukan operasi penghapusan. Arsip yang dipilih akan dihapus dari database. Itu pesan, "Rekam dihapus" ditampilkan di bar pesan. Tidak - Membatalkan operasi penghapusan. Arsip yang dipilih TIDAK akan dihapus dari database. 4.7 Perubahan Set - Menandai dan Pengolahan Ketertiban TUJUAN Set perubahan yang "ditandai" untuk menentukan set perubahan akan digunakan untuk menghasilkan data kasus saat ini. Orde menandai perubahan yang menentukan acara didahulukan. Opsi ini bertindak dalam cara yang beralih. Menandai Set Perubahan: LANGKAH 1. Dari menu pilih Modify SAPHIRE | Ubah Set.
Perubahan Set dialog akan ditampilkan.
SAPHIRE pilih Hasilkan.
Dialog Hasilkan ditampilkan.
OR 2. 3.
Dari menu
Double-klik pada
perubahan yang diinginkan diatur untuk menandai atau menghapus tanda itu. Jika himpunan perubahan dipilih sebelumnya tidak ditandai, nilai numerik
51
(1 - 99) akan muncul di sebelah kiri perubahan menetapkan nama, yang menunjukkan urutan menandai. Set perubahan dalam daftar yang disusun kembali oleh ditandai ketertiban, maka abjad menurut jenis: pertama dengan penilaian kondisi, maka kejadian awal penilaian jenis, akhirnya oleh jenis perubahan set biasa. Jika perubahan set sebelumnya ditandai, itu ditandai (yaitu, nilai numerik dihapus) dan itu adalah reposisi dalam daftar. Jika tidak ada perubahan set ditandai bila Anda memilih pilihan Generate, maka data kasus saat ini akan diinisialisasi dengan data kasus dasar. Mengubah Set Pengolahan: Selama perubahan set pengolahan (yaitu, menghasilkan data kejadian atau memperbarui nilai dasar kasus), tiga kriteria yang dievaluasi: probabilitas perubahan, perubahan kelas, dan urutan set perubahan yang nyata. Jika sebuah acara di set perubahan yang nyata telah baik perubahan kelas dan perubahan probabilitas yang terkait dengan itu, para perubahan probabilitas diutamakan atas perubahan kelas jika ada perbedaan timbul .. 42 Jika lebih dari satu set perubahan ditandai, maka perubahan probabilitas dan kelas dalam perubahan set ditandai dengan jumlah tertinggi (2 lebih tinggi dari 1, 3 lebih tinggi dari 2) akan didahulukan dari perubahan dari set bernomor lebih rendah perubahan. Misalnya, acara bahwa A memiliki probabilitas perubahan terkait dengan itu dalam Perubahan Set 1, dan perubahan kelas terkait dengan itu di Set, Perubahan 2 maka perubahan kelas dari Mengubah Set 2 akan menimpa perubahan probabilitas dari Perubahan Set 1. Contoh berikut menggambarkan hasil pengolahan tiga set perubahan ditandai dengan empat acara:
Event A memiliki baik perubahan probabilitas dan perubahan kelas terkait dengan itu di Set Perubahan 2.
Kegiatan B memiliki probabilitas peruba-
han dalam Perubahan Set 1, dan perubahan kelas dalam Perubahan Set 3. Kegiatan C hanya memiliki perubahan kelas dalam Perubahan Set 1.
Kegiatan
D memiliki perubahan probabilitas tidak ada atau perubahan kelas terkait dengan itu di salah satu dari tiga ditandai mengubah set. Hasil dari operasi Generate pada tiga set perubahan yang nyata akan menjadi sebagai berikut:
Data kasus saat kejadian A akan diatur ke nilai-nilai yang terkait dengan
probabilitas perubahan Set Perubahan 2. (Perubahan Probabilitas didahulukan perubahan kelas ketika mereka terjadi untuk acara yang sama dalam set perubahan yang sama.)
Data kasus saat ini untuk acara B akan ditetapkan sama
dengan nilai-nilai yang terkait dengan kelas perubahan Set Ganti 3. (Perubahan probabilitas atau kelas dalam perubahan bernomor tinggi set mengambil mendahului perubahan perubahan bernomor rendah set.)
52
Data kasus saat ini
untuk acara C akan diatur ke nilai-nilai yang terkait dengan perubahan kelas di Mengubah Set 1.
Data kasus saat ini untuk acara D akan diatur ke nilai-
nilai dasar kasus untuk acara D. (Ada tidak ada perubahan probabilitas atau perubahan kelas dibuat untuk acara D di salah satu set perubahan yang nyata.) 4,8 ulang Probabilitas ke Base TUJUAN Pilihan ini memungkinkan Anda untuk me-reset perubahan probabilitas (tidak perubahan kelas) untuk acara yang dipilih kembali ke kasus dasar nilai-nilai. Anda dapat me-reset perubahan probabilitas untuk acara tunggal, sekelompok peristiwa, atau semua peristiwa. LANGKAH 1. Pilih Hasilkan dari menu. Dialog Generate akan ditampilkan. 2. Sorot set perubahan yang diinginkan. 3. Pilih tombol tunggal. Acara dialog terpilih akan ditampilkan. 4. Sorot peristiwa dasar yang ingin Anda modi kasi. 5. Klik kanan untuk memanggil menu pop-up dan pilih Reset. 6. Sebuah kotak pesan akan ditampilkan seperti yang ditunjukkan di bawah ini. 43 Ya - Atur probabilitas kembali ke nilai kasus dasar. Tidak - Hentikan operasi ulang. 4.9 Membangkitkan Perubahan TUJUAN Pilihan ini berlaku modi kasi data kejadian ditentukan oleh perubahan ditandai set untuk kasus saat ini Data basic event. Pilihan ini harus dijalankan sebelum analisis data jika Anda ingin set perubahan modi kasi yang akan tercermin dalam hasil analisis. Pilihan Generate menciptakan data baru acara saat ini, yang digunakan ketika pengguna ingin melakukan analisis. Jika sebuah acara di set perubahan telah baik perubahan kelas dan perubahan probabilitas yang terkait dengan itu, para perubahan probabilitas diutamakan atas perubahan kelas ketika menghasilkan data event kasus baru saat ini nilai-nilai. Jika acara tersebut tidak memiliki perubahan probabilitas atau perubahan kelas, maka kasus saat ini Acara nilai data akan ditetapkan sama dengan basis data kasus untuk acara itu. LANGKAH 1. Pilih Hasilkan dari menu. 2. Dari dialog Generate, menandai set perubahan yang diinginkan (s). 3. Mengubah Waktu Misi, jika diinginkan. 4. Pilih tombol Generate. "Data acara baru telah dihasilkan dengan perubahan" ditampilkan ketika perubahan yang berhasil dihasilkan. 4.10 Perubahan Data Set Pelaporan TUJUAN Laporan dapat dibuat yang mencerminkan modi kasi acara yang saat ini ada dalam basic event mengubah le data. Ada tiga jenis laporan: Acara Terpengaruh, Acara terkena, dan All Events. masing-masing laporan jenis dapat diurutkan berdasarkan nama acara, probabilitas ascending, atau set perubahan. Selain itu, sebuah Laporan dapat diteruskan ke Report Viewer, printer, atau le disk. LANGKAH 1. Pilih Hasilkan dari menu. Dialog Generate akan ditampilkan. 2. Sorot set perubahan yang diinginkan (s). 44 3. Pilih tombol Laporan.
53
Jika perubahan yang telah dibuat ke set perubahan yang dipilih, tetapi operasi Generate belum dilakukan, dialog peringatan akan ditampilkan.
Jika
tidak, Perubahan acara dialog Laporan akan ditampilkan. Yes - Automatically perform the generate operation before displaying the Event Change Report dialog. No - Display the Event Change Report dialog without rst generating the changes. The report will present the basic event change data le as it currently exists.
However, this le does not re ect the change set modi cations made
after the last generate operation. Melaporkan opsi Type: Semua Acara (Base, Current) - Menghasilkan laporan yang mencakup semua peristiwa dasar dalam database. Acara Terpengaruh (Base) - Menghasilkan laporan dengan kejadian yang tidak termasuk dalam salah satu perubahan set yang datanya acara saat ini telah telah dihasilkan. Acara yang terkena dampak (Current) - Menghasilkan laporan dengan peristiwa yang saat ini terjadi nilai telah berubah dari kasus dasar.
peristiwa ini
termasuk dalam satu atau lebih set perubahan yang telah ditandai dan data basic event yang dihasilkan.
Urutan Sortir pilihan: Nama acara - Tampilkan
peristiwa disertakan oleh pemilihan Jenis Laporan diperintahkan oleh nama acara. 45 Ascending Probabilitas - Tampilkan peristiwa disertakan oleh pemilihan Jenis Laporan dalam urutan oleh nilai probabilitas saat ini.
Perubahan Set -
Tampilkan peristiwa disertakan oleh pemilihan Jenis Laporan by order perubahan set ditandai. Laporan yang dihasilkan oleh opsi ini menampilkan nama event dasar, dan nilai-nilai saat ini untuk jenis perhitungan, lambda value, nilai tau, waktu misi, nilai probabilitas, perubahan nama set, dan jenis perubahan diterapkan. Ok - Menghasilkan laporan berdasarkan opsi yang dipilih.
The Report
Viewer akan menampilkan melaporkan. Batal - Tutup dialog acara Perubahan Laporan tanpa membuat laporan. 4.11 Kelas Perubahan TUJUAN Pilihan ini memungkinkan Anda untuk mengubah data event parameter untuk pengelompokan tertentu dari peristiwa dalam satu set perubahan. LANGKAH 1. Pilih Hasilkan dari menu. 2. Dari dialog Generate, sorot set perubahan yang diinginkan dan pilih tombol Kelas. 3. Event dialog Edit Class akan ditampilkan. 46 Kelas event dide nisikan dengan memasukkan beberapa kriteria pencarian di bidang topeng. Semakin banyak bidang ini yang diisi, halus de nisi kelas menjadi. Ok - Simpan masker kelas dan menutup dialog Event Sunting Kelas. Jelas - jelas ladang dan menutup dialog Event Sunting Kelas. Batal - Tutup dialog
54
Event Sunting Kelas tanpa menyimpan topeng. Penting untuk diingat bahwa perubahan probabilitas memiliki prioritas lebih tinggi daripada perubahan kelas.
ketika kedua diterapkan ke sebuah event,
perubahan probabilitas akan digunakan selama analisis. 4.12 Perubahan Kegiatan Tunggal Probabilitas 4.12.1 Perubahan Tunggal TUJUAN Fungsi ini memungkinkan pengguna eksibilitas untuk bereksperimen dengan pengaturan kegagalan aktivitas tertentu dasar, ketidakpastian, dan data seismik kerapuhan. Nilai-nilai data dapat diatur untuk acara tunggal atau untuk dipilih kelompok peristiwa.
Data saat ini kemudian dapat diterapkan pada
event tertentu (s) untuk digunakan selama analisis.
Jenis perubahan tunggal
set juga menyediakan pilihan untuk mengatur ulang nilai data kembali ke nilainilai dasar kasus. LANGKAH 1. Pilih Hasilkan dari menu. Dialog Generate akan ditampilkan. 2.
Sorot set perubahan yang diinginkan dan pilih tombol tunggal.
3.
Acara
dialog terpilih akan ditampilkan. Dialog ini berisi daftar nama acara dan deskripsi dari setiap acara termasuk dalam set perubahan.
Selain itu, dialog menunjukkan bendera penggunaan
event dan perubahan set. Kolom penggunaan (yaitu, SLF) menunjukkan apakah Acara telah ditandai atau tidak digunakan dan apakah acara ini digunakan dalam kasus dasar, saat ini, atau keduanya.
itu acara bendera penggunaan
diberikan untuk set memotong urutan ("S"), kesalahan logika pohon ("L"), atau set kesalahan pohon yang ditebang ("F"). Bendera perubahan set menunjukkan jika acara tersebut telah ditandai untuk probabilitas (tunggal) perubahan ("P"), kelas mengubah ("C") atau keduanya ("c"). Nama set perubahan ditampilkan dalam judul bar dari dialog ini. 47 Add - Menambahkan acara dasar (s) ke set perubahan dan mengubah ketidakpastian mereka, data kegagalan, dan / atau seismik kerapuhan nilai. Modi kasi - Modi kasi Data ketidakpastian kegagalan dan / atau nilai-nilai kerapuhan seismik basic event (s) dalam hal ini mengubah set. Atur - perubahan ulang untuk acara yang dipilih (s) kembali ke nilai-nilai dasar kasus.
4.12.2
Menambahkan Perubahan Acara TUJUAN Pilihan ini memungkinkan Anda untuk menambahkan perubahan basic event ke set perubahan yang sedang dipilih. LANGKAH 1. Pilih Hasilkan dari menu. Dialog Generate akan ditampilkan. 2. Sorot set perubahan yang diinginkan dan pilih tombol tunggal. Acara dialog yang dipilih akan ditampilkan. 3. Klik kanan untuk memanggil menu pop-up dan pilih opsi Tambah. 4. Acara dialog Select akan ditampilkan. 5. Sorot event (s) yang akan ditambahkan ke set perubahan. 6. Klik kanan untuk memanggil menu pop-up dan pilih opsi Tambah.
55
Jika hanya satu aktivitas yang dipilih, maka Perubahan acara dialog tersebut Probabilitas untuk acara tunggal perubahan akan ditampilkan. Jika sekelompok peristiwa yang dipilih, maka Perubahan acara dialog tersebut Probabilitas untuk sekelompok peristiwa akan ditampilkan. Perubahan probabilitas membuat tercermin pada dialog Acara terpilih dengan menunjukkan "P" di sebelah kiri nama acara.
Perubahan probabilitas
memiliki prioritas lebih tinggi daripada perubahan kelas. Ketika keduanya diterapkan untuk suatu peristiwa, perubahan probabilitas akan digunakan selama fault tree / urutan analisis. Hal ini ditunjukkan dengan lesu peristiwa terpengaruh dengan "P" dan "c". 4.12.3 Memodi kasi Perubahan Kegiatan TUJUAN Pilihan ini memungkinkan Anda untuk memodi kasi perubahan probabilitas untuk basic event yang dipilih (s) dalam perubahan saat ini ditetapkan. LANGKAH 1. Pilih Hasilkan dari menu. Dialog Generate akan ditampilkan. 2.
Sorot set perubahan yang diinginkan dan pilih tombol tunggal.
3.
Acara
dialog terpilih akan ditampilkan. 4. Sorot basic event yang diinginkan (s). 5. Klik kanan untuk memanggil menu pop-up dan pilih Modify. Jika hanya satu aktivitas yang dipilih, maka Perubahan acara dialog tersebut Probabilitas untuk acara tunggal perubahan akan ditampilkan. Jika sekelompok peristiwa yang dipilih, maka Perubahan acara dialog tersebut Probabilitas untuk sekelompok peristiwa akan ditampilkan. Perubahan probabilitas membuat tercermin pada dialog Acara terpilih dengan menunjukkan "P" di sebelah kiri nama acara.
Perubahan probabilitas
memiliki prioritas lebih tinggi daripada perubahan kelas. Ketika keduanya diterapkan untuk suatu peristiwa, perubahan probabilitas akan digunakan selama fault tree / urutan analisis. Hal ini ditunjukkan dengan lesu peristiwa terpengaruh dengan "P" dan "c". 49 4.12.4 Perubahan Probabilitas Event - Individu TUJUAN Fungsi ini memungkinkan Anda untuk sementara mengubah ketidakpastian saat ini, data kegagalan, dan kerapuhan seismik nilai untuk basic event yang dipilih. Data saat ini kemudian dapat diterapkan pada acara yang ditentukan untuk digunakan selama analisis pohon kejadian. LANGKAH 1. Pilih Hasilkan dari menu. Dialog Generate akan ditampilkan. 2. Sorot set perubahan yang diinginkan. 3. Pilih tombol tunggal. Acara dialog terpilih akan ditampilkan. 4. Sorot basic event yang ingin Anda modi kasi.
5.
Klik kanan untuk memanggil menu pop-up
dan pilih Add or Modify. 6. The Probabilitas acara Perubahan dialog untuk perubahan aktivitas tertentu akan ditampilkan. 50 Dialog ini terbagi menjadi lima daerah data: Acara Atribut, data Kegagalan Acak, data Ketidakpastian, Proses Bendera, dan Kerapuhan Seismic. Event Atribut Data Bagian ini hanya untuk informasi, tidak ada perubahan
56
dapat dibuat untuk bidang data dalam daerah ini. Kegagalan data tersebut dan data Ketidakpastian daerah menampilkan kedua kasus dasar dan arus nilai data. Anda mungkin hanya mengubah nilai data saat ini. Ok - Simpan perubahan acara probabilitas dasar dan menutup Probabilitas acara dialog Perubahan.
Batal - Tutup Probabilitas acara dialog Perubahan
tanpa menyimpan perubahan.
4.12.5 Perubahan Probabilitas Event - Grup
TUJUAN Fungsi ini memungkinkan Anda untuk sementara mengubah ketidakpastian saat ini, data kegagalan, dan kerapuhan seismik untuk sekelompok peristiwa dasar yang dipilih.
Data saat ini kemudian dapat diterapkan pada
peristiwa tertentu untuk digunakan selama analisis pohon kejadian. LANGKAH 1. Pilih Hasilkan dari menu. Dialog Generate akan ditampilkan. 2. Sorot set perubahan yang diinginkan. 3. Pilih tombol tunggal. Acara dialog terpilih akan ditampilkan. 4. Sorot peristiwa dasar (dua atau lebih) yang ingin Anda modi kasi. 5. Klik kanan untuk memanggil menu pop-up dan pilih Add or Modify. 6. The Probabilitas acara Perubahan dialog untuk perubahan acara kelompok akan ditampilkan. Dialog ini dibagi menjadi tiga bidang: Kegagalan data, data Ketidakpastian, dan Bendera Proses .. Perubahan dimasukkan pada dialog ini akan diterapkan ke semua peristiwa yang dipilih. 51 Ok - Simpan perubahan acara probabilitas dasar dan menutup acara Probabilitas Perubahan dialog. Batal - Tutup Probabilitas acara dialog Perubahan tanpa menyimpan perubahan. 4.12.6 Perhitungan Jenis Dalam Data Kegagalan bagian jenis perhitungan adalah referensi numerik dengan metode perhitungan yang akan digunakan. Pilih jenis perhitungan yang diinginkan dari daftar drop-down.
Persamaan untuk setiap jenis perhitungan
berikut. Lihat tabel simbol untuk lebih jelasnya. 1 P = p. Nilai yang ditentukan dalam bidang probabilitas secara langsung digunakan sebagai kegagalan basic event probabilitas atau frekuensi memulai acara 3 P = 1 - Exp (-L * tm).
Jenis perhitungan persamaan penuh untuk
probabilitas kegagalan komponen operasi tanpa perbaikan dalam modus kegagalan non-demand.
5 P = ([L * T] / [1 + {L * T}]) * (1 EXP [(L + 1 /
T) * tm]). Jenis perhitungan persamaan penuh untuk probabilitas kegagalan komponen operasi dengan pertimbangan diberikan kemampuan untuk memperbaiki komponen.
7 P = 1 + (EXP [L * T] 1) / (L * T). Jenis perhitungan
persamaan penuh untuk probabilitas kegagalan komponen siaga di non-demand kegagalan modus dengan pertimbangan diberikan pengujian berkala. 8 P = bp + p. Jenis perhitungan hanya tersedia dalam set perubahan. Hal ini menun-
57
jukkan nilai yang diberikan dalam ubah mengatur medan probabilitas yang akan ditambahkan ke nilai kasus dasar probabilitas. 9 P = bp * p. Jenis perhitungan hanya tersedia dalam set perubahan. Hal ini menunjukkan nilai yang diberikan dalam ubah mengatur medan probabilitas yang akan dikalikan dengan nilai kasus dasar probabilitas.
T P = 1.0 (House event - gagal).
Jenis perhitungan
menunjukkan bahwa basic event harus diperlakukan sebagai peristiwa rumah yang selalu gagal. Sebuah peristiwa yang tak pernah muncul di set dipotong minimal. Model ini dimodi kasi untuk mencerminkan logika, mengingat bahwa basic event ditunjukkan selalu gagal.
Untuk melakukan hal ini untuk sebuah
event yang dijamin terjadi (probabilitas kegagalan = 1.0), acara ini dihapus dari logika di mana ia muncul sebagai masukan ke gerbang AND. Jika peristiwa dasar input ke gerbang OR, yang gerbang keseluruhan dan masukan akan dihapus dari logika. Set yang dihasilkan dipotong minimal menunjukkan Kegagalan kombinasi yang harus terjadi untuk acara puncak atau kegagalan urutan yang diberikan bahwa ditunjukkan basic event selalu gagal. F P = 0.0 (rumah event - sukses). Jenis perhitungan menunjukkan bahwa basic event harus diperlakukan sebagai peristiwa rumah yang tidak pernah gagal.
Sebuah peristiwa
yang tak pernah muncul di set dipotong minimal. Model ini dimodi kasi untuk mencerminkan logika mengingat bahwa basic event ditunjukkan tidak pernah gagal.
Untuk melakukan hal ini untuk sebuah event 52 yang dijamin sukses,
acara dasar dihapus dari logika di mana ia muncul sebagai masukan ke gerbang OR. Jika peristiwa dasar masukan ke gerbang AND, gerbang keseluruhan dan inputnya dikeluarkan dari logika.
Set yang dihasilkan dipotong minimal
menunjukkan kombinasi kegagalan yang harus jatuh untuk acara puncak atau kegagalan urutan yang diberikan bahwa basic event ditunjukkan pernah bisa gagal. I P = 0.0 (mengabaikan event). Jenis perhitungan menunjukkan bahwa basic event harus diperlakukan seolah-olah itu tidak ada di logika untuk pohon kesalahan. Sebelum pohon diselesaikan, logika diedit untuk menghapus semua referensi untuk acara ditentukan dari pohon kesalahan. SP = 0.0 (menemukan pohon kesalahan dengan nama yang sama dan menggunakan mincut saat ini atas terikat sebagai probabilitas) Jenis perhitungan menunjukkan bahwa peristiwa dasar adalah untuk menggantikan pohon kesalahan yang cocok nya. Jika tidak ada pencocokan fault tree ada, kemungkinan akan ditetapkan menjadi 0,0.
EP = 0.0 (menemukan pohon end negara dengan nama yang sama dan
menggunakan mincut saat ini atas terikat sebagai probabilitas) Jenis perhitungan menunjukkan bahwa peristiwa dasar adalah dengan menggunakan akhir pencocokan nilainya negara.
Jika tidak ada pencocokan negara end ada, ke-
mungkinan akan ditetapkan menjadi 0,0. Tipe ini berguna dalam tingkat dua analisis.
G P = II [ln (g / a) / Br].
Jenis perhitungan menunjukkan bahwa
basic event harus diperlakukan sebagai peristiwa seismik. Itu probabilitas nilai
58
untuk skrining akan dihitung dengan percepatan tanah, kegagalan percepatan, dan Br dimasukkan oleh pengguna.
H = P II [ln (g / a) / Br].
Jenis perhi-
tungan menunjukkan bahwa basic event harus diperlakukan sebagai peristiwa seismik.
Itu probabilitas untuk skrining akan dihitung dari percepatan kega-
galan, Br, dan tanah percepatan.
Percepatan tanah akan menjadi tertinggi
g-tingkat yang ditentukan dalam medium Proyek bahaya kurva. V P = N / A (tidak berlaku) Acara ini adalah "nilai" acara dan tidak akan muncul langsung di pohon kesalahan atau logika urutan. Itu nilai yang ditentukan dalam bidang Nilai tidak selalu probabilitas atau frekuensi, namun agak nilai masukan untuk acara senyawa. B P = bp / Pilihan ini hanya tersedia untuk digunakan dalam satu set perubahan. Hal ini menunjukkan bahwa nilai kasus dasar adalah untuk akan digunakan. Hal ini berguna ketika set perubahan beberapa ditandai dan diinginkan untuk menimpa sebelumnya perubahan.
C P = F (x).
Acara ini
adalah acara senyawa yang probabilitas / nilai frekuensi dide nisikan sebagai fungsi lainnya masukan nilai-nilai, formula, dan / atau peristiwa (nilai peristiwa dan kejadian dasar biasa). Ini Pilihan ini tidak tersedia dalam set perubahan, karena senyawa Data event tidak dapat ditambahkan melalui set perubahan (tetapi dapat dihilangkan melalui perubahan set).
X P = F (x) Jenis perhi-
tungan menunjukkan bahwa acara tersebut adalah tindakan manusia dan akan menggunakan built-in lembar kerja untuk menghitung probabilitas kesalahan manusia (HEP). Untuk setiap peristiwa, manusia kinerja faktor membentuk dapat diterapkan dalam worksheet untuk menyesuaikan probabilitas HEP. Kinerja Faktor membentuk meliputi: stres / stres, waktu yang tersedia, kompleksitas, Pengalaman / pelatihan, prosedur, ergonomi, kesesuaian untuk tugas, dan proses kerja. 53 4.12.7 Simbol Tipe Persamaan Perhitungan Simbol berikut digunakan dalam persamaan untuk menghitung probabilitas kegagalan: P = Kegagalan probabilitas dari peristiwa dasar, p = probabilitas kegagalan, bp = basis kasus kegagalan probabilitas, L = kegagalan per jam, masukan sebagai lambda, tm = waktu misi dinyatakan dalam jam, masukan sebagai default, T = waktu rata-rata untuk memperbaiki dinyatakan dalam jam, masukan sebagai tau, J = fungsi distribusi standar normal kumulatif, pembunuh = percepatan median (percepatan tanah perkiraan cukup untuk menyebabkan Komponen untuk gagal), Bu = tingkat keyakinan bahwa "a" benar-benar percepatan pembunuh median, Br = jumlah percepatan pembunuh "a" dapat bervariasi Dalam log = alami g = percepatan tanah untuk skrining. 4.12.8 Distribusi Jenis Untuk bagian Ketidakpastian data, ada sembilan jenis distribusi yang tersedia yang tersedia. yang standar jenis distribusi adalah:
59
normal nensial
lognormal
beta Dirichlet
gamma Chi-squared
ekspo-
seragam maksimum entropi seismik lognormal dibatasi noninfor-
mative segitiga
Di samping jenis distribusi yang tersedia, user-de ned histogram dapat digunakan. default jenis distribusi adalah distribusi tidak. Pilih jenis distribusi yang diinginkan dari daftar drop-down. 4.12.9 Proses Bendera Bendera Proses adalah bidang satu-karakter yang menentukan apakah proses tertentu harus mengambil catatan khusus dari dipilih acara. Pilih salah satu dari nilai berikut: 4.12.10 Proses Bendera Dialog 4.12.10.1 Analisis Sensitivitas Jika suatu kejadian ditandai untuk analisis sensitivitas, SAPHIRE akan memetakan frekuensi hasil atau plot probabilitas. Sebuah analisis sensitivitas memungkinkan Anda untuk melihat seberapa sensitif frekuensi atau probabilitas dalam kaitannya dengan suatu acara. 4.12.10.2 Acara Ditandai zoned Sebuah acara zona berbendera adalah suatu peristiwa yang telah ditandai sebagai mewakili zona (yaitu, lokasi atau area).
Sebuah contoh zona adalah zona kebakaran atau zona banjir.
Ketika
bertemu SAPHIRE acara zona ditandai, itu melakukan transformasi.
Trans-
formasi adalah suatu peristiwa atau rangkaian peristiwa yang mengganti acara zona ditandai. 4.12.10.3 Proses Bendera 'I' Gunakan kesalahan logika pohon (jika acara puncak gagal), menggunakan komplemen dari logika pohon kesalahan (jika acara puncak berhasil). Artinya, jika puncak acara adalah kegagalan, SAPHIRE akan memperluas pohon kesalahan dan memecahkan, jika acara tersebut berhasil, SAPHIRE akan melengkapi logika pohon kesalahan dan menyelesaikannya. Sebuah "Saya" menyebabkan SAPHIRE untuk mengobati transfer sebagai independen.
Logika bawah transfer ini diperluas untuk referensi kegagalan, dan
untuk referensi sukses komplemen logika yang digunakan. 55 4.12.10.4 Proses Bendera 'W' Gunakan kesalahan logika pohon (jika acara puncak gagal), gunakan pelengkap acara dikembangkan (jika acara puncak berhasil). Artinya, jika acara tersebut gagal SAPHIRE akan memperluas pohon kesalahan dan memecahkan, jika acara tersebut berhasil, SAPHIRE akan menggunakan komplemen dari acara dikembangkan untuk pohon kesalahan. 4.12.10.5 Proses Bendera 'X' Gunakan acara dikembangkan (jika acara gagal), menggunakan cut set yang cocok untuk menghilangkan set dipotong (jika acara berhasil).
Artinya, "X" memberitahu SAPHIRE bahwa acara puncak
yang akan digunakan untuk referensi kegagalan, tetapi referensi sukses adalah untuk diperlakukan sama seperti jika bendera itu kosong. 4.12.10.6 Proses Bendera 'Y' Gunakan acara dikembangkan (jika acara gagal), gunakan melengkapi acara dikembangkan (jika acara berhasil). Artinya,
60
"Y" menunjukkan bahwa transfer yang akan diganti dengan basic event untuk referensi gagal dan komplemen acara tersebut akan digunakan untuk referensi sukses. 4.12.10.7 Proses Bendera 'X' Selalu gunakan event dikembangkan. Artinya, jangan memperluas pohon kesalahan atau transfer. Sebaliknya, cukup gunakan acara probabilitas. 4.12.10.8 kosong atau default Ketika bidang Bendera Proses kosong, logika pengalihan terkait dengan acara ini diperluas untuk kegagalan referensi.
Un-
tuk referensi sukses, transfer ini juga diperluas, namun, setiap set cut "tidak mungkin" (yaitu, mereka baik gagal dan berhasil) dikeluarkan dari luka kegagalan yang dihasilkan dengan menggunakan set memotong diatur pencocokan (Juga dikenal sebagai proses "menghapus istilah"). Tetapkan konsep yheoritic dan logis 2. SET KONSEP teoritis dan LOGIS Bagian ini menyajikan de nisi dasar set dan ringkasan identitas yang berguna. Pembaca dapat memperoleh informasi lebih lanjut dari Hahn dan Shapiro (1967), Mood et al. (1974), Henley, dan Kumamoto (1985), atau Andrews dan Moss (2002).
Dalam bagian ini, kami menyajikan beberapa topik, termasuk: teori
himpunan dan himpunan operasi konsep, daftar identitas Boolean berguna, konsep logika pernyataan, dan hubungan antara teori himpunan dan logika pernyataan. 2.1 Konsep teoritik Set Sebuah alat yang berguna untuk menggambarkan hubungan set pictorially adalah diagram Venn.
Gambar 1 menunjukkan dia-
gram Venn (Venn, 1880) untuk dua set, A dan B, di mana B adalah subset tepat A. 4.12.10 Process Flag Dialog 4.12.10.1 Sensitivity Analysis If an event is marked for sensitivity analysis, SAPHIRE will map a results frequency or probability plot. A sensitivity analysis allows you to see how sensitive the frequency or probability is in relation to an event. 4.12.10.2 Zoned Flagged Event A zone agged event is an event that has been marked as representing a zone (i.e., location or area).
An example of a
zone is a re zone or a ood zone. When SAPHIRE encounters a zone agged event, it performs a transformation.
A transformation is an event or set of
events that replace a zone agged event. 4.12.10.3 Process Flag 'I' Use fault tree logic (if top event fails), use the complement of the fault tree logic (if top event succeeds). That is, if the top event is a failure, SAPHIRE will expand the fault tree and solve; if the event succeeds, SAPHIRE will complement the fault tree logic and solve it. An "I" causes SAPHIRE to treat the transfer as independent. Logic below this transfer is expanded for failure references, and for success references the complement of the logic is used.
61
55 4.12.10.4 Process Flag 'W' Use fault tree logic (if top event fails), use complement of the developed event (if top event succeeds). That is, if the event fails SAPHIRE will expand the fault tree and solve; if the event succeeds, SAPHIRE will use the complement of the developed event for the fault tree. 4.12.10.5 Process Flag 'X' Use developed event (if event fails), use cut set matching to eliminate cut sets (if event succeeds).
That is, an "X" tells
SAPHIRE that the top event is to be used for failure references, but success references are to be treated the same as if the ag was blank. 4.12.10.6 Process Flag 'Y' Use developed event (if event fails), use complement of developed event (if event succeeds). That is, a "Y" indicates that a transfer is to be replaced with its basic event for failed references and the complement of the event is to be used for success references. 4.12.10.7 Process Flag 'X' Always use developed event.
That is, do not
expand the fault tree or transfer. Instead, simply use the event probability. 4.12.10.8 Blank or Default When the Process Flag eld is blank, the transfer logic associated with this event is expanded for failure references. For success references, the transfer is also expanded; however, any impossible cut sets (i.e., those both failing and succeeding) are removed from the resulting failure cut sets using cut set matching (also known as the delete term process). Set yheoritic and logical concept 2.
SET THEORETIC AND LOGICAL
CONCEPTS This section presents basic de nitions of sets and a summary of useful identities.
The reader can obtain more information from Hahn and
Shapiro (1967), Mood et al. (1974), Henley and Kumamoto (1985), or Andrews and Moss (2002). Within this section, we present several topics, including: set theory and set operation concepts; listing of useful Boolean identities; concepts of statement logic; and the relations between set theory and statement logic. 2.1 Set Theoretic Concepts A useful tool to illustrate set relations pictorially is the Venn diagram. Figure 1 shows the Venn diagram (Venn, 1880) for two sets, A and B, where B is a proper subset of A. Gambar 1 Generalized Venn diagram yang mewakili dua set, A dan B Untuk SAPHIRE, kita tertarik pada apa yang bisa terjadi pada fasilitas seperti pembangkit listrik tenaga nuklir, pengolahan kimia fasilitas, atau sistem transportasi. Oleh karena itu, ketika teori set digunakan untuk SAPHIRE aplikasi, kita biasanya membiarkan penduduk terdiri dari semua kondisi yang mungkin dari tanaman atau sistem. Salah satu unsur dari himpunan ini terdiri dari spesi kasi rinci kondisi setiap bagian dari tanaman atau sistem. Akibatnya, memiliki sejumlah besar elemen. Acara adalah subset dari populasi ini. Sebagai contoh, sebuah acara seperti "pompa AFW PAFWT1 gagal start "adalah subset, yang terdiri dari semua
62
kondisi pompa dan peralatan pendukungnya yang menghasilkan gagal untuk memulai, bersama-sama dengan semua kondisi yang mungkin dari sisa tanaman. Acara "meleleh inti" adalah juga subset dari populasi, yang berisi semua kondisi tanaman rinci yang menghasilkan inti mencair. Dalam dokumen ini, kami akan mencatat de nisi dengan melampirkan ketentuan dan de nisi terkait dalam kotak, seperti yang di bawah ini: Set: himpunan A adalah kumpulan pengguna-dide nisikan objek. Elemen: Objects milik set. 4 Populasi: Satu set dari semua elemen yang mungkin. Null Set: Sebuah set yang tidak memiliki unsur-unsur. Hal ini juga disebut himpunan kosong dan dinotasikan dengan . Subset: Satu set A disebut subset dari himpunan B jika semua elemen dari A adalah juga elemen dari B. Jika set B mengandung unsur Selain itu, kemudian menetapkan A disebut subset yang tepat. Set Kesetaraan: Satu set A sama untuk mengatur B jika mereka mengandung unsur-unsur yang sama. 2.2 Operasi pada Set Tiga operasi dasar ada untuk set. Mereka adalah: Union
Persimpangan
Complementation
Sebuah operasi keempat, yang disebut perbedaan ditetapkan, kadang-kadang dianggap, itu dinyatakan sebagai kombinasi dari operasi set lainnya.
Lihat
Smith, Knudsen, dan Calley (1999) untuk informasi tambahan di set perbedaan. Penyatuan dua set adalah satu set yang terdiri dari semua elemen yang berbeda dalam A atau semua unsur di B atau keduanya. Operasi serikat juga disebut operasi OR, dan kadang-kadang dilambangkan dengan C = A + B. Serikat buruh dinotasikan dengan C = A U B Analis berpengalaman yang bijak selalu menggunakan simbol c untuk menggabungkan set dan + simbol menggabungkan angka, namun juggler simbol mahir belajar menggunakan + aman di kedua konteks.
Program komputer
yang menggunakan hanya 128 karakter ASCII atau karakter pada printer jalur terpaksa menggunakan + bukan c. Pembaca dari dokumen ini harus menyadari bahwa ketika berhadapan dengan set, penggunaan simbol + untuk set menyiratkan kesatuan logis dari set. Penyatuan dua set ditunjukkan pada Gambar 2 Gambar 2 penyatuan dua set digambarkan melalui diagram Venn Persatuan sejumlah set A1, A2, ...
adalah himpunan semua elemen yang
ada di salah satu Ai. Hal ini dapat ditulis dengan notasi analog dengan notasi penjumlahan: untuk set n dan untuk set tak terhingga untuk set tak terhingga banyaknya.
63
Persimpangan dua set adalah himpunan yang terdiri dari semua elemen umum untuk A dan B. Yaitu, elemen milik A dan B. Hal ini juga disebut operasi DAN. Persimpangan dinotasikan dengan C = A I B atau kadang-kadang C = A * B atau hanya, C = AB. Persimpangan dua set ditunjukkan sebagai wilayah crosshatched pada Gambar 3. Gambar 3 persimpangan dua set digambarkan melalui diagram Venn 6 Persimpangan A1, A2, ... adalah himpunan semua elemen yang ada di semua Ai. Perpotongan n set dapat ditulis sebagai:
atau, menggunakan notasi produk,
seperti a1a2 ... An. Komplemen dari himpunan A adalah himpunan yang terdiri dari semua unsur dalam populasi yang tidak terkandung dalam A. Hal ini kadang-kadang disebut operasi TIDAK. Hal ini dilambangkan dengan A ', Ac , Atau m. Komplemen dari set adalah ditampilkan dalam Gambar 4. Gambar 4 pelengkap dari set digambarkan melalui diagram Venn Himpunan semua elemen di A dan B tidak di set disebut perbedaan set. Perbedaan set dilambangkan oleh A I B ' Hal ini juga dapat ditulis sebagai A-B. Bagian yang jelas dari himpunan A (ditunjukkan dalam Gambar 3) merupakan selisih set A-B. Dua set dikatakan saling eksklusif atau disjoint jika dan hanya jika mereka tidak mengandung unsur-unsur yang sama. Persimpangan set saling eksklusif adalah himpunan nol, AIB = i. Gambar 5 set Saling eksklusif digambarkan melalui diagram Venn The A1 set, A2, ...
saling eksklusif jika masing-masing pasangan saling
eksklusif, yaitu, ada unsur W adalah di lebih dari satu Ai.
Istilah "saling
eksklusif" sehingga dapat merujuk bahkan untuk koleksi tak terbatas set. Sebuah koleksi set A1, A2, ... adalah lengkap jika kesatuan set adalah penduduk , yaitu, setiap unsur dalam setidaknya satu Ai. Dalam sebagian besar aplikasi, set lengkap juga terpilih menjadi saling eksklusif. Ketika set A1, A2, ... keduanya saling eksklusif dan lengkap, mereka membentuk partisi : setiap elemen adalah satu dan hanya satu dari Ai. 2.3 Ringkasan Identitas Berguna Berikut ini adalah identitas yang berguna dalam bekerja dengan set: Komutatif Hukum AUB = BUAAIB = BIA Asosiatif Hukum AU (BUC) = (AUB) UCAI (BIC) = (AIB) IC Distributif Hukum AI (BUC) = (AIB) U (AIC) AU (BIC) = (AUB) I (AUC) Idempoten Hukum AIA = AAUA = A Hukum Penyerapan AI (AUB) = AAU (AIB) = A 8 Komplementasi
64
Operasi Melibatkan Set Null dan Penduduk DeMorgan Hukum (AIB) '= A' B U '(AUB)' = A 'I B' Identitas lainnya AU (A 'IB) = AUB A' I (AU B ') = A' I B '= (AUB)' 2.4 Konsep Logika Pernyataan Sebuah pernyataan dide nisikan di sini sebagai kalimat yang dapat dinyatakan benar atau salah. Contohnya adalah "Generator DG1 gagal untuk memulai" dan "nozzle roket integritas struktural dipertahankan." English pernyataan yang tidak jelas benar atau salah, seperti "Ini adalah panel kontrol nice looking," tidak dianggap. Secara matematis, pernyataan adalah obyek yang dapat mengambil salah satu dari dua nilai, baik TRUE atau FALSE. Di diskusi ini, kita akan menggunakan huruf p, q, r, dll untuk menunjukkan pernyataan.
Baru, lebih kompleks pernyataan dapat dibangun
dengan menggabungkan pernyataan sederhana menggunakan AND, OR, dan NOT, yang dide nisikan sebagai berikut: (P DAN q) adalah TRUE jika baik p dan q BENAR. Ini adalah FALSE jika p adalah FALSE, q adalah FALSE, atau keduanya SALAH. (P OR q) adalah TRUE jika p adalah TRUE, q adalah TRUE, atau keduanya BENAR. Ini adalah FALSE jika baik p dan q adalah SALAH. (TIDAK p) adalah TRUE jika p adalah FALSE. Ini adalah FALSE jika p adalah TRUE. 9 Simbol-simbol logika matematika (w untuk AND, OR v untuk, P untuk TIDAK) tidak akan digunakan di sini.
Namun, untuk kemudahan input dari
komputer, SAPHIRE menggunakan notasi / untuk TIDAK. Yang / X adalah notasi untuk TIDAK X di masukan SAPHIRE. Bekerja dari de nisi dasar sebelumnya, seseorang dapat membuktikan fakta sederhana banyak tentang pernyataan, mirip kepada mereka terdaftar untuk set. Sebagai contoh, satu hukum distributif mengatakan p DAN (q OR r) = (p DAN q) ATAU (p DAN r) dan salah satu hukum DeMorgan mengatakan TIDAK (p DAN q) = (TIDAK p) ATAU (TIDAK q). Persamaan ini berarti bahwa pernyataan di sisi kiri adalah TRUE jika dan hanya jika pernyataan sisi kanan adalah TRUE. Ada persamaan tersebut banyak tidak tercantum di sini. Matematika yang menggunakan manipulasi formal dari hubungan logis kadangkadang disebut Boolean, setelah matematika George Boole. 2,5 Set Teori dan Logika Pernyataan Struktur paralel untuk set dan untuk laporan ada: istilah AND, OR, dan NOT digunakan untuk keduanya, dan aturan yang sama seperti hukum distributif dan hukum DeMorgan diterapkan pada
65
keduanya. Relasi ini dibuat eksplisit di sini. Biarkan menjadi penduduk, dan mempertimbangkan pernyataan tentang unsur .
Pernyataan apa pun memiliki kebenaran yang sesuai set, dide nisikan
sebagai himpunan semua elemen yang pernyataan tersebut benar. Sebuah elemen adalah di set kebenaran jika dan hanya jika pernyataan tersebut benar untuk elemen itu. Sebagai contoh, pernyataan "inti meleleh terjadi "sesuai dengan himpunan semua kemungkinan kondisi tanaman yang menghasilkan inti meleleh. Misalkan A adalah himpunan elemen yang p adalah TRUE B adalah himpunan elemen yang q adalah TRUE. Kemudian aturan untuk menggabungkan set dan untuk laporan menggabungkan terkait sebagai berikut: AUB adalah himpunan elemen yang (p OR q) adalah TRUE AIB adalah himpunan elemen yang (p DAN q) adalah TRUE 'Adalah himpunan elemen yang (TIDAK p) adalah TRUE. Karena korespondensi antara set dan de nisi pernyataan begitu langsung, kita kadang-kadang pertukaran bahasa: A ATAU B bukannya AU B. Untuk aplikasi SAPHIRE, laporan bunga menggambarkan peristiwa. Misalnya, acara "AFW pompa PAFWT1 gagal untuk memulai "dapat dianggap sebagai p pernyataan yang dapat dikombinasikan dengan lainnya pernyataan seperti yang dijelaskan dalam bagian Konsep Pernyataan Logic. Acara ini terjadi jika pernyataan mende nisikan acara ini BENAR. Ini mende nisikan event sebagai sebuah pernyataan. Atau, acara tersebut dapat 10 dianggap sebagai penamaan himpunan A dari semua kondisi tanaman yang menghasilkan kegagalan pompa untuk memulai. Demikian pula, pernyataan "MOV134 gagal untuk membuka" dapat dianggap sebagai berhubungan dengan B set tanaman kondisi. Pernyataan bahwa kedua peristiwa ini terjadi, MOV134 gagal untuk membuka DAN AFW pompa PAFWT1 gagal mulai, sesuai dengan persimpangan B I A. Hubungan antara pernyataan dan set begitu langsung bahwa kebanyakan orang beralih antara dua tanpa menyadarinya. Inilah sebabnya mengapa istilah AND, OR, dan NOT diperkenalkan dalam Operasi pada Set sebagai istilah alternatif untuk persimpangan, serikat, dan komplementasi. Terminologi dalam Dokumen ini memungkinkan untuk berpikir kembali-dan-sebagainya, tidak hatihati membedakan antara logika pernyataan dan menetapkan teori. Salah satu alasan kami tidak daftar semua fakta tentang pernyataan adalah bahwa mereka hanya re-ekspresi dari fakta dalam Ringkasan bagian Identitas berguna. Setiap fakta tentang set dalam Ringkasan Berguna Identitas Bagian dapat diterjemahkan ke fakta tentang logika pernyataan dengan mengganti simbol set dengan pernyataan:
66
Set Logika Simbol Pernyataan A, B, dan C p, q, dan r
S T ,
, dan 'OR, AND,
dan NOT Populasi selalu benar Set selalu salah nol 4.
PROBABILITAS KONSEP Bagian ini menyediakan pembaca dengan
gambaran konsep probabilitas yang terkait dengan analisis ketidakpastian yang digunakan dalam PRA. Diskusi ini tidak akan bersifat inklusif, tetapi akan menyajikan dasar konsep dan prinsip-prinsip.
Untuk pembahasan yang lebih
rinci tentang topik ini, pembaca dapat memperoleh lebih informasi dari Tekan (1989), Lindley (1985), Singpurwalla (1988), dan Jaynes (2003). 4.1 De nisi dan Aturan Probabilitas Probabilitas adalah satu-satunya cara memuaskan untuk mengukur ketidakpastian kita tentang sebuah peristiwa E. pasti Probabilitas selalu bersyarat, melainkan dikondisikan pada semua informasi latar belakang yang kita miliki di waktu kita mengukur ketidakpastian kami. Ini informasi latar belakang dilambangkan dengan H dan probabilitas E tergantung pada H dinotasikan dengan P (E | H). Untuk membuat notasi kurang praktis, kita menulis ini hanya sebagai P (E), bagaimanapun, H pendingin harus dipahami. Kisaran probabilitas adalah antara 0 dan 1. P (E) = 0 berarti E tidak akan pernah terjadi, dan P (E) = 1 berarti E akan selalu terjadi. Mulai sekarang, asumsikan bahwa probabilitas yang dide nisikan untuk semua acara dalam populasi (Dimana terdiri dari semua kondisi yang mungkin). Aturan probabilitas memberitahu kita bagaimana berhubungan ketidakpastian kita tentang peristiwa. Secara khusus, mereka memberitahu kita bagaimana probabilitas berbagai menggabungkan atau berpadu. Peraturan-peraturan ini termotivasi oleh preferensi antara peristiwa dan mencetak argumen aturan. Pendekatan Aturan skoring dapat digunakan untuk menunjukkan bahwa tiga berikut aturan probabilitas berlaku untuk kasus diskrit. Untuk acara apapun, 0
≤
P (E)
≤
1, dan P () = 1 (4-1)
Untuk setiap peristiwa saling eksklusif E1, E2, ... (4-2) Probabilitas kondisional dari sebuah F acara diberi E event P (F | E) = P (F
T
E) / P (E) (4-3)
yang setara dengan aturan perkalian P (F
T
E) = P (F | E) P (E)
23 Ini adalah aturan dasar probabilitas, dari mana semua orang lain dapat diturunkan. Satu logis pembangunan probabilitas, karena Kolmogorov (Tekan 1989), mengambil Persamaan (4-1) dan (4-2) sebagai aksioma, dan Persamaan (4-3) sebagai suatu de nisi.
Pendekatan yang lebih baru oleh Renyi (Tekan
1989) menggunakan kondisional probabilitas sebagai konsep dasar, menulis ulang setiap probabilitas bersyarat atas sebagai bersyarat satu, dan menggunakan
67
persamaan ditulis ulang (4-1), (4-2) dan (4-3) sebagai aksioma. Ini baik poin matematika tidak penting untuk laporan ini.
Hal ini cukup untuk dicatat
bahwa setiap pengobatan probabilitas menggunakan aturan diberikan di atas, dan aturan-aturan yang mengikuti sebagai konsekuensi di bagian bawah. Persamaan (4-2) mengatakan bahwa probabilitas dari persatuan kejadian disjoint adalah jumlah dari probabilitas. Kenyataan ini mendorong penggunaan + sebagai notasi alternatif untuk c dalam Bagian 2.2.1. Hukum Probabilitas Total Untuk setiap peristiwa E dan F, P (E) = P (E
T
F) + P (E
T
F ') = P (E | F) P (F) + P (E | F') P (F ')
Undang-undang ini dapat diperpanjang untuk satu set n saling eksklusif dan lengkap F1 peristiwa, F2,. . . , Fn sebagai berikut: (4-4) Dasar Probabilitas Hubungan Jika E dan F adalah dua peristiwa dan E adalah himpunan bagian dari F, maka P (E) # P (F). Bayes 'Teorema Pertimbangkan setiap dua peristiwa E dan F. Dengan hukum perkalian P (E
T
F) = P (E | F) P (F) = P (F | E) P (E).
jadi 24 (4-5) Kami menggunakan Persamaan (4-5) untuk mengubah ketidakpastian kita tentang H E latar belakang diberikan informasi kepada kami ketidakpastian tentang E diberikan F dan H. Kita dapat menganggap F sebagai data baru. Sebagai contoh, anggaplah bahwa turbin-driven pompa gagal untuk memulai dengan beberapa p frekuensi.
Kami menghitung kami latar belakang penge-
tahuan tentang turbin yang digerakkan pompa melalui distribusi probabilitas pada p.
(Untuk memudahkan penjelasan, anggaplah bahwa distribusi ini
adalah diskrit, daftar pi nilai yang mungkin, masing-masing dengan probabilitas mencerminkan tingkat kepercayaan kami.) Untuk melanjutkan contoh ini, biarkan E menjadi acara "p = 0,01". Misalkan F acara "3 kegagalan dalam 100 upaya untuk mulai "Kita tahu P (E) dari distribusi probabilitas yang mengkuanti kasi latar belakang pengetahuan kita.. Bagaimana harus probabilitas ini diubah untuk menjelaskan informasi baru? Artinya, apa yang P (E | F)? Pertanyaan ini dijawab dengan menggunakan Teorema Bayes '. Teori variabel acak binomial menunjukkan bahwa adalah probabilitas dari F acara diberikan beberapa nilai p. Oleh karena P (F | E) adalah P (F; p) dengan nilai 0,01 diganti untuk p. Nilai P (F) diperoleh dari hukum probabilitas total, Persamaan (4-4):
68
menyimpulkan atas semua pi nilai yang mungkin. Lalu akhirnya, P (E | F) diperoleh dengan menggantikan nilai-nilai untuk P (E), P (F | E), dan P (F) ke dalam Persamaan (4-5). Singkatnya, kami menggunakan Persamaan (4-5) untuk mengubah keyakinan tentang E diberi informasi latar belakang kepada keyakinan tentang E diberikan baik informasi latar belakang dan F. keyakinan ini diperbarui berdasarkan data baru.
Informasi tambahan tentang metode Bayesian dapat ditemukan dalam
Jaynes (2003) dan USNRC (2003). Acara Independen Kami mengatakan sebuah acara E independen dari yang lain F acara jika kemungkinan E, P (E), tidak berubah oleh informasi mengenai event F. Kami menulis P (E | F) = P (E | F ') = P (E). Ini juga disebut kemerdekaan statistik.
Dari de nisi ini kita memperoleh
hubungan berikut untuk acara independen 25 P (E
T
F) = P (E | F) P (F) = P (E) P (F).
Pemula sering membingungkan peristiwa saling eksklusif dengan kejadian independen. Dua konsep yang berbeda: peristiwa Saling eksklusif memuaskan P (A
T
B) = P () = 0
sedangkan peristiwa independen memuaskan P (A
T
B) = P (A) P (B).
Oleh karena itu, jika P (A)> 0 dan P (B)> 0, A dan B tidak bisa keduanya saling eksklusif dan independen. Itu eksklusivitas saling memperkenalkan ketergantungan, jika A terjadi, B tidak dapat terjadi. Tambahan Probabilitas Hubungan Kemungkinan persatuan kejadian n adalah (4-6) Kemungkinan persimpangan peristiwa n adalah (4-7) Kemungkinan persimpangan kejadian n ketika peristiwa secara statistik independen (4-8) Untuk setiap peristiwa n (mandiri atau dependen), kita memiliki Untuk acara yang independen, kemungkinan persimpangan sama dengan produk dari probabilitas. Ini Bahkan termotivasi notasi produk yang diperkenalkan sebagai alternatif dalam diskusi mengenai persimpangan set.
Karena
kekompakan, notasi produk telah digunakan untuk persimpangan di Persamaan (4-6) melalui (4-9). 8. PENTINGNYA TINDAKAN 8.1 Jenis Tindakan Pentingnya Karya awal dalam pengembangan langkah-langkah penting yang terbaik diwakili oleh kode PENTINGNYA dikembangkan oleh Lambert pada awal tahun 1970.
(Lam-
bert, 1975) ini alat analisis dibangun di atas teori pembangunan selesai pionir
69
awal seperti Barlow, Birnbaum, Fussell, Proschan, dan Vesely.
Perangkat lu-
nak PENTINGNYA dihitung hasil untuk berbagai jenis tindakan penting, mulai dari Fussell-Vesely ke Birnbaum ke Barlow-Proschan metrik. The SAPHIRE menghitung enam berbeda Pentingnya acara langkah-langkah dasar. Ini adalah:
Fussell-Vesely Risiko penurunan rasio Risiko peningkatan rasio Birnbaum (pentingnya disebut turunan pertama) Risiko pengurangan perbedaan
Ketidakpastian Pentingnya
Risiko peningkatan perbedaan
Langkah-langkah penting dihitung untuk setiap acara dasar untuk kesalahan pohon kecelakaan masing-masing, urutan, atau negara akhir. Langkah-langkah rasio penting yang berdimensi dan hanya mempertimbangkan perubahan relatif. Perbedaannya de nisi menjelaskan tingkat risiko sebenarnya yang ada dan lebih tepat ketika tingkat risiko yang sebenarnya menjadi perhatian, seperti perbandingan atau prioritizations di seluruh tanaman yang berbeda. Untuk murni relatif evaluasi, seperti prioritizations dalam tanaman, rasio kadangkadang memberikan hasil yang lebih gra s. Langkah-langkah penting utama adalah - Fussell-Vesely penting, indikasi persentase dari pemotongan minimal ditetapkan batas atas disumbangkan oleh set cut berisi basic event - Risiko penurunan, indikasi berapa banyak dipotong minimal ditetapkan batas atas akan menurun jika peristiwa dasar tidak pernah terjadi (biasanya, jika komponen yang sesuai pernah gagal) - Risiko meningkat, indikasi berapa banyak dipotong minimal ditetapkan batas atas akan naik jika basic event selalu terjadi (biasanya, jika komponen yang sesuai selalu gagal) Juga tersedia di masing-masing laporan penting ukuran merupakan indikasi dari jenis lain ukuran, pentingnya struktural, yang merupakan jumlah set cut yang berisi basic event.
Misalnya, jika total 1.000 set cut ada untuk pohon
kesalahan dan basic event XYZ dalam 300 set dipotong, maka akan SAPHIRE menunjukkan bahwa peristiwa yang muncul 300 kali. Di SAPHIRE, tampilan acara Dasar Pentingnya daftar nama basic event, probabilitas kegagalan, yang jumlah set cut di mana basic event terjadi, dan tiga dari enam langkah-langkah penting. Pengguna dapat memilih untuk menampilkan rasio baik atau perbedaan.
Jika pengguna memilih rasio maka Fussell-Vesely
penting, rasio pengurangan risiko, dan rasio risiko kenaikan ditampilkan bersamasama.
Jika tidak, Birnbaum 54 penting, pengurangan risiko perbedaan, dan
perbedaan risiko kenaikan ditampilkan bersama-sama.
Daftar ini dapat akan
diurutkan pada setiap kolom di layar. Eksposisi di bawah ini ditulis dalam hal pohon kesalahan dan probabilitas acara. Namun, Saphire juga dapat menghitung pentingnya peranan untuk acara di urutan akhir atau negara. Ingatlah bahwa urutan hanyalah kesalahan Pohon
70
didahului dengan kejadian awal dengan frekuensi f, di mana f biasanya memiliki unit 1/time.
Frekuensi dari setiap peristiwa di pohon kesalahan adalah
f kali kemungkinan acara.
Oleh karena itu, pentingnya peranan rasio yang
tidak berubah apakah kejadian tersebut merupakan bagian dari pohon kesalahan atau berurutan.
Sebuah perbedaan penting untuk sebuah event secara
berurutan adalah f kali pentingnya acara di pohon kesalahan. Nilai maksimum yang mungkin dari Perbedaan penting adalah 1.0 jika acara ini di pohon kesalahan dan f jika acara ini secara berurutan. Ini formulasi alternatif ditunjukkan di bawah ini dengan frase dalam tanda kurung. 8.2 Perhitungan Detail Bagian ini berisi de nisi perhitungan langkah-langkah penting. Contoh yang diberikan dalam Bagian A6 Lampiran Kedua rasio A. dan perbedaan dibahas dalam bagian yang tepat. Untuk acara dasar dalam pertimbangan, beberapa notasi yang digunakan berulang kali. F (x) = cut minimal ditetapkan batas atas (urutan frekuensi) dievaluasi dengan basic event probabilitas pada nilai rata-ratanya. F (i) = cut minimal ditetapkan batas atas (urutan frekuensi) dievaluasi untuk memotong semua set yang mengandung acara dasar i'th F (0) = cut minimal ditetapkan batas atas (urutan frekuensi) dievaluasi dengan basic event probabilitas diatur ke nol. F (1) = cut minimal ditetapkan batas atas (urutan frekuensi) dievaluasi dengan basic event probabilitas kegagalan diatur ke 1.0. Fussell-Vesely Pentingnya Pentingnya Fussell-Vesely merupakan indikasi dari fraksi dari pemotongan minimal ditetapkan batas atas (atau urutan frekuensi) yang melibatkan cut set yang berisi acara dasar keprihatinan. Atau, alternatif, yang Fussell-Vesely adalah "kemungkinan bahwa acara i berkontribusi terhadap kegagalan sistem, mengingat bahwa sistem Kegagalan terjadi "(Henley dan Kumamoto, 1981).. Hal ini dihitung dengan mencari set cut minimal atas terikat potong mereka set yang berisi acara dasar kepedulian dan membaginya dengan set cut minimal batas atas puncak acara (atau urutan).
Sebelum SAPHIRE
versi 7.27, perhitungan ini adalah dilakukan dengan menentukan cut minimal ditetapkan batas atas (urutan frekuensi) dengan basic event Kegagalan probabilitas pada nilai rata-rata dan lagi dengan probabilitas acara kegagalan dasar diatur ke nol.
Itu Perbedaan antara kedua hasil tersebut dibagi dengan cut
dasar minimal yang ditetapkan atas terikat untuk mendapatkan Fussell-Vesely penting. The Fussell-Vesely penting FV wss didekati dengan persamaan FV = F (i) / F (x) Sebelum SAPHIRE versi 7.27, persamaan FV menggunakan ekspresi perkiraan FV = 1 - F (0) / F (x). 55 Pengurangan Risiko Pengurangan risiko mengukur pentingnya merupakan indikasi berapa banyak hasil akan berkurang jika probabilitas peristiwa tertentu
71
ditandingi nol, normal sesuai dengan sepotong benar-benar dapat diandalkan dari peralatan. Rasio pengurangan risiko ditentukan dengan mengevaluasi pohon kesalahan cut minimal ditetapkan batas atas (atau urutan frekuensi) dengan probabilitas basic event set ke nilai sebenarnya dan membaginya dengan minimal potong mengatur batas atas (urutan frekuensi) dihitung dengan probabilitas basic event diatur ke nol.
Di bentuk persamaan, pengurangan risiko
RRR rasio RRR = F (x) / F (0) Perbedaan pengurangan risiko menunjukkan karakter yang sama dengan rasio, tetapi mencerminkan yang sebenarnya cut minimal ditetapkan batas atas (urutan frekuensi) tingkat bukan rasio.
Ini adalah jumlah yang probabilitas
kegagalan atau frekuensi urutan akan berkurang jika basic event tidak pernah gagal. Pengurangan risiko perbedaan (RRD) dihitung dengan mengambil perbedaan antara nilai rata-rata dan fungsi dievaluasi pada 0.
Dalam bentuk per-
samaan, pengurangan risiko RRD perbedaan adalah RRD = F (x) - F (0). Risiko Kenaikan Rasio meningkatkan risiko merupakan indikasi berapa banyak kemungkinan acara puncak (frekuensi) akan naik jika acara tertentu memiliki probabilitas sebesar 1,0, normal sesuai dengan peralatan yang benar-benar dapat diandalkan. Rasio meningkatkan risiko ditentukan dengan mengevaluasi set cut minimal batas atas (urutan frekuensi) dengan probabilitas basic event diatur ke 1,0 dan membaginya dengan cut minimal ditetapkan batas atas dievaluasi dengan probabilitas basic event set ke nilai yang sebenarnya.
Dalam bentuk
persamaan, risiko meningkatkan rasio RIR adalah R / R = F (1) / F (x) Peningkatan perbedaan risiko RID dihitung dengan mengambil perbedaan antara fungsi dievaluasi 1,0 dan nilai nominal. Dalam bentuk persamaan, peningkatan risiko perbedaan RID adalah RID = F (1) - F (x) Birnbaum Pentingnya Ukuran penting Birnbaum dihitung di tempat ukuran penting Fussell-Vesely ketika perbedaan yang dipilih bukan rasio. Pentingnya Birnbaum merupakan indikasi dari sensitivitas dari pemotongan minimal ditetapkan batas atas (atau frekuensi urutan) sehubungan dengan peristiwa dasar keprihatinan.
Hal ini dihitung dengan menentukan cut minimal ditetapkan
batas atas (atau frekuensi urutan) dengan probabilitas acara dasar keprihatinan set ke 1,0 dan lagi dengan probabilitas basic event set ke 0,0. Perbedaan antara kedua nilai adalah pentingnya Birnbaum. Dalam bentuk persamaan, yang Birnbaum B pentingnya adalah B = F (1) - F (0)
72
56 Pentingnya Birnbaum dapat diartikan sebagai berikut sebagai aproksimasi derivatif. Jika dasar acara i memiliki pi probabilitas, pendekatan langkaacara mengatakan bahwa probabilitas acara puncak, F, dapat ditulis sebagai F = jumlah probabilitas set cut = Jumlah probabilitas set memotong melibatkan acara i + jumlah probabilitas set cut lainnya Set memotong acara yang melibatkan saya semua memiliki probabilitas bentuk Pi * (produk dari probabilitas peristiwa dasar lainnya). Oleh karena itu, di mana A dan C adalah jumlah produk dari probabilitas basic event yang tidak melibatkan pi. Oleh karena itu, F adalah kira-kira fungsi linear dari pi, dan karena itu,
∂
F /
∂
pi kira-kira sama [F (1)-F (0)] / (1-0) yang sama
pentingnya Birnbaum. Ketidakpastian Pentingnya Pentingnya ketidakpastian basic event i dide nisikan oleh Iman dan Shortencarrier (1986) sebagai @ MF / Mpi, mana pi adalah probabilitas acara i dan i adalah deviasi standar pi, mencerminkan ketidakpastian dalam pi, dan F dide nisikan di atas. SAPHIRE menghitung pentingnya ketidakpastian FiBi, di mana Bi adalah Birnbaum pentingnya acara i. Dengan pembahasan di atas tentang pentingnya Birnbaum, yang SAPHIRE perhitungan menggunakan pendekatan langka-peristiwa derivatif. Ketidakpastian di setiap parameter input, seperti yang diungkapkan melalui distribusi probabilitas, memberikan kontribusi untuk ketidakpastian dalam parameter output bunga (misalnya, inti frekuensi kerusakan, kehilangan misi). Itu ketidakpastian pentingnya mengukur di SAPHIRE mengkuanti kasi kontribusi setiap peristiwa dasar individu ketidakpastian ini ketidakpastian total output. Ukuran yang digunakan dalam SAPHIRE didasarkan pada urutan pertamaDeret Taylor perluasan varians dari output yang menarik.
Persamaan yang
digunakan oleh SAPHIRE adalah: di mana R adalah output dari bunga, ip adalah probabilitas dari th i basic event, dan 2 i adalah varians dari ketidakpastian distribusi untuk th i acara, seperti yang tercantum pada Tabel 2.
Ini pendekatan yang bergantung pada
peristiwa dasar yang saling statistik independen, mengatakan bahwa varians dari output adalah sekitar jumlah kontribusi n terpisah, satu dari setiap event dasar. Besarnya kontribusi masing-masing (masing-masing kontribusi positif ) mengukur berapa banyak varians output disumbangkan oleh masing-masing basic event.
Karena lebih nyaman, SAPHIRE menggunakan akar kuadrat dari
setiap kontribusi individu sebagai ketidakpastian penting: mana i adalah standar deviasi dari distribusi ketidakpastian th i basic event. Perhatikan bahwa derivatif parsial dalam persamaan di atas untuk kepentingan ketidakpastian adalah, menurut de nisi, Birnbaum pentingnya acara itu. Oleh
73
karena itu, tidak ada perhitungan baru diperlukan, pentingnya ketidakpastian adalah Pentingnya Birnbaum dikalikan dengan deviasi standar distribusi probabilitas input. Itu standar deviasi, i, untuk setiap acara dasar dihitung tergantung pada ketidakpastian yang dide nisikan distribusi.
Tabel 2 menguraikan
perhitungan standar deviasi. Tabel 2 perhitungan Standar deviasi untuk distribusi ketidakpastian didukung CATATAN: Untuk pembagian entropi maksimum, varians ditemukan dari: Ini harus menunjukkan bahwa SAPHIRE 7 juga dapat menghitung ketidakpastian pada salah satu pentingnya langkah-langkah, termasuk ukuran "ketidakpastian" penting. The "ketidakpastian" pentingnya mengukur menunjukkan kontribusi terhadap ketidakpastian keseluruhan dari basic event tunggal. Ketidakpastian pada pentingnya tindakan (misalnya, Fussell-Vesely, Birnbaum, RRR, RIR) menunjukkan ketidakpastian dalam pentingnya mengukur perkiraan. Sebagai contoh, kita dapat menghitung RIR untuk acara dasar sebagai 4.3. Namun nilai ini adalah perkiraan titik. Melakukan analisis ketidakpastian perhitungan RIR dapat menunjukkan bahwa 5th persentil untuk acara dasar adalah 2,5, nilai rata-rata adalah 5,1, dan 95 persentil adalah 6.8. Selanjutnya, "ketidakpastian" pentingnya ukuran untuk acara yang sama dapat menunjukkan bahwa ia memiliki rendah kontribusi pohon kesalahan keseluruhan, urutan, atau akhir ketidakpastian negara (tergantung pada apa yang sedang dianalisis).
Sebuah
peristiwa dasar mungkin memiliki ketidakpastian yang besar itu sendiri dan langkah-langkah pentingnya mungkin cukup pasti, namun kontribusinya terhadap ketidakpastian keseluruhan dapat diabaikan. Secara umum, di SAPHIRE 7, ketidakpastian dapat diperkirakan pada salah satu ukuran risiko yang dihasilkan, termasuk:
Kesalahan pohon yang ditebang ditetapkan
pohon Kesalahan Urutan cut set cut negara set
kerusakan probabilitas
langkah-langkah penting
Urutan langkah-langkah penting
Akhir
kebijakan negara End penting GEM memulai acara penilaian
probabilitas inti kerusakan kondisional
kerusakan
GEM Kondisi penilaian bersyarat inti
GEM Kondisi penilaian (nominal) inti probabilitas
GEM Kondisi penilaian kerusakan inti probabilitas perbedaan
dalam keadaan probabilitas ini dalam sistemnya memerlukan hal,dalam sistem ini memerlukan sistem yang akurat dalam pengerjaan ini maka itu harus di perlukan sistem yang bagus
74
14. REFERENSI K. D. Russell, et al. Sistem Program Analisis Hands-on Evaluasi Keandalan (SAPHIRE) Versi 6.0 - Sistem Ikhtisar Manual, NUREG/CR-6532, Mei 1999. KD Russell et al, Keandalan dan Risiko Terpadu Sistem Analisis (IRRAS) Versi 5.0, Volume 2.
- Reference Manual, NUREG/CR-6116, TELUR-2.716,
Juli 1994. KD Russell et al, Veri kasi dan Validasi (V & V), Volume 9 - Reference Manual, NUREG/CR-6116, TELUR-2.716, Juli 1994.. KD Russell et al, Keandalan dan Risiko Terpadu Sistem Analisis (IRRAS) Versi 4.0, Volume 1.
- Reference Manual, NUREG/CR-5813, TELUR-2664,
Januari 1992. KD Russell et al, Keandalan dan Risiko Terpadu Sistem Analisis (IRRAS) Versi 2.5 Referensi. Manual, NUREG/CR-5300, TELUR-2613, Maret 1991. KD Russell, MB Sattison, DM Rasmuson, Keandalan Terpadu dan Sistem Analisis Risiko (IRRAS) - Panduan Versi 2.0 Pengguna, NUREG/CR-5111, TELUR-2535, naskah selesai Maret 1989, diterbitkan Juni 1990. KD Russell, DM Snider, MB Sattison, HD Stewart, SD Matthews, K. L. Wagner, Terpadu Keandalan dan Risiko Analisis Sistem (IRRAS) Panduan Pengguna - Versi 1.0 (DRAFT), NUREG/CR-4844, TELUR-2495, Juni 1987.
75
76
