Ünite 1 / 11

Havacılık ve Uzayda Yapay Zekaya Giriş ve Güvenlik-Kritik Doğrulama Disiplini

Kazanimlar:

  • AI'ın havacılık-uzay mühendisliği iş akışında nerede gerçek zaman kazandırdığını, hangi kararların emniyet ve sorumluluk gereği insanda kalması gerektiğini ayırt edebilme
  • Her mühendislik çıktısını büyüklük mertebesi, birim tutarlılığı ve bağımsız yeniden üretimle doğrulayan güvenlik-kritik bir disiplini uygulayabilme
  • ITAR/EAR ihracat kontrolü ve gizli tasarım verisini korumak için bağlamı anonimleştirerek prompt kurma alışkanlığını edinebilme

Bir havacılık veya uzay mühendisinin masasına bakın: kanat yükü hesapları, sonlu elemanlar sonuçları, rüzgar tüneli verisi, uçuş test kayıtları, sertifikasyon dokümanları, tedarikçi yazışmaları ve sonu gelmeyen toplantılar. Asıl mühendislik yargısına, yani "bu sayı emniyetli mi, bu tasarım uçar mı, bu risk kabul edilebilir mi" sorularına ayrılacak zaman, tekrar eden hesap ve doküman işinin altında ezilir. Yapay zeka (kısaca AI; büyük dil modeli ve makine öğrenmesiyle metin, kod ve sayı üzerinde çalışan yazılım) tam da burada devreye girer. AI kararı sizin yerinize vermez; sizi karara hazırlar, taslak üretir, hesabı hızlandırır ve önünüze işlenmiş bilgi koyar.

Ancak havacılık ve uzay, hatanın metinle değil canla ve milyonlarca dolarla ölçüldüğü bir alandır. Bir dil modelinin uydurduğu bir referans, yanlış bir birim dönüşümü veya "makul görünen" ama fiziksel olarak imkansız bir sonuç, diğer sektörlerde küçük bir düzeltmeyken burada bir yapısal arızaya veya görev kaybına dönüşebilir. Bu yüzden bu modül boyunca AI'ı "otomatik mühendis" olarak değil, çıktısı her seferinde doğrulanan, güvenlik-kritik disipline tabi bir asistan olarak konumlandıracağız.

Bu ilk ünitede üç şeyi netleştiriyoruz: AI havacılık-uzay iş akışının hangi aşamalarında gerçek değer katar, hangi kararlar kesinlikle nitelikli insanda kalmalıdır ve bunu yaparken uymanız gereken doğrulama, ihracat kontrolü ve gizlilik disiplini nedir. Bu çatı doğru kurulmadan sonraki ünitelerdeki teknikler tehlikeli hale gelebilir.

Kavramlar: Halüsinasyon: AI'ın gerçekte var olmayan bir rakamı, denklemi, standart maddesini veya kaynağı inandırıcı biçimde uydurması. Bağlam: AI'a verdiğiniz girdi (tasarım verisi, varsayımlar, soru). Doğrulama (verification): Çıktının bağımsız bir yolla (el hesabı, ikinci araç, standart metni) kontrol edilmesi. Bu üç kavram tüm modülün belkemiğidir.

AI Hangi İşlerde Hızlandırıcı, Hangilerinde Riskli?

Havacılık-uzay görevleri sonuçları itibarıyla iki uçlu bir spektrumda yer alır. Bir ucunda geri alınabilir, düşük riskli hazırlık işleri (bir literatür özeti, bir kod iskeleti, bir sunum taslağı); diğer ucunda uçuşa elverişlilik, can güvenliği ve görev başarısını doğrudan belirleyen, geri dönüşü zor kararlar (bir emniyet katsayısı, bir kontrol yasası, bir yörünge yakma süresi) vardır. AI'ın değeri bu spektrumun neresinde durduğunuza göre değişir.

İş türü

AI'ın katkısı

Mühendisin rolü

Literatür/standart özeti

Uzun dokümandan öz çıkarma

Maddeyi orijinal metinle karşılaştırma

El hesabı / ön boyutlandırma

Formül kurma, ilk sayı

Birim, mertebe ve varsayım kontrolü

Analiz kodu / betik yazımı

