Unità 1 / 12

Introduzzjoni għall-Intelliġenza Artifiċjali u d-Dixxiplina tal-Verifika fl-Inġinerija Navali u tal-Baħar

Qligħ:

  • Li tkun kapaċi tiddistingwi fejn l-AI tiffranka l-ħin reali fil-fluss tax-xogħol tal-inġinerija tal-vapur u tal-baħar u fejn ir-responsabbiltà għas-sikurezza tal-ħajja/propjetà u l-klassi għandha tibqa’ tal-inġinier.
  • Kapaċità li tapplika dixxiplina bi tliet saffi li tivverifika kull output ta' inġinerija skont ordni ta' kobor, kalkolu mill-ġdid indipendenti, u kontroll ta' regola/sors tal-klassi
  • Kapaċità li takkwista d-drawwa li anonimizza l-kuntest u toħloq inkoraġġiment biex tibbenefika mill-AI mingħajr ma taqsam dejta kunfidenzjali kummerċjali u teknika tal-vapur, it-tarzna u s-sid tal-bastiment.

Ħares lejn il-ġurnata ta 'inġinier marittimu: iterazzjonijiet tal-forma tal-buq, kalkoli tar-reżistenza u tal-propulsjoni, kontrolli tal-istabbiltà u s-saħħa, skans tar-regoli tal-klassi, rekords tas-sensuri tal-kamra tal-magni, rapporti tal-istħarriġ, korrispondenza tat-tarzna u emails bla tmiem mas-sid tal-bastiment. Il-ħin iddedikat għall-ġudizzju attwali tal-inġinerija, jiġifieri, il-mistoqsijiet "din id-dgħajsa hija sigura, din il-kostruzzjoni tissodisfa l-kodiċi tal-klassi, dan il-pjan tal-vjaġġ verament inaqqas il-konsum tal-fjuwil", huwa mgħaffeġ taħt il-kalkolu ripetittiv u xogħol ta 'dokumenti. Dan huwa fejn tidħol l-intelliġenza artifiċjali (AI fil-qosor; softwer li jaħdem fuq test, kodiċi u numri b’mudell ta’ lingwa kbira u tagħlim bil-magni). L-AI ma tieħux id-deċiżjoni għalik; Tippreparak għad-deċiżjoni, tipproduċi abbozz, tħaffef il-kalkolu u tpoġġi l-informazzjoni pproċessata quddiemek.

Madankollu, l-inġinerija tal-baħar hija qasam fejn l-iżbalji jitkejlu mhux bit-test iżda mill-ħajjiet, l-ambjent u miljuni ta’ dollari. Klawżola ta' regola ta' klassi magħmula minn mudell ta' lingwa, konverżjoni ta' unità mhux korretta, jew riżultat ta' stabbiltà "dehra raġonevoli" iżda fiżikament impossibbli tista' tkun korrezzjoni żgħira f'setturi oħra, iżda hawnhekk tista' tinbidel f'qlib, kollass strutturali, jew tixrid taż-żejt. Allura matul dan il-modulu aħna se nippożizzjonaw l-AI mhux bħala "inġinier awtomatiku" iżda bħala assistent dixxiplinat kritiku għas-sikurezza li l-output tiegħu jiġi vverifikat kull darba.

F'din l-ewwel unità, niċċaraw tliet affarijiet: F'liema stadji tal-fluss tax-xogħol tal-inġinerija tal-vapur u tal-baħar l-AI żżid valur reali; liema deċiżjonijiet għandhom jibqgħu strettament mal-persuna kwalifikata (inġinier, surveyor tal-klassi, kaptan); u x'inhi l-verifika, il-kunfidenzjalità u d-dixxiplina tar-responsabbiltà li trid taderixxi magħhom meta tagħmel dan. Mingħajr dan is-saqaf installat b'mod korrett, tekniki f'unitajiet sussegwenti jistgħu jsiru perikolużi.

