Jednotka 1 / 11

Úvod do umelej inteligencie a bezpečnostne kritickej overovacej disciplíny v leteckom a kozmickom priemysle

zisky:

  • Schopnosť rozlíšiť, kde AI šetrí reálny čas v pracovnom postupe leteckého inžinierstva a ktoré rozhodnutia by mali zostať na ľuďoch z dôvodu bezpečnosti a zodpovednosti
  • Schopnosť aplikovať disciplínu kritickú z hľadiska bezpečnosti, ktorá overuje každý technický produkt podľa rádovej veľkosti, jednotnosti jednotky a nezávislej reprodukcie
  • Schopnosť osvojiť si zvyk vyzývať anonymizáciou kontextu na ochranu kontroly exportu ITAR/EAR a dôverných údajov o dizajne

Pozrite sa na stôl leteckého inžiniera: výpočty zaťaženia krídel, výsledky konečných prvkov, údaje z aerodynamického tunela, záznamy o letových skúškach, certifikačné dokumenty, korešpondencia s dodávateľmi a nekonečné stretnutia. Čas venovaný skutočnému inžinierskemu úsudku, teda otázkam "je toto číslo bezpečné, bude tento návrh lietať, je toto riziko prijateľné?" je rozdrvená pri opakovanom výpočte a práci s dokumentmi. Tu vstupuje do hry umelá inteligencia (skrátene AI; softvér, ktorý pracuje na texte, kóde a číslach s veľkým jazykovým modelom a strojovým učením). AI nerobí rozhodnutie za vás; Pripraví vás na rozhodnutie, vypracuje návrh, urýchli výpočet a postaví pred vás spracované informácie.

Letectvo a vesmír je však oblasťou, kde sa chyby nemerajú v texte, ale v životoch a miliónoch dolárov. Odkaz vytvorený jazykovým modelom, nesprávna konverzia jednotiek alebo „rozumne vyzerajúci“, ale fyzicky nemožný výsledok môže byť v iných odvetviach malou opravou, ale tu sa môže stať štrukturálnym zlyhaním alebo stratou poslania. Preto v rámci tohto modulu postavíme AI nie ako „automatického inžiniera“, ale ako asistenta, ktorý podlieha disciplíne kritickej z hľadiska bezpečnosti, ktorej výstup je zakaždým overený.

V tejto prvej časti objasňujeme tri veci: v ktorých fázach pracovného postupu v letectve a kozmickom priestore prináša umelá inteligencia skutočnú pridanú hodnotu, aké rozhodnutia musia zostať striktne v rukách kvalifikovaných ľudí a akú disciplínu overovania, kontroly exportu a dôvernosti musíte pri tom dodržiavať. Bez správne nainštalovanej strechy môžu byť techniky na nasledujúcich jednotkách nebezpečné.

Koncepty: Halucinácie: presvedčivé vymyslenie čísla, rovnice, štandardnej položky alebo zdroja AI, ktorý v skutočnosti neexistuje. Kontext: Vstup, ktorý zadáte AI (údaje o návrhu, predpoklady, otázka). Overenie: Kontrola výstupu nezávislými prostriedkami (ručný výpočet, druhý nástroj, štandardný text). Tieto tri koncepty sú chrbticou celého modulu.

V ktorých podnikoch je AI akcelerátor, v ktorých podnikoch je to riskantné?

Letecké a kozmické misie spadajú z hľadiska dôsledkov do dvojzložkového spektra. Na jednom konci sú dostupné prípravné práce s nízkym rizikom (zhrnutie literatúry, kostra kódu, osnova prezentácie); Na druhom konci sú nezvratné rozhodnutia (koeficient bezpečnosti, zákon o kontrole, doba horenia na obežnej dráhe), ktoré priamo určujú letovú spôsobilosť, bezpečnosť života a úspech misie. Hodnota AI sa líši v závislosti od toho, kde v tomto spektre stojíte.

obchodný typ

Príspevok AI

Úloha inžiniera

Zhrnutie literatúry/normy

Extrahovanie výpisu z dlhého dokumentu

Porovnajte článok s pôvodným textom

Ručný výpočet / predbežné dimenzovanie

Nastavenie vzorca, prvé číslo

