Бірлік 1 / 11

Жасанды интеллектке кіріспе және аэроғарыш саласындағы қауіпсіздік-критикалық тексеру пәні

Табыстар:

  • Аэроғарыштық инженерлік жұмыс процесінде AI нақты уақытты қай жерде үнемдейтінін және қауіпсіздік пен жауапкершілік себептеріне байланысты қандай шешімдер адамдарда қалуы керектігін ажырату мүмкіндігі
  • Әрбір инженерлік өнімді шама, бірлік консистенциясы және тәуелсіз қайта шығару тәртібімен тексеретін қауіпсіздікке қатысты маңызды пәнді қолдану мүмкіндігі
  • ITAR/EAR экспорттық бақылауын және конфиденциалды дизайн деректерін қорғау үшін мәтінмәнді анонимдеу арқылы сұрауды әдетке айналдыру мүмкіндігі

Аэроғарыш инженерінің үстеліне қараңыз: қанат жүктемесін есептеу, соңғы элементтердің нәтижелері, жел туннелі деректері, ұшу сынағы жазбалары, сертификаттау құжаттары, жеткізушілердің хат-хабарлары және шексіз кездесулер. Нақты инженерлік пайымдауға арналған уақыт, яғни «бұл нөмір қауіпсіз бе, бұл дизайн ұшады ма, бұл тәуекелге жол беріледі ме?» деген сұрақтар. қайталанатын есеп-құжат жұмыстарының астында ұсақталады. Дәл осы жерде жасанды интеллект (қысқаша AI; үлкен тіл үлгісімен және машиналық оқытумен мәтін, код және сандармен жұмыс істейтін бағдарламалық жасақтама) ойнайды. AI сіз үшін шешім қабылдамайды; Ол сізді шешім қабылдауға дайындайды, жобаны жасайды, есептеуді жылдамдатады және өңделген ақпаратты алдыңызға қояды.

Дегенмен, авиация мен ғарыш – қате мәтінмен емес, өмірмен және миллиондаған доллармен өлшенетін сала. Тіл үлгісімен жасалған сілтеме, қате бірлікті түрлендіру немесе «ақылға қонымды көрінетін», бірақ физикалық мүмкін емес нәтиже басқа салаларда аздаған түзету болуы мүмкін, бірақ бұл жерде ол құрылымдық сәтсіздікке немесе миссияның жоғалуына айналуы мүмкін. Сондықтан осы модульде біз AI-ны «инженер-автоматика» ретінде емес, қауіпсіздігі бойынша маңызды тәртіпке бағынатын көмекші ретінде орналастырамыз, оның нәтижесі әр уақытта тексеріледі.

Бұл бірінші бөлімде біз үш нәрсені түсіндіреміз: AI аэроғарыштық жұмыс процесінің қай кезеңдерінде нақты құндылық қосады, қандай шешімдер қатаң түрде білікті адамдардың қолында болуы керек және бұл ретте сіз қандай тексеру, экспорттық бақылау және құпиялылық тәртібін сақтауыңыз керек. Бұл шатырды дұрыс орнатпасаңыз, кейінгі қондырғылардағы техникалар қауіпті болуы мүмкін.

Ұғымдар: Галлюцинация: AI нақты жоқ санды, теңдеуді, стандартты элементті немесе көзді сенімді түрде ойлап табуы. Мәтінмән: AI-ға беретін кіріс (дизайн деректері, болжамдар, сұрақ). Тексеру: Шығаруды тәуелсіз құралдармен тексеру (қолмен есептеу, екінші құрал, стандартты мәтін). Бұл үш тұжырымдама бүкіл модульдің негізі болып табылады.

Қандай кәсіпорындарда AI акселераторы бар, қай кәсіпорындарда бұл қауіпті?

Аэроғарыштық миссиялар салдары бойынша екі жақты спектрге түседі. Бір жағында қайта алуға болатын, қауіптілігі төмен дайындық жұмыстары (әдебиеттің қысқаша мазмұны, код қаңқасы, презентация схемасы); Екінші жағынан, ұшу жарамдылығын, өмір қауіпсіздігін және миссияның сәттілігін тікелей анықтайтын қайтымсыз шешімдер (қауіпсіздік коэффициенті, бақылау заңы, орбиталық жану уақыты) бар. AI мәні осы спектрде қай жерде тұрғаныңызға байланысты өзгереді.

бизнес түрі

AI үлесі

Инженер рөлі

Әдебиет/стандартты қорытынды

Ұзын құжаттан үзінді алу

Мақаланы түпнұсқа мәтінімен салыстырыңыз

Қолмен есептеу / алдын ала мөлшерлеу

Формула параметрі, бірінші сан

