Wyniki wyszukiwania - BazTech

1

Izomorfizm półgrupy charakterystycznej sumy prostej i iloczynu prostego „G” i AG automatów asynchronicznych silnie spójnych i ustalonych analogów ich rozszerzeń związanych z izomorfizmami DFASC2

Bocian S.

Autobusy : technika, eksploatacja, systemy transportowe

|

2018

|

R. 19, nr 12

312--315

PL

W artykule W artykule przedstawiono, że półgrupa charakterystyczna sumy prostej i iloczynu prostego automatów "G" i "AG" asynchronicznych silnie spójnych i ustalone analogi ich rozszerzeń są izomorficzne. Wziąwszy pod uwagę iż półgrupa charakterystyczna określa zdolność do przetwarzania informacji, to sumę prosta iloczyn prosty można uważać za realizację – odpowiednio sekwencyjnych i równoległych obliczeń. Uzyskane rezultaty oznaczają iż owa zdolność nie zależy od realizacji sekwencyjnej lub równoległej (taka sama liczba klas abstrakcji odpowiednich półgrup charakterystycznych).

EN

In this article it is presented that the characteristic semi-group of the direct sum and direct product "G" and "AG" of the asynchronous automatons of the strongly connected and determined analogs of their extensions are isomorphism. Taking into account that the characteristic semi-group determines the ability to process the information then the direct sum and direct product can be consider as realization – the sequence and parallel calculation accordingly. The obtained results mean that this ability doesn’t depend on the sequence and parallel realization (the same number of abstract class of the suitable characteristic semi-groups).

2

Złożoność półgrup charakterystycznych iloczynów prostych „G” automatów asynchronicznych silnie spójnych

Bocian S.

Autobusy : technika, eksploatacja, systemy transportowe

|

2017

|

R. 18, nr 6

1322--1326, CD

PL

W artykule przedstawiono i przeprowadzono dowód na wyznaczenie złożoności półgrup charakterystycznych iloczynów prostych „G” automatów deterministycznych skończonych asynchronicznych silnie spójnych DFASC2 (deterministic finite asynchronous strongly connected). Półgrupa charakterystyczna jest szczególnie istotnym pojęciem w teorii automatów; jest nośnikiem ważnych informacji i określa zdolność do przetwarzania informacji. Ma to bezpośrednio ważkie konsekwencje praktyczne w sferze projektowania optymalnych układów logicznych. Iloczyn prosty automatów można uważać za realizację – odpowiednio 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 numbers „G” of deterministic, finite, asynchronous, highly consistent DFASC2 automata. The characteristic semi-group is the particularly essential conception in the automaton theory; it is the carrier of the important information and define the ability to information processing. It has the direct weighty consequences that are practical in the designing domain of the optimum logic circuits. The direct product of automatons can be considered as the realization – the parallel calculations accordingly.

3

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)+

Bocian S.

Logistyka

|

2015

|

nr 3

478--486, CD 1

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.

4

Izomorfizm półgrupy charakterystycznej sumy prostej i iloczynu prostego automatów asynchronicznych spójnych i ustalonych analogów ich rozszerzeń

Bocian S.

Logistyka

|

2015

|

nr 3

470--477, CD 1

PL

W artykule przedstawiono, że półgrupa charakterystyczna sumy proste ji iloczynu prostego automatów asynchronicznych spójnych i ustalone analogi ich rozszerzeń są izomorficzne. Wziąwszy pod uwagę iż półgrupa charakterystyczna określa zdolność do przetwarzania informacji, to sumę prostą i iloczyn można uważać za realizację – odpowiednio sekwencyjnych i równoległych obliczeń. Uzyskane rezultaty oznaczają iż owa zdolność nie zależy od realizacji sekwencyjnej lub równoległej (taka sama liczba klas abstrakcji odpowiednich półgrup charakterystycznych).

EN

In this article it is presented that the characteristic semi – group of the direct sum and direct product of the asynchronous automatons of the strongly connected and determined analogs of their extensions are isomorphous. Taking into account that the characteristic semi – group determines the ability to process the information then the direct sum and direct product can be consider as realization – the sequence and parallel calculation accordingly. The obtained results mean that this ability doesn’t depend on the sequence and parallel realization (the same number of abstract class of the suitable characteristic semi –groups).

5

The Krohn-Rhodes Theorem and Local Divisors

Diekert V., Kufleitner M., Steinberg B.

Fundamenta Informaticae

|

2012

|

Vol. 116, nr 1-4

65-77

EN

We give a new proof of the Krohn-Rhodes theorem using local divisors. The proof provides nearly as good a decomposition in terms of size as the holonomy decomposition of Eilenberg, avoids induction on the size of the state set, and works exclusively with monoids with the base case of the induction being that of a group.

6

Computing Maximal Error-detecting Capabilities and Distances of Regular Languages

Konstantinidis S., Silva P.V.

Fundamenta Informaticae

|

2010

|

Vol. 101, nr 4

257-270

EN

A (combinatorial) channel consists of pairs of words representing all possible inputoutput channel situations. In a past paper, we formalized the intuitive concept of "largest amount of errors" detectable by a given language L, by defining the maximal error-detecting capabilities of L with respect to a given class of channels, and we showed how to compute all maximal error-detecting capabilities (channels) of a given regular language with respect to the class of rational channels and a class of channels involving only the substitution-error type. In this paper we resolve the problem for channels involving any combination of the basic error types: substitution, insertion, deletion. Moreover, we consider the problem of finding the inverses of these channels, in view of the fact that L is error-detecting for γif and only if it is error-detecting for the inverse of γ. We also discuss a natural method of reducing the problem of computing (inner) distances of a given regular language L to the problem of computing maximal error-detecting capabilities of L