A study on the structural complexity reduction of petri net based liveness-enforcing supervisors in flexible manufacturing systems
Esnek üretim sistemlerinde canlılık sağlayıcı gözeticilerin yapısal karmaşıklığının azaltılması üzerine bir çalışma
- Tez No: 374420
- 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
Esnek üretim sistemlerinde (Flexible Manufacturing Systems – FMS) kördüğümün önlenmesi (canlılık-yürürlüğe koymak) amacıyla şu ana kadar pek çok çalışma yapılmıştır. Petri ağları FMS'te kördüğüm oluşumlarını imkansız hale getirmek için canlılık sağlamak üzere kullanılan bir araçtır. FMS'lerde canlılık-sağlayan bir Petri net denetçisinin performansını değerlendirmek için kullanılan üç kriter davranışsal serbestlik, hesaplama karmaşıklığı ve yapısal karmaşıklıktır. Yapısal karmaşıklığı azaltma, canlılık-uygulayıcı denetçilerdeki kontrol mevkilerinin (monitörlerin) sayısının azaltılmasını içerir. Şu anda bu sorunu çözmek için literatürde bazı önemli sonuçlar vardır. Ancak, yapısal olarak basit monitörler elde etmek için yüksek hesaplama bedeli ödemek zorunludur. Mevki değişmezleri arasında doğrusal ilişkiler kurulması yoluyla makul bir hesaplama çabasıyla yapısal olarak basit monitörler elde etmek için bu çalışmada yeni bir yöntem önerilmiştir. Burada önerilen yöntem ile elde edilen yapısal olarak basit monitörler, optimum veya optimuma yakın davranış serbestliği sağlarlar. Önerilen yaklaşımın farklı Petri ağı sınıflarına uygulanabilirliği çeşitli örneklerle gösterilmiştir.
Özet (Çeviri)
Many works have been carried out for the study on deadlock prevention (liveness-enforcing) in flexible manufacturing systems (FMS). Petri nets have been used as a tool to enforce liveness in FMS so as to make deadlocks impossible to occur. Behavioral permissiveness, computational complexity and structural complexity are three criteria to evaluate the performance of a liveness-enforcing Petri net supervisor for FMSs. The reduction of structural complexity involves the reduction of the number of control places (monitors) in liveness-enforcing supervisors. Currently there are some important results in the literature to solve this problem. However, to obtain structurally simple monitors, one has to pay a high computational price. In this study a new method is proposed for obtaining structurally simple monitors with a reasonable computational effort via establishing linear relationships that exist between the place invariants. Structurally simple monitors obtained by the method proposed here provide optimal or near optimal behavioral permissiveness. The applicability of the proposed approach is shown by means of several examples for different classes of Petri nets.
Benzer Tezler
- A study on the computational complexity reduction of petri net based liveness-enforcing supervisors in flexible manufacturing systems
Esnek üretim sistemlerinde canlılık sağlayıcı gözeticilerin hesaplama karmaşıklığının azaltılması üzerine bir çalışma
SUNUSI GARBA MOHAMMED
Yüksek Lisans
İngilizce
2014
Elektrik ve Elektronik MühendisliğiMelikşah ÜniversitesiElektrik ve Bilgisayar Mühendisliği Ana Bilim Dalı
Prof. Dr. MURAT UZAM
- Çukur yapıların yüzey sürtünme direncine olan etkilerinin hesaplamalı ve deneysel olarak incelenmesi
Experimental and computational investigation of the effect of dimpled surfaces on skin friction reduction
YASİN KAAN İLTER
Doktora
Türkçe
2023
Gemi Mühendisliğiİstanbul Teknik ÜniversitesiGemi İnşaatı ve Gemi Makineleri Mühendisliği Ana Bilim Dalı
DOÇ. DR. UĞUR ORAL ÜNAL
- Rear middle bumper design of a raised floor bus
Yüksek tabanlı bir otobüste arka orta tampon tasarımı
ALEV BAĞSÜRER
Yüksek Lisans
İngilizce
2018
Makine Mühendisliğiİstanbul Teknik ÜniversitesiMakine Mühendisliği Ana Bilim Dalı
YRD. DOÇ. DR. VEDAT TEMİZ
- Kimyasal buhar biriktirme yöntemi ile volfram çekirdekli bor fiber üretiminde sistem tasarımı
System design in tungsten-cored boron fiber production by chemical vapor deposition
SELİM ERTÜRK
Doktora
Türkçe
2012
Metalurji Mühendisliğiİstanbul Teknik ÜniversitesiMetalurji ve Malzeme Mühendisliği Ana Bilim Dalı
PROF. DR. İSMAİL DUMAN
- Dinamik olmayan stokastik rezonans yöntemi kullanılarak su altı görüntülerinin iyileştirilmesi
Underwater image enhancement using non-dynamic stochastic resonance
RUSTAM SALIMOV
Doktora
Türkçe
2024
Fizik ve Fizik MühendisliğiSakarya ÜniversitesiFizik Ana Bilim Dalı
DR. ÖĞR. ÜYESİ HACI AHMET YILDIRIM