Бірлік, дәреже және болжамды тексеру

Талдау коды/скрипт жасау

Қаңқа және логикалық генерация

Сынақ енгізуімен валидация, бірлік сынау

Есеп/талаптар жобасы

Құрылымды ұсыну және баяндау

Әрбір өрнекті ресурс пен талапқа байланыстырыңыз

Деректерді талдау / аномалияны сканерлеу

Үлгі және үміткер оқиғасын алу

Шикі деректермен және физикамен растау

Қауіпсіздік/сертификаттау шешімі

Талдау материалын дайындау

Қорытынды бағалау, қарау және қол қою

Ереже қарапайым: AI шығысының қаупі, егер бұл нәтиже қателік жіберсе, ол келтіретін зиянға тең. Слайд тақырыбын қате жазу зиянсыз; Қанат шпагатының қауіпсіздік коэффициентін 1,5 орнына 0,5 деп есептеу – апат. Сонымен, шығысты қолданбас бұрын қойылатын бірінші сұрақ: «Бұл дұрыс емес болса не болады, кім зардап шегеді және кім байқайды?»

Назар аударыңыз: AI еркін және сенімді мәтін шығарады. Еркін сөйлеу дәлдікке кепілдік бермейді. Тілдік модель ол нақты деректері болмаса да, статистикалық «ең ықтимал» сөздермен бос орынды толтырады; Авиацияда бұл бос орынды толтыру материалдың құрастырылған сипаттамасы немесе жоқ FAR тармағы ретінде кездесуі мүмкін.

Қауіпсіздікті тексеру пәні: үш қабат

Авиациялық мәдениет қазірдің өзінде «сенім, бірақ тексер» қағидасы бойынша құрылған; AI бұл принципті әлсірету үшін емес, нығайту үшін қолданылуы керек. Әрбір AI шығысын үш қабатты сүзгіден өткізіңіз.

Бірінші қабат - шаманы бақылау тәртібі. Нәтиже шамамен 10 диапазонның күтілетін қуатында екенін қараңыз. Жолаушылар ұшағының ұшып көтерілу массасы ондаған тоннаны құрайды; Егер AI сізге 800 кг айтса, сіз егжей-тегжейлі айтпай-ақ қате бар екенін білесіз.

Екінші қабат - бірлік пен өлшем консистенциясы. Авиация тарихындағы ең қымбат қателіктердің бірі 1999 жылы Mars Climate Orbiter жоғалуы болып табылады: бір команда фунт-секундтарды, екіншісі Ньютон-секундтарды пайдаланды және шамамен $327 миллион ғарыш кемесі Марс атмосферасында жоғалды. AI шығысында бірліктер нақты көрсетіліп, өлшемдік талдау жасалуы керек.

Үшінші қабат - тәуелсіз репродукция. Сыни нәтижені екінші әдіспен қайта жасаңыз (басқа қолмен тіркелгі, бөлек құрал немесе екінші инженер). Екі тәуелсіз жол бірдей жауап берсе, сенімділік артады; Егер олай болмаса, неге басқаша екенін түсінгенше тоқтаңыз.

Кеңес: AI-дан нәтиже сұраған кезде, сол сұрақты керісінше қойыңыз. «Осы қанатқа қажетті кеңістікті есептеңіз» деп айтыңыз, содан кейін «қанаттың жүктемесін берілген кеңістікпен кері есептеңіз және оны әдеттегі әуе лайнерінің аралығымен салыстырыңыз» деңіз. Модельден өз шығысын салыстырып тексеруді сұрау дыбыссыз қателерді көрсетеді.

Экспортты бақылау және құпиялылық: Авиацияның жеке шекарасы

Көптеген елдерде аэроғарыштық технологиялар экспорттық бақылауға жатады. АҚШ-та бұл ITAR (Халықаралық қару айналымы ережелері) және EAR (Экспортты басқару ережелері) (екі жақты пайдалану технологиясын реттейтін ережелер) арқылы реттеледі. Зымырандарды басқарудың құпия алгоритмін, спутниктік қозғалыс деректерін немесе әскери ұшақтың өнімділігі параметрін басқарылмайтын сыртқы AI қызметіне енгізу экспортты бұзу, зияткерлік меншікті жоғалту және келісімшартты бұзу болуы мүмкін.

Басты ереже: мақұлданбаған сыртқы құралға ешқашан нақты, құпия немесе басқарылатын техникалық деректерді енгізбеңіз. Оның орнына мәтінмәнді анонимдеңіз және нақты сандарды өкілдік мәндермен ауыстырыңыз. Мысалы, нақты қозғалтқыштың тарту қисығын бөлісудің орнына, «турбожелдеткіштің тарту жылдамдығының әдеттегі қатынасының жалпы түрін сипаттаңыз» деп сұраңыз.