İskelet ve mantık üretme

Test girdisiyle doğrulama, birim testi

Rapor/gereksinim taslağı

Yapı ve anlatı önerme

Her ifadeyi kaynağa ve gereksinime bağlama

Veri analizi / anomali tarama

Örüntü ve aday olay çıkarma

Ham veri ve fizikle teyit

Emniyet/sertifikasyon kararı

Analiz malzemesi hazırlama

Nihai değerlendirme, inceleme ve imza

Kural basittir: AI çıktısının riski, o çıktı hata yaptığında doğuracağı zarara eşittir. Bir slaydın başlığını yanlış yazmak zararsızdır; bir kanat kirişinin emniyet katsayısını 1,5 yerine 0,5 hesaplamak felakettir. Bu yüzden çıktıyı kullanmadan önce sorulacak ilk soru şudur: "Bu yanlışsa ne olur, kim zarar görür ve bunu kim fark eder?"

Dikkat: AI akıcı ve kendinden emin metin üretir. Akıcılık, doğruluk garantisi değildir. Bir dil modeli, elinde kesin veri olmasa bile boşluğu istatistiksel olarak "en olası" kelimelerle doldurur; havacılıkta bu boşluk doldurma, uydurma bir malzeme özelliği veya var olmayan bir FAR maddesi olarak karşınıza çıkabilir.

Güvenlik-Kritik Doğrulama Disiplini: Üç Katman

Havacılık kültürü zaten "güven ama doğrula" ilkesi üzerine kuruludur; AI bu ilkeyi zayıflatmak için değil, güçlendirmek için kullanılmalıdır. Her AI çıktısını üç katmanlı bir süzgeçten geçirin.

Birinci katman, büyüklük mertebesi kontrolüdür. Sonucun kabaca beklenen 10'un kuvveti aralığında olup olmadığına bakın. Bir yolcu uçağının kalkış kütlesi onlarca ton mertebesindedir; AI size 800 kg derse, ayrıntıya girmeden bir hata olduğunu bilirsiniz.

İkinci katman, birim ve boyut tutarlılığıdır. Havacılık tarihindeki en pahalı hatalardan biri, 1999 Mars Climate Orbiter kaybıdır: bir ekip pound-saniye, diğeri newton-saniye birimi kullandı ve yaklaşık 327 milyon dolarlık uzay aracı Mars atmosferinde kayboldu. AI çıktısında birimler açıkça belirtilmeli ve boyut analizi yapılmalıdır.

Üçüncü katman, bağımsız yeniden üretimdir. Kritik bir sonucu ikinci bir yöntemle (farklı bir el hesabı, ayrı bir araç veya ikinci bir mühendis) tekrar üretin. İki bağımsız yol aynı cevabı veriyorsa güven artar; vermiyorsa neden farklı olduğunu anlayana kadar durun.

İpucu: AI'dan bir sonuç istediğinizde, aynı sorunun tersini de sorun. "Bu kanat için gereken alanı hesapla" dedikten sonra "verdiğin alanla kanat yüklemesini geri hesapla ve tipik yolcu uçağı aralığıyla karşılaştır" deyin. Modelin kendi çıktısını çapraz kontrol etmesini istemek, sessiz hataları görünür kılar.

İhracat Kontrolü ve Gizlilik: Havacılığın Özel Sınırı

Havacılık ve uzay teknolojileri çoğu ülkede ihracat kontrolüne tabidir. ABD'de bu, ITAR (International Traffic in Arms Regulations; savunma amaçlı teknik veriyi düzenleyen kurallar) ve EAR (Export Administration Regulations; çift kullanımlı teknolojiyi düzenleyen kurallar) ile yönetilir. Gizli bir füze kontrol algoritmasını, uydu itki verisini veya askeri uçak performans parametresini kontrolsüz bir dış AI servisine girmek, hem ihracat ihlali hem fikri mülkiyet kaybı hem de sözleşme ihlali olabilir.

Pratik kural: gerçek, gizli veya kontrollü teknik veriyi asla onaylanmamış bir dış araca girmeyin. Bunun yerine bağlamı anonimleştirin ve gerçek sayıları temsili değerlerle değiştirin. Örneğin gerçek bir motor itki eğrisini paylaşmak yerine, "tipik bir turbofan itki-hız ilişkisini genel formuyla açıkla" diye sorun.

