Wyniki wyszukiwania - Biblioteka Nauki

1

Compositional Systems over Reducible Networks - invited paper

100%

Mazurkiewicz A.

|

2007

|

tom Vol. 79, nr 3-4

265-282

EN

In the paper two notions related to local (distributed) computations are identified and discussed. The first one is the notion of reducible graphs. A graph is reducible if it can be reduced to a singleton by successive removing its removable nodes; the removing procedure should be local in the sense that to decide whether a node is removable or not it is sufficient to inspect its neighborhood. The second is the notion of compositional systems, consisting of a set of objects together with a composition operation which to each pair of local objects (like local votes, partial trees, partial orderings, local consensus, local processes etc.) assigns their possible compositions; a sequence of such composition operations leads to a global object (like a global vote, a full spanning tree, a total ordering, a global consensus, a synchronized process, etc). Combining these two notions gives rise to a generic distributed algorithm for composing different local objects assigned to nodes of a reducible graph into one global object assigned to all nodes. Correctness of the composing algorithm, i.e its proper termination and its impartiality is proved.

2

Heuristic algorithms for optimization of task allocation and result distribution in peer-to-peer computing systems

88%

Chmaj G. , Walkowiak K. , Tarnawski M. , Kucharzak M.

International Journal of Applied Mathematics and Computer Science

|

2012

|

tom 22

|

nr 3

733-748

EN

Recently, distributed computing system have been gaining much attention due to a growing demand for various kinds of effective computations in both industry and academia. In this paper, we focus on Peer-to-Peer (P2P) computing systems, also called public-resource computing systems or global computing systems. P2P computing systems, contrary to grids, use personal computers and other relatively simple electronic equipment (e.g., the PlayStation console) to process sophisticated computational projects. A significant example of the P2P computing idea is the BOINC (Berkeley Open Infrastructure for Network Computing) project. To improve the performance of the computing system, we propose to use the P2P approach to distribute results of computational projects, i.e., results are transmitted in the system like in P2P file sharing systems (e.g., BitTorrent). In this work, we concentrate on offline optimization of the P2P computing system including two elements: scheduling of computations and data distribution. The objective is to minimize the system OPEX cost related to data processing and data transmission. We formulate an Integer Linear Problem (ILP) to model the system and apply this formulation to obtain optimal results using the CPLEX solver. Next, we propose two heuristic algorithms that provide results very close to an optimum and can be used for larger problem instances than those solvable by CPLEX or other ILP solvers.

3

Local Computations in Graphs: The Case of Cellular Edge Local Computations

88%

Chalopin J. , Métivier Y. , Zielonka W.

|

2006

|

tom Vol. 74, nr 1

85-114

EN

We examine the power and limitations of the weakest vertex relabelling system which allows to change a label of a vertex in function of its own label and of the label of one of its neighbours. We characterize the graphs for which two important distributed algorithmic problems are solvable in this model : naming and election.

4

Web-based architecture for ECG interpretation service providing automated and manual diagnostics

75%

Augustyniak P. , Tadeusiewicz R.

|

tom Vol. 27, no. 1-2

237-245

EN

The ECG interpretation process is currently fully automated and consists of various signal processing, pattern recognition and decisive procedures. The worldwide unified interpretation guidelines are differentially implemented by software manufacturers. Moreover, the most sophisticated algorithms are rarely used, since the corresponding medical cases are relatively infrequent. Our work focuses on designing all the advanced ECG interpretation routines as distributed web services. The key idea is to extend the interoperability by multiple method-specialized complementary interpretation services. The proposed architecture service concentrates the specialized processing tasks and, apart from the medical advantages, is a reasonable method preserving the inventor's intellectual property rights.

5

Wyszukiwanie czwórmianów nieprzywiedlnych nad GF(3) z wykorzystaniem obliczeń rozproszonych

75%

Paszkiewicz A. , Zawadzki P.

|

2012

|

tom nr 1

10-15

