Wyniki wyszukiwania - BazTech

1

Strategie niskopoziomowego programowania współbieżnego platformy .NET

Wichary P., Jóźwiak I., Szczepanik M.

Zeszyty Naukowe. Organizacja i Zarządzanie / Politechnika Śląska

|

2017

|

z. 113

517--527

PL

W artykule przedstawiono mechanizmy związane z programowaniem współbieżnym na niskim poziomie abstrakcji. Na podstawie literatury światowej wyróżniono zbiór pojęć podstawowych dotyczących współbieżności. Wskazano mechanizmy pomagające w rozwiązaniu problemu wzajemnego wykluczania przy użyciu konstrukcji językowych platformy .NET. Opisano sposoby uzyskania synchronizacji wątków wraz z opisem ich wad i zalet.

EN

The article presents issues related to low level concurrent programming. Based on world literature, a collection of basic notions of concurrency has been distinguished. Indicators that help to solve the mutual exclusion problem using the .NET language constructs. Describes ways to get thread synchronization once with a description of their drawbacks and advantages.

2

Zachowanie spójności danych w wybranych systemach NoSQL

Augustyn D., Bajerski P., Brzeski R..

Studia Informatica

|

2012

|

Vol. 33, nr 2A

27-48

PL

Zachowanie spójności przetwarzanych danych jest problemem ogólnym, w szczególności dotyczącym systemów NoSQL, w których efektywność przetwarzania jest czynnikiem najistotniejszym. Wysoką efektywność przetwarzania w bazach NoSQL osiąga się przez uproszczenie mechanizmów wewnętrznych, w tym, częściowo, kosztem utrudnienia programowania – aplikacje korzystające z baz NoSQL muszą zawierać kod odpowiedzialny za utrzymanie spójności danych. Programowe metody zachowania spójności przetwarzanych danych rozważono w kontekście wybranych systemów NoSQL: MongoDB, Mircosoft Windows Azure, Apache Cassandra, Oracle NoSQL.

EN

Consistency preservation is a general problem in data processing, especially in NoSQL systems. NoSQL databases introduce a new approach, in which the efficiency is a major feature. It is partially achieved at the expense of some difficulties of programming. The application should handle situations which may introduce inconsistency in data. The paper presents the methods of data consistency preservation in selected NoSQL: MongoDB, Mircosoft Windows Azure, Apache Cassandra, Oracle NoSQL.

3

Wyznaczanie pokrycia sieci Petriego przez SM-komponenty z wykorzystaniem przeszukiwania grafów

Karatkiewicz A., Wiśniewski R.

Przegląd Elektrotechniczny

|

2012

|

R. 88, nr 8

141-144

PL

W artykule przedstawiono nową metodę dekompozycji na składowe automatowe żywych i bezpiecznych sieci Petriego, należących do klasy rozszerzonych sieci swobodnego wyboru (EFC). Metoda polega na przeszukiwaniu grafu sieci, biorąc pod uwagę relację współbieżności pomiędzy miejscami sieci. Przedstawiono i omówiono wyniki wstępnych eksperymentów, które pokazują dużą skuteczność metody względem rozwiązań ogólnie stosowanych, szczególnie w przypadku sieci zawierających wiele miejsc wzajemnie współbieżnych.

EN

In the paper a new method of state machine decomposition of live and safe Petri net that belongs to the Extended Free-Choice class is presented. The method is based on search of the net graph, taking into account concurrency relation between places of the net. The method can be divided into two main steps. In the first one concurrency relation between particular places of the Petri net is computed. Next, the main decomposition process is performed, where subsequent SM-components are calculated. At the first step the method operates on the structure of the net. It is based on the modified algorithm, initially proposed by A.V. Kovalyov in [1]. Such an algorithm permits to find the concurrency relations between places in the Free Choice nets in a polynomial time. Next, the subsequent SM-components are computed. To find each SM-component, a graph-search algorithm is applied. Moreover, the concurrency relation obtained in the first step of proposed method is also taken into account. The method has polynomial computational complexity, unlike most of other methods of such decomposition. It is proved that the first step of an algorithm can be executed in a polynomial time in a case of a Extended Free Choice nets. Furthermore, the graph-search algorithm operates in a linear time, thus the whole decomposition process can be performed in a polynomial time.

4

Application of Clojure Language to Build Multitasking Simulation Tool

Koziński W.

Przegląd Elektrotechniczny

|

2012

|

R. 88, nr 2

110-114

EN

Simulation tool for various kinds of planar vehicles is presented. Each of vehicle is treated as separate object and executed in a thread. Such approach leads to multithreaded system, where concurrency rules have to be obeyed. The proper software tool has to be selected. One of candidates is Java language, with TimerTask objects or Executors, other one is newly developed language Clojure. The Clojure language is interpreted and executed by Java Virtual Machine and possesses many features, which are helpful to build multithreaded, concurrent systems.

