Јединица 1 / 11

Увод у вештачку интелигенцију и дисциплину верификације која је критична за безбедност у ваздухопловству

Добици:

  • Способност да се разликује где АИ штеди реално време у току рада ваздухопловног инжењеринга и које одлуке треба да остану на људима из разлога безбедности и одговорности
  • Способност примене дисциплине која је критична за безбедност и која верификује сваки инжењерски резултат по редоследу величине, конзистентности јединице и независној репродукцији
  • Способност да стекнете навику да подстичете анонимним контекстом да бисте заштитили ИТАР/ЕАР контролу извоза и поверљиве податке о дизајну

Погледајте сто ваздухопловног инжењера: прорачуни оптерећења крила, резултати коначних елемената, подаци из аеротунела, записи о тестирању лета, сертификациони документи, преписка добављача и бескрајни састанци. Време посвећено стварној инжињерској процени, односно питањима „да ли је овај број безбедан, да ли ће овај дизајн летети, да ли је овај ризик прихватљив?“ је смрвљена под понављајућим обрачуном и документовањем. Овде долази у обзир вештачка интелигенција (скраћено АИ; софтвер који ради на тексту, коду и бројевима са великим језичким моделом и машинским учењем). АИ не доноси одлуку уместо вас; Припрема вас за одлуку, прави нацрт, убрзава прорачун и ставља обрађене информације пред вас.

Међутим, авијација и свемир су област у којој се грешка не мери текстом, већ животима и милионима долара. Референца направљена од стране језичког модела, погрешна конверзија јединица или резултат „разумног изгледа“, али физички немогућ, може бити мања поправка у другим индустријама, али овде то може постати структурални квар или губитак мисије. Због тога ћемо кроз овај модул позиционирати АИ не као „аутоматског инжењера“, већ као помоћника који подлеже дисциплини која је критична за безбедност, чији се излаз сваки пут проверава.

У овој првој јединици појашњавамо три ствари: у којим фазама тока рада у ваздухопловству АИ додаје стварну вредност, које одлуке морају остати стриктно у рукама квалификованих људи и које верификације, контроле извоза и дисциплине поверљивости морате да се придржавате када то радите. Без правилног постављања овог крова, технике на следећим јединицама могу постати опасне.

Концепти: Халуцинација: АИ убедљива измишљотина броја, једначине, стандардне ставке или извора који заправо не постоји. Контекст: Улаз који дајете АИ (подаци о дизајну, претпоставке, питање). Провера: Провера излаза независним средствима (ручни прорачун, други алат, стандардни текст). Ова три концепта су окосница читавог модула.

У којим предузећима је АИ акцелератор, у којим је ризичан?

Ваздушне мисије спадају у двосмерни спектар у смислу њихових последица. На једном крају налазе се припремни рад са ниским ризиком који се може преузети (сажетак литературе, скелет кода, нацрт презентације); Са друге стране, постоје неповратне одлуке (коефицијент безбедности, закон контроле, орбитално време сагоревања) које директно одређују пловидбеност, безбедност живота и успех мисије. Вредност АИ варира у зависности од тога где се налазите у овом спектру.

пословни тип

АИ допринос

Инжењерска улога

Литература/стандардни сажетак

Извлачење извода из дугог документа

Упоредите чланак са оригиналним текстом

Ручни прорачун / пред-димензионисање

Подешавање формуле, први број

Провера јединице, ранга и претпоставке

Код анализе / скриптовање

Генерација скелета и логике

Валидација са тестним уносом, тестирање јединица

Нацрт извештаја/захтева

Предложена структура и наратив

Повежите сваки израз са ресурсом и захтевом

Анализа података / скенирање аномалија

Екстракција узорка и кандидата

Потврда са сировим подацима и физиком

Одлука о безбедности/сертификацији

Припрема материјала за анализу

Коначна оцена, преглед и потпис

Правило је једноставно: ризик од АИ излаза једнак је штети коју ће претрпјети ако тај излаз направи грешку. Погрешно писање наслова слајда је безопасно; Израчунавање коефицијента сигурности лопатице крила као 0,5 уместо 1,5 је катастрофа. Дакле, прво питање које треба поставити пре употребе излаза је: „Шта се дешава ако ово није у реду, ко буде повређен, а ко примети?“

Пажња: АИ производи течан и самоуверен текст. Течност није гаранција тачности. Језички модел попуњава празнину статистички „највероватнијим“ речима, чак и ако нема тачне податке; У ваздухопловству, ово попуњавање празнине може се појавити као спецификација измишљеног материјала или непостојећа ФАР клаузула.

Дисциплина безбедносно-критичне верификације: три слоја

