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ı: Belirtilmemiş.
Ö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
- Kuantum hesaplama temelli optimizasyon yöntemleri ile büyük dil modellerinin eğitim ve çıkarım süreçlerinin iyileştirilmesi
Improving training and inference processes of large language models with quantum computing-based optimization methods
BETÜL CANDAN
Yüksek Lisans
Türkçe
2026
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolMarmara ÜniversitesiBilgisayar Mühendisliği Ana Bilim Dalı
DR. ÖĞR. ÜYESİ ALİ SARIKAŞ
- Kablosuz sensör ağlarda servis kalitesi ve enerji tüketimi denetiminde enformasyon teorisi kullanımı
Usage of information theory to control the qos and energy consumption for wireless sensor networks
RUKEN ZİLAN
Yüksek Lisans
Türkçe
2007
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolTobb Ekonomi ve Teknoloji ÜniversitesiBilgisayar Mühendisliği Ana Bilim Dalı
Y.DOÇ.DR. MURAT ERTEN
- Yenilenebilir enerji kaynakları ve elektrikli araçlarınbirbirine bağlı mikro şebekelere etkilerinin olasılıksalgüç akışı ile incelenmesi
Investigating the impact of electric vehicles andrenewable energy sources on networked microgridsusing probabilistic power flow
ABDULKERİM İSKENDEROĞLU
Yüksek Lisans
Türkçe
2024
Elektrik ve Elektronik Mühendisliğiİstanbul Teknik ÜniversitesiElektrik Mühendisliği Ana Bilim Dalı
DOÇ. DR. ÖMER GÜL
- Development of process, voltage and temperature variation aware highly energy-efficient deep neural networks with high inference accuracy for internet-of-things applications
Nesnelerin internet, uygulamaları için gerilim, sıcaklık ve üretimsel sapmaları dikkate alarak yüksek enerji verimliliği ve çıkarım doğruluğuna sahip derin öğrenme ağları geliştirilmesi
UMUT BARUT
Yüksek Lisans
İngilizce
2024
Elektrik ve Elektronik MühendisliğiSabancı ÜniversitesiMühendislik ve Doğa Bilimleri Ana Bilim Dalı
DR. ÖĞR. ÜYESİ ÖMER CEYLAN
- Hücresel ağlarda nesnelerin interneti ve röle cihazlar arasında imza tabanlı ve enerji verimli cihaz keşfi protokolü
Signature-based and energy-efficient device discovery protocol between the internet of things and relay devices in cellular networks
MUHAMMET TALHA KAKIZ
Doktora
Türkçe
2021
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolKaradeniz Teknik ÜniversitesiBilgisayar Mühendisliği Ana Bilim Dalı
DOÇ. DR. TUĞRUL ÇAVDAR