Złożoność półgrupy charakterystycznej automatów asynchronicznych spójnych ustalonych analogów ich rozszerzeń związanych z izomorfizmami dla każdego słowa z alfabetu ∑ + = (σ0 σ 1)+

• Autorzy: Bocian S.

Warianty tytułu

EN

Complexity of the characteristic semi-group of the asynchronous automatons of the connected determined analogs, their extensionsassociated with isomorphisms for the each word from the alfabet ∑ + = (σ0 σ 1)+

• Języki publikacji: PL

Abstrakty

PL

Półgrupa charakterystyczna automatu ingeruje w algorytm obliczeniowy uogólnionych homomorfizmów automatów, zatem wyznaczenie złożoności półgrupy charakterystycznej pozwala na oszacowanie złozoności obliczeniowej uogólnionych homomorfizmów dla innych klas automatów. W zakresie modelu matematycznego koncepcja ustalonego analogu rozszerzenia automatu A związanego z izomorfizmami g0, g1, g q-1 , gdzie q stopień rozszerzenia, przy odpowiednich założeniach symuluje automat zmienny w czasie. Automat zmienny w czasie jest adekwatnym modelem matematycznym dla wielu procesów technicznych i obliczeniowych czasu rzeczywistego. Automaty te symulują pracę kilku automatów za pomocą jednego automatu zmiennego w czasie.

EN

The characteristic semi-group of the automaton interferes in the computational algorithm of the generalized homeomorphisms of the automatons. Then determination the complexity of the characteristic semi-group enables to estimate the complexity of the computational generalized homeomorphisms for the other classes of automatons. In the range of the mathematical model the conception of the determined analog of the extension of the automaton A associated with the isomorphisms g0, g1, g q-1 , where q is the grade of the extensions, with the suitable assumptions it simulates the automaton variable in time. The variable automaton in time is the adequate mathematical model for the many technical and computational processes of the real time.

Słowa kluczowe

PL

automat; automat asynchroniczny spójny; półgrupa charakterystyczna

EN

automaton; consistent asynchronous automaton; characteristic semigroup

• Wydawca: Sieć Badawcza Łukasiewicz - Poznański Instytut Technologiczny
• Czasopismo: Logistyka
• Rocznik: 2015
• Tom: nr 3
• Strony: 478--486, CD 1
• Opis fizyczny: Bibliogr. 2 poz., rys.

Twórcy

autor

Bocian S.

• Bocian Stanisław Instytut Pojazdów Szynowych “TABOR” Polska ; Poznań 61-055;Warszawska 181. Telefon: [phone]

Bibliografia

• 1. Bocian S.: Mikrosystemy cyfrowe stosowane w pojazdach szynowych i złożoność obliczeniowa półgrupy charakterystycznej automatu asynchronicznego spójnego TRANSCOMP – XVII INTERNATIONAL CONFERENCE COMPUTER SYSTEMS AIDED SCIENCES, INDUSTRY AND TRANSPORT(Technika Transportu Szynowego –TTS, 9/2013), Zakopane 2013.
• 2. Bocian S.: Złożoność półgrupy charakterystycznej automatów asynchronicznych spójnych ustalonych analogów ich rozszerzeń związanych z izomorfizmami. LogiTrans XI KONFERENCJA NAUKOWO – TECHNICZNA, LOGISTYKA, SYSTEMY TRANSPORTOWE, BEZPIECZEŃSTWO W TRANSPORCIE (Logistyka 3/2014), SZCZYRK 2014.

Uwagi

PL

Opracowanie ze środków MNiSW w ramach umowy 812/P-DUN/2016 na działalność upowszechniającą naukę (zadania 2017).