Wyniki wyszukiwania - BazTech

1

Zasady modelowania działania służb w sytuacjach kryzysowych - zastosowanie symulacji procesów

Dziemba Ł., Uchroński J.

Systemy Wspomagania w Inżynierii Produkcji

|

2017

|

Vol. 6, iss. 7

84--96

PL

Artykuł przedstawia przegląd możliwych metod i narzędzi służących do modelowania działań i symulacji procesów. Są nimi: tablice decyzyjne, drzewo rozkładu i drzewo decyzyjne, diagramy decyzyjne i mapy procesów; notacja BPMN. Na podstawie przeprowadzonych badań literaturowych i własnych doświadczeń ze stosowaniem opisywanych w artykule narzędzi i metody symulacji stwierdzono, iż mapy procesu stanowią przydatne narzędzie modelowania z punktu widzenia prezentacji sekwencji zdarzeń, jakie występują w ich przebiegu. W tym świetle notacja BPMN staje się celowa do zastosowania z uwagi na swą przejrzystość, wskazanie poszczególnym działaniom, procesom i decyzjom zróżnicowanych źródeł i zasobów informacji, a także zapewnia uporządkowanie zapisu; oraz założenia oddzielenia sekwencji działań oraz komunikacji – przepływów informacyjnych.

EN

This article provides an overview of possible methods and tools for modeling activities and simulating processes. These are: decision tables, decomposition tree and decision tree, decision diagrams and process maps; BPMN notation. Based on the literature and their own experience using the tools and simulation methods described in the article, it was found that process maps are useful tools for modeling from the point of view of the sequence of events that occur in their course. Therefore, the BPMN notation is intended to be used for reasons of transparency, indication of the individual actions, processes and decisions of the various sources and information resources, and to ensure that the records are organized; and the assumptions of separation of sequences of activities and communication - information flows.

2

Multilevel hierarchical always cancellation-free symbolic analysis method for large electric networks

Lasota S.

Elektronika : konstrukcje, technologie, zastosowania

|

2013

|

Vol. 54, nr 2

51-57

EN

The paper presents an algorithm of the exact symbolic network function analysis that deals with circuits with any size. The only condition is to decompose the whole circuit into smaller sub-circuits. The decomposition can be the multi-level hierarchical one. What is more, the calculation for each level can be done only once and the partial results can be reused any time. A higher level subcircuit does not need too much information about a lower one. The method can be easily implemented in multiprocessor or distributed systems. Although multilevel and compressed structure, symbolical value remains cancellation-free and any path from the root to the terminal vertex represent a single term. Thus, a large-scale and small-scale sensitivities calculation and elimination of less significant terms become simply and natural. To get the s-Expanded form, the fast algorithm based on sparse polynomial multiplication methods can be applied.

PL

Artykuł przedstawia algorytm dokładnej symbolicznej analizy funkcji układowych, który radzi sobie w zasadzie z obwodami dowolnego rozmiaru. Jedynym warunkiem jest dekompozycja obwodu na mniejsze podobwody. Dekompozycja jest hierarchiczna wielopoziomowa. Co więcej, obliczenia dla każdego poziomu można wykonać tylko raz, i częściowe wyniki mogą być ponownie wykorzystane w dowolnym momencie. Poziom wyższy w hierarchii nie potrzebuje zbyt wiele informacji o poziomie niższym. Metodę w łatwy sposób można zaimplementować w systemach wieloprocesorowych i rozproszonych. Mimo wielopoziomowej i skompresowanej postaci wyniki symboliczne zawsze pozostają wolne od skróceń, a dowolna ścieżka od korzenia do węzła końcowego reprezentuje pojedynczy składnik sumy. Z tego to powodu wyznaczenie wrażliwości mało- i wielkoskalowych oraz eliminacja mniej znaczących składników staje się prosta i naturalna. Aby uzyskać wyniki w postaci ilorazu wielomianów od s mogą być zastosowane szybkie algorytmu mnożenia wielomianów rzadkich.

3

Function-driven generalizations of decision diagrams and their applications

Kerntopf P.

Prace Naukowe Politechniki Warszawskiej. Elektronika

|

2005

|

z. 151

3--109

EN

