Lista tematów prac przejściowych i dyplomowych w ZAiOL 2015. Wprowadzenie



Podobne dokumenty
Lista tematów prac przejściowych i dyplomowych w ZAiOL Wprowadzenie

Lista tematów prac przejściowych i dyplomowych w ZAiOL Wprowadzenie

Lista tematów prac przejściowych i dyplomowych w ZAiOL Wprowadzenie

Lista tematów prac przejściowych i dyplomowych w ZAiOL Wprowadzenie

Rok akademicki: 2015/2016 Kod: RBM s Punkty ECTS: 3. Poziom studiów: Studia I stopnia Forma i tryb studiów: -

JTW SP. Z OO. Zapytanie ofertowe. Zakup i dostosowanie licencji systemu B2B część 1

PLAN STUDIÓW STACJONARNYCH STOPNIA II. kierunek TRANSPORT - przedmioty wspólne (krk) w tym sem. I sem.ii sem. III

KARTA PRZEDMIOTU. 12. PRZEDMIOTOWE EFEKTY KSZTAŁCENIA Odniesienie do kierunkowych efektów kształcenia (symbol) WIEDZA

AKADEMIA MORSKA W SZCZECINIE

PRZEWODNIK PO PRZEDMIOCIE

Efekty kształcenia dla kierunku studiów Informatyka

Systemy wbudowane. Paweł Pełczyński

Bielsko-Biała, dn r. Numer zapytania: R WAWRZASZEK ISS Sp. z o.o. ul. Leszczyńska Bielsko-Biała ZAPYTANIE OFERTOWE

Nowości w module: BI, w wersji 9.0

Automatyka. Etymologicznie automatyka pochodzi od grec.

Komputer i urządzenia z nim współpracujące

Oprogramowanie klawiatury matrycowej i alfanumerycznego wyświetlacza LCD

Kontrola wytwarzania energii w systemach PV

Karta (sylabus) przedmiotu Transport Studia I stopnia o profilu: A X P. Napędy Lotnicze. Zaliczenie wykładu i projektowania Język wykładowy:

Komentarz Sesja letnia 2012 zawód: technik eksploatacji portów i terminali 342[03] 1. Treść zadania egzaminacyjnego wraz z załączoną dokumentacją

PRZEWODNIK PO PRZEDMIOCIE

Lista standardów w układzie modułowym

Instalacja. Zawartość. Wyszukiwarka. Instalacja Konfiguracja Uruchomienie i praca z raportem Metody wyszukiwania...

Audyt SEO. Elementy oraz proces przygotowania audytu. strona

Politechnika Warszawska Wydział Matematyki i Nauk Informacyjnych ul. Koszykowa 75, Warszawa

Karta (sylabus) przedmiotu TRANSPORT Studia I stopnia o profilu: A X P

Moduł GSM generacja 1

UKŁAD ROZRUCHU SILNIKÓW SPALINOWYCH

Ergonomia. Ergonomia stanowiska pracy

Lublin, Zapytanie ofertowe

Pomiary geofizyczne w otworach

UNIWERSALNY PULPIT STEROWANIA

REJESTRATOR RES800 INSTRUKCJA OBSŁUGI

CYFROWY MIERNIK REZYSTANCJI UZIEMIENIA KRT 1520 INSTRUKCJA OBSŁUGI

INSTRUKCJA OBSŁUGI MC-2810 CYFROWY SYSTEM GŁOŚNIKOWY 5.1 KANAŁÓW DO KINA DOMOWEGO

UCHWAŁA NR VIII/43/2015 r. RADY MIASTA SULEJÓWEK z dnia 26 marca 2015 r.

Zapytanie ofertowe. Projekt realizowany przy współfinansowaniu ze środków Unii Europejskiej, w ramach Programu Operacyjnego Pomoc Techniczna

PRZEWODNIK PO PRZEDMIOCIE