Zayıf prompt / Güçlü prompt

Aşağıdaki iki prompt aynı amacı taşır ama biri hem gizliliği ihlal eder hem de doğrulanamaz bir cevap alır.

Zayıf prompt:

Projemizdeki XR-7 insansız aracın kanat açıklığı 4.2 m,ağırlığı 38 kg, motoru şu, hız zarfı şu. Optimum irtifayı söyle.

Güçlü prompt:

Rol: Havacılık aerodinamiği danışmanısın.Bağlam: Küçük sabit kanatlı bir İHA için genel bir analiz yapıyorum(değerler temsilidir, gerçek proje verisi değildir):kanat açıklığı ~4 m, kütle ~40 kg, seyir hızı ~25 m/s.Görev: En iyi menzil irtifasını belirleyen fiziksel ilkeleri açıklave hangi parametreleri ölçmem gerektiğini listele.Kısıt: Her formülü ve varsayımı açıkça yaz; sayısal sonuç verirsenbirimini belirt ve nasıl doğrulayacağımı ekle.

Güçlü prompt hem gerçek proje verisini korur, hem rolü ve kısıtı netleştirir, hem de doğrulama yolunu talep eder.

Kopyalanabilir Prompt Şablonları

Aşağıdaki dört şablonu kendi işinize uyarlayarak kullanabilirsiniz. Hepsi anonimleştirme ve doğrulama disiplinini içine gömer.

Şablon 1 — Güvenlik-kritik çıktı için doğrulama zorunlu istek:

Rol: Kıdemli havacılık mühendisisin ve güvenlik-kritik disipline uyarsın.Bağlam: [Anonimleştirilmiş problem; gerçek proje verisi değil, temsili değerler].Görev: [İstediğim analiz/hesap].Kısıt:- Her sayının birimini yaz.- Kullandığın her formülü ve varsayımı açıkça listele.- Sonucun büyüklük mertebesini bilinen bir referansla kıyasla.- Sonuncu adımda "bu çıktıyı nasıl bağımsız doğrularım" diye bir kontrol planı ver.Belirsizlik varsa tahmin etme; hangi veriye ihtiyacın olduğunu sor.

Şablon 2 — Çapraz kontrol (modelin kendi çıktısını sınaması):

Az önce verdiğin [sonuç] değerini şimdi bağımsız bir yöntemleyeniden hesapla: farklı bir formül veya ters çözüm kullan.İki sonuç birbirini tutuyor mu? Tutmuyorsa olası hata kaynaklarını(birim, varsayım, formül seçimi) sırala. Emin olmadığın adımı işaretle.

Şablon 3 — Standart/kaynak atfı için doğrulanabilir istek:

[Konu] için ilgili sertifikasyon/standart maddelerini listele.Her madde için: standart adı, madde numarası ve maddenin özeti.UYARI: Emin olmadığın bir madde numarasını yazma; "doğrulanmalı"olarak işaretle. Uydurma referans verme; bilmiyorsan bilmediğini söyle.Bana bu maddeleri nasıl orijinal metinden teyit edeceğimi de anlat.

Şablon 4 — Anonimleştirme ön kontrolü (paylaşmadan önce):

Aşağıdaki metni bir dış AI aracına girmeden önce ihracat kontrolü(ITAR/EAR) ve şirket gizliliği açısından temizlemem gerekiyor.Metindeki hassas olabilecek unsurları (gerçek parça numaraları,performans değerleri, proje adları, tedarikçi bilgisi) işaretle veher biri için temsili/anonim bir yerine koyma öner.Metin: [buraya yapıştır]

Mini Vakalar

Vaka 1 — Uydurulan standart maddesi. Bir genç mühendis, bir tasarım gerekçesini desteklemek için AI'a "hangi FAR maddesi bunu zorunlu kılıyor" diye sorar. AI, gerçekte var olmayan bir "FAR 25.1493" maddesini kaynak gösterir. Mühendis metni orijinal regülasyonla karşılaştırınca maddenin uydurma olduğunu görür ve doğru maddeyi (14 CFR 25.303, emniyet katsayısı) bulur. Ders: AI'ın verdiği her standart atfı orijinal metinden teyit edilir.

