Raylı ulaşım sinyalizasyon sistemlerinde anklaşman algoritması tasarımı ve otomat yaklaşımı ile otomatik kod üretme
Interlocking algorithm design in railway transportation systems and automated code generation with automata approach
- Tez No: 293910
- Danışmanlar: DOÇ. DR. MEHMET TURAN SÖYLEMEZ
- Tez Türü: Yüksek Lisans
- Konular: Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrol, Computer Engineering and Computer Science and Control
- Anahtar Kelimeler: Belirtilmemiş.
- Yıl: 2010
- Dil: Türkçe
- Üniversite: İstanbul Teknik Üniversitesi
- Enstitü: Fen Bilimleri Enstitüsü
- Ana Bilim Dalı: Kontrol ve Otomasyon Mühendisliği Ana Bilim Dalı
- Bilim Dalı: Belirtilmemiş.
- Sayfa Sayısı: 103
Özet
Raylı ulaşım sistemlerinde, sistemin emniyetli bir şekilde ve ulaşımın planlanan zamanda gerçekleştirilmesinde başrolü oynayan sinyalizasyon sistemleri büyük önem teşkil etmektedir. Öncelikli amacı kazaların önlenmesi olan sinyalizasyon sistemleri, tramvay ve metro gibi demiryolu taşımacılığında hız, dakiklik ve ekonomik olma bakımından da ön plana çıkmaktadır. Gerek dünyada gerekse ülkemizde meydana gelen kazalar sinyalizasyon sisteminin önemini açıkça göstermektedir. Sinyalizasyon sistemlerinin güvenliğinden sorumlu bileşeni ise anklaşman sistemidir.Bu tezin temel amacı, anklaşman sistemi için formal yöntemlerden otomatlar kullanılarak modüler bir algoritma tasarımı yapılmasıdır. Bu çalışmada anklaşman algoritması tasarımının adımları detaylı bir biçimde anlatılmaktadır. Ele alınan örnek bir istasyon için oluşturulan anklaşman tablosunu gerçekleyecek olan anklaşman algoritması, bu istasyon için geliştirilen bir yazılım simülatörü vasıtası ile test edilmiştir. Tezde, otomat modelinden Programlanabilir Lojik Kontrolör (PLC) kodu elde edilirken, literatürde ?çığ etkisi? olarak bilinen sorun da engellenmektedir. Bu sorunu engellemek için bir matematiksel denklem tanıtılmaktadır. Ayrıca başlangıç durumuna kurmada, otomatların tek bir çevrim için birden fazla durumda olması veya hiçbir durumda olmaması tespit edilmektedir. Bu sorunu önlemek için yeni bir yöntem önerilmektedir. Bu çalışmada, otomatik otomat kodu oluşturulması ve PLC programı için otomatik değişken isimleri üretilmesi için Microsoft Visual Basic ortamında yazılımlar geliştirilmiştir. Bu yazılımlar sayesinde, farklı istasyonların anklaşman algoritması tasarımlarının daha kolay ve hızlı bir şekilde gerçekleştirilmesi sağlanmaktadır.
Özet (Çeviri)
Signalization systems playing vital role in realizing safe railway systems and punctual transportation have significant importance in railway transportation systems. Signalization systems primarily aiming to prevent the accidents come to prominence in railway transportation such as tramway and subway with regard to speed, punctuality and economy. Accidents occurred in both our country and world obviously indicate the importance of signalization systems. Interlocking system is the component of signalization systems responsible from safety.The fundamental objective of this thesis is to design a modular algorithm for interlocking systems using automata. The steps of designing interlocking algorithm are explained in detail. Interlocking algorithm that realizes the control table generated for a sample station layout is tested by the virtue of a software simulator developed specially for this station. In this work, while Programmable Logic Controller (PLC) code is obtained from automaton model, the issue known as avalanche effect in literature is prevented. A mathematical equation is introduced in order to avoid this problem. Furthermore, as setting automata to initial state, being in more than one state or not even one state for a single cycle is detected. A new method is suggested to eliminate this matter. In this study, programs are developed on Microsoft Visual Basic in order to form PLC code from automaton model and generate variable names for Silworx PLC program automatically. Interlocking algorithm of different station layouts can be achieved fast and easy via the proposed programs.
Benzer Tezler
- Raylı ulaşım sinyalizasyon sistemleri için otomatik anklaşman algoritması ve kodu üretme yöntemi
Automatic interlocking algorithm and code generation method for railway transportation signalization systems
SERHAT TÜRK
Yüksek Lisans
Türkçe
2010
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrolİstanbul Teknik ÜniversitesiKontrol ve Otomasyon Mühendisliği Ana Bilim Dalı
DOÇ. DR. MEHMET TURAN SÖYLEMEZ
- Demiryolu sinyalizasyon sistemlerinde anklaşman tablosu oluşturma: Başakşehir metrosu örneği
Composing a route table on railway signaling systems: Example of Basaksehir metro
MURAT ÇOLAKKADI
Yüksek Lisans
Türkçe
2013
Elektrik ve Elektronik MühendisliğiBahçeşehir ÜniversitesiKentsel Sistemler ve Ulaştırma Yönetimi Ana Bilim Dalı
PROF. DR. AHMET AKBAŞ
- Raylı ulaşım sistemlerinde anklaşman tablolarının doğruluğunun model kontrolü yöntemiyle test edilmesi
Verifying the accuracy of interlocking tables for signalling systems using model checking method
BASRİ TUĞCAN ÇELEBİ
Yüksek Lisans
Türkçe
2016
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolYıldız Teknik ÜniversitesiKontrol ve Otomasyon Mühendisliği Ana Bilim Dalı
YRD. DOÇ. DR. ÖZGÜR TURAY KAYMAKÇI
- A control and automation engineering approach to railway interlocking system design
Demiryolu anklaşman sistem tasarımına kontrol ve otomasyon mühendisliği yaklaşımı
MUSTAFA SEÇKİN DURMUŞ
Doktora
İngilizce
2014
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrolİstanbul Teknik ÜniversitesiKontrol ve Otomasyon Mühendisliği Ana Bilim Dalı
PROF. DR. MEHMET TURAN SÖYLEMEZ
- Açık hatla istasyon bölgelerinin hatada güvenli anklaşman tasarımı ve PLC de gerçeklenmesi
Fail-safe interlocking design of open line and station areas and implementation with PLC
MUHAMMED İKBAL YILDIZ
Yüksek Lisans
Türkçe
2021
Ulaşımİstanbul Teknik ÜniversitesiRaylı Sistemler Mühendisliği Ana Bilim Dalı
PROF. DR. MEHMET TURAN SÖYLEMEZ