ZESPÓŁ LABORATORIÓW TELEMATYKI TRANSPORTU ZAKŁAD TELEKOMUNIKACJI W TRANSPORCIE

PRZEWODNIK PO PRZEDMIOCIE

PRZEWODNIK PO PRZEDMIOCIE

INSTRUKCJA SERWISOWA. Wprowadzenie nowego filtra paliwa PN w silnikach ROTAX typ 912 is oraz 912 is Sport OPCJONALNY

ERGONOMIA Cz. 1. Podstawy

Komputerowe Systemy Sterowania Sem.VI, Wykład organizacyjny

Podejmowanie decyzji. Piotr Wachowiak

PRZEWODNIK PO PRZEDMIOCIE

INSTRUKCJA OBS UGI

LABORATORIUM PRZYRZĄDÓW PÓŁPRZEWODNIKOWYCH

CZYM KIEROWAĆ SIĘ PRZY WYBORZE AUTOMATYKI GRZEWCZEJ?

Zarządzenie organizacyjne nr DN 4/2009r. Dyrektor Zarządu Dróg Miejskich z dnia r.

Przyłączenie podmiotów do sieci gazowej

Budowa stanowiska laboratoryjnego do wyznaczenia Apertury Numerycznej światłowodu, charakterystyki źródeł oraz detektorów światła.

Technologie internetowe Internet technologies Forma studiów: Stacjonarne Poziom kwalifikacji: I stopnia. Liczba godzin/tydzień: 2W, 2L

Zakres pracy Przedstawienie wiedzy teoretycznej z zakresu konstrukcji reflektorów samochodowych Przegląd konstrukcji reflektorów oraz opis rozwoju ośw

Angular 2 - budowanie nowoczesnych i wydajnych aplikacji przeglądarkowych

Instrukcja do ćwiczenia Kompensacja mocy biernej

Nazwa jednostki modułowej Orientacyjna liczba godzin na realizację Analizowanie działalności wybranej firmy na rynku

Zakres pomiaru (Ω) Rozdzielczość (Ω) Dokładność pomiaru

Załącznik Szczegółowy opis przedmiotu zamówienia na CZĘŚĆ II

Program szkoleniowy Efektywni50+ Moduł III Standardy wymiany danych

WPŁYW ROZPORZĄDZENIA EURO 5 NA NIEZALEŻNY RYNEK MOTORYZACYJNY. Robert Kierzek, Inter Cars S.A. Bogumił Papierniok, Moto-Profil Sp. z o.o.

REGULAMIN OKRESOWYCH OCEN PRACOWNIKÓW URZĘDU GMINY LIMANOWA ORAZ KIEROWNIKÓW JEDNOSTEK ORGANIZACYJNYCH GMINY LIMANOWA

Przyłącza magistrali struktura sieciowa DDL DDL-X-Tool. Broszura katalogowa

INFORMATOR TECHNICZNY GE FANUC. Rezerwacja w sterownikach programowalnych GE Fanuc. Standby Redundancy najprostszy system rezerwacji

Administrator Konta - osoba wskazana Usługodawcy przez Usługobiorcę, uprawniona w imieniu Usługobiorcy do korzystania z Panelu Monitorującego.

Warunki Oferty PrOmOcyjnej usługi z ulgą

Plan naprawczy. Sokółka 2006/2007. Opracowanie: Urszula Bronowicz Henryka Sarosiek ElŜbieta Plichta Katarzyna Dykiel Tomasz Mucuś

Dostosowanie piły wzdłużnej do wymagań minimalnych propozycje rozwiązań aplikacyjnych

Regulamin korzystania z aplikacji mobilnej McDonald's Polska

Środowiskowe Laboratorium Ciężkich Jonów Uniwersytet Warszawski

PROCEDURA NABORU PRACOWNIKÓW NA STANOWISKA URZĘDNICZE DO URZĘDU MIEJSKIEGO W KOWARACH

DOTACJE NA INNOWACJE. Zapytanie ofertowe

