Faida:
- Uwezo wa kupata mifupa ya asili kutoka kwa AI na kuthibitisha kwa usahihi kila hatua ya aljebra na SymPy
- Uwezo wa kujaribu fomula inayotokana na inverse-derivative-integral na ukaguzi wa kikomo wa hali/kikomo
- Uwezo wa kuthibitisha sheria ya maandishi na majina ya nadharia na kuondoa mizizi isiyo ya kimwili
Nguvu ya fizikia inatokana na uwezo wake wa kufupisha matukio changamano kwa milinganyo machache. Kupata kasi kutoka kwa mlinganyo wa mwendo, kupata sheria ya uhifadhi kutoka kwa usemi wa nishati, kusuluhisha jambo muhimu kwa njia isiyo wazi-hizi ni shughuli za ishara (katika herufi, si nambari). Katika kitengo hiki, utajifunza jinsi ya kutumia akili bandia (AI) kama mchoro na mshirika wa kufikiri katika mchakato wa kupata modeli halisi na mchakato wa suluhu ya uchanganuzi; na utajifunza jinsi ya kuthibitisha kila derivation na SymPy (maktaba ya hesabu ya mfano ya Python; hufanya derivatives, viambatanisho, na kusuluhisha hesabu kwa herufi, kwa umbo kamili). Kanuni ya msingi hapa ni: AI inaonyesha njia ya kupata, SymPy inathibitisha usahihi wa derivation.
AI na SymPy mgawanyiko wa leba katika derivation ya ishara
AI ni nzuri sana katika kuanzisha mkakati wa jumla wa derivation ("katika tatizo hili anza na uhifadhi wa nishati, kisha fanya utofautishaji wa sehemu") na kuelezea hatua za kati. Lakini katika aljebra ya mfano—hasa katika maandishi marefu—hufanya makosa ya ishara, maneno yasiyoeleweka, na kurahisisha uwongo. SymPy, kwa upande mwingine, inathibitisha kwa usahihi kila moja ya hatua hizi kwa sababu inafanya kazi kwa sheria, sio kwa kichwa. Mtiririko mzuri zaidi wa kazi unachanganya hizi mbili: Chukua wazo na kiunzi cha utokaji kutoka kwa AI, toa kila hatua ya aljebra na SymPy.
Jitihada
Mchango wa AI
Uthibitishaji na SymPy
derivation
Inanikumbusha sheria ya mnyororo
Matokeo halisi na sympy.diff
ushirikiano
mbinu inapendekeza
Uthibitishaji na sympy.jumuisha
utatuzi wa equation
Hutengeneza mkakati
Kupata mzizi na sympy.solve
Kurahisisha
Inaonyesha jina langu
Thibitisha kwa sympy.rahisisha
Hali ya kikomo / kikomo
Hutoa maoni ya kimwili
kikomo kamili na sympy.limit
Upanuzi wa mfululizo
inapendekeza mbinu
Upanuzi wa Taylor na sympy.series
Hatua kwa hatua: toleo lililothibitishwa
1. Fafanua mahali pa kuanzia kimwili. Utoaji huanza kutoka kwa sheria gani? Sheria ya pili ya Newton, uhifadhi wa nishati, milinganyo ya Maxwell? Taja mawazo (isiyo na msuguano, pembe ndogo) kwa uwazi.
2. Uliza AI kwa uvumbuzi wa hatua kwa hatua. Mwambie aandike ni kanuni/sheria gani ilitumika katika kila hatua. Uliza njia, sio tu fomula ya mwisho.
3. Thibitisha kila hatua ya aljebra kwa SymPy. Pata derivative katika SymPy, tatua muhimu katika SymPy, kutatua equation katika SymPy. Ikiwa hatua ya AI hailingani na matokeo ya SymPy, kosa liko kwenye AI.
4. Jaribu na hali ya kikomo. Je! fomula inayotokana inapunguza hadi kesi maalum zinazojulikana? Kwa mfano, fomula ya uhusiano inapaswa kurudi kwenye fomula ya kitambo wakati kasi ni ndogo sana; Equation kwa chemchemi lazima ipunguze kwa oscillation inayojulikana wakati msuguano ni sifuri.
5. Kufanya uchambuzi wa dimensional. Je, vitengo vya pande zote mbili za fomula inayotolewa hushikilia? Tutashughulikia hili kwa kina katika kitengo cha 7, lakini ni ukaguzi wa kimsingi hapa pia.
Kidokezo: Njia ya haraka zaidi ya kuthibitisha kiambatanisho au derivative inayotokana na YZ ni kugeuza: kutofautisha matokeo ya kiungo na SymPy; Ikiwa inarudi kwa usemi wa awali, kiunga ni kweli. Hii "derivative-integral inverse" ni mojawapo ya ukaguzi wenye nguvu zaidi ambao hutambua makosa ya ishara kwa sekunde.
kesi tatu ndogo
Kesi 1 - ishara iliyokosa. Mwanafunzi aliuliza AI itoe mlinganyo wa mwendo wa oscillator ya sauti iliyotiwa unyevu. AI ilibadilisha ishara ya neno la unyevu katika hatua moja na kupata mfumo (usiowezekana kimwili) ambao unapata nishati. Mwanafunzi alipochomeka mlingano kwenye SymPy na kusuluhisha, aliona kuwa suluhu ilikua kwa kasi - muda wa kupunguza unyevu unapaswa kupungua, sio kukua. Mara tu niliporekebisha ishara, fizikia ilianguka mahali.
Kesi 2 - Kiunga kisicho sahihi. Mtafiti aliuliza AI kwa muunganisho wa nishati unaowezekana. AI ilitoa matokeo ambayo yalionekana kuwa sawa. Mtafiti alipata matokeo na SymPy; hakurejea taarifa ya awali. AI ilikuwa imekosa sababu ya mara kwa mara katika muunganisho. Wakati nilichukua kiunga moja kwa moja na SymPy, matokeo sahihi yalipatikana.
Kesi 3 - Mpaka uliokoa hali hiyo. Mwalimu aliuliza AI kupata fomula ya nishati ya kinetic na akapokea usemi. Ili kupima usahihi wa formula, alichukua kikomo ambapo kasi ilikuwa ndogo sana na mfululizo wa SymPy; matokeo hayajapunguzwa hadi ½mv² ya kawaida. AI ilikuwa imepoteza neno katika derivation. Katika derivation sahihi, kikomo kilipunguzwa kwa fomu ya classical na formula ilithibitishwa.
Violezo vinne vinavyoweza kunakiliwa
1) Utoaji umethibitishwa na SymPy:
Pata idadi halisi ifuatayo HATUA KWA HATUA kutoka kwa sheria [sheria ya awali]:[lengo]. Andika sheria uliyotumia katika kila hatua. Kisha andika msimbo wa SymPy ambao huthibitisha kila hatua ya aljebra ya utokezi (derivative/integral/solution). Taja mawazo (k.m. isiyo na msuguano, pembe ndogo) kwa uwazi.
2) Cheki cha urejeshaji chenye derivative-muhimu:
Piga hesabu ya matokeo ya kiunga kifuatacho na SymPy, kisha uchukue derivative ya matokeo hayo na SymPy na uandike msimbo ili kuangalia ikiwa inarudi kwa usemi wa kuanzia. Ikiwa haitarudi, taja ni hatua gani ambayo ni tatizo. Usemi: [hapa]
3) Kikomo cha hali / udhibiti wa kikomo:
Andika msimbo unaoangalia kwa kutumia kikomo/msururu wa SymPy iwapo fomula [formula] ifuatayo inayotokana, [parameta] inapungua hadi [fomula ya asili inayotarajiwa] inayojulikana katika kikomo kidogo/ kikubwa mno. Ikiwa sivyo, weka alama kwenye hitilafu inayowezekana katika utokeo.
4) Uthibitishaji wa suluhisho la equation:
Tatua mlingano huu [equation] na SymPy solve. Ongeza msimbo unaokagua ikiwa kuweka kila mzizi unaopatikana tena kwenye mlinganyo (subs) kunatoa sifuri. Weka alama kwenye mizizi isiyo na maana ya kimwili (k.m. molekuli hasi).
Mwongozo dhaifu / Mwongozo thabiti
Dhaifu: "Toa fomula ya nishati ya kinetic ya jamaa."
Matokeo: Utoaji wa muda mrefu; hatua za kati hazijachunguzwa, hitilafu za ishara/muda zimefichwa, hakuna ukaguzi wa hali ya mpaka.
Imara: "Pata nishati ya kinetiki ya relativitiki kutoka kwa nadharia ya nishati-kazi hatua kwa hatua, andika sheria katika kila hatua. Thibitisha kila hatua ya aljebra kwa msimbo wa SymPy. Mwishowe, onyesha kwa mfululizo wa SymPy kwamba fomula inapunguza hadi ½mv² katika kikomo v ≪ c."
Matokeo: Utoleo unaotegemewa, uliojaribiwa kwa kesi ya mpaka na mifupa kutoka kwa AI na usahihi kutoka kwa SymPy.
Makosa ya kawaida
- Kutegemea derivation ya AI bila SymPy. Makosa ya ishara na istilahi hayaepukiki katika viasili virefu vya ishara; kila hatua lazima ifikiwe na chombo cha kuamua.
- Kutaka tu formula ya mwisho. Bila hatua za kati, kosa haliwezi kupatikana; Njia ya kuipata lazima iombewe.
- Sio kuangalia hali ya mpaka. Kushindwa kupunguza formula kwa kesi maalum inayojulikana ni mojawapo ya ishara za kuaminika za makosa.
- Kuamini jina la sheria/nadharia iliyoundwa. AI inaweza kutoa jina la "kanuni" au "theorem" ambayo haipo; Thibitisha majina kutoka kwa chanzo kinachoaminika.
- Epuka kuondoa mzizi usio wa kimwili. Ikiwa suluhisho la hisabati linatoa wingi hasi au wakati wa kufikiria, mzizi huo sio wa kimwili; lazima kuondolewa.
Tahadhari: Kwa sababu tu derivation inaonekana "laini na ya kushawishi" sio kweli. AI inaweza pia kuandika hatua mbaya katika lugha salama sana. Kabla ya kuleta chimbuko katika somo, makala, au muundo, thibitisha kila hatua ukitumia SymPy na uijaribu kwa angalau kikomo kimoja. Utoaji ambao haujathibitishwa sio ushahidi halisi.
Kwa muhtasari
Katika derivations ya fizikia ya mfano, AI huanzisha mkakati na inaelezea njia; lakini hufanya makosa katika aljebra ndefu. SymPy, kwa upande mwingine, inathibitisha kila hatua dhidi ya sheria. Mtiririko wa kazi wenye nguvu zaidi unachanganya hizi mbili: chukua kiunzi cha utokaji kutoka kwa AI, chanzo kila hatua kwa SymPy, jaribu matokeo kwa ugeuzi wa derivative-jumuishi, hali ya mpaka, na uchanganuzi wa vipimo. Katika kitengo kinachofuata, tutashughulikia kwa undani udhibiti wa kimsingi zaidi wa matokeo yoyote ya kimwili: uchambuzi wa dimensional na uthibitishaji wa kitengo.
Jukumu la maombi
Chagua asili ya kimwili unayoijua (kwa mfano, uhusiano wa kasi katika msimu wa kuanguka bila malipo, kipindi cha pendulum rahisi, au nishati inayowezekana inayopatikana kwa kiungo). Fanya AI ipate hatua kwa hatua na kiolezo 1. Kisha uthibitishe kila hatua ya aljebra kwa SymPy; Tekeleza kinyume chenye derivative-jumuishi kwa angalau kiambatanisho/derivati moja na uangalie hali ya kikomo. Iandike katika sentensi 5-6: Je, AI ilifanya makosa katika kupata, SymPy ingeidhihirisha kwa hatua gani?
orodha ya ukaguzi
- [ ] Nilibainisha sheria halisi ya awali na mawazo ya chimbuko.
- [ ] Nilitaka kupata kutoka kwa AI hatua kwa hatua, sio matokeo tu.
- [ ] Nilithibitisha kila hatua ya aljebra kwa SymPy.
- [ ] Nilifanya angalau ukaguzi mmoja wa urejeshaji wa derivative-muhimu.
- [ ] Nilijaribu fomula kwa kikomo cha kesi.
- [ ] Nimethibitisha sheria/nadharia hiyo kutoka kwa chanzo cha kuaminika.