Unità 2 / 11

Kalkolu u Metodi Numeriċi b'Python

Qligħ:

  • Kapaċità li tistrieħ fuq output deterministiku, mhux suppożizzjoni verbali, billi l-AI tittraduċi kalkolu fiżiku f'kodiċi NumPy/SciPy u tmexxi l-kodiċi innifsu
  • Kapaċità li tivverifika l-affidabbiltà ta 'kodiċi numeriku billi tittestjah b'sitwazzjoni sempliċi li t-tweġiba tagħha hija magħrufa u tivverifika l-konverġenza tagħha.
  • Kapaċità li tipprovdi fiżikament l-unità u l-livell tar-riżultat billi tirrifletti unitajiet varjabbli fil-kodiċi

Ħafna problemi fil-fiżika ma jistgħux jiġu solvuti bl-idejn: integrali m'għandha l-ebda soluzzjoni analitika, l-għerq ta 'sistema ta' ekwazzjonijiet ma tistax tinstab f'forma magħluqa, jew kalkolu għandu jiġi ripetut eluf ta 'darbiet. Dan huwa fejn jidħlu l-metodi numeriċi: minflok formula eżatta, il-kompjuter jikkalkula pass pass bi preċiżjoni approssimattiva iżda kkontrollata. F'din l-unità, titgħallem kif tuża l-intelliġenza artifiċjali (AI) bħala sieħeb tal-kodiċi għall-kalkoli tal-fiżika komputazzjonali, kif tivverifika l-kodiċi li tipproduċi, u liema nases għandek tevita li taqa 'fihom. L-għodod standard tal-fiżiku hawnhekk se jkunu l-lingwa Python u NumPy (librerija għal arrays numeriċi u matematika mgħaġġla) kif ukoll SciPy (librerija għall-kompjuters xjentifiċi; tinkludi integrazzjoni, sejba radikali, ottimizzazzjoni).

Għaliex AI + Python, għaliex mhux bl-idejn?

It-twettiq tal-kalkoli numeriċi bl-idejn huwa kemm bil-mod kif ukoll suxxettibbli għall-iżbalji. L-AI tista' tittraduċi l-kostruzzjoni fiżika tiegħek f'kodiċi Python li jaħdem fi ftit sekondi. Iżda r-regola tad-deheb hawnhekk hija: AI tikteb il-kodiċi, inti tmexxi l-kodiċi u tivverifika r-riżultat bil-fiżika. L-AI li tgħid "dan il-kodiċi jagħti dak" hija tbassir; Attwalment tmexxi l-kodiċi u tara l-output huwa fatt deterministiku. LLM jista' "jikkalkula" l-output tal-kodiċi li kiteb f'rasu u jgħid numru ħażin; billi meta jitmexxa l-istess kodiċi jagħti r-riżultat korrett. Allura qatt ma tafda r-riżultat numeriku li l-AI tagħti verbalment — mexxi l-kodiċi.

Ħidmiet komputazzjonali bażiċi u r-rwol tal-AI

Tfittxija

Metodu/għodda

verifika fiżika

integrali definit

scipy.integrate.quad

Stati limitu, analiżi dimensjonali

għerq tal-ekwazzjoni

scipy.optimize.brentq

Poġġi l-għerq fil-post u iċċekkja jekk hux żero.

Sistema ta' ekwazzjonijiet lineari

numpy.linalg.solve

Tpoġġi s-soluzzjoni lura fis-sistema

Derivat (numeriku)

Differenza ċentrali jew numpy.gradient

Tqabbil mad-derivazzjoni analitika

Kalkolu tal-vettur bl-ingrossa

Arrays NumPy

Kontroll ta' unità u rank

L-AI hija tajba ħafna biex tissuġġerixxi liema minn dawn l-għodod hija xierqa u biex tikseb is-sintassi (regoli tal-kitba tal-kodiċi) korretta. Imma inti tiddeċiedi liema metodu jagħmel sens fiżiku u l-eżattezza tar-riżultat.

Pass pass: kalkolu numeriku verifikabbli

1. Iċċara l-problema u l-unitajiet. Pereżempju: "Ikkalkula l-integral e^(−x²) minn 0 sa infinità; ir-riżultat għandu jkun √π/2 ≈ 0.8862." Il-kitba mill-ġdid tar-riżultat mistenni (jekk hemm) tagħmel il-verifika aktar faċli.

2. Staqsi lill-AI għall-kodiċi, imma tmexxi l-output. Ikkopja l-blokk tal-kodiċi u ħaddem fl-ambjent tiegħek stess (Jupyter, Colab, Python nattiv).