Zarządzanie projektami. wykład 1 dr inż. Agata Klaus-Rosińska

System Informatyczny CELAB. Przygotowanie programu do pracy - Ewidencja Czasu Pracy

tel/fax lub NIP Regon

Nabór na stanowisko informatyka w Publicznej Szkole Podstawowej z Oddziałami Sportowymi w Dobrzeniu Wielkim

Instalacja elektryczna KOD CPV ; ;

Wniosek DYREKTYWA PARLAMENTU EUROPEJSKIEGO I RADY

Numer obszaru: 8 E-learning w szkole - wykorzystanie platform edukacyjnych w pracy szkoły

Strategia rozwoju sieci dróg rowerowych w Łodzi w latach

I.1.1. Technik mechanizacji rolnictwa 311[22]

ROZPORZĄDZENIE MINISTRA PRACY I POLITYKI SPOŁECZNEJ 1)

Przykłady oszczędności energii w aplikacjach napędowych

SYSTEM PASZPORTYZACJI I KONTROLI URZĄDZEŃ EX

Projekt edukacyjny. " Warszawa w okresie I i II wojny światowej" Regulamin

linkprog programator USB

Podstawa programowa kształcenia ogólnego informatyki w gimnazjum

Architektura Systemów Komputerowych. Sterowanie programem skoki Przerwania

CitiDirect Online Banking. Powiadomienia

Poznań, 03 lutego 2015 r. DO-III

Nazwa zawodu: Operator obrabiarek. Opis zawodu:

Część II.A. Informacje o studiach podyplomowych ANALIZA DANYCH METODY, NARZĘDZIA, PRAKTYKA (nazwa studiów podyplomowych)

STEROWNIK BIOLOGICZNYCH OCZYSZCZALNI ŚCIEKÓW

Zamawiający potwierdza, że zapis ten należy rozumieć jako przeprowadzenie audytu z usług Inżyniera.

TEMATY PRAC DYPLOMOWYCH do wyboru w 2016 r.

II. CEL GŁÓWNY I CELE SZCZEGÓŁOWE PROGRAMU

INSTRUKCJA OBSŁUGI WD2250A. WATOMIERZ 0.3W-2250W firmy MCP

STEROWNIKI NANO-PLC NA PRZYKŁADZIE STEROWNIKA LOGO!

Regulamin Pracy Komisji Rekrutacyjnej w Publicznym Przedszkolu Nr 5 w Kozienicach

Transkrypt:

Lista tematów prac przejściowych i dyplomowych w ZAiOL 2015 Wprowadzenie Niniejszy dokument zawiera zestawienie tematów prac przejściowych i dyplomowych proponowanych przez kadrę dydaktyczną ZAiOL. Tematy podzielone są na grupy pod względem obszaru wiedzy którego proponowane zagadnienie dotyczy. Zakres każdego tematu dostosowywany jest do rodzaju pracy oraz indywidualnych zainteresowań studenta. Jeżeli tematy nie spełniają oczekiwań studentów gorąco zachęcamy do przedstawiania własnych propozycji. Objaśnienie skrótów: P - praca przejściowa, I - praca dyplomowa inżynierska M - praca dyplomowa magisterska

