Birim dönüşümü
Vaka çalışması · unitguard
Eksik olanı tahmin etmek yerine adını koyan bir dönüştürücü.
Bir miktar, iki birim ve yüklenmeye hazır dört örnek. Her değişikliğe ya bir dönüşümle ya bir retle cevap verilir.
Problem
Bir hesap tablosu kütleyle enerjiyi sesini çıkarmadan toplar; bu hatanın emisyon işindeki karşılığı gaz türüdür: bir ton metan ile bir ton karbondioksitin kütleden başka ortak yanı yoktur, biri ötekine çevrilirken bir değerlendirme raporu ve zaman ufku seçilir, CO2e'yi tek bir gaza geri çevirmek ise rakamın kurulurken unuttuğu karışımı ister.
Yöntem
Birimin içinde gaz türünü de taşıyan boyut analizi: büyüklükler kayan nokta yerine büyük tam sayılarla tam kesir olarak okunur; dönüşüme yalnızca boyutlar uyuşuyorsa ve gazlarda iki tür arasında tanımlı bir yol varsa izin verilir.
Ne yapıyor
Bir miktar, iki birim ve çip olarak dört örnek. Cevap ya Dönüştürüldü olur, yanında sonuç ve cümlenin tamamıyla; ya da Reddedildi, yanında eksik girdiyle. Ondalık açılımı bitmeyen sonuç başında tilde ile yazılır: beş yüz ton karbonun tCO2 karşılığı olan 5500/3 gibi.
Neyi reddediyor
Metandan CO2e'ye: aracın asıl var olma nedeni olan ret. Ortada yalnızca küresel ısınma potansiyeli var; yüz yıllık ufukta AR4 metan için 25, AR5 28, AR6 ise biyojenik metan için 27,0, fosil metan için 29,8 veriyor. Araç hepsini sayar, hiçbirini seçmez.
CO2e'yi tek bir gaza geri çevirmeyi reddeder: ton CO2 eşdeğeri bir hesap birimidir ve rakamı oluşturan karışım bilinmeden geri verilecek bir kütle yoktur. Çalışan yön CO2'den CO2e'ye olanıdır; orada potansiyel tanım gereği 1'dir.
Yalın kütleyi gaz birimine çevirmeyi reddeder: t'den tCO2'ye dönüşüm istemek, türü araçtan beklemek demektir; ret, türü girdi tarafında belirtmenizi ister.
Gaz birimini yalın kütleye çevirmeyi de reddeder: aritmetiği basit olsa da tür düşülünce rakam emisyon rakamı olmaktan çıkar.
Boyutlar arası: enerjiden kütleye dönüşüm reddedilir; iki boyut da, eksik olan şey de (bir enerji yoğunluğu ya da emisyon faktörü) adıyla yazılır. Araç hiçbir ülke ve yıl için varsayılan emisyon faktörü taşımaz.
Büyüklük olarak okunamayan bir girdinin cevabı Sayı değil. Aralarında tanımlı yol bulunmayan iki türün cevabı Tanımlı değil.
Kapanış
Tahmin eden bir dönüştürücü, hiç dönüştürücü olmamasından kötüdür; çünkü bir sayı döndürür ve sayılara inanılır.