Unità 2 / 11

Disinn Kunċettwali, Ġestjoni tar-Rekwiżiti u Analiżi ta' Tradeoff

Qligħ:

  • Kapaċità li taċċellera studji ta' kompromess mir-rekwiżiti tal-missjoni għal daqs kunċettwali ta' inġenji tal-ajru/vetturi spazjali bl-appoġġ tal-AI
  • Kapaċità li twettaq il-kitba tar-rekwiżiti, it-traċċabilità u l-kontroll tal-konsistenza bi prompts konfigurati
  • Kapaċità li jiġu eliminati outputs mhux raġonevoli billi tivvalida l-punti tad-disinn suġġeriti mill-AI b'kalkoli tal-idejn ibbażati fuq il-fiżika

Ajruplan jew vettura spazjali titwieled minn lista ta' rekwiżiti, mhux fuq bord tat-tpinġija. Is-sentenza "Carry this much load to this range, at this speed, at this cost" hija ż-żerriegħa tad-disinn li se jdum għas-snin li ġejjin. Disinn kunċettwali (l-ewwel stadju tad-disinn li fih id-daqs mhux maħdum, il-piż u l-konfigurazzjoni tal-vettura jiġu l-ewwel determinati) huwa l-proċess ta 'estrazzjoni ta' forma inizjali minn din iż-żerriegħa. Id-deċiżjonijiet meħuda hawn huma irħas, iżda l-effetti tagħhom huma l-aktar għaljin: għażla kunċettwali waħda ħażina tista 'tarmi miljuni ta' dollari ta 'disinn dettaljat.

F'din l-unità, se nużaw intelliġenza artifiċjali (AI) biex itaffu tliet piżijiet ta 'disinn kunċettwali: it-traduzzjoni ta' talbiet vagi ta 'kompitu f'rekwiżiti li jistgħu jitkejlu, iż-żamma tat-traċċabilità u l-konsistenza bejn ir-rekwiżiti, u l-aċċellerazzjoni tal-analiżi tal-kompromess bejn l-għażliet tad-disinn li jikkompetu. Imma ejja nfasslu l-prinċipju kritiku mill-bidu: Kull daqs, kull stima ta 'piż li tissuġġerixxi l-AI hija neċessarjament validata b'mod inkroċjat minn kalkolu tal-idejn ibbażat fuq il-fiżika. AI hija sieħba tal-brainstorming u tal-kontabilità; ma jippossjedix id-deċiżjoni tad-daqs.

Kunċetti: Rekwiżit: Dikjarazzjoni waħda verifikabbli li l-għodda trid tissodisfa. Traċċabilità: Il-katina ta' rekord ta' minn fejn ġie kull rekwiżit u b'liema disinn/test intlaħaq. Spazju tal-kummerċ: Is-sett tal-għażliet kollha maħluqa minn varjabbli tad-disinn li jinbidlu. MTOW: Piż massimu tat-tlugħ (Maximum Take-Off Weight), l-ogħla massa li l-vettura tista' tieħu.

Mill-Ħtieġa tal-Kompitu għal Rekwiżit: Pass pass

Rekwiżit tajjeb għandu tliet kwalitajiet: singular (jgħid ħaġa waħda), miżurabbli (fih numru u unità), u verifikabbli (huwa ovvju kif tivverifikah). "L-inġenju tal-ajru għandu jkun mgħaġġel" mhuwiex rekwiżit; "L-inġenju tal-ajru għandu jilħaq veloċità tal-arja ta' kalibru 250 kt (KCAS) fil-livell tal-baħar" huwa rekwiżit.

L-ewwel pass huwa li tiġbor it-talbiet tal-partijiet interessati u tiddistillahom f'abbozzi ta' rekwiżiti bl-AI. It-tieni pass huwa li kull rekwiżit ikun jista' jitkejjel: ibdel kull aġġettiv vag ("ħfief," "durabbli," "effiċjenti") b'metrika u limitu. It-tielet pass huwa li tfittex kontradizzjonijiet bejn ir-rekwiżiti: il-firxa u t-tagħbija ta 'spiss jikkompetu ma' xulxin, l-AI malajr iġib dawn il-kontradizzjonijiet fil-wiċċ. Ir-raba' pass huwa li tiġi stabbilita matriċi ta' traċċabilità: it-tabulazzjoni ta' liema objettiv tal-kompitu tal-ogħla livell iwassal għal liema sottorekwiżit.

