Deterministic Fixed Point Arithmetic | Dweve Numerus

Įvykių įrašas, saugomas, kad būtų galima jį perskaityti.

SMT sprendiklis su atsakymui pridedamu sertifikatu.

Taisyklės kaip pavadinti artefaktai, su priežastimi, kodėl patikra nepavyko.

Pasirinkite skaitinį susitarimą prieš pirmąjį skaičiavimą, išsaugokite su juo susijusius samprotavimus ir kiekvienam, kas paklaus, paduokite įrašą, kurį jie gali paleisti iš naujo savo kompiuteryje.

Ką gaunate: suma, apskaičiuota tiksliai, tas pats skaičius visur, ir įrašas, kaip jis buvo gautas.

Jis sukurtas Europoje, pagal Europos taisykles, o jo šaltinis skelbiamas pagal „Apache-2.0“ sąlygas antrajame „Dweve“ pamatinio leidimo programos etape. Reguliatoriai ir vartotojų organizacijos galės tiesiogiai patikrinti aritmetiką tą pačią dieną, kai ji bus pradėta naudoti.

Ar taisyklė teisinga, lieka žmonių klausimas, ir jūs turite teisę jį kelti. Ką tai jums duoda, yra kažkas konkretaus, su kuo galite kelti: skaičius, kuris išeina tas pats, kai kas nors jį patikrina, rašytinis įrašas, kaip jis buvo gautas, kuris nepriklauso nuo niekieno atminties, ir patikra, kuri sako, ar tas įrašas vėliau buvo pakeistas.

Jei jums taikoma taisyklė yra nesąžininga, tai ją pritaikys tiksliai, iki cento, visiems, kiekvieną kartą. Tai nepadaro taisyklės sąžiningos ir negali pasakyti, kad taisyklė nesąžininga. Viskas, ką tai daro, užtikrina, kad skaičius taip pat nebūtų klaidingas, o tai yra mažesnis pažadas, nei tikėjotės, ir toks, kuris iš tikrųjų laikomas.

Nė vienas iš to nepakeičia vieno dalyko, kurį turėtumėte išgirsti tiesiai.

Taigi tai, ką gaunate, yra skaičius su pridėta paklaida arba tuščia vieta ten, kur būtų buvęs išgalvotas skaičius. Kur mašina yra, taip pat svarbu, ir labiau, nei žmonės tikisi. Tas pats darbas, atliktas Prancūzijoje ir Vokietijoje, duoda labai skirtingus anglies dioksido rodiklius, nes elektra gaminama skirtingai.

Skaičiavimas nėra tobulas, ir programinė įranga tai pasako be paklausimo. Darbai, per maži, kad būtų užfiksuoti, nepalieka jokio pėdsako. Tas pats darbas, paleistas du kartus, grįžta šiek tiek kitoks, priklausomai nuo to, kiek mašina buvo įšilusi. Kai kuriuose nuomojamuose kompiuteriuose ji nieko nemato, ir tai pasako, užuot spėjusi.

Kompiuteriai naudoja elektrą mąstymui. Visi tai žino, ir niekas niekada negalėjo pasakyti, kiek jos išleista vienam darbui. Procesoriai saugo savo einamąjį sunaudotos energijos skaičių, ir tą skaičių galima perskaityti. Taigi darbas gali grįžti su šalia užrašytu sunaudotos elektros kiekiu, o ten, kur mašina negali pasakyti, su niekuo, o ne spėjimu.

Jis taip pat gali atsakyti į tai, ko prieš keletą metų niekas negalėjo paklausti: kiek sumos apskaičiavimas kainavo elektros.

Ir niekam iš to nereikia skambinti niekur. Rodmuo, dozė, stabdymo kelias: skaičius apskaičiuojamas ten, kur matuojamas, todėl jo kopijos nėra kažkieno kito kompiuteryje ir niekas nelaukia ryšio. Tai svarbiau, kai skaičius susijęs su jūsų kūnu, nei kai su vandeniu.

