Qligħ:
- Kapaċità li awtomat il-kalkolu tal-inġinerija, il-ġestjoni tal-unità u l-ipproċessar tad-dejta b'kodiċi Python li jaħdem bl-AI
- Kapaċità li tivvalida l-kodiċi AI bi verifika tal-unità, ittestjar tar-riżultati magħrufa, u każijiet tat-tarf
- Kapaċità li tikseb id-drawwa li tipproduċi dokumenti tal-kont ripetibbli, traċċabbli u kkontrollati mill-verżjoni
Fl-inġinerija mekkanika, l-istess kalkolu jsir għal darb'oħra: tensjonijiet ta 'familja ta' partijiet, qawwa tal-pompa għal firxa ta 'punti operattivi, tabelli tal-proprjetà f'temperaturi differenti. Li tagħmel dawn manwalment hija kemm bil-mod kif ukoll suxxettibbli għall-iżbalji. Python (lingwa ta' programmar faċli biex titgħallem b'libreriji sinjuri għall-inġinerija) awtomat dawn l-iterazzjonijiet; Jagħmel il-kont ripetibbli, traċċabbli u verżjoni kkontrollata. Intelliġenza artifiċjali (AI) Python huwa oerhört mgħaġġel fil-ġenerazzjoni tal-kodiċi: jikkonverti formula f'funzjoni, iżżid il-ġestjoni tal-unità, jaqra dejta, jippjana graffs. Iżda hawn kunċett żbaljat perikoluż: sempliċement għax il-kodiċi jaħdem mingħajr żbalji ma jfissirx li jikkalkula b'mod korrett. Il-kodiċi AI jista 'jirritorna skiet riżultati żbaljati minħabba konverżjoni ta' unità mhux korretta, formula mhux korretta, jew f'każijiet ta 'tarf, u l-programm se jkompli jaħdem mingħajr ebda żball. Huwa għalhekk li kull kodiċi ta 'inġinerija prodott bl-AI; L-inputs tat-test b'riżultati magħrufa mhumiex affidabbli mingħajr verifika mill-iċċekkjar tal-unità (daqs) u provi tal-każ tat-tarf. F'din l-unità, titgħallem kif twaqqaf b'mod sikur l-awtomazzjoni tal-kont Python bl-AI.
Għaliex Kont tal-Kodiċi? Traċċabilità u Riproduċibbiltà
Kalkolu manwali huwa ta' darba; Meta input jinbidel, isir mill-bidu u jintilfu passi intermedji. Kalkolu magħmul fil-kodiċi huwa bħal dokument: inputs, formuli u outputs huma miktuba b'mod ċar; tibdel input u tikseb riżultat ġdid fi ftit sekondi; Bil-kontroll tal-verżjoni (bħal git), "dak li kkalkulajt b'liema valur f'liema data" jista 'jiġi ssorveljat. Dan huwa imprezzabbli f’termini ta’ kontroll u responsabbiltà. Iżda din is-setgħa tiddependi fuq il-korrettezza tal-kodiċi; Kodiċi ħażin jipproduċi riżultat ħażin, ukoll b'mod riproduċibbli u malajr.
Tip: Ikteb test għal kull funzjoni tal-komputazzjoni b'riżultat veru magħruf ħdejha (asserixxi f'Python). Pereżempju, il-funzjoni tal-istress tiegħek għandha tagħti 28.1 MPa f'kampjun magħruf. Dan it-test immedjatament iwissik jekk tkisser xi ħaġa meta tibdel il-kodiċi fil-futur. Kodiċi tal-inġinerija li mhux ittestjat huwa kont mhux verifikat.
Ġestjoni tal-Volum: L-aktar Sors Komuni ta' Żball
Fil-kodiċi tal-inġinerija, ħafna mill-iżbalji jiġu minn unitajiet: N b'kN, m b'mm, Pa b'MPa, li jistgħu jiġu konfużi b'fattur ta '1000 jew 1,000,000. Hemm żewġ difiżi. L-ewwel hija d-dixxiplina: l-għażla ta 'sistema ta' unità waħda mill-bidu (eż. N, mm, MPa) u tikkonverti l-inputs kollha għaliha u żżid l-unitajiet mal-ismijiet varjabbli (tul_mm, forza_N). It-tieni hija l-għodda: librerija bħal pinta ġġorr l-unitajiet fil-kodiċi u taqbad l-operazzjoni inkonsistenti bħala żball.
Approċċ
Kif taħdem
Vantaġġ
Id-dixxiplina tal-ismijiet
bħal force_N, tul_mm
Sempliċi, l-ebda dipendenzi
sistema ta' unità waħda
Kollha konvertiti għal N-mm-MPa
Sempliċità, veloċità
librerija pinta
Jiċċaqlaq unità b'varjabbli
Awtomatikament jaqbad inkonsistenza
Test tar-riżultat magħruf
referenza ma jasserixxu
Qabdiet żball ta' formula/unità
Attenzjoni: Konverżjoni ta 'unità tista' tkun nieqsa jew mhux korretta fil-kodiċi ġġenerat mill-AI u l-kodiċi xorta "jaħdem". Pereżempju, jekk id-dijametru huwa mm u l-erja hija mistennija li tkun m², ir-riżultat jiddevja b'1,000,000 darba, iżda l-programm mhux se jagħti żball. Qabel ma tħaddem il-kodiċi, ikkummenta l-unitajiet tal-inputs u l-output; imbagħad ipprovdi r-riżultat b'eżempju magħruf.
Pass pass: Kodiċi tal-Kont Verifikabbli AI
- Iċċara l-problema u s-sistema tal-unità. Inputs, outputs, unitajiet.
- Iġġenera l-funzjoni. Uniku responsabbli, interpretattiv, magħqud.
- Żid it-test tar-riżultati magħrufa. Asserixxi b'eżempju ta' referenza.
- Ipprova każijiet tarf. Input żero, negattiv, kbir / żgħir ħafna.
- Agħmel kontroll tal-unità. L-unità tal-produzzjoni taqbel ma' dak mistenni?
- Dokument u verżjoni. Suppożizzjonijiet, sors, data; traċċabilità ma git.
Prompt li jiġġenera funzjonijiet u testijiet
Rwol: Żviluppatur Python b'Esperjenza li jikteb kalkoli tal-inġinerija. Kompitu: Ikteb funzjoni li tikkalkula l-istress massimu tal-liwi f'raġġ cantilever b'sezzjoni trasversali rettangolari. Input: F (N), L (mm), b (mm), h (mm). Output: sigma (MPa).Konvenzjoni: Sistema ta 'unità N-mm-MPa; jikkummenta l-unità ta’ kull iskrizzjoni.Regola: uża I = b*h^3/12 u sigma = M*c/I; jikkummenta l-passi.Regola: Żid test b'RIŻULTAT MAGĦRUF: sigma ~28.1 MPa għal F=500,L=300,b=20,h=40; Iċċekkja bl-assert (tolleranza żgħira).
L-istatus tat-tarf fil-pront
Żid kontrolli tal-każ tat-tarf mal-funzjoni ta 'hawn fuq:- Jekk b, h jew L huma żero jew negattivi, agħti żball sinifikanti (għolli ValueError).- Ikkummenta jekk hemmx problema ta' overflow/preċiżjoni b'inputs kbar/żgħar ħafna. Żid ukoll 3 inputs tat-test differenti aktar u ikteb ir-riżultat mistenni; spjega r-riżultati b'mod li nista' nivverifikahom manwalment.
Sigurtà tal-unità (pinta) fil-pront
Unit-safe l-istess kont mal-librerija 'pint'. Ħalli l-inputs jiġu definiti f'unitajiet (eż. 500 * ureg.newton). Ikkonverti l-output għal MPa u ipprintjaha. Żid eżempju żgħir li juri kif pinta tfalli meta tingħata input bl-unità ħażina.
Iċċekkja l-kodiċi fil-pront
Ikkritika l-kodiċi tal-kalkolu tal-inġinerija tiegħi hawn taħt minn perspettiva ta 'reviżjoni tal-kodiċi, ma taqbilx miegħi. B'mod partikolari: il-konverżjoni tal-unità hija korretta, il-formula hija korretta, ġew ikkunsidrati każijiet tat-tarf (żero, negattivi), it-testijiet huma tassew konfermatorji? Għal kull sejba, ikteb kif tirranġaha.[kodiċi]
Prompt Dgħajjef / Prompt Qawwija
Pront dgħajjef:
Ikteb il-kodiċi Python għall-kalkolu tal-istress.
L-ebda għażla ta 'unitajiet, formuli, definizzjonijiet ta' input u testijiet; L-AI tiġġenera kodiċi li jaħdem iżda mhux ivverifikat u li l-unità tiegħu mhix magħrufa.
Pront qawwi:
Ikteb il-funzjoni tal-istress tal-liwi fir-raġġ tal-cantilever. Input F(N), L(mm), b(mm),h(mm); output sigma(MPa). Sistema N-mm-MPa, speċifika kull unità fil-kumment. Żid test b'riżultati magħrufa (F=500, L=300, b=20, h=40 → ~28.1 MPa, asserixxi). Agħti żball fuq input żero/negattiv. Interpreta każijiet edge.
It-tieni pront jeħtieġ is-sistema tal-unità, il-formula, l-inputs, it-test, u l-każijiet tat-tarf; Jagħmel il-kodiċi verifikabbli.
Tliet Każijiet Mini (Bin-Numri)
Każ 1 - Żball fil-volum siekta. Il-kalkolu taż-żona prodott minn AI jieħu d-dijametru f'mm u jagħti mm² b'pi*d**2/4, iżda l-linja li jmiss tpoġġiha f'formula li tistenna m²; Il-kodiċi jaħdem mingħajr żbalji u jagħti l-istress 1,000,000 darba aktar baxx. Meta l-inġinier iwettaq it-test b'riżultat magħruf (asserixxi abs(sigma-28.1)<0.5), it-test jisplodi u l-iżball jinqabad. Kieku ma kien hemm l-ebda test, ir-riżultat ħażin kien jidħol fir-rapport mingħajr ma jiġi osservat. Lezzjoni: kodiċi tax-xogħol ≠ kodiċi korrett.
Każ 2 - Tiġrifa tal-istat tat-tarf. Fil-kodiċi li loops għal familja ta 'partijiet, il-ħxuna h=0 tiddaħħal f'linja waħda; Meta I = b*h**3/12 = 0, sigma = M*c/I tagħti diviżjoni bi żball żero. Grazzi għall-kontroll if h<=0: raise ValueError miżjud mill-AI, il-kodiċi jieqaf b'messaġġ sinifikanti u ma jipproduċix inf fis-skiet. Lezzjoni: jimmaniġġjaw każijiet tat-tarf minn qabel.
Każ 3 - Żieda fir-ripetibbiltà. Inġinier ħa nofs ġurnata biex jikkalkula manwalment il-qawwa tal-pompa għal 40 punt operattiv differenti. Miktub f'AI, l-iskrittura jaqra s-CSV, tikkalkula l-qawwa għal kull linja, u tivverifika punt magħruf b'asserzjoni, tnaqqas ix-xogħol għal ~ 2 minuti u tikteb ir-riżultati f'fajl traċċabbli. Meta dħul tinbidel, it-tabella kollha tiġi aġġornata kull sekonda. Lezzjoni: l-awtomazzjoni vverifikata hija kemm veloċi kif ukoll affidabbli.
Żbalji komuni
- "Ħadem = korrett" fallacy: Taħseb li l-kodiċi li jaħdem mingħajr żbalji huwa korrett.
- Mhux tikteb testijiet: Tistrieħ fuq kodiċi mingħajr test ta 'referenza b'riżultat magħruf.
- Ambigwità tal-unità: Jħallu l-unitajiet ta 'input/output mhux interpretati, taqbeż il-konverżjoni.
- Injora l-każijiet tat-tarf: Żball sieket jew ħabta fuq input żero/negattiv.
- Mhux dokumentat is-sors/suppożizzjoni: Mhux miktub is-sors u l-assunzjoni tal-formula użata.
- Mhux verżjoni: Tħalli l-kont bħala fajl ta 'darba mingħajr ma tagħmilha traċċabbli (git).
Fil-qosor
- Python jagħmel il-komputazzjoni tal-inġinerija ripetibbli, traċċabbli, u verżjoni kkontrollata.
- AI hija mgħaġġla ħafna fil-ġenerazzjoni tal-kodiċi; Iżda l-fatt li l-kodiċi jaħdem mingħajr żbalji ma jfissirx li jikkalkula b'mod korrett.
- Kull kodiċi għandu jiġi vvalidat permezz ta 'ttestjar tar-riżultat magħruf, verifika tal-unità, u każijiet tat-tarf.
- L-iżbalji ta' l-unità huma l-aktar sors ta' żball frekwenti u insidjuż; Tiddefendi b'sistema ta' unità waħda, nomenklatura jew pinta.
- L-awtomazzjoni vvalidata tiffranka l-ħin u tagħti kunfidenza; Kodiċi mhux verifikat huwa perikoluż.
Kompitu ta' applikazzjoni
Agħżel kalkolu ta 'inġinerija rikorrenti (bħal stress, qawwa tal-pompa, tagħbija tas-sħana). Ikteb funzjoni Python lill-AI li tagħmel dan il-kalkolu; Ikkummenta l-unità ta’ kull input u output u żid test ta’ affermazzjoni b’riżultat magħruf. Mexxi t-test u ara jekk jgħaddix. Imbagħad agħmel żewġ verifiki oħra: ipprova każ tarf (input żero jew negattiv) biex tivverifika li l-kodiċi jirritorna żball sinifikanti, u manwalment ipprovdi l-unità tal-output f'eżempju. Jekk possibbli, għandek ukoll verżjoni unit-safe prodotta f'pinta. Fl-aħħarnett, żid is-suppożizzjonijiet tal-kalkolu, is-sors tal-formula, u d-data mal-kodiċi bħala titolu qasir u ikteb għaliex dan il-kodiċi għadu jeħtieġ l-approvazzjoni tal-inġinier.
lista ta' kontroll
- [ ] L-unitajiet ta' input u output huma dokumentati b'mod ċar fil-kodiċi; intgħażlet sistema ta' unità waħda.
- [ ] Ġie miżjud u għadda test (asserzjoni) b'riżultat magħruf.
- [ ] Ġie attentat għall-inqas każ wieħed tarf (żero/negattiv); Il-kodiċi ta żball sinifikanti.
- [ ] L-unità tal-produzzjoni ġiet ipprovduta b'eżempju manwali (mhux wieħed jassumi "maħdem = korrett").
- [ ] Sors tal-formula, suppożizzjonijiet u data nnutati fil-kodiċi.
- [ ] Kont jinżamm trackable/traċċat; l-approvazzjoni finali tħalla f'idejn l-inġinier.