Vaka çalışması · unitguard
Birim dönüşümü
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 tablo, bir kütleyi bir enerjiye tek kelime etmeden ekler. Hücrelerde sayılar vardır, artı işareti artı işaretidir ve sonuç da bir sayıdır. Dosyada bir sütunun ton, diğerinin megavat saat olduğunu kaydeden hiçbir şey yoktur. Toplam bir rapora taşınır, orada çevresindeki her rakama tıpatıp benzer ve yakalamanın tek yolu birinin sütunların ne olduğunu hatırlamasıdır.
Bu hatanın emisyon işine özgü hali gaz türüdür. Ton, ton diye yazılır. Bir ton metan ile bir ton karbondioksit kütleden başka hiçbir şeyin aynı miktarı değildir ve ikisi arasında geçmek bir birim dönüşümü bile değildir: hangi değerlendirme raporuna ve hangi zaman ufkuna dayanılacağına dair bir seçimdir. Bunu sessizce yapan dönüştürücüler bu seçimi senin yerine yapar ve yaptıklarına dair hiçbir iz bırakmaz.
Bunun aynadaki hali, CO2e'nin bir madde gibi ele alınmasıdır. Ton CO2 eşdeğeri cinsinden bir rakam tek bir gazın kütlesine geri çevrilir; bu, rakamın unutmak için kurulduğu bir karışımı bilmeyi gerektirir. Çıkan sayı bir ölçüme benzer ve bir uydurmadır.
Yöntem
Gaz türünün birimin içinde taşındığı boyut analizi. Araçtaki her birim bir boyut ve o boyutun SI uyumlu birimine tam bir ölçektir. Sera gazı birimleri üçüncü bir şey taşır: saydıkları tür. Bir dönüşüme, boyutlar eşleştiğinde ve gazlar için yalnızca iki tür arasında tanımlı bir yol varsa izin verilir. Geri kalan her şey reddedilir ve ret, onu mümkün kılacak girdiyi adlandırır.
Büyüklükler, büyük tam sayılar üzerinde tam rasyonel sayılar olarak okunur; kayan noktaya hiç uğramaz. 0,1 yazmak onda bir verir, ona en yakın ikili kayan sayıyı değil; ölçek katsayıları tam oranlardır ve bir dönüşümün ardından tersi, yazılan sayıyı geri verir.
Ne yapıyor
Bir miktar, çevrilecek birim, hedef birim ve çip halinde dört çalışılmış örnek. Karar paneli ya Dönüştürüldü yazar; sonucu, cümlenin tamamını ve katsayının neden o olduğuna dair bir notu verir; ya da Reddedildi yazar; eksik olanı adlandıran bir başlık, bu dönüşümün burada cevabı olmadığını söyleyen bir satır ve neyin onu mümkün kılacağını açıklayan bir paragrafla.
Bir sonuç ondalıkta bitmeyen bir rasyonel olduğunda, yazılan değer başında bir tilde taşır ve saklanan değerin tam, yazılanın olmadığını söyleyen bir not gelir. Dört örnek çipten biri tam olarak bu duruma düşer: beş yüz ton karbondan tCO2'ye 5500/3'tür ve başında tilde ile yazılır.
Yapmayı reddettiği
Metandan CO2e'ye. Aracın var olma sebebi olan ret budur. Bir ton metan ile bir ton CO2e arasında bir dönüşüm katsayısı yoktur; yalnızca bir küresel ısınma potansiyeli vardır ve bir GWP ancak belirtilmiş bir IPCC değerlendirme raporunun ve belirtilmiş bir zaman ufkunun içinde vardır. Yüz yıl için AR4 metanı 25, AR5 28, AR6 ise biyojenik için 27,0 ve fosil metan için 29,8 sayar. Bunlar aynı soruya verilmiş dört farklı cevaptır ve aralarındaki fark yuvarlama değildir. Araç hepsini adlandırır, hiçbirini seçmez.
CO2e'den tek bir gaza geri dönüş. Ton CO2 eşdeğeri bir hesap birimidir, bir madde değil: rakam, bir gaz demetinin ne kadar ısınmaya yol açtığının kabul edildiğini kaydeder, tek bir gazdan ne kadar bulunduğunu değil. Onu üreten karışım olmadan geri verilecek bir kütle yoktur ve araç, demetin saf karbondioksit olduğunu varsaymak yerine bunu söyler. İşleyen yön CO2'den CO2e'yedir; orada potansiyel tanımı gereği 1'dir.
Çıplak bir kütleden bir gaz birimine. t'den tCO2'ye istemek, araçtan türü tedarik etmesini istemektir ve tür, iki büyüklük arasındaki tüm farktır. Reddeder ve ret, türü girdi tarafında belirtmenizi söyler; sonrasında dönüşüm geçer.
Bir gaz biriminden çıplak bir kütleye. Ters yön aritmetik olarak önemsizdir ve araç yine de reddeder. Tür, birimin bir parçasıdır ve onu düşürmek rakamı bir emisyon rakamı olmaktan tamamen çıkarır. Bir dönüşümü dürüst tutmak bazen kolay yönü reddetmek demektir.
Boyutlar arası. Enerjiden kütleye dönüşüm, her iki boyut da adlandırılarak ve eksik olan da adlandırılarak reddedilir: bir enerji yoğunluğu ya da bir emisyon faktörü bunu yapardı, ikisi de verilmedi. Araç hiçbir şey için, hiçbir ülke için, hiçbir yıl için varsayılan bir emisyon faktörü taşımaz.
Bir büyüklük olmayan her şey. Düz bir ondalık olarak ayrıştırılamayan bir miktara «Sayı değil» cevabı ve büyüklüklerin tam rasyonel olarak okunduğu açıklaması verilir. İki tür arasında tanımlı bir yol hiç yoksa, cevap «Tanımlı değil» olur; katsayı kılığına sokulmuş bir varsayımlar zinciri verilmez.
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.