Geri Dön

Max-sat problemi için metasezgisel ve hibrit yaklaşımlar (metasezgisel + matematiksel yöntemler)

Metaheuristic and hybrid approaches for the max-sat problem (metaheuristic + mathematical methods

PDF İndir

  1. Tez No: 670727
  2. Yazar: CANSU ÇINAR SİS
  3. Danışmanlar: DR. ÖĞR. ÜYESİ TOLGA AYDIN
  4. Tez Türü: Yüksek Lisans
  5. Konular: Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrol, Computer Engineering and Computer Science and Control
  6. Anahtar Kelimeler: Belirtilmemiş.
  7. Yıl: 2021
  8. Dil: Türkçe
  9. Üniversite: Atatürk Üniversitesi
  10. Enstitü: Fen Bilimleri Enstitüsü
  11. Ana Bilim Dalı: Bilgisayar Mühendisliği Ana Bilim Dalı
  12. Bilim Dalı: Belirtilmemiş.
  13. Sayfa Sayısı: 84

Özet

Amaç: Bu çalışmanın amacı, Max-Sat probleminde optimum sonucu bulmak için metasezgisel yöntemler ile hibrit yöntemlerden elde edilen sonuçları karşılaştırıp bu tarz problemler için hibrit yöntemlerin başarılı olup olmayacağını incelemektir. Yöntem: Bu çalışmada ilk olarak Max-Sat probleminin farklı türleri (Max-2Sat, Max-3Sat ve Ağırlıklı Max-Sat) metasezgisel yöntemlerden olan Benzetilmiş Tavlama, Tabu Arama ve Genetik algoritmaları ile çözülmüştür. Daha sonra her 3 algoritmaya, komşuluk bulma aşamasında deterministik bir yaklaşım uygulanarak metasezgisel ve deterministik yöntemin bir arada kullanıldığı hibrit yöntemler geliştirilmiştir. Bulgular: Çalışma sonucunda metasezgisel ve hibrit algoritma sonuçları kaydedilip metasezgisel yöntemlerden elde edilen sonuçlar ile hibrit yöntemlerden elde edilen sonuçlar hem birbirleriyle hem de Eleventh Max-Sat Evaluations sonuçlarıyla karşılaştırılmıştır. Hibrit yaklaşım ile geliştirilen algoritmaların metasezgisel yaklaşım ile geliştirilenlere göre daha başarılı olduğu görülmüştür. Ayrıca Hibrit Tabu Arama algoritması ile literatürdeki optimum sonuç bulunarak %100 başarı sağlanırken Hibrit Genetik Algoritması ile literatürdeki optimum sonuçtan bile daha iyi sonuç elde edilerek hibrit yöntemlerin başarısı gözlemlenmiştir. Sonuç: Max-Sat problemi için geliştirilen hibrit yaklaşımın metasezgisel yönteme göre daha başarılı olduğu deneysel bulgular ile gözlemlenmiştir. Ayrıca öngörülenin aksine hibrit yöntemlerin çalışma sürelerinin metasezgisel yöntemlerden çok fazla olmadığı görülmüştür.

Özet (Çeviri)

Purpose: The aim of this study is to compare the results obtained from metaheuristic methods and hybrid methods in order to find the optimum result in Max-Sat problem and examine whether hybrid methods will be successful for such problems. Method: In this study, firstly, different types of Max-Sat problem (Max-2Sat, Max-3Sat and Weighted Max-Sat) are solved by Simulated Annealing, Tabu Search and Genetic algorithms, which are metaheuristic methods. Later, a deterministic approach is applied to all 3 algorithms in the neighborhood finding phase and hybrid methods are developed in which metaheuristic and deterministic methods are used together. Findings: As a result of the study, metaheuristic and hybrid algorithm results were recorded and the results obtained from metaheuristic methods and the results obtained from hybrid methods were compared with each other and with Eleventh Max-Sat Evaluations results. It has been observed that the algorithms developed with the hybrid approach are more successful than those developed with the metaheuristic approach. In addition, while 100% success is achieved by finding the optimum result in the literature with the Hybrid Tabu Search algorithm, the success of hybrid methods has been proven by obtaining even better results than the optimum result in the literature with the Hybrid Genetic Algorithm. Results: It has been proven by experimental findings that the hybrid approach developed for the Max-Sat problem is more successful than the metaheuristic method. In addition, contrary to what was predicted, it was seen that the working times of hybrid methods are not much more than metaheuristic methods.

Benzer Tezler

  1. Tez No

    762801

    Solving hard stable marriage problems using logic-based methods

    Mantık temelli yöntemler kullanarak zor istikrarlı evlilik problemlerini çözme

    SELİN EYÜPOĞLU

    Yüksek Lisans

    İngilizce

    İngilizce

    2022

    Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolSabancı Üniversitesi

    Bilgisayar Bilimleri ve Mühendisliği Ana Bilim Dalı

    PROF. DR. ESRA ERDEM

  2. Tez No

    844572

    Hiperemezis gravidarumlu gebelerde ve sağlıklı gebelerde koku algısı değişimi

    Smell perception change at pregnant women with hyperemesis gravidarum and healthy pregnant women

    HATİCE BÜTÜN ASLIYÜCE

    Tıpta Uzmanlık

    Türkçe

    Türkçe

    2023

    Kadın Hastalıkları ve DoğumKırıkkale Üniversitesi

    Kadın Hastalıkları ve Doğum Ana Bilim Dalı

    PROF. DR. NEVİN SAĞSÖZ

  3. Tez No

    570498

    Structural analysis of offshore wind turbine support structure under hydrodynamic and aerodynamic loads

    Hidrodinamik ve aerodinamik yüklerin altındaki rüzgar türbini destek yapısının yapısal analizi

    MURTALA NYAKO MUSA

    Yüksek Lisans

    İngilizce

    İngilizce

    2019

    Gemi Mühendisliğiİstanbul Teknik Üniversitesi

    Gemi ve Deniz Teknoloji Mühendisliği Ana Bilim Dalı

    Prof. Dr. AHMET ERGİN

  4. Tez No

    83008

    Kartlı telefon ağı yerel yönetim birimi tasarımı

    Payphone network local management unit

    ESMA AKBAY

    Yüksek Lisans

    Türkçe

    Türkçe

    1999

    Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrolİstanbul Teknik Üniversitesi

    PROF. DR. A. EMRE HARMANCI

  5. Tez No

    820104

    Deri eki tümörü olgularının retrospektif analizi

    Retrospective analysis of skin appendage tumor cases

    SEÇKİN İLMAZ

    Tıpta Uzmanlık

    Türkçe

    Türkçe

    2023

    Plastik ve Rekonstrüktif CerrahiManisa Celal Bayar Üniversitesi

    Plastik Rekonstrüktif ve Estetik Cerrahi Ana Bilim Dalı

    DOÇ. DR. MUSTAFA KÜRŞAT EVRENOS

Geri Dön