Egység 1 / 11

Bevezetés a mesterséges intelligenciába és a repülésbiztonsági szempontból kritikus ellenőrzési szakágba

Nyereség:

  • Képes megkülönböztetni, hogy a mesterséges intelligencia hol takarít meg valós időt az űrhajózási mérnöki munkafolyamat során, és mely döntések maradjanak az embereknél biztonsági és felelősségi okokból
  • Képes a biztonság szempontjából kritikus fegyelem alkalmazására, amely minden mérnöki teljesítményt nagyságrenddel, egységkonzisztenciával és független reprodukálással igazol.
  • Az ITAR/EAR exportellenőrzés és a bizalmas tervezési adatok védelme érdekében megszokhatta a kontextus anonimizálásával történő felszólítást.

Tekintse meg a repülőgép-mérnöki asztalt: szárnyterhelési számítások, végeselem-eredmények, szélcsatorna adatok, repülési tesztek jegyzőkönyvei, tanúsítási dokumentumok, beszállítói levelezés és végtelen megbeszélések. A tényleges mérnöki megítélésre fordított idő, vagyis a "biztonságos-e ez a szám, repül-e ez a konstrukció, elfogadható-e ez a kockázat?" összetörik az ismétlődő számítási és dokumentálási munka alatt. Itt jön képbe a mesterséges intelligencia (röviden AI; olyan szoftver, amely szövegen, kódon és számokon dolgozik nagy nyelvi modellel és gépi tanulással). A mesterséges intelligencia nem hozza meg helyetted a döntést; Felkészít a döntésre, tervezetet készít, felgyorsítja a számítást és eléd tárja a feldolgozott információkat.

A repülés és az űr azonban olyan terület, ahol a hibát nem szövegben, hanem életekben és dollármilliókban mérik. Egy nyelvi modell által tett hivatkozás, egy hibás mértékegység-átalakítás vagy egy „ésszerűnek tűnő”, de fizikailag lehetetlen eredmény más iparágakban kisebb javítást jelenthet, de itt szerkezeti kudarc vagy küldetéskiesés lehet. Éppen ezért ebben a modulban az AI-t nem „automatikus mérnökként”, hanem a biztonságkritikus fegyelem alá tartozó asszisztensként fogjuk pozícionálni, és a kimenetet minden alkalommal ellenőrizzük.

Ebben az első részben három dolgot tisztázunk: az űrhajózási munkafolyamat mely szakaszaiban jelent valódi értéket a mesterséges intelligencia, milyen döntéseket kell szigorúan képzett emberek kezében meghozni, és milyen ellenőrzési, exportellenőrzési és titoktartási szabályokat kell betartania ennek során. Ennek a tetőnek a megfelelő felszerelése nélkül a következő egységek technikái veszélyessé válhatnak.

Fogalmak: Hallucináció: A mesterséges intelligencia meggyőző kitalációja egy számról, egyenletről, szabványos elemről vagy forrásról, amely valójában nem létezik. Kontextus: Az AI-nak adott bemenet (tervezési adatok, feltételezések, kérdés). Ellenőrzés: A kimenet ellenőrzése független eszközzel (kézi számítás, második eszköz, standard szöveg). Ez a három koncepció alkotja az egész modul gerincét.

Mely vállalkozásoknál az AI Accelerator, mely vállalkozásoknál kockázatos?

A repülési küldetések következményeiket tekintve kétirányú spektrummal foglalkoznak. Az egyik végén visszakereshető, alacsony kockázatú előkészítő munka található (irodalmi összefoglaló, kódváz, bemutató vázlat); A másik végén pedig visszafordíthatatlan döntések vannak (biztonsági együttható, szabályozási törvény, keringési idő), amelyek közvetlenül meghatározzák a légialkalmasságot, az életbiztonságot és a küldetés sikerességét. Az AI értéke attól függően változik, hogy hol áll ezen a spektrumon.

üzleti típus

AI hozzájárulás

Mérnök szerepe

Irodalom/standard összefoglaló

Kivonat kinyerése hosszú dokumentumból

Hasonlítsa össze a cikket az eredeti szöveggel

Kézi számítás / előméretezés

Képlet beállítás, első szám

Mértékegység, rang és feltételezés ellenőrzése

Elemző kód / szkript

Csontváz és logika generálása

Érvényesítés tesztbevitellel, egységteszt

