Wyniki wyszukiwania - BazTech

1

Old and New Algorithms for Minimal Coverability Sets

Valmari A., Hansen H.

Fundamenta Informaticae

|

2014

|

Vol. 131, nr 1

1--25

EN

Many algorithms for computing minimal coverability sets for Petri nets prune futures. That is, if a newmarking strictly covers an old one, then not just the old marking but also some subset of its successor markings is discarded from search. In this publication, a simpler algorithm that lacks future pruning is presented and proven correct. Its performance is compared with future pruning. It is demonstrated, using examples, that neither approach is systematically better than the other. However, the simple algorithm has some attractive features. It never needs to re-construct pruned parts of the minimal coverability set. It automatically gives most of the advantage of future pruning, if the minimal coverability set is constructed in depth-first or most tokens first order, and if so-called history merging is applied. Some implementation aspects of minimal coverability set construction are also discussed. Some measurements are given to demonstrate the effect of construction order and other implementation aspects.

2

Can Stubborn Sets Be Optimal?

Valmari A., Hansen H.

Fundamenta Informaticae

|

2011

|

Vol. 113, nr 3/4

377-397

EN

Literature on the stubborn set and similar state space reduction methods presents numerous seemingly ad-hoc conditions for selecting the transitions that are investigated in the current state. There are good reasons to believe that the choice between them has a significant effect on reduction results, but not much has been published on this topic. This article presents theoretical results and examples that aim at shedding light on the issue. Because the topic is extensive, we only consider the detection of deadlocks. We distinguish between different places where choices can be made and investigate their effects. It is usually impractical to aim at choices that are "best" in some sense. However, one non-trivial practical optimality result is proven.

3

Znaczenie energetycznego wykorzystania biomasy w Niemczech

Hansen H.

Zeszyty Naukowe. Cieplne Maszyny Przepływowe - Turbomachinery / Politechnika Łódzka

|

2004

|

nr 125

167-176

PL

Poprzez stały przyrost, jaki miał miejsce w minionych latach, energia odnawialna osiągnęła w 2003r. ok. 3,1 % udział w zużyciu energii pierwotnej w Niemczech. Z tego 65,9 TWh energii końcowej lub 58 % łącznej ilości energii odnawialnej wytworzone zostało z biomasy, przy czym największe znaczenie miało wytwarzanie ciepła z biomasy. Wytwarzanie ciepła ze źródeł energii odnawialnej odbywa się w 92% z biomasy stałej, przede wszystkim z drewna. Instalacje do spalania biomasy i paliw stałych, a w szczególności paleniska na drewno dla domowych instalacji centralnego ogrzewania i sieci ciepłowniczych, osiągnęły w minionych latach wysoki poziom rozwoju technicznego oraz - szczególnie w zakresie redukcji emisji i wzrostu sprawności kotła - znaczący postęp techniczny. Paleniska na drewno oferowane są w ogromnej ilości rozwiązań konstrukcyjnych i w różnych technicznych wariantach. Rozwój energetycznego przetwarzania biomasy jest w Niemczech wspierany przez rząd różnymi działaniami jak np. odpowiednie ustawy i rozporządzenia, czy też programy pomocowe.