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ı: 68
Ö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
- Planning of train movements in single track railways
Tek hatlı demiryollarında tren hareketlerinin planlanması
GÖKÇE AYDIN
Doktora
İngilizce
2015
UlaşımYıldız Teknik Üniversitesiİnşaat Mühendisliği Ana Bilim Dalı
DOÇ. DR. İSMAİL ŞAHİN
- Etmen tabanlı bir grid sisteminde CSP yaklaşımı kullanılarak güçlü taşınabilirlikli görevlerle ağ trafiği yükü dengeleme
Network load balancing with strong migration in an agent based grid system using CSP approach
ZAFER ALTUĞ SAYAR
Yüksek Lisans
Türkçe
2012
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrolİstanbul Teknik ÜniversitesiBilgisayar Mühendisliği Ana Bilim Dalı
PROF. DR. NADİA ERDOĞAN
- 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
- Cogging torque and performance optimization of an interior permanent magnet synchronous motor used in commercial washing machines
Ticari çamaşır makinelerinde kullanılan gömülü daimi mıknatıslı senkron motorların tutunma momenti ve performans en uygunlaştırması
EGE ÜNLÜTEPE KESKİN
Yüksek Lisans
İngilizce
2021
Elektrik ve Elektronik Mühendisliğiİstanbul Teknik ÜniversitesiElektrik Mühendisliği Ana Bilim Dalı
DOÇ. DR. DERYA AHMET KOCABAŞ
- 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