Tematyka prac dyplomowych inżynierskich prowadzonych w IAiIS na studiach dziennych

Transkrypt

1 dyplomowych inżynierskich prowadzonych w IAiIS na studiach dziennych Sem. 12Z (opieka od sem. 13L) Opiekun Zespół Technik Sterowania prof. P. Tatjewski 3 dr P. Domański 3 Przewidywanie katastrofy w oparciu o podejście fraktalowe Analiza awaryjności urządzeń wykonawczych i prognozowanie ich naprawy mgr J. Gustowski 3 System wizualizacji procesów w telefonie komórkowym Sposoby modyfikacji środowiska narzędziowego systemu wizualizacji procesów przemysłowych WinCC przy wykorzystaniu Visual Basic for Applications Diagnostyka sterowników rodziny SIMATIC dr P. Marusak 3 Badanie wpływu kształtu funkcji przynależności regulatora rozmytego na jakość regulacji w przykładowym układzie sterowania nieliniowego obiektu chemicznego Zastosowanie modelu o strukturze Hammersteina w identyfikacji i regulacji predykcyjnej nieliniowego obiektu dr M. Ławryńczuk 3 Internetowy symulator algorytmów regulacji predykcyjnej mgr U. Kręglewska 2 Zespół Złożonych Systemów prof. K. Malinowski 3 prof. E. Niewiadomska Zastosowanie karty graficznej (biblioteka CUDA) w obliczeniach inżynierskich Opracowanie systemu informatycznego do wspomagania przygotowywania prezentacji w systemie LaTeX 3 Implementacja energooszczędnych algorytmów rutingu w laboratoryjnej sieci czujników bezprzewodowych Zastosowanie procesorów graficznych (GPU) do rozwiązywania zadań optymalizacji globalnej Algorytmy bezpiecznej transmisji w sieciach bezprzewodowych czujników dr T. Kruk 3 System zarządzania regułami biznesowymi z negacją System wykrywania nadużyć z wykorzystaniem BRM doc. A. Woźniak 3 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 dr M. Warchoł 2 Optymalizacja pracy tłoczni gazu dr A. Karbowski 3 Ocena przydatności SSE oraz GPU do rozwiązywania dużych zadań optymalizacji 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 Uaktualnienie i implementacja narzędzi do obliczeń równoległych i rozproszonych w środowisku Matlaba oraz jego darmowych klonów. 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

