Rozproszone transformacje grafowe. Teoria i zastosowania

Rozproszone transformacje grafowe. Teoria i zastosowania

rok wydania: 2013
ilość stron: 144
format: B5
ISBN: 978-83-7464-630-7
oprawa: miękka

W pierwszej części monografii przedstawiono podstawowe typy transformacji mające znaczenie praktyczne. Formalne podstawy rozwiązania wspomagającego automatyczną synchronizację równoległych transformacji grafowych w środowisku rozproszonym wprowadzono w drugiej części monografii.

Omówiono koncepcję grafów komplementarnych i wywodzącą się z niej koncepcję grafów ciętych oraz synchronizację bazującą na sprzężeniu gramatyk grafowych. Przeanalizowano też problem optymalnego podziału grafu scentralizowanego na rozproszone podgrafy komplementarne lub cięte.

W trzeciej części monografii przedstawiono przykłady praktycznych zastosowań omawianych transformacji rozproszonych (wspomaganie projektowania wnętrz, projektowanie inteligentnych systemów oświetleniowych, integracja systemów projektowania zewnętrznego z projektowaniem wewnętrznym).

Spis treści

Streszczenie / 9
Summary / 10
Wykaz ważniejszych symboli / 11

Wstęp / 13

1. Scentralizowane transformacje grafowe  / 17
1.1.Podejście algorytmiczne / 19
1.1.1. Gramatyki typu NLC / 21
1.1.2. Przykład zastosowania gramatyk typu NLC do specyfikacji systemu rozproszonego / 23
1.2. Algebraiczne transformacje grafowe / 29
1.2.1. Transformacje oparte na konstrukcji double pushout / 32
1.2.2. Transformacje oparte na konstrukcji single pushout / 38
1.3. Reprezentacja hipergrafowa / 42
1.4. Synchronizacja opisu grafowego ze zmianami opisywanego środowiska / 48

2. Rozproszone transformacje grafowe – teoria / 54
2.1. Koncepcja komplementarnych i częściowo zreplikowanych grafów / 56
2.1.1. Modyfikacja granic pomi ̨edzy grafami komplementarnymi / 60
2.1.2. Środowisko wieloagentowe wspieraj ̨ace koncepcj ̨e grafów komplementarnych / 62
2.1.3. Rozproszone transformacje grafowe / 68
2.2. Efektywność inicjalnego podziału grafu na podgrafy komplementarne według zadanego kryterium / 72
2.2.1. Algorytm stochastycznej generacji / 73
2.2.2. Algorytmy podziału / 78
2.3. Grafy ci ̨ete / 81
2.3.1. Procedura inkorporacji w reprezentacji ci ̨etej / 85
2.3.2. Testy wydajności / 87
2.3.3. Podsumowanie / 89
2.4. Sprzężenie gramatyk / 90
2.4.1. Rygorystycznie sprz ̨ężone gramatyki grafowe – podstawy formalne / 91
2.4.2. Transakcyjnie sprzężone gramatyki grafowe / 99

3. Zastosowanie rozproszonych gramatyk grafowych / 100
3.1. Wspomaganie projektowania / 100
3.2. Projektowanie zewn ̨etrzne i współpraca systemów projektowania zewn ̨etrznego i wewn ̨etrznego / 111
3.3. Inteligentne systemy oświetleniowe / 121

4. Podsumowanie / 134

Bibliografia  / 137

Informacje o bezpieczeństwie produktu Informacje o producencie