Әлсіз шақыру / Күшті шақыру

Келесі екі сұраудың мақсаты бірдей, бірақ екеуі де құпиялылықты бұзады және тексерілмейтін жауапты алады.

Әлсіз шақыру:

Біздің жобамыздағы XR-7 ұшқышсыз көлігінің қанатының ұзындығы 4,2 м, салмағы 38 кг, қозғалтқышы мен жылдамдығы конверті бар. Оңтайлы биіктікті айтыңыз.

Күшті шақыру:

Рөл: Сіз авиациялық аэродинамика бойынша кеңесшісіз. Мәтінмән: Мен шағын тұрақты қанатты UAV үшін жалпы талдау жасаймын (мәндер жобаның нақты деректері емес, өкілді): қанатының кеңдігі ~4 м, массасы ~40 кг, круиз жылдамдығы ~25 м/с. Тапсырма: Ең жақсы диапазон биіктігін анықтайтын физикалық принциптерді түсіндіріңіз және қандай параметрлерді өлшейтінімді көрсетіңіз. Шектеу: Әрбір формула мен болжамды анық жазыңыз; Егер сандық нәтиже берсеңіз, бірлікті көрсетіңіз және оны тексеру жолын қосыңыз.

Күшті шақыру нақты жоба деректерін қорғайды, рөл мен шектеуді түсіндіреді және тексеру жолын сұрайды.

Көшіретін шақыру үлгілері

Төмендегі төрт үлгіні өз бизнесіңізге бейімдеу арқылы пайдалануға болады. Олардың барлығы анонимдеу және тексеру тәртібін енгізеді.

Үлгі 1 — Қауіпсіздік тұрғысынан маңызды нәтижені тексерудің міндетті сұрауы:

Рөл: Сіз аға аэроғарыш инженерісіз және қауіпсіздік бойынша маңызды пәнге сәйкессіз. Мәтінмән: [Анонимді мәселе; репрезентативті мәндер, нақты жоба деректері емес].Тапсырма: [Мен қалайтын талдау/есептеу].Шектеу:- Әрбір санның бірлігін жазыңыз.- Әрбір қолданатын формула мен болжамды нақты тізімдеңіз.- Нәтиженің шама ретін белгілі сілтемемен салыстырыңыз.- Соңғы қадамда «бұл нәтижені қалай өз бетінше тексеруге болады» деп бақылау жоспарын беріңіз. Егер белгісіздік болса, болжамаңыз; Сізге қандай деректер қажет екенін сұраңыз.

Үлгі 2 — Кросс-тексеру (модельді өз өнімін сынау):

Енді тәуелсіз әдісті пайдаланып жаңа берген [нәтиже] мәнін есептеңіз: басқа формуланы немесе кері шешімді пайдаланыңыз. Екі нәтиже сәйкес келе ме? Олай болмаса, ықтимал қате көздерін тізімдеңіз (бірлік, болжам, формуланы таңдау). Сіз сенімді емес қадамды белгілеңіз.

Үлгі 3 — Стандартты/бастапқы атрибуция үшін тексерілетін сұрау:

[тақырып] үшін сәйкес сертификаттау/стандартты заттардың тізімін көрсетіңіз. Әрбір зат үшін: стандартты атауы, зат нөмірі және заттың қысқаша мазмұны. ЕСКЕРТУ: Егер сенімді болмасаңыз, зат нөмірін жазбаңыз. Оны «тексеру керек» деп белгілеңіз. Жасаған анықтамалар беру; Білмесең білмейтініңді айт. Бұл элементтерді түпнұсқа мәтіннен қалай растау керектігін де айтыңыз.

Үлгі 4 — Анонимизацияны алдын ала тексеру (бөлісуге дейін):

Экспортты бақылау (ITAR/EAR) және компанияның құпиялылығы үшін келесі мәтінді сыртқы AI құралына енгізбес бұрын тазалауым керек. Мәтіндегі ықтимал сезімтал элементтерді белгілеңіз (нақты бөлік нөмірлері, өнімділік мәндері, жоба атаулары, жеткізуші ақпараты) және әрқайсысы үшін өкіл/анонимді ауыстыруды ұсыныңыз. Мәтін: [осы жерге қойыңыз]

Шағын корпустар

1-жағдай — Ойдан құрастырылған стандартты тармақ. Дизайнды негіздеуді қолдау үшін кіші инженер AI-дан «қай FAR тармағы бұны талап етеді?» Деп сұрайды. AI іс жүзінде жоқ "FAR 25.1493" тармағын келтіреді. Инженер мәтінді бастапқы ережемен салыстырған кезде тармақтың ойдан құрастырылғанын көріп, дұрыс тармақты табады (14 CFR 25.303, қауіпсіздік факторы). Сабақ: AI берген әрбір стандартты анықтама түпнұсқа мәтіннен тексеріледі.