2 dr P. Arabas 2 Przygotowanie oprogramowania wspomagającego analizę danych ruchowych Praca polega na implementacji mechanizmów wspomagających wyznaczenie podstawowych charakterystyk poszczególnych przepływów w statystykach ruchowych zebranych w punkcie wymiany ruchu. Ze względu na wielką objętość danych konieczne jest opracowanie wydajnych algorytmów działających w wersji równoległej lub rozproszonej. Przewiduje się użycie biblioteki Apache Hdoop. dr M. Kamola 2 Moduł do bieżącej analizy zapytań o nazwy domen Zaprojektować i wykonać oprogramowanie analizujące nazwy domen. Analiza obejmuje: statystyki wywołań i podobieństwo leksykalne do innych nazw domen lub terminów słownikowych i tagów. Wyniki analizy powinny być umieszczane w bazie danych o właściwej strukturze. Uwzględnić możliwość równoległego przetwarzania danych. dr B. Kubica 3 Porównanie różnych algorytmów obliczania wartości wielomianów przedziałowych Porównanie różnych testów istnienia zera układu równań w zadanym obszarze testy Brokera, Mirandy, Borsuka itd. Obliczanie wartości własnych macierzy przedziałowych dr A. Kozakiewicz 2 Narzędzie do wizualizacji algorytmów równoległych i rozproszonych Zespół Biometrii i Uczenia Maszynowego Rozszerzenia funkcjonalności serwera WOMBAT API Generator wtyczek do serwera WOMBAT API Przygotowanie bibliotek klienckich WOMBAT API dla różnych języków programowania Defacement honeypot symulacja skutecznego włamania na serwer WWW prof. A. Pacut 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 dr A. Czajka 2 Badanie skuteczności biometrii tęczówki dla różnych wariantów oświetleniowych oka Obrazowanie tęczówki jest pierwszym działaniem w procesie jej rozpoznawania. W systemach komercyjnych tęczówka obrazowana jest najczęściej w świetle podczerwonym o jednej lub dwóch wybranych długościach fali oraz dla ustalonego położenia oświetlaczy, co uniemożliwia ich zastosowanie w badaniach dotyczących analizy cech tęczówki uwidocznionych w świetle o zróżnicowanej długości fali czy położeniu względem oka (np. metody testowania żywotności oka, badanie interoperacyjności metod rozpoznawania, kodowanie cech 3D, itp.). Zadaniem Dyplomanta będzie zaprojektowanie (wspólnie z opiekunem) a następnie wykonanie i przetestowanie urządzenia do pozyskiwania zdjęć tęczówki przy zastosowaniu oświetlenia podczerwonego z możliwością jego przestrzennej konfiguracji. Do zadań Dyplomanta należeć będzie również właściwe oprogramowanie urządzenia oraz jego przetestowanie w formie stworzenia bazy danych pomiarów tęczówki. Dyplomant będzie miał do dyspozycji zasoby Laboratorium Biometrii i Uczenia Maszynowego oraz wsparcie w przypadku konieczności wykonania wybranych elementów przez podmioty zewnętrzne (np. płytki drukowane do tworzonego przez siebie urządzenia). Segmentacja obrazów tęczówki metodą szeregów Fouriera Krótka charakterystyka. Segmentacja obrazu tęczówki polega na określeniu, które obszary obrazu zawierają dane możliwe do wykorzystania w kodowaniu cech biometrycznych. Etap segmentacji tęczówki jest jednym z pierwszych zadań systemu biometrycznego, a jego błędne działanie niweczy wszelkie zalety kolejnych etapów, np. doskonałego kodowania cech. Zadaniem Dyplomanta będzie implementacja algorytmu segmentacji tęczówki przy wykorzystaniu szeregów Fouriera (metoda zalecana przez normę ISO/IEC ). Efektem pracy będzie biblioteka w języku Matlab lub C++ realizująca segmentację tęczówki opracowaną metodą. Do zadań Dyplomanta należało będzie również porównanie, jakości i wydajności weryfikacji tożsamości przy wykorzystaniu zaimplementowanego algorytmu oraz wybranej, dostępnej w Zespole, implementacji kodowania tęczówki. dr P. Wawrzyński 3 Projekt i model małego modularnego manipulatora Manipulator będzie wykonywany z serwomechanizmów AX-12, z których zbudowany jest robot Bioloid. Model obejmuję kinematykę manipulatora. Autonomia uczenia sieci neuronowej on-line porównanie podejść Porównanie metod wyznaczania parametru definiującego tempo uczenia się sieci. dr J.Putz Leszczyńska 2 Wpływ podłoża tabletu graficznego, na jakość pobieranego podpisu odręcznego Implementacja identyfikacji sztucznie wygenerowanych podpisów - 2 -