Kontrola jednotiek, hodností a predpokladov

Analytický kód / skriptovanie

Generovanie kostry a logiky

Validácia s testovacím vstupom, testovanie jednotiek

Návrh správy/požiadaviek

Navrhovanie štruktúry a rozprávania

Prepojte každý výraz so zdrojom a požiadavkou

Analýza dát / skenovanie anomálií

Extrakcia vzoru a kandidátskej udalosti

Potvrdenie so surovými údajmi a fyzikou

Rozhodnutie o bezpečnosti/certifikácii

Príprava analytického materiálu

Záverečné vyhodnotenie, kontrola a podpis

Pravidlo je jednoduché: riziko výstupu AI sa rovná škode, ktorú spôsobí, ak výstup urobí chybu. Nesprávne napísanie názvu snímky je neškodné; Vypočítať koeficient bezpečnosti nosníka krídla ako 0,5 namiesto 1,5 je katastrofa. Prvá otázka, ktorú si treba položiť pred použitím výstupu, je: „Čo sa stane, ak je to nesprávne, kto sa zraní a kto si to všimne?“

Pozor: AI vytvára plynulý a sebavedomý text. Plynulosť nie je zárukou presnosti. Jazykový model vypĺňa medzeru štatisticky „najpravdepodobnejšími“ slovami, aj keď nemá presné údaje; V letectve sa táto výplň môže javiť ako špecifikácia vyrobeného materiálu alebo neexistujúca doložka FAR.

Disciplína kritického overovania bezpečnosti: Tri vrstvy

Kultúra letectva je už postavená na princípe „dôveruj, ale preveruj“; AI by sa mala použiť na posilnenie tohto princípu, nie na jeho oslabenie. Prejdite každý výstup AI cez trojvrstvový filter.

Prvá vrstva je rádová kontrola. Skontrolujte, či je výsledok približne v rámci očakávanej sily 10. Vzletová hmotnosť osobného lietadla je rádovo v desiatkach ton; Ak vám AI povie 800 kg, viete, že ide o chybu bez toho, aby ste zachádzali do detailov.

Druhá vrstva je jednotná a veľkostná konzistencia. Jednou z najnákladnejších chýb v histórii letectva je strata na Mars Climate Orbiter v roku 1999: jeden tím použil librové sekundy, druhý newtonsekundy a približne 327 miliónov dolárov sa stratilo v atmosfére Marsu. Vo výstupe AI by mali byť jednotky jasne uvedené a mala by sa vykonať rozmerová analýza.

Treťou vrstvou je nezávislá reprodukcia. Reprodukujte kritický výsledok druhou metódou (iný manuálny účet, samostatný nástroj alebo druhý inžinier). Dôvera sa zvyšuje, ak dve nezávislé cesty dávajú rovnakú odpoveď; Ak nie, prestaňte, kým nepochopíte, prečo je to iné.

Tip: Keď požiadate AI o výsledok, položte rovnakú otázku aj naopak. Povedzte „vypočítajte priestor potrebný pre toto krídlo“ a potom povedzte „spätne vypočítajte zaťaženie krídla s priestorom, ktorý ste mu dali, a porovnajte ho s typickým rozostupom dopravného lietadla“. Požiadanie modelu o krížovú kontrolu vlastného výstupu zviditeľní tiché chyby.

Kontrola exportu a súkromie: Súkromná hranica letectva

Letecké technológie podliehajú kontrole vývozu vo väčšine krajín. V USA sa to riadi ITAR (International Traffic In Arms Regulations) a EAR (Export Administration Regulations) (pravidlá regulujúce technológiu dvojakého použitia). Zadanie utajovaného algoritmu riadenia rakiet, údajov o pohone satelitov alebo výkonového parametra vojenského lietadla do nekontrolovanej externej služby AI by mohlo byť porušením vývozu, stratou duševného vlastníctva a porušením zmluvy.

Základné pravidlo: nikdy nezadávajte skutočné, dôverné alebo kontrolované technické údaje do neschváleného externého nástroja. Namiesto toho anonymizujte kontext a nahraďte reálne čísla reprezentatívnymi hodnotami. Napríklad namiesto zdieľania skutočnej krivky ťahu motora sa opýtajte „opíšte všeobecnú formu typického vzťahu ťahu a rýchlosti turbodúchadla“.

