Dynamic constraint satisfaction algorithm for reconfiguration of feature models
Özellik modellerinin yeniden yapılandırması için dinamik kısıt sağlama algoritması
- Tez No: 489564
- Danışmanlar: PROF. DR. MEHMET HALİT SEYFULLAH OĞUZTÜZÜN
- 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: 2018
- Dil: İngilizce
- Üniversite: Orta Doğu Teknik Üniversitesi
- Enstitü: Fen Bilimleri Enstitüsü
- Ana Bilim Dalı: Bilgisayar Mühendisliği Ana Bilim Dalı
- Bilim Dalı: Belirtilmemiş.
- Sayfa Sayısı: Belirtilmemiş.
Özet
Dinamik olarak yeniden yapılandırılabilir sistemler kendilerini otomatik olarak yeniden yapılandırarak operasyonel ortamlarındaki değişikliklere yanıt verebilirler. Dinamik yazılım ürün hatları, yeniden yapılandırmaya kılavuzluk eden açık değişkenlik modeline sahip dinamik olarak yeniden yapılandırılabilir sistemlerdir. Bu çalışmada, değişkenlik modeli olarak özellik modelleri kullanılmaktadır. Özelliklerin, onları gerçekleştiren sistemin bileşenleri ile eşleştirildiği varsayılmaktadır. Bir özellik modeli bir kısıt sağlama problemine (KSP) karşılık gelir ve sistemin geçerli yapılandırmalarını belirler. Ortamda ortaya çıkan bir durum mevcut yapılandırmayla ilgili bazı değişikliklerin yapılmasına yol açabilir: bazı özellikler etkinleştirilmeli ve bazıları devre dışı bırakılmalıdır. Kısıt yayılımı nedeniyle, diğer özelliklerin durumunun da değiştirilmesi gerekebilir. Bununla birlikte, özellik durumu taşıma maliyetleri göz önüne alındığında, sistemin çalışmasının aksama maliyetini azaltmak için bu tür değişikliklerin mümkün mertebe önlenmesini isteriz. Bu çalışmada, ortamdaki değişikliklere karşı koyarken özellik durum değişikliklerinin mevcut yapılandırmaya etkili bir şekilde uygulanmasını sağlayan dinamik bir kısıt sağlama algoritması geliştirdik; böylece yeniden yapılandırma geçerli olacak ve yeni durumun gereksiminleri minimum maliyetle karşılanacaktır. Ayrıca, özellik modeli ilişkileri ve özellik modellerinin genel yapısı hakkında bir dizi buluşsal yöntem de algoritmanın verimliliğini artırmak amacıyla önerilmektedir.
Özet (Çeviri)
Dynamically reconfigurable systems are able to respond to changes in their operational environments by reconfiguring themselves automatically. Dynamic software product lines are dynamically reconfigurable systems with an explicit variability model that guides the reconfiguration. In this work, feature models are used as the variability model. Features are assumed to be mapped to system's components that realize them. A feature model corresponds to a constraint satisfaction problem (CSP), and determines the valid configurations of the system. An emerging situation in the environment can lead to some relevant changes to the current configuration: some features must be activated, and some must be deactivated. Due to constraint propagation, the status of other features might need to be changed as well. However, considering the feature state migration costs, one would like to avoid such changes to the greatest extent possible in order to mitigate the cost of the disruption to the system's operation. In this work, we devised a dynamic constraint satisfaction algorithm that efficiently considers feature state changes to be applied to the current configuration while confronting changes in the environment so that the new configuration will be valid and the requirements of the new situation will be satisfied with the minimum cost. A set of heuristics regarding feature model relations and the overall structure of feature models are also proposed to enhance the efficiency of the algorithm.
Benzer Tezler
- Optimizasyon tabanlı bir su kaynakları sistemi modelleme aracının geliştirilmesi ve çok amaçlı sektörel tahsise uygulanması
Development of an optimization-based modeling tool for water resources systems and application to multi-objective sectoral allocation
SALİM YAYKIRAN
Doktora
Türkçe
2025
Çevre Mühendisliğiİstanbul Teknik ÜniversitesiÇevre Mühendisliği Ana Bilim Dalı
DOÇ. DR. ALPASLAN EKDAL
- Flight control law design for fighter aircraftsexploiting nonlinear control techniques
Doğrusal olmayan kontrol teknikleri kullanılaraksavaş uçakları için uçuş kontrol yasası tasarımı
BORA AKARYILDIZ
Yüksek Lisans
İngilizce
2025
Uçak Mühendisliğiİstanbul Teknik ÜniversitesiKontrol ve Otomasyon Mühendisliği Ana Bilim Dalı
PROF. DR. YAPRAK YALÇIN
- Crew recovery optimization through disruption analysis and deep learning driven column generation
Aksaklık analizi ve derin öğrenme tabanlı sütun oluşturma ile ekip kurtarma optimizasyonu
AHMET HEREKOĞLU
Doktora
İngilizce
2024
Endüstri ve Endüstri Mühendisliğiİstanbul Teknik ÜniversitesiEndüstri Mühendisliği Ana Bilim Dalı
PROF. ÖZGÜR KABAK
- Planning of train movements in single track railways
Tek hatlı demiryollarında tren hareketlerinin planlanması
GÖKÇE AYDIN
Doktora
İngilizce
2015
İnşaat MühendisliğiYıldız Teknik Üniversitesiİnşaat Mühendisliği Ana Bilim Dalı
DOÇ. DR. İSMAİL ŞAHİN
- Montaj hattı dengeleme
Assembly line balancing
MURAT UZMEN
Yüksek Lisans
Türkçe
1990
Endüstri ve Endüstri Mühendisliğiİstanbul Teknik ÜniversitesiPROF. DR. GÖNÜL YENERSOY