Единица 1 / 11

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

Добивки:

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

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

Сепак, авијацијата и вселената се поле каде грешката не се мери во текст, туку во животи и милиони долари. Референцата направена од јазичен модел, неправилна конверзија на единици или резултат со „разумен изглед“, но физички невозможен може да биде мала поправка во другите индустрии, но овде може да стане структурен неуспех или загуба на мисијата. Затоа во текот на овој модул ќе ја позиционираме вештачката интелигенција не како „автоматски инженер“, туку како асистент кој подлежи на безбедносно-критична дисциплина чиј резултат се проверува секој пат.

Во оваа прва единица, разјаснуваме три работи: во кои фази од воздушниот тек на работа, вештачката интелигенција додава вистинска вредност, кои одлуки мора да останат строго во рацете на квалификувани луѓе и до која верификација, контрола на извозот и дисциплина за доверливост мора да се придржувате кога го правите тоа. Без правилно инсталиран покрив, техниките на следните единици може да станат опасни.

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

Во кои бизниси е акцелератор на вештачка интелигенција, во кои бизниси е ризичен?

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

тип на бизнис

Придонес за вештачка интелигенција

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

Литература/стандардно резиме

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

Споредете ја статијата со оригиналниот текст

Рачна пресметка / пред-големина

Поставување формула, прв број

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

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

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

Валидација со тест влез, единица тестирање

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

Предлагање структура и наратив

Поврзете го секој израз со ресурсот и барањето

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

Извлекување на шаблон и настан на кандидат

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

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

Подготовка на материјал за анализа

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

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

Внимание: ВИ произведува течен и сигурен текст. Течноста не е гаранција за точноста. Јазичниот модел ја пополнува празнината со статистички „најверојатно“ зборови, дури и ако нема точни податоци; Во воздухопловството, ова пополнување на празното може да се сретне како измислена спецификација за материјал или непостоечка FAR клаузула.

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

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

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

Вториот слој е конзистентност на единицата и големината. Една од најскапите грешки во историјата на авијацијата е загубата на орбитерот за климата на Марс во 1999 година: еден тим користел фунти-секунди, другиот њутн-секунди, а вселенското летало од околу 327 милиони долари било изгубено во атмосферата на Марс. Во излезот на вештачката интелигенција, единиците треба да бидат јасно наведени и да се изврши димензионална анализа.

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

Совет: Кога барате резултат од вештачката интелигенција, истото прашање поставете го и обратно. Кажете „пресметајте го просторот потребен за ова крило“ и потоа кажете „назад пресметајте го оптоварувањето на крилото со просторот што му го дадовте и споредете го со типичното растојание на авионот“. Барањето од моделот да го провери сопствениот излез ги прави видливи тивките грешки.

Контрола на извозот и приватност: Приватна граница на воздухопловството

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

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

Слаб промпт / Силен промпт

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

Слаба навестување:

Беспилотното возило XR-7 во нашиот проект има распон на крилата од 4,2 m, тежина од 38 kg, мотор и обвивка за брзина. Кажи ми ја оптималната надморска височина.

Моќен потсетник:

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

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

Шаблони за промпти што може да се копираат

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

Шаблон 1 — Задолжително барање за валидација за безбедносно критичен излез:

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

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

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

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

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

Шаблон 4 - Претходна проверка на анонимизација (пред споделување):

Треба да го исчистам следниов текст за контрола на извозот (ITAR/EAR) и доверливост на компанијата пред да го внесам во надворешна алатка за вештачка интелигенција. Означете ги потенцијално чувствителните елементи во текстот (вистински броеви на делови, вредности на изведба, имиња на проекти, информации за добавувачи) и предложете претставник/анонимна замена за секој. Текст: [залепете овде]

Мини футроли

Случај 1 - Измислена стандардна клаузула. За да се поддржи оправдувањето на дизајнот, помлад инженер ја прашува вештачката интелигенција „која клаузула FAR го наложува ова?“ AI наведува клаузула „FAR 25.1493“ која всушност не постои. Кога инженерот го споредува текстот со оригиналната регулатива, тој гледа дека клаузулата е измислена и ја наоѓа точната клаузула (14 CFR 25.303, фактор на безбедност). Лекција: Секоја стандардна референца дадена од вештачката интелигенција е потврдена од оригиналниот текст.

Случај 2 - Единица замка. Еден тим добива помош од вештачката интелигенција во пресметката на потисок. Вештачката интелигенција дава потисок како 5000, но нејзината единица „lbf или N“ останува нејасна. Има приближно 4,45 пати разлика помеѓу 5000 lbf и 5000 N; Оваа разлика целосно го менува изборот на мотор. Ако единицата на екипажот продолжи без експлицитно да праша, ќе се упати кон погрешна класа на мотори. Лекција: кој било број без единица не е прифатен.

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

Вообичаени грешки

  • Погрешно флуентност со точност. Добро напишаното објаснување може да биде нумерички неточно. Квалитетот на текстот и точноста на резултатот се две различни работи.
  • Прифаќање број без единица. Во воздухопловството, бројот што не одредува единица е недефиниран број. Забуните lbf/N, ft/m, knot/m·s се грешки кои завршуваат кариера.
  • Внесување доверливи податоци во надворешна алатка. Прекршување на ITAR/EAR и доверливост на компанијата; Откако ќе протече, техничките податоци не може да се вратат.
  • Доверба на еден извор. Користењето на критичен резултат без да се произведе на втор начин е прекршување на најфундаменталното правило на безбедносно-критичната дисциплина.
  • Не се потврдува стандардната атрибуција. Броевите на ставките дадени од вештачката интелигенција може да се лажни; Секоја референца е потврдена од оригиналната регулатива.

Сумирано

Вештачката интелигенција драматично ја забрзува повторливата работа на пресметки, кодови, документи и податоци во воздушното инженерство; но одлуките што ја одредуваат безбедноста, пловидбеноста и успехот на мисијата остануваат кај квалификуваното лице. Секој излез мора да се филтрира по редослед на големина, конзистентност на единицата и независна репродукција. За контрола на извозот (ITAR/EAR) и причини за доверливост, вистинските технички податоци треба да се анонимизираат и да се користат само одобрени алатки. Оваа дисциплина е предуслов за сите наредни единици.

Задача за апликација

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

листа за проверка

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