Wyznaczanie optymalnego oświetlenia wspomagane metodami formalnymi

Szczegóły
Opis

Tytuł:: Wyznaczanie optymalnego oświetlenia wspomagane metodami formalnymi
Optimal Lighting Design Supported by Formal Methods
Autorzy:: Sędziwy, A.
Powiązania:: https://bibliotekanauki.pl/articles/274589.pdf
Data publikacji:: 2011
Wydawca:: Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
Tematy:: inteligentne sterowanie oświetleniem
LED
graf
hipergraf
system wieloagentowy
intelligent lighting control
graph
hypergraph
multi-agent system
Źródło:: Pomiary Automatyka Robotyka; 2011, 15, 12; 135-136
1427-9126
Język:: polski
Prawa:: Wszystkie prawa zastrzeżone. Swoboda użytkownika ograniczona do ustawowego zakresu dozwolonego użytku
Dostawca treści:: Biblioteka Nauki
: Artykuł

Przejdź do źródła

W niniejszym artykule przedstawiam kierunki swoich badań oraz motywację ich podjęcia. Dotyczą one budowy formalnego modelu wspierającego tworzenie inteligentnych systemów projektowania i sterowania oświetleniem ulicznym.

The article presents my recent work and its future direction including their motivation and background. Developing formal methods underlying intelligent systems of design and control of street lighting are in my research area.

Informacja

Powiązane pozycje