PL
 |
EN
Ograniczanie wyników
Czasopisma help
  1. 1 Logistyka
Autorzy help
  1. 1 Kawalec P.
  2. 1 Krukowicz T.
Lata help
  1. 1 2011
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:  modelling of changing control program
help Sortuj według:

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
1
Modelowanie zmiany programu sygnalizacji za pomocą hierarchicznych grafów przejść automatów skończonych
Kawalec P., Krukowicz T.
Logistyka
|
2011
|
nr 6
PL
Artykuł opisuje zagadnienia związane z modelowaniem zmiany programów sygnalizacji podczas realizacji opisu sterowników sygnalizacji świetlnej za pomocą języków opisu sprzętu. Zawarto w nim zagadnienia wymagań formalnych dla programów przejściowych, zagadnienie określenia liczby programów niezbędnych dla prawidłowego funkcjonowania sterownika oraz weryfikacji poprawności przyjętych założeń. Informacje przedstawione w artykule są oparte na projekcie algorytmu sterowania dla rzeczywistego skrzyżowania.
EN
The paper discribes problems of modelling of changing control program while describing traffic lights controllers with hardware description language. It discusses issues of formal requirements for interchange programs, determination of a number of programs necessary for proper controller operation as well as verification of assumptions. The baseline information for the paper was the design of traffic conrol algorithm for a real road crossing in Warsaw.
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ć.