Jedinica 1 / 11

Uvod u umjetnu inteligenciju i disciplinu provjere kritične za sigurnost u svemiru

Dobici:

  • Sposobnost razlikovanja gdje umjetna inteligencija štedi u stvarnom vremenu u procesu rada u aero-svemirskom inženjerstvu i koje odluke treba da ostanu na ljudima iz sigurnosnih i odgovornih razloga
  • Sposobnost primjene discipline kritične za sigurnost koja provjerava svaki inženjerski rezultat po redu veličine, konzistentnosti jedinice i neovisnoj reprodukciji
  • Sposobnost da steknete naviku pozivanja anonimiziranjem konteksta radi zaštite ITAR/EAR kontrole izvoza i povjerljivih podataka o dizajnu

Pogledajte sto vazduhoplovnog inženjera: proračuni opterećenja krila, rezultati konačnih elemenata, podaci iz aerotunela, zapisi o testiranju leta, dokumenti o certifikaciji, prepiska dobavljača i beskrajni sastanci. Vrijeme posvećeno stvarnoj inženjerskoj prosudbi, odnosno pitanjima "da li je ovaj broj siguran, hoće li ovaj dizajn proći, da li je ovaj rizik prihvatljiv?" je smrvljena pod ponavljajućim proračunom i radom na dokumentima. Ovdje dolazi u obzir umjetna inteligencija (kratko AI; softver koji radi na tekstu, kodu i brojevima s velikim jezičkim modelom i mašinskim učenjem). AI ne donosi odluku umjesto vas; Priprema vas za odluku, pravi nacrt, ubrzava proračun i stavlja obrađene informacije pred vas.

Međutim, avijacija i svemir su polje u kojem se greška ne mjeri u tekstu, već u životima i milionima dolara. Referenca napravljena od strane jezičkog modela, pogrešna konverzija jedinica ili rezultat koji „razumno izgleda“, ali fizički nemoguć, može biti manja popravka u drugim industrijama, ali ovdje može postati strukturalni kvar ili gubitak misije. Zbog toga ćemo kroz ovaj modul AI pozicionirati ne kao „automatskog inženjera“, već kao pomoćnika koji podliježe disciplini kritičnoj za sigurnost čiji se izlaz svaki put provjerava.

U ovoj prvoj cjelini pojašnjavamo tri stvari: u kojim fazama toka rada u vazduhoplovstvu AI dodaje stvarnu vrijednost, koje odluke moraju ostati striktno u rukama kvalifikovanih ljudi i kojih se verifikacije, kontrole izvoza i discipline povjerljivosti morate pridržavati kada to radite. Bez pravilnog postavljanja ovog krova, tehnike na sljedećim jedinicama mogu postati opasne.

Koncepti: Halucinacije: AI uvjerljiva izmišljotina broja, jednačine, standardne stavke ili izvora koji zapravo ne postoji. Kontekst: Ulaz koji dajete AI (podaci o dizajnu, pretpostavke, pitanje). Provjera: Provjera izlaza nezavisnim sredstvima (ručni proračun, drugi alat, standardni tekst). Ova tri koncepta su okosnica cijelog modula.

U kojim preduzećima je AI akcelerator, u kojim je rizičan?

Vazdušne misije spadaju u dvosmerni spektar u smislu njihovih posledica. Na jednom kraju nalaze se pripremni rad sa niskim rizikom koji se može preuzeti (sažetak literature, skelet koda, nacrt prezentacije); S druge strane, postoje nepovratne odluke (sigurnosni koeficijent, zakon kontrole, orbitalno vrijeme gorenja) koje direktno određuju plovidbenost, sigurnost života i uspjeh misije. Vrijednost AI varira ovisno o tome gdje se nalazite u ovom spektru.

poslovni tip

AI doprinos

Inženjerska uloga

Literatura/standardni sažetak

Izvlačenje izvoda iz dugog dokumenta

Uporedite članak sa originalnim tekstom

Ručni proračun / pred-dimenzioniranje

Postavka formule, prvi broj

Provjera jedinice, ranga i pretpostavke

Analiza koda / skriptiranja

Generacija skeleta i logike

Validacija sa testnim unosom, testiranje jedinica

Nacrt izvještaja/zahtjeva

Predložena struktura i narativ

Povežite svaki izraz sa resursom i zahtjevom

Analiza podataka / skeniranje anomalija

Ekstrakcija uzorka i kandidata

Potvrda sa sirovim podacima i fizikom

Odluka o sigurnosti/certifikaciji

Priprema materijala za analizu

Konačna evaluacija, pregled i potpis