PL

Wyznaczono najmłodsze leksykograficznie czwórmiany nieprzywiedlne nad GF(3) o stopniach do 2500, dla których nie istnieją trójmiany nierozkładalne. Zadanie to wykonano przy użyciu metody obliczeń rozproszonych.

EN

In this paper we determine the lexicographically youngest quadrinomials over GF(3) with degrees up to 2500 for which irreducible trinomials do not exist. The computations were performed by the aid of distributed computing method.

6

Enumeration and Leader Election in Partially Anonymous and Multi-hop Broadcast Networks

75%

Chalopin J. , Métivier Y. , Morsellino T.

|

2012

|

tom Vol. 120, nr 1

1-27

EN

We address the enumeration and the leader election problems over partially anonymous and multi-hop broadcast networks. We consider an asynchronous communication model where each process broadcasts a message and all its neighbours receive this message after arbitrary and unpredictable time. In this paper, we present necessary conditions that must be satisfied by any graph to solve these problems and we show that these conditions are sufficient by providing an enumeration algorithm on the one hand and a leader election algorithm on the other hand. For both problems, we highlight the importance of the initial knowledge. Considering the enumeration problem, each process only knows the size of the graph and, contrary to related works, the number of its neighbouring processes is unknown. Whereas for the election problem, we show that this combination of knowledge is not sufficient. Our algorithm assumes that each process initially knows a map of the network (without knowing its position in this map). From the complexity viewpoint, our algorithms offer polynomial complexities (memory at each process, number and size of exchanged messages).

7

O dwóch globalnych projektach wykorzystujących obliczenia rozproszone w sieci Internet

75%

Paszkiewicz A.

|

2010

|

tom nr 11

1670-1674

PL

Przedstawiono szczegóły dotyczące dwóch rozproszonych projektów obliczeniowych o zasięgu globalnym. Są to projekty znajdowania rozkładów potęg liczb naturalnych pomniejszonych lub powiększonych o 1 oraz wyznaczania wartości funkcji 7r(x). Zaprezentowano tabelę zawierającą liczby pierwsze typu repunit o podstawach będących liczbami pierwszymi nie większymi niż 31. Są uogólnieniami liczb Mersenne'a.

EN

Details of the two distributed computing projects on a global scale. These projects are to find the distribution of powers of natural numbers less or increased by 1, and determining the value of the function 7r (x). Presented a table containing the number of first type repunit the grounds of primes not larger than the 31st Mersenne numbers are generalizations.

8

Optimization of structure of neural models using distributed computing environment

63%

Tomanek A. , Przystałka P. , Adamczyk M.

|

2006

|

tom nr 4(40)

15-18

EN

The main aim of this paper was to identify the optimal structures of considered neural models using the distributed computing environment. In this paper distributed optimizing of feed-forward neural network architectures for given problems is presented. The computing environment is composed of a few important packages and modules and has been created by the authors in order to aid developing some soft computing methods [4], where a lot of calculations are needed. At the beginning the authors decided to adapt a simple systematic-search algorithm that searches through every possible combination of network structures. Since this class of algorithms requires large amount of computation the distributed computing system was employed.

PL

Głównym celem przeprowadzonych badań było zidentyfikowania optymalnej struktury rozpatrywanych modeli neuronowych z zastosowaniem środowiska do obliczeń rozproszonych. W artykule zaprezentowano zastosowanie systemu do rozproszonej optymalizacji struktury sztucznej sieci neuronowej typu perceptron wielowarstwowy dla zadanego problemu. Prezentowane środowisko obliczeniowe jest złożone z kilku pakietów oraz modułów i zostało utworzone przez autorów w celu wspomagania rozwoju metodologii modelowania heurystycznego [4], gdzie niezbędnych jest wiele obliczeń. W początkowym stadium rozwoju oprogramowania autorzy zastosowali prosty algorytm przeszukiwania systematycznego każdej możliwej kombinacji struktury sieci. Ponieważ tego typu algorytmy z reguły wymagają dużych mocy obliczeniowych, postanowiono wykorzystać system omawiany w niniejszym artykule.