Ваздухопловна култура је већ изграђена по принципу „веруј али провери“; АИ треба да се користи да ојача овај принцип, а не да га ослаби. Пропустите сваки АИ излаз кроз трослојни филтер.

Први слој је контрола реда величине. Погледајте да ли је резултат отприлике унутар очекиване снаге од 10. Маса при полетању путничког авиона је реда десетина тона; Ако вам АИ каже 800 кг, знате да постоји грешка без улажења у детаље.

Други слој је конзистентност јединице и величине. Једна од најскупљих грешака у историји ваздухопловства је губитак Марс Цлимате Орбитера 1999.: један тим је користио фунте секунде, други њутн-секунде, а свемирска летелица вредна око 327 милиона долара изгубљена је у атмосфери Марса. У излазу АИ јединице треба јасно навести и извршити анализу димензија.

Трећи слој је независна репродукција. Репродукујте критичан резултат другом методом (други ручни налог, посебан алат или други инжењер). Поверење се повећава ако два независна пута дају исти одговор; Ако није, зауставите се док не схватите зашто је другачије.

Савет: Када тражите резултат од АИ, поставите исто питање и обрнуто. Реците „израчунајте простор потребан за ово крило“, а затим реците „назад израчунајте оптерећење крила са простором који сте му дали и упоредите га са типичним размаком авиона“. Тражење од модела да унакрсно провери сопствени излаз чини тихе грешке видљивим.

Контрола извоза и приватност: приватна граница авијације

Ваздухопловне технологије подлежу контроли извоза у већини земаља. У САД, ово је регулисано ИТАР (Прописи о међународном промету оружја) и ЕАР (Прописи о извозној администрацији) (правила која регулишу технологију двоструке намене). Уношење поверљивог алгоритма за контролу пројектила, података о сателитском погону или параметара перформанси војног авиона у неконтролисану екстерну услугу вештачке интелигенције може бити и кршење извоза, губитак интелектуалне својине и кршење уговора.

Правило: никада не уносите стварне, поверљиве или контролисане техничке податке у неодобрени екстерни алат. Уместо тога, анонимизирајте контекст и замените реалне бројеве репрезентативним вредностима. На пример, уместо да делите стварну криву потиска мотора, замолите „опишите општи облик типичног односа турбовентилаторског потиска и брзине“.

Слаби промпт / Јаки промпт

Следећа два одзива имају исту сврху, али једно нарушава поверљивост и добија непроверљив одговор.

Слабо обавештење:

Беспилотно возило КСР-7 у нашем пројекту има распон крила од 4,2 м, тежину од 38 кг, мотор и омотач брзине. Реци ми оптималну надморску висину.

Снажан упит:

Улога: Ви сте консултант за аеродинамику у ваздухопловству. Контекст: Радим општу анализу за мали УАВ са фиксним крилима (вредности су репрезентативне, а не стварни пројектни подаци): распон крила ~4 м, маса ~40 кг, брзина крстарења ~25 м/с. Задатак: Објаснити физичке принципе који одређују најбољу висину домета и навести које параметре треба да мерим. Ограничење: Јасно напишите сваку формулу и претпоставку; Ако дате нумерички резултат, наведите јединицу и додајте како да је проверите.

Моћни промпт штити стварне податке пројекта, појашњава улогу и ограничење и захтева пут за верификацију.

Шаблони упита који се могу копирати

Можете користити четири шаблона у наставку тако што ћете их прилагодити свом послу. Сви они уграђују дисциплину анонимизације и верификације.

Шаблон 1 — Обавезни захтев за валидацију за безбедносно критичан излаз:

Улога: Ви сте виши инжењер ваздухопловства и одговарате дисциплини која је критична за безбедност. Контекст: [Анонимизовани проблем; репрезентативне вредности, а не стварни пројектни подаци].Задатак: [Анализа/калкулација коју желим].Ограничење:- Напишите јединицу сваког броја.- Јасно наведите сваку формулу и претпоставку коју користите.- Упоредите ред величине резултата са познатом референцом.- У последњем кораку дајте контролни план који каже "како да независно проверим овај излаз". Ако постоји неизвесност, не погађајте; Питајте који су вам подаци потребни.

Шаблон 2 — Унакрсна провера (модел тестира сопствени излаз):

Сада израчунајте вредност [резултата] коју сте управо дали користећи независну методу: користите другу формулу или инверзно решење. Да ли се два резултата слажу? Ако није, наведите могуће изворе грешке (јединица, претпоставка, избор формуле). Означите корак за који нисте сигурни.

Шаблон 3 — Проверљиви захтев за стандардну/изворну атрибуцију:

