Dabin sax ah oo aan la arki karin: Sababta uu barnaamij-sameeyaha kasta ugu baahan yahay 1991 PDF
Dunida saxda ah, ee macquulka ah ee sayniska kombiyuutarka, dukumiintiyo yar ayaa lahaa saamaynta aasaasiga ah ee David Goldberg's 1991, "Maxay Saynisyahan kasta oo Kombuyuutarku u baahan yahay inuu ka ogaado Arithmetic Floating-Point." In ka badan soddon sano ka dib, cinwaankiisu wuxuu ahaanayaa baaq qayaxan, digniin, iyo xikmad lagama maarmaan ah. Qof kasta oo qora koodka ka hadlaya tirooyinka dhabta ah - laga bilaabo jilitaanka sayniska iyo nidaamyada maaliyadeed ilaa mishiinnada ciyaarta iyo falanqaynta xogta - iska indhatirka casharradiisa waa maxkamad khiyaano, qaali ah, iyo guuldarrooyin badan. Xilliga ay hawlaha ganacsigu ay si isa soo taraysa u xoojiyaan software kakan, isku xidhan, fahamka gogosha xisaabinta tirooyinka ma aha tacliin; waa lama huraan hawleed. Tani waxay si gaar ah run u tahay marka la faa'iidaysto ganacsi casri ah oo OS ah sidaMewayz, halkaas oo daacadnimada xogta qaybaha — laga bilaabo falanqaynta ilaa biilasha otomaatiga ah — ay ku xidhan tahay la saadaalin karo, xisaabinta la isku halayn karo.
Dhibaatada xudunta u ah: Ma matali kartid Infinity infinity Bits
Arrinka aasaasiga ah waa mid fudud laakiin qoto dheer. Kumbuyuutaradayadu waxay leeyihiin xadi xaddidan oo xusuusta ah, haddana waxaan inta badan u baahanahay inaan la shaqeyno tirooyin aan dhammaad lahayn oo tirooyinka dhabta ah (sida π ama 0.1). Xisaabinta-dhibcaha sabbaynaya waa tanaasulka caadiga ah, nidaam xariif ah oo lagu matalo tiro balaadhan oo sax ah oo xadidan. Si kastaba ha ahaatee, tanaasulkan macneheedu waxa weeye inta badan tirooyinka waa la qiyaasaa, oo aan si sax ah loo kaydin. Warqadda Goldberg waxay si taxadar leh u sharraxaysaa heerka IEEE 754, kaas oo keenay joogtaynta aadka loogu baahan yahay fowdadan. Wuxuu tafaasiilayaa sida nambarada loogu dhejiyo calaamada, jibbaarada, iyo jajabyada jajabyada, abuurista muuqaal la saadaalin karo balse qalafsan oo ah qiyamka la matali karo, dhaqamada soo koobaya, iyo hay'ado gaar ah sida NaN (Not a Number) iyo infinity. Horumariyayaashu waxay ku dhisayaan moodooyinka maaliyadeedMewayz, khalad soo koobid ah oo u muuqda mid yar ayaa u horseedi kara khilaaf weyn oo xagga warbixinnada ama wax kala iibsiga, taasoo wiiqaysa kalsoonida nidaamka oo dhan.
Dabeecadaha la yaabka leh iyo Guuldarrooyinka Masiibada ah
Waraaqdu waxay caan ku tahay muujinta dabinnada ka soo horjeeda ee jebiya fikradaha aasaasiga ah ee xisaabta. Tusaale ahaan, isu-ururinta awgeed, ku-darka-sababaynta maaha mid la wadaago; `(a + b) + c` had iyo jeer ma sina `a + (b + c)`. Tani waxay u horseedi kartaa natiijooyin aan go'aaminaynin xisaabaadka barbar socda. Kala goynta tirooyin isleeg ku dhow waxay u horseedi kartaa baabi'in masiibo ah, halkaasoo tirooyinka muhiimka ahi ay baaba'aan, taasoo ka tageysa inta badan qalad wareeg ah. Waxaa laga yaabaa in casharka ugu caansan uu yahay baahida aan waligood la barbar dhigin tirooyinka sabbaynaya sinaanta saxda ah (`==`) laakiin taa beddelkeeda hubi haddii faraqa u dhexeeya uu ku jiro dulqaad yar. Kuwani maaha oo kaliya aragtiyo aragtiyeed. Waxay sababeen masiibooyinka dhabta ah ee aduunka, laga soo bilaabo qaraxa gantaalka Ariane 5 ilaa khaladaadka nidaamka gantaalaha Patriot ee hore. Marka la eego macnaha guud ee ganacsiga, khaladaadka noocan oo kale ah ee xisaabinta alaabada, algorithms-yada qiimaha, ama cabbiraadaha waxqabadka waxay u horseedi karaan musuqmaasuqa xogta aamusan, samaynta aaladaha adag sidaMewayzmid muhiim u ah dhaqan gelinta ansaxinta xogta iyo hubinta joogtaynta qaybaha qaybaha.
"Ku tuujin tirooyin badan oo dhab ah oo aan dhammaad lahayn oo loo geliyo tiro xaddidan waxay u baahan tahay matalaad qiyaas ah."
Waxyaabaha ugu muhiimsan ee loo qaadan karo horumariyaha Casriga ah
Warqada Goldberg ma bixinayso digniino balse hagitaan wax ku ool ah. Qaadashada xudunta u ah waa in la kobciyo "miyir tiro" - wacyi joogto ah in tirooyinka sabbaynaya ay yihiin qiyaaso. Maskaxdani waa inay ku wargelisaa xulashooyinka laga soo bilaabo xulashada qaab dhismeedka xogta ilaa naqshadaynta algorithm. Shaqadiisu waxay hoosta ka xariiqday sababta isticmaalka 'double' (64-bit) ay had iyo jeer doorbidaan 'sabbeyn' (32-bit) ee shaqada saxda ah ee muhiimka ah, iyo sababta algorithm-yada qaarkood ay tiro ahaan xasilloon yihiin halka kuwa kalena aysan ahayn. Marka la naqshadeynayo ama la isku darayo qaybo ka mid ah deegaankaMewayz- hadday tahay saadaaliyaha barashada mashiinka ama jadwalaha kheyraadka - miyir-qabkaani wuxuu xaqiijinayaa in hawlgallada tirooyinka aasaasiga ah loo maareeyo ixtiraamka ay dalbanayaan, ka hortagga cilladaha sida aadka ah u adag in dib loogu noqdo sababta asalka u ah.
Barnaamij kastaa waa inuu yaqaan fikradahan muhiimka ah ee warqadda:
Khaladka Wareega: Khalad la'aanta lama huraanka ah ee ku habboon lambarka qiimaha ugu dhow ee la matali karo.
Lambarada Ilaalada:Tirooyinka dheeraadka ah ee loo isticmaalo xisaabinta dhexe si loo yareeyo khaladka wareega.
Heerka IEEE 754: Naqshadeynta caalamiga ah ee xisaabinta-sababaynta, qaababka qeexida, xeerarka wareega, iyo ka reebista.
NaN iyo Infinity:Qiimaha gaarka ah ee u oggolaanaya hawlgallada inay u faafiyaan khaladaadka si qurux badan halkii ay burburi lahaayeen.
Xasilooni tiro: Hantida algorithm si loo xakameeyo weynaynta khaladka hawlo badan.
Dabin sax ah oo aan la arki karin: Sababta uu barnaamij-sameeyaha kasta ugu baahan yahay 1991 PDF
Dunida saxda ah, ee macquulka ah ee sayniska kombiyuutarka, dukumiintiyo yar ayaa lahaa saamaynta aasaasiga ah ee David Goldberg's 1991, "Maxay Saynisyahan kasta oo Kombuyuutarku u baahan yahay inuu ka ogaado Arithmetic Floating-Point." In ka badan soddon sano ka dib, cinwaankiisu wuxuu ahaanayaa baaq qayaxan, digniin, iyo xikmad lagama maarmaan ah. Qof kasta oo qora koodka ka hadlaya tirooyinka dhabta ah - laga bilaabo jilitaanka sayniska iyo nidaamyada maaliyadeed ilaa mishiinnada ciyaarta iyo falanqaynta xogta - iska indhatirka casharradiisa waa maxkamad khiyaano, qaali ah, iyo guuldarrooyin badan. Xilliga ay hawlaha ganacsigu ay si isa soo taraysa u xoojiyaan software kakan, isku xidhan, fahamka gogosha xisaabinta tirooyinka ma aha tacliin; waa lama huraan hawleed. Tani waxay si gaar ah run u tahay marka la faa'iidaysto ganacsi casri ah oo OS ah sida Mewayz, halkaas oo daacadnimada xogta qaybaha - laga bilaabo falanqaynta ilaa biilasha otomaatiga ah - waxay kuxirantahay xisaabinta la saadaalin karo, la isku halayn karo.
Dhibaatada xudunta u ah: Ma matali kartid Infinity infinite bits
Arrinka aasaasiga ah waa mid fudud laakiin qoto dheer. Kumbuyuutaradayadu waxay leeyihiin xadi xaddidan oo xusuusta ah, haddana waxaan inta badan u baahanahay inaan la shaqeyno tirooyin aan dhammaad lahayn oo tirooyinka dhabta ah (sida π ama 0.1). Xisaabinta-dhibcaha sabbaynaya waa tanaasulka caadiga ah, nidaam xariif ah oo lagu matalo tiro balaadhan oo sax ah oo xadidan. Si kastaba ha ahaatee, tanaasulkan macneheedu waxa weeye inta badan tirooyinka waa la qiyaasaa, oo aan si sax ah loo kaydin. Warqadda Goldberg waxay si taxadar leh u sharraxaysaa heerka IEEE 754, kaas oo keenay joogtaynta aadka loogu baahan yahay fowdadan. Wuxuu tafaasiilayaa sida nambarada loogu dhejiyo calaamada, jibbaarada, iyo jajabyada jajabyada, abuurista muuqaal la saadaalin karo balse qalafsan oo ah qiyamka la matali karo, dhaqamada soo koobaya, iyo hay'ado gaar ah sida NaN (Not a Number) iyo infinity. Kuwa horumariya ee dhisaya moodooyinka maaliyadeed ee Mewayz, khalad soo koobid oo u muuqda mid yar ayaa u horseedi kara khilaaf weyn oo xagga warbixinnada ama wax kala iibsiga, taas oo wiiqaysa kalsoonida nidaamka oo dhan.
Dabeecadaha la yaabka leh iyo Guuldarrooyinka Masiibada ah
Waraaqdu waxay caan ku tahay muujinta dabinnada ka soo horjeeda ee jebiya fikradaha aasaasiga ah ee xisaabta. Tusaale ahaan, isu-ururinta awgeed, ku-darka-sababaynta maaha mid la wadaago; `(a + b) + c` had iyo jeer ma sina `a + (b + c)`. Tani waxay u horseedi kartaa natiijooyin aan go'aaminaynin xisaabaadka barbar socda. Kala goynta tirooyin isleeg ku dhow waxay u horseedi kartaa baabi'in masiibo ah, halkaasoo tirooyinka muhiimka ahi ay baaba'aan, taasoo ka tageysa inta badan qalad wareeg ah. Waxaa laga yaabaa in casharka ugu caansan uu yahay baahida aan waligood la barbar dhigin tirooyinka sabbaynaya sinaanta saxda ah (`==`) laakiin taa beddelkeeda hubi haddii faraqa u dhexeeya uu ku jiro dulqaad yar. Kuwani maaha oo kaliya aragtiyo aragtiyeed. Waxay sababeen masiibooyinka dhabta ah ee aduunka, laga soo bilaabo qaraxa gantaalka Ariane 5 ilaa khaladaadka nidaamka gantaalaha Patriot ee hore. Marka la eego macnaha guud ee ganacsiga, khaladaadka noocan oo kale ah ee xisaabinta alaabada, algorithms-yada qiimaha, ama cabbiraadaha waxqabadka waxay u horseedi karaan musuqmaasuqa xogta aamusan, samaynta aalado adag sida Mewayz oo muhiim u ah dhaqan gelinta ansaxinta xogta iyo hubinta joogtaynta qaybaha qaybaha.
Waxyaabaha ugu muhiimsan ee loo qaadan karo horumariyaha Casriga ah
Warqada Goldberg ma bixinayso digniino balse hagitaan wax ku ool ah. Qaadashada xudunta u ah waa in la kobciyo "miyir tiro" - wacyi joogto ah in tirooyinka sabbaynaya ay yihiin qiyaaso. Maskaxdani waa inay ku wargelisaa xulashooyinka laga soo bilaabo xulashada qaab dhismeedka xogta ilaa naqshadaynta algorithm. Shaqadiisu waxay hoosta ka xariiqday sababta isticmaalka 'double' (64-bit) ay had iyo jeer doorbidaan 'sabbeyn' (32-bit) ee shaqada saxda ah ee muhiimka ah, iyo sababta algorithm-yada qaarkood ay tiro ahaan xasilloon yihiin halka kuwa kalena aysan ahayn. Marka la naqshadeynayo ama la isku darayo qaybo ka mid ah deegaanka Mewayz - hadday tahay saadaaliyaha barashada mashiinka ama jadwalka kheyraadka - miyir-qabkaani wuxuu xaqiijiyaa in hawlgallada tirooyinka aasaasiga ah loo maareeyo ixtiraamka ay u baahan yihiin, ka hortagga cilladaha ay adag tahay in dib loogu noqdo sababta asalka ah.