Nawigacja prof. dr hab. inż. Janusz Narkiewicz 1 Układy nawigacji wykorzystujące informacje z różnych czujników: INS/GPS/czujniki magnetyczne/inne (P,I,M) 2 Wykorzystanie układu nawigacji satelitarnej do pomiaru położenia przestrzennego obiektu (P,I,M) 3 Różnicowe metody pomiaru w systemach nawigacji satelitarnej - GPS (P,I,M) 4 Algorytmy obliczeń w układach nawigacji inercjalnej i zliczeniowej (P,I,M) 5 Metoda poziomowania i girokompasowania w układach nawigacji inercjalnej (P,I,M) 6 Systemy wspomagające układy nawigacji satelitarnej (P,I,M) dr inż. Maciej Zasuwa 1 Symulacja działania algorytmów GPS (P) 2 Symulacja działania algorytmu rozpoznawania obrazów (P) 3 Identyfikacja orientacji obiektu widzianego przez kamerę (I,M) 4 Wizualny system śledzenia obiektu latającego: projekt (P), wykonanie (I,M) 5 Wizualna identyfikacja położenia obiektów w nocy na podstawie ich oświetlenia (I,M) dr inż. Marcin Żugaj 1 Modelowanie komina termicznego (P) 2 Algorytm tworzenia mapy noszeń termicznych w rejonie lotów szybowcowych (M) 3 Analiza statystyczna danych pomiarowych (P,I) 4 Algorytm zintegrowanych systmów nawigacji (P,I,M) 5 Zastosowanie filtracji Kalmana w algorytmach nawigacji (P,I,M)

Sterowanie prof. dr hab. inż. Janusz Narkiewicz 1 Sterowanie wiropłata typu tilt-rotor (P,I,M) 2 Układy automatycznego sterowania wiropłatami bezzałogowymi (P,I,M) 3 Automatyczne sterowanie ruchem obiektów pływających: statków i jachtów (P,I,M) 4 Sterowanie i symulacja pojazdów lądowych (P,I,M) dr hab. Inż. Elżbieta Jarzębowska 1 Implementacja algorytmów sterowania i stabilizacji (na poziomie kinematyki) na robocie mobilnym Pioneer 3-DX. Praca w środowisku oprogramowania robota ARIA (P,I) 2 Modelowanie dynamiki i sterowanie ruchem robota mobilnego z uwzględnieniem poślizgu kół (M) 3 Modelowanie dynamiki i sterowanie ruchem manipulatora wieloczłonowego z odkształcalnymi ramionami (M) 4 Model dynamiki i sterowania ruchem formacji obiektów ruchomych (obiekty do wyboru, np. roboty, UAV, pojazdy podwodne, manipulatory pracujące w duecie, itp.) (I,M) 5 Implementacja algorytmów sterowania śledzącego typu model-based na robocie mobilnym Pioneer-3DX (M) 6 Modele dynamiki i sterowanie ruchem obiektów niedosterowanych (typu underactuated ), np. acrobota, pendubota, manipulatora typu wąż, innych manipulatorów niedosterowanych (I,M) 7 8 Modele dynamiki i sterowanie ruchem modeli obiektów biomechanicznych, np. sportowca, węża, robaka, i innych (I,M) Sterowanie optymalne ruchem pojazdu podwodnego, bezzałogowego obiektu latającego lub naziemnego (kryteria optymalizacji, cele sterowania, rodzaj misji do wyboru studenta). 9 Dynamika i sterowanie manewrami pojazdu podwodnego (wybór napędu pojazdu do wyboru studenta). dr hab. inż. Robert Głębocki 1 Układy sterowania oparte o sterowniki PLC (P,I) 2 Układy wykonawcze sterowania lotem samolotu, śmigłowca, rakiety, statku kosmicznego (I,M) 3 Modelowanie i symulacja układów sterowania obiektów ruchomych (samoloty, rakiety, pojazdy naziemnych) (I,M) 4 Sterowanie obiektów bezzałogowych (P,I,M) 5 Układy automatycznego sterowania obiektów latających (samoloty, rakiety) (I,M) 6 Układy regulacji predykcyjnej (P,I) dr inż. Przemysław Bibik 1 Projekt i badania układu automatycznego sterowania śmigłowca jednowirnikowego. (I, M) dr inż. Marcin Żugaj 1 Projekt układu automatycznego centrowania komina termicznego (M) 2 Cyfrowy układ automatycznego sterowania dla samolotu załogowego/bezzałogowego (I,M) 3 Wpływ dokładności pomiaru orientacji przestrzennej na jakość działania autopilota (I,M) 4 Algorytmy sterowania samolotem w stanach awaryjnych (I,M) 5 Układ sterowania anteną śledzącą z wykorzystaniem systemu GPS (P,I,M)

