A near-optimal approach for the synthesis of petri net based liveness enforcing supervisors in flexible manufacturing systems
Esnek üretim sistemlerinde canlılık sağlayıcı gözeticilerin sentezlenmesi için optimuma yakın bir yaklaşım
- Tez No: 374417
- Danışmanlar: Prof. Dr. MURAT UZAM
- Tez Türü: Yüksek Lisans
- Konular: Elektrik ve Elektronik Mühendisliği, Electrical and Electronics Engineering
- Anahtar Kelimeler: Belirtilmemiş.
- Yıl: 2014
- Dil: İngilizce
- Üniversite: Melikşah Üniversitesi
- Enstitü: Fen Bilimleri Enstitüsü
- Ana Bilim Dalı: Elektrik ve Bilgisayar Mühendisliği Ana Bilim Dalı
- Bilim Dalı: Belirtilmemiş.
- Sayfa Sayısı: 95
Özet
Bir esnek üretim sisteminde (Flexible Manufacturing System – FMS), kördüğüm olarak adlandırılan istenmeyen bir durum, paylaşılan kaynakların varlığı sebebiyle oluşabilir. Petri ağları (Petri nets – PN), FMS'in analizi, tasarımı ve kontrolu için kullanılan popüler bir modelleme aracıdır. Bu çalışmada, FMS'lerin Petri ağı modelleri, sistemde oluşabilecek kördüğümlerin üstesinden gelmek için kullanılmaktadır. Küresel bir yutak/kaynak mevkisi (Global sink/source place – GP) kullanarak kördüğüm önlenmesi için yeni bir yöntem önerilmektedir. Önerilen yöntem, özellikle genel Petri ağı sınıflarında etkilidir. Hesaplanan tüm kontrol mevkileri önerilen yaklaşım nedeniyle ağırlıklı oklara sahiptir. GP tasarım adımlarında geçici olarak kullanılır ve sistemin canlılığı elde edildiğinde kaldırılır. Amaç, az hesaplama maliyetiyle daha iyi davranış serbestlikli canlılık sağlayıcı kördüğüm önleme ilkesini kolay bir şekilde elde etmektir.
Özet (Çeviri)
In a flexible manufacturing system (FMS), an undesirable situation called deadlocks may occur due to the existence of shared resources. Petri nets (PN) are popular modeling tool used for the analysis, design and control of FMS. In this study, PN models of FMSs are utilized to handle deadlocks that may occur in the system. A new method is proposed for deadlock prevention by using a Global sink/source place (GP). The proposed method is especially effective for a generalized PN classes. All computed control places have weighted arcs due to the approach proposed. The GP is used temporarily in the design steps and is removed when the liveness of the system is obtained. The aim is to obtain an easy to use deadlock prevention policy that will ensure liveness with better behavioral permissiveness while maintaining less computational cost.
Benzer Tezler
- Femtosaniye lazer ile işlenen yapıların katıhal lazerlerde uygulamaları ve üst çevrim pompalı Tm3+:KY3F10 lazerleri
Solid-state laser applications of femtosecond laser written structures and upconversion pumped Tm3+:KY3F10 lasers
YAĞIZ MOROVA
Doktora
Türkçe
2021
Fizik ve Fizik Mühendisliğiİstanbul Teknik ÜniversitesiFizik Mühendisliği Ana Bilim Dalı
DOÇ. DR. SEDA AKSOY ESİNOĞLU
PROF. DR. ALPHAN SENNAROĞLU
- Kaynak kısıtlı proje programlama problemlerinin çözümü için yeni yöntem ve algoritmalar
New methods and algorithms for solving the resource-constrained project scheduling problem
İHSAN UĞUR
- Adana ili Akdeniz kıyı kesiminin ekolojik peyzaj planlama ilkeleri çerçevesinde değerlendirilmesi ve optimal alan kullanım önerileri
Başlık çevirisi yok
VELİ ORTAÇEŞME
- Demiryollarında boş yük vagonlarının dağıtılması
Başlık çevirisi yok
LÜTFÜ GÜRAN
Yüksek Lisans
Türkçe
1998
İnşaat Mühendisliğiİstanbul Teknik Üniversitesiİnşaat Mühendisliği Ana Bilim Dalı
PROF. DR. ORAL TÜMAY
- Elektrik enerji iletim şebekelerinin optimal genişletme planlaması
Optimal expansion planning of power transmission networks
NAZİF HÜLAGÜ SOHTAOĞLU
Doktora
Türkçe
1994
Elektrik ve Elektronik Mühendisliğiİstanbul Teknik ÜniversitesiPROF.DR. NESRİN TARKAN