Jelentés/követelmény-tervezet

Javasolt szerkezet és narratíva

Minden kifejezést kapcsoljon az erőforráshoz és a követelményhez

Adatelemzés / anomália szkennelés

Minta- és jelöltesemény-kinyerés

Megerősítés nyers adatokkal és fizikával

Biztonsági/tanúsítványi döntés

Elemző anyag előkészítése

Végső értékelés, felülvizsgálat és aláírás

A szabály egyszerű: az AI kimenet kockázata megegyezik azzal a kárral, amelyet akkor ér, ha a kimenet hibázik. A dia címének elírása ártalmatlan; A szárnyszárny biztonsági együtthatóját 1,5 helyett 0,5-re számolni katasztrófa. Tehát az első kérdés, amelyet fel kell tenni a kimenet használata előtt: "Mi történik, ha ez rossz, ki sérül meg, és ki veszi észre?"

Figyelem: Az AI gördülékeny és magabiztos szöveget készít. A folyékonyság nem garancia a pontosságra. Egy nyelvi modell kitölti a hiányt statisztikailag "legvalószínűbb" szavakkal, még akkor is, ha nem rendelkezik pontos adatokkal; A légi közlekedésben ez a kitöltési lehetőség kitalált anyagspecifikációnak vagy nem létező FAR-záradéknak tűnhet.

Biztonságkritikus ellenőrzési fegyelem: három réteg

A repülési kultúra már a „bízz, de ellenőrizd” elvére épül; Az AI-t ennek az elvnek a megerősítésére kell használni, nem pedig gyengíteni. Minden AI kimenetet engedjen át egy háromrétegű szűrőn.

Az első réteg a nagyságrendi szabályozás. Nézze meg, hogy az eredmény nagyjából a 10-es tartományon belül van-e. Egy utasszállító repülőgép felszálló tömege tíz tonnás nagyságrendű; Ha a mesterséges intelligencia 800 kg-ot mond, akkor anélkül, hogy részletezné, tudja, hogy hiba történt.

A második réteg egységnyi és méretű konzisztencia. A repüléstörténet egyik legköltségesebb hibája az 1999-es Mars Climate Orbiter veszteség: az egyik csapat fontmásodperceket, a másik newtonmásodperceket használt, és a mintegy 327 millió dolláros űreszköz elveszett a marsi légkörben. Az AI kimenetben egyértelműen fel kell tüntetni az egységeket, és el kell végezni a méretelemzést.

A harmadik réteg a független reprodukció. A kritikus eredmény reprodukálása egy második módszerrel (egy másik kézi fiókkal, egy külön eszközzel vagy egy második mérnökkel). A bizalom nő, ha két független út ugyanazt a választ adja; Ha nem, hagyd abba, amíg meg nem érted, miért más.

Tipp: Ha eredményt kér az AI-tól, tedd fel ugyanezt a kérdést fordítottan is. Mondja azt, hogy "számítsa ki a szárnyhoz szükséges helyet", majd mondja azt, hogy "számolja vissza a szárnyterhelést az Ön által adott térrel, és hasonlítsa össze a tipikus utasszállító távolsággal". Ha megkérjük a modellt, hogy ellenőrizze a saját kimenetét, akkor a néma hibák láthatóak.

Exportellenőrzés és adatvédelem: A repülés magánhatára

A repüléstechnikai technológiák a legtöbb országban export-ellenőrzés alá esnek. Az Egyesült Államokban ezt az ITAR (International Traffic in Arms Regulations) és az EAR (Export Administration Regulations) (kettős felhasználású technológiát szabályozó szabályok) szabályozzák. A minősített rakétavezérlő algoritmus, a műhold meghajtási adatai vagy a katonai repülőgép teljesítményparamétereinek bevitele egy ellenőrizetlen külső mesterséges intelligencia szolgáltatásba exportjogsértés, szellemi tulajdon elvesztése és szerződésszegés is lehet.

Ökölszabály: soha ne írjon be valós, bizalmas vagy ellenőrzött műszaki adatokat nem jóváhagyott külső eszközbe. Ehelyett anonimizálja a kontextust, és helyettesítse a valós számokat reprezentatív értékekkel. Például a tényleges motor tolóerő-görbéjének megosztása helyett kérdezze meg: „Írja le egy tipikus turbóventilátor tolóerő-sebesség kapcsolatának általános formáját”.