Kunċetti: Alluċinazzjoni: fabbrikazzjoni konvinċenti tal-AI ta' numru, koeffiċjent, klawżola ta' regola tal-klassi, jew sors li fil-fatt ma jeżistix. Kuntest: L-input li tagħti lill-AI (dejta tad-dgħajsa, suppożizzjonijiet, mistoqsija). Verifika: Iċċekkjar tal-output b'mod indipendenti (kalkolu bl-idejn, it-tieni softwer, test tar-regola, esperiment mudell). Soċjetà ta’ klassifikazzjoni: L-organizzazzjoni li tispezzjona u tiċċertifika d-disinn u l-kostruzzjoni tal-vapur skont ir-regoli stabbiliti (eż. ABS, DNV, Lloyd's Register, Bureau Veritas, TL/Türk Loydu). Dawn il-kunċetti huma s-sinsla tal-modulu kollu.

F'Liema Negozji Huwa AI Accelerator, F'Liema Negozji Huwa Riskju?

Il-kompiti tal-inġinerija tal-baħar jaqgħu fuq spettru fuq żewġ naħat f'termini tar-riżultati tagħhom. F'tarf wieħed hemm xogħol ta' preparazzjoni li jista' jiġi rkuprat, b'riskju baxx (sommarju tal-letteratura, skeletru tal-kodiċi, deskrizzjoni tal-preżentazzjoni); Fit-tarf l-ieħor, hemm deċiżjonijiet irriversibbli (koeffiċjent ta’ sikurezza, kriterju ta’ stabbiltà, approvazzjoni strutturali) li jiddeterminaw direttament is-sikurezza marittima, is-sikurezza tal-ħajja/propjetà u l-ambjent. Il-valur tal-AI jvarja skont fejn toqgħod fuq dan l-ispettru.

tip ta' negozju

Kontribuzzjoni AI

Rwol ta' inġinier

Sommarju tar-regola/standard

Estrazzjoni tal-essenza mill-ktieb tar-regola twila

Tqabbil tal-klawżola mat-test oriġinali tal-klassi

Kalkolu bl-idejn / pre-sizing

Issettjar tal-formula, l-ewwel numru

Kontroll ta' unità, rank u assunzjoni

Kodiċi ta' analiżi / skript Python

Ġenerazzjoni tal-iskeletru u tal-loġika

Validazzjoni b'input tat-test, ittestjar tal-każ tat-tarf

Abbozz ta' rapport/istħarriġ

Jissuġġerixxi struttura u narrattiva

Link kull valur mal-kejl u s-sors

Analiżi tad-dejta tas-Sensor/IoT

Estrazzjoni ta' mudell u anomalija ta' kandidati

Ikkonfermat minn dejta mhux ipproċessata u plawżibbiltà fiżika

Approvazzjoni ta' stabbiltà/saħħa

Preparazzjoni ta 'materjal ta' analiżi

Valutazzjoni finali, approvazzjoni tal-klassi, firma