3 Zespół Inżynierii Oprogramowania prof. K. Sacha 3 Projektowanie procesów biznesowych w języku BPEL dr M. Szlenk 3 Napisać analizator programu w języku BPEL: transformacje programu, budowa grafu PDG, znajdowanie dróg w grafie. Wybrać i uruchomić środowisko BPEL engine (open-source). Wybrać i uruchomić środowisko Web services (open source). Przetestować współdziałanie. Zbieranie danych procesowych w chmurze obliczeniowej dr A. Zalewski 3 Portal internetowy system obsługi studiów podyplomowych Portal internetowy wspierający ocenę ryzyka powodowanego przez architekturę oprogramowania Zespół Badań Operacyjnych i Systemów Zarządzania prof. E. Toczyłowski 3 Rozwój systemów zarządzania łańcuchami dostaw Optymalizacja w sieciowych systemach dystrybucji dóbr Planowanie i sterowanie produkcji w dużych, wielozakładowych korporacjach Rynkowe udostępnianie zasobów i usług w sieciach teleinformatycznych Rozwój mechanizmów wymiany transgranicznej w ramach europejskiego rynku energii doc. T. Traczyk 3 Generator raportów z baz danych w technologii XSL FO, bazujący na wzorcach w języku SVG Bliższe i najświeższe informacje o tematach i o warunkach współpracy można znaleźć na stronie dr K. Pieńkosz 3 Metody planowania projektów w warunkach niepewności Algorytmy wyznaczania połączeń w sieciach teleinformatycznych dr G. Płoszajski 2 Porównywanie terminologii spisów treści z zakresu techniki i nauk ścisłych z wybranymi systemami klasyfikacji dr M. Kaleta 2 Projekt systemu zarządzania przedsięwzięciami o otwartym kodzie Modelowanie agentów z wykorzystaniem metody punktu referencyjnego Opracowanie interaktywnej symulacji systemu produkcyjnego Metodyka projektowania aplikacji w systemie AIMMS M 3 i cxml analiza porównawcza, możliwości integracji Modelowanie procesu produkcyjnego w BPMN Wieloagentowy symulator rynku energii elektrycznej Metodyka projektowania systemów wieloagentowych Metody alokacji towarów w rozproszonym systemie handlowym dr I. Żółtowska 3 Środowisko testowe do analizy modeli wyceny obrotu na rynku energii przy ograniczeniach Algorytmy i modele wyceny aukcji energii z ograniczeniami dr P. Pałka 3 Implementacja różnych strategii ustępstw dla negocjujących agentów Projektowanie metod osłabiania siły rynkowej Wykorzystanie algorytmów aukcyjnych w alokacji zasobów lotniskowych Zespół Programowania Robotów i Systemów Rozpoznających prof. C. Zieliński 3 Wszystkie poniższe tematy dotyczą robotyki, ale do ich zrealizowania stosuje się klasyczne narzędzia informatyki innymi słowy dotyczą zastosowań informatyki w robotyce, a więc głównie programowania. Ogólnym celem, jaki chcemy osiągnąć, jest zbudowanie robota usługowego, który będzie wspomagał ludzi w ich codziennych obowiązkach. Robot taki musi przejawiać inteligencję w swych - 3 -

