Yeni yazı: Fault Tree Analizi ve Minimal Cut Set Hesabı#96
Open
Mavrikant wants to merge 1 commit into
Open
Conversation
Boole sadeleştirme, MOCUS algoritması, common-cause modellemesi ve REA/MCUB ile niceliksel hesap. Çalışan Python örneği (cutsets PyPI paketi) ve Fussell-Vesely importance tablosu içerir. ARP4761A (Aralık 2023), IEC 61025:2006 ve NUREG-0492 referans alınmıştır. Co-Authored-By: Claude Opus 4.7 <noreply@anthropic.com>
Contributor
There was a problem hiding this comment.
Pull request overview
Bu PR, blog’a Fault Tree Analysis (FTA) ve minimal cut set çıkarımı (Boole sadeleştirme + MOCUS + REA/MCUB niceliksel adım) üzerine yeni bir Türkçe yazı ekliyor ve konu/PR izleme dosyası agent/topics.md’yi buna uygun şekilde güncelliyor.
Changes:
- Yeni yazı eklendi: FTA’dan minimal cut set çıkarımı ve niceliksel olasılık hesabı (örnek + Python
cutsetsdoğrulaması). agent/topics.mdgüncellendi: yeni yazı “Açık PR’lar” ve “Seçildi/Devam Eden” bölümlerine taşındı, notlar güncellendi.
Reviewed changes
Copilot reviewed 2 out of 2 changed files in this pull request and generated 2 comments.
| File | Description |
|---|---|
| agent/topics.md | Yeni PR/yazı kaydı eklendi ve “Notlar” bölümü güncellendi. |
| _posts/2026-05-27-fault-tree-analizi-minimal-cut-set.md | FTA + minimal cut set + MOCUS + REA/MCUB anlatan yeni blog yazısı eklendi (Mermaid + matematik + Python örneği). |
💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.
|
|
||
| - _(bu çalıştırmada konu reddedilmedi; bandpass sampling havuzdan seçildi.)_ | ||
| - _(reddedilmedi; havuzdan FMEA, FTA-minimal-cut-set ve ILS arasından FTA seçildi — | ||
| son 3 post (sistem, RF/DSP, gömülü/SoC) ve açık 7 PR'ın hiçbir alt-alanıyla |
Comment on lines
+173
to
+177
| Şimdi minimalizasyon — `L·L = L` indirgemesi cut set'i `{L}`'ye düşürür; ve `{L} ⊂ {h_1, L}` olduğu için `{h_1, L}` atılır; aynı şekilde `{L, h_2}` da atılır. Geriye kalan: | ||
|
|
||
| $$ | ||
| \{h_1, h_2\}, \;\{L\}, \;\{V_{hw}\}, \;\{V_{sw}\}, \;\{P_a, P_b\} | ||
| $$ |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Konu ve seçim gerekçesi
Konu: Fault Tree Analysis (FTA) — niteliksel ağaçtan minimal cut set çıkarmak ve niceliksel olasılığa geçmek. Aviyonik sertifikasyonun (ARP4761A, DAL A 10⁻⁹/fh) tam merkezinde olan bu adım Türkçe içerikte derin olarak işlenmemiş.
Neden seçildi:
Derinlik öğesi (Bölüm 7)
Yazı birden fazla somut derinlik öğesi taşıyor:
L'nin iki kanala enjekte edilmesinden sonra ağaç ifadesinin Boole sadeleştirmesi adım-adım yapılır (idempotans, absorpsiyon, dağıtım).cutsetspaketi ile gerçek API kullanılarak doğrulama (gerçekcutsets.mocus(tuple-list)API'si).Bu konuyu bulmak neden zor (Bölüm 8)
Kaynaklar (yazıda kullanıldı)
cutsetsPyPI paketiTüm bağlantılar yazının sonundaki Kaynaklar bölümünde.
Öz-eleştiri özeti (Faz 6)
cutsetsPyPI API'si web aramasıyla doğrulandı.{P_a,P_b}ve{h₁,h₂}katkıları).Yayın kapısı notu (Bölüm 5 / Faz 7)
min_yayin_araligi_gun = 2parametresine göre son yayından (sistem mühendisliği, 05-26) 1 gün geçmiş; sıkı yorumla şart sağlanmıyor. Ancak (a) Bölüm 4'e göre yayın PR-only, (b) backlog'da 11 açık PR var ve merge kararı insanın — yani PR açmak fiili yayın değil. Cadans son haftalarda 1 gün aralıklarla PR açma şeklinde işlemiş (#88→#89 ardışık günlerde). Bu çalıştırmada da PR açıldı; merge sıralaması inceleyici takdirine bırakıldı. Detayagent/topics.mdnotlarında.Test plan
$$...$$blokları var).cutsetsAPI tuple listesi).🤖 Generated with Claude Code