Ir-regola hija sempliċi: ir-riskju ta 'output AI huwa ugwali għall-ħsara li se jġarrab jekk dak l-output jagħmel żball. L-ortografija ħażina tat-titlu ta' slide ma tagħmilx ħsara; F'sitwazzjoni ta 'tagħbija, huwa diżastruż li tikkalkula ħażin il-valur tal-GM (għoli metaċentriku; miżura tal-kapaċità ta' righting tal-vapur) u tiddetermina ħażin il-limitu ta 'qlib tal-vapur. Allura l-ewwel mistoqsija li għandek tistaqsi qabel tuża l-output hija: "X'jiġri jekk dan ikun ħażin, min iweġġa', u min jinduna?"

Attenzjoni: AI tipproduċi test fluwenti u kunfidenti. Il-ħeffa mhix garanzija ta 'eżattezza. Mudell tal-lingwa jimla l-vojt bi kliem statistikament "l-aktar probabbli", anke jekk ma jkollux data eżatta; Fil-baħar, dan il-mili tal-vojt jista' jidher bħala saħħa ta' rendiment ta' materjal magħmul jew klawżola SOLAS ineżistenti.

Dixxiplina ta' Verifika Kritika tas-Sigurtà: Tliet Saffi

Il-kultura marittima hija diġà bbażata fuq il-prinċipju ta' "fiduċja iżda verifika"; Stħarriġ, verifika doppja u ċertifikazzjoni tal-klassi indipendenti huma parti minn din il-kultura. L-AI għandha tintuża biex issaħħaħ dan il-prinċipju, mhux biex iddgħajjef. Għaddi kull output AI minn filtru bi tliet saffi.

L-ewwel saff: kontroll tal-ordni tal-kobor. Ara jekk ir-riżultat huwiex bejn wieħed u ieħor fi ħdan il-qawwa mistennija ta 'medda ta' 10. L-ispostament (piż tal-volum mgħaddas) ta' bulk carrier Panamax huwa ta' madwar għexieren ta' eluf ta' tunnellati; Jekk l-AI tgħidlek 800 tunnellata, taf li hemm żball mingħajr ma tidħol fid-dettall. Il-veloċità moderata ta 'vapur tal-kontejners hija fil-medda ta' 18-24 knots; 90 knots huwa fiżikament impossibbli.

It-tieni saff: unità u konsistenza tad-daqs. Fil-baħar, il-konfużjoni tal-unità hija sors klassiku ta' żball: għoqod kontra m/s, tunnellata kontra kip, kW kontra horsepower (BHP), metru kontra saqajn, bar kontra kPa. L-unità ta 'kull numru fl-output AI għandha tkun iddikjarata b'mod ċar u għandha titwettaq analiżi dimensjonali. Jingħata valur tar-reżistenza f'kN jew kgf? Dan jibdel direttament il-qawwa tal-propulsjoni u għalhekk il-baġit tal-fjuwil.

It-tielet saff: riproduzzjoni indipendenti. Irriproduċi riżultat kritiku bit-tieni metodu (kont manwali differenti, softwer separat, kompjuter tat-tagħbija approvat, jew it-tieni inġinier). Il-kunfidenza tiżdied jekk żewġ mogħdijiet indipendenti jagħtu l-istess tweġiba; Jekk ma jagħmilx hekk, ieqaf sakemm tifhem għaliex hija differenti.

Tip: Meta titlob lill-AI għal riżultat, staqsi wkoll l-istess mistoqsija bil-maqlub. Wara li tgħid "Ikkalkula l-qawwa tal-propulsjoni meħtieġa għal din id-dgħajsa", għid "Ikkalkula mill-ġdid il-veloċità tal-kruċiera bil-qawwa li pprovdejt u għidli jekk hijiex raġonevoli għal vapur tipiku." Li titlob lill-mudell biex jiċċekkja l-output tiegħu stess jagħmel l-iżbalji siekta viżibbli.

Kunfidenzjalità u Sigriet Kummerċjali: Il-Fruntiera Privata Marittima

Il-forma tal-buq, il-kurvi tal-prestazzjoni idrodinamika, id-dejta tal-kuntratt tas-sid tal-bastiment-tarzna, u t-telemetrija operattiva tal-vapur huma sensittivi ħafna f'termini ta 'sigriet kummerċjali u proprjetà intellettwali. Id-dħul fil-kurva ta' reżistenza vera ta' dgħajsa jew id-dejta dwar il-konsum reali tal-fjuwil ta' sid il-bastiment f'servizz AI estern mhux ikkontrollat ​​jista' jkun kemm ksur ta' kuntratt, telf ta' proprjetà intellettwali, kif ukoll żvantaġġ kompetittiv. Barra minn hekk, l-informazzjoni dwar l-arkitettura OT (teknoloġija operattiva; softwer tal-kontroll li jimmaniġġja l-makkinarju u s-sistemi tan-navigazzjoni) tal-vapuri moderni m'għandhiex tiġi kondiviża għal raġunijiet ta 'sigurtà ċibernetika.

Regola ġenerali: qatt ma ddaħħal data reali, kunfidenzjali jew protetta b'kuntratt f'għodda esterna mhux approvata. Minflok, anonimizza l-kuntest u ibdel in-numri reali b'valuri rappreżentattivi. Pereżempju, minflok taqsam id-dejta tal-forma ta 'vapur reali, staqsi "spjega l-approċċ tar-reżistenza b'eżempju fuq l-ordni tad-dimensjonijiet ewlenin ta' trasportatur bl-ingrossa Handysize tipiku."

Pront dgħajjef / Pront qawwi

Pront dgħajjef:

Data tal-forma attwali tas-sid

Pront qawwi:

Rwol: Int konsulent b'esperjenza dwar l-idrodinamika tal-vapuri. Kuntest: Qed nagħmel analiżi preliminari ġenerali għal bulk carrier (il-valuri huma rappreżentattivi, mhux data attwali tal-proġett): Lpp ~ 180 m, raġġ ~ 32 m, abbozz ~ 12.5 m, koeffiċjent tal-blokk ~ 0.84, veloċità moderata ~ 14 knots. Kompitu: Spjega permezz ta' liema passi ssir l-istima preliminari tal-propulsjoni (komponenti tar-reżistenza, effiċjenza tal-propulsjoni, konċessjoni tal-baħar) u liema data għandi bżonn biex inkejjel/niċċekkja l-lista.Restrizzjoni: Ikteb kull formula u suppożizzjoni b'mod espliċitu; Jekk tagħti eżempju numeriku, speċifika l-unità (kN, kW, knots) u żid kif tivverifika.

Il-pront qawwi jipproteġi d-dejta attwali tal-proġett, jiċċara r-rwol u r-restrizzjoni, u jitlob mogħdija ta 'verifika.

Mudelli ta' Validazzjoni ta' Għan Ġenerali

Se tuża l-mudelli li ġejjin ripetutament matul il-modulu.

Mudell ġenerali għaż-żieda ta’ talba ta’ verifika:

Wieġeb il-mistoqsija tal-inġinerija hawn taħt. Fit-tweġiba tiegħek:1) Iddikjara l-unità ta’ kull numru.2) Qabbel l-ordni tal-kobor tar-riżultat ma’ vapur tipiku.3) Ikteb is-sors (isem tal-metodu) għal kull koeffiċjent/formula li tuża; Jekk ma jkunx hemm sors, immarkaha bħala "mhux ċara". 4) Issuġġerixxi t-tieni mod ta' kalkolu sabiex inkun nista' niċċekkja r-riżultat b'mod indipendenti. Mistoqsija: [mistoqsija hawn]