The monograph is devoted to new generalizations of decision diagrams (DDs) that lead to more compact representations of Boolean and multiple-valued functions. The objective is a scientific contribution to the theory of decision diagrams by offering new possibilities of DD node expansions. In the monograph, we present our original concepts and compare them with those others available in the literature. Binary decision diagrams (BDDs) are the state-of the-art data structure in VLSI CAD and they are widely used in many applications, including formal verification, testing, simulation and logic synthesis of VLSI circuits (e.g. logic synthesis of FPGAs and pass-transistor circuits). They have also found applications outside VLSI CAD. Representations of functions, sets, relations, graphs and matrices using DDs are now successfully used in many areas, like combinatorial problems, artificial intelligence, learning theory, verification of communication protocols, verification of process networks, computer graphics, signal processing, symbolic analysis of large analog circuits, decodingof error-correcting codes, neural nets, reliability analysis, expert systems, etc. A major drawback of all BDD-based systems 8is that the underlying data structure is very sensitive to a chosen variable ordering and, for some functions, no efficient representation even exists, like in the case of the Boolean multiplication. This why several extentions of the basic BDD structure have been proposed and studied recently, including introducing new node expansion types. However, search for new generalisations is still going on. A very promising extension to BDDs are transformed BDDs (TBDDs). They are based on an encodingt of the inputs, while the BDD structure itself remains unchanged. It`s known that some families of Boolean functions can be represented by TBDDs of linear size with respect to the number of variables, while all BDDs for them require exponential size. In this monograph, we introduce new representation called function-driven binary decision diagrams (BDDs). Then we study fBDDs corresponding to arbitrary nonlinear transformations of BDDs and many variants of decision diagrams based on them. a formal framework for generalization of diffrent kinds of binary and multiple-valued diagrams developed up to now is also proposed. Next we present research in the direction of looking for heuristics giving chance of finding smaller DDs than the best known ones. We also provide results of experiments for approaches presented here. An extension of the well-known sifting algorithm nonlinear transformations is presented, based on the combination of three adjacent levels of the decision diagram. Finally , we address synthesis of binary and multi-valued reversible logic circuits by applying function-driven decision diagrams (fDDs) described in this monograph. A synthesis algorithm is based on a new complecit7y measure of reversible circuits depending on sizes of corresponding fDDs. Experimental results of running of the algorithm for reversible circuits with three inputs and three outputs are provided and compared with previously published. Pioneering research on universality and efficiency of reversible gates is also presented.

PL

Niniejsza rozprawa poświęcona jest nowym uogólnieniom diagramów decyzyjnych, które prowadza do zmniejszenia rozmiarów reprezentacji funkcji boolowskich i wielowartościowych w stosunku do standardowych binarnych diagramów decyzyjnych (BDD) wielowartościowych diagramów decyzyjnych (MDD). Jej celem jest opracowanie teorii i zastosowań diagramów decyzyjnych poprzez zaproponowanie nowych możliwości dekompozycji węzłów w tych diagramach. Przedstawione koncepcje są oryginalnym wkładem autora. W pracy zostały one porównane z koncepcjami znanymi w literaturze. Binarne diagramy decyzyjne są obecnie szeroko stosowanymi strukturami danych we wspomaganym komputerowo projektowaniu (ang. CAD) układów VLSI i w wielu zastosowaniach , m.in. w sformalizowanej weryfikacji,testowaniu, symulacji i syntezie logicznej układów VLSI, np.: w syntezie logicznej FPGA (ang. Field Programmable Gate Array) i inntych układów.Znalazły także zastosowania poza dziedzina CAD VLSI. Reprezentacje funkcji, zbiorów, relacji, grafów i macierzy w postaci diagramów decyzyjnych są obecnie z powodzeniem stosowane w wielu dziedzinach, w tym w rozwiązywaniu problemów kombinatorycznych, sztucznej inteligencji, teorii uczenia się, weryfikacji protokołów komunikacyjnych, weryfikacji sieci procesów, grafice komputerowej, przetwarzaniu sygnałow, symbolicznej analizie niezawodnosciowej, systemach eksperckich itd. Jednak słabością wszystkich systemów opartych na BDD jest silna zależność rozmiarów diagramów od wybranego uporządkowania zmiennych, a także brak efektywnych reprezentacji dla pewnych funkcji, jak na przykład dla funkcji wyjściowych układów mnożących i innych układów arytmetycznych. Dlatego zaproponowano i przebadano wiele uogólnień standardowych BDD, m.in. wprowadzając nowe rodzaje dekompozycji węzłów. Tym niemniej poszukiwania nowych uogólnień BDD nadal są prowadzone. Obiecującym uogólnieniem są tzw. Transformowane BDD (TBDD), które oparte są na kodowaniu zmiennych, bez dokonywania zmian w strukturze BDD. Na przykład wiadomo, że dla niektórych rodzin funkcji boolowskich liniowe transformacje prowadza do diagramów TBDD, których rozmiary rosną liniowo, podczas gdy dla tych samych rodzin funkcji rozmiary standardowych BDD rosną wykładniczo. W rozprawie rozpatrzono po raz pierwszy w literaturze nieliniowe transformacje BDD i wiele wariantów diagramów opartych na tych transformacjach. Zaprezentowano tego rodzaju uogólnienia wielu wariantów diagramów znanych z literatury. Przedstawiono badania zmierzające do znalezienia heurystycznych metod dających szanse otrzymywania diagramów decyzyjnych o mniejszych rozmiarach niż znane do tej pory. Podano także wyniki eksperymentów, których celem było sprawdzenie efektywności tego podejścia. Rozpatrzono i zbadano uogólnienie algorytmu dynamicznej redukcji rozmiarów diagramów, znanego pod nazwą Sifting, otrzymane przez dodanie do siftingu nieliniowych transformacji (definiujących sposób przedstawienia węzłów w kolejnych dwóch lub trzech poziomach diagramu). W dalszej części rozprawy wykorzystano wprowadzone we wcześniejszych rozdziałach uogólnienia diagramów decyzyjnych (ang. Function-driven decision diagrams) do opracowania algorytmu syntezy układów logicznych odwracalnych (ang. reversible). Algorytm ten oparty jest na zaproponowanej przez autora nowej koncepcji miary złożoności układów odwracalnych. Został on zaprogramowany, a wyniki eksperymentalne dla układów o trzech wejściach i trzech wyjściach zamieszczono w pracy i porównano je z opublikowanymi wcześniej w literaturze, pokazujac, że przedstawiony tu algorytm daje zmniejszenie kosztów układów. Dwa rozdziały poświęcone są pionierskim badaniom nad uniwersalnością i efektywnością bramek odwracalnych, m.in. podano konstrukcję bramek o maksymalnej efektywności. Wyniki tych prac były już wielokrotnie cytowane w publikacjach innych autorów.