Riba:
- Ikon samun kwarangwal na samuwar jiki daga AI da kuma tabbatar da daidai kowane matakin algebra tare da SymPy
- Ikon gwada dabarar da aka samo tare da juzu'i-nau'i-nau'i da iyakataccen dubawa
- Ikon tabbatar da ka'idar da aka yi da kuma sunayen ka'idojin da kuma kawar da tushen da ba na jiki ba
Ƙarfin ilimin lissafi ya fito ne daga ikonsa na taƙaita al'amura masu rikitarwa tare da ƴan ma'auni. Samar da sauri daga ma'auni na motsi, samun dokar kiyayewa daga ma'anar makamashi, warware wani abu a fakaice-waɗannan alamu ne (a cikin haruffa, ba lambobi) ayyuka ba. A cikin wannan rukunin, za ku koyi yadda ake amfani da hankali na wucin gadi (AI) azaman tsari da abokin tarayya mai tunani a cikin ƙirar ƙirar jiki da tsarin warwarewar nazari; kuma za ku koyi yadda ake tantance kowane abin da aka samu tare da SymPy (Laburaren lissafi na alama na Python; yana yin abubuwan ƙira, haɗin kai, da warware daidaito a cikin haruffa, a cikin ainihin tsari). Babban ka'ida anan shine: AI yana nuna hanyar da za a samu, SymPy yana tabbatar da daidaiton abin da aka samu.
AI da SymPy rabon aiki a cikin alamar alama
AI yana da kyau sosai wajen kafa tsarin dabarun haɓakawa ("a cikin wannan matsala fara da kiyaye makamashi, sa'an nan kuma yi bambanci") da kuma bayyana matakan tsaka-tsaki. Amma a cikin algebra na alama-musamman a cikin dogayen abubuwan da aka samo asali-yana yin kurakuran alamomi, sharuddan tserewa, da sauƙaƙan ƙarya. SymPy, a gefe guda, yana tabbatar da daidaitaccen kowane ɗayan waɗannan matakan saboda yana aiki bisa ƙa'idodi, ba da kai ba. Mafi kyawun aikin aiki ya haɗa biyun: Ɗauki ra'ayi da kwarangwal na abin da aka samo daga AI, samar da kowane mataki na algebra tare da SymPy.
nema
Gudunmawar AI
Tabbatarwa tare da SymPy
samu
Tuna da ni tsarin sarkar
Sakamakon daidai tare da sympy.diff
hadewa
hanya ta nuna
Tabbatarwa tare da sympy.integrate
warware daidaito
Ƙirƙirar dabara
Nemo tushen tare da sympy.solve
Sauƙaƙe
Ya nuna sunana
Tabbatar da tausayi.sauƙaƙe
Iyaka / iyaka jihar
Yana yin tsokaci na zahiri
daidai iyaka tare da sympy.limit
Fadada jerin
yana ba da shawarar kusanci
Taylor fadada tare da sympy.series
Mataki-mataki: tabbataccen fitowar
1. Bayyana wurin farawa na zahiri. Daga wace doka aka fara samo asali? Doka ta biyu ta Newton, kiyaye makamashi, daidaitattun Maxwell? Faɗa zato (marasa ƙarfi, ƙaramin kusurwa) a sarari.
2. Nemi AI don samowa mataki-mataki. Ka tambaye shi/ta ya rubuta wace doka/ka'ida aka yi amfani da ita a kowane mataki. Nemi hanya, ba kawai dabarar ƙarshe ba.
3. Tabbatar da kowane matakin algebra tare da SymPy. Sami abin da aka samo asali a cikin SymPy, warware abin da ke cikin SymPy, warware ma'auni a cikin SymPy. Idan matakin AI bai dace da sakamakon SymPy ba, laifin yana cikin AI.
4. Gwaji tare da iyakokin jihohi. Shin tsarin da aka samo ya rage zuwa sanannun lokuta na musamman? Misali, dabarar dangantawa yakamata ta koma ga tsarin gargajiya lokacin da saurin ya yi kadan; Dole ne ma'auni don maɓuɓɓugar ruwa ya ragu zuwa sananniya ta girgiza lokacin da gogayya ta kasance sifili.
5. Yi nazari mai girma. Shin raka'o'in ɓangarorin biyu na dabarar da aka samo suna riƙe? Za mu rufe wannan a zurfafa a cikin raka'a 7, amma bincike ne na asali anan ma.
Tukwici: Hanya mafi sauri don tabbatar da haɗin kai ko abin da aka samu ta YZ shine a juyar da: bambance sakamakon haɗin kai tare da SymPy; Idan ya koma magana ta farko, haɗin kai gaskiya ne. Wannan “inverse-inverse inverse” yana ɗaya daga cikin mafi ƙarfin bincike wanda ke gano kurakuran alama a cikin daƙiƙa.
uku mini lokuta
Case 1 - Alamar da aka rasa. Wani ɗalibi ya nemi AI don samo ma'auni na motsi na oscillator mai jituwa. AI ya juyar da alamar lokacin damping a mataki ɗaya kuma ya sami tsarin (wanda ba zai yiwu ba) wanda ke samun makamashi. Lokacin da ɗalibin ya toshe ma'auni a cikin SymPy kuma ya warware shi, ya ga cewa maganin ya girma sosai - lokacin damping yakamata ya ragu, ba girma ba. Da zarar na gyara alamar, kimiyyar lissafi ta fada cikin wuri.
Case 2 - Haɗin da ba daidai ba. Wani mai bincike ya tambayi AI don haɓakar makamashi mai yuwuwa. AI ta haifar da sakamako mai kama da ma'ana. Mai binciken ya samo sakamakon tare da SymPy; bai koma bayanin farko ba. AI ya rasa wani abu akai-akai a cikin haɗin kai. Lokacin da na ɗauki haɗin kai tsaye tare da SymPy, an sami sakamako daidai.
Shari'a ta 3 - Iyakar ta ceci lamarin. Wani malami ya tambayi AI don samo tsarin makamashi na dangi kuma ya sami magana. Don gwada daidaiton dabarar, ya ɗauki iyaka inda saurin ya kasance kaɗan tare da jerin SymPy; sakamakon bai rage zuwa na gargajiya ½mv² ba. AI ya yi hasarar wani lokaci a cikin fitarwa. A cikin madaidaicin ƙaddamarwa, an rage iyaka zuwa nau'i na gargajiya kuma an tabbatar da tsari.
Samfura huɗu masu kwafi
1) An tabbatar da ƙaddamarwa tare da SymPy:
Samo wannan adadin jiki mai zuwa MATAKI TA HANYA daga doka [dokar farko]:[manufa]. Rubuta dokar da kuka yi amfani da ita a kowane mataki. Sannan rubuta lambar SymPy wanda ke tabbatar da kowane matakin algebra na abin da aka samo (wanda aka samo asali/haɓaka/mafifi). Faɗa abubuwan zato (misali marasa gogayya, ƙaramin kusurwa) a sarari.
2) Tabbatar da juzu'i na asali:
Yi ƙididdige sakamakon haɗin haɗin da ke biyo baya tare da SymPy, sannan ɗauki asalin wannan sakamakon tare da SymPy kuma rubuta lamba don bincika ko ta dawo kan furcin farawa. Idan bai dawo ba, tantance wane mataki ne matsalar. Magana: [nan]
3) Iyakance iko / iyaka:
Rubuta lambar da ke bincika tare da iyaka/jeri na SymPy ko tsarin da aka samo mai zuwa [formula], [parameter] ya rage zuwa sanannen [tsara na gargajiya] a cikin ƙanƙanta/ma girma da iyaka. Idan ba haka ba, yi alama kuskuren mai yuwuwa a cikin abin da aka samo.
4) Tabbatar da maganin daidaito:
Magance wannan [equation] tare da SymPy warware. Ƙara lambar da ke bincika ko mayar da kowane tushen da aka samu a cikin lissafin (subbs) yana ba da sifili. Alama tushen tushen da ba shi da ma'ana (misali korau taro).
Rauni mai ƙarfi / Ƙarfi mai ƙarfi
Raunana: "Samar da dabarar makamashin motsa jiki na dangi."
Sakamako: Dogon da aka samu; Matakan tsaka-tsaki ba a tantance su ba, kurakuran sa hannu/lokaci a ɓoye, babu yanayin duba iyaka.
Mai ƙarfi: "Samar da kuzarin motsa jiki daga aikin-makamashi mataki-mataki, rubuta ƙa'ida a kowane mataki. Tabbatar da kowane matakin algebra tare da lambar SymPy. A ƙarshe, nuna tare da jerin SymPy cewa dabarar ta rage zuwa ½mv² a cikin iyaka v ≪ c."
Sakamako: Tabbataccen abin dogaro, wanda aka gwada-iyaka-gwajin samuwar kwarangwal daga AI da daidaito daga SymPy.
Kuskuren gama gari
- Dogaro da tushen AI ba tare da SymPy ba. Kuskuren alamomi da kalmomi babu makawa a cikin dogayen abubuwan da aka samo asali; kowane mataki dole ne a samu ta hanyar kayan aiki mai mahimmanci.
- Kawai son tsari na ƙarshe. Idan ba tare da matakan matsakaici ba, ba za a iya samun kuskure ba; Dole ne a nemi hanyar da za a samu.
- Ba duba yanayin iyaka. Rashin rage ƙididdiga zuwa sanannen lamari na musamman yana ɗaya daga cikin amintattun alamun kuskure.
- Amincewa da sunan kafa doka/ka'idar. AI na iya haifar da suna don "ka'ida" ko "ka'idar" wanda ba ya wanzu; Tabbatar da sunaye daga ingantaccen tushe.
- Gujewa kawar da tushen da ba na jiki ba. Idan maganin ilimin lissafi ya ba da taro mara kyau ko lokacin tunani, tushen ba na zahiri bane; dole ne a kawar da shi.
Tsanaki: Domin kawai abin da aka samo asali ya zama "mai laushi kuma mai gamsarwa" ba gaskiya ba ne. AI kuma na iya rubuta matakin da bai dace ba a cikin yare mai aminci sosai. Kafin kawo abin ƙira cikin darasi, labarin, ko ƙira, tabbatar da kowane mataki tare da SymPy kuma gwada shi da aƙalla shari'ar iyaka ɗaya. Samuwar da ba a tabbatar ba ba shaida ta zahiri ba ce.
a takaice
A cikin abubuwan da suka samo asali na kimiyyar lissafi, AI ya kafa dabarun kuma ya gaya hanya; amma yana yin kuskure a cikin dogon algebra. SymPy, a gefe guda, yana tabbatar da kowane mataki a kan ƙa'idodi. Mafi ƙarfin aikin aiki ya haɗu da biyun: ɗauki kwarangwal na abin da aka samo daga AI, tushen kowane mataki tare da SymPy, gwada sakamakon tare da juzu'i-nau'i-nau'i, yanayin iyaka, da ƙididdigar ƙima. A cikin raka'a ta gaba, za mu rufe daki-daki mafi mahimmancin iko na kowane sakamako na zahiri: nazarin ƙima da tabbatarwa naúrar.
Aikin aikace-aikace
Zaɓi abin da kuka sani (misali, dangantakar saurin-lokaci a cikin faɗuwa kyauta, lokacin ɗan ƙaramin rubutu, ko yuwuwar kuzarin da wani abu ya samo). Samun AI ta samo mataki-mataki tare da samfuri 1. Sannan tabbatar da kowane matakin algebra tare da SymPy; Aiwatar da juzu'i-nau'i-nau'i don aƙalla haɗin kai/samuwa ɗaya kuma yi ƙayyadaddun rajistan jihar. Rubuta shi a cikin jumloli 5-6: Shin AI ta yi kuskure wajen haɓakawa, a wane mataki SymPy zai bayyana?
jerin abubuwan dubawa
- [ ] Na ƙaddara ka'idar farko ta zahiri da zato na samuwar.
- [ ] Ina so in samo daga AI mataki-mataki, ba kawai sakamakon ba.
- [ ] Na tabbatar da kowane matakin algebra tare da SymPy.
- [ ] Na yi aƙalla rajistan juzu'i guda ɗaya.
- [ ] Na gwada dabara tare da iyakataccen hali.
- [ ] Na tabbatar da wannan doka/ka'idar da aka fada daga majiya mai tushe.