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

A retinal image authentication framework based on a graph-based representation algorithm in a two-stage matching structure

Khakzar M., Pourghassem H.

Biocybernetics and Biomedical Engineering

|

2017

|

Vol. 37, no. 4

742--759

EN

Retinal vascular pattern has many valuable characteristics such as uniqueness, stability and permanence as a basis for human authentication in security applications. This paper presents an automatic rotation-invariant retinal authentication framework based on a novel graph-based retinal representation scheme. In the proposed framework, to replace the retinal image with a relational mathematical graph (RMG), we propose a novel RMG definition algorithm from the corresponding blood vessel pattern of the retinal image. Then, the unique features of RMG are extracted to supplement the authentication process in our framework. The authentication process is carried out in a two-stage matching structure. In the first stage of this scenario, the defined RMG of enquiry image is authenticated with enrolled RMGs in the database based on isomorphism theory. If the defined RMG of enquiry image is not isomorphic with none enrolled RMG in the database, in the second stage of our matching structure, the authentication is performed based on the extracted features from the defined RMG by a similarity-based matching scheme. The proposed graph-based authentication framework is evaluated on VARIA database and accuracy rate of 97.14% with false accept ratio of zero and false reject ratio of 2.85% are obtained. The experimental results show that the proposed authentication framework provides the rotation invariant, multi resolution and optimized features with low computational complexity for the retina-based authentication application.

3

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

Bocian S.

Autobusy : technika, eksploatacja, systemy transportowe

|

2017

|

R. 18, nr 12

1473--1477, CD

PL

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.

4

Identifying the isomorphism of kinematic chainsIdentifying the isomorphism of kinematic chains

Romaniak K.

Acta Mechanica et Automatica

|

2016

|

Vol. 10, no. 3

195--200

EN

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.

5

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

6

Twisted group algebras of sur-type of finite groups over an integral domain of characteristic p

Klein D.

Scientific Issues of Jan Długosz University in Częstochowa. Mathematics

|

2012

|

Vol. 17

49-56

EN

Let S be an integral domain of positive characteristic p, which is not a ﬁeld, S∗ the unit group of S, G a ﬁnite 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 inﬁnite set for every integer n > 1.

7

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

Bocian S.

Logistyka

|

2010

|

nr 6

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.

8

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

Bocian S.

Logistyka

|

2010

|

nr 6

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. 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.

9

On the Zweier sequence space

Sengonul M.

Demonstratio Mathematica

|

2007

|

Vol. 40, nr 1

181-196

EN

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.

10

Niektóre własności acyklicznej części 3-optymalnej struktury opiniowania diagnostycznego

Kulesza R.

Diagnostyka

|

2006

|

nr 4(40)

51-58

PL

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.

11

Niektóre własności acyklicznej części 3-optymalnej struktury opiniowania diagnostycznego

Kulesza R.

Biuletyn Instytutu Automatyki i Robotyki

|

2006

|

R. 12, nr 23

3-15

PL

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.

12

A classification of cube radical zero completely primary finite rings

Chikunji Ch. J.

Demonstratio Mathematica

|

2005

|

Vol. 38, nr 1

7--20

EN

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.

13

Teoretyczny model rozwoju zrównoważonego i trwałego

Piontek B.

Rocznik Ochrona Środowiska

|

2000

|

Tom 2

343-364

PL