Fuq in-naħa tad-dimensjonar kunċettwali, AI tista 'tfakkar relazzjonijiet ta' inġinerija magħrufa (frazzjonijiet tal-piż, proporzjon tal-imbottatura għall-piż, tagħbija tal-ġwienaħ) u tistabbilixxi katina inizjali ta 'kalkoli. Pereżempju, għal inġenju tal-ajru tal-passiġġieri, il-frazzjoni tal-piż tal-fjuwil tista' tiġi stmata bl-ekwazzjoni tal-firxa Breguet u l-frazzjoni tal-piż vojt tista' tiġi stmata b'relazzjonijiet statistiċi. Iżda kull ħolqa ta 'din il-katina hija kkonfermata b'kalkolu bl-idejn.

Tip: Meta tikteb ir-rekwiżiti, agħti espliċitament lill-AI il-kompitu li "tissostitwixxi kull aġġettiv ambigwu b'metrika, unità, u metodu ta' verifika." Il-mudell jaħdem ħafna aktar dixxiplinat meta tgħid "make measurable" dikjarazzjonijiet mhux verifikabbli bħal "user friendly".

Konfigurazzjoni tal-Analiżi tal-Komproċess

Il-qalba tal-analiżi tal-kompromess qed tgħaqqad flimkien diversi konfigurazzjonijiet tal-kandidati bi kriterji komuni. L-għodda klassika hija l-matriċi tad-deċiżjoni ppeżata: il-kriterji jingħataw piż ta’ importanza, kull kandidat jingħata punteġġ fuq kull kriterju, jittieħed it-total peżat. L-AI malajr tibni din il-matriċi, iżda oqgħod attent minn żewġ nases: il-piżijiet huma ġudizzju suġġettiv tal-inġinerija (mhux imħalla f'idejn l-AI) u l-punteġġi għandhom ikunu bbażati fuq ġustifikazzjoni fiżika (mhux magħmula).

Kriterju (piż)

Konfigurazzjoni. A: Ġwienaħ għoli

Konfigurazzjoni. B: Ġwienaħ baxx

Konfigurazzjoni. C: Canard

Medda, km (0.30)

1200

1350

1250

Piż fil-vojt, kg (0.25)

640

610

690

Spiża tal-produzzjoni (0.20)

medju

baxx

għolja

Stabbiltà (0.15)

għolja

medju

medju

Faċilità ta' manutenzjoni (0.10)

għolja

medju

baxx

Jista 'jkollok AI tibni din it-tabella; Iżda n-numri tal-firxa u tal-piż iridu jiġu minn kalkolu preliminari indipendenti, u punteġġi kwalitattivi bħal "stabbiltà: għoli" għandhom ikunu ġġustifikati wkoll. Il-qawwa tal-AI hija li tfassal għaxar konfigurazzjonijiet differenti f'minuti u twettaq analiżi tas-sentimenti (kif tinbidel il-klassifikazzjoni jekk jinbidel piż).

Pront dgħajjef / Pront qawwi

Pront dgħajjef:

Qed niddisinja ajruplan tat-taħriġ. Għidli l-aħjar konfigurazzjoni.

Pront qawwi:

Rwol: Int konsulent kunċettwali tad-disinn tal-inġenji tal-ajru. Kuntest: Studju preliminari ta' kompromess għal inġenju tal-ajru trainer b'żewġ sedili (il-valuri huma rappreżentattivi): firxa fil-mira ~ 1000 km, veloċità tal-kruċiera ~ 55 m/s, tagħbija ~ 220 kg, prijorità baxxa tal-ispiża tal-produzzjoni. Kompitu:1) Issuġġerixxi 3 konfigurazzjonijiet tal-kandidati (pożizzjoni tal-ġwienaħ, tip ta’ magna).2) Stabbilixxi tabella li tqabbel kull kandidat fuq: firxa, piż vojt stmat, spiża tal-produzzjoni, stabbiltà.3) Uża għall-istimi numeriċi tiegħek ikteb ir-relazzjoni u l-assunzjoni.Restrizzjoni: Iddikjara liema relazzjoni statistika użajt fl-istimi tal-piż tiegħek; unità tal-kitba; Tiħux deċiżjoni finali, issottometti kandidat. Jien se nwieżen u nieħu d-deċiżjoni finali jien.

Mudelli Prompt Kopjabbli

Mudell 1 — It-traduzzjoni ta’ ħtieġa ta’ kompitu f’rekwiżit li jista’ jitkejjel:

Ittrasforma t-talbiet tal-partijiet interessati li ġejjin f'rekwiżiti singulari, li jistgħu jitkejlu u verifikabbli. Għal kull rekwiżit: metrika, unità, valur ta' limitu, u metodu ta' verifika propost (analiżi/test/dimostrazzjoni). Ittraduċi aġġettivi vagi ("ħfief", "veloċi") f'numri konkreti; Jekk ikun hemm inċertezza, staqsi x'informazzjoni għandek bżonn. Talbiet: [lista hawn]

Mudell 2 — Matriċi tat-traċċabilità u skrinjar tal-kunflitti:

Ħu din il-lista ta' rekwiżiti u: (a) tibni tabella ta' traċċabbiltà li torbot kull rekwiżit mal-għan tal-kompitu ta' livell għoli; (b) immarka kwalunkwe pari ta’ rekwiżiti konfliġġenti jew ta’ sfida (eż. firxa vs tagħbija utli); (c) jelenka r-rekwiżiti neqsin jew mhux verifikabbli. Ħalli r-riżultat ikun tabella. Rekwiżiti: [lista hawn]

Mudell 3 — Setup ta' matriċi ta' deċiżjoni peżata:

Ibni qafas ta' matriċi ta' deċiżjoni peżata għall-konfigurazzjonijiet tal-kandidati li ġejjin. Agħmel ir-ringieli tal-kriterji u l-kolonni tal-kandidati. Ħalli l-kolonna tal-piż BLANK (se ndaħħal il-piżijiet). Spjega f’nota separata l-ġustifikazzjoni fiżika għall-punteġġ li se tpoġġi f’kull ċella; Tiktbilx numru magħmul, immarka l-post li qtajt bħala "guess". Kandidati: [...] Kriterji: [...]

Mudell 4 — Kontroverifika tad-dimensjonar kunċettwali:

Iċċekkja b'mod indipendenti r-riżultat tal-presizing li ġej: MTOW, żona tal-ġwienaħ, thrust. (a) Ikkalkula t-tagħbija tal-ġwienaħ (W/S) u qabbilha mal-firxa tipika għall-klassi tal-inġenju tal-ajru partikolari tiegħek. (b) Ikkalkula l-proporzjon tal-imbottatura għall-piż (T/W) u qabbilha mal-medda tipika. (c) Wissi jekk il-valuri humiex barra mill-firxa tipika u indika żball possibbli. Ikteb l-unitajiet kollha b'mod espliċitu. Input: [Valuri MTOW, S, T]

Każijiet Mini

Każ 1 — Sejbien bikri ta' ħtieġa konfliġġenti. Fi proġett UAV, il-partijiet interessati jridu kemm "mill-inqas 8 sigħat ta' ħin tal-ajru" kif ukoll "massimu ta' 12-il kg massa totali". Billi tikkwantifika ż-żewġ rekwiżiti u tqassam il-baġit tal-enerġija, l-AI turi li titjira ta '8 sigħat b'densità tipika tal-enerġija tal-batterija (madwar 200 Wh/kg) tkun teħtieġ 6-7 kg ta' batterija biss; Dan ma jidħolx fil-baġit ta '12-il kg flimkien mat-tagħbija u l-istruttura. Il-kontradizzjoni tiġi diskussa qabel ma jibda d-disinn dettaljat. Lezzjoni: it-traduzzjoni tar-rekwiżiti f'numri tikxef kontradizzjonijiet moħbija kmieni.

Każ 2 — L-analiżi tas-sensittività tbiddel id-deċiżjoni. Tim wieħed iqabbel tliet konfigurazzjonijiet tal-ġwienaħ; Konfigurazzjoni bil-piżijiet inizjali. B jirbaħ (punteġġ peżat 0.82 vs 0.79). L-AI hija mistoqsija "x'jiġri jekk inaqqas il-piż tal-ispiża minn 0.20 għal 0.10"; f'dan il-firxa xenarju tiġi fuq quddiem u Config. A jieħu l-vantaġġ (0.84 vs 0.80). It-tim jara kemm hija sensittiva d-deċiżjoni għall-prijorità tal-ispiża u jiċċara l-piżijiet mal-partijiet interessati. Lezzjoni: mhux punteġġ wieħed li jgħodd, iżda l-istabbiltà tal-klassifika.

