Kułakowski, Konrad
Loading...
Email Address
Employee
aktywny
Alternative name
Discipline
informatyka techniczna i telekomunikacja
informatyka
informatyka
Author Profiles
Systemy AGH
6 results
Search Results
Now showing 1 - 6 of 6
Item type:Article, Access status: Open Access , Concurrent systems modeling with CCL(Wydawnictwa AGH, 2012) Kułakowski, KonradJednym z podstawowych zadań związanych z inżynierią oprogramowania jest szukanie nowych i optymalizacja istniejących metod modelowania systemów informatycznych. Przedstawiona w pracy notacja CCL stara się wpisywać w ten nurt badań. Prezentowane podejście pokazuje jej użyteczność w kontekście użycia metod strukturalnych (diagramy przepływu danych) do modelowania złożonych systemów informatycznych. Podstawą proponowanej integracji pomiędzy CCL i metodami modelowania strukturalnego jest nowowprowadzone pojęcie eksternalizacji. Pozwala ono abstrahować od szczegółów implementacyjnych komunikacji międzyprocesowej, redukując tym samym wielkość modeli podlegających dalszej weryfikacji. Dzięki przyjętemu rozwiązaniu modele stają się bardziej czytelne dla projektantów, oraz dzięki znaczącej redukcji przestrzeni stanów, możliwe staje się efektywne wykorzystanie metod formalnych w celu ich dalszej analizy.Item type:Article, Access status: Open Access , Architektura autonomicznego robota mobilnego z dynamicznym modelem świata(Wydawnictwa AGH, 2008) Kułakowski, Konrad; Wąs, Jarosław; Szpyrka, MarcinSkuteczne działanie autonomicznego robota mobilnego zależy w dużym stopniu od umiejętności planowania swoich ruchów tak, aby osiągnąć założone cele. Istotną rolę w takim planowaniu odgrywa model otaczającego świata. Pozwala on z jednej strony na przechowywanie wiedzy o świecie, z drugiej zaś, na efektywne planowanie sekwencji ruchów dopuszczalnych. W prezentowanej pracy autorzy pragną przedstawić projekt ogólnej architektury inteligentnego systemu sterowania autonomicznym robotem mobilnym, wykorzystujący dynamiczny model świata skonstruowany z wykorzystaniem wiedzy w postaci automatu komórkowego.Item type:Article, Access status: Open Access , Dynamiczny model świata w sterowaniu autonomicznym robotem mobilnym(Wydawnictwa AGH, 2008) Kułakowski, Konrad; Wąs, Jarosław; Szpyrka, MarcinSkuteczne działanie autonomicznego robota mobilnego zależy w dużym stopniu od umiejętności planowania swoich ruchów tak, aby osiągnąć założone cele. Istotną rolę w takim planowaniu odgrywa model otaczającego świata. Pozwala on z jednej strony na przechowywanie wiedzy o świecie, z drugiej zaś, na efektywne planowanie sekwencji ruchów dopuszczalnych. W prezentowanej pracy autorzy rozważają model reprezentacji świata w postaci automatu komórkowego. W pracy zaprezentowano również studialny, prosty algorytm sterujący robotem dla problemu planowania ścieżki.Item type:Article, Access status: Open Access , Modelowanie systemów czasu rzeczywistego w UML(Wydawnictwa AGH, 2008) Kułakowski, Konrad; Kostrzewa, MarekMost of the early real time systems have been implemented entirely in hardware. Gradually real time systems have becoming mixed software-hardware solutions. At present, software has a dominant position and frequently decides about almost the whole functionality of the given system. Growing importance of software in real time systems makes room for software engineering techniques supporting theirs development. In this paper authors try to go quickly through software supporting development of real time reactive systems. A special attention is drawn to the object oriented tools and methods. On the background of the other solutions the home grown utility package RAT (Reactive Appliance Toolkit) is presented.Item type:Article, Access status: Open Access , Robust - model komunikacji Mindstorms NXT-PC(Wydawnictwa AGH, 2009) Kułakowski, KonradSuccessful working of mobile robot highly depends on robust and reliable signals processing coming from the environment. An important part of such processing is the mechanism responsible for passing the readings from a sensor to a control unit. The aim of the article is to present a communication model between Lego Mindstorms NXT and PC computer defined on the top of the Bluetooth protocol. The model is implemented in Robust platform - a Lejos library facilitating efficient communication between NXT and PC.Item type:Article, Access status: Open Access , Architektura systemu modelowania dynamiki pieszych(Wydawnictwa AGH, 2009) Kułakowski, Konrad; Wąs, JarosławThe article presents a concept of architecture of pedestrians dynamics system. It is build on the base of authors experiences and requirements of modern software engineering. The first part contains existing models of pedestrians dynamics, while in the second part new architecture model based on UML diagrams is proposed. The paper presents also application, which was build according to assumptions.