A parallel approach to solving satisfiability problems on graphics processing units using neural networks
Sinir ağları kullanarak grafik işleme üniteleri üzerinde gerçeklenebilirlik problemleri çözme için paralel bir yaklaşım
- Tez No: 433941
- Danışmanlar: PROF. DR. TAFLAN İMRE GÜNDEM
- 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: 2016
- 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ı: 61
Özet
Grafik İşleme Üniteleri (GİÜ'ler) son zamanlarda genel amaçlı uygulamaların paralelleştirilmesi konusunda popüler olmuştur. GİÜ'ler çok sayıda güçlü işlemciden oluşup hazır paket olarak sunulmaktadır. Gerçeklenebilirlik Problemi (GP) bilinen en eski NP-karmaşıklık problemlerinden biridir. GP çözümünün otomatik teorem ispatı, devre tasarımı, yapay zeka ve yazılım doğrulama gibi çeşitli uygulama alanları vardır. GP'yi deneysel olarak çözen birçok algoritma olmasına karşın, bunların tüm GP örnekleri üzerinde etkili olduğuna inanılmamaktadır. Bu tezde, GP'yi çözmek için algoritma seçim mekanizması olarak yapay sinir ağlarını kullanan yeni bir GİÜ tabanlı paralel bir yaklaşım öneriyoruz. Bizim sistemimizde, nihai sonuca ulaşmak için yapılan deneyler üzerinde oluşturulan alt problemlerin, doğru algoritmalar (çözücüler) seçilerek çözülmesi ile 3 kata kadar hızlanmalar olduğunu gösteriyoruz.
Özet (Çeviri)
Graphics Processing Units (GPUs) have become popular for parallelization of general purpose applications recently. GPUs are composed of huge number of powerful processors in a readily available package. The Satisability Problem (SAT) is one of the earliest NP-complete problems. The solution to SAT has various application areas, including automated theorem proving, circuit design, artificial intelligence, and software verification. Although many algorithms exist to experimentally solve SAT, they are not believed to be efficient on all SAT instances. In this thesis, we propose a novel GPU based parallel approach using neural networks as the algorithm selection mechanism to solve the SAT. We demonstrate speedups of up to 3 times on benchmarks by choosing the correct algorithms (solvers) to solve sub problems to reach the final result in our system.
Benzer Tezler
- Yüzey kurma probleminin transputer tabanlı sistemlerde paralel çözümü
Başlık çevirisi yok
ZİYA MERT GÜRAY
Yüksek Lisans
Türkçe
1998
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrolİstanbul Teknik ÜniversitesiBilgisayar Mühendisliği Ana Bilim Dalı
YRD. DOÇ. DR. COŞKUN SÖNMEZ
- Sistemli mimari tasarım sürecinde üretken bir yapay yardımcı önerisi
Proposal for a productive artificial aid in the systematic architectural design process
BETÜL ŞEN
Yüksek Lisans
Türkçe
2024
Mimarlıkİstanbul Teknik ÜniversitesiBilişim Ana Bilim Dalı
PROF. DR. YÜKSEL DEMİR
- Improving parallel performance of simulation of DNA electrophoresis
Paralel DNA elektroforezi simülasyonunun performansının geliştirilmesi
EZGİ SENA ERTÜRK
Yüksek Lisans
İngilizce
2020
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolAnkara Yıldırım Beyazıt ÜniversitesiBilgisayar Mühendisliği Ana Bilim Dalı
DR. ÖĞR. ÜYESİ FAHREDDİN ŞÜKRÜ TORUN
- Coalition of metaheuristics through parallel computing for solving complex optimization problems
Karmaşık optimizasyon problemlerinin çözümü için metasezgisel algoritmaların paralel hesaplama yoluyla koalisyonu
MÜMİN EMRE ŞENOL
Doktora
İngilizce
2022
Endüstri ve Endüstri MühendisliğiDokuz Eylül ÜniversitesiEndüstri Mühendisliği Ana Bilim Dalı
PROF. DR. ADİL BAYKASOĞLU
- Akarsu koridorlarında tasarım ve planlama stratejilerinin belirlenmesi: Bir model önerisi
A model for generating design and planning strategies for river corridors
GÖKÇEN ÖZALP
Yüksek Lisans
Türkçe
2020
Peyzaj Mimarlığıİstanbul Teknik ÜniversitesiKentsel Tasarım Ana Bilim Dalı
PROF. DR. HAYRİYE EŞBAH TUNÇAY