Jedinica 1 / 11

Uvod u umjetnu inteligenciju i sigurnosno kritičnu verifikacijsku disciplinu u zrakoplovstvu

Dobici:

  • Sposobnost razlikovanja gdje umjetna inteligencija štedi stvarno vrijeme u tijeku rada zrakoplovnog inženjeringa i koje bi odluke trebale ostati na ljudima iz sigurnosnih i odgovornih razloga
  • Sposobnost primjene discipline kritične za sigurnost koja provjerava svaki inženjerski rezultat po redu veličine, dosljednosti jedinice i neovisnoj reprodukciji
  • Sposobnost stjecanja navike postavljanja upita anonimiziranjem konteksta radi zaštite ITAR/EAR kontrole izvoza i povjerljivih podataka o dizajnu

Pogledajte stol zrakoplovnog inženjera: izračuni opterećenja krila, rezultati konačnih elemenata, podaci iz zračnog tunela, zapisi o ispitivanju leta, certifikacijski dokumenti, korespondencija s dobavljačima i beskrajni sastanci. Vrijeme posvećeno stvarnoj inženjerskoj prosudbi, odnosno pitanjima "je li ovaj broj siguran, hoće li ovaj dizajn letjeti, je li ovaj rizik prihvatljiv?" smrvljen je pod ponavljajućim obračunom i radom na dokumentima. Tu na scenu stupa umjetna inteligencija (skraćeno AI; softver koji radi na tekstu, kodu i brojevima s velikim jezičnim modelom i strojnim učenjem). AI ne donosi odluke umjesto vas; Priprema vas za odluku, izrađuje nacrt, ubrzava izračun i stavlja obrađene informacije pred vas.

Međutim, zrakoplovstvo i svemir je područje u kojem se pogreške ne mjere u tekstu, već u životima i milijunima dolara. Referenca napravljena jezičnim modelom, netočna pretvorba jedinica ili "razumno izgledajući", ali fizički nemogući rezultat mogu biti manji popravak u drugim industrijama, ali ovdje mogu postati strukturalni kvar ili gubitak misije. Zato ćemo tijekom ovog modula pozicionirati AI ne kao "automatskog inženjera", već kao pomoćnika koji podliježe sigurnosno kritičnoj disciplini čiji se rezultat svaki put provjerava.

U ovoj prvoj jedinici razjašnjavamo tri stvari: u kojim fazama tijeka rada u zrakoplovstvu umjetna inteligencija dodaje pravu vrijednost, koje odluke moraju ostati isključivo u rukama kvalificiranih ljudi i koje se discipline provjere, kontrole izvoza i povjerljivosti morate pridržavati pri tome. Bez pravilno postavljenog krova, tehnike na sljedećim jedinicama mogu postati opasne.

Koncepti: Halucinacija: AI-jeva uvjerljiva izmišljotina broja, jednadžbe, standardne stavke ili izvora koji zapravo ne postoji. Kontekst: Unos koji dajete AI (podaci o dizajnu, pretpostavke, pitanje). Provjera: Provjera rezultata neovisnim sredstvom (ručni izračun, drugi alat, standardni tekst). Ova tri koncepta okosnica su cijelog modula.

U kojim je poduzećima AI Accelerator, u kojim je poduzećima rizičan?

Zrakoplovne misije spadaju u dvosmjerni spektar u smislu njihovih posljedica. Na jednom kraju nalaze se dohvatljive pripreme s niskim rizikom (sažetak literature, kostur koda, nacrt prezentacije); S druge strane, postoje ireverzibilne odluke (sigurnosni koeficijent, zakon upravljanja, orbitalno vrijeme sagorijevanja) koje izravno određuju plovidbenost, sigurnost života i uspjeh misije. Vrijednost AI-a varira ovisno o tome gdje se nalazite na ovom spektru.

vrsta poslovanja

AI doprinos

Uloga inženjera

Literatura/standardni sažetak

Izdvajanje izvatka iz dugog dokumenta

Usporedite članak s izvornim tekstom

Ručni izračun / preddimenzioniranje

Postavka formule, prvi broj

Provjera jedinice, čina i pretpostavke