Skaitiklis yra pigus iš dalies todėl, kad jis visai negali tvarkyti trupmenų, todėl skaičiuoja sveikais skaičiais. Tai yra tas pats skaičiavimas, kuris duoda identišką atsakymą kiekvienoje mašinoje. Taigi suma jūsų spintelėje nėra grubesnė banko sumos versija, nes dėžutė buvo maža. Tai ta pati suma.

Skaidiklis jūsų spintelėje nusprendžia, kiek mokate už vandenį. Siurblys ligoninės palatoje nusprendžia, kiek vaisto suleisti. Dėžutė už automobilio vairo nusprendžia, kaip stipriai stabdyti. Niekas jų nestebi, ir kiekvienas atlieka tą pačią aritmetiką, kokią bankas daro su jūsų pinigais. Tai galima padaryti tuo pačiu standartu, ir atsakymui niekada nereikia išeiti iš kambario, kuriame jis buvo apskaičiuotas.

organizacija, kuri saugojo darbą, galėtų jį perduoti tą pačią popietę

prašote darbinio skaičiavimo, ir to prašyti yra normalu

ir kiekvienu atveju darbinio skaičiavimo, o ne jo santraukos

viešosios įstaigos, dėl sprendimo dėl jūsų pinigų

energijos tiekėjo, dėl ginčijamos sąskaitos

Taip padarius, atsakymas nėra kažkieno geriausias prisiminimas. Skaičiai, nuo kurių pradėta, buvo išsaugoti, taip pat ir tai, kas su jais daryta ir kokia tvarka. Paleidus dar kartą, rezultatas yra identiškas, o ne panašus. Jei įrašas tarpais buvo pakeistas, tai matosi pirmiausia, dar prieš kam nors ką nors paleidžiant iš naujo.

Tikriausiai to klausėte ir gavote prastą atsakymą. Kažkas peržiūri dabartinę skaičiavimo versiją, paleidžia ją su šiandienos skaičiais ir sako, kad rezultatas maždaug teisingas. Niekas nesivelka į išsisukinėjimus. Dalykas, kuris praėjusį pavasarį sukūrė jūsų skaičių, jau nebeegzistuoja, todėl nebelieka į ką parodyti.

Nė vienas iš šių atsakymų nepatenkina klausimo, kurį bet kas užduotų toliau.

Praėjusį kovą naujoji sistema pateikia tiksliai tą patį rezultatą kaip ir senoji, todėl jūsų pateikta deklaracija vis dar galioja ir nėra ko prarasti. Paklausus, kaip gautas skaičius, gausite darbinį skaičiavimą, o ne gūžtelėjimą pečiais. Taip pat nereikia tikėti, kad darbinis skaičiavimas buvo paliktas nepaliestas, nes bet kokie vėlesni pakeitimai matomi.

Nė viena atsakymo dalis nepriklauso nuo mašinos. Nėra apvalinimo, kuris viename luste vyktų vienaip, o kitame kitaip, ir nėra spartesnio kompiuterio naudojamo trumpinio, kurio lėtesnis nenaudotų. Pakeitus mašiną, skaičius nesikeičia, kaip ir forma, kurią pateikėte su ja, ar laiškas, kuriame jis buvo cituojamas.

Kažkur už jūsų banko, energijos tiekėjo ar mokesčių inspekcijos programinė įranga pakeičiama. Niekas jums to nesako, ir paprastai jums tai nerūpi. Jums tai rūpi tą dieną, kai naujoji sistema susumuoja praėjusių metų skaičius ir gauna kitokį atsakymą, nes jūsų jau pateikta forma nebeatitinka ją sukūrusios sistemos, o žmogus, kuris turi tai paaiškinti, esate jūs.

Sąskaita apmokama per savaitę. Dokumentai perskaitomi dar kartą po metų.

Čia apvalinimo taškas užrašomas vieną kartą, prieš ką nors sumuojant, ir kiekviena jūsų sąskaitos kopija jo laikosi. Todėl nėra skambučio, nėra sąskaitos blokavimo ir nėra trijų savaičių. Kopijos sutampa, nes jos buvo apskaičiuotos vienodai, o ne todėl, kad kažkas vėliau atsisėdo ir jas suderino.