Gyenge felszólítás / Erős felszólítás

A következő két felszólításnak ugyanaz a célja, de az egyik sérti a titoktartást, és ellenőrizhetetlen választ kap.

Gyenge felszólítás:

A projektünkben szereplő XR-7 pilóta nélküli jármű szárnyfesztávolsága 4,2 m, tömege 38 kg, motorja és fordulatszáma. Mondja meg az optimális magasságot.

Erőteljes felszólítás:

Munkakör: Ön repülési aerodinamikai tanácsadó. Kontextus: Általános elemzést végzek egy kisméretű, merevszárnyú UAV-ra (az értékek reprezentatívak, nem tényleges projektadatok): szárnyfesztávolság ~4 m, tömeg ~40 kg, utazósebesség ~25 m/s. Feladat: Ismertesse a legjobb tartománymagasságot meghatározó fizikai elveket, és sorolja fel, milyen paramétereket kell mérnem! Kényszer: Írja le világosan az egyes képleteket és feltételezéseket; Ha számszerű eredményt ad meg, adja meg a mértékegységet, és adja meg az ellenőrzés módját.

A hatékony prompt védi a tényleges projektadatokat, tisztázza a szerepet és a kényszert, és ellenőrzési útvonalat kér.

Másolható prompt sablonok

Az alábbi négy sablont használhatja, ha saját vállalkozásához igazítja őket. Mindannyian beágyazzák az anonimizálás és az ellenőrzés szabályait.

1. sablon – A biztonsági szempontból kritikus kimenet kötelező érvényesítési kérelme:

Szerep: Ön vezető repülőgép-mérnök, és megfelel a biztonságkritikus szakterületnek. Kontextus: [Anonimizált probléma; reprezentatív értékek, nem tényleges projektadatok].Feladat: [Az általam kívánt elemzés/számítás].Kényszer:- Írja le az egyes számok mértékegységét.- Tisztán sorolja fel az egyes használt képleteket és feltételezéseket.- Hasonlítsa össze az eredmény nagyságrendjét egy ismert referenciával.- Az utolsó lépésben adjon meg egy szabályozási tervet, amely szerint "hogyan tudom önállóan ellenőrizni ezt a kimenetet". Ha bizonytalanság van, ne találgasson; Kérdezze meg, milyen adatokra van szüksége.

2. sablon – Keresztellenőrzés (a modell saját kimenetét teszteli):

Most számítsa ki az imént megadott [eredmény] értéket egy független módszerrel: használjon egy másik képletet vagy inverz megoldást. Egyetért a két eredmény? Ha nem, sorolja fel a lehetséges hibaforrásokat (mértékegység, feltételezés, képletválasztás). Jelölje be azt a lépést, amelyben nem vagy biztos.

3. sablon – Ellenőrizhető kérelem szabványos/forrás-hozzárendelésre:

Sorolja fel a [tárgy] vonatkozó tanúsítási/standard anyagokat. Minden anyaghoz: szabványos név, anyagszám és az anyag összefoglalása.FIGYELMEZTETÉS: Ne írjon anyagszámot, ha nem biztos benne. Jelölje be, hogy "ellenőrizni kell". Készített referenciák adása; Ha nem tudod, mondd, hogy nem tudod. Azt is mondja meg, hogyan erősíthetem meg ezeket az elemeket az eredeti szövegből.

4. sablon – Anonimizálás előzetes ellenőrzése (megosztás előtt):

A következő szöveget törölnöm kell az export-ellenőrzés (ITAR/EAR) és a vállalati titoktartás érdekében, mielőtt beírnám egy külső AI-eszközbe. Jelölje meg a potenciálisan kényes elemeket a szövegben (tényleges cikkszámok, teljesítményértékek, projektnevek, beszállítói információk), és mindegyikhez javasoljon reprezentatív/névtelen cserét. Szöveg: [illessze be ide]

Mini tokok

1. eset – Kialakított standard záradék. A tervezési indoklás alátámasztására egy fiatal mérnök megkérdezi az AI-t, hogy „melyik FAR záradék írja elő ezt?” Az AI egy „FAR 25.1493” záradékot idéz, amely valójában nem létezik. Amikor a mérnök összehasonlítja a szöveget az eredeti előírással, látja, hogy a záradék kitalált, és megtalálja a megfelelő záradékot (14 CFR 25.303, biztonsági tényező). Tanulság: Minden mesterséges intelligencia által adott szabványos hivatkozás az eredeti szövegből van ellenőrizve.

