Hierarchical constraint solver
Hiyerarşik kısıt çözücüsü
- Tez No: 169202
- Danışmanlar: PROF. DR. TATYANA YAKHNO
- Tez Türü: Yüksek Lisans
- Konular: Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrol, Computer Engineering and Computer Science and Control
- Anahtar Kelimeler: Kısıt tatmin problemleri, kısıt hiyerarşileri, esnek kısıtlar, aşın kısıt içeren problemler, yapı planlaması problemleri, Constraint satisfaction problems, constraint hierarchies, soft constraints, over-constrained problems, layout problems. IV
- Yıl: 2005
- Dil: İngilizce
- Üniversite: Dokuz Eylül Üniversitesi
- Enstitü: Fen Bilimleri Enstitüsü
- Ana Bilim Dalı: Bilgisayar Mühendisliği Ana Bilim Dalı
- Bilim Dalı: Belirtilmemiş.
- Sayfa Sayısı: 106
Özet
HIYERARŞİK KISIT ÇÖZÜCÜSÜ ÖZ Kısıt programlama pek çok kombinasyona dayalı problemin, yalnızca problemin tanımının bildirilmesi yoluyla modellenmesi ve özel çözüm algoritmaları ile çözülmesini sağlayan bir programlama yaklaşımıdır. Problem değişkenleri üzerinde kısıtlar tanımlanır ve bu kısıtlar her bir değişkenin alabileceği değer kümesinde eksilmelere neden olur. Bazı durumlarda, problemdeki bütün kısıtlan çözmek mümkün değildir ya da kullanıcı kısıtlar üzerinde bazı öncelikler belirtmek isteyebilir. Bu tür problemleri çözmek için geliştirilen yöntemlerin başında kısıt hiyerarşileri gelir. Bu çalışmada, bir C++ kütüphanesi olan ILOG Solver'ı genel kısıt çözücü olarak kullanan hiyerarşik bir kısıt çözücü tanımlanmıştır. Ayrıca, yapı planlaması problemlerinin hiyerarşik olarak çözülmesini sağlayan ve kolay kullanım sağlayan bir program geliştirilmiştir.
Özet (Çeviri)
HIERARCHICAL CONSTRAINT SOLVER ABSTRACT Constraint programming is an approach for solving mostly combinatorial problems by declaratively describing the problem and using special solving algorithms. Restrictions called constraints are stated over the problem variables that reduce the values each variable can take. In some cases it is not possible to satisfy all constraints or the user can state some preferences on them. One of the techniques to solve this kind of problems is modeling and solving the problem as a constraint hierarchy. This research describes a Hierarchical Constraint Solver (HIS), which is developed in C++ using ILOG Solver as an ordinary constraint solver. HIS is based on refining algorithm. In addition, a program is developed to solve over-constrained layout problems with a friendly user interface.
Benzer Tezler
- Design and implementation of constraint based solver for subdefinite data
Kesin belirli olmayan veriler için kısıt tabanlı çözümleyici tasarımı ve gerçeklemesi
SERKAN DEMİR
Yüksek Lisans
İngilizce
2001
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolDokuz Eylül ÜniversitesiBilgisayar Mühendisliği Ana Bilim Dalı
PROF. DR. TATYANA YAKHNO
- Gerçekliği izleme, bilişsel yanlılık ve temsilsel değişimin içgörüsel problem çözmeye etkisi
The effect of reality monitoring, cognitive biases and representational change on insight problem solving
GAYE ÖZEN AKIN
- Power optimization, network coding and decision fusion in multi-access relay networks
Çoklu erişimli röle destekli şebekeler için güç eniyilemesi, şebeke kodlaması ve karar tümleştirmesi
KAYHAN ERİTMEN
Doktora
İngilizce
2014
Elektrik ve Elektronik MühendisliğiSabancı ÜniversitesiElektronik Mühendisliği Bölümü
DOÇ. DR. MEHMET KESKİNÖZ
- Memetic algorithms for timetabling problems in private schools
Özel okullardaki zaman çizelgeleme problemi için memetik algoritmalar
DENİZ ALDOĞAN
Yüksek Lisans
İngilizce
2005
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolOrta Doğu Teknik ÜniversitesiBilgisayar Mühendisliği Ana Bilim Dalı
DOÇ. DR. FERDA NUR ALPASLAN
YRD. DOÇ. DR. ENDER ÖZCAN
- Optimizing the facility location design of organ transplant centers in Turkey
Türkiye'deki organ nakli merkezlerinin tesis yer tasarımının optimizasyonu
AMINE ZENKHRI
Yüksek Lisans
İngilizce
2023
Mühendislik Bilimleriİstanbul Kültür ÜniversitesiMühendislik Yönetimi Ana Bilim Dalı
PROF. DR. MURAT ERMİŞ
