Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników

Znaleziono wyników: 3

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

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
1
Content available remote Zestawienie i porównanie automatów probabilistycznych i kwantowych
PL
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.
EN
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.
2
Content available remote Próba formalizacji opisu transformacji systemów gospodarczych i prawnych
PL
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.
EN
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.
PL
W pracy pokazano możliwość wspomagania analizy poprawności oprogramowania systemów reaktywnych. Pokazano translację między specyfikacją systemu w języku SDL (FSM) a algebrą procesów CCS oraz opisano koncepcję dowodzenia poprawności (bisymulacji). Rozważania prowadzone są na znanym w literaturze przykładzie systemu obronnego krążownika rakietowego.
EN
An application of process algebra (CCS) supporting design of correct software for reactive systems is presented in the paper. A translation between SDL (FSM) diagrams and process algebra is shown and a concept of correctness (bisimulation) proving is given. All the considerations are carried out using well-known Naval Vessel problem.
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ć.