3. Ittestja b'sitwazzjoni magħrufa. Ipprova l-kodiċi b'sitwazzjoni sempliċi li diġà taf it-tweġiba għaliha. Pereżempju, ittestja kodiċi integrali b'eżempju li taf bl-idejn, bħal ∫₀¹ x dx = 0.5. Jekk il-kodiċi jagħti dan b'mod korrett, il-kunfidenza tiegħek tiżdied.

4. Iċċekkja għall-konverġenza. F'metodi numeriċi, meta żżid in-numru ta 'passi, ir-riżultat għandu jersaq lejn valur kostanti. Jekk ma toqrobx, il-metodu mhuwiex adattat.

5. Iċċekkja l-unità u l-grad. Dejjem ipprovdi r-riżultat numeriku bl-unità fiżika u l-ordni.

Tip: Meta titlob kodiċi mill-AI, għid "inkludi wkoll linja tat-test li tqabbel ir-riżultat ma' valur analitiku magħruf." Għalhekk, il-kodiċi kemm iwettaq il-kalkolu kif ukoll jittestja lilu nnifsu f'sitwazzjoni magħrufa. Dan jagħmel l-iżbalji viżibbli immedjatament.

tliet każijiet żgħar

Każ 1 — Konklużjoni orali żbaljata. Student kellu AI tikteb kodiċi integrali u AI qal "dan il-kodiċi jagħti madwar 1.77." L-istudent mexxa l-kodiċi: l-output attwali kien 0.886. L-AI kienet għamlet żball meta tbassar l-output tal-kodiċi; Il-kodiċi kien korrett. Lezzjoni: tafda l-kodiċi, tafdax l-raden verbali.

Każ 2 — Instabilità numerika. Riċerkatur fittex l-għerq ta 'ekwazzjoni b'kodiċi ta' sejba ta 'għeruq li kitbet AI. Il-kodiċi rritorna għerq, iżda meta r-riċerkatur poġġa l-għerq lura fl-ekwazzjoni, ir-riżultat ma kienx żero iżda numru kbir ħafna. Il-problema kienet li l-firxa tal-bidu ma kienx fiha l-għerq; L-AI assumiet il-firxa xierqa. Ir-riċerkatur ikkoreġa l-intervall b'informazzjoni fiżika u sab l-għerq korrett.

Każ 3 — Konferma miksuba. Inġinier ried kodiċi li jikkalkula numerikament id-deflessjoni ta 'raġġ taħt tagħbija. Il-kodiċi ħadem, iżda r-riżultat wera metri ta 'deflessjoni—impossibbli għal raġġ tal-azzar. L-inġinier eżamina l-unitajiet: l-AI kienet ippretendiet li għandha l-modulu elastiku f'Pa minflok GPa, nieqes fattur ta '10⁹. Bil-korrezzjoni tal-unità, ir-riżultat naqas għal millimetri u kien raġonevoli.

Erba' mudelli li jistgħu jiġu kkupjati

1) Kalkolu numeriku b'linja ta' validazzjoni:

Ikteb il-kodiċi Python (NumPy/SciPy) li jwettaq il-kalkolu fiżiku li ġej: [problema]. Iddikjara l-varjabbli kollha f'unitajiet SI u speċifika l-unità b'linja ta' kumment. Żid linja ta 'kontroll (tasserixxi jew ipprintja) fl-aħħar tal-kodiċi li tqabbel ir-riżultat ma' valur analitiku/sempliċi magħruf. Jien ser imexxi l-kodiċi; inti ma raden l-output, ikteb biss il-kodiċi u l-grad mistenni.

2) Konsultazzjoni dwar l-għażla tal-metodu:

Irrid insolvi l-problema li ġejja numerikament: [problema].Liema funzjoni SciPy/NumPy hija xierqa u GĦALIEX? Issuġġerixxi 2 metodi alternattivi, ikteb il-vantaġġi/iżvantaġġi ta 'kull wieħed f'termini ta' preċiżjoni u stabbiltà. Iddikjara liema waħda għandha tkun preferuta f'liema sitwazzjoni fiżika.

3) Kontroll tal-konverġenza:

Ikteb kodiċi Python li juri kif ir-riżultat jikkonverġi billi żżid in-numru ta 'passi tal-kalkolu numeriku li ġej (eż. N=10, 100, 1000). Stampa r-riżultati f'tabella. Jekk ma jkunx hemm konverġenza, spjega r-raġuni fiżika/numerika għal dan f'sentenza waħda. Kodiċi: [hawn]

4) Kontroll tal-unità:

Fil-kodiċi hawn taħt, ikkummenta l-unità SI ta’ kull varjabbli u ċċekkja jekk l-unità tar-riżultat finali hijiex konsistenti mal-unità mistennija (eż. meter, joule). Jekk hemm inkonsistenza, uri f'liema linja tinsab. Kodiċi: [hawn]