2-жағдай — Құрылғы қақпағы. Топ күш есептеуде AI көмегін алады. AI 5000 күшін береді, бірақ оның бірлігі "lbf немесе N" түсініксіз болып қалады. 5000 фунт стерлинг пен 5000 Н арасында шамамен 4,45 есе айырмашылық бар; Бұл айырмашылық қозғалтқышты таңдауды толығымен өзгертеді. Егер экипаж бөлімшесі нақты сұрамай-ақ жүрсе, ол дұрыс емес қозғалтқыш класына қарай бет алады. Сабақ: бірлігі жоқ кез келген сан қабылданбайды.

3-жағдай - Дәрежені бақылау өмірді сақтайды. Студенттер тобына AI зымыран үшін дельта-v (жылдамдықты өзгерту талабы) есептеп, 95 м/с нәтиже алды. Төмен орбитаға жету үшін әдеттегі дельта-v шамамен 9,4 км/с құрайды, яғни 9400 м/с. Шамамен 100 есе айырмашылық өңдеу қатесін бірден көрсетеді; оқушылар теңдеудегі негізгі логарифм қатесін табады. Сабақ: нәтижені әрқашан белгілі анықтамалық диапазонмен салыстыру.

Жалпы қателер

  • Еркін сөйлеуді дәлдікпен қателесу. Жақсы жазылған түсініктеме сандық жағынан қате болуы мүмкін. Мәтіннің сапасы мен нәтиженің дәлдігі екі бөлек нәрсе.
  • Бірліксіз санды қабылдау. Авиацияда бірлік көрсетілмеген сан анықталмаған сан болып табылады. lbf/N, ft/m, knot/m·s шатасулары мансапты аяқтайтын қателер болып табылады.
  • Сыртқы құралға құпия деректерді енгізу. ITAR/EAR және компанияның құпиялылығын бұзу; Ағып кеткеннен кейін техникалық деректерді алу мүмкін емес.
  • Бір көзге сену. Сыни нәтижені оны екінші жолмен шығармай пайдалану қауіпсіздік-критикалық тәртіптің ең негізгі ережесін бұзу болып табылады.
  • Стандартты атрибуция тексерілмейді. AI берген элементтердің нөмірлері жалған болуы мүмкін; Әрбір сілтеме бастапқы ережемен расталады.

Қысқаша айтқанда

AI аэроғарыштық техникадағы есептеулердің, кодтардың, құжаттардың және деректердің қайталанатын жұмысын күрт жылдамдатады; бірақ қауіпсіздікті, ұшу жарамдылығын және миссияның сәттілігін анықтайтын шешімдер білікті тұлғада қалады. Әрбір шығыс шама реті, бірлік консистенциясы және тәуелсіз көшіру арқылы сүзгіден өтуі керек. Экспорттық бақылау (ITAR/EAR) және құпиялылық себептері үшін нақты техникалық деректер анонимді болуы керек және тек бекітілген құралдарды пайдалану керек. Бұл пән барлық келесі бөлімдер үшін міндетті шарт болып табылады.

Қолданбалы тапсырма

Өз салаңыздан инженерлік сұрақты таңдаңыз (аэродинамика, құрылым, басқару, аэроғарыш, өндіріс). Алдымен «әлсіз шақыруды» теріп, AI-дан сұраңыз; Содан кейін рөлді, анонимді контекстті, шектеуді және тексеру сұрауын қамтитын «қуат сұрауын» жазып, сол сұрақты қайта қойыңыз. Екі жауапты шама реті мен бірлік консистенциясы бойынша салыстырыңыз және тәуелсіз қолмен есептеу арқылы кем дегенде бір нәтижені растаңыз. Қорытындыларыңызды жарты бетте қорытындылаңыз.

бақылау парағы

  • [ ] Мен «қате болса, кім зардап шегеді?» Деген сұрақпен нәтиженің тәуекелін бағаладым.
  • [ ] Мен нәтижені шама реті бойынша белгілі сілтемемен салыстырдым.
  • [ ] Мен барлық сандардың бірлігін анық растадым.
  • [ ] Мен сыни нәтижені екінші тәуелсіз әдіспен шығардым.
  • [ ] Мен нақты/құпия техникалық деректердің орнына анонимді өкіл мәнді қолдандым.
  • [ ] Мен түпнұсқа мәтіннен AI берген әрбір стандартты/көзге сілтемені тексердім.