mgr inż. Janusz Gajda 1 Projekt systemu automatycznego sterowania lotem "terrain following" dla samolotu myśliwskiego (I) 2 Projekt systemu automatycznego sterowania wysokością lotu dla samolotu dyspozycyjnego (P,I) 3 Projekt systemu automatycznego sterowania kursem dla samolotu komunikacyjnego (I) 4 Algorytm sterowania ruchem platformy symulatora lotu samolotu, śmigłowca (I)

Dynamika obiektów prof. dr hab. inż. Janusz Narkiewicz 1 Modelowanie ruchu wiropłata typu tilt-rotor (P,I,M) 2 Modelowanie ruchu wiropłatów (P,I,M) 3 Modelowanie ruchu pojazdów naziemnych i ich elementów (P,I,M) dr hab. Inż. Elżbieta Jarzębowska 1 Modelowanie złożonych układów dynamicznych modele matematyczne z uwzględnieniem modelowania więzów, oddziaływania z otoczeniem, w tym tarcia, modele połączeń w układach wieloczłonowych. Obiekt badań do wyboru (P) 2 Modelowanie dynamiki i symulacja ruchu układów złożonych: (P) - układy typu manipulatory wieloczłonowe naziemnie, podwodne, kosmiczne, - pojazdy mobilne typu platformy i manipulatory mobilne, samochody, inne pojazdy kołowe, - obiekty autonomiczne typu UAV. 3 Modelowanie złożonych układów dynamicznych z odkształcalnymi członami: (P) - manipulatory wieloczłonowe z odkształcalnymi ramionami, - platformy mobilne i pojazdy z podatnym zawieszeniem. 4 Modelowanie dynamiki i symulacja ruchu robota mobilnego z uwzględnieniem modelu ogumienia kół (I) 5 Modelowanie dynamiki i symulacja ruchu robota mobilnego z uwzględnieniem poślizgu kół (I) 6 Modelowanie dynamiki i symulacja ruchu manipulatora wieloczłonowego z odkształcalnymi ramionami (I) 7 Model dynamiki i symulacja ruchu formacji naziemnych obiektów autonomicznych (obiekty do wyboru) (I) 8 Model dynamiki i symulacja ruchu formacji latających obiektów autonomicznych (obiekty do wyboru) (I) 9 Analiza dynamiki pojazdu mobilnego (do wyboru może być platforma mobilna, samochód) w warunkach poślizgu kół (M) 10 Analiza dynamiczna manipulatora wieloczłonowego z odkształcalnymi ramionami badanie różnych modeli podatności ramion (M) dr inż. Przemysław Bibik 1 Opracowanie modelu symulacyjnego małego śmigłowca bezzałogowego (I, M) 2 Bezzałogowy wiropłat w układzie czterowirnikowym (modelowanie ruchu, projekt koncepcyjny) (P, I, M) dr inż. Marcin Żugaj 1 Modelowanie i symulacja obiektu bezzałogowego dla potrzeb syntezy układów sterowania (I,M) 2 Modelowanie i symulacja lotu szybowca (I,M) 3 Obliczenie charakterystyk aerodyanamicznych samolotu A320 (P,I,M) 4 Analiza właściwości dynamicznych samolotu bezzałogowego (M) 5 Identyfikacja dynamiki samolotu bezzałogowego (I, M) 6 Analiza właściwości dynamicznych wiropłata czterowirnikowego typy Quadrotor (M)