2. eset – Egységcsapda. Egy csapat segítséget kap az AI-tól a tolóerő kiszámításához. Az AI a tolóerőt 5000-nek adja meg, de az "lbf vagy N" mértékegysége továbbra is tisztázatlan. Körülbelül 4,45-szörös különbség van az 5000 lbf és az 5000 N között; Ez a különbség teljesen megváltoztatja a motorválasztást. Ha a személyzeti egység kifejezett kérés nélkül halad tovább, akkor rossz motorosztály felé indul. Tanulság: mértékegység nélküli szám nem fogadható el.

3. eset – A rangszabályozás életeket ment meg. Egy csapat diák az AI-vel kiszámolta a rakéta delta-v-jét (sebességváltozási követelmény), és 95 m/s eredményt kapott. A tipikus delta-v alacsony pályára jutáshoz körülbelül 9,4 km/s, azaz 9400 m/s nagyságrendű. A körülbelül 100-szoros eltérés azonnal szerkesztési hibáról árulkodik; a tanulók megtalálják az egyenletben az alap logaritmushibát. Tanulság: mindig hasonlítsa össze az eredményt egy ismert referenciatartománnyal.

Gyakori hibák

  • A folyékonyságot összetéveszti a pontossággal. A jól megírt magyarázat számszerűen hibás lehet. A szöveg minősége és az eredmény pontossága két különböző dolog.
  • Egység nélküli szám elfogadása. A repülésben az egységet nem meghatározó szám meghatározatlan szám. Az lbf/N, ft/m, knot/m·s zavarok karrierlezáró hibák.
  • Bizalmas adatok bevitele külső eszközbe. ITAR/EAR és a vállalati titoktartás megsértése; Ha egyszer kiszivárgott, a műszaki adatokat nem lehet visszakeresni.
  • Egyetlen forrásban bízva. A kritikus eredmény másodlagos előállítása nélkül történő felhasználása a biztonságkritikus fegyelem legalapvetőbb szabályának megsértését jelenti.
  • Nem ellenőrizzük a szabványos hozzárendelést. Az AI által megadott cikkszámok hamisak lehetnek; Minden hivatkozás megerősített az eredeti rendeletből.

Összefoglalva

A mesterséges intelligencia drámaian felgyorsítja a számítások, kódok, dokumentumok és adatok ismétlődő munkáját az űrtechnikában; de a biztonságot, a légialkalmasságot és a küldetés sikerességét meghatározó döntések a szakképzett személynél maradnak. Minden kimenetet szűrni kell nagyságrend, egységkonzisztencia és független reprodukálás alapján. Exportellenőrzési (ITAR/EAR) és titoktartási okokból a tényleges műszaki adatokat anonimizálni kell, és csak jóváhagyott eszközöket szabad használni. Ez a fegyelem minden további egység előfeltétele.

Pályázati feladat

Válasszon egy mérnöki kérdést a szakterületéről (aerodinamika, szerkezet, vezérlés, repülés, gyártás). Először írjon be egy "gyenge promptot", és kérdezze meg az AI-t; Ezután írjon egy „bekapcsolási promptot”, amely tartalmazza a szerepet, az anonimizált környezetet, a korlátozást és az ellenőrzési kérelmet, és tegye fel újra ugyanazt a kérdést. Hasonlítsa össze a két választ nagyságrendi és egységkonzisztencia szerint, és erősítse meg legalább egy eredményt független kézi számítással. Foglalja össze a megállapításait egy fél oldalon.

ellenőrző lista

  • [ ] A kimenet kockázatát a "ki sérül meg, ha rossz?" kérdéssel értékeltem.
  • [ ] Az eredményt nagyságrendileg ismert referenciához hasonlítottam.
  • [ ] Egyértelműen megerősítettem az összes szám mértékegységét.
  • [ ] A kritikus eredményt egy második független módszerrel reprodukáltam.
  • [ ] Valódi/bizalmas műszaki adatok helyett anonimizált reprezentatív értéket használtam.
  • [ ] Ellenőriztem az AI által az eredeti szövegből adott minden szabvány-/forrás-hivatkozást.