Pravilo je jednostavno: rizik od AI izlaza jednak je šteti koju će pretrpjeti ako taj izlaz napravi grešku. Pogrešno napisan naslov slajda je bezopasan; Izračunavanje sigurnosnog koeficijenta kraka krila kao 0,5 umjesto 1,5 je katastrofa. Dakle, prvo pitanje koje treba postaviti prije korištenja izlaza je: "Šta se događa ako ovo nije u redu, ko bude povrijeđen, a ko primijeti?"

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

Sigurnosno-kritična verifikacija Disciplina: tri sloja

Vazduhoplovna kultura je već 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 da li je rezultat otprilike unutar očekivane snage od 10. Masa pri polijetanju putničkog aviona je reda desetina tona; Ako vam AI kaže 800 kg, znate da postoji greška bez ulaženja u detalje.

Drugi sloj je konzistentnost jedinice i veličine. Jedna od najskupljih grešaka u istoriji avijacije je gubitak Mars Climate Orbitera 1999: jedan tim je koristio funte-sekunde, drugi njutn-sekunde, a svemirska letelica od približno 327 miliona dolara izgubljena je u atmosferi Marsa. U AI izlazu treba jasno navesti jedinice i izvršiti analizu dimenzija.

Treći sloj je nezavisna reprodukcija. Reproducirajte kritični rezultat drugom metodom (drugi ručni račun, poseban alat ili drugi inženjer). Samopouzdanje se povećava ako dva nezavisna puta daju isti odgovor; Ako nije, prestanite dok ne shvatite zašto je drugačije.

Savjet: Kada od AI tražite rezultat, postavite isto pitanje i obrnuto. Recite "izračunajte prostor potreban za ovo krilo", a zatim recite "nazad izračunajte opterećenje krila sa prostorom koji ste mu dali i uporedite ga sa tipičnim razmakom aviona." Traženje od modela da unakrsnu provjeru vlastitih izlaza čini tihe greške vidljivim.

Kontrola izvoza i privatnost: privatna granica avijacije

Vazdušne tehnologije podležu kontroli izvoza u većini zemalja. U SAD-u, ovo je regulisano ITAR (Propisi o međunarodnom prometu oružja) i EAR (Propisi o izvoznoj administraciji) (pravila koja regulišu tehnologiju dvostruke upotrebe). Unošenje povjerljivog algoritma za kontrolu projektila, podataka o satelitskom pogonu ili parametara performansi vojnog zrakoplova u nekontroliranu eksternu uslugu umjetne inteligencije moglo bi biti i kršenje izvoza, gubitak intelektualne svojine i kršenje ugovora.

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

Slaba prompt / Jaka prompt

Sljedeća dva upita imaju istu svrhu, ali oba narušavaju povjerljivost i primaju neprovjerljiv odgovor.

Slab upit:

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

Snažan upit:

Uloga: Vi ste konsultant za aerodinamiku u vazduhoplovstvu. 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: Objasniti fizičke principe koji određuju najbolju visinu dometa i navesti koje parametre treba da mjerim. Ograničenje: Jasno napišite svaku formulu i pretpostavku; Ako date brojčani rezultat, navedite jedinicu i dodajte način na koji ćete je provjeriti.

Moćni prompt štiti stvarne podatke projekta, pojašnjava ulogu i ograničenje i traži put za verifikaciju.

Predlošci upita koji se mogu kopirati

Možete koristiti četiri predloška u nastavku tako što ćete ih prilagoditi svom poslu. Svi oni ugrađuju disciplinu anonimizacije i verifikacije.

Šablon 1 — Obavezni zahtjev za provjeru valjanosti za sigurnosno kritičan izlaz:

Uloga: Vi ste viši inžinjer za vazduhoplovstvo i odgovarate disciplini koja je kritična za bezbednost. Kontekst: [Anonimizovani problem; reprezentativne vrijednosti, a ne stvarni projektni podaci]. Zadatak: [Analiza/kalkulacija koju želim]. Ograničenje:- Napišite jedinicu svakog broja.- Jasno navedite svaku formulu i pretpostavku koju koristite.- Uporedite red veličine rezultata sa poznatom referencom.- U posljednjem koraku dajte kontrolni plan koji kaže "kako da nezavisno provjerim ovaj izlaz". Ako postoji nesigurnost, ne pogađajte; Pitajte koji su vam podaci potrebni.

Šablon 2 — Unakrsna provjera (model testira vlastiti izlaz):