Obiekty latające i nie tylko Systemy pokładowe mgr inż. Janusz Gajda 1 Modelowanie dynamiki ruchu pojazdu lądowego dla potrzeb symulatora jazdy (P,I) prof. dr hab. inż. Janusz Narkiewicz 1 Modelowanie systemu wychylania klap samolotu (P,I,M) dr hab. inż. Robert Głębocki 1 Modelowanie i identyfikacja modeli elementów wykonawczych sterowania (siłowników) różnych typów (P,I,M) 2 Stanowiska laboratoryjne układów pomiarowych i systemów pokładowych (P,I) 3 Modelowanie i konstrukcja przyrządów pokładowych (P,I) dr inż. Przemysław Bibik 1 Projekt i modelowanie wybranych podsystemów śmigłowca bezzałogowego (P, I, M) 2 Projekt podwozia kompozytowego dla bezzałogowego śmigłowca (P, I) 3 Opracowanie i badania układu sterowania do bezzałogowego wiropłata w układzie czterowirnikowym. (M) 4 Projekt systemu ratowniczego dla wiropłata wielowirnikowego (P, I) dr inż. Maciej Zasuwa 1 Symulacja pracy układu sterowania sterami aerodynamicznymi (I,M) 2 Symulacja pracy wybranego systemu pokładowego (np. GPWS, TCAS, VOR, itp.) (P) prof. dr hab. inż. Janusz Narkiewicz 1 Modelowanie układów inteligentnych "Smart structures" (P,I,M) 2 Modelowanie ruchu i sterowania obiektów pływających nawodnych i podwodnych (P,I,M) dr inż. Przemysław Bibik 1 Projekt stanowiska do pomiaru osiągów elektrycznego układu napędowego małego bezzałogowego statku powietrznego. (P, I) 2 Projekt stanowiska laboratoryjnego do badania wiropłatów bezzałogowych. (P, I) 3 Pomiar momentów bezwładności małego śmigłowca bezzałogowego (P, I) 4 Projekt koncepcyjny śmigłowca bezzałogowego (I, M) 5 Projekt nowych łopat wirnika nośnego śmigłowca T-Rex 600 (I, M) 6 Dobór parametrów nowego wirnika dla śmigłowca T-Rex 600 (I, M) 7 Projekt śmigła dla wiropłata typu quadrotor (I, M) 8 Projekt i modelowanie wiropłata czterowirnikowego z obracanymi gondolami silników (I,M) 9 Opracowanie metodologii wykonywania projektu wstępnego śmigłowca. (M) dr inż. Maciej Zasuwa 1 Tematy dot. bezzałogowych statków latających zaproponowane przez studentów (P,I,M) 2 System unikania porzeszkód (sense and avoid) dla UAV/UGV (I,M)

Symulatory dr inż. Maciej Zasuwa 1 Oprogramowanie modułu dynamiki obiektu ruchomego dla symulatora lotu (I,M) 2 Oprogramowanie modułu instalacji pokładowej dla symulatora lotu (I,M) 3 Oprogramowanie autopilota w wybranym kanale dla symulatora lotu (I,M) 4 Implemetacja otwartego silnika grafiki do symulatora(ów) ZAiOL (I,M) 5 Tematy związane z zagadnieniami kolizji z otoczeniem w symulatorach lotu (I,M) dr inż. Marcin Żugaj 1 Modelowanie dynamiki obiektu na potrzeby symulatorów lotu (I,M) mgr inż. Janusz Gajda 1 Modelowanie wybranej instalacji samolotu komunikacyjnego/szkolno-bojowego/myśliwskiego dla symulatora lotu (P,I) 2 Projekt imitatora wybranego przyrządu, urządzenia lub systemu pokładowego dla potrzeb symulatora lotu (P,I) 3 Projekt symulatora lotniczego śmigłowca, samolotu szkolno-bojowego/komunikacyjnego/myśliwskiego (P,I) 4 Opracowanie algorytmu sterowania ruchem platformy symulatora lotu (I) 5 Projekt układu ruchu wybranego symulatora lotniczego (P,I) 6 Projekt symulatora dla operatora pocisków typu "Stinger" (P,I) 7 Projekt symulatora wieży kontroli ruchu powietrznego (P,I) 8 Przeprowadzenie prób lotniczego urządzenia treningowego (P,I) 9 Projekt układu wizualizacji do symulatora lotu (P,I) 10 Projekt układu obciążenia sterownic do symulatora lotu (P,I) 11 Symulator dla operatora pocisków typu "Stinger", wieży kontroli ruchu powietrznego, stanowiska kierownika lotów (P,I) 12 Symulator lotniczy śmigłowca, samolotu szkolno-bojowego/komunikacyjnego/myśliwskiego (P,I) 13 Układ ruchu wybranego symulatora lotniczego, lotniczego urządzenia treningowego (P,I) 14 Testy lotniczego urządzenia treningowego (P,I) 15 Układ wizualizacji do symulatora lotu (P,I) 16 Układu obciążenia sterownic do symulatora lotu (P,I) 17 Symulacja gogli noktowizyjnych (układu NVG) do symulatora lotu (P,I)

