Energy consumption of probabilistic and quantum finite state verifiers
Olasılıksal ve kuantum sonlu durumlu denetmenleriın enerji tüketimi
- Tez No: 900984
- Danışmanlar: PROF. DR. AHMET CELAL CEM SAY
- Tez Türü: Yüksek Lisans
- Konular: Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrol, Computer Engineering and Computer Science and Control
- Anahtar Kelimeler: Belirtilmemiş.
- Yıl: 2024
- Dil: İngilizce
- Üniversite: Boğaziçi Üniversitesi
- Enstitü: Fen Bilimleri Enstitüsü
- Ana Bilim Dalı: Bilgisayar Mühendisliği Ana Bilim Dalı
- Bilim Dalı: Belirtilmemiş.
- Sayfa Sayısı: 49
Özet
Hesaplamadaki tersinebilir olmayan adımlar bilginin silinmesiyle ilişkilidir ve sonucunda entropi artışına neden olur. Fiziksel bilgisayarlarda bu entropi artışı aynı zamanda enerji tüketimiyle ilişkilidir. Modern bilgisayarlar, birçok farklı sebepten bu entropi artışı sebebiyle açığa çıkması gereken enerji alt sınırının çok daha üzerinde ısı açığa çıkarır. Bu çalışmada sonlu hafızaya sahip interaktif olmayan deterministik ya da kuantum denetim sistemlerinin tersinebilirlik özellikleri keşfedildi. Bu çalışmada yapılan tanımlar tersinebilirlik üzerine sorulan soruların cevaplanabileceği bir çerçeve sunar. Olasılıksal sonlu durumlu denetim sistemlerinde tersinebilirliği bozan belli durumlardan kurtulmayı sağlayan bir metod gösterildi. Bunun da ötesinde, sonuç olarak, aynı tür sistemlerde tersinebilirliği bozan tüm durumların giderilebileceği öne sürüldü.
Özet (Çeviri)
Irreversible steps in computation are associated with an erasure of information and thus, an increase in the entropy. In the case of a physical computer, this increase in entropy is associated with energy dissipation, although modern computers are nowhere near this lower bound and generate heat mostly due to other reasons. This work explores the reversibility properties of non-interactive verification systems with finite memory whose verifiers do quantum, deterministic or probabilistic computation. Definitions made in this work provide a framework in which questions about reversibility can be asked and answered. A method that eliminates some types of irreversibilities in probabilistic finite state verification systems is provided. Moreover, every type of irreversibility in such systems are conjectured to be eliminated as a conclusion.
Benzer Tezler
- Gelecek nesil kablosuz haberleşme ağları için enerji hasatlama sistemleri
Energy harvesting systems for next generation wireless communication networks
DOĞAY ALTINEL
Doktora
Türkçe
2019
Elektrik ve Elektronik Mühendisliğiİstanbul Teknik ÜniversitesiElektronik ve Haberleşme Mühendisliği Ana Bilim Dalı
DOÇ. DR. GÜNEŞ ZEYNEP KARABULUT KURT
- Elektrik üretim sistemlerinin optimal planlamasında yeni bir modelleme ve çözüm
Başlık çevirisi yok
SEMRA ÖZTÜRK
Doktora
Türkçe
1989
Elektrik ve Elektronik MühendisliğiMarmara ÜniversitesiElektrik Ana Bilim Dalı
PROF. DR. NESRİN TARKAN
- Üretim sistemlerinin maliyet analizi
Generation systems cost analysis
MEHMET KURBAN
Yüksek Lisans
Türkçe
1994
Elektrik ve Elektronik Mühendisliğiİstanbul Teknik ÜniversitesiPROF.DR. NESRİN TARKAN
- Trijenerasyon sistemlerinin modellenmesine yönelik yeni bir yaklaşım: Bir üniversite uygulaması
A new approach for the modelling of trigeneration system: A university applications
KEZBAN BULUT
Doktora
Türkçe
2016
Endüstri ve Endüstri Mühendisliğiİstanbul Teknik ÜniversitesiEndüstri Mühendisliği Ana Bilim Dalı
DOÇ. DR. GÜLGÜN KAYAKUTLU
- Çok yüksek gerilimli enerji iletim hatlarının planlanmasında ve optimal işletilmesinde etkili korona kayıpları
Corona losses affecting design and optimal operation of extra high voltage transmission lines
HAKAN EĞİLMEZBAŞ
Yüksek Lisans
Türkçe
1992
Elektrik ve Elektronik Mühendisliğiİstanbul Teknik ÜniversitesiPROF. DR. NESRİN TARKAN