Tematyka prac dyplomowych inżynierskich dla specjalności I.SID

Tematyka prac dyplomowych inżynierskich
dla specjalności I.SID
Sem. 14L (opieka od sem. 14Z)
Opiekun
Limit
1
miejsc
Tematyka prac
Zespół Technik Sterowania
dr P. Domański
mgr J. Gustowski
dr P. Marusak
dr hab. M. Ławryńczuk
3
2
3
3
•
Analiza awaryjności urządzeń wykonawczych i prognozowanie ich naprawy
•
Przygotowanie oprogramowania do analizy i wizualizacji sprawności kotła parowego wraz
z szacowaniem możliwości jej poprawy
•
Baza danych do archiwizacji alarmów procesowych generowanych przez profesjonalny program typu SCADA (Winnic firmy Siemens)
•
Środowisko programistyczne integrujące różne zadania obsługi procesów przemysłowych (TIA
Portal)
•
Program do diagnostyki sterowników programowalnych rodziny SIMATIC
•
Aplikacja wspomagająca dobór kształtu funkcji przynależności regulatorów rozmytych,
z uwzględnieniem ich wpływu na jakość regulacji
•
Narzędzie programowe wspomagające projektowanie algorytmów regulacji predykcyjnej
bazujących na modelach o strukturze Hammersteina
•
Implementacja sieci neuronowych w środowisku sieci komputerowej
•
Symulacja układów regulacji procesów wielowymiarowych
•
Opracowanie systemu informatycznego do wspomagania przygotowania prezentacji
w systemie LaTeX
Bliższe informacje o tematach i warunkach współpracy można znaleźć na stronie
http://www.ia.pw.edu.pl/~maciek/dydaktyka
Zespół Złożonych Systemów
dr P. Arabas
2
•
Algorytmy oszczędzania energii dla rutera programowego
Celem pracy jest zidentyfikowanie poboru mocy przez ruter programowy zbudowany na bazie systemu
operacyjnego Linux. Przewiduje się badanie wpływu natężenia i rodzaju ruchy sieciowego przesyłanego
przez ruter na pobór mocy i obciążenie systemu w warunkach różnych częstotliwości zegara procesora.
Wynikiem pracy ma być zidentyfikowany model energetyczny rutera oraz zestaw reguł pozwalających na
dobór częstotliwości taktowania do obserwowanego poziomu ruchu i oczekiwanych parametrów jakościowych (opóźnień i strat pakietów).
•
Analiza zmienności tras BGP
Tematem pracy jest przeprowadzenie badań mających na celu określenie jaki wpływ na funkcjonowanie
(tj. wydajność, niezawodność) Internetu mają zmiany tras pomiędzy systemami autonomicznymi. Przewiduje się opracowanie zestawu narzędzi pozwalających w szczególności na obserwację zmienności tras
w wybranych ogólnodostępnych routerach, a także porównanie ich z deklaracjami dostępnymi w rejestrach
RIPE i całościowym obrazem sieci możliwym do zbudowania na podstawie informacji pochodzących z ogólnodostępnych sond projektu CAIDA.
prof. E. Niewiadomska
3
•
Formowanie mobilnej bezprzewodowej sieci ad hoc
Celem jest implementacja i eksperymentalna ocena wybranego algorytmu formowania sieci tworzonej
przez bezprzewodowe urządzenie pomiarowe. Przyjmuje się, że urządzenia mogą się przemieszczać
w przestrzeni roboczej. Efektem końcowym powinna być sieć spójna, która w miarę możliwości pokrywa
jak największy obszar. Oczekuje się wykonania środowiska oprogramowania, które pozwoli na przeprowadzenie badań symulacyjnych procesu formowania sieci. Wyniki formowania powinny być prezentowane
w postaci graficznej.
•
Zastosowanie chmur obliczeniowych do rozwiązywania zadań optymalizacji globalnej
Celem pracy jest implementacja wybranych populacyjnych metod optymalizacji globalnej (np. algorytmy
ewolucyjne, metody sterowanego przeszukiwania losowego itd.) w środowisku chmury obliczeniowej. Wykonane solwery zostaną wykorzystane do rozwiązania złożonych zadań optymalizacji.
dr hab. A. Karbowski
3
•
Optymalizacja zdekomponowana metodą równoległego rozkładu zmiennych
•
Implementacja w AMPL-u i badania porównawcze różnych wersji metody Bendersa dla zadań
optymalizacji nieliniowej
•
Implementacja w AMPL-u i badania porównawcze różnych wersji metody cen dla zadań optymalizacji nieliniowej
•
Podejście rekurencyjne do optymalizacji hierarchicznej
1
Liczba zaproponowanych tematów może być różna od limitu; limit stanowi górne ograniczenie, tj. każdy z pracowników może
przyjąć w tym naborze co najwyżej tylu nowych podopiecznych, ile wynosi limit.
-1-
dr M. Kamola
1
•
Implementacja regułowego języka zapytań 4QL na GPU
Regułowy język zapytań 4QL jest nowym narzędziem wnioskowania w logice czterowartościowej, będącej
rozwinięciem logiki trójwartościowej (prawda/fałsz/nieznane). Problemem w praktycznym zastosowaniu
4QL jest złożoność obliczeniowa dla bardziej zaawansowanych reguł. Należy sprawdzić możliwość i użyteczność implementacji 4QL z wykorzystaniem architektury GPU.
dr A. Kozakiewicz
dr T. Kruk
dr B. Kubica
2
3
3
•
Streaming wieloźródłowy z wykorzystaniem szyfru strumieniowego
•
Karta inteligentna jako zabezpieczenie DRM materiałów multimedialnych
•
Wykrywanie modyfikacji i fałszowania pakietów w złożonych sieciach o ścisłych ograniczeniach czasowych
•
Tworzenie uniwersalnych usług sieciowych z wykorzystaniem Apache Thrift
•
Narzędzia do pracy grupowej programistów
•
Analiza porównawcza wydajności i dokładności algorytmów obliczania wartości wielomianu
o współczynnikach przedziałowych
Problem do rozwiązania – implementacja kilku metod liczenia wartości wielomianu przedziałowego (jednej
i wielu zmiennych – podejście naiwne, schemat Kornera, postać resztkowa, kwadratowa i sześcienna…),
opracowanie testów, porównujących ich dokładność i szybkość działania. Badanie wydajności przedziałowej metody podziału i oszacowań dla zadania optymalizacji funkcji wielomianowej, z użyciem różnych wariantów funkcji inkluzji.
dr M. Warchoł
doc. A. Woźniak
3
2
•
Predykcja zapotrzebowania na energię elektryczną dla potrzeb podziemnego magazynu gazu
•
Wyznaczanie parametrów termodynamicznych mieszaniny gazów z wykorzystaniem obliczeń
na GPU
•
Porównanie zdecentralizowanych mechanizmów dostarczania dóbr publicznych
•
Eksperymentalne porównanie algorytmów rozwiązywania gładkich i niegładkich zadań optymalizacji wykorzystujących obszar zaufania
Zespół Biometrii i Uczenia Maszynowego
prof. A. Pacut
3
dr J. PutzLeszczyńska
2
dr P. Wawrzyński
3
•
Łączenie elementów podpisu odręcznego off-line i wykorzystanie rozwiązania do weryfikacji
tożsamości
•
Identyfikacja tożsamości na podstawie podpisu off-line przy zastosowaniu marszczenia czasu
bez obserwacji czasu
•
Identyfikacja tożsamości na podstawie pisma odręcznego (dokumenty skanowane off-line)
•
Implementacja identyfikacji sztucznie wygenerowanych podpisów
•
Aplikacja na Android umożliwiająca zdalne sterowanie robotem z urządzenia mobilnego
Dany jest sterowniki robota, wyposażony w WiFi. Chodzi o zbudowanie dla niego interfejsu działającego
na urządzeniu mobilnym.
•
Moduł programowy do obliczeń na karcie graficznej uruchamianych w programie w C++
Obliczenia dotyczą algebry wektorów i sieci neuronowych. Oparte będą częściowo na już istniejącym module działającym w C++. Karta graficzna obsługuje technologię NVIDIA CUDA.
•
Biblioteka programowa do testowania algorytmów uczenia maszynowego i sterowania
predykcyjnego
Praca polega na oprogramowaniu dwóch symulatorów prostych obiektów dynamicznych oraz dwóch wariantów określonego algorytmu łączącego uczenie maszynowe i sterowanie predykcyjne.
Zespół Inżynierii Oprogramowania
dr A. Ratkowski
3
•
Budowa aplikacji w infrastrukturze Google App Engine
(https://developers.google.com/appengine/?csw=1)
Aplikacja powinna wykorzystywać środowisko PaaS Google App Engine – najlepiej w języku Pyton z użycie środowiska Djaango. Aplikacja powinna być wyposażona w interfejs użytkownika udostępniany przez
przeglądarkę WWW. Aplikacja powinna też wykorzystywać integrację – najlepiej przez usługi sieciowe
(Web Services) z zewnętrznym systemem. Opcjonalnym elementem pracy może być aplikacja na urządzenie mobilne (smartfon/tablet), która będzie współpracowała z opracowana aplikacją.
dr M. Szlenk
3
•
Programowanie reaktywne w językach funkcyjnych
dr A. Zalewski
3
•
Internetowy system specyfikacji wymagań stawianych oprogramowaniu, wyrażanych w języku
usług IT
•
Oprogramowanie umożliwiające przekształcanie tradycyjnego zbioru wymagań (np. w systemie Jira, DOORS lub podobnym) w zbiór wymagań wyrażonych w języku usług IT
Bliższe informacje o tematach i warunkach współpracy można znaleźć na stronie
http://www.ia.pw.edu.pl/~azalews2/tutoring.html
Zakład Badań Operacyjnych i Systemów Zarządzania
dr M. Kaleta
3
•
System do symulacji gry rynkowej
•
System planowania zleceń produkcyjnych w chmurze
•
Narzędzie do konwersji modeli z języka AMPL do języka DOML
-2-
•
•
Symulator rynku energii elektrycznej
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
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 P. Pałka
3
•
Opracowanie narzędzia wspomagającego projektowanie systemów wieloagentowych dla środowiska FLAME
•
Opracowanie ontologii aplikacyjnej wspierającej komunikację agentów w środowiskach handlowych
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
dr hab. K. Pieńkosz
prof. E. Toczyłowski
doc. T. Traczyk
3
3
3
•
Metody planowania projektów w warunkach niepewności
•
Algorytmy wyznaczania połączeń w sieciach teleinformatycznych
•
Modele i metody efektywnej alokacji zasobów
•
Rozwój systemów zarządzania łańcuchami dostaw
•
Optymalizacja w sieciowych systemach dystrybucji dóbr
•
Rynkowe udostępnianie zasobów i usług w sieciach teleinformatycznych
•
Rozwój mechanizmów wymiany transgranicznej w ramach europejskiego rynku energii
•
Informatyczne wspomaganie procesów rozwoju gospodarki niskoemisyjnej
•
Opracowanie i implementacja metody przezroczystej dla aplikacji migracji między wersjami
generycznej struktury bazy danych opisującej aparaturę eksperymentu fizyki wysokich energii
•
Graficzne wspomaganie okablowania eksperymentu fizyki wysokich energii
Bliższe informacje o tematach i warunkach współpracy można znaleźć na stronie
http://www.ia.pw.edu.pl/~ttraczyk/opieka.html
dr I. Żółtowska
3
•
Modele i algorytmy zarządzania flotą pojazdów elektrycznych
•
Modele i algorytmy planowania produkcji półprzewodników
Zespół Programowania Robotów i Systemów Rozpoznających
prof. W. Kasprzak
dr W. Szynkiewicz
3
3
•
Rozpoznawanie zdań w systemie dialogowym mowy
•
Steganografia w obrazach drukowanych
•
Analiza obrazów z owocami i warzywami
•
Rozpoznawanie obiektów 3D w obrazach w oparciu o ich generyczne modele
•
Automatyczna akwizycja (uczenie) modeli obiektów 3D na podstawie obrazów RGBD
•
Planowanie ruchu robota humanoidalnego Nao w interakcji z człowiekiem
•
Algorytmy uczenia się chwytów
•
Planowanie zadań manipulacji dwuręcznej z wykorzystaniem robotów Kuka LWR 4+ z trójpalczastymi chwytakami Barrett Hand
•
Zastosowanie algorytmów sztucznej inteligencji w planowaniu zadań robotów
•
Zastosowanie algorytmów typu RRT (Rapidly Exploring Random Trees) w zintegrowanych
systemach planowania chwytów i bezkolizyjnych ruchów
•
Badania i weryfikacja doświadczalna algorytmów planowania ruchu dla robotów
-3-
dr T. Winiarski
1
•
Robot rysownik – na podstawie zdjęcia bądź obrazu z kamery wyznacza obraz krawędziowy
(np. twarzy) i rysuje go na papierze
•
Robot układający wieże Hanoi
•
Lokalizacja robota SCOUT za pomocą odbiornika GNSS i stacji referencyjnej
•
Modelowanie i identyfikacja parametrów zespołów napędowych robota SCOUT
•
Modelowanie sprzężenia haptycznego manipulatorów
•
Zastosowanie 6 osiowego zadajnika space-nav do sterowania manipulatorem
•
Wyznaczenie implementacja w MRROC++ ograniczenia przestrzeni roboczej manipulatorów
IRP6
•
Robot Ryś do eskortowania ludzi
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
Zakład Optymalizacji i Wspomagania Decyzji
dr J. Granat
dr A. Krzemienowski
dr B. Kozłowski
prof. W. Ogryczak
dr hab. A. Stachurski
dr T. Śliwiński
3
3
0
3
3
3
•
Wykrywanie anomalii w wielowymiarowych strumieniach danych z wykorzystaniem metod
statystycznych
•
Wykrywanie anomalii w wielowymiarowych strumieniach danych z wykorzystaniem metod
inżynierii wiedzy
•
System wspomagania zarządzanie wiedzą osobistą
•
Algorytmy optymalizacji w autonomicznym zarządzaniu sieciami komputerowymi
•
System wspomagania decyzji w obszarze obrotu gotówkowego w banku
•
Optymalizacja portfela aktywów finansowych z miarą ryzyka ekstremalnego opartą na funkcji
połączenia (ang. copula)
•
Optymalizacja portfela aktywów finansowych ze strukturą zależności stochastycznych daną
zagnieżdżonymi archimedejskimi funkcjami połączenia (ang. nested Archimedean copulas)
•
Wieloplatformowa aplikacja okienkowa do wspomagania interaktywnego rejestrowania zdarzeń w obserwacji zachowań
•
Wspomaganie elastycznego zarządzania obliczeniami w gridach wraz z przyjaznym interfejsem sieci Web zgłaszania zadań
•
Wieloplatformowe narzędzie do zbierania metadanych o plikach z różnych systemów plików
•
Agregacja i ranking wyników z wielu wyszukiwarek dokumentów
•
Modelowanie preferencji za pomocą uporządkowanych średnich ważonych
•
Optymalizacja portfela z ryzykiem mierzonym wskaźnikiem Omega
•
Rozmieszczenie stacji bazowych w otoczeniu budynków 3D
•
Aplikacja do konwersji tabel LATEX-a do formatu odf i na odwrót
•
Aplikacja do konwersji równań matematycznych w LATEX-u do formatu odf i na odwrót
•
Zadanie komiwojażera z oknami czasowymi
-4-