Awionika prof. dr hab. inż. Janusz Narkiewicz 1 Urządzenie mikroprocesorowe do transmisji i odbioru danych przez protokół ARINC429/ARINC629/ARINC825 Zaprojektować urządzenie oparte o mikroprocesor służące do odbierania i wysyłania danych w standardach ARINIC429, ARINC629 etc. Oprócz urządzenia należy stworzyć aplikację desktopową, która będzie komunikowała się z urządzeniem i umożliwi podgląd odebranych ramek jak i skonfigurowanie danych do wysłania. (P,I,M) 2 Aplikacja komputerowa symulator Flight Managment System. Zaprojektować i wykonać aplikację będąco symulatorem Fligh Managment System. Program powinien wyglądać i zachowywać się jak autentyczny FMS. (P,I,M) 3 SEU Single Event Upset zmora dzisiejszej elektroniki wykorzystywanej w lotnictwie. Analiza problemu, analiza istniejących rozwiązań, zaproponowanie istniejącego/nowego rozwiązania do wykorzystania w lotnictwie. (P,I,M) 4 Analiza zastosowań wzorców projektowych w oprogramowaniu komercyjnym oraz ich efektywność w cyklu życia aplikacji. Analizie podlegać będą wzorce m.in. MVVM, MVC, MVP itp. Celem ma być sprawdzenie przydatności wzorców w różnych zastosowaniach i próba użycia ich w oprogramowaniu związanym z lotnictwem (narzędzia konfiguracyjne) (P,I,M) 5 Zaprojektowanie hardware/software do sterownika używanego podczas testów modułu zdalnych interfejsów (RIU) i koncentratorów danych (RDC). Urządzenie będzie się składać z elementów przełączających, generatorów sygnałów, wejść pomiarowych. W ramach pracy należy zaproponować komponenty, zaprojektować płytkę, napisać firmware i software na PC. Dokładny zakres zadań zostanie określony w porozumieniu z Kierownikiem Laboratorium Skylab. (P,I,M) 6 Testy FPGA pod kątem możliwości użycia w koncentratorach danych. Zadanie będzie polegało na przygotowaniu obrazu dla układu FPGA z zaimplementowanym soft corem np. ARM, CORTEX, MICROBLAZE lub podobny. Dodatkowo będzie należało zaprojektować IP Core do obsługi peryferiów np. one wire, RS232, kontroler wyświetlacza LCD. Po otrzymaniu obrazu wymagane będzie utworzenie tzw. Testbench a (symulacja) który potwierdzi poprawną pracę FPGA (wymagane do certyfikacji lotniczej). (P,I,M) mgr inż. Sebastian Topczewski 7 1 Zastosowanie metod formalnych, do automatycznego generowania test case ów. Celem samej pracy byłoby zrobienie przeglądu metod zapisu wymagań. W szczególności metod specyfikowania maszyny stanu, która obsługuje protokół OMS oraz wybór jednej z metod. Następnie, jeśli to możliwe, formalne zweryfikowanie czy dostarczone wymagania są poprawne. Mając poprawny formalny model maszyny stanu należy zrobić przegląd dostępnych metod lub narzędzi do generowania testów sprawdzających czy implementacja maszyny jest poprawna, oraz wybór jednej z nich. Jeśli nie ma takich metod, należy zaproponować własne narzędzie, które będzie wymuszać wszystkie możliwe i zakazane przejścia pomiędzy stanami oraz sprawdzać poprawność zachowania programu implementującego zadane wymagania. (P,I,M) Urządzenie mikroprocesorowe do transmisji i odbioru danych przez protokół ARINC429/ARINC629/ARINC825 Zaprojektować urządzenie oparte o mikroprocesor służące do odbierania i wysyłania danych w standardach ARINIC429, ARINC629 etc. Oprócz urządzenia należy stworzyć aplikację desktopową, która będzie komunikowała się z urządzeniem i umożliwi podgląd odebranych ramek jak i skonfigurowanie danych do wysłania. (P,I) 2 Aplikacja komputerowa symulator Flight Managment System. Zaprojektować i wykonać aplikację będąco symulatorem Fligh Managment System. Program powinien wyglądać i zachowywać się jak autentyczny FMS. (P,I)