4 zachowaniach oraz aktywnie reagować na zmiany zachodzące w środowisku. W związku z tym interesują nas: manipulacja dwuręczna, wzrok, dotyk, słuch, mowa, zdolność logicznego i przybliżonego rozumowania oraz uczenie się. Poniższe tematy są elementami składowymi powyższej wizji. Nie stanowią one wyczerpującej listy mogą się pojawić nowe tematy w wyniku dyskusji z zainteresowanymi. Należy tu podkreślić, że struktura ramowa MRROC++ ( lub jest podstawowym narzędziem używanym do prowadzenia badań przez doktorantów i pracowników Zespołu Programowania Robotów i Systemów Rozpoznających, a więc Ci, którzy rozpatrują robienie doktoratu poprzez prowadzenie badań w dziedzinie robotyki są szczególnie zachęcani do zainteresowania się poniższymi tematami. Każdy z poniższych tematów może być zrealizowany w wersji uproszczonej, jako praca inżynierska, lub w wersji dwuetapowej może doprowadzić do dyplomu magisterskiego. W tym pierwszym przypadku praca będzie się koncentrowała na stworzeniu narzędzi do realizacji zadania badawczego, czyli napisania odpowiednich programów umożliwiających prowadzenie dalszych prac badawczych. Poniższe tematy przedstawiają pewną wizję tego, co chcemy osiągnąć. W miarę ich realizacji mogą pojawić się nieoczekiwane trudności albo ciekawsze problemy, które mogą spowodować (przy akceptacji zainteresowanego, a czasem na jego wniosek) modyfikację zamierzenia pierwotnego. Zastosowanie oprogramowania wytworzonego przez grupę OROCOS do sterowania robotem wyposażonym w czujniki Sporządzenie dokumentacji opisującej ogólną strukturę tego oprogramowania oraz wykorzystanie tej programowej struktury ramowej, po jej odpowiedniej adaptacji, do stworzenia sterownika robota w Laboratorium Robotyki. Wymagana znajomość C++ oraz Linuksa. Sterowanie robotem z wykorzystaniem metody obliczanego momentu Stworzono oprogramowanie umożliwiające sterowanie robotem z wykorzystaniem metody obliczanego momentu siły. Należy zidentyfikować niektóre parametry modelu dynamiki robota oraz przetestować różne warianty regulatorów stosowanych w tej metodzie. Stereowizja wykorzystana do sterowania ruchem robota Wykorzystanie dwóch kamer do wytworzenia obrazu stereowizyjnego (z głębią) do sterowania ruchem robota mobilnego lub manipulatora. prof. W. Kasprzak 3 Rozpoznawanie zdań w systemie dialogowym mowy Analiza obrazu na potrzeby interfejsu człowieka z maszyną rozpoznawanie gestów i mimiki twarzy Lokalizacja przestrzenna mówców na podstawie sygnałów z wielu mikrofonów Wizja komputerowa w robotyce mobilnej: mapa 3D, śledzenie i rozpoznawanie ruchomych obiektów Steganografia w obrazach drukowanych dr W. Szynkiewicz 3 Planowanie zadań manipulacji dwuręcznej z wykorzystaniem dwóch robotów Kuka LWR 4+ z rękami trójpalczastymi Barrett Hand Zastosowanie języków sztucznej inteligencji w planowaniu zadań robotów Planowanie i realizacja chwytów z uwzględnieniem niepewności Zastosowanie algorytmów typu RRT (Rapidly Exploring Random Teres) w zintegrowanych systemach planowania chwytów i bezkolizyjnych ruchów Badania i weryfikacja doświadczalna algorytmów planowania ruchu dla robotów dr T. Winiarski 3 Robot grający w warcaby obserwuje plansze czekając na ruch gracza, wyznacza kolejny ruch i wykonuje go Robot grający w go działa analogicznie do robota grającego w warcaby 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 i implementacja w MRROC++ ograniczenia przestrzeni roboczej manipulatorów IRp6 Sterowanie impedancyjne w robocie sarkofag Robot Ryś do eskortowania ludzi - 4 -

5 mgr T. Kornuta 2 Porównanie komponentowych struktur ramowych Praca charakteru teoretycznego, jednak wymagająca dobrych zdolności programistycznych. Jej celem jest zapoznanie się z budową wybranych komponentowych strukturach ramowych oraz próba ich porównania i poklasyfikowania pod wybranymi kryteriami (np. budowa komponentu, mechanizmy przesyłu danych, wymiany informacji, wywoływanie zdalnych procedur itd.). Przykładowe komponentowe ramowe struktury robotyczne to: OROCOS, URBI, ROS, YARP, JAMF. Struktury oparte na pluginach: IceWing, Player. Celem tej pracy tak naprawdę jest poukładanie tej wiedzy oraz stworzenie teoretycznych podstaw do dalszego rozwoju DisCODe. Mechanizmy komunikacji międzyprocesowej Dzięki rozproszeniu systemu na wiele procesorów i/lub maszyn możliwe jest zwiększenie jego wydajności czy odporności na błędy. Celem pracy jest implementacja mechanizmów komunikacji międzyprocesowej w strukturze ramowej DisCODe, dzięki której możliwe będzie jej rozproszenie. Dodatkowym celem jest przerobienie mechanizmu komunikacji z innymi systemami (np. z programową strukturą ramową MRROC++). W ramach pracy należało będzie przeprowadzić porównanie wybranych mechanizmów komunikacji międzyprocesowej (np. COBRA w implementacji ACE/TAO, biblioteka MESSIP czy Zerom) w celu wybrania rozwiązania najlepiej nadającego się do osiągnięcia postawionych celów. Wykorzystanie technik MDE do generacji kodu komponentów oraz zadań W ostatnich latach można zauważyć rosnące zainteresowanie inżynierią wiedzy opartą na modelu (ang. model-driver engineering). Narzędzia takie jak ECL (Eclipse Modeling Framework) umożliwiają automatyczne przetwarzanie specyfikacji w celu wytworzenia artefaktów, np. szkieletów kodu czy dokumentacji. Celem tej pracy jest stworzenie w ECL edytora graficznego, za pomocą, którego będzie można tworzyć różnorodne zadania percepcji dla struktury ramowej DisCODe, a następnie na ich podstawie generować szkielety kodu poszczególnych komponentów, jak i opisy całych zadań w XML. Wykorzystanie aktywnej wizji do identyfikacji kodów kreskowych towarów Celem pracy jest zbadanie oraz porównanie różnych możliwych scenariuszy aktywnej percepcji w zadaniu rozpoznawanie kodów kreskowych towarów leżących na ladzie. Warianty te obejmują m.in. wykorzystanie statycznie zamontowanej kamery zawieszonej nad sceną, obserwację towarów przesuwanych za pomocą taśmociągu czy też lokalizację i odczyt kodów za pomocą poruszającej się kamery, zintegrowanej z chwytakiem manipulatora. Jednoczesne wykorzystanie kilku kamer podczas śledzenia obiektów Celem pracy jest wykorzystanie informacji pochodzącej z kilku kamer (m.in. z nieruchomej kamery oraz kamery zamontowanej na manipulatorze) do śledzenia obiektów. Badane będą różne sposoby agregacji informacji wizyjnej w układzie sterowania (np. wagi przydzielone różnym informacjom) czy też miejsca agregacji (np. w momencie wyznaczania pozycji obiektu, wyliczania uchybu czy sterowania manipulatorem. Zespół Optymalizacji i Wspomagania Decyzji prof. W. Ogryczak 3 Agregacja i ranking wyników z wielu wyszukiwarek dokumentów Wyszukiwanie spójnego łańcucha wiadomości łączącego dane wydarzenia Modelowanie preferencji za pomocą uporządkowanych średnich ważonych dr A. Stachurski 3 Algorytmy korzystania z zespołu ogniw w pojazdach elektrycznych Równoległe generatory liczb i wektorów pseudolosowych Wykorzystanie metod ciągłej optymalizacji nieliniowej do rozwiązywania zadań harmonogramowania Metody optymalizacji wypukłej w zadaniach minimalizacji energii w widzeniu komputerowym dr J. Granat 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ądzania wiedzą osobistą - 5 -

6 System analizy odporności modeli decyzyjnych Algorytmy optymalizacji w autonomicznym zarządzania sieciami komputerowymi Algorytm wykrywania anomalii w systemach zdalnego monitorowania stanu zdrowia pacjenta mgr J. Sobczyk 2 Badanie wydajności serwera pocztowego mgr T.Rogowski 2 Uniwersalne narzędzia do tworzenia aplikacji WWW dla urządzeń mobilnych dr T. Śliwiński 3 Zaawansowane operatory agregujące w zadaniach harmonogramowania wielokryterialnego dr A. Krzemienowski 3 Optymalizacja portfela akcji dla anomalii czasowych rynku kapitałowego prowadzących do ponadprzeciętnych stóp zwrotu Optymalizacja portfela akcji z wykorzystaniem modeli wyceny aktywów kapitałowych dr B.Kozłowski 3 Wieloplatformowe oprogramowanie dla urządzeń mobilnych do wspomagania interaktywnego rejestrowania zdarzeń w obserwacji zachowań Aplikacja sieci Web do wspomagania interaktywnego rejestrowania zdarzeń w obserwacji zachowań Wieloplatformowa aplikacja okienkowa do wspomagania interaktywnego rejestrowania zdarzeń w obserwacji zachowań Wspomaganie elastycznego zarządzania obliczeniami w gridach wraz z przyjaznym interfejsem zgłaszania zadań - 6 -