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

Znaleziono wyników: 7

Liczba wyników na stronie
first rewind previous Strona / 1 next fast forward last
Wyniki wyszukiwania
Wyszukiwano:
w słowach kluczowych:  system zależnościowy
help Sortuj według:

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
1
Bezpieczeństwo i sprawność prowadzenia ruchu na stacjach wyposażonych w system MOR-3. Cz. 1
Czubak D.
Infrastruktura Transportu
|
2014
|
nr 2
27--30
PL
System MOR-3 realizuje funkcje stacyjnego systemu zależnościowego i zajmuje centralną pozycję w systemie urządzeń sterowania ruchem kolejowym w obrębie posterunku ruchu. Konsekwencją zastosowania systemu MOR-3 jest uzyskanie wysokiego stopnia bezpieczeństwa i sprawności realizacji przebiegów pociągowych i manewrowych w obrębie torów stacyjnych. System MOR-3 realizuje to poprzez programową i sprzętową koordynację poszczególnych podzespołów systemu z urządzeniami zewnętrznymi służącymi do sterowania ruchem kolejowym.
2
Content available Weryfikacja równań zależnościowych z wykorzystaniem symulatorów logicznych na przykładzie zastosowania pakietu Active-HDL
Kawalec P., Rżysko M.
TTS Technika Transportu Szynowego
|
2013
|
R. 20, nr 10
1587--1596, CD
PL
W artykule przedstawiona została problematyka weryfikacji logiki zależnościowej współczesnych systemów sterowania ruchem kolejowym. Złożoność zagadnienia rośnie w ostatnich latach w wyniku wielu istotnych czynników, takich jak konieczność zapewnienia interoperacyjności systemów, czy tendencja do obejmowania sterowaniem z jednej nastawni coraz większych obszarów. Utrudniona staje się więc manualna analiza poprawności działania projektowanych systemów. W związku z tym do weryfikacji zaproponowane zostało wykorzystanie nowoczesnego, zintegrowanego pakietu programistycznego Active-HDL. Na przykładzie zestawu równań zależnościowych opracowanego w języku VHDL przedstawione zostały możliwości pakietu w zakresie weryfikacji projektu.
EN
This paper presents a formal method for railway interlocking logic verification. After decomposing the railway control system into objects and algorithms, interlocking functions were described using formal methods. This allowed the use of integrated design environment - Active-HDL, for verification of the whole design and building VHDL code as a final description. Various methods of manual and automated simulation are presented, showing the capabilities of the described design and verification method.
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 Zastosowanie grafów przejść automatów skończonych do opisu algorytmów działania urządzeń srk
Kawalec P., Rżysko M.
Prace Naukowe Politechniki Warszawskiej. Transport
|
2013
|
z. 95
221--230
PL
W artykule przedstawiono propozycję stworzenia metody formalnego zapisu algorytmów działania urządzeń zabezpieczenia ruchu kolejowego z wykorzystaniem grafów przejść automatów skończonych. Przegląd stosowanych obecnie metod opisu urządzeń srk wskazuje, że nie istnieje jednolita platforma opisu wszelkiego rodzaju dyskretnych układów sterowania. Większość stosowanych metod nie pozwala na wykorzystanie wspomagania komputerowego na etapie specyfikacji i weryfikacji tego typu układów. Na przykładzie stworzonego modelu przykładowego urządzenia zostało pokazane, że zastosowanie do tego celu grafów przejść pozwala stworzyć kompletną platformę specyfikacji algorytmów działania urządzeń srk, pozwalając dodatkowo na statyczną i dynamiczną weryfikację poprawności opisu z wykorzystaniem języków opisu sprzętu.
EN
The article presents a method of railway traffic control algorithm specification using finite-state machine diagrams. The review of currently used description methods of railway traffic control devices and systems indicates that a complete platform for description of all kinds of discrete control systems does not exist. It is shown that application of FSM diagrams for this purpose comprises a uniform platform for specification and verification of railway traffic control devices, which additionally allows static and dynamic verification of correctness of this description with the use of hardware description languages and logic simulators. On the exemplary operation algorithm of point module, both the possibilities of Active–HDL package as well as the process of computer aided specification and verification of the designed system are presented.
5
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.
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.
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ć.