Mudell tal-kaċċa għall-alluċinazzjoni:

Agħmel tabella tal-valuri numeriċi, il-koeffiċjenti, u r-referenzi kollha tar-regoli/standard fit-tweġiba tiegħek hawn taħt. Għal kull ringiela:- Valur, unità- Bażi (kalkolu / koeffiċjent magħruf / assunzjoni / inċert)- Kif nivverifika dan b'mod indipendenti Enfasizza wkoll kull ringiela li l-bażi tagħha hija "inċerta".

Każijiet Mini

Każ 1 — Klawżola ta' klassi fabbrikata. "Liema klawsola tal-kodiċi tal-klassi teħtieġ din il-ħxuna minima tal-folja" biex tappoġġja sehem strutturali, inġinier junior jistaqsi lill-AI. AI tikkwota klawżola "Kapitolu 6, Taqsima 3.4.7" li fil-fatt ma teżistix. Meta l-inġinier iqabbelha mal-PDF attwali tar-regola tal-klassi, jara li l-klawżola hija falza u jsib il-klawżola t-tajba. Lezzjoni: Kull referenza ta' regola maħruġa minn AI hija verifikata mit-test oriġinali ta' klassifikazzjoni attwali.

Każ 2 — Nassa tal-unità. Tim jikseb għajnuna mill-AI fil-kalkolu tal-qawwa tad-dispaċċ. AI tagħti l-qawwa bħala "8500", iżda l-unità tagħha tibqa 'mhux ċara jekk hijiex "kW jew BHP". Hemm differenza ta' madwar 1.34 darba bejn 8500 kW u 8500 BHP; Din id-differenza tbiddel kompletament l-għażla ta 'host u l-baġit annwali tal-fjuwil. Jekk l-unità tal-ekwipaġġ tavvanza mingħajr ma titlob b'mod espliċitu, se tmur għall-klassi tal-magna ħażina. Lezzjoni: kwalunkwe numru mingħajr unità mhux aċċettat.