Slabá výzva / Silná výzva

Nasledujúce dve výzvy majú rovnaký účel, ale jedna porušuje dôvernosť a dostáva neoveriteľnú odpoveď.

Slabá výzva:

Bezpilotné vozidlo XR-7 v našom projekte má rozpätie krídel 4,2 m, hmotnosť 38 kg, motor a rýchlosť. Povedz mi optimálnu nadmorskú výšku.

Výkonná výzva:

Úloha: Ste konzultant v oblasti aerodynamiky letectva. Kontext: Robím všeobecnú analýzu pre malý UAV s pevným krídlom (hodnoty sú reprezentatívne, nie skutočné projektové údaje): rozpätie krídel ~4 m, hmotnosť ~40 kg, rýchlosť letu ~25 m/s. Úloha: Vysvetlite fyzikálne princípy, ktoré určujú najlepšiu výšku dosahu a uveďte, aké parametre by som mal merať. Obmedzenie: Napíšte jasne každý vzorec a predpoklad; Ak uvediete číselný výsledok, uveďte jednotku a pridajte spôsob overenia.

Výkonná výzva chráni skutočné údaje projektu, objasňuje úlohu a obmedzenie a vyžaduje overovaciu cestu.

Kopírovateľné šablóny výziev

Môžete použiť štyri šablóny nižšie tak, že ich prispôsobíte svojmu podnikaniu. Vo všetkých je zakotvená disciplína anonymizácie a overovania.

Šablóna 1 – Povinná požiadavka na overenie pre výstup kritický z hľadiska bezpečnosti:

Úloha: Ste vedúci letecký inžinier a hodíte sa do disciplíny kritickej z hľadiska bezpečnosti. Kontext: [Anonymizovaný problém; reprezentatívne hodnoty, nie skutočné údaje projektu].Úloha: [Analýza/výpočet, ktorý chcem].Obmedzenie:- Napíšte jednotku každého čísla.- Jasne uveďte každý vzorec a predpoklad, ktorý používate.- Porovnajte rádovú veľkosť výsledku so známou referenciou.- V poslednom kroku uveďte kontrolný plán s textom „ako môžem nezávisle overiť tento výstup“. Ak existuje neistota, nehádajte; Opýtajte sa, aké údaje potrebujete.

Šablóna 2 – Krížová kontrola (model testujúci svoj vlastný výstup):

Teraz vypočítajte hodnotu [výsledok], ktorú ste práve zadali, pomocou nezávislej metódy: použite iný vzorec alebo inverzné riešenie. Súhlasia tieto dva výsledky? Ak nie, uveďte možné zdroje chýb (jednotka, predpoklad, výber vzorca). Označte krok, ktorým si nie ste istí.

Šablóna 3 – Overiteľná žiadosť o štandardné/zdrojové priradenie:

Uveďte príslušné certifikačné/štandardné látky pre [predmet]. Pre každú látku: štandardný názov, číslo látky a súhrn látky. UPOZORNENIE: Nepíšte číslo látky, ak si nie ste istý. Označte ho ako „musí byť overené“. Poskytovanie vymyslených odkazov; Ak nevieš, povedz, že nevieš. Tiež mi povedzte, ako potvrdiť tieto položky z pôvodného textu.

Šablóna 4 – Predbežná kontrola anonymizácie (pred zdieľaním):

Pred zadaním do externého nástroja AI potrebujem vyčistiť nasledujúci text z dôvodu kontroly exportu (ITAR/EAR) a dôvernosti spoločnosti. Označte v texte potenciálne citlivé prvky (skutočné čísla dielov, hodnoty výkonu, názvy projektov, informácie o dodávateľoch) a navrhnite reprezentatívnu/anonymnú náhradu pre každý z nich. Text: [prilepte sem]

Mini kufríky

Prípad 1 – Vymyslená štandardná doložka. Na podporu odôvodnenia návrhu sa mladší inžinier pýta AI „ktorá klauzula FAR to nariaďuje?“ AI cituje klauzulu „FAR 25.1493“, ktorá v skutočnosti neexistuje. Keď inžinier porovná text s pôvodným predpisom, vidí, že doložka je vymyslená a nájde správnu doložku (14 CFR 25.303, faktor bezpečnosti). Lekcia: Každá štandardná referencia poskytnutá AI je overená z pôvodného textu.