Kod analize / skriptiranje

Kostur i generiranje logike

Validacija s testnim unosom, jedinično testiranje

Nacrt izvješća/zahtjeva

Sugeriranje strukture i naracije

Povežite svaki izraz s resursom i zahtjevom

Analiza podataka / skeniranje anomalija

Ekstrakcija događaja uzorka i kandidata

Potvrda s neobrađenim podacima i fizikom

Odluka o sigurnosti/certifikaciji

Priprema materijala za analizu

Konačna ocjena, pregled i potpis

Pravilo je jednostavno: rizik izlaza umjetne inteligencije jednak je šteti koju će nanijeti ako taj izlaz napravi pogrešku. Pogrešno pisanje naslova slajda je bezopasno; Izračunavanje sigurnosnog koeficijenta krila na 0,5 umjesto 1,5 je katastrofa. Dakle, prvo pitanje koje treba postaviti prije korištenja izlaza je: "Što se događa ako ovo nije u redu, tko se ozlijedi i tko primijeti?"

Pažnja: AI proizvodi tečan i siguran tekst. Tečnost nije jamstvo točnosti. Jezični model popunjava prazninu sa statistički "najvjerojatnijim" riječima, čak i ako nema točne podatke; U zrakoplovstvu se ovo popunjavanje može pojaviti kao izmišljena specifikacija materijala ili nepostojeća FAR klauzula.

Sigurnosno kritična disciplina verifikacije: tri razine

Zrakoplovna kultura već je izgrađena na principu "vjeruj, ali provjeri"; AI treba koristiti za jačanje ovog principa, a ne za njegovo slabljenje. Propustite svaki AI izlaz kroz troslojni filter.

Prvi sloj je kontrola reda veličine. Pogledajte je li rezultat otprilike unutar očekivanog raspona snage 10. Uzletna masa putničkog aviona je reda veličine desetaka tona; Ako vam AI kaže 800 kg, znajte da je u pitanju pogreška, a da ne ulazite u detalje.

Drugi sloj je dosljednost jedinice i veličine. Jedna od najskupljih pogrešaka u povijesti zrakoplovstva je gubitak Mars Climate Orbitera 1999. godine: jedan tim je koristio funt-sekunde, drugi newton-sekunde, a letjelica vrijedna oko 327 milijuna dolara izgubljena je u atmosferi Marsa. U AI izlazu, jedinice bi trebale biti jasno navedene i trebala bi se izvršiti dimenzionalna analiza.

Treći sloj je samostalna reprodukcija. Reproducirajte kritični rezultat drugom metodom (drugim ručnim računom, zasebnim alatom ili drugim inženjerom). Povjerenje se povećava ako dva neovisna puta daju isti odgovor; Ako ne, prestanite dok ne shvatite zašto je drugačije.

Savjet: kada od umjetne inteligencije tražite rezultat, također postavite isto pitanje obrnuto. Recite "izračunajte prostor potreban za ovo krilo", a zatim recite "izračunajte opterećenje krila s prostorom koji ste mu dali i usporedite ga s tipičnim razmakom za zrakoplov." Tražiti od modela da unakrsno provjeri vlastiti izlaz čini tihe pogreške vidljivima.

Kontrola izvoza i privatnost: Privatna granica zrakoplovstva

Zrakoplovne tehnologije podliježu kontroli izvoza u većini zemalja. U SAD-u to reguliraju ITAR (Propisi o međunarodnom prometu oružjem) i EAR (Propisi o izvozu) (pravila koja reguliraju tehnologiju dvostruke namjene). Unos klasificiranog algoritma upravljanja projektilima, podataka o satelitskom pogonu ili parametra performansi vojnog zrakoplova u nekontroliranu vanjsku uslugu umjetne inteligencije može biti i kršenje izvoza, gubitak intelektualnog vlasništva i kršenje ugovora.

Osnovno pravilo: nikada ne unosite stvarne, povjerljive ili kontrolirane tehničke podatke u neodobreni vanjski alat. Umjesto toga, anonimizirajte kontekst i zamijenite stvarne brojeve reprezentativnim vrijednostima. Na primjer, umjesto dijeljenja stvarne krivulje potiska motora, pitajte "opišite opći oblik tipičnog odnosa potiska i brzine turboventilatorskog motora."