Priežastis mažesnė, nei atrodo. Mokesčiai gaunami cento dalimis, ir kažkas turi nuspręsti, kur šios dalys apvalinamos. Viena sistema apvalina kiekvienoje eilutėje. Kita apvalina vieną kartą, nuo sumos. Abi yra pagrįstos, ir jos gali skirtis centu, nė vienai neklystant.

Viena sąskaita, trys kopijos: kvitas jūsų rankose, parduotuvės kasos aparatas ir jūsų bankas. Retkarčiais dvi iš jų baigiasi skirtingu centu. Nieko nepavogta ir niekas nebuvo neatsargus, o vis tiek jūs atsiliepiate į skambutį ir laukiate tris savaites, kol kažkas nusprendžia, kuri kopija teisinga.

Pakankamai maža, kad ignoruotumėte, kol skaičius tampa tuo, ką esate skolingi.

Čia skaičiuojama sveikaisiais skaičiais, kaip skaičiuotumėte monetas, todėl nieko nelieka ir niekas nenukrypsta. Tai, ką gaunate, yra nuobodu ir verta turėti. Jūsų telefonas, kortelių skaitytuvas parduotuvės kasoje ir kompiuteris kitoje šalyje visi baigia tuo pačiu skaičiumi, o seniausias iš trijų nėra mažiau teisingas nei naujausias.

Kompiuteris dešimtąją užrašo taip, kaip jūs trečdalį užrašytumėte dešimtaine trupmena, kitaip tariant, ne visai tiksliai. Pats savaime skirtumas per mažas, kad jį pamatytumėte. Jis nelieka vienas: sąskaita turi eilutes, metai turi dvylika sąskaitų, ir kiekvienas iš tų skirtumų vis dar yra bendroje sumoje apačioje, kuri yra skaičius, kurį prašoma sumokėti.

Skaičius, kurį gavote, buvo sukurtas mašinos, o kita mašina galėjo pateikti šiek tiek kitokį. Paprašykite kompiuterio dešimtosios plius dviejų dešimtųjų ir, jei priversite jį parodyti visus saugomus skaitmenis, atsakymas baigsis atsitiktiniu ketvertu. Kiekviena mašina tai daro, todėl niekas nepastebi. Kiekviena atsikrato to atsitiktinio ketverto savaip, ir taip viena suma, apskaičiuota čia ir apskaičiuota kitoje šalyje, baigiasi dviejose skirtingose vietose.

Gaunate skaičių, kuris atsako už save, ir sprendimą dėl jo su data.

Sertifikavimo paketas pradeda pokalbį su auditoriumi, o užbaigia jį jūsų pateikimas pagal jūsų paties produktą, kurio niekas negali jums įteikti. Ir jei nė vieno jūsų organizacijos sukurto skaičiaus niekada nereikia ginti prieš žmones už jos ribų, sąžiningas atsakymas yra tas, kad nė vienas iš šių dalykų nėra vertas pokyčio.

Energijos skaitiklis apima vieną operacinę sistemą vienoje architektūroje, o kitur jis atsisako, o ne įvertina. Savybės įrodymui reikia išorinio sprendiklio, o be jo gaunate ribas ir intervalus, kurie yra naudingi, bet nėra įrodymai.

Nieko. Jis pateikia įrodymus, o įrodymus vertina žmogus. Jis laikysis blogai pasirinktos skaitinės sutarties su visišku nuoseklumu ir sukurs nepriekaištingą to įrašą, o įrašas yra naudinga dalis, o ne teisingumo pažadas, nes pažadas nėra patikrinamas, o įrašas yra.

Ir verta taip pat aiškiai pasakyti, ko tai jums neduoda.

Nė viena iš tų keturių nėra atsisakoma. Jos netaikomos, o tai yra gerokai stipresnė pozicija nei atsisakymas, ir tai yra skirtumas tarp bibliotekos ir paslaugos, apsirengusios biblioteka. Jūsų išleidimo artefaktas įtvirtina versiją ir licenciją, o žinomą versiją galima išlaikyti incidentui be jokio prašymo.