Geri Dön

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

  1. Tez No: 293911
  2. Yazar: SERHAT TÜRK
  3. Danışmanlar: DOÇ. DR. MEHMET TURAN SÖYLEMEZ
  4. Tez Türü: Yüksek Lisans
  5. Konular: Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrol, Computer Engineering and Computer Science and Control
  6. Anahtar Kelimeler: Belirtilmemiş.
  7. Yıl: 2010
  8. Dil: Türkçe
  9. Üniversite: İstanbul Teknik Üniversitesi
  10. Enstitü: Fen Bilimleri Enstitüsü
  11. Ana Bilim Dalı: Kontrol ve Otomasyon Mühendisliği Ana Bilim Dalı
  12. Bilim Dalı: Belirtilmemiş.
  13. Sayfa Sayısı: 97

Özet

Günümüzde nüfusun artmasıyla birlikte ulaşım önemli bir sorun haline gelmiştir. Ulaşım ihtiyacının etkin ve hızlı bir şekilde karşılanabilmesi için toplu taşımaya yönelmek gereklidir. Raylı ulaşım sistemleri, hızlı ve oldukça fazla yolcu taşıma kapasiteleri ile toplu taşımada önemli bir yere sahiptirler. Raylı ulaşım sistemlerinde dakik, hızlı, güvenli ve ekonomik bir yolculuk için, sinyalizasyon büyük önem taşımaktadır. Her şeyden daha önemlisi güvenli bir taşıma yapabilmek ve kazaların önüne geçmek başarılı bir şekilde sinyalizasyon sistemleri tasarlamak gereklidir.Raylı ulaşım sinyalizasyon sistemlerinde güvenliği sağlayan alt sistem anklaşman sistemidir. Anklaşman sistemi elektronik veya mekanik olarak röleler ile tasarlanabilmektedir. Anklaşman sistemi tasarımı, Ayrık Olay Sistemi (AOS) olarak modellenerek gerçeklenebilir. AOS'lerde tasarım Otomatlar, Petri ağları gibi formal metotlarla yapılabilmektedir.Bu tez çalışmasında, bir anklaşman algoritma üreteci yazılımının geliştirilmesi ve Microsoft Visual Basic ile uygulaması ele alınmıştır. Geliştirilen yazılım, girilen anklaşman tablosunu gerçekleyecek olan anklaşman algoritmasının otomat modelini ve PLC gerçeklemesini sağlayan sözde (pseudo) kodu çıktı olarak vermektedir. Sözde kodun geliştirilen yazılım tarafından oluşturulabilmesi için çığ etkisi ve ilk duruma kurma sorununu engelleyen bir yöntem tanıtılmıştır. Ancak bu yöntemde problem çıkarabilecek durumlar saptanmış ve bu problemin giderilmesi için yeni bir yöntem önerilmiştir. Ayrıca önerilen otomatik anklaşman yazılımı ve kodu üretme yazılımı, küçük bir istasyon bölgesinin anklaşman tablosu girdi alınarak uygulanmış ve elde edilen çıktılar gösterilmiştir. Çıkış olarak üretilen kodlar, FBD diline dönüştürülmüş ve PLC üzerinde programlama gerçekleştirilmiştir. Elde edilen anklaşman yazılımı simülatör ortamında ile test edilmiştir.Bu çalışma ile literatüre yapılan katkı otomatları temel alan bir anklaşman algoritması ve kodu üreteci geliştirmiş olmaktır. Yapılan literatür çalışması sonucu elde edilen kanı, demiryolu sistemleri için Petri Ağları temelli otomatik algoritma üreteçleri olmasına karşın otomatları temel alan böyle bir sistemin olmamasıdır.

Özet (Çeviri)

Nowadays transportation has become a significant issue with the increasing population. Heading towards public transportation is necessary in order to satisfy the needs of transportation fast and effectively. Being fast and with great passenger capacity, railway transportation systems have a considerable place in public transportation. Signalization has a great importance for a punctual, fast, safe and economic journey with railway transportaion systems. The most important fact is to be able to design successful signalization systems so as to prevent accidents and provide safe transportation.Interlocking system is the subsystem which provides security of a railway transportation signalization system. Interlocking systems can be designed electronically or mechanically via relays. Modelling of such systems can be achieved using Discrete Event Systems (DES) approach. In DES, design can be done using formal methods such as Automata Theory and Petri Nets.In this thesis, development of an interlocking generator algorithm and its implementation on Microsoft Visual Basic has been considered. The output of the developed software is the automata model of interlocking and relevant pseudo codes for PLC implementation to realize the interlocking table. A method which prevents avalanche effect and the problem of setting first state is introduced for generating pseudo codes via the proposed software. However, in this method some problematic situations are detected and a new method has been suggested in order to eleminate the problematic situations. Besides an interlocking table of a sample railway yard has been taken into the proposed software as input and the output of the software has been exhibited. Pseudo codes generated as output has been converted to FBD and run on PLC. The generated interlocking has been tested via simulator.In the course of this work a novel automata-based interlocking algorithm generator was desinged and implemented. As a result of literature study, the opinion has been acquired that while there are many examples of works applying Petri Nets to automatic interlocking generation, very few examples of work utilizing the automata-based approach may be found in research literature.

Benzer Tezler

  1. 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

    ARCAN SONAT

    Yüksek Lisans

    Türkçe

    Türkçe

    2010

    Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrolİstanbul Teknik Üniversitesi

    Kontrol ve Otomasyon Mühendisliği Ana Bilim Dalı

    DOÇ. DR. MEHMET TURAN SÖYLEMEZ

  2. 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

    Türkçe

    2021

    Ulaşımİstanbul Teknik Üniversitesi

    Raylı Sistemler Mühendisliği Ana Bilim Dalı

    PROF. DR. MEHMET TURAN SÖYLEMEZ

  3. 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

    Türkçe

    2016

    Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolYıldız Teknik Üniversitesi

    Kontrol ve Otomasyon Mühendisliği Ana Bilim Dalı

    YRD. DOÇ. DR. ÖZGÜR TURAY KAYMAKÇI

  4. Raylı sistemlerde sanal blok sinyalizasyonu

    Virtual block signalling in railway systems

    DOĞANCAN DÜNDAR

    Yüksek Lisans

    Türkçe

    Türkçe

    2022

    Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrolİstanbul Teknik Üniversitesi

    Raylı Sistemler Ana Bilim Dalı

    PROF. DR. SALMAN KURTULAN

  5. Raylı sistemlerde yüksek yolcu kapasitesi için sinyalizasyon sistemlerinin optimizasyonu

    Optimizing of railway signalling systems for high passenger capacity

    İBRAHİM ETHEM DEMİRCİ

    Yüksek Lisans

    Türkçe

    Türkçe

    2014

    Elektrik ve Elektronik MühendisliğiBahçeşehir Üniversitesi

    Kentsel Sistemler ve Ulaştırma Yönetimi Ana Bilim Dalı

    PROF. DR. AHMET AKBAŞ