9

System obiektowy = obiektowa baza danych + obiektowa aplikacja

63%

Brzozowska P. , Góralczyk M. , Jesionek Ł. , Karpiński M. , Kędzierski G. , Kędzierski P. , Koszela J. , Wróbel E.

|

2010

|

tom Vol. 31, nr 2B

133-146

PL

Praca prezentuje koncepcje i wykonane elementy rozproszonego obiektowego systemu baz danych (DOOD System ), który stanowi podstawę do badań związanych z unifikacją procesu projektowania i implementacji rozproszonych systemów obiektowych, wraz z opracowaniem języka programowania łączącego w sobie własności języka deklaratywnego i imperatywnego. Język tego typu pozwoli na zautomatyzowanie procesu rozproszonego przetwarzania danych przy wykorzystaniu statycznych i dynamicznych mechanizmów szacowania kosztów przetwarzania. Prezentowana jest również koncepcja architektury DOOD wraz z podstawowymi elementami, np. mechanizm zarządzania, skład obiektów, mechanizm indeksowania, analizy języka, generator planów i środowisko wykonawcze.

EN

This article presents main ideas and implemented elements of distributed object-oriented database system (DOOD). Military University of Technology researches on unification of project and development of object systems with dedicated programming language is based on DOOD system. Provided language, that supports both imperative and declarative features, allows automatic distribution of tasks, mainly because of implemented static and dynamic cost counting algorithms. This article also introduces some key elements like indexes, management console, language analysis, query planner or execution.

10

Obliczenia rozproszone jako efektywne narzędzie wspomagania badań w kryptografii

63%

Paszkiewicz A. , Sędziński M.

|

2006

|

tom nr 8-9

245-251

PL

Omówiono pewne kierunki wykorzystania obliczeń rozproszonych, ważne w telekomunikacji. Technika obliczeń rozproszonych została wykorzystana przez autorów do znajdowania wielomianów nierozktadalnych i pierwotnych, przydatnych w teorii kodowania oraz kryptografii. W szczególności wielomiany o współczynnikach binarnych oraz ternarnych mogą być efektywnie wykorzystywane do realizacji arytmetyki modularnej w układach kryptograficznych.

EN

In this paper we discuss some possible directions of distributed computing which are important in telecommunication. The technique of distributed computing has been used by authors to searching irreducible and primitive polynomials usable in the practice of coding theory and cryptography. Especially polynomials with binary or ternary coefficients can be effectively used to implementations of modular arithmetic in cryptographic modules.

11

Application of distributed computing for modeling and optimal past-correction of linear time-invariant systems in real-time

51%

Wojciechowski R.

|

2008

|

tom z. 115

169-175

EN

In the paper, the principles of modeling and optimal past-correction of linear time-invariant systems in real-time are shown. The task of system model structure design, i.e. structural identification and the process of calculating structure parameters, i.e. parametrical identification are described. The correction of LTI systems is discussed and the form of the constructive system correction is also shown. In the paper, the concept of distributed environment for system research is described and the details of the environment implementation in QNX real-time operating system are presented.

PL

W artykule zaprezentowano podstawy modelowania i optymalnej korekcji końcowej stacjonarnych systemów liniowych w czasie rzeczywistym. Opisano zadanie określenia struktury modelu systemu, tj. identyfikacji strukturalnej, oraz wprowadzono opis procesu wyznaczania parametrów ww. struktury, tj. identyfikacji parametrycznej. Przedstawiono zagadnienie korekcji stacjonarnych systemów liniowych, zaprezentowano również konstruktywną postać zadania korekcji. W artykule zaprezentowano również koncepcję środowiska rozproszonego do badań systemów oraz przybliżono szczegóły implementacji środowiska w systemie czasu rzeczywistego QNX.