Slab upit / Jak upit

Sljedeća dva upita imaju istu svrhu, ali jedan krši povjerljivost i prima odgovor koji se ne može provjeriti.

Slab upit:

Bespilotno vozilo XR-7 u našem projektu ima raspon krila od 4,2 m, težinu od 38 kg, motor i anvelopu brzine. Recite mi optimalnu nadmorsku visinu.

Snažan upit:

Uloga: Vi ste konzultant za aerodinamiku u zrakoplovstvu. Kontekst: Radim opću analizu za mali UAV s fiksnim krilima (vrijednosti su reprezentativne, a ne stvarni projektni podaci): raspon krila ~4 m, masa ~40 kg, brzina krstarenja ~25 m/s. Zadatak: Objasnite fizičke principe koji određuju najbolju nadmorsku visinu i navedite koje parametre trebam mjeriti. Ograničenje: jasno napišite svaku formulu i pretpostavku; Ako dajete numerički rezultat, navedite jedinicu i dodajte kako to provjeriti.

Moćni prompt štiti stvarne podatke projekta, pojašnjava ulogu i ograničenje i zahtijeva put provjere.

Predlošci upita koji se mogu kopirati

Možete koristiti četiri predloška u nastavku tako da ih prilagodite vlastitom poslovanju. Svi oni ugrađuju disciplinu anonimizacije i verifikacije.

Predložak 1 — obavezni zahtjev za provjeru valjanosti za sigurnosno kritičan izlaz:

Uloga: Vi ste viši zrakoplovni inženjer i odgovarate disciplini kritičnoj za sigurnost. Kontekst: [Anonimizirani problem; reprezentativne vrijednosti, a ne stvarni projektni podaci]. Zadatak: [Analiza/izračun koji želim]. Ograničenje:- Napišite jedinicu svakog broja.- Jasno navedite svaku formulu i pretpostavku koju koristite.- Usporedite redoslijed veličine rezultata s poznatom referencom.- U posljednjem koraku dajte kontrolni plan koji kaže "kako mogu neovisno provjeriti ovaj rezultat". Ako postoji neizvjesnost, ne nagađajte; Pitajte koje podatke trebate.

Predložak 2 — Unakrsna provjera (model testira vlastiti rezultat):

Sada izračunajte [rezultat] vrijednost koju ste upravo dali pomoću neovisne metode: upotrijebite drugu formulu ili inverzno rješenje. Slažu li se dva rezultata? Ako nije, navedite moguće izvore pogreške (jedinica, pretpostavka, odabir formule). Označite korak za koji niste sigurni.

Predložak 3 — Provjerljivi zahtjev za atribuciju standarda/izvora:

Navedite relevantne certificirane/standardne tvari za [predmet]. Za svaku tvar: standardni naziv, broj tvari i sažetak tvari. UPOZORENJE: Nemojte pisati broj tvari ako niste sigurni. Označite kao "mora se provjeriti". Davanje izmišljenih referenci; Ako ne znaš, reci mi da ne znaš. Također mi reci kako potvrditi ove stavke iz izvornog teksta.

Predložak 4 — prethodna provjera anonimizacije (prije dijeljenja):

Moram obrisati sljedeći tekst za kontrolu izvoza (ITAR/EAR) i povjerljivost tvrtke prije nego što ga unesem u vanjski AI alat. Označite potencijalno osjetljive elemente u tekstu (stvarni brojevi dijelova, vrijednosti performansi, nazivi projekata, informacije o dobavljačima) i predložite reprezentativnu/anonimnu zamjenu za svaki. Tekst: [zalijepi ovdje]

Mini kućišta

Slučaj 1 — Izmišljena standardna klauzula. Kako bi podržao obrazloženje dizajna, mlađi inženjer pita AI "koja FAR klauzula to nalaže?" AI navodi klauzulu "FAR 25.1493" koja zapravo ne postoji. Kada inženjer usporedi tekst s izvornim propisom, vidi da je klauzula izmišljena i pronalazi ispravnu klauzulu (14 CFR 25.303, faktor sigurnosti). Lekcija: Svaka standardna referenca koju daje AI provjerena je iz izvornog teksta.

