Some scholars have proposed homomorphisms between information systems based on consistent functions. However, the binary relations in the codomain induced by consistent functions thoroughly depend on the binary relations induced by the original domain systems. This paper introduces the concept of core knowledge to analyze the intrinsical topology structures of binary approximation spaces, binary knowledge bases and binary information systems. Because of the three different categories, we use the term "morphism" from category theory to depict the communication into the three categories. A morphism can be regarded as the composition of a natural projection induced by core knowledge and an embedding, which are more general than homomorphisms. What's more, this paper proposes the notion of isomorphism and shows that the two isomorphic categories can be seen as one category based on the topological invariance. Considering that the reduction of knowledge and attributes should be based on the premise of maintaining the structure of core knowledge, isomorphisms will provide the theoretical basis of the reduction.
W artykule przedstawiono i przeprowadzono dowód na wyznaczenie złożoności półgrup charakterystycznych iloczynów prostych „AG” automatów asynchronicznych silnie spójnych ustalonych analogów rozszerzeń związanych z izomorfizmami DFASC2(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 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 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 DFASC2. 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 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 product of automatons can be considered as the realization-parallel calculations accordingly.
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).
4
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
The set of elementary regions of a transition system, ordered by set inclusion, forms an orthomodular poset, also referred to as quantum logic, which is regular and rich. Starting from an abstract regular and rich quantum logic, one can construct an elementary transition system such that the orginal logic embeds into its set of regions, and which is saturated of transitions. We study the problem of selecting subsets of transitions on the same set of states, which generate the same set of regions.
W artykule przedstawiono i przeprowadzono dowód na wyznaczanie złożoności półgrup charakterystycznych sum prostych “AG” automatów deterministycznych skończonych asynchronicznych silnie spójnych DFASC2 (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 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 rzeczywiste. Automaty te symulują prace kilku automatów za pomocą jednego automatu zmiennego w czasie. Sumę prosta automatów można uważać odpowiednio za realizację sekwencyjnych obliczeń.
EN
The paper presents the assumption and the evidence is carried out of the simple sum complexity of characteristic semi-groups of any number (“G”) of deterministic, finite, asynchronous, highly consistent DFASC2. 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 A associated with the isomorphism g0, g1,..., gq-1 where 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.
Identification of isomorphic kinematic chains is one of the key issues in researching the structure of mechanisms. As a result the structures which duplicate are eliminated and further research is carried out on kinematic chains that do not duplicate. This dilemma has been taken up by many scholars who have come up with a variety of ideas how to solve it. The review of the methods for identifying the isomorphism of kinematic chains suggested by researchers is contained in this study, including Hamming Number Technique, eigenvalues and eigenvectors, perimeter graphs, dividing and matching vertices. The spectrum of methods applied to the issue of identifying the isomorphism of mechanisms reflects the researchers’ efforts to obtain a precise result in the shortest time possible.
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).
8
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
The theory of rough sets provides a widely used modern tool, and in particular, rough sets induced by quasiorders are in the focus of the current interest, because they are strongly interrelated with the applications of preference relations and intuitionistic logic. In this paper, a structural characterisation of rough sets induced by quasiorders is given. These rough sets form Nelson algebras defined on algebraic lattices. We prove that any Nelson algebra can be represented as a subalgebra of an algebra defined on rough sets induced by a suitable quasiorder. We also show that Monteiro spaces, rough sets induced by quasiorders and Nelson algebras defined on T0-spaces that are Alexandrov topologies can be considered as equivalent structures, because they determine each other up to isomorphism.
Let S be an integral domain of positive characteristic p, which is not a field, S∗ the unit group of S, G a finite group, and SλG the twisted group algebra of the group G over S with a 2-cocycle λ ∈ Z2(G,S∗). Denote by Indm(SλG) the set of isomorphism classes of indecomposable SλGmodules of S-rank m. We exhibit algebras SλG of SUR-type, in the sense that there exists a function fλ : N → N such that fλ(n) ≥ n and Indfλ(n)(SλG) is an infinite set for every integer n > 1.
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.
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. Iloczyn prosty automatów można uważać za realizację - odpowiednio równoległych 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 product of automatons can be considered as the realization - parallel calculations accordingly.
W artykule przedstawiono, że półgrupa charakterystyczna sumy prostej i iloczynu prostego automatów 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ę 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ółtrup 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).
13
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
Algebraic structures such as Rings, Fields, Boolean Algebras (Set Theory) and σ-Fields are well known and much has been written about them. In this paper we explore some properties of rings related to the distribution law. Specifically, we shall show that for rings there exists only one distribution law. Moreover, for the ring (Zp(p-1)n+, ź), where (p, n) = 1 there exist isomorphic groups (G, +), (H, ź), G,H⊆ Zp(p-1)n of the order (p - 1). Finally, we note that every ring (Zpn,+, ź) contains subfields mod(pn).
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 g01q-1
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 g01q-1
15
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
The purpose of this paper is to introduce the Zweier sequence spaces Ż and Ż0 consisting of all sequences x = (xk) such that (Zx) in the space c and c0 respectively, which is normed. Also, prove that Ż and Ż0 are linearly isomorphic to the space c and c0 respectively. Additionally, the alpha, beta and gamma -duals of the spaces Ż and Ż0 have been computed and space of Ż0 Schauder base have been constructed. Furthermore, given the two theorem concerning matrix map. Finally, the norm of Zweier operator have been given and the .ne spectrum of the Zweier operator over the sequence spaces c and c0 has been determined.
Przedstawiono metodę przeliczania acyklicznej części 3-optymalnej struktury opiniowania diagnostycznego. Wyznaczono szereg przeliczający takie struktury, do rzędu ósmego.
EN
The method of enumeration the acyclic components of the 3-optimal structures for one-step diagnosis of system is presented in this paper.
W artykule przedstawiono niektóre własności acyklicznej części 3-optymalnej struktury opiniowania diagnostycznego typu PMC (Preparata F.P.; Metze G.; Chien R.T.-[7]) lub BGM (Barsi F.; Grandoni F.; Maestrini P.-[1]). Własności te, umożliwiły opracowanie metody wyznaczenia szeregu przeliczającego takie struktury, do rzędu ósmego (zależność 1).
EN
The method of enumeration the acyclic components of the 3-optimal structures for one-step diagnosis of system is presented in this paper.
18
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
In this paper, we consider the isomorphism problem of a class of completely primary finite rings R such that if M. is the Jacobson radical of R, thenM3 = (0) and M2 = (0), in the general case (not necessarily the case where the maximal Galois subrings lie in the center). We further obtain the number of non-isomorphic classes in a special case of these rings.
19
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
W artykule omówiono założenia i podstawy teoretyczne opracowanego w wersji sekwencyjnej i równoległej nowego i oryginalnego oraz zweryfikowanego hcurystycznego algorytmu rozwiązującego problem wykrycia izomorfizmu grafów. Omówiono ich działanie i złożoność obliczeniową. Przedstawiono w postaci tabel i wykresów wyniki badań nad czasem działania algorytmów T, przyspieszenia obliczeń S, efektywności wykorzystania procesorowi; oraz części sekwencyjnej /algorytmu równoległego, a także wpływ na te wielkości gęstości grafów q, liczby wierzchołków grafu n i liczby procesorów p w systemie równoległym
EN
In this paper, assumptions and theoretical basis of new serial and parallel heuristic algorithm for the isomorphism problem are presented. The algorithm work was experimentally verified and discussed together with the time complexity funetion. The research results (quality measures) such as: work time T, speedup S, processor utilization E, and serial fraction of parallel algorithm f, as well as the effect of graph density q, number of graph vertex n, and processor numberp on these quality measures - have becn shown in tables and diagrams.
20
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
We establish the existence of badly noncontinuous injective linear operators, isomorphisms and involutions between topological linear spaces. As an application, a metrizable linear topology independent of a given one is exhibited.
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.