PL
 |
EN
Preferencje help
Polish version English version Język
Widoczny [Schowaj] Abstrakt
Liczba wyników
Powiadomienia systemowe
  • Sesja wygasła!
  • Sesja wygasła!
  • Sesja wygasła!
  • Sesja wygasła!

Znaleziono wyników: 10

Liczba wyników na stronie
first rewind previous Strona / 1 next fast forward last
Wyniki wyszukiwania
help Sortuj według:

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
1
Content available Zastosowanie wspomagania komputerowego w specyfikacji i weryfikacji formalnych opisów funkcji zależnościowych
Kawalec P., Koliński D.
Pomiary Automatyka Kontrola
|
2014
|
R. 60, nr 10
829--831
PL
Wykorzystując rachunek macierzowy i teorię automatów, zaproponowano metodę formalnego zapisu funkcji zależnościowych realizowanych w systemach sterowania ruchem kolejowym (srk). Metoda ta stała się podstawą wspomaganej komputerowo specyfikacji tych funkcji w językach opisu sprzętu HDL. Zaproponowana metoda pozwala naintuicyjne przejście od formalnego opisu w postaci macierzy do grafów przejść automatów skończonych w edytorze FSM. Przytoczono wyniki weryfikacji w postaci przebiegów czasowych, na grafie przejść oraz na schemacie blokowym.
EN
The paper presents a formal specification method of interlocking functions in railway traffic control systems. The method utilizes matrix calculus and the automata theory. After defining the set of automaton internal states (9), the transition matrixes (16) and transition priorities matrixes, describing the conditions checking order (17), were developed. The obtained general mathematical description of interlocking functions defines a method for determining control functions based on input data, so it can be assumed that the control algorithms for interlocking functions were defined. The developed method was then used as a basis for computer aided specification of these functions in hardware description languages (HDL). The intuitive transition from the matrix-based formal description to the finite-state machine graph in FSM editor (Fig. 1) is the advantage of the proposed method. Verification of the created interlocking functions can be performed on waveforms (Fig. 2), on the FSM graph (Fig. 3) and on the hierarchical block diagram (BDE) (Fig. 4). This specification and verification process was used to create all possible 39 interlocking functions for 10 object types of the railway interlocking system. The specification and verification results proved the correctness of the developed interlocking function execution algorithms. Obtaining the description of the functions in VHDL language is an additional advantage of the proposed method, which allows automatic synthesis, implementation and execution of these functions in FPGA devices.
2
Modelling of interlocking functions in railway station traffic control systems
Kawalec P., Koliński D.
Logistyka
|
2014
|
nr 4
2907--2913
EN
The paper presents a new specification method for the interlocking functions executed railway traffic control objects. On the example of short track section object, the procedure of creating the description in the form of state matrices, transition matrices and priorities matrices was presented. The intuitive transition from these matrices to the Moore machine in FSM editor was also shown. This description of object's interlocking functions allows to automatically generate the VHDL output file which, using the computer aided design environment, can be used for designing such object in FPGA structures.
PL
W artykule przedstawiono nowy sposób specyfikacji funkcji zależnościowych realizowanych przez obiekty systemów sterowania ruchem kolejowym. Na przykładzie odcinka torowego krótkiego, pokazano mechanizm zapisu funkcji obiektu w postaci macierzy stanów, macierzy tranzycji oraz macierzy priorytetów. Pokazano mechanizm intuicyjnego przejścia od tych macierzy do grafu przejść automaty skończonego Moore’a w edytorze FSM. Taki zapis funkcji obiektu pozwala na automatyczne wygenerowanie kodu języka VHDL, pozwalającego na wykorzystanie narzędzi wspomagania komputerowego w projektowaniu takich obiektów w układach FPGA.
3
Content available Innowacyjna metoda specyfikacji i weryfikacji funkcji zależnościowych w systemach sterowania ruchem kolejowym
Kawalec P., Koliński D.
TTS Technika Transportu Szynowego
|
2013
|
R. 20, nr 10
1575--1586, CD
PL
W artykule omówiono zasadnicze ograniczenia wynikające z cech technologii mikroprocesorowej zastosowanej w urządzeniach srk. Następnie przedstawiono nową metodę formalnego opisu funkcji zależnościowych, z wykorzystaniem teorii grafów, analizy systemowej, rachunku macierzowego oraz teorii automatów. Uwzględniając uniwersalność obiektów, zdekomponowano je na rozłączne części, tak, aby każda z nich realizowała jedną z funkcji zależnościowych realizowanych przez obiekt. Przedstawione działania zilustrowano przykładami.
EN
The paper presented general limitations of microprocessor technology used nowadays in railway control systems. Then a new formal description method for interlocking functions was developed using graphs theory, system analysis, matrix formulae and automata theory. Considering versatility of objects they were decomposed into separate parts, so that every part executes a single interlocking function. The design process was shown on several examples.
4
Content available remote Formalny opis funkcji zależnościowych systemów srk dla współczesnych posterunków ruchu
Koliński D.
Prace Naukowe Politechniki Warszawskiej. Transport
|
2012
|
z. 86
35-52
PL
W artykule podjęto próbę opracowania formalnego opisu funkcji zależnościowych. Wychodząc z odwzorowania systemu zależnościowego w postaci obiektów, zaproponowano formalny opis funkcji zależnościowych, obiektów tworzonych z opracowanych funkcji oraz opis systemu zależnościowego tworzonego z obiektów. Zastosowanie elementów teorii grafów, automatów, zbiorów pozwoliło na opracowanie opisu formalnego, umożliwiającego opis funkcji zależnościowych.
EN
The article indicates the need for designing a formal description of interlocking functions. Based on the currently used representation of interlocking system in the form of objects, a formal description of interlocking functions has been proposed of objects created from designed functions and a description of interlocking system created of objects. The application of some elements of the theory of graphs, automata and sets allowed for designing a formal description in which interlocking system is no longer a “black box”. The designed description method allows for tracking the history of changes within interlocking system. The division of objects of interlocking system into interlocking functions has also been presented.
5
Jednoznaczna metoda opisu funkcji zależnościowych w systemach sterowania ruchem kolejowym
Kawalec P., Koliński D.
Drogi : budownictwo infrastrukturalne
|
2012
|
Nr 3 (5)
39-45
PL
W artykule prezentujemy nowe podejście do problemu opisu funkcji zależnościowych. Polega ono na dekompozycji obiektu sterowania ruchem kolejowym (np. odcinka torowego, zwrotnicy) na proste funkcje zależnościowe, które opisywane są za pomocą automatów Moore'a. Przedstawiono sposób opisu takich obiektów z wykorzystaniem teorii automatów oraz struktur hierarchicznych. Zaprezentowano metodę weryfikacji funkcji zależnościowych na obu poziomach realizacji. Opracowana przez autorów metoda została zilustrowana na przykładzie odcinka torowy.
EN
The paper presents a new approach to issue of interlocking functions descriptions. It consists in decomposition of an interlocking complex (e.g. insulated section, points) into simple interlocking functions which are described by means of Moore automata. The manner of description has been pre sented of such complexes with the use of automata theory and hierarchical structures. Verification method has also been presented of interlocking functions on both realization levels. The method designed by the authors of the paper has been illustrated on the example of the insulated section.
6
Jednoznaczna metoda opisu funkcji zależnościowych w systemach sterowania ruchem kolejowym
Kawalec P., Koliński D.
Logistyka
|
2011
|
nr 6
PL
W artykule zaprezentowano nowe podejście do problemu opisu funkcji zależnościowych. Polega ono na dekompozycji obiektu sterowania ruchem kolejowym (np. odcinka torowego, zwrotnicy) na proste funkcje zależnościowe, które opisywane są za pomocą automatów Moore'a. Przedstawiono sposób opisu takich obiektów z wykorzystaniem teorii automatów oraz struktur hierarchicznych. Zaprezentowano metodę weryfikacji funkcji zależnościowych na obu poziomach realizacji Opracowana przez autorów metoda została zilustrowana na przykładzie obiektu jakim jest odcinek torowy.
EN
The paper presents a new approach to the issue of interlocking functions descriptions. It consists in decomposition of an interlocking complex (e.g. insulated section, points) into simple interlocking functions which are described by means of Moore automata. The manner of description has been presented of such complexes with the use of automata theory and hierarchical structures. Verification method has also been presented of interlocking functions on both realization levels. The method designed by the authors of the paper has been illustrated on the example of the insulated section.
7
Modelowanie interlocking`u z zastosowaniem języka opisu sprzętu
Kawalec P., Koliński D.
Logistyka
|
2010
|
nr 6
PL
W referacie na przykładzie modułu przejazdowego (ang. Level crossing) zaproponowano modelowanie funkcjonalności Euro-Interlocking'u. Jednocześnie zaprezentowano odmienne podejście do problemu tworzenia opisu europejskiego systemu zależnościowego. Dla prezentowanego modelu przedstawiono proces jego opracowania rozpoczynający się od specyfikacji na poziomie podstawowych funkcjonalności, przez budowę struktury hierarchicznej całego modułu aż po wykorzystanie modelu do badań.
EN
The paper deals with the modelling of Euro-Interlocking's functionality exemplified by level crossing. Moreover, a different approach to the problem of creating this system's description has been presented. The whole process of creating the model has been introduced, concerning the specification of its basic functionality, the creation of the hierarchical structure and the application of the model to research.
8
Content available remote Nowe podejście do ustalania kategorii przejazdów kolejowych
Kawalec P., Koliński D.
Prace Naukowe Politechniki Warszawskiej. Transport
|
2007
|
z. 62
163-170
PL
W artykule zaproponowano nowe metody wyznaczania wskaźników, pozwalające w prosty i jednoznaczny sposób określać kategorię przejazdów. Metody te zapewniają spóność unormowań prawnych dotyczących przejazdów oraz przejrzystość zachowań użytkowników na przejazdach. Przedstawiono zagadnienia obsługi przejazdów na odległość i modyfikację sygnałów świetlnych nadawanych na przejazdach.
EN
In the article the authors hare suggested new methods of defining the indicators allowing determining the category of the crossings. These methods secure coherence of the legal regulations concerning the crossings from a distance and the light signals transmitted on them.
9
Content available Synteza i analiza niezawodnościowa urządzeń sterowania ruchem kolejowym zrealizowanych w układach FPGA
Kawalec P., Koliński D.
Pomiary Automatyka Kontrola
|
2007
|
R. 53, nr 7
57-59
PL
W artykule przedstawiono nową metodę budowy specjalizowanych sterowników obiektowych dla potrzeb sterowania ruchem kolejowym. Na przykładzie samoczynnej sygnalizacji przejazdowej przedstawiono wymagania bezpiecznościowe i niezawodnościowe stawiane takim sterownikom. Przeprowadzono syntezę sterownika obiektowego zrealizowanego z wykorzystaniem układów FPGA oraz podano metodykę wyznaczania parametrów niezawodnościowych i wyznaczono szybkość działania prototypu sterownika.
EN
This article describes new method of the dedicated object-oriented controllers designing for railway control. Reliability and safety requirement (Fig. 1) of railway crossing are showed. Synthesis (Tab. 1) and methods of defining reliability parameters and timing parameters object-oriented controllers' realised (Fig. 3, Fig. 4) in FPGA are.
10
Content available Zastosowanie programowalnych struktur logicznych w urządzeniach sterowania ruchem kolejowym
Kawalec P., Koliński D., Mocki J.
Problemy Kolejnictwa
|
2005
|
Z. 140
66-88
PL
Przedstawiono zagadnienia związane ze sprzętową realizacją bloków logicznych urządzeń srk w programowalnych strukturach logicznych. Zaprezentowano klasyfikację układów cyfrowych, ze szczególnym uwzględnieniem układów specjalizowanych, programowanych przez użytkownika. Opisano pakiety wspomagania komputerowego, stosowanego do projektowania układów specjalizowanych w strukturach logicznych FPLD i przedstawiono procesy: specyfikacji, weryfikacji i implementacji projektowanych układów.Zaprezentowano stanowiska badawcze do prototypowania specjalizowanych układów sterowania, zrealizowanych w programowalnych strukturach logicznych. Na przykładzie bloku logicznego samoczynnej sygnalizacji przejazdowej oszacowano szybkość działania oraz wybrane parametry niezawodnościowe układów srk, zrealizowanych w różnych technologiach.
EN
This article presents issues concerning equipment related realisation of railway traffic control equipment logical blocks within programmable logical structures. A classification of digital systems is presented, particularly including specialised user programmable systems. The article describes a computer air package used for the design of specialised systems within the FPLD logical structures, also including presentation of the following processes: specification, verification and implementation of the designed systems. Also testing stations for the preparation of prototypes of specialised control systems realised witching programmable logical structures are presented. Based on the example of a crossing automatic signalisation logical block, the promptness of action and selected reliability parameters of railway traffic control equipment, prepared with the use of various technologies were determined.
first rewind previous Strona / 1 next fast forward last
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.