Pront dgħajjef / Pront qawwi

Dgħajjef: "Għid ir-riżultat ta' din l-integral: ∫₀^∞ x²·e^(−x) dx"
Riżultat: L-AI beżoq numru f'rasha (forsi tajjeb, forsi ħażin); xejn eżekutibbli, xejn verifikabbli.
Qawwija: "Ikteb il-kodiċi Python li jikkalkula l-integral ∫₀^∞ x²·e^(−x) dx ma' scipy.integrate.quad. Żid linja ta' affermazzjoni li tqabbel ir-riżultat mal-valur analitiku ta' din l-integral, 2! = 2. Se nmexxi l-kodiċi."
Riżultat: Kodiċi eżegwibbli, validazzjoni integrata (tqabbil mal-valur analitiku) u riżultat affidabbli.

Żbalji komuni

  • Billi bbażat ruħha fuq ir-riżultat numeriku verbali tal-AI. LLM jista' jbassar b'mod żbaljat l-output tal-kodiċi fir-ras. Dejjem mexxi l-kodiċi.
  • Mhux ttestjat b'sitwazzjoni magħrufa. Kodiċi li ma jittestjax b'eżempju sempliċi li għalih taf li t-tweġiba jista' jkun fih żbalji moħbija.
  • Mhux iċċekkja għall-konverġenza. It-twaħħil b'għadd ta' pass wieħed joskura jekk ir-riżultat huwiex numerikament affidabbli.
  • Ma jirriflettix l-unitajiet fil-kodiċi. Li ma tikkummentax l-unità tal-varjabbli tistieden żbalji siekta 10ⁿ.
  • Injora l-verżjoni/suppożizzjonijiet tal-librerija. Xi drabi l-AI tista' tipproduċi isem ta' funzjoni ineżistenti jew sintassi skaduta; Huwa notevoli meta tmexxiha.
Attenzjoni: Qabel ma tpoġġi riżultat numeriku f'pubblikazzjoni, assenjazzjoni jew disinn, ittestja l-kodiċi b'każ indipendenti magħruf u ipprovdi r-riżultat f'unitajiet/ordnijiet. Anke kodiċi tax-xogħol jista 'jkun kalkolu tal-fiżika ħażina; Sempliċement għax il-kodiċi jaħdem ma jfissirx li l-fiżika hija korretta.

Fil-qosor

L-AI hija sieħba b'saħħitha fit-traduzzjoni tal-kalkoli fiżiċi f'kodiċi Python; Imma n-numri li jagħti verbalment huma stimi, mhux fatti. Il-fluss tax-xogħol sikur huwa ċar: iddefinixxi l-problema bl-unitajiet tagħha, agħmel li l-AI tikteb il-kodiċi imma tmexxi l-output, ittestja l-kodiċi b'sitwazzjoni magħrufa, iċċekkja l-konverġenza u l-unità. Dak li hu deterministiku huwa l-kodiċi li jiġi esegwit; Mhuwiex LLM. Fl-unità li jmiss se nimxu din il-pedament numeriku għas-simulazzjoni ta 'sistemi fiżiċi li jvarjaw fil-ħin.

Kompitu ta' applikazzjoni

Agħżel kalkulu tal-fiżika li għalih taf is-soluzzjoni analitika (per eżempju, il-veloċità ta 'oġġett li jaqa' ħieles fuq perjodu ta 'żmien jew integrali definita sempliċi). Ħalli l-AI tikteb kodiċi Python bil-mudell 1; mexxi l-kodiċi lilek innifsek. Qabbel ir-riżultat mal-valur analitiku li taf. Imbagħad osserva kif iġib ruħu r-riżultat billi tbiddel in-numru ta 'passi jew parametru. Nota f'5-6 sentenzi: l-output tal-kodiċi qabbel mat-tbassir verbali, kien hemm kwistjoni ta 'unità/ordni?

lista ta' kontroll

  • [ ] Ikjarifikajt il-problema u l-unità tal-varjabbli kollha.
  • [ ] Jien għamilt il-kodiċi miktub mill-AI, ma kontx afdajt ir-riżultat verbali.
  • [ ] Ittestjajt il-kodiċi b'sitwazzjoni sempliċi li għaliha kont naf it-tweġiba.
  • [ ] Iċċekkja l-konverġenza jew is-sensittività tal-parametri.
  • [ ] Jien ipprovdejt fiżikament l-unità u l-ordni tar-riżultat.
  • [ ] Ivverifikajt li l-funzjonijiet tal-librerija li qed nuża huma reali u aġġornati.