Wyniki wyszukiwania - Biblioteka Nauki

Ten serwis zostanie wyłączony 2025-02-11.

Nowa wersja platformy, zawierająca wyłącznie zasoby pełnotekstowe, jest już dostępna.
Przejdź na https://bibliotekanauki.pl

Ograniczanie wyników

Znaleziono wyników: 2

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: bisymulacja

Sortuj według:

Ogranicz wyniki do:

Zestawienie i porównanie automatów probabilistycznych i kwantowych

100%

Siedlecka-Lamch O.

Studia i Materiały / Europejska Uczelnia Informatyczno-Ekonomiczna w Warszawie

2017

tom Nr 1(13)

77--83

Większość systemów informatycznych można modelować z wykorzystaniem różnego rodzaju automatów skończonych: deterministycznych, niedeterministycznych, probabilistycznych itp. Automaty te można badać pod kątem osiągalności określonych stanów i dzięki temu sprawdzać, czy system może znaleźć się w stanie krytycznym, błędnym, niechcianym. Mamy również możliwość dokonania operacji minimalizacji automatów. Praktycznie ogranicza się to do znalezienia stanów nadmiarowych i nieosiągalnych – dzięki czemu mamy również sposobność zminimalizować oryginalny, modelowany system, zaoszczędzić na dokonywanych operacjach, pamięci, a nawet sprzęcie.

Most IT systems can be modeled with the use of various types of finite automata: deterministic, non-deterministic, probabilistic, etc. These automatons can be tested for reachability of certain states and thus we can check whether the system can be in a critical, erroneous or unwanted state. We also have the ability to perform the operation of automata minimization. Practically, this is limited to finding redundant and unreachable states – so we also have the opportunity to minimize the original, modeled system, save on operations amount, memory, and even hardware.

Próba formalizacji opisu transformacji systemów gospodarczych i prawnych

84%

Korczyński W. , Ziąber P.

Zagadnienia Techniczno-Ekonomiczne

2003

tom T. 48, z. 2

475--484

W pracy zaproponowano modelowanie systemów gospodarczych i prawnych przez hipergrafy, a transformacji tych systemów przez tzw. bisymulacje. Podejście to pozwala do opisu używać dobrze rozpoznanych metod algebry.

In the paper a kind of modeling of economical and legal systems by means of hypergraphs and bisimulations is proposed. The approach allows for using of well known algebraic methods for such a description of these systems and their transformations.