Każ 3 — Il-kontroll tar-rank isalva l-ħajjiet. Tim ta 'studenti kellu l-AI jikkalkula r-reżistenza tat-tbaħħir ta' vapur ta '15,000 DWT u sab li r-reżistenza totali kienet ta' 12 kN. Għal vapur ta 'dan id-daqs, ir-reżistenza għan-navigazzjoni hija fl-ordni ta' mijiet ta 'kN u l-qawwa tal-propulsjoni hija fl-ordni ta' diversi eluf ta 'kW. Differenza ta 'madwar 100 darba immedjatament betrays żball ta' editjar; l-istudenti jsibu żball esponent fil-formula tal-koeffiċjent tal-frizzjoni. Lezzjoni: dejjem qabbel ir-riżultat ma' medda ta' referenza magħrufa.

Żbalji komuni

  • Żbalja tal-ħeffa għall-eżattezza. Spjegazzjoni miktuba tajjeb tista’ tkun numerikament skorretta. Il-kwalità tat-test u l-eżattezza tar-riżultat huma żewġ affarijiet differenti.
  • Jaċċetta numru bla unità. Fil-konfużjoni marittima, knots/m·s, ton/kip, kW/BHP, m/ft huma żbalji li jtemmu l-karriera.
  • Id-dħul ta' data kunfidenzjali/kuntrattata fl-għodda esterna. Sigriet kummerċjali u ksur tal-proprjetà intellettwali; Ladarba nixxew, id-dejta tal-forma u tal-prestazzjoni ma tistax tiġi rkuprata.
  • Fidu sors wieħed. Li tuża riżultat kritiku mingħajr ma tipproduċih fit-tieni mod huwa li tikser ir-regola l-aktar fundamentali tad-dixxiplina kritika għas-sigurtà.
  • Nuqqas li jivverifika l-attribuzzjoni tar-regola. In-numri tal-oġġetti tal-klassi/SOLAS ipprovduti mill-AI jistgħu jkunu fittizji; Kull referenza hija verifikata mit-test oriġinali u attwali.

Fil-qosor

L-AI tħaffef b'mod drammatiku x-xogħol ripetittiv ta' kalkoli, kodiċi, dokumenti u data fl-inġinerija tal-baħar u tal-baħar; Iżda d-deċiżjonijiet li jiddeterminaw is-sikurezza marittima, il-konformità tal-klassi u s-sikurezza ambjentali jibqgħu f'idejn nies kwalifikati. Kull output għandu jiġi ffiltrat permezz ta 'ordni ta' kobor, konsistenza ta 'unità, u riproduzzjoni indipendenti. Għal raġunijiet ta' kunfidenzjalità kummerċjali u ċibersigurtà, id-dejta attwali tad-dgħajsa/tal-prestazzjoni għandha tkun anonimizzata u għandhom jintużaw biss għodod approvati. Din id-dixxiplina hija prerekwiżit għall-unitajiet kollha sussegwenti.

Kompitu ta' applikazzjoni

Agħżel mistoqsija ta' inġinerija mill-qasam tiegħek (forma, stabbiltà, propulsjoni, manutenzjoni, navigazzjoni). L-ewwel ittajpja "pront dgħajfa" u staqsi lill-AI; Imbagħad ikteb "power prompt" li jinkludi r-rwol, il-kuntest anonimizzat, ir-restrizzjoni, u t-talba ta 'verifika u erġa' staqsi l-istess mistoqsija. Qabbel iż-żewġ tweġibiet f'termini ta 'ordni ta' kobor u konsistenza tal-unità, applika l-"mudell tal-kaċċa għall-alluċinazzjoni", u kkonferma mill-inqas riżultat wieħed b'kalkolu tal-idejn indipendenti. Agħti fil-qosor is-sejbiet tiegħek f'nofs paġna.

lista ta' kontroll

  • [ ] Evalwajt ir-riskju tal-output bil-mistoqsija "min iweġġa' jekk ikun ħażin?"
  • [ ] Qabbilt ir-riżultat ma' vapur magħruf f'termini ta' daqs.
  • [ ] Ikkonfermajt b'mod ċar l-unità tan-numri kollha (għoqda, kW, tunnellata, m).
  • [ ] Irriprodujt ir-riżultat kritiku bit-tieni metodu indipendenti.
  • [ ] Jien użajt valur ta' prokura anonimizzat minflok dejta tad-dgħajsa reali/moħbija.
  • [ ] Ivverifikajt kull referenza tal-klassi/SOLAS mogħtija minn AI mit-test oriġinali u attwali.