Wyniki wyszukiwania - Biblioteka Nauki

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: 3

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: hierarchical graphs

Sortuj według:

Ogranicz wyniki do:

Hierarchical graphs in creative design

100%

Grabska E. , Palacz W. , Szyngiera P.

tom Vol. 9, No. 1/2

115-122

This paper is concerned with computational aspects of creative design. We propose a new representation of artifacts' structures: hierarchical graphs. This type of graphs enables to define a gluing operation. The proposed operation is illustrated by an example of designing gardens.

Wspomagana komputerowo specyfikacja i weryfikacja algorytmów sterownia obszarowego

75%

Kawalec P. , Sobieszuk-Durka S.

tom nr 4

CD-CD

W artykule zaprezentowano mechanizm tworzenia algorytmów sterowania ruchem drogowym w wybranym obszarze miasta z wykorzystaniem wspomagania komputerowego. W specyfikacji tych algorytmów wykorzystano grafy przejść automatów skończonych, w tym grafów hierarchicznych. Opracowane algorytmy adaptacyjnego sterowania obszarowego zostały wyspecyfikowane w edytorze FSM, pozwalającym na weryfikację poprawności działania algorytmu w trybie funkcjonalnej symulacji komputerowej. Przytoczono wyniki specyfikacji i weryfikacji opracowanych algorytmów, oraz ich implementacji w programowalnych strukturach logicznych FPGA.

The article presents a mechanism of creating algorithms of traffic control in a selected area of the city with the use of computer support. In the specification of these algorithms transition graphs of finite state machines have been used, including hierarchical graphs. Designed algorithms of adaptive area control have been specified in FSM editor, which allows verification of correctness of algorithm operation in the mode of functional computer simulation. Results of specification and verification of the designed algorithms have been quoted, as well as their implementation in programmable logic FPGA structures.

Metody i algorytmy obszarowego sterowania ruchem drogowym

63%

Kawalec P. , Sobieszuk-Durka S.

tom z. 80

21-47

W artykule przedstawiono wybrane metody obszarowego sterowania ruchem drogowym oraz opisano niektóre ze sposobów zapisu algorytmów srd. Dla rzeczywistego obszaru miasta zaprezentowano algorytm sterowania ruchem, utworzony z wykorzystaniem wspomagania komputerowego. Do specyfikacji algorytmu wykorzystano grafy przejść automatów skończonych, w tym grafy hierarchiczne. Opracowane algorytmy sterowania obszarowego zostały wyspecyfikowane w edytorze FSM, pozwalającym na weryfikację poprawności działania algorytmu w trybie funkcjonalnej symulacji komputerowej. Przytoczono wyniki specyfikacji i weryfikacji opracowanych algorytmów, oraz ich implementacji w programowalnych strukturach logicznych FPGA.

The article presents selected methods of area traffic control and describes some ways to record traffic control algorithms. A traffic control algorithm for a real city area is presented, using computer aided methods. Access graphs of finite automata, including hierarchical graphs have been used to specify the algorithm. Developed area traffic control algorithms have been specified in a FMS editor that allows to verify the correctness of the algorithm in a given functional computer simulation mode. The results of the specification and verification for developed algorithms and their implementations in FPGA devices have been quoted.