Każ 3 — Żball fl-ordni fl-istima tal-piż. L-AI tagħti l-piż vojt ta' inġenju tal-ajru ħafif bħala 95 kg minn relazzjoni. L-inġinier ifakkar li l-piż vojt ta 'inġenji tal-ajru b'żewġ sedili ta' klassi simili huwa tipikament fil-medda ta '350-500 kg; 95 kg huwa fiżikament impossibbli. Meta ċċekkjat, jidher li l-AI applika b'mod żbaljat koeffiċjent fir-relazzjoni u huwa kkoreġut. Lezzjoni: kull stima tal-piż hija mqabbla b'ordnijiet ta 'kobor mal-firxa magħrufa tal-klassi.

Żbalji komuni

  • Jaċċetta rekwiżit vag. Rekwiżit li ma fihx metriċi u unitajiet ma jistax jiġi vverifikat; "Għandha tkun ħafifa" hija xewqa, mhux rekwiżit.
  • Wara li l-AI tagħżel il-piżijiet. Il-piżijiet tal-kriterji fil-matriċi tad-deċiżjonijiet huma inġinerija suġġettiva u ġudizzju tal-partijiet interessati; Jekk titħalla f'idejn l-AI, id-deċiżjoni tibqa' abbandunata.
  • Jaċċettaw punti mingħajr ġustifikazzjoni. Jekk punteġġi kwalitattivi bħal "Stabbiltà: għoli" m'għandhom l-ebda bażi fiżika, il-matriċi ssir lista fancy ta 'suppożizzjonijiet.
  • Mhux tikkonferma l-istima tal-piż/daqs. Korrelazzjonijiet statistiċi huma stimi approssimattivi; Ma jitwettaqx fid-disinn dettall mingħajr ma jitqabbel mal-firxa tal-klassi.
  • Inħallu t-traċċabilità għal aktar tard. Jekk ma jiġix irreġistrat minn fejn ġie r-rekwiżit, ħadd ma jkun jaf liema deċiżjonijiet se taffettwa bidla fil-futur.

Fil-qosor

Id-disinn kunċettwali huwa l-istadju fejn jittieħdu l-orħos iżda l-aktar deċiżjonijiet effettivi. L-AI hija aċċeleratur qawwi hawnhekk fit-traduzzjoni ta' talbiet vagi f'rekwiżiti li jistgħu jitkejlu, l-iskannjar għat-traċċabilità u l-kunflitt, u t-tqabbil ta' konfigurazzjonijiet multipli f'tabelli ta' kompromess. Madankollu, il-piżijiet tal-kriterji huma l-ġudizzju tal-bniedem, il-previżjonijiet numeriċi huma vverifikati b'kalkoli tal-idejn ibbażati fuq il-fiżika u intervalli tal-klassi, id-deċiżjoni finali tal-konfigurazzjoni tibqa 'f'idejn l-inġinier. AI tipproduċi kandidati; ma jiddeċidix.

Kompitu ta' applikazzjoni

Ikteb tliet għanijiet ta' missjoni ta' livell għoli għal vettura tal-ajru jew spazjali tal-għażla tiegħek. Bl-użu tal-AI, ittraduċihom f'mill-inqas sitt rekwiżiti li jistgħu jitkejlu u waqqaf tabella tat-traċċabilità. Imbagħad oħloq matriċi ta 'deċiżjoni peżata għat-tliet konfigurazzjonijiet kandidati; Iddetermina l-piżijiet lilek innifsek. Fl-aħħarnett, ikkonferma stima tal-piż/daqs mogħtija mill-AI b'kalkolu tal-idejn indipendenti u firxa tal-klassi. Irrapporta mill-inqas par wieħed ta' rekwiżiti fejn issib kunflitt.

lista ta' kontroll

  • [ ] Għamilt kull rekwiżit singular, miżurabbli, u verifikabbli.
  • [ ] Bidejt l-aġġettivi ambigwi b'metrika, unità u threshold.
  • [ ] Jien waqqaft tabella ta' traċċabilità u mmarkajt rekwiżiti konfliġġenti.
  • [ ] Iddeterminajt il-piżijiet tal-matriċi tad-deċiżjoni jien stess (mhux AI).
  • [ ] Attribwiejt il-punteġġi tal-matriċi għal ġustifikazzjoni fiżika.
  • [ ] Ivverifikajt l-istimi tal-piż/daqs bl-ispazjar tal-klassi u l-kalkolu tal-idejn.