Skip to content

Yeni yazı: Kalman Filtresinin Sessiz İraksaması — Joseph Form, Gözlemlenebilirlik ve Tutarlılık Testleri#103

Open
Mavrikant wants to merge 1 commit into
masterfrom
post/2026-06-01-kalman-filtresi-sessiz-iraksama-joseph-form
Open

Yeni yazı: Kalman Filtresinin Sessiz İraksaması — Joseph Form, Gözlemlenebilirlik ve Tutarlılık Testleri#103
Mavrikant wants to merge 1 commit into
masterfrom
post/2026-06-01-kalman-filtresi-sessiz-iraksama-joseph-form

Conversation

@Mavrikant

Copy link
Copy Markdown
Owner

Konu

Kalman Filtresinin Sessiz İraksaması: Joseph Form, Gözlemlenebilirlik ve Tutarlılık Testleri — alt-alan: navigasyon/füzyon.

Kalman filtresinin sahada "çalışıyor gibi görünüp" sessizce ıraksamasına yol açan dört başarısızlık modunu işleyen uzun-form bir teknik yazı (~2450 kelime).

Neden bu konu seçildi?

Derinlik öğesi (Bölüm 7)

Yazı birden çok somut derinlik öğesi taşıyor:

  1. Matematiksel türetme: Joseph form'un simetri ve pozitif yarı-tanımlılık garantisi (kongrüans dönüşümü + iki PSD matrisin toplamının PSD olması).
  2. Gözlemlenebilirlik matrisi analizi: Sabit-ivme + konum-ölçümü senaryosu için sayısal cond(O) patlaması açıklaması.
  3. Tutarlılık testlerinin pratik uygulanışı: NIS chi-kare aralıkları (m=1 için [0.001, 5.02]), 100-pencere hareketli ortalama, NEES Monte Carlo testi.
  4. EKF Jacobian doğrulama tarifi: Sembolik türetimi merkezi farkla karşılaştırma.

Kullanılan kaynaklar

  • Bucy & Joseph (1968) — Joseph form'un orijinal kaynağı
  • Anderson & Moore (1979), Optimal Filtering
  • Bierman (1977), Factorization Methods — UD ayrıştırması, kare-kök filtreler
  • Maybeck (1979), Stochastic Models, Estimation, and Control
  • Bar-Shalom, Li, Kirubarajan (2001), Estimation with Applications to Tracking and Navigation — NIS/NEES Bölüm 5
  • Simon (2006), Optimal State Estimation
  • Groves (2013), Principles of GNSS, Inertial, and Multisensor Integrated Navigation Systems 2nd ed.
  • Julier & Uhlmann (1997), UKF orijinal makale
  • Mehra (1970), innovation autocorrelation testi
  • IEEE Std 952-1997 (FOG Allan variance), IEEE Std 1554-2005 (inertial sensor test)

Her referans gerçek, doğrulanabilir ve metnin ilgili bölümünde kullanıldı.

Öz-eleştiri özeti (Faz 6 Eleştirmen)

Düzeltilen kusurlar:

  • ❌ → ✅ "benzerlik dönüşümü" terimi yanlıştı (benzerlik = A^{-1} P A); "kongrüans dönüşümü / simetrik sandviç" olarak düzeltildi.
  • ❌ → ✅ "Apollo Guidance Computer'ın navigasyon kodu" iddiası fazla genelleyiciydi; James Potter'ın MIT'de 1963'te kare-kök filtreyi geliştirdiği şeklinde daraltıldı.

Doğrulanan kritik iddialar: NIS chi-kare eşikleri, IEEE 952/1554 standart numaraları, UKF'nin Julier-Uhlmann 1997 kaynağı, Joseph form'un Bucy-Joseph 1968 atfı.

Gizlilik kontrolü ✅: hiçbir proje-spesifik, sınıflandırılmış veya ihracat-kontrollü bilgi yok; tüm içerik açık akademik literatürden.

Kontrol listesi

  • Konu hiçbir yayında olan ya da açık PR'daki yazıyla anlamsal olarak çakışmıyor (Kalman filtresi grep'i sıfır gerçek eşleşme verdi).
  • Son 3 yayın alt-alanından (sistem, RF/DSP, gömülü/SoC) farklı: navigasyon/füzyon.
  • Türkçe gövde + İngilizce alt-başlık; "sahadan notlar" tonu.
  • Front matter mevcut yazılarla birebir aynı şema.
  • Mermaid diyagramı + 8 adet $$...$$ matematik bloğu + 1 tablo.
  • ## Kaynaklar bölümü gerçek referanslar içeriyor (uydurma yok).
  • Branch: post/2026-06-01-kalman-filtresi-sessiz-iraksama-joseph-form, master'a doğrudan commit yok.

