A general approach for the synthesis of petri net based liveness enforcing supervisors in flexible manufacturing systems
Esnek üretim sistemlerinde petri ağı temelli canlılık uygulayıcı gözeticilerin sentezlenmesi için genel bir yöntem
- Tez No: 374435
- 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ı: Belirtilmemiş.
Özet
Bu tezde, kördüğüm problemi olan bir esnek üretim sisteminin Petri ağı modeli için bir canlılık uygulayıcı gözetici hesaplanması konusunda genel bir yöntem önerilmektedir. Bu tezde önerilen kördüğüm kontrolu yaklaşımında, kördüğüm problemi olan asıl Petri ağı modelinde değişiklik yapılması söz konusudur. Buna göre, tasarım sürecinde geçici olarak kullanılan ve daha sonra asıl Petri ağı modeli canlı olduğunda kaldırılan küresel bir kaynak / yutak mevkisi (a global sink/source place GP) eklenmektedir. Önerilen yöntem basit, kullanımı ve hesaplaması kolaydır. Önerilen yaklaşımın uygulanabilirliği örneklerle gösterilmektedir.
Özet (Çeviri)
In this thesis, a general approach is proposed for the computation of a liveness enforcing supervisor for the Petri net model of a flexible manufacturing system (FMS) prone to deadlocks. The proposed deadlock control policy in this thesis requires a modification to be made to the original Petri net model prone to deadlocks. The modification is simply the addition of a global sink/source place (GP), which is employed temporarily in the design process and then removed when the system becomes live. The proposed method is easy to use, straightforward and has computational simplicity. The applicability of the proposed approach is illustrated through examples from the related literature.
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
- Aktif tüm-geçiren anahtarlı kapasite filtrelerinin kaskad kafes yapılarla gerçeklenmesi
Cascaded lattice realization of active all-pass switched capacitor filters
DOĞAN ALKAN
Yüksek Lisans
Türkçe
1991
Elektrik ve Elektronik Mühendisliğiİstanbul Teknik ÜniversitesiPROF.DR. CEVDET ACAR
- Dinamik stokastik genel denge modeli çerçevesinde para ve maliye politikalarının etkinliği: Türkiye için bir model önerisi
Efficiency of monetary and fiscal policies within the framework of the dynamic stochastic general equilibrium model: A model proposal for Turkey
BÜLENT DİCLEHAN ÇADIRCI
Doktora
Türkçe
2021
EkonomiAtatürk Üniversitesiİktisat Politikası Ana Bilim Dalı
PROF. DR. KEREM KARABULUT
- New possibilities for the design of class-a and differential class-ab log-domain filters using state-space synthesis method
Durum-uzay sentez metodu kullanarak a-sinifi ve fark alici ab sinifi logaritmik ortam süzgeç tasariminda yeni olanaklar
ALİ KIRÇAY
Doktora
İngilizce
2007
Elektrik ve Elektronik MühendisliğiDokuz Eylül ÜniversitesiElektrik-Elektronik Mühendisliği Ana Bilim Dalı
DOÇ.DR. UĞUR ÇAM
- Konformal anten dizilerinin sentezi için optimizasyon yaklaşımı
Optimization approach for the synthesis of conformal antenna arrays
MAHMUD ESAD YİĞİT
Yüksek Lisans
Türkçe
2014
Elektrik ve Elektronik Mühendisliğiİstanbul Teknik ÜniversitesiElektronik ve Haberleşme Mühendisliği Ana Bilim Dalı
PROF. DR. MURAT TAYFUN GÜNEL