Vaka 2 — Birim tuzağı. Bir ekip, bir itki hesabında AI'dan yardım alır. AI itkiyi 5000 olarak verir ama birimi "lbf mi N mi" belirsiz kalır. 5000 lbf ile 5000 N arasında yaklaşık 4,45 kat fark vardır; bu fark, bir motor seçimini tamamen değiştirir. Ekip birimi açıkça sormadan ilerlerse yanlış motor sınıfına yönelir. Ders: birim belirtilmeyen hiçbir sayı kabul edilmez.

Vaka 3 — Mertebe kontrolü hayat kurtarır. Bir öğrenci takımı, roket için delta-v (hız değişimi ihtiyacı) hesabını AI'a yaptırır ve 95 m/s sonucunu alır. Alçak yörüngeye ulaşmak için tipik delta-v yaklaşık 9,4 km/s, yani 9400 m/s mertebesindedir. Yaklaşık 100 kat fark, hemen bir kurgu hatasını ele verir; öğrenciler denklemdeki bir logaritma tabanı hatasını bulur. Ders: sonucu daima bilinen bir referans mertebeyle karşılaştırın.

Sık yapılan hatalar

  • Akıcılığı doğruluk sanmak. Güzel yazılmış bir açıklama, sayısal olarak yanlış olabilir. Metnin kalitesi ile sonucun doğruluğu ayrı şeylerdir.
  • Birimsiz sayıyı kabul etmek. Havacılıkta birim belirtmeyen sayı, tanımsız sayıdır. lbf/N, ft/m, knot/m·s karışıklıkları kariyer bitiren hatalardır.
  • Gizli veriyi dış araca girmek. ITAR/EAR ve şirket gizliliği ihlali; bir kez sızan teknik veri geri alınamaz.
  • Tek kaynağa güvenmek. Kritik bir sonucu ikinci bir yolla üretmeden kullanmak, güvenlik-kritik disiplinin en temel kuralını çiğnemektir.
  • Standart atfını doğrulamamak. AI'ın verdiği madde numaraları uydurma olabilir; her atıf orijinal regülasyondan teyit edilir.

Özetle

AI, havacılık-uzay mühendisliğinde tekrar eden hesap, kod, doküman ve veri işini ciddi biçimde hızlandırır; ama emniyet, uçuşa elverişlilik ve görev başarısını belirleyen kararlar nitelikli insanda kalır. Her çıktı büyüklük mertebesi, birim tutarlılığı ve bağımsız yeniden üretim süzgecinden geçirilmelidir. İhracat kontrolü (ITAR/EAR) ve gizlilik nedeniyle gerçek teknik veri anonimleştirilmeli, yalnızca onaylı araçlar kullanılmalıdır. Bu disiplin, sonraki tüm ünitelerin ön koşuludur.

Uygulama görevi

Kendi alanınızdan (aerodinamik, yapı, kontrol, uzay, üretim) bir mühendislik sorusu seçin. Önce bir "zayıf prompt" yazıp AI'a sorun; sonra rolü, anonimleştirilmiş bağlamı, kısıtı ve doğrulama talebini içeren bir "güçlü prompt" yazıp aynı soruyu tekrar sorun. İki cevabı büyüklük mertebesi ve birim tutarlılığı açısından karşılaştırın ve en az bir sonucu bağımsız bir el hesabıyla teyit edin. Bulgularınızı yarım sayfada özetleyin.

Kontrol listesi

  • [ ] Çıktının riskini "yanlışsa kim zarar görür" sorusuyla değerlendirdim.
  • [ ] Sonucu büyüklük mertebesi açısından bilinen bir referansla karşılaştırdım.
  • [ ] Tüm sayıların birimini açıkça teyit ettim.
  • [ ] Kritik sonucu bağımsız ikinci bir yöntemle yeniden ürettim.
  • [ ] Gerçek/gizli teknik veri yerine anonimleştirilmiş temsili değer kullandım.
  • [ ] AI'ın verdiği her standart/kaynak atfını orijinal metinden doğruladım.