Złożoność półgrupy charakterystycznej sumy prostej automatów asynchronicznych silnie spójnych ustalonych analogów rozszerzeń związanych z izomorfizmami

• Autorzy: Bocian S.

Warianty tytułu

EN

Complexity of the characteristic semi-group of the asynchronous automatons direct sum of the strongly connected determined analogs, their extensions associated with isomorphisms

• Konferencja: TRANSCOMP - International Conference Computer Systems Aided Science, Industry and Transport
• 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łożonoś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,..., gq-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. Sumę prostą automatów można uważać za realizację - odpowiednio sekwencyjnych obliczeń.

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, …gq-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. The direct sum of automatons can be considered as the realization - sequence calculations accordingly.

Słowa kluczowe

PL

suma prosta; izomorfizm; automat asynchroniczny

EN

complexity; characteristic semi-group of automaton; isomorphism

• Wydawca: Sieć Badawcza Łukasiewicz - Poznański Instytut Technologiczny
• Czasopismo: Logistyka
• Rocznik: 2010
• Tom: nr 6
• Opis fizyczny: Pełny tekst na CD, Bibliogr. 8 poz., rys.

Twórcy

autor

Bocian S.

• Stanisław BOCIAN Instytut Pojazdów Szynowych „TABOR” POLSKA; Poznań 61-055; Warszawska 181. Telefon: + 48 (0)61 664 14 38,

Bibliografia

• [1] Bocian S.: Złożoność półgrupy charakterystycznej automatów asynchronicznych i ich rozszerzeń, Prace Instytutu Podstaw Informatyki Polskiej Akademii Nauk nr 552, Warszawa, 1984.
• [2] Bocian S., Mikołajczak.: Computational aspect of assigning characteristic semigroup asychronous automata and their extensions, Colloqia Mathematica Societatis Janos Bolyai nr 44,Amsterdam, New York, Budapest, 1985.
• [3] Bocian S.: Rozprawa doktorska, Politechnika Poznańska,1986.
• [4] Bocian S.: The complexity of semigroup characterization of asynchronous strongly connected automaton and their extensions, Computational topology and geometry and computation in teaching mathematic, Universal de Sevilla,1987.
• [5] Bocian S.: A new method of calculating the smallest common multiple, Computational topology and geometry and computation in teaching mathematic, Universal de Sevilla,1987.
• [6] Bocian S.: Nowy sposób wyznaczania najmniejszej wspólnej wielokrotności liczb naturalnych, jako model matematyczny automatu w technice komputerowej, Pojazdy szynowe 1/2002.
• [7] Bocian S.: Złożoność pólgrupy charakterystycznej automatów asynchronicznych silnie spójnych ustalonych analogów ich rozszerzeń związanych z izomorfizmami, TRANSCOMP - XIII INTERNATIONAL CONFERENCE COMPUTER SYSTEMS AIDED SCIENCES, INDUSTRY AND TRANSPORT, Zakopane 2009.
• [8] Bocian S.: Nowy sposób wyznaczania najmniejszej wspólnej wielokrotności liczb naturalnych, OR – 9834 (praca nie publikowana).