Search Results

Now showing 1 - 7 of 7

Access status: Open Access ,
Stochastyczne metody generacji IE-grafów
(Wydawnictwa AGH, 2008) Kotulski, Leszek; Sędziwy, Adam
W artykule omówiono metody probabilistycznej generacji struktur grafowych, tzw. IE-grafów, stanowiących formalizm dla opisu szerokiego spektrum problemów, w szczególności w dziedzinie rozpoznawania obrazów. W pracy przedstawione zostały metody opisu (za pomocą tzw. deskryptorów) oraz własności otrzymanych IE-grafów. Prezentowane metody generacji pozwalają na tworzenie struktur o zadanych właściwościach.
Access status: Open Access ,
Parallel allocation of the distributed software using node label controlled graph grammars
(Wydawnictwa AGH, 2008) Kotulski, Leszek
Centralization of a graph's data is useful while we consider properties of some system specification but it seems to be not acceptable in the case of the support an efficient, high reliably system with a dynamic software allocation. In the paper, we introduce the aedNLC graph grammar, that has both polynomial computational complexity and enough descriptive power to coordinate parallel modification of a few local graphs (representing parts of the system), in such a way that the global consistency of the distributed system specification can be maintained.
Access status: Open Access ,
Towards AI-based distributed lighting control systems
(Wydawnictwa AGH, 2012) Wojnicki, Igor; Sędziwy, Adam; Kotulski, Leszek
Artykuł przedstawia podejście nastawione na maksymalizację korzyści płynących z zastosowania zaawansowanych systemów oświetlenia tj. poprawę wydajności energetycznej (np. zmniejszenie poboru energii) oraz polepszenie jakości życia. Proponowane rozwiązanie, bazujące na koncepcji inteligentnego sterowania, udostępnia funkcje dotychczas niespotykane w oferowanych komercyjnie produktach. Problemem, w przypadku systemów oświetlenia, jest duża złożoność obliczeniowa algorytmów sterujących. Związane jest to z rozbudowaną przestrzenią stanów dla takiego systemu reprezentującą różne profile oświetlenia, parametry pracy punktów świetlnych oraz warunki środowiska. Zaproponowane podejście rozwiązuje ten problem poprzez zastosowanie dekomponowalnej reprezentacji gra-fowej oraz środowiska wieloagentowego przetwarzającego takie grafy. Istotnym elementem rozwiązania jest system regułowy określający parametry sterowania dla poszczególnych punktów świetlnych w zależności od zapotrzebowania.
Access status: Open Access ,
Intelligent city lighting supported by graph-based multiagent system
(Wydawnictwa AGH, 2013) Sędziwy, Adam; Kotulski, Leszek
Rosnące koszty energii, a także troska o środowisko naturalne stymulują rozwój technologii zmniejszających zużycie energii. W artykule dyskutowany jest inteligentny system oświetlenia miejskiego, którego celem jest dostosowywanie pracy oświetlenia do aktualnych potrzeb. Osiąga się to przez podejmowanie odpowiednich akcji w warunkach zmiany stanu środowiska, ale także przez predykcję jego stanu, na podstawie otrzymywanych danych sensorycznych. Złożoność obliczeniowa tak postawionego zadania sterowania wymaga użycia formalnego modelu systemu, pozwalającego na dekompozycję problemu i zrównoleglenie obliczeń.
Access status: Open Access ,
Zastosowanie gramatyk grafowych typu double pushout w środowisku GRADIS
(Wydawnictwa AGH, 2009) Kotulski, Leszek; Sędziwy, Adam
Parallel graph computations improve a system effectiveness. GRADIS multiagent framework is offered to support this idea. In the paper we evaluate an overhead generated by a cooperation in a set of the agents in the distributed environment, for the case of the one of most popular graph grammars - double pushout grammar.
Access status: Open Access ,
Introduction to modelling embedded systems with Alvis
(Wydawnictwa AGH, 2011) Szpyrka, Marcin; Matyasik, Piotr; Mrówka, Rafał; Witalec, Wojciech; Baniewicz, Jarosław; Kotulski, Leszek
Alvis jest językiem modelowania rozwijanym z myślą o systemach współbieżnych w szczególności systemach wbudowanych. Łączy on w sobie graficzny język modelowania, przeznaczony do definiowania połączeń komunikacyjnych między agentami, z językiem programowania wysokiego poziomu, przeznaczonym do definiowania zachowania poszczególnych agentów. W artykule przedstawiono wybrane aspekty modelowania systemów wbudowanych z użyciem języka Alvis.
Access status: Open Access ,
Algorytm scalania diagramów stanu w modelowaniu systemów wbudowanych
(Wydawnictwa AGH, 2011) Kotulski, Leszek; Sędziwy, Adam
W artykule przedstawiono aspekt implementacyjny algorytmu scalania grafów stanu, modelujących kooperujące systemy wbudowane, a także wykazano jego wielomianową złożoność. Znajomość takiego grafu jest istotna, ponieważ pozwala na analizę zachowania złożonego systemu, a w szczególności na wykrywanie sytuacji niepożądanych, takich jak zakleszczenia. Nawet dla małej liczby prostych podsystemów, o niewielkiej liczbie stanów, diagram otrzymany w wyniku scalenia może charakteryzować się znaczna liczbą stanów, co praktycznie wyklucza jego ręczną generację. Z tego powodu niezbędne jest posiadanie narzędzia umożliwiającego automatyzację tego procesu.

Kotulski, Leszek

Email Address

Employee

Alternative name

Discipline

Author Profiles

Systemy AGH

Filters

Advanced Search

Filter by

Settings

Sort By

Results per page

Search Results