Наведите релевантне сертификационе/стандардне супстанце за [предмет]. За сваку супстанцу: стандардни назив, број супстанце и резиме супстанце. УПОЗОРЕЊЕ: Немојте писати број супстанце ако нисте сигурни. Означите га као "мора бити верификован". Давање измишљених референци; Ако не знаш, реци ми да не знаш. Такође ми реците како да потврдим ове ставке из оригиналног текста.

Шаблон 4 — Претходна провера анонимности (пре дељења):

Морам да обришем следећи текст ради контроле извоза (ИТАР/ЕАР) и поверљивости компаније пре него што га унесем у спољни алат за вештачку интелигенцију. Означите потенцијално осетљиве елементе у тексту (стварни бројеви делова, вредности перформанси, називи пројеката, информације о добављачу) и предложите репрезентативну/анонимну замену за сваки. Текст: [налепите овде]

Мини Цасес

Случај 1 — Измишљена стандардна клаузула. Да би подржао оправдање дизајна, млађи инжењер пита АИ „која клаузула ФАР то налаже?“ АИ цитира клаузулу „ФАР 25.1493“ која заправо не постоји. Када инжењер упореди текст са оригиналном регулативом, види да је клаузула измишљена и проналази тачну клаузулу (14 ЦФР 25.303, фактор сигурности). Поука: Свака стандардна референца коју даје АИ је верификована из оригиналног текста.

Случај 2 — Јединична замка. Тим добија помоћ од вештачке интелигенције у прорачуну потиска. АИ даје потисак као 5000, али његова јединица "лбф или Н" остаје нејасна. Постоји отприлике 4,45 пута разлика између 5000 лбф и 5000 Н; Ова разлика потпуно мења избор мотора. Ако јединица посаде настави без изричитог питања, упутиће се на погрешну класу мотора. Лекција: било који број без јединице се не прихвата.

Случај 3 — Контрола ранга спашава животе. Тим ученика је имао АИ да израчуна делта-в (захтев промене брзине) за ракету и добио је резултат од 95 м/с. Типични делта-в за достизање ниске орбите је око 9,4 км/с, односно реда величине 9400 м/с. Разлика од око 100 пута одмах одаје грешку у уређивању; ученици проналазе грешку основног логаритма у једначини. Лекција: увек упоредите резултат са познатим референтним опсегом.

Уобичајене грешке

  • Грешка течност за тачност. Добро написано објашњење може бити нумерички нетачно. Квалитет текста и тачност резултата су две различите ствари.
  • Прихватање броја без јединица. У ваздухопловству, број који не наводи јединицу је недефинисан број. лбф/Н, фт/м, чвор/м·с конфузије су грешке које су завршиле каријеру.
  • Уношење поверљивих података у екстерни алат. кршење поверљивости ИТАР/ЕАР и компаније; Једном када процуре, технички подаци се не могу повратити.
  • Поверење у један извор. Коришћење критичног резултата без његовог произвођења на други начин представља кршење најосновнијег правила безбедносно-критичке дисциплине.
  • Не проверава стандардну атрибуцију. Бројеви ставки које даје АИ могу бити лажни; Свака референца је потврђена из оригиналне уредбе.

Укратко

АИ драматично убрзава понављајући рад прорачуна, кода, докумената и података у ваздухопловном инжењерству; али одлуке које одређују безбедност, пловидбеност и успех мисије остају на квалификованој особи. Сваки излаз мора бити филтриран кроз ред величине, конзистентност јединице и независну репродукцију. Због контроле извоза (ИТАР/ЕАР) и разлога поверљивости, стварни технички подаци треба да буду анонимизовани и да се користе само одобрени алати. Ова дисциплина је предуслов за све наредне јединице.

Задатак апликације

Изаберите инжењерско питање из своје области (аеродинамика, структура, контрола, ваздухопловство, производња). Прво откуцајте „слаб упит“ и питајте АИ; Затим напишите „повер промпт“ који укључује улогу, анонимни контекст, ограничење и захтев за верификацију и поново поставите исто питање. Упоредите два одговора у смислу реда величине и конзистентности јединице и потврдите најмање један резултат независним израчунавањем руком. Сумирајте своје налазе на пола странице.

контролна листа

  • [ ] Оценио сам ризик од резултата са питањем „ко ће бити повређен ако је погрешно?“
  • [ ] Упоредио сам резултат са познатом референцом у смислу редова величине.
  • [ ] Јасно сам потврдио јединицу свих бројева.
  • [ ] Критички резултат сам репродуковао другом независном методом.
  • [ ] Користио сам анонимну репрезентативну вредност уместо стварних/поверљивих техничких података.
  • [ ] Проверио сам сваки стандардни/изворни цитат који је дала АИ из оригиналног текста.