Wyniki wyszukiwania - BazTech

1

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.

2

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.

3

Families of dependence functions

Wysocki W.

Prace Instytutu Podstaw Informatyki Polskiej Akademii Nauk

|

2011

|

Nr 1019

1-16

EN

We construct two pairs (A[1]F, A[2]F) and (A[1]psi, A[2]psi) of ordered parametric families of dependence functions. The families of the first pair are indexed by regular distribution functions F, anfd those of teh second pair by elements psi of a specific function family psi. We also show that all solutions of the differential equation dy du = alfa(u) u(1-u)y for alfa in a certain function family alfa are dependence functions.

PL

W pracy podajemy ogólne sposoby konstrukcji dwóch par uporządkowanych parametrycznych rodzin funkcji zależności (A[1]F, A[2]F) and (A[1]psi, A[2]psi). Regularne dystrybuanty F określają rodziny pierwszej pary, a rodziny drugiej pary są wyznaczone przez elementy psi z pewnej wyspecyfikowanej rodziny rodziny funkcji psi. Pokazujemy, że rozwiążania równania różniczkowego dy du = alfa(u) u(1-u)y dla funkcji alfa przebiegających rodzinę alfa, są funkcjami zależności.