Abstract
Niniejsza publikacja kontynuuje cykl artykułów [6,7,8,9,12,14,15,16,17] dotyczący
złożoności obliczeniowej półgrupy charakterystycznej automatów asynchronicznych
silnie spójnych i ustalonych analogów ich rozszerzeń. W projektowaniu sterowania
pojazdów szynowych wykorzystuje się coraz częściej mikrosystemy cyfrowe
dorealizowania sterowania inteligentnego, rozproszonego. W mikrosystemach
cyfrowych tworzenie oprogramowania możliwe jest z wykorzystaniem maszyny stanowej
(automatu),któryumożliwia tworzenie oprogramowania w oparciu o sporządzony
wcześniej graf automatu. Umożliwia to analizę pracy mikrosystemu cyfrowego
w pojazdach szynowych i oszacowanie złożoności obliczeniowej pólgrup charakterystycznych
automatów. Ma to istotny wpływ na złożoność czasową obliczeń,
jak również wielkości pamięci, potrzebnej do rozwiązania problemu.
Artykuł powstał w wyniku realizacji projektu badawczego MN i SzW nr N N509
398236 „Mikrosystemy cyfrowe do inteligentnego, rozproszonego i współbieżnego
sterowania pojazdami szynowymi.”
Publisher
Siec Badawcza Lukasiewicz-Instytut Pojazdow Szynowych "TABOR"
Reference30 articles.
1. Arbib M.A.: Algebraic theory of machines languages and semigroups, Acadimic Press, New York and London 1968.
2. Aho A.V., Hopcrofy I.E., Ullman I.D.:Projektowanie i analiza algorytmów komputerowych,PWN,Warszawa 1983.
3. Barnes B.: On the groups of automorhism of strongly connected automata, Math.Syst. Theory 4, 4 (1970).
4. Beatty I. C.;On some properties of semigroup of a machine which are preserved under state minimization, Information and Control 11, 3 (1970).
5. Beyga L.: On periodic sums of automata associated with isomorphism, Foundations of Control Enginiering 1,3 (1976).