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ı: Belirtilmemiş.
Ö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
- Kablosuz sensör ağlarında açı rijitliği tabanlı konumlandırma
Angle rigidity-based localization in wireless sensor networks
MERAL KILIÇARSLAN OUACH
Doktora
Türkçe
2026
Elektrik ve Elektronik MühendisliğiKırıkkale ÜniversitesiElektrik-Elektronik Mühendisliği Ana Bilim Dalı
PROF. DR. TOLGA EREN
- Kan tedarik zinciri ağ tasarımı ve süreç yönetiminde çok aşamalı stokastik programlama modelleri ve çözüm yaklaşımı
Multi-stage stochastic programming models and solution approach for blood supply chain network design and management
GÜL İMAMOĞLU
Doktora
Türkçe
2024
Endüstri ve Endüstri Mühendisliğiİstanbul Teknik ÜniversitesiEndüstri Mühendisliği Ana Bilim Dalı
PROF. DR. Y. İLKER TOPÇU
PROF. DR. NEZİR AYDIN
- 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