PL
 |
EN
Preferencje help
Polish version English version Język
Widoczny [Schowaj] Abstrakt
Liczba wyników

Znaleziono wyników: 7

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
1
Content available remote Interleaving Based Model Checking of Concurrency and Causality
Wolf K.
Fundamenta Informaticae
|
2018
|
Vol. 161, nr 4
423--445
EN
We consider a spectrum of properties proposed in [14]. It is related to causality and concurrency between a pair of given transitions in a place/transition net. For each of these properties, we ask whether it can be verified using an ordinary, interleaving based, model checker. With a systematic approach based on two constructions, we reduce most properties in the spectrum to a reachability problem. Only one problem needs to be left open completely. Some problems can be solved only under the assumption of absent auto-concurrency.
2
Content available remote Technologia pakowania. Nieprzerwane pasmo sukcesów
Wolf K.
Napędy i Sterowanie
|
2017
|
R. 19, nr 10
34--35
PL
Od ponad dziesięciu lat firmy Gasti i B&R wdrażają urządzenia o zmiennych parametrach, służące do napełniania i szczelnego zamykania kubków. Firmie Gasti, starającej się sprostać wymaganiom swoich międzynarodowych klientów, udało się zachować optymalną równowagę między koniecznością innowacji, efektywnością ekonomiczną i potrzebą zachowania ciągłości.
3
Content available remote Guaranteeing Weak Termination in Service Discovery
Wolf K., Weinberg D., Ott J., Danitz R., Stahl C.
Fundamenta Informaticae
|
2011
|
Vol. 108, nr 1/2
151-180
EN
A big issue in the paradigmof Service Oriented Architectures (SOA) is service discovery. Organizations publish their services via the Internet. These published services can then be automatically found and accessed by other services, meaning, the services are composed. A fundamental property of a service composition is weak termination, which guarantees the absence of deadlocks and livelocks. In principle, weak termination can be verified by inspecting the state space of the composition of (public views of) the involved services. We propose a methodology to build that state space from precomputed fragments, which are computed upon publishing a service. That way, we shift computation effort from the resource critical “find” phase to the less critical “publish” phase. Interestingly, our setting enables state space reduction methods that are intrinsically different from traditional state space reductions. We further show the positive impact of our approach to the computational effort of service discovery.
4
Content available remote Compact Representations and Efficient Algorithms for Operating Guidelines
Lohmann N., Wolf K.
Fundamenta Informaticae
|
2011
|
Vol. 108, nr 1/2
43-62
EN
Operating guidelines characterize correct interaction (e. g., deadlock freedom) with a service. They can be stored in a service registry. They are typically represented as an annotated transition system where the annotations are Boolean formulae attached to the states. The core result of this article is to propose an alternative representation of operating guidelines where, instead of a Boolean formula, only a few bits need to be stored with a state. This way, we safe one order of magnitude in the space complexity of the representation. Moreover, we demonstrate that the new representation yields efficiency gains in several algorithms which involve operating guidelines. Finally we show that the new representation permits the translation of the transition system representing the operating guidelines into a Petri net which typically yields further gains concerning the space for storing operating guidelines.
5
Barwienie włókien poliestrowych bez problemu z oligomerami
Gebhardt G., Richter F., Schönfeld A., Wolf K.
Przegląd Włókienniczy - Włókno, Odzież, Skóra
|
2010
|
nr 5
16-19
6
Content available remote Podziemne składowanie i monitoring CO2 - aktualne kierunki rozwoju
Lutyński M., Wolf K.
Przegląd Górniczy
|
2010
|
T. 66, nr 10
103-109
PL
Jednym ze sposobów zmniejszenia emisji CO2, jest wychwytywanie tego gazu ze strumienia gazów spalinowych źródeł stacjonarnych, a następnie zatłaczanie głęboko pod powierzchnię w celu składowania (tzw. geologiczne składowanie CO2). Potencjalne miejsca, gdzie gaz ten może być składowany to np.: sczerpane złoża ropy/gazu, głębokie poziomy wodonośne oraz pokłady węglowe. W artykule przedstawiono kryteria i wytyczne selekcji miejsc składowania oraz szacunkową pojemność miejsc składowania.
EN
One of the ways of CO2 emission reduction is to capture this gas from the steam of combustion gases and next to force it deep under surface in order to store (so called geological storage of CO2). Potential places where this gas can be stored there is for example: exhausted deposits of crude oil/gas, deep water-bearing horizon as well as coal deposits. Criterions and directives of places selection as well as estimated cubic capacity of storage places are presented.
7
Nowe aspekty utrwalania wybarwień mikrowłókien poliamidowych i ich mieszanek z włóknem Elastan
Hemeltjen C., Richter F., Schonfeld A., Wolf K.
Przegląd Włókienniczy - Włókno, Odzież, Skóra
|
2007
|
nr 11
12-14
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ć.