Posługiwanie się w nauce różnymi rodzajami modeli polega w głównej mierze na ustalaniu izomorfizmu i analogii między układem badanym, a jego modelem. Wymaga to z jednej strony poprawnego zdefiniowania układu badanego, a z drugiej - modelu. Dla niniejszych rozważań przyjmuje się następującą definicję rozwoju zrównoważonego: jest to trwałą poprawa jakości życia obecnych i przyszłych pokoleń poprzez kształtowanie właściwych proporcji i korzystaniu z trzech rodzajów kapitału: ekonomicznego, ludzkiego i przyrodniczego (E : L : P) [Piontek F, 2000]. Z kolei przez model rozumie się przedmiot lub układ przedmiotów spełniających założenia danej teorii związany z jego realizacją lub interpretacją [Encyklopedia Powszechna, 1986, s. 132]. Celem konstruowania modelu jest graficzne zobrazowanie badanego przedmiotu, zjawiska lub zespołu zjawisk składających się na daną rzeczywistość. Dlatego też najistotniejsze wydaje się być ustalenie takich kryteriów, które pozwolą na: zmierzenie badanego przedmiotu, zjawiska lub zespołu zjawisk, ukazanie jego struktury w sposób jak najbardziej rzetelny, porównanie badanych zjawisk i relacja między nimi w różnych rzeczywistościach. W niniejszym artykule podjęto próbę zbudowania teoretycznego modelu rozwoju zrównoważonego i trwałego w oparciu o metodę graficzną. Dotychczas próba taka - w dostępnej literaturze - nie została podjęta. Charakterystyka i analiza wybranych modeli ekonomicznych w ujęciu graficznym W konstruowaniu modeli ekonomicznych, a przede wszystkim modeli rozwoju i stabilizacji ważnym staje się przyjęcie takich aksjomatów, które w sposób kompleksowy i integralny, a nie sektorowy pozwolą badać dany przedmiot, zjawisko lub zespół zjawisk. Aksjomaty te powinny w sposób bezsporny, obiektywny przy uwzględnieniu możliwie wszystkich aspektów stymulować rozwój i stabilizację procesów zachodzących w rzeczywistościach gospodarczych, społecznych, a także cywilizacyjnych. Nawet w latach 70-tych K. Secomski zwrócił się na fakt, że rozumienie pojęcia rozwój nie należy ograniczać jedynie do wymiaru ekonomicznego, ponieważ na rozwój wpływają nie tylko czynniki ekonomiczne, ale także wiele czynników pozaekonomicznych, w tym także społeczne. Wszystkie te czynniki w różnych fazach rozwoju z różnym nasileniem oddziaływuje w sposób bezpośredni lub pośredni na proces kształtowania rozwoju, a w szczególności na jego dynamikę i kierunki [Secomski K., 1970, s.69]. W podejściu tym bardzo wyraźnie, choć w sposób ogólny wskazano na ważność czynników pozaekonomicznych w procesach kształtowania rozwoju. Z reguły przyjmuje się, że kierunki rozwoju wyznacza się przez określenie celów bądź wiązek celów, których osiąganie jest równoznaczne z realizacją konkretnych zadań w określonym czasie i uzyskiwaniem wyznaczonych uprzednio ilościowych efektów. W ten sposób dla kolejnych faz wzrostu gospodarczego określa się konkretny cel lub zespół celów, który chce się zrealizować. W następnych fazach wzrostu, odpowiednio ulega zmianie skala nowych i dawnych celów rozwojowych stosownie do zmieniających się warunków społeczno-ekonomicznych oraz potrzeb odczuwanych przez jednostkę i całe społeczeństwo. Jednakże w przeważającej mierze występuje wiele sprzeczności między wyznaczonymi celami. Bowiem realizacja jednego z wyznaczonych celów wchodzących w skład określonego zespołu, nie rzadko wyklucza lub ogranicza możliwość osiągnięcia innego. Podstawowe natomiast pytanie brzmi: w jakiej relacji procedura ustalania celów i efektów ilościowych pozostaje do kształtowania rozwoju zrównoważonego, a tym samym trwałego i stabilnego.

EN

This paper is an approach to build a theoretical model of balanced and permanent development using graphical method. So far such an approach, in available literature, was not developed. Using different kinds of models in the science consists to a large degree in establishing isomorphism and analogies between researched system and its model. It requires a correct definition of researched system on one hand and the model definition on the other hand. For considerations in this paper following definition of balanced development is accepted: it is a permanent improvement of life quality of present and future generations by moulding correct proportions and using three kinds of capital: economical, human and environmental. Next model is understood as an object or system of objects that meet guidelines of a given theory connected with its realisation or interpretation. The aim of making a model is a graphical illustration of tested object, phenomenon or set of phenomena making up a given reality. The most important seems to determine such criteria, which allow to: measuring tested subject phenomenon or set of phenomena, portraying its structure as much reliably as possible, comparison of tested phenomena and relation among them in different realities. When constructing economical models, and first of all models of development and stabilisation, it is important to accept such axioms, which in a complex and integral but not sector way, allow to research given object, phenomenon or set of phenomena. These axioms should, in an unquestionable and objective way, taking into consideration possibly all aspects, stimulate development and stabilisation of processes occurring in economical, social, as well as civilisational realities. Phenomena disturbing balance in the model, both positive and negative, occur at the same time in surrounding reality. That is why it is important to measure them in proper systems in order to classify and control them adequately and then starting adequate stimulating activities. Yet in practice the model of balanced and permanent development is replaced with economic growth model. Replacement of balanced and permanent development model with economic growth model is done in practice using widely understood economical and law instruments and organisation solutions.

14

Izomorfizm grafów nieskierowanych

Schiff K.

Elektrotechnika i Elektronika

|

1998

|

T. 17, nr 2

61--78

PL

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.