Złożoność półgrup charakterystycznych iloczynów prostych „AG ” automatów asynchronicznych silnie spójnych ustalonych analogów rozszerzeń związanych z izomorfizmami DFASC2

• Autorzy: Bocian S.

Identyfikatory

DOI

10.24136/atest.2018.218

Warianty tytułu

EN

Automata of the strongly connected determined analogs the extensions associated with DFASC2 isomorfisms

• Języki publikacji: PL

Abstrakty

PL

W artykule przedstawiono i przeprowadzono dowód na wyznaczenie złożoności półgrup charakterystycznych iloczynów prostych „A^G” automatów asynchronicznych silnie spójnych ustalonych analogów rozszerzeń związanych z izomorfizmami DFASC₂(deterministic finite asynchronous strongly connected). Półgrupa charakterystyczna automatu ingeruje w algorytm obliczeniowy uogólnionych homomorfizmów automatów, zatem wyznaczanie 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 rozszerzania automatu AG związanego z izomorfizmami g⁰, g¹,..., 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 rzeczywiste. Iloczyn prosty automatów można uważać odpowiednio za realizację równoległych obliczeń.

EN

The paper presents the assumption and the evidence is carried out of the direct product complexity of characteristic semi-groups of any number (“G”) of deterministic, finite, asynchronous, highly consistent DFASC₂. automata. The characteristic semi-group of the automaton interferes in the computational algorithm of the generalized homoeomorphism of the automatons. Then determination the complexity of the characteristic semi-group enables to estimate the complexity of the computational generalized homoeomorphism 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 associated with the isomorphism g⁰, g¹,..., 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. The direct product of automatons can be considered as the realization-parallel calculations accordingly.

Słowa kluczowe

PL

model matematyczny; izomorfizmy; logistyka; pojazdy szynowe

EN

mathematical model; isomorphism; logistics; rail vehicles

• Wydawca: Instytut Naukowo-Wydawniczy "SPATIUM". sp. z o.o.
• Czasopismo: Autobusy : technika, eksploatacja, systemy transportowe
• Rocznik: 2018
• Tom: R. 19, nr 6
• Strony: 1007--1011, CD
• Opis fizyczny: Bibliogr. 6 poz., rys.

Twórcy

autor

Bocian S.

• Instytut Pojazdów Szynowych „TABOR” w Poznaniu

Bibliografia

• 1. Bocian S., Rozprawa doktorka, Politechnika Poznańska, 1986.
• 2. Bocian S., A new method of calculating the smallest commonmultiple, w : Computational Topology and Geometry and Computation in Teaching Mathematics, pod red. Eladio Dominquez Murillo, Antonio Quintero Toscano, Jose Luis Vincente Cordoba, Universidad de Sevilla 1987 s. 25–41.
• 3. Bocian S., Złożoność półgrupy charakterystycznej iloczynu prostego automatów asynchronicznych silnie spójnych ustalonych analogów rozszerzeń związanych z izomorfizmami. TRANSCOMP – XIV INTERNATIONAL CONFERENCE COMPUTER SYSTEMS AIDED SCIENCES, INDUSTRY AND TRANSPORT (Logistyka 6/2010), Zakopane 2010.
• 4. Bocian S., Nowy sposób wyznaczania najmniejszej wspólnej wielokrotności (NWW) liczb naturalnych. Interpretacja graficzna, wizualizacja oraz programy w języku BASIC i C++ TRANSCOMP – XVI INTERNATIONAL CONFERENCE COMPUTER SYSTEMS AIDED SCIENCES, INDUSTRY AND TRANSPORT (Technika Transportu Szynowego –TTS, 9/2012), Zakopane 2012.
• 5. Bocian S., Inteligentne podsystemy mechatroniczne w badaniach i sterowaniu pojazdów szynowych, (Monografia) Poznań 2012 r.
• 6. Bocian S., Złożoność półgrupy charakterystycznej iloczynu prostego automatów z klasy 2 E XTDFASC , Pojazdy Szynowe nr 1/2011, IPS – TABOR Poznań 2012 r.