🤖 Generated with Claude Code

…lenebilirlik ve Tutarlılık Testleri

Navigasyon/füzyon alt-alanı, ledger'da ilk kez işleniyor. Kalman filtresinin
sahada "çalışıyor gibi görünüp" sessizce ıraksamasına yol açan dört başarısızlık
modunu derinlemesine işler:

1. Klasik kovaryans güncellemesinin numerik tehlikeleri (simetri/PD kaybı)
2. Joseph form ile çözüm (kongrüans dönüşümünün simetri garantisi)
3. Gözlemlenebilirlik kaybı (matris koşullanması, manevra geometrisi)
4. Q/R ayarının anti-paterni (filtre tutarlılığını NIS ile ölçmek)
5. EKF lineerleştirme tuzakları ve UKF alternatifi

Derinlik öğesi: matematiksel türetme (Joseph form simetri/PD koruması) +
NIS/NEES chi-kare tutarlılık testlerinin pratik eşiklerle uygulanması +
sayısal gözlemlenebilirlik (cond(O)) teşhisi.

Kaynaklar: Bucy & Joseph 1968, Anderson & Moore 1979, Bierman 1977, Maybeck
1979, Bar-Shalom et al. 2001, Simon 2006, Groves 2013, Julier & Uhlmann 1997,
Mehra 1970, IEEE Std 952-1997, IEEE Std 1554-2005.

Co-Authored-By: Claude Opus 4.7 <noreply@anthropic.com>
Copilot AI review requested due to automatic review settings June 1, 2026 05:52

Copilot AI left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull request overview

Adds a new long-form Turkish technical post on Kalman filter “silent divergence” (Joseph form, observability, NIS/NEES consistency checks) and updates the agent topic ledger to reflect recent publications/PR backlog and the newly selected topic.

Changes:

  • Added _posts/2026-06-01-kalman-filtresi-sessiz-iraksama-joseph-form.md (new post with Mermaid + math blocks).
  • Updated agent/topics.md (published list, refreshed open-PR table, and “selected/in-progress” entry for the new post).

Reviewed changes

Copilot reviewed 2 out of 2 changed files in this pull request and generated 8 comments.

File Description
agent/topics.md Refreshes published items and the open-PR tracking table; records the new selected topic and run notes.
_posts/2026-06-01-kalman-filtresi-sessiz-iraksama-joseph-form.md Introduces the new Kalman filter divergence article (Joseph form, observability, Q/R tuning pitfalls, NIS/NEES, EKF/UKF notes).

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.


---

## 4. Yanlış Q ve R ayarının anti-paterni
| Test | Ne ölçer | Geçti / Kaldı eşiği |
|---|---|---|
| `cond(P)` izleme | `P` matrisinin koşullanması | < 10⁸ olsun; 10¹⁰'u geçerse uyarı |
| `min(eig(P))` izleme | Pozitif tanımlılık ihlali | > 0 olmalı; ≤ 0 ise filtre çoktan bozulmuş |
Comment thread agent/topics.md

## Açık PR'lar (insan inceleme bekleniyor)

> **Not:** Aşağıdaki tablo 2026-06-01 itibarıyla yenidendir. Önceki çalıştırmaların
Comment thread agent/topics.md
Comment on lines +125 to +126
ve son 12 açık PR'ın alt-alanlarından farklı: navigasyon PR'ları (#78, #102)
*sinyal yapısı* odaklı (VOR/ILS), bu yazı *füzyon filtre matematiği* odaklı —

---

## 4. Yanlış Q ve R ayarının anti-paterni
| Test | Ne ölçer | Geçti / Kaldı eşiği |
|---|---|---|
| `cond(P)` izleme | `P` matrisinin koşullanması | < 10⁸ olsun; 10¹⁰'u geçerse uyarı |
| `min(eig(P))` izleme | Pozitif tanımlılık ihlali | > 0 olmalı; ≤ 0 ise filtre çoktan bozulmuş |
Comment thread agent/topics.md

## Açık PR'lar (insan inceleme bekleniyor)

> **Not:** Aşağıdaki tablo 2026-06-01 itibarıyla yenidendir. Önceki çalıştırmaların
Comment thread agent/topics.md
Comment on lines +125 to +126
ve son 12 açık PR'ın alt-alanlarından farklı: navigasyon PR'ları (#78, #102)
*sinyal yapısı* odaklı (VOR/ILS), bu yazı *füzyon filtre matematiği* odaklı —
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants