Wyniki wyszukiwania - BazTech

Ograniczanie wyników

1 Zabłocki W.

1 2008

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: zależności stacyjne

Sortuj według:

Ogranicz wyniki do:

Modelowanie stacyjnych systemów sterowania ruchem kolejowym

Zabłocki W.

Prace Naukowe Politechniki Warszawskiej. Transport

2008

z. 65

3-180

Efektywne i bezpieczne sterowanie ruchem kolejowym na stacji jest realizowane przez złożone systemy srk. Jedną z podstawowych metod badania systemu srk jest metoda modelowania prowadząca do badań symulacyjnych z zastosowaniem symulatora komputerowego. Metoda modelowania wpisuje się w schemat przyjętej metody badawczej. W pracy określono ogólne i szczegółowe cele modelowania systemu srk. Podstawowym celem modelowania jest wnioskowanie o zachowaniu systemu rzeczywistego srk, który odwzorowuje zadania sterowania. Na podstawie opisu nieformalnego powstał opis formalny systemu srk, reprezentowany przez model systemu sterującego. Model systemu sterującego MSS obejmuje model statyczny - MSTA i model dynamiczny MDYN. Informacje modelu statycznego i dynamicznego są odwzorowywane przez dwie struktury statyczne i dwie struktury dynamiczne. Struktury statyczne zawierają informacje: o własnościach obiektów w drogach przebiegu na stacji, wartości funkcji sprzeczności dla dróg przebiegów wyróżnionych na stacji. Struktury dynamiczne tworzą rejestr przebiegów i stanów przebiegów występujących na stacji i przechowują wartości sygnałów odwzorowujących stan urządzeń zewnętrznych na stacji. Model systemu srk złożony jest zbioru automatów odpowiadających drogom przebiegów i obiektom. Każdy przebieg odpowiadający konkretnej drodze przebiegu jest traktowany jako skończony automat sekwencyjny o określonych wejściach i wyjściach oraz własnym stanie wewnętrznym. Podobnie opisywane są również obiekty - urządzenia zewnętrzne. Statyczne własności drogi przebiegu i dynamiczne własności przebiegu stają się podstawą formalizacji zależności, ze szczególnym uwzględnieniem funkcji sprzeczności dróg przebiegów. Własności drogi przebiegu i przebiegu pozwalają sformułować relacje modelu systemu sterującego. Do relacji tych należą relacje zależnościowe, które wyrażają: warunki sprzeczności lub niesprzeczności dróg przebiegów, predyspozycje przebiegowe, kryteria zwalniania oraz pozostałe relacje opisujące zmiany stanu systemu srk. Na podstawie relacji i funkcji zależnościowych tworzone są równania zależnościowe, wyznaczające wartości sygnałów zmiennych stanu przebiegów i obiektów oraz sygnałów wyjściowych obiektów do zewnętrznych urządzeń wykonawczych tych obiektów. Zasady formalizacji systemu srk zostały dostosowane do koncepcji cyklicznego przetwarzania równań zależnościowych dla każdego przebiegu. Stan procesu zachodzącego w systemie i stany obiektów są wczytywane na początku każdego cyklu przetwarzania. Po wczytaniu sygnałów od obiektów następuje przetwarzanie informacji o przebiegach i poleceniach do obiektów, zakończone wyznaczeniem nowych stanów przebiegów i obiektów oraz generacja˛ poleceń - sygnałów wyjściowych obiektów do urządzeń wykonawczych obiektów. Przeprowadzone eksperymenty symulacyjne dla zadanych ograniczeń i przykładowo przyjętego układu torowego potwierdzają, że koncepcja opisu formalnego systemu oraz przygotowane na podstawie tego opisu oprogramowania symulatora systemu srk są poprawne i spełniają˛ warunek przetwarzania w czasie rzeczywistym. Uzyskane wyniki modelowania i symulacji są istotne m.in. z następujących względów: - opracowany model systemu srk staje się formą standaryzacji opisu takiego systemu, - opracowany opis formalny stwarza podstawy do: ▪ zastosowania nowoczesnych metod projektowania oprogramowania, uwzględniających język UML lub metody specyfikacji formalnej, np. logiki modalnej, ▪ projektowania oprogramowania rzeczywistego systemu zależnościowego.

Effective and safe automatic train control (ATC) at station is conducted by means of composed ATC systems. One of the basic methods for testing an ATC system is the modelling method leading to simulation research using a computer simulator. The modelling method fits into a frame of adopted research method. General and detailed modelling goals of ATC system have been defined in chapter 1.3 and in chapter 6. The basic purpose of modelling is to draw conclusions about the behaviour of a real ATC system that reflects controlling tasks. On the basis of an informal description, a formal description of ATC system has been made represented by the control system model. The control system model MSS includes a static model - MSTA and a dynamic model - MDYN. Informations fed by the static and dynamic models is reflected by two static structures and two dynamic structures. The static structures include data about: properties of objects in route at the station, values of conflict function for routing processes identified at the station. The dynamic structures establish a register of the routing processes and statuses of processes taking place at the station and store values of signals reflecting the status of external devices at the station. The ATC system model consists of a set of automatons corresponding to routes and objects. Each routing process corresponding to a specific routing process is treated as finite sequential automaton of defined inputs and outputs and its own internal state. Objects - external devices are also described in a similar way. Static properties of the route and dynamic properties of the routing process become a basis for formalisation of dependence with a special focus on the route conflict function. Properties of the routes and the routing process itself allow to formulate relations of the control system model. The relations include dependence relations that express conditions of conflict or lack of conflict between routing processes, process predispositions, slowing down criteria and other relations describing changes in ATC system status. On the basis of relations and dependence functions, dependence equations are created, thus determining values of signals of variables of the processes and object states and output signals of objects to external executive devices of the objects. The ATC system formalisation rules have been tailored to the concept of cyclical processing of dependence equations for each process. The state of a process ongoing in the system and states of objects are fed at the beginning of each processing cycle. Processing of processes and orders data to objects commence after the signals from objects have been fed and they finish with determination of new states of the processes and objects as well as generation of orders - output signals of the objects to the executive devices of the objects. The conducted simulative experiments for the assumed limitations and the adopted track system confirm that the concept of a formal description of the system and software programs, prepared on the basis of that description, for the ATC system simulator, is correct and meets the requirement of real-time processing. The obtained modelling and simulation results are essential inter alia for the following reasons: - the prepared model of ATC system becomes a form of standardisation of description of such a system, - the prepared formal description constitutes the basis for: ▪ application of modern methods of software designing, taking into consideration UML language or formal specification methods, e.g. modal logic, ▪ designing software of the real dependence system.