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
- Tez No: 374429
- 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: Ayrık olay sistemleri, Esnek Üretim sistemi (FMS), Kördüğüm önleme, Petri ağları, Kilitlenme, Deadlock
- 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
Esnek üretim sistemlerinde (Flexible Manufacturing Systems – FMS) paylaşılan kaynakların varlığı kördüğüm durumlarına sebep olabilir. FMS bağlamında, bütünsistem bloke olduğundan kördüğümler istenmez. FMS tasarımında ve işleyişinde en çok çalışılan problemler, herhangi bir kördüğüm olmaksızın paylaşılan kaynakları mükemmel bir şekilde taksim etmektir. Petri ağları (PN) kördüğüm problemlerinin üstesinden gelmek için kullanılan genel bir matematiksel araç olarak Kabul edilmektedir. FMS'te Petri ağları tabanlı canlılık-uygulanması denetçilerin hesaplama karmaşıklığı ilgili literatürde incelenen güncel araştırma konularından biridir. Bu çalışmada, sabit yapılı bir Petri ağı modelinde hesaplama verimliliğini artırmak için bir yöntem önerilmiştir.
Özet (Çeviri)
The existence of the shared resources in flexible manufacturing systems (FMS) may lead to deadlock conditions. In the context of FMS, deadlocks are undesirable in which the whole system is blocked. The most stimulating problems in FMS, design and operation are to apportion the shared resources to work perfectly without any deadlocks. Petri nets (PN) are considered as a general mathematical tool to handle deadlock problems. The computational complexity of PN based liveness-enforcing supervisors of FMS is one of the current research topics studied in the related literature. In this work a method is proposed to improve the computational efficiency involving a PN model with a fixed structure. Index Terms: Discrete event systems, Flexible manufacturing system (FMS), Deadlock prevention, Petri nets.
Benzer Tezler
- 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
MUHAMMAD BASHIR
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
- Effect of dataset reduction techniques on computational complexity and predictive performance of classification problem
Veri kümesi azaltma tekniklerinin sınıflandırma probleminin hesaplama karmaşıklığı ve tahmin performansı üzerindeki etkisi
SUAT AKKAŞ
Yüksek Lisans
İngilizce
2025
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolSabancı ÜniversitesiVeri Bilimi Ana Bilim Dalı
DR. ÖĞR. ÜYESİ EZGİ KARABULUT TÜRKSEVEN
- Ç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
- A study in the implementation of convolutional neural network for image classification in frequency domain
Frekans alanında görüntü sınıflandırma için konvolüsyonel sinir ağlarının uygulanması
GÖKTUĞ ERDEM DAĞI
Yüksek Lisans
İngilizce
2024
Elektrik ve Elektronik MühendisliğiAtılım ÜniversitesiElektrik ve Elektronik Mühendisliği Ana Bilim Dalı
DR. ÖĞR. ÜYESİ ERHAN GÖKÇAY
DR. ÖĞR. ÜYESİ HAKAN TORA
- Numerical investigation of the effects of baffle geometry and number on the flow structure and acoustics in a gun suppressor
Bir silah susturucusunda perde geometrisi ve sayısının akış yapısı ve akustik üzerindeki etkilerinin sayısal incelenmesi
EZEDIN AYALIEW YIMAM
Yüksek Lisans
İngilizce
2022
Makine MühendisliğiKırıkkale ÜniversitesiMakine Mühendisliği Ana Bilim Dalı
DR. ÖĞR. ÜYESİ TOLGA DEMİRCAN