Riba:
- Ikon bambance tsakanin ƙididdiga na alama da lambobi kuma zaɓi kayan aikin da ya dace (SymPy ko NumPy/SciPy) don kowace matsala
- Ikon karantawa da fahimtar lambar ƙididdiga ta hanyar basirar wucin gadi, gudanar da shi da kanku, da kuma tabbatar da shi ta hanyar yin gwajin hankali tare da sanannen shigarwa.
- Fahimtar iyakokin madaidaicin lamba-point, yi amfani da juriya maimakon daidaitattun daidaito, da sarrafa tasirin hasashen farko akan hanyoyin lambobi.
Ƙididdigar alama tana ba da ainihin dabarar haɗaɗɗiyar ma'auni ko lissafi; Amma yawancin matsalolin da ake amfani da su a cikin ilimin lissafi ba za a iya magance su ta hanyar rufaffiyar tsari ba. Wannan shine inda lissafin lambobi ya shiga cikin wasa: samar da sakamako mai ƙimayar lamba tare da daidaitattun da ake so, maimakon ainihin dabara. Nemo ƙimar haɗin kai zuwa daidaici 0.001, ƙididdige tushen ma'auni zuwa ƙimar ƙima, cire ƙididdiga daga saitin bayanai - waɗannan duk lissafin lambobi ne. A cikin Python, kayan aikin wannan sune NumPy (arrays da lissafi) da kuma dakunan karatu na SciPy (kwamfuta na kimiyya). A cikin wannan rukunin, zaku koyi amfani da AI a matsayin mataimaki wanda ke samar da lambar Python don ƙididdige ƙididdigewa kuma bincika daidai lambar.
Ma'ana mai mahimmanci: lambar ma'ana mai iyo wani tsari ne wanda kwamfuta ke adana lambobi na ƙima tare da iyakacin iyaka. Shi ya sa a cikin lissafin kwamfuta, 0.1 + 0.2 na iya zama 0.30000000000000004, ba daidai 0.3 ba. Wannan ba kuskure ba ne, yanayin lissafin lambobi ne - amma zai haifar da sakamakon da ba daidai ba idan ba ku san shi ba. A lissafin lambobi, mutum yana aiki tare da "kusa da isa" maimakon "daidaitaccen daidaito".
Alama ko na lamba? Zaɓin kayan aikin da ya dace
Matsayi
Alamar (SymPy)
Lambobi (NumPy/SciPy)
Akwai rufaffiyar dabara
wanda aka fi so
ba dole ba
Babu dabara/ma hadaddun
ba zai iya warwarewa
wanda aka fi so
Ana buƙatar cikakken daidaito
Ee
Kimanin
Babban bayanai / sarrafawa da yawa
a hankali
da sauri sosai
Sakamakon tare da adadi goma ya isa
-
dace
Kyakkyawar ƙwararren yana amfani da duka biyu: warware ta alama idan zai yiwu, tafi lambobi idan ba haka ba, kuma a haye ɗaya tare da ɗayan a duk lokacin da zai yiwu.
Mataki zuwa mataki: Amintaccen lissafin lambobi tare da AI
1. Gano matsala da hankali. " Wurare nawa nawa ne?" kuma "a cikin wane zango?" Bayyana tambayoyinku.
2. Rubuta lamba zuwa AI, ba fitarwa ba. Tuna daga naúrar 4: Kar a yi hasashen fitarwar lambar AI. Kuna gudanar da lambar.
3. Karanta kuma ku fahimci lambar. Fahimtar layin lambar da aka samar ta layi. Dama ɗakin karatu, daidai aiki, daidai sigogi? Kada ku kunna lambar da ba ku fahimta ba.
4. Gwaji tare da yanayin da aka sani. Gwada lambar tare da shigarwa mai sauƙi wanda ka riga ka san amsarta. Misali, zunubi(0)=0, kamar darajar abin da aka sani. Idan lambar ta ba shi daidai, za ku ƙara amincewa da shi.
5. Ketare dubawa ta alama ko da hannu. Idan zai yiwu, tabbatar da sakamako iri ɗaya tare da SymPy ko hanyar hannu.
6. Hattara da tarko masu iyo. Maimakon daidaita daidaito tare da ==, yi amfani da juriya kamar abs(a - b) <1e-9.
Tukwici: Koyaushe gwada lambar lamba "tare da amsar da kuka sani". Idan ka rubuta tushen nemo, fara amfani da shi zuwa ma'auni tare da sanannen tushen (x=±2), kamar x²−4=0. Idan lambar ta sami wannan daidai, zai zama mai yuwuwa ya zama abin dogaro akan daidaiton da ba ku sani ba. Wannan "check na rashin lafiya" shine tabbaci mafi arha.
Matsalolin lissafin ƙididdiga: haɗuwa da tara kuskure.
Yawancin hanyoyin lambobi suna aiki akai-akai: farawa daga zato na farko kuma a hankali suna gabatowa ainihin amsar. Wannan tsari na kusanci ana kiransa haɗuwa. Amma ba kowane hanya mai maimaitawa koyaushe ke haɗuwa ba; wasu sun bambanta (matsar da sakamakon) ko haɗuwa zuwa ƙimar da ba daidai ba. Idan lambar da ta fito da AI ba ta bincika ko hanyar ta haɗu ba, yana iya ba ku lambar da ba ta dace ba cikin shiru. Don haka kawai saboda sakamakon lambobi "ya samar da lamba" bai sa ya zama gaskiya ba; Har ila yau, ya zama dole a tabbatar da cewa ainihin adadin ya haɗu zuwa hanyar da ake nema.
Na biyu dabara shine tara kuskure. A cikin dogon jerin ƙididdiga, ƙananan kurakuran kewayawa masu iyo-point a kowane mataki na iya tarawa kuma su zama girma; Musamman lokacin da kuka ɗauki bambance-bambancen manyan lambobi biyu masu kusanci (wannan ake kira sokewar bala'i), mahimman lambobi na sakamakon na iya ɓacewa. Hankalin wucin gadi ba koyaushe yana tsinkaya irin waɗannan matsalolin kwanciyar hankali na lambobi ba. A cikin ƙididdiga masu mahimmanci, sake ƙididdigewa da kwatanta sakamakon tare da wata hanya dabam ko tare da daidaitattun ƙididdiga yana bayyana ɓoyayyun tarawar kuskure.
Hankali: "Ba da sakamako" da "cikakken sakamako" na hanyar ƙididdiga abubuwa ne guda biyu daban-daban. Tabbatar cewa lambar ta ƙunshi rajistan haɗuwa (misali, cewa bambanci tsakanin matakai biyu masu zuwa ya zama ƙarami); Idan bai ƙunshe da shi ba, sami basirar wucin gadi ta ƙara wannan iko.
uku mini lokuta
Case 1 - Zaɓin aikin da ba daidai ba. Wani dalibi ya tambayi AI don lambar don nemo tushen aiki. AI yayi amfani da scipy.optimize.fsolve, amma ya zaɓi mummunan zato na farko kuma ya haɗu da tushen da ba daidai ba. Dalibin ya fara bincika aikin ta hanyar zana shi (duba sashin gani), ya ba da madaidaicin zato, kuma ya sami ainihin tushen. Darasi: Masu gano tushen lambobi suna kula da wurin farawa.
Case 2 - Tarko mai iyo. Wani injiniya ya gudanar da lambar AI wanda ya rubuta idan 0.1 + 0.2 == 0.3: kuma ya gane cewa yanayin ba gaskiya bane. AI ta yi watsi da madaidaicin wurin iyo. An gyara lambar tare da abs ((0.1+0.2) - 0.3) <1e-9. 1e-9 yana nufin "goma zuwa ragi tara", ƙaramin haƙuri.
Hali na 3 - Gwajin hankali ya kama kwaro. Wani malami ya karɓi lamba daga scipy.integrate.quad wanda ke ƙididdige ƙayyadaddun haɗin kai a lambobi. Ya fara gwada shi da wani sanannen sinadari kamar ∫₀¹ x dx = 0.5; lambar ya ba 0.5. Sannan ya ƙididdige ainihin haɗin kai kuma ya tabbatar da sakamakon tare da SymPy. Ya dogara lokacin da hanyoyi biyu masu zaman kansu suka ba da sakamako iri ɗaya. Jimlar lokacin: Minti 6.
Samfura huɗu masu kwafi
1) Neman lambar asusun lambobi:
Rubuta Python code wanda ke magance matsalar mai zuwa LABARI: [matsala]. Yi amfani da NumPy/SciPy. Hankali: [misali. 6 decimal]. Zan gudanar da code; tsinkaya fitarwa. A taƙaice bayani a cikin layin sharhi wane aikin da kuka zaɓa kuma me yasa.
2) Ƙara gwajin hankali:
Ƙara duban hankali ga wannan lambar don gwada GYARAN sa kafin gudanar da shi: gwada shi tare da shigarwa mai sauƙi inda aka riga an san amsar (misali tushen ± 2 don x²-4=0) kuma duba cewa yana ba da sakamakon da ake sa ran. Lambar: [a nan]
3) Duban giciye-lamba:
Rubuta lambar da ke warware abubuwan haɗin kai/equation mai zuwa tare da BOTH SymPy (alama) DA SciPy (lambobi): [matsala]. Fitar da sakamakon guda biyu don in kwatanta su. Ƙara layin da ke bincika bambance-bambance tare da abs().
4) Tsaron ruwa:
Bincika kwatancen lambar wurin iyo a cikin wannan lambar. Idan akwai tsauraran daidaitattun '==', maye gurbin su da haƙuri mai dacewa (abs (a-b) <1e-9) kuma bayyana dalilin. Code: [a nan]
Rauni mai ƙarfi / Ƙarfi mai ƙarfi
Rarrauna: "Nemo tushen wannan lissafin: x³ - 2x - 5 = 0. Rubuta amsar."
Sakamako: AI ta dace da lamba goma (misali "2.0946..."). Yana iya yiwuwa ko a'a gaskiya ne; Ba a tabbatar da shi ba saboda ba a gudanar da shi ba.
Ƙarfi: "Rubuta lambar da ta nemo ainihin tushen ma'auni x³ - 2x - 5 = 0 tare da SciPy. Don zato na farko, da farko saka tazara inda aikin ya canza alamar. Ƙara layin da ya maye gurbin tushen kuma duba cewa sakamakon shine ~ 0. Zan ga fitarwa."
Sakamako: Lambar da za a iya aiwatarwa, ingantaccen zato na farko, ginanniyar hashes. An tabbatar da ingancin tushen.
Kuskuren gama gari
- Amincewa da sakamakon ba tare da gudanar da lambar ba. Fitowar lambobi wanda AI "annabta" ba inganci bane.
- Gwajin daidaiton wurin iyo tare da `==`. Kusan koyaushe kuskure ne; Yi amfani da haƙuri.
- Hasashen farko mara kyau. Tushen lambobi / hanyoyin haɓakawa suna da mahimmanci ga wurin farawa; Yana iya haɗawa zuwa tushen kuskure.
- Ba nuna hankali ba. "Mataki nawa?" Idan ba a tambaye shi ba, sakamakon bazai dace da buƙata ba.
- Ba yin gwajin hankali ba. Aiwatar da lamba zuwa matsala ta gaske ba tare da gwada ta tare da sanannen shigarwa ba yana da haɗari.
- Gudun code ba tare da fahimtar shi ba. Lambar da ba ku fahimta ba na iya yin amfani da aikin da ba daidai ba; fahimtar kowane layi.
Tsanaki: Sakamako na lamba koyaushe yana kusanta. Maimakon ka ce "sakamakon daidai yake", a ce "haka ne". A cikin aikin injiniya ko rahoton kimiyya, bayyana hanya da daidaiton da aka yi amfani da su wani bangare ne na daidaito. Yana da ɓatarwa don gabatar da sakamako mai ƙima a matsayin tabbatacce.
A takaice
Ƙididdigar ƙididdigewa yana ba da sakamako mai ƙima amma a aikace don matsalolin da ba za a iya magance su ta hanyar rufaffiyar dabara ba; A cikin Python, kayan aikin sa sune NumPy da SciPy. AI cikin sauri yana haifar da lamba don waɗannan ɗakunan karatu, amma dole ne ku gudanar da lambar, karanta kuma ku fahimce ta, kuma ku gwada ta da sanannen shigarwa. Yi hankali tare da madaidaicin wurin iyo: yi amfani da juriya maimakon daidaitaccen daidaito. Bincika hanyoyin alama da lambobi idan zai yiwu. Gwajin hankali da maye gurbin su ne mafi arha kuma mafi inganci tabbaci.
Aikin aikace-aikace
Zaɓi matsala mai wuyar warwarewa tare da rufaffiyar dabara (misali, tushen x³ - 2x - 5 = 0, ko takamaiman ƙimar abin da ba na farko ba). Shin AI ta buga duka lambar lambobi kuma, idan zai yiwu, alamar-lambobin giciye tare da samfuri 1 da 3. Gudanar da lambar a cikin ainihin yanayin Python. Da farko a yi gwajin hankali tare da sanannen shigarwa, sannan a warware ainihin matsalar. Tabbatar yin amfani da haƙuri idan akwai kwatancen wurin iyo. Kula da sakamakon tare da azancin sa.
jerin abubuwan dubawa
- [ ] Na gano matsalar da azancin da ake buƙata.
- [ ] Na karanta kuma na fahimci lambar da layin AI ta samar ta layi.
- [ ] Na gudanar da lambar a cikin ainihin yanayin Python.
- [ ] Na yi gwajin hankali tare da sanannen shigarwa.
- [ ] Na ƙara alamar giciye-check-manual in zai yiwu.
- [ ] Na yi amfani da juriya a kwatancen wurin iyo.