Metody kodowania automatów asynchronicznych

• Autorzy: Pniewski R.

Warianty tytułu

EN

Asynchronous automata coding method

• Języki publikacji: PL

Abstrakty

PL

Głównym problemem, ograniczającym wykorzystanie automatów asynchronicznych w syntezie systemów cyfrowych jest możliwość wystąpienia wyścigów (gonitw) krytycznych, powodujących niepoprawną pracę układu. Występowaniu tych zjawisk zapobiega się poprzez odpowiednie kodowanie stanów. W artykule zaprezentowano, stosowane powszechnie metody kodowania oraz, opracowana przez autora metodę opartą na warunkach elementarnych.

EN

The main problem that limits the use of asynchronous automata for the synthesis of digital systems is the possibility of a race (race) critical, resulting in incorrect operation of the system. The occurrence of these phenomena is prevented by appropriate encoding states. The article presents, commonly used methods of coding and developed by the author's method based on the terms of elementary.

Słowa kluczowe

PL

automat asynchroniczny; kodowanie binarne; wyścig krytyczny

EN

asynchronous automaton; binary coding; critical race

• Wydawca: Instytut Naukowo-Wydawniczy "TTS" Sp. z o.o
• Czasopismo: TTS Technika Transportu Szynowego
• Rocznik: 2013
• Tom: R. 20, nr 10
• Strony: 2911--2916, CD
• Opis fizyczny: Bibliogr. 5 poz., rys.

Twórcy

autor

Pniewski R.

• Uniwersytet Technologiczno-Humanistyczny w Radomiu, Wydział Transportu i Elektrotechniki

Bibliografia

• 1. Kawalec P. Komputerowe wspomaganie projektowania cyfrowych urządzeń sterowania ruchem z wykorzystaniem grafów przejść automatu skończonego FSM. Sprawozdanie z realizacji pracy własnej (grantu dziekańskiego). Wydział Transportu PW, Warszawa, 2001
• 2. Majewski W. Cyfrowe układy telekomunikacyjne Podstawy teoretyczne i zasady syntezy WKiŁ 1986.
• 3. Pniewski R. Metoda oceny bezpieczeństwa cyfrowych systemów automatyki kolejowej. Monografie Wyd. UTH Radom ISSN 1642-5278
• 4. Pniewski R., Strzyżakowski Z. Symulacja trójwartościowa - wykrywanie hazardów w układach cyfrowych, 10th International Conference "Computer Systems Aided Science, Industry and Transport", Transcomp 2006, vol.2, Zakopane 2006
• 5. Strona Internetowa „imio.pw.edu.pl”