Prípad 2 – Jednotková pasca. Tímu pomáha AI pri výpočte ťahu. AI udáva ťah 5000, ale jeho jednotka "lbf alebo N" zostáva nejasná. Medzi 5000 lbf a 5000 N je približne 4,45-násobný rozdiel; Tento rozdiel úplne mení výber motora. Ak jednotka posádky pokračuje bez výslovného opýtania, zamieri do nesprávnej triedy motora. Poučenie: žiadne číslo bez jednotky nie je akceptované.

Prípad 3 – Kontrola hodnosti zachraňuje životy. Tím študentov nechal AI vypočítať delta-v (požiadavku na zmenu rýchlosti) pre raketu a dostal výsledok 95 m/s. Typická delta-v na dosiahnutie nízkej obežnej dráhy je asi 9,4 km/s, t.j. rádovo 9400 m/s. Rozdiel asi 100-násobok okamžite prezradí chybu úpravy; žiaci nájdu v rovnici chybu základného logaritmu. Poučenie: vždy porovnajte výsledok so známym referenčným rozsahom.

Časté chyby

  • Zámena plynulosti za presnosť. Dobre napísané vysvetlenie môže byť číselne nesprávne. Kvalita textu a presnosť výsledku sú dve rozdielne veci.
  • Prijatie bezjednotkového čísla. V letectve je číslo, ktoré nešpecifikuje jednotku, nedefinované číslo. Zámeny lbf/N, ft/m, uzol/m·s sú chyby, ktoré končia kariéru.
  • Zadávanie dôverných údajov do externého nástroja. ITAR/EAR a porušenie dôvernosti spoločnosti; Po úniku nie je možné získať technické údaje.
  • Dôverovať jedinému zdroju. Použitie kritického výsledku bez toho, aby sa dosiahol druhým spôsobom, je porušením najzákladnejšieho pravidla disciplíny kritickej z hľadiska bezpečnosti.
  • Neoveruje sa štandardná atribúcia. Čísla položiek uvedené AI môžu byť falošné; Každá referencia je potvrdená z pôvodného predpisu.

V súhrne

AI dramaticky urýchľuje opakujúcu sa prácu s výpočtami, kódom, dokumentmi a údajmi v leteckom inžinierstve; ale rozhodnutia, ktoré určujú bezpečnosť, letovú spôsobilosť a úspech misie, zostávajú na kvalifikovanej osobe. Každý výstup musí byť filtrovaný cez rádovú veľkosť, jednotkovú konzistenciu a nezávislú reprodukciu. Z dôvodu kontroly exportu (ITAR/EAR) a dôvernosti by mali byť skutočné technické údaje anonymizované a mali by sa používať iba schválené nástroje. Táto disciplína je predpokladom pre všetky nasledujúce jednotky.

Aplikačná úloha

Vyberte si inžiniersku otázku z vašej oblasti (aerodynamika, štruktúra, riadenie, letectvo, výroba). Najprv zadajte „slabú výzvu“ a opýtajte sa AI; Potom napíšte výzvu na zapnutie, ktorá obsahuje rolu, anonymizovaný kontext, obmedzenie a požiadavku na overenie, a znova položte rovnakú otázku. Porovnajte dve odpovede z hľadiska rádovej veľkosti a jednotkovej konzistencie a potvrďte aspoň jeden výsledok nezávislým ručným výpočtom. Zhrňte svoje zistenia na pol strany.

kontrolný zoznam

  • [ ] Riziko výstupu som vyhodnotil otázkou "kto sa zraní, ak je to zle?"
  • [ ] Výsledok som rádovo porovnal so známou referenciou.
  • [ ] Jednoznačne mám potvrdenú jednotku všetkých čísel.
  • [ ] Kritický výsledok som reprodukoval druhou nezávislou metódou.
  • [ ] Namiesto skutočných/dôverných technických údajov som použil anonymizovanú reprezentatívnu hodnotu.
  • [ ] Overil som každú citáciu štandardu/zdroja uvedenú AI z pôvodného textu.