PL
 |
EN
Ograniczanie wyników
Czasopisma help
  1. 1 Logistyka
Autorzy help
  1. 1 Kawalec P.
  2. 1 Koliński D.
Lata help
  1. 1 2010
Preferencje help
Polish version English version Język
Widoczny [Schowaj] Abstrakt
Liczba wyników

Znaleziono wyników: 1

Liczba wyników na stronie
first rewind previous Strona / 1 next fast forward last
Wyniki wyszukiwania
Wyszukiwano:
w słowach kluczowych:  urządzenia przejazdowe
help Sortuj według:

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
1
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ć.