Sada izračunajte vrijednost [rezultata] koju ste upravo dali koristeći nezavisnu metodu: koristite drugu formulu ili inverzno rješenje. Da li se ta dva rezultata slažu? Ako nije, navedite moguće izvore grešaka (jedinica, pretpostavka, izbor formule). Označite korak za koji niste sigurni.

Šablon 3 — Provjerljivi zahtjev za standardnu/izvornu atribuciju:

Navedite relevantne certificirane/standardne supstance za [predmet]. Za svaku supstancu: standardni naziv, broj supstance i sažetak supstance. UPOZORENJE: Nemojte pisati broj supstance ako niste sigurni. Označite ga kao "mora biti potvrđeno". Davanje izmišljenih referenci; Ako ne znaš, reci mi da ne znaš. Također mi recite kako da potvrdim ove stavke iz originalnog teksta.

Šablon 4 — Prethodna provjera anonimizacije (prije dijeljenja):

Moram da obrišem sledeći tekst za kontrolu izvoza (ITAR/EAR) i poverljivost kompanije pre nego što ga unesem u eksterni AI alat. Označite potencijalno osjetljive elemente u tekstu (stvarni brojevi dijelova, vrijednosti performansi, nazivi projekata, informacije o dobavljaču) i predložite predstavnike/anonimne zamjene za svaki. Tekst: [zalijepi ovdje]

Mini Cases

Slučaj 1 — Izmišljena standardna klauzula. Kako bi podržao opravdanje dizajna, mlađi inženjer pita AI „koja klauzula FAR to nalaže?“ AI citira klauzulu "FAR 25.1493" koja zapravo ne postoji. Kada inženjer uporedi tekst sa originalnom regulativom, vidi da je klauzula izmišljena i pronalazi ispravnu klauzulu (14 CFR 25.303, faktor sigurnosti). Pouka: Svaka standardna referenca koju daje AI je verifikovana iz originalnog teksta.

Slučaj 2 — Jedinična zamka. Tim dobija pomoć od AI u prorač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 u potpunosti mijenja izbor motora. Ako jedinica posade nastavi bez izričitog pitanja, uputit će se prema pogrešnoj klasi motora. Lekcija: bilo koji broj bez jedinice nije prihvaćen.

Slučaj 3 — Kontrola ranga spašava živote. Tim studenata imao je AI da izračuna delta-v (zahtjev promjene brzine) za raketu i dobio je rezultat od 95 m/s. Tipični delta-v za dostizanje niske orbite je oko 9,4 km/s, odnosno reda veličine 9400 m/s. Razlika od oko 100 puta odmah odaje grešku u uređivanju; učenici pronalaze grešku osnovnog logaritma u jednačini. Pouka: uvijek usporedite rezultat s poznatim referentnim rasponom.

Uobičajene greške

  • Greška tečnost za tačnost. Dobro napisano objašnjenje može biti numerički netačno. Kvalitet teksta i tačnost rezultata su dvije različite stvari.
  • Prihvatanje broja bez jedinica. U vazduhoplovstvu, broj koji ne navodi jedinicu je nedefinisan broj. lbf/N, ft/m, čvor/m·s konfuzije su greške koje završavaju karijeru.
  • Unošenje povjerljivih podataka u eksterni alat. Kršenje povjerljivosti ITAR/EAR-a i kompanije; Jednom kada procure, tehnički podaci se ne mogu povratiti.
  • Vjerovati jednom izvoru. Korištenje kritičnog rezultata bez njegovog proizvođenja na drugi način predstavlja kršenje najosnovnijeg pravila sigurnosno-kritične discipline.
  • Ne provjerava se standardna atribucija. Brojevi stavki koje daje AI mogu biti lažni; Svaka referenca je potvrđena iz originalne uredbe.

Ukratko

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

Zadatak aplikacije

Odaberite inženjersko pitanje iz svoje oblasti (aerodinamika, struktura, kontrola, vazduhoplovstvo, proizvodnja). Prvo otkucajte "slabi prompt" i pitajte AI; Zatim napišite "power prompt" koji uključuje ulogu, anonimizirani kontekst, ograničenje i zahtjev za verifikaciju i ponovo postavite isto pitanje. Uporedite dva odgovora u smislu reda veličine i konzistentnosti jedinice i potvrdite najmanje jedan rezultat nezavisnim ručnim proračunom. Sažmite svoje nalaze na pola stranice.

kontrolna lista

  • [ ] Rizik rezultata sam procijenio pitanjem "ko će biti povrijeđen ako nije u redu?"
  • [ ] Uporedio sam rezultat sa poznatom referencom u smislu redova veličine.
  • [ ] 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 originalnog teksta.