ROZPROSZONE TRANSFORMACJE GRAFOWE TEORIA I ZASTOSOWANIA

ISBN: 978-83-7464-630-7

142 stron
format: B5
oprawa: miękka
Rok wydania: 2013

Grafy są intuicyjnym formalizmem pozwalającym na opisanie systemów składających się z wielu obiektów o różnorodnych charakterystykach powiązań pomiędzy nimi. Obiekty zwykle reprezentowane są jako wierzchołki grafu, relacje wyrażone są jako krawędzie, dodatkowe własności zapamiętywane są jako atrybuty zarówno wierzchołków jak i krawędzi. Zmiany w tak opisanym systemie mogą być specyfikowane jako wykonanie transformacji grafowych przekształcających graf źródłowy na graf docelowy. W pierwszej części monografii zasygnalizowano podstawowe typy transformacji mające znaczenie praktyczne.Przy dużych rozmiarach grafów użyteczne wydaje się równoległe wykonywanie transformacji. Formalne podstawy rozwiązania wspomagającego automatyczną synchronizację (ang. implicit synchronization) równoległych transformacji grafowych w środowisku rozproszonym wprowadzono w drugiej części monografii. Omówiona zostanie również koncepcja grafów komplementarnych (ang. complementary graphs) i wywodząca się z niej koncepcja grafów ciętych (ang. slashed graps) oraz synchronizacja bazująca na sprzężeniu gramatyk grafowych. Przeanalizowano też problem optymalnego podziału grafu scentralizowanego na rozproszone podgrafy komplementarne lub cięte.W trzeciej ostatniej części monografii przedstawione zostaną przykłady praktycznych zastosowań omawianych w części drugiej transformacji rozproszonych. Dotyczą one zagadnień:- wspomagania projektowania wnętrz,- projektowania inteligentnych systemów oświetleniowych,- integracji systemów projektowania zewnętrznego (ulice, szkielety budynków)z projektowaniem wewnętrznym.

SPIS TREŚCI

Streszczenie

Summary

Wykaz ważniejszych symboli

Wstęp
1. Scentralizowane transformacje grafowe
1.1. Podejście algorytmiczne
1.1.1. Gramatyki typu NLC
1.1.2. Przykład zastosowania gramatyk typu NLC
do specyfikacji systemu rozproszonego
1.2. Algebraiczne transformacje grafowe
1.2.1. Transformacje oparte na konstrukcji double pushout
1.2.2. Transformacje oparte na konstrukcji single pushout
1.3. Reprezentacja hipergrafowa
1.4. Synchronizacja opisu grafowego
ze zmianami opisywanego środowiska

2. Rozproszone transformacje grafowe - teoria
2.1. Koncepcj a komplementarnych
i częściowo zreplikowanych grafów
2.1.1. Modyfikacja granic pomiędzy grafami komplementarnymi
2.1.2. Środowisko wieloagentowe
wspierające koncepcję grafów komplementarnych
2.1.3. Rozproszone transformacje grafowe
2.2. Efektywność inicjalnego podziału grafu
na podgrafy komplementarne
według zadanego kryterium
2.2.1. Algorytm stochastycznej generacji
2.2.2. Algorytmy podziału
2.3. Grafy cięte
2.3.1. Procedura inkorporacji w reprezentacji ciętej
2.3.2. Testy wydajności
2.3.3. Podsumowanie
2.4. Sprzężenie gramatyk
2.4.1. Rygorystycznie sprzężone gramatyki grafowe
-podstawy formalne
2.4.2. Transakcyjnie sprzężone gramatyki grafowe

3. Zastosowanie rozproszonych
gramatyk grafowych
3.1. Wspomaganie projektowania
3.2. Projektowanie zewnętrzne
i współpraca systemów projektowania
zewnętrznego i wewnętrznego
3.3. Inteligentne systemy oświetleniowe

4. Podsumowanie

Bibliografia