Bulanık petri ağlarıyla bir demiryolu trafik sisteminin modellenmesi ve FPGA üzerinde gerçeklenmesi
Modelling of railway traffic system with fuzzy petri nets and implementation on FPGA
- Tez No: 293943
- Danışmanlar: DOÇ. DR. MÜRVET KIRCI
- Tez Türü: Yüksek Lisans
- Konular: Elektrik ve Elektronik Mühendisliği, Electrical and Electronics Engineering
- Anahtar Kelimeler: Bulanık, Bulanık değişkenler, Bulanık dilsel yöntem, Bulanık küme teorisi, Bulanık kümeler, Bulanık mantık, Bulanık modelleme, Bulanık parametreler, FPGA, Petri ağları, Fuzzy, Fuzzy variables, Fuzzy linguistic method, Fuzzy Set Theory, Fuzzy sets, Fuzzy logic, Fuzzy modelling, Fuzzy parameters, FPGA, Petri nets
- Yıl: 2010
- Dil: Türkçe
- Üniversite: İstanbul Teknik Üniversitesi
- Enstitü: Fen Bilimleri Enstitüsü
- Ana Bilim Dalı: Elektronik Mühendisliği Ana Bilim Dalı
- Bilim Dalı: Belirtilmemiş.
- Sayfa Sayısı: Belirtilmemiş.
Özet
Bu tez çalışmasında ayrık sistemlerin tanımlanmasında kullanılan etkin bir matematiksel ve grafiksel modelleme yöntemi olan Petri ağlarının bulanık mantık kurallarına dayanarak gerçeklenmesi ele alınmıştır. Klasik Petri ağlarının sayısal devreli sistemlere uyarlanabilmesi, bulanık mantık kurallarına göre yönetilen bir Bulanık Petri ağının da benzer şekilde elde edilebilmesine ön ayak olmuştur. BPA ile modellenmiş demiryolu trafik sisteminin sayısal devre halinde tasarlanması ve gerçek hayatta çalışırlığının gösterilmesi de FPGA ile mümkün olmuştur.İkinci bölümde, Petri ağlarının bileşenleri tanıtılmış, dinamizmi sağlayan jetonların hangi koşullar altında ateşlenebildiği örnek diyagramlarla açıklanmıştır. Petri ağlarının matematiksel altyapısı grafiksel gösterimiyle birlikte desteklenmiştir. Petri ağlarının analizinde öne çıkan temel karakteristik özellikleri anlatılmıştır.Üçüncü bölümde, bulanık mantığın (fuzzy logic) dayandığı kurallar, klasik mantıktan ayrılan yönleri, uygulamada kullanım alanları ve Petri ağlarıyla ilişkisi ele alınmıştır. Ayrıca tezin üçüncü bölümden sonraki kısmında BPA ile algoritmik modelleme örneklerle birlikte gösterilmiştir.Dördüncü yani son bölümde, bulanık mantık temelli Petri ağlarının sayısal devrelerle ilişkisi belirlenmiştir. Temel amaç kapsamlı bir ayrık sistemin BPA ile tasarlanması olup uygulama çalışması olarak bir demiryolu trafik sisteminin BPA ile modellenmesi, ilgili sayısal devrenin elde edilmesi, FPGA üzerinde sentezlenmesine yer verilmiştir.
Özet (Çeviri)
Throughout the thesis study, design and implementation of Petri nets, which is an effective mathematical and graphical method used for describing discrete systems, based on the principles of fuzzy logic are analyzed. Adaption of classical Petri nets to digital circuit systems led to obtain Fuzzy Petri nets that are managed according to the principles of fuzzy logic. Design of FPN modeled railway traffic system in the form of digital circuit and the executability in real life was possible via FPGA.In the second chapter, the elements of Petri nets are demonstrated and then the firing properties of the tokens that provide dynamic characteristics are explained by the help of sample diagrams. The mathematical infrastructure of Petri nets are supported with graphical notation. The featured fundamental characteristics of Petri nets are examined.In the third chapter, the basic rules for fuzzy logic, distinguishing features from classical logic, usage areas in application and the relationship between fuzzy logic and Petri nets are discussed. Furthermore, in the following part after 3rd, algorithmic modelling with FPN is indicated with examples.In the fourth namely last chapter, the relationship between Petri nets that based on fuzzy logic and digital circuits are determined. The essential purpose is to design a comprehensive discrete system with Fuzzy Petri nets. As an application study, the Fuzzy Petri net modelling of a railway traffic system, generation of relevant digital circuit and synthesis on FPGA is included.
Benzer Tezler
- A fuzzy petri net model for intelligent databases
Akıllı veritabanları için bulanık bir petri net modeli
BURÇİN BOSTAN
Doktora
İngilizce
2005
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolOrta Doğu Teknik ÜniversitesiBilgisayar Mühendisliği Bölümü
PROF.DR. ADNAN YAZICI
- Petri net ile bir esnek üretim sisteminin modellenmesi ve analizi
Modeling and analysis of a flexible manufacturing system with petri net
FATIMA BÜŞRA BULCA KAYAHAN
Yüksek Lisans
Türkçe
2023
Endüstri ve Endüstri MühendisliğiBaşkent ÜniversitesiEndüstri Mühendisliği Ana Bilim Dalı
PROF. DR. YUSUF TANSEL İÇ
- A Petri net based inference network for design automation at functional level applied to mechatronic systems
Tasarım otomasyonu için geliştirilen işlevsel düzeyde, petri net tabanlı bir tasarım ağı ve mekatronik sistemlere uygulanması
ZÜHAL ERDEN
Doktora
İngilizce
1999
Makine MühendisliğiOrta Doğu Teknik ÜniversitesiMakine Mühendisliği Ana Bilim Dalı
PROF. DR. ABDULKADİR ERDEN
- Proposal of two system modeling practices:“Fuzzy discrete event dynamical system and fuzzy differential game theory”
İki sistem modelleme yöntemi önerisi:“Bulanık ayrık olaylı dinamik sistemler ve bulanık diferansiyel oyun teorisi”
SALİH ZEKİ ÖZDEMİR
Yüksek Lisans
İngilizce
2001
Elektrik ve Elektronik MühendisliğiOrta Doğu Teknik ÜniversitesiElektrik-Elektronik Mühendisliği Ana Bilim Dalı
PROF. DR. M. KEMAL LEBLEBİCİOĞLU
- Akıllı kontrol yöntemleri ile trafik sinyalizasyon kontrolü
Traffic signaling control with intelligent control methods
ANAS A. M. HARB
Yüksek Lisans
Türkçe
2019
Elektrik ve Elektronik MühendisliğiKonya Teknik ÜniversitesiElektrik-Elektronik Mühendisliği Ana Bilim Dalı
DR. ÖĞR. ÜYESİ HAKAN TERZİOĞLU