Tematyka prac dyplomowych magisterskich prowadzonych w IAiIS

Tematyka prac dyplomowych magisterskich
prowadzonych w IAiIS na studiach dziennych
Sem. 13L (opieka od sem. 13L)
Opiekun
Limit
miejsc
Tematyka prac
Zespół Technik Sterowania
prof. P. Tatjewski
2
•
Badanie algorytmów regulacji predykcyjnej z wielomianową reprezentacją trajektorii sterowania (adaptacja implementacji programowej, interfejs użytkownika, badania porównawcze na
przykładach
dr P. Domański
2
•
Sterowanie adaptacyjne kotła wielopaliwowego przy zmiennych ograniczeniach emisyjnych
mgr J. Gustowski
2
•
Programowanie zadań dla serwera OPC w zakresie sterowania obiektami przemysłowymi
•
Programowanie zadań dla serwera OPC w zakresie zbierania, magazynowania i prezentacji
zmiennych procesowych
•
Rozproszony system SCADA do nadzoru, akwizycji danych i sterowania procesem przemysłowym
dr P. Marusak
2
•
Zastosowanie rozmytych modeli Takagi-Sugeno w strukturach sterowania nieliniowych obiektów regulacji z optymalizacją punktu pracy kooperującą z algorytmami regulacji predykcyjnej
dr M. Ławryńczuk
2
•
Modele neuronowe w algorytmach regulacji predykcyjnej
1
•
–
Programowanie genetyczne jako metoda syntezy modeli do regulacji predykcyjnej
mgr U.Kręglewska
Zespół Złożonych Systemów
prof. K. Malinowski
2
•
Optymalizacja działania pomp i innych elementów systemu zaopatrzenia w wodę aglomeracji
miejskiej, zorientowana na oszczędność energii, uproszczenia modeli matematycznych, sieci
zaopatrzenia, heurystyczne reguły harmonogramowania pracy pomp itp.
prof. E.NiewiadomskaSzynkiewicz
2
•
Realizacja i badania algorytmów aktywności węzłów w laboratoryjnej sieci sensorycznej
•
Bezprzewodowa sieć czujników do monitorowania środowiska
•
Algorytmy bezpiecznej transmisji w sieciach bezprzewodowych ad hoc
•
Równoległy solwer optymalizacji globalnej działający na procesorze graficznym (GPU)
•
Równoległe algorytmy do analizy sieci społecznych na procesorach graficznych (GPU)
•
Wykorzystanie języka reguł biznesowych do monitorowania bezpieczeństwa systemów komputerowych
dr T. Kruk
2
doc. A .Woźniak
1
•
Porównanie efektywności algorytmów optymalizacji hard computing i soft computing
dr M.Warchoł
1
•
Sterowanie optymalne zasobnikiem ciepła w elektrociepłowni. Uwzględnienie ograniczeń na
przyrosty mocy
•
Koordynacja bezpośrednia z wykorzystaniem subgradientu (dla niegładkiego zadania lokalnego)
•
Optymalizacja zdekomponowana metodą równoległego rozkładu zmiennych
•
Algorytmy koordynacji w różnych wersjach metody Bendersa dla zadań optymalizacji nieliniowej ciągłej i mieszanej
•
Algorytmy koordynacji w różnych wersjach metody cen dla zadań optymalizacji nieliniowej
ciągłej i mieszanej
•
Równoległy solwer do rozwiązywania zadań sterowania optymalnego oparty na metodzie
strzałów
•
Niehierarchiczna optymalizacja zdekomponowana z wykorzystaniem kart graficznych
•
Wykorzystanie metod aproksymacji ciągłej w zadaniach optymalnej syntezy reguł decyzyjnych
dr A.Karbowski
dr P.Arabas
2
1
•
Narzędzie do analizy niezawodności infrastruktury sieciowej
Celem pracy jest zaprojektowanie i implementacja narzędzia pozwalającego zbudować i badać sieć połączeń między systemami autonomicznymi na pewnym obszarze (typowo w obrębie kraju).Jako dane wejściowe należy wykorzystać ogólnodostępne źródła, przede wszystkim serwery route-view oraz rejestr
-1-
RIPE IRR. Przewiduje się wykorzystanie technik typowych dla sieci społecznych w celu analizy struktury
połączeń i oceny na ile ogólnodostępne źródła danych są wystarczające dla wykrycia np. węzłów i połączeń o krytycznym znaczeniu.
dr M.Kamola
1
•
Analiza triad w serwisach społecznościowych
Celem pracy jest określenie czynników decydujących o tworzeniu się kompletu powiązań pomiędzy trójkami osób („przyjaciel mojego przyjaciela jest moim przyjacielem”) w serwisie społecznościowym. Należy
wykonać narzędzie do pobierania danych z serwisu, a następnie obserwować dynamikę powiązań (list
znajomych) przez pewien okres, konfrontując ją z zachowaniem tych osób na blogach w tym serwisie.
•
Eksploracja rejestru zadań whois
Celem pracy sprecyzowanie rodzajów zachowań użytkowników sieci, odpytujących usługę whois.
W szczególności należy wyznaczyć kryteria segmentacji użytkowników (np. rekreacyjni, okazjonalni, zarobkujący). Eksploracja danych powinna uwzględniać semantykę i dynamikę zapytań tak, aby umożliwić
dostawcy usługi whois antycypowanie zachowań klienta i optymalizację wydajności serwisu.
•
Techniki estymacji przepływów IP a ruch drogowy
Celem pracy jest weryfikacja możliwości zastosowania technik estymacji macierzy ruchu IP do identyfikacji głównych relacji w ruchu drogowym. Należy dostosować istniejące algorytmy do specyfikacji zadania
(mała i zmienna szybkość obiektów), dokonać testów poprawności w środowisku symulacyjnym. Następnie należy sprawdzić wydajność algorytmu dla ogólnodostępnych danych rzeczywistych.
dr B.Kubica
dr A.Kozakiewicz
2
1
•
Porównanie różnych bibliotek i narzędzi do synchronizacji wątków
•
Obliczanie wartości własnych macierzy przedziałowych
•
Porównanie metod rozproszonej implementacji wnioskowania uprawnień w języku RT^T
•
Sieć neuronowa do wykrywania robaków sieciowych
•
Sygnatury robaków sieciowych w formie drzew decyzyjnych
Zespół Biometrii i Uczenia Maszynowego
prof. A.Pacut
2
dr A.Czajka
dr P.Wawrzyński
1
2
dr J. Putz-Leszczyńska
1
•
Tworzenie wzorca tęczówki z wykorzystaniem marszczenia przestrzennego
•
–
Tworzenie kodu twarzy na podstawie elementów portretów pamięciowych
•
Uczenie się ze wzmocnieniem w impulsowych sieciach neuronowych – porównanie podejść
•
Adaptacyjne planowanie trajektorii w robotyce – porównanie podejść
•
Biometria podpisu odręcznego: wpływ długości podpisu na utratę cech behawioralnych podpisu on-line
•
Modelowanie trójwymiarowych gestów/sekwencji ruchów za pomocą ukrytych modeli Markowa
Zespół Inżynierii Oprogramowania
prof. K.Sacha
dr A.Zalewski
2
2
─
•
•
Baza wiedzy wspierająca weryfikację architektury oprogramowania
Metoda analizy i oceny architektury korporacyjnej reprezentowanej w języku Archimate
Bliższe informacje o tematach i warunkach współpracy można znaleźć na stronie
http://www.ia.pw.edu.pl/~azalews2/tutoring.html
dr M.Szlenk
2
•
Tworzenie i wykorzystanie wewnętrznych języków dziedzinowych (ang. internal DSL)
dr A.Ratkowski
2
•
Ocena jakości architektury systemu IT opartego na pryncypiach SOA
Zespół Badań Operacyjnych i Systemów Zarządzania
prof. E.Toczyłowski
doc. T. Traczyk
2
2
•
System optymalizacji planowania łańcucha dostaw w warunkach rynkowej konkurencji
•
Wieloagentowy system wymiany rynkowej usług i realokacji zasobów sieci teleinformatycznej
•
Modele i algorytmy aukcji wielotowarowych w rozwoju mechanizmów rynków bilansujących
•
Zastosowanie hyperheurystyk do problemu szeregowania zadań w systemach równoległych
•
Analiza możliwości zastosowania ontologii w metadanych zasobów cyfrowych
•
Zastosowanie ontologii rynku energii do uzgadniania ofert handlowych
Bliższe informacje o tematach i warunkach współpracy można znaleźć na stronie
http://www.ia.pw.edu.pl/~ttraczyk/opieka.html
dr K. Pieńkosz
2
•
Algorytmy dekompozycji sieci przepływowych
•
Metody optymalizacji realizacji połączeń w sieciach teleinformatycznych
-2-
dr G.Płoszajski
dr M.Kaleta
1
2
─
•
Projekt biblioteki do mechanizmów rynkowych
W ramach pracy należy zaprojektować bibliotekę programistyczną (API) implementującą mechanizmy
rynkowe (aukcyjne, giełdowe). Biblioteka powinna bazować na pracach dotyczących parametryzacji mechanizmów rynkowych i umożliwiać jej rozbudowywanie o nowe mechanizmy.
•
Projekt systemu zarządzania przedsięwzięciami o otwartym kodzie
Projekt zmierza do opracowania oprogramowania wspierającego zarządzanie projektami (harmonogramowanie czynności, przydział zasobów) o otwartym kodzie. Praca dyplomowa będzie fragmentem większego
projektu - zakres do ustalenia. Praca inż. może dotyczyć np. projektu modelu danych.
•
Modelowanie agentów z wykorzystaniem metody punktu referencyjnego
Praca polega na zastosowaniu wiedzy z optymalizacji wielokryterialnej na potrzeby budowy interfejsu użytkownika, który definiuje cele dla agenta programowalnego. Metoda punktu referencyjnego ma służyć jako
metoda pozyskiwania informacji o preferencjach użytkownika, które stanowią wskazówki do działania
agenta programowego.
•
Metodyka projektowania aplikacji w systemie AIMMS
Celem pracy jest opracowanie elementów metodyki projektowania aplikacji w systemie AIMMS. Należy
sprawdzić czy klasyczne metody projektowania aplikacji nadadzą się w tym przypadku. Opracować metodę dokumentacji kodu.
•
M3 i cXML - analiza porównawcza, możliwości integracji
M3 – Multi-commodity Market Model, cXML – http://cxml.org. Pierwszy standard opisuje dane niezbędne
do handlu, drugi jest to electronic business protocol. Praca dotyczy analizy możliwości integracji obu standardów.
•
•
Modelowanie procesu produkcyjnego w BPMN
Wieloagentowy symulator rynku energii elektrycznej
Celem pracy jest zaprojektowanie, implementacja i zbadanie możliwości symulatora. Implementacja powinna bazować na istniejącej już implementacji systemu wieloagentowego w środowisku JADE (Java
Agent DEvelopment Framework) oraz implementacji mechanizmu rynkowego w środowisku AIMMS.
•
Metodyka projektowania MAS
Praca obejmuje przegląd metody projektowania systemów wieloagentowych i propozycję metodyki autorskiej będącej synergią znanych metodyk (UML, BPMN, analiza i projektowanie oprogramowania).
•
Metody alokacji towarów w rozproszonym systemie handlowym
Bliższe informacje o tematach i o warunkach współpracy można znaleźć na stronie
http://zbois.ia.pw.edu.pl/twiki/bin/view/Staff/MariuszKaleta
dr K.Kołtyś
dr I.Żółtowska
1
2
–
•
Analiza cen energii przy modelach wyceny obrotu opartych na minimalizacji rekompensat
dr P.Pałka
2
•
Wykorzystanie koncepcji wieloagentowej do rozproszonego podejmowania decyzji w problemie szeregowania
Praca będzie polegała na przeglądzie algorytmów rozproszonych, które mogą posłużyć do rozwiązywania
problemu szeregowania za pomocą wielu agentów. Zakładamy, że: (i) każdy agent posiada niepełną wiedzę, dotyczącą przekonań pozostałych agentów; (ii) każdy agent posiada pewne preferencje, dotyczące
uszeregowania; (iii) zadaniem agentów, jest dostarczenie uszeregowania, satysfakcjonującego każdego
agenta. Dyplomant powinien zapoznać się z pojęciami: DCSP (Distributed Constraint Satisfaction Problem), competitive equilibrium, auction algorithm, multiagent system. Przykładem takiego problemu, może
być alokacja zasobów lotniskowych przez poszczególne linie lotnicze, rejestracja pacjentów do lekarza,
alokacja urządzenia laboratoryjnego do badań przez grupę naukowców etc.
•
Wykorzystanie teorii gier w problemach regulacyjnych
Praca będzie polegała na analizie wybranego problemu regulacyjnego, za pomocą kilku podejść: klasyczna regulacja, rozwiązanie scentralizowanego rozwiązania, zastosowanie koncepcji correlated equilibrium,
zastosowanie mechanizmu decyzyjnego (zachęty), zastosowanie algorytmu rozproszonego. Rozpatrywany
problem może dotyczyć np. zapewnienia dostatecznej ilości rezerw na rynku energii elektrycznej. Dyplomant powinien zapoznać się z pojęciami: gry, równowagi (Nash, correlated), mechanizmu, agenta.
Bliższe informacje o tematach i warunkach współpracy można znaleźć na stronie
http://zbois.ia.pw.edu.pl/twiki/bin/view/Staff/PiotrPalkaPL#Proponowane_tematy
Zespół Programowania Robotów i Systemów Rozpoznających
prof. C. Zieliński
prof. W.Kasprzak
–
•
Rozpoznawanie obiektów 3D w obrazach i mapach głębi (2)
Aplikacja przeznaczona do rozpoznawania wybranych obiektów 3D w obrazie wideo i mapie głębi.
-3-
•
Wizja komputerowa dla robota mobilnego (autonomicznego pojazdu) (2)
Wybrane zagadnienia: tworzenie mapy semantycznej otoczenia, system z bazą wiedzy do analizy obrazów.
•
Rozpoznawanie mowy (3)
Projektowanie wybranych funkcji systemu dialogowego mowy: zastosowanie algorytmów uczenia maszynowego do tekstu w języku polskim na zapis fonetyczny, detektor sylab w sygnale mowy, zarządzanie dialogiem w systemie dialogowym.
•
Auditory scene analysis
Detekcja i lokalizacja mówców w nagraniach dźwiękowych wykonanych za pomocą zestawu mikrofonów.
dr W.Szynkiewicz
dr T. Winiarski
•
Zastosowanie metod sztucznej inteligencji w planowaniu zadań manipulacji robotów z wykorzystaniem inteligentnych umiejętności sensorycznych
•
Systemy hybrydowe w planowaniu działań i sterowaniu robotów
•
Analiza i eksperymentalna weryfikacja algorytmów chwytania obiektów za pomocą trójpalczastej ręki Barrett Hand
•
Zastosowanie algorytmów losowych typu RRT (Rapidly Exploring Random Trees) w zintegrowanych systemach planowania chwytów i bezkolizyjnych ruchów robotów
•
Planowanie zadań dla autonomicznych robotów mobilnych
•
Robot rysownik – na podstawie zdjęcia bądź obrazu z kamery wyznacza obraz krawędziowy
(np. twarzy) i rysuje go na papierze
•
Regulator impedancyjny w przestrzeni zadania w manipulatorze Irp6
•
Zamykanie pudełek typu rubbermaid z wykorzystaniem sterowania pozycyjno siłowego
•
Korekta odczytu pozycji stawów manipulatora Irp6 na podstawie estymacji podatności przekładni i odczytów momentu w silniku
•
Dwuręczna manipulacja obiektami o różnej podatności
•
Kalibracja 6 osiowego czujnika siły
Bliższe informacje o tematach i warunkach współpracy można znaleźć na stronie
http://robotyka.ia.pw.edu.pl/twiki/bin/view/Theses/TomaszWiniarski
Zespół Optymalizacji i Wspomagania Decyzji
prof. W.Ogryczak
dr A.Stachurski
dr J.Granat
mgr J.Sobczyk
mgr T.Rogowski
dr T.Śliwiński
dr A.Krzemienowski
dr B.Kozłowski
1
•
Optymalizacja portfela z ryzykiem mierzonym wskaźnikiem Omega
•
Problemy planowania tras z zyskami (team orienteering problems)
•
Wspomaganie sprawiedliwego przydziału zadań
•
Zastosowanie technik optymalizacji wypukłej do problemu minimalizacji energii w widzeniu
komputerowym
•
Techniki ciągłego programowania nieliniowego w zastosowaniu do rozwiązania zadań harmonogramowania
•
Rozproszona minimalizacja funkcji kwadratowych za pomocą metod quasi-newtonowskich
•
Modele optymalizacyjne w problemie wyznaczania tras autobusów szkolnych
•
Algorytmy samozarządzania w Internecie Przyszłości
•
Algorytmy wyznaczania najlepszej ścieżki przy wielu kryteriach i ograniczeniach
•
–
–
Modele analizy odpornych rozwiązań w modelowaniu problemów decyzyjnych
•
Wielokryterialne algorytmy harmonogramowania
•
Optymalizacja strategii arbitrażu statystycznego na rynku Forex dla danych wysokiej częstości
•
Optymalizacja strategii inwestycji w opcje indeksowe notowane na Giełdzie Papierów Wartościowych w Warszawie w oparciu o współczynnik gamma (gamma scalping strategy)
•
Wielokryterialne podejście do rozmieszczenia punktów dostępowych sieci bezprzewodowej
•
Generator kodu usług bazodanowych aplikacji Internetowej umożliwiający wtrącenia – model
i przykłady
•
Wieloplatformowe narzędzia synchronizacji, wersjonowania i archiwizacji plików
-4-