Laboratorij iz obrade informacija 2
Laboratorijske vježbe
Opis predmeta
Studijski programi
Sveučilišni diplomski
Opće kompetencije
Formalne metode u oblikovanju sustava: Poznavanje teoretskih osnovica formalnih metoda oblikovanja s praktičnim postupcima. Poznavanje alata za primjenu formalnih metoda u oblikovanju sustava. Obrada signala u komunikacijama: Vještine programiranja u Matlab programskom okruženju. Sposobnost analize, modeliranja i simuliranja sustava za prijenos informacija. Praktična znanja o nižim slojevima komunikacijskih sustava. Teorija estimacije: Praktična znanja za provođenje identifikacijskih eksperimenata na linearnim sustavima, odabir optimalne strukture modela i za estimaciju parametara modela primjenom skupa alata Matlab System Identification Toolbox. Višemedijske komunikacije: Kodni formati, sinkronizacija sadržaja, kvaliteta prikaza, višekorisničke višemedijske aplikacije, kvaliteta usluge u Internetu.
Ishodi učenja
- povezati teoretske osnovice formalnih metoda oblikovanja s praktičnim postupcima
- analizirati i klasificirati rezultate dobivene primjenom alata za formalnu verifikaciju sustava
- razviti dijelove komunikacijskih sustava kao što su fitri, Hilbertovi transformatori, množila, decimatori i interpolatori, modulatori i demodulatori, sintezatori frekvencije
- razviti ponašajni model programski definiranog prijemnika u Matlab okruženju
- primijeniti neparametarske i parametarske metode estimacije matematičkog modela sustava
- primijeniti estimatore stanja stohastičkih sustava s Gaussom raspodjelom
- opisati prijenos govora protokolom IP, mrežnim i aplikacijskim protokolima
- kreirati VoIP sjednice prema zadanim scenarijima
Oblici nastave
-
Provjere znanja-
Laboratorijske vježbe-
Demonstracijske vježbe-
Konzultacije-
Način ocjenjivanja
Kontinuirana nastava | Ispitni rok | |||||
---|---|---|---|---|---|---|
Vrsta provjere | Prag | Udio u ocjeni | Prag | Udio u ocjeni | ||
Laboratorijske vježbe | 0 % | 50 % | 0 % | 0 % | ||
Međuispit: Pismeni | 0 % | 25 % | 0 % | |||
Završni ispit: Pismeni | 0 % | 25 % |
Tjedni plan nastave
- Uvod.
- Formalne metode u oblikovanju sustava: Formalna verifikacija digitalnih sklopova (npr. arbitar višestrukih i paralelnih zahtjeva za resursom).
- Formalne metode u oblikovanju sustava: Formalna verifikacija kritičnih sinkronizacijskih i komunikacijskih protokola operacijskih sustava.
- Formalne metode u oblikovanju sustava: Formalna verifikacija komunikacijskih protokola u raspodijeljenim sustavima.
- Obrada signala u komunikacijama: Analiza vremenski kontinuiranih signala pomoću diskretne Fourierove transformacije. Dizajn filtara s realnim i kompleksnim koeficijentima. Dizajn Hilbertovih transformatora. Dobivanje kompleksne ovojnice amplitudno, fazno i frekvencijski moduliranih signala.
- Obrada signala u komunikacijama: Modeliranje analognih prijenosnih sustava u Matlab programskom okruženju. Modeliranje programski definiranih prijemnika u Matlab programskom okruženju.
- Obrada signala u komunikacijama: Digitalni komunikacijski sustavi. Prijenos pulseva u osnovnom frekvencijskom području. Mjerenje svojstava prijenosnih sustava.
- Međuispit.
- Teorija estimacije: Neparametarski postupci identifikacije.
- Teorija estimacije: Parametarski postupci identifikacije.
- Teorija estimacije: Estimacija položaja satelita u planarnoj orbiti oko Zemlje.
- Višemedijske komunikacije: Analiza prometa VOIP sjednice.
- Višemedijske komunikacije: Proučavanje ponašanja korisnika u umreženim virtualnim okruženjima I.
- Višemedijske komunikacije: Proučavanje ponašanja korisnika u umreženim virtualnim okruženjima II.
- Završni ispit.