Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników

Znaleziono wyników: 18

Liczba wyników na stronie
first rewind previous Strona / 1 next fast forward last
Wyniki wyszukiwania
help Sortuj według:

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
EN
Currently existing solutions rarely protect message integrity, authenticity and user anonymity without burdening the user with details of key management. To address this problem, we present Aldeon—a protocol for anonymous group conversations in a peer-to-peer system. The efficiency of Aldeon is based on a novel tree synchronization algorithm, which is proposed and discussed in this paper. By using this algorithm, a significant reduction in the number of exchanged messages is achieved. In the paper, the formal definition of the proposed hash branch function and the proof of its efficiency are presented.
EN
The article delivers theoretical and practical results, that are important to develop further research as well as to enhance supply chains competitiveness in era of turbulence. It discovers strategic role of lead logistics providers and outlines elements of their business models that are developed to meet requirements of clients in the 21st century. The authors emphasized contemporary megatrends and risks in global environment. Furthermore, with reference to a modern cloud-based platform DHL Resilience360, they presented how it support companies in developing resilient supply chains.
PL
Artykuł dostarcza teoretyczne i praktyczne rezultaty rozważań, ważne zarówno dla rozwoju dalszych badań, jak również dla wzmacniania konkurencyjności łańcuchów dostaw w erze turbulencji. Charakteryzuje strategiczną rolę wiodących operatorów logistycznych i określa elementy ich modeli biznesowych, które są rozwijane w odpowiedzi na wymagania klientów w XXI w. Autorzy zaakcentowali współczesne rodzaje megatrendów i ryzyka w otoczeniu globalnym. Ponadto, w odniesieniu do nowoczesnej platformy w internetowej chmurze DHL Resilience360, zaprezentowali, w jaki sposób wspiera ona firmy w rozwoju odpornych łańcuchów dostaw.
3
Content available remote Towards a process calculus for REST: current state of the art
EN
SOA is a popular paradigm for building distributed systems that has gained a great recognition over past years. There are two main approaches to implementing SOA: SOAP-based and RESTful Web services. In order to address problems of modeling and verification of Web services, several process calculi have been proposed for SOAP-based Web services but none for the RESTful Web services based systems. This article is a comparative survey on existing process calculi for SOA systems, also the existing attempts to formalize REST systems are discussed. The aim of the article is to see how process calculi for SOAP-based systems deal with different aspects of their modeling domain, and whether their approaches can be used to model RESTful and ROA systems. Finally, basing on the survey, requirements for a new process calculus specific for REST are defined.
PL
Firma DKA Polska Sp. z o.o. z siedzibą w Bydgoszczy wykonała instalację chłodniczą, zasilania elektrycznego, sterowania oraz izolację komór dla kolejnego, trzeciego już magazynu logistycznego sieci sklepów NETTO w Polsce.
5
Content available remote On Exceptions in the Brauer–Kuroda Relations
EN
Let F be a Galois extension of a number field k with the Galois group G. The Brauer–Kuroda theorem gives an expression of the Dedekind zeta function of the field F as a product of zeta functions of some of its subfields containing k, provided the group G is not exceptional. In this paper, we investigate the exceptional groups. In particular, we determine all nilpotent exceptional groups, and give a sufficient condition for a group to be exceptional. We give many examples of nonnilpotent solvable and nonsolvable exceptional groups.
PL
Przedstawiono założenia metody alternatywy zdarzeń - określania przepływów ekstremalnych rocznych. Metoda uwzględnia zróżnicowanie genetyczne wezbrań i pozwala oszacować odrębne wartości występowania przepływów pojawiających się w warunkach zimowych i w warunkach letnich. Omówiono znaczenie i sposoby sprawdzania jednorodności ciągów pomiarowych oraz zaprezentowano wyniki badań symulacyjnych przepływów maksymalnych przy zastosowaniu metody alternatywy zdarzeń oraz metody tradycyjnej (zaleconej przez CUGW w 1969 r.)
EN
The article presents the assumptions of the alternative of events method - determining the yearly extreme flow values. This method takes into consideration the genetic differentiation of freshets and allows estimation of separate values of flows occurrence in winter and summer conditions. The article discusses the significance and methods of verifying the series of measurements homogeneity and presents the results of maximum flow values simulations with the use of the alternative of events method and the traditional method (recommended by the Central Office for Water Management in 1969).
PL
Noże ultradźwiękowe są wykorzystywane w wielu dyscyplinach chirurgicznych. Uważa się, że są to narzędzia bezpieczne, powodujące niewielki uraz otaczających tkanek. Jednakże liczba publikacji dotyczących tego zagadnienia jest bardzo ograniczona. Celem pracy jest ocena przydatności kamery termowizyjnej w analizie rozkładu temperatur w polu operacyjnym podczas operacji gruczołu tarczycowego. Operacje zostały przeprowadzone z użyciem noża harmonicznego (Ethicon), noża ultradźwiękowego (Olympus) oraz techniki klasycznej, z zastosowaniem koagulacji monopolamej. Porównano obrazy termiczne poła operacyjnego za pomocą analizy komputerowej. Ponadto przeprowadzono badania histologiczne uzyskanych preparatów, aby określić głębokość urazu termicznego. Wnioski: kamera termowizyjna jest bardzo użytecznym narzędziem, umożliwiającym monitorowanie temperatury tkanki zarówno podczas koagulacji, jak i resekcji tarczycy.
EN
Ultrasonic dissection is in widespread use in surgery. Ultrasound scalpels, as it is generally considered are minimally invasisv to the surrounding tissue, however the number of publications in this field is small. The aim of the present study was to evaluate the usefulness of the thermal camera in temperature mapping of tissue diuing thyroid dissection performed with use of harmonic scalpel (Ethicon), ultrasound scalpel (Olympus) and classical knot-tying technique together with monopolar coagulation. Thermal images from operating field registered during thyroidectomy were analyzed and compared. Moreover, histological examination of the tissue was performed to compare morphologic indication of thermal damage. Conclusions: In situ thermal imaging represents a powerful modality for monitoring coagulation and dissection of thyroid tissue.
PL
Termin "bezpieczeństwo" rozumiany jest jako ogół warunków niezbędnych dla przetrwania i rozwoju ludzkości i traktowany tu jest łącznie z tzw. "ekofilozofią" oraz filozofia jakości w procesie wytwarzania dóbr. Autorzy zakreślają ramy przedstawianego problemu do zagadnień bezpieczeństwa i higieny w środowisku naturalnym człowieka, bezpieczeństwa i higieny w pracy, higieny i bezpieczeństwa w miejscu zamieszkania człowieka. Poruszają problem jakości w procesie wytwarzania przez człowieka dóbr materialnych i niematerialnych i konsekwencjom tych procesów dla środowiska rozumianego globalnie oraz rozwoju cywilizacji. Autorzy przedstawiają graficznie wzajemne powiązania filozofii jakości, ekofilozofii, problemu wytwarzanie dóbr i bezpieczeństwa człowieka umieszczając te pojęcia na wierzchołkach czworościanu nazywanego tu piramidą równoboczną nawiązując w ten sposób do popularnej "piramidy jakości". Artykuł podzielono na dwie części. Podział oraz podtytuły obu części artykułu pochodzą od Redakcji. Część 1 p.t. "Ekofilozofia a proces wytwarzania dóbr" zamieszczono w nr 1/2005.
EN
The term "safety" is understood as the whole conditions necessary for surviving of a mankind and it is considered in this article together with so called eco-philosophy and quality philosophy in the process of manufacturing of goods. Authors present graphically inter-relations among quality philosophy, eco-philosophy, problems of manufacturing of goods and human safety. These four ideas are placed on the tops of tetrahedron, which has been called as an equilateral pyramid, referring in this way to a popular "quality pyramid". An article has been divided into two parts. The partition and subtitles of the parts of the article come from the Editorial Staff. Part 1 "Eco-philosophy in a manufacturing process of goods" - in the PT 1/2005.
PL
Termin "bezpieczeństwo" rozumiany jest jako ogół warunków niezbędnych dla przetrwania i rozwoju ludzkości i traktowany tu jest łącznie z tzw. "ekofilozofią" oraz filozofia jakości w procesie wytwarzania dóbr. Autorzy zakreślają ramy przedstawianego problemu do zagadnień bezpieczeństwa i higieny w środowisku naturalnym człowieka, bezpieczeństwa i higieny w pracy, higieny i bezpieczeństwa w miejscu zamieszkania człowieka. Poruszają problem jakości w procesie wytwarzania przez człowieka dóbr materialnych i niematerialnych i konsekwencjom tych procesów dla środowiska rozumianego globalnie oraz rozwoju cywilizacji. Autorzy przedstawiają graficznie wzajemne powiązania filozofii jakości, ekofilozofii, problemu wytwarzanie dóbr i bezpieczeństwa człowieka umieszczając te pojęcia na wierzchołkach czworościanu nazywanego tu piramidą równoboczną nawiązując w ten sposób do popularnej "piramidy jakości". Artykuł podzielono na dwie części. Podział oraz podtytuły części artykułu pochodzą od Redakcji.
EN
The term "safety" is understood as the whole conditions necessary for surviving of a mankind and it is considered in this article together with so called eco-philosophy and quality philosophy in the process of manufacturing of goods. Authors present graphically inter-relations among quality philosophy, eco-philosophy, problems of manufacturing of goods and human safety. These four ideas are placed on the tops of tetrahedron, which has been called as an equilateral pyramid, referring in this way to a popular "quality pyramid". An article has been divided into two parts. The partition and subtitles of the parts of the article come from the Editorial Staff.
PL
Zaprezentowano metodę i wyniki pomiarów parametrów cieplnych różnych materiałów. Metoda ta umożliwia wykonanie pomiarów, gdy istnieją kontaktowe opory cieplne. Parametry cieplne określane są na podstawie charakterystyki częstotliwościowej czujnika.
EN
The analysis, methods and measurement results of thermal parameters of different materials have been presented. The applied method enables the measurement in spite of presence of significant thermal contact resistance. Thermal parameters have been assessed from the frequency characteristics of the sensor.
11
Content available remote Dorcas-platforma dla agentów o architekturze BDI
PL
Termin "system wieloagentowy" (MAS) odnosi się do wszelkich systemów złożonych z autonomicznych (bądź częściowo autonomicznych) komponentów, zwanych agentami. Zakłada się, ze agenci zdolni są do działania w dynamicznym, nieprzewidywalnym i otwartym środowisku oraz do realizacji swoich zadań w sposób zarówno reaktywny jak i proaktywny. Jedną z najważniejszych teorii opisujących agentów spełniających powyższe założenie jest teoria BDI opisująca agenta w terminach przekonań, celów / pragnień i intencji. Na bazie tej teorii rozwinięta została architektura PRS [12] oraz jej implementacje -dMars [2]. Wraz z nimi stworzona została, oparta na technice obiektowej OMT [17], metodologia projektowania systemów wieloagentowych [14, 13]. Platforma Dorcas jest systemem komputerowym wspomagającym tworzenie agentów w oparciu o architekturę PRS/dMars, związaną z nimi metodologię projektowania oraz teorię kolektywnych postaw motywacyjnych rozwiniętą w IIUW i IPI PAN. W ramach platformy stworzony został język służący do definiowania agentów o architekturze BDI oraz jego interpreter, a także oprogramowanie stymulujące wirtualne środowisko działania agentów. Agenci działający w ramach platformy Dorcas mogą się ze sobą komunikować przy pomocy języka KQML [10].
EN
The term "multiagent system" applies to any system composed of many autono-mous (or partially autonomous) components called agents. It is assumed that agents are able to work in a dynamic, open and unpredictable environment in order to realisetheir tasks in a way comprising both reactive and proactive aspect of their behaviour. One of the most important theories applying to agents is the BDI theory describingagents in terms of beliefs, goals/desires and intentions. An agent architecture PRS together with its implementation - dMars - is based on this theory. Alongside, anagent oriented design methodology was developed basing on an object-oriented technique OMT. The Dorcas platform is a system that assists development of agents based on the PRS/dMars architecture, related design methodology, and a theory of collectivemotivational attitudes developed at IIUW and ICS PAS. Within this platform a language and its interpreter serving to define agents in the BDI architecture wasrealised, together with a simulator of a virtual agent environment. Agents working within the Dorcas platform can communicate with each other using KQML
12
Content available remote A survey of software failure detector protocols
EN
Failure detection is important and valuable for distributed computation. The concept of failure detector introduced by Chandra and Toueg simplifies the design and verification of fault-tolerant application. This theoretical mechanism makes the presentation of such application and its proof of correctness more modular. However, an obvious question is how to implement such a useful extension in the asynchronous system. This paper tries to summarise the knowledge about software failure detector protocols. By comparison of the design goals and specific assumptions we want to familiarize the reader with the problem of implementing the unreliable failure detector.
EN
Some aspects on the principles of calculating maximum discharges of given exceedance probabilities are discussed in the paper. Authors also attitude towards critical comments included in the article published by Kaczmarek in the Review of Geophysics, No. 3-4, 2000
14
Content available remote Barierowe pokrycia ogniochronne na stal (2 ostatni)
15
Content available remote Barierowe pokrycia ogniochronne na stal
PL
Autorzy uzasadniają potrzebę wprowadzenia nowych zasad obliczania maksymalnych przepływów rocznych o określonym prawdopodobieństwie przewyższenia - analizują dotychczas obowiązujące i przedstawiają propozycję nowych. Akcentują fakt, że wielokrotnie występowali z wnioskiem o wprowadzenie do nowego prawa wodnego rozdziału dotyczącego uprawnień do wykonywania opracowań hydrologicznych.
EN
The Authors give reasons for the necessity for introducing new principles of calculation of maximum annual flow values of determinate probability of exceeding -they analyze the at present obligatory principles and present proposals for the new ones. The Authors accentuate the fact that many times they have presented proposals for introducing to the new water act a section concerning qualifications to make hydrologic elaborations.
EN
In the paper we present the application of computational geometry algorithms to the exact determination of the times remaining to the occurrence of events in communication protocols; in the case when these times are expressed in the form of simple (i.e., in general, non-convex) polygons (this form of time is used in the polygon time structure). This exaet solution to the problem may be better than the approximate (i.e. interval) one, especially as we know, that the application of the approximate solution may lead to the evaluation of a protocol as incorrect, which in fact is correct.
18
Content available remote Self-stabilization in distributed systems - a short survey
EN
Self-stabilization is a very interesting and promising research field in computing science. This is due to its guarantees of automatic recovery from any transient failure, without any additional effort. This paper presents an overview of self-stabilizing distributed algorithms. First, the outlook of the self-stabilization paradigm is shown, followed by a simple example and some formal definitions. Then, characteristics of stabilization types are described. Finally, the paper presents several self-stabilizing algorithms and further lines of investigation strive for distributed systems.
first rewind previous Strona / 1 next fast forward last
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ć.