Grafowy model formalny współbieżnego projektowania oświetlenia
ulicznego
Jednym z problemów, w rozwoju systemów informacyjnych jest ogromna podaż danych, oraz niewielka ilość metod, umożliwiających ich wydajne przetwarzanie. Niniejsza praca wprowadza nowy aparat formalny, pozwalający na modelowanie problemów o dowolnej skali. Dzięki zastosowaniu struktur grafowych i reguł ich transformacji, możliwy jest podział problemu na mniejsze zadania Daje to możliwość wykonania obliczeń w akceptowalnym czasie i uzyskanie optymalnych rozwiązań. Praca wprowadza dwie nowe struktury grafowe: IAG (ang. Infrastructure Abstract Graph), służący do modelowania strukturalnego, oraz KAG (ang. Knowledge Abstract Graph), używanego do definiowania wiedzy. Grafy te mogą zostać wykorzystane do modelowania dowolnego problemu, w pracy zaprezentowano przykład związany z oświetleniem, oraz przykład z obszaru finansów. Oprócz wprowadzenia reguł transformacji, zdefiniowano pojęcie kontekstu przetwarzania i mechanizmu opóźnionej produkcji. Te dwa generyczne mechanizmy pozwalają na efektywną czasowo analizę i obróbkę danych. Na końcu pracy zdefiniowano środowisko agentowe. Za jego pomocą przetworzono rzeczywiste dane z Krakowa. Dla potwierdzenia skuteczności zaproponowanych reprezentacji, porównano trzy algorytmy wyszukiwania optymalnej konfiguracji oświetleniowej. Zaproponowane metody pozwoliły uzyskać 57% poprawę efektywności względem stanu początkowego inwestycji.
Formal Graph Model for Concurrent Roadway Lighting Design
One of the problems nowadays is big set of information, and lack of formal methods, which allow to systematic and efficient process them. This work introduces new formal approach, which allows to model problem of any scale. Thanks to the use of proposed graph structures and rules of transformation, it is possible to divide the problem, into smaller tasks Such an approach gives the possibility to perform scalable calculations in acceptable time. The paper introduces two new graph structures: IAG (Infrastructure Abstract Graph) used for structural modelling, and KAG (Knowledge Abstract Graph) used to define knowledge. These graphs can be used to model any problem. The paper presents example from the lighting and finance area. In addition, the concept of "processing context" and "delayed production mechanism" has been defined. These two mechanisms allow for generic approach of data processing and use partial results to speed up calculations. At the end of the work, the agent environment dedicated to IAG and KAG graphs processing was defined. It was used to process real data concerning lighting infrastructure (Cracow). Graphs created by system had several thousand vertices and millions edges. The proposed methods allowed to achieve a 57% improvement in efficiency.