PL

Prezentowane jest narzędzie do symulowania ruchu pojazdów na płaszczyźnie. Każdy pojazd traktowany jest jako oddzielny obiekt i wykonywany w wątku. Takie podejście prowadzi do systemu wielowątkowego, w którym muszą być zachowane zasady budowy bezpiecznych programów współbieżnych. Istotnym jest wybór właściwego narzędzia. Jedną z możliwości jest wybór języka Java. Inną możliwością jest wybór języka Clojure wykonywanego przez wirtualną maszynę języka Java.

5

The conception of concurrent Petri net and its synthesis

Piech H., Skibińska W.

Prace Naukowe Instytutu Matematyki i Informatyki Politechniki Częstochowskiej

|

2010

|

Vol. 9, nr 1

165-176

EN

Petri net is form of bipartite graph. Schemes in form of Petri (PT) net permit modeling systems, objects, automata etc. Petri model becomes virtual prototype of represented system. Natural phenomena in PT nets is concurrent realized actions. It is guarantee by organization of fired transitions system. That are realized sequentially as singly or grouped procedures. In our approach we propose treat placements in standard connections with input and output system transitions. It is deeply form of concurrent because of unify structure of joining with all others placements. In this conception it's also possibility to fix sequence of fired transitions. Proposed concurrent PT net expand possibility of functional model dealing by invariant combinations of weights structures.

6

Limits of Modularity

Bednarczyk M.

Prace Instytutu Podstaw Informatyki Polskiej Akademii Nauk

|

2006

|

Nr 989

1-21

EN

It has been observed that various synchronisation operators that underly modular design of concurrent systems can be explained as {\em pullbacks in suitable categories of concurrent systems. Here, the boundaries of such approach are investigated. For this purpose we study the issue of completeness in categories of trace monoids. It turns out that (finite) completeness is achieved if trace monoids with concurrency preserving homomorphisms are considered. Taking arbitrary monoid homomorphisms leads, in general, to incompleteness. In terms of code problem for trace monoids.

PL

Wcześnie zauważono, że modularne techniki konstruowania systemów współbieżnych oparte o mechanizmy synchronizacji można opisać jako (zmodyfikowane) produkty lub wręcz jako produkty włókniste w stosownych kategoriach systemów współbieżnych. Celem niniejszej pracy jest wyznaczenie granic stosowalności tego teorio-kategoryjnego podejścia. W tym celu w pracy rozważa się problem (skończonej) zupełności kategorii monoidów śladów Mazurkiewicza dla różnych klas morfizmów formalizującej pojęcie symulacji systemów. Okazuje się, że skończoną zupełność gwarantuje przyjęcie, iż obiektem badań są reprezentacje monoidów śladów postaci alfabet i relacja niezależności, zaś morfizmy to funkcje z alfabetu do monoidu śladów zachowujące niezależność. Z kolei akceptacja dowolnych homomorfizmów, niekoniecznie zachowujących niezależność, prowadzi na ogół do braku zupełności kategorii. Osiągnięte wyniki rozszerzają też obszar, w którym problem kodu dla monoidów śladów jest rozstrzygalny w sposób pozytywny.

7

Remote engineering data exchange in concurrent engineering

Wróbel J., Zhiyun W.

Zeszyty Naukowe Politechniki Poznańskiej. Maszyny Robocze i Transport

|

2002

|

Nr 54

207-214

EN

It is summarized for the realities that Internet has a great impact on the development of science and technology and people's behavior as well as potential action of its on the future scientific and technical progress in mechanical engineering as well in this paper. In addition, the conception of REDE and International team are presented. An example of application of REDE is afforded

8

Point glueing in cpo-s

Sokołowski S.

Prace Instytutu Podstaw Informatyki Polskiej Akademii Nauk

|

1998

|

nr 863

3-22

EN

This report explains how to factor partial orders to get quotient partial orders and how to factor cpo-s to get quotient cpo-s. This is supplemented by an important issue of collapsing the cpo-s to simpler ones. The motivations for this research come from investigations of concurrent processes addressed elsewhere. However, the article may be read independently of these motivations.

PL

W tej pracy wyjasniam jak dzielić porządki częściowe przez relacje równoważności, żeby otrzymać porządki częściowe oraz jak dzielić zupełne łańcuchowo porządki częściowe (cpo-ty) przez relacje równoważności, żeby otrzymać cpo-ty. Dalej omawiam ważne zagadnienie kolapsowania cpo-tów do prostszej postaci. Motywacje pochodzą z omawianych gdzie indziej badań procesów współbieżnych. Jednak niniejszy artykuł można czytać niezależnie od tych motywacji.