Slučaj 2 — Zamka jedinice. Tim dobiva pomoć od umjetne inteligencije u izračunu potiska. AI daje potisak kao 5000, ali njegova jedinica "lbf ili N" ostaje nejasna. Postoji otprilike 4,45 puta razlika između 5000 lbf i 5000 N; Ova razlika potpuno mijenja izbor motora. Ako jedinica posade nastavi bez izričitog upita, krenut će prema krivoj klasi motora. Lekcija: bilo koji broj bez jedinice nije prihvaćen.

Slučaj 3 — Kontrola ranga spašava živote. Tim studenata dao je AI-ju da izračuna delta-v (zahtjev za promjenom brzine) za raketu i dobili su rezultat od 95 m/s. Tipična delta-v za postizanje niske orbite je oko 9,4 km/s, tj. reda veličine 9400 m/s. Razlika od oko 100 puta odmah odaje grešku u uređivanju; učenici pronalaze pogrešku osnovnog logaritma u jednadžbi. Lekcija: uvijek usporedite rezultat s poznatim referentnim rasponom.

Uobičajene greške

  • Zamjena tečnosti za točnost. Dobro napisano objašnjenje može biti brojčano netočno. Kvaliteta teksta i točnost rezultata dvije su različite stvari.
  • Prihvaćanje broja bez jedinice. U zrakoplovstvu, broj koji ne specificira jedinicu je nedefiniran broj. lbf/N, ft/m, čvor/m·s zabune su pogreške koje završavaju karijeru.
  • Unos povjerljivih podataka u vanjski alat. ITAR/EAR i kršenje povjerljivosti tvrtke; Nakon što procure, tehnički podaci se ne mogu dohvatiti.
  • Vjerovanje jednom izvoru. Korištenje kritičnog rezultata bez njegovog stvaranja na drugi način predstavlja kršenje temeljnog pravila sigurnosno kritične discipline.
  • Ne provjerava standardnu ​​atribuciju. Brojevi stavki koje daje AI mogu biti lažni; Svaka referenca je potvrđena iz izvornog propisa.

Ukratko

AI dramatično ubrzava ponavljajući rad izračuna, koda, dokumenata i podataka u zrakoplovnom inženjerstvu; ali odluke koje određuju sigurnost, plovidbenost i uspjeh misije ostaju na kvalificiranoj osobi. Svaki izlaz mora biti filtriran kroz red veličine, dosljednost jedinice i neovisnu reprodukciju. Zbog kontrole izvoza (ITAR/EAR) i razloga povjerljivosti, stvarni tehnički podaci trebaju biti anonimizirani i trebaju se koristiti samo odobreni alati. Ova disciplina je preduvjet za sve naredne jedinice.

Zadatak aplikacije

Odaberite inženjersko pitanje iz svog područja (aerodinamika, struktura, upravljanje, zrakoplovstvo, proizvodnja). Prvo upišite "slab upit" i pitajte AI; Zatim napišite "power prompt" koji uključuje ulogu, anonimizirani kontekst, ograničenje i zahtjev za provjeru i ponovno postavite isto pitanje. Usporedite dva odgovora u smislu reda veličine i dosljednosti jedinica i potvrdite barem jedan rezultat neovisnim izračunom ruke. Sažmite svoja otkrića na pola stranice.

popis za provjeru

  • [ ] Procijenio sam rizik izlaza s pitanjem "tko će biti povrijeđen ako je krivo?"
  • [ ] Usporedio sam rezultat s poznatom referencom u smislu redova veličina.
  • [ ] Jasno sam potvrdio jedinicu svih brojeva.
  • [ ] Reproducirao sam kritični rezultat drugom nezavisnom metodom.
  • [ ] Koristio sam anonimiziranu reprezentativnu vrijednost umjesto stvarnih/povjerljivih tehničkih podataka.
  • [ ] Provjerio sam svaki standardni/izvorni citat koji je dao AI iz izvornog teksta.