3 4 5 6 7 SEU Single Event Upset zmora dzisiejszej elektroniki wykorzystywanej w lotnictwie. Analiza problemu, analiza istniejących rozwiązań, zaproponowanie istniejącego/nowego rozwiązania do wykorzystania w lotnictwie. (P,I) Analiza zastosowań wzorców projektowych w oprogramowaniu komercyjnym oraz ich efektywność w cyklu życia aplikacji. Analizie podlegać będą wzorce m.in. MVVM, MVC, MVP itp. Celem ma być sprawdzenie przydatności wzorców w różnych zastosowaniach i próba użycia ich w oprogramowaniu związanym z lotnictwem (narzędzia konfiguracyjne) (P,I) Zaprojektowanie hardware/software do sterownika używanego podczas testów modułu zdalnych interfejsów (RIU) i koncentratorów danych (RDC). Urządzenie będzie się składać z elementów przełączających, generatorów sygnałów, wejść pomiarowych. W ramach pracy należy zaproponować komponenty, zaprojektować płytkę, napisać firmware i software na PC. Dokładny zakres zadań zostanie określony w porozumieniu z Kierownikiem Laboratorium Skylab. (P,I) Testy FPGA pod kątem możliwości użycia w koncentratorach danych. Zadanie będzie polegało na przygotowaniu obrazu dla układu FPGA z zaimplementowanym soft corem np. ARM, CORTEX, MICROBLAZE lub podobny. Dodatkowo będzie należało zaprojektować IP Core do obsługi peryferiów np. one wire, RS232, kontroler wyświetlacza LCD. Po otrzymaniu obrazu wymagane będzie utworzenie tzw. Testbench a (symulacja) który potwierdzi poprawną pracę FPGA (wymagane do certyfikacji lotniczej). (P,I) Zastosowanie metod formalnych, do automatycznego generowania test case ów. Celem samej pracy byłoby zrobienie przeglądu metod zapisu wymagań. W szczególności metod specyfikowania maszyny stanu, która obsługuje protokół OMS oraz wybór jednej z metod. Następnie, jeśli to możliwe, formalne zweryfikowanie czy dostarczone wymagania są poprawne. Mając poprawny formalny model maszyny stanu należy zrobić przegląd dostępnych metod lub narzędzi do generowania testów sprawdzających czy implementacja maszyny jest poprawna, oraz wybór jednej z nich. Jeśli nie ma takich metod, należy zaproponować własne narzędzie, które będzie wymuszać wszystkie możliwe i zakazane przejścia pomiędzy stanami oraz sprawdzać poprawność zachowania programu implementującego zadane wymagania. (P,I)