Katalog ECTS - program studiów kierunku Informatyka

Katalog ECTS - program studiów kierunku Informatyka, Studia II stopnia, rok
akademicki 2013/2014
Informatyka
studia stacjonarne II stopnia
profil ogólnoakademicki
Rozkład zajęć w sem. (godz. w tygodniu)
Lp
Nazwa przedmiotu
ECTS sem. 1
sem. 2
sem. 3
w c l p w c
l
p
w c
l
p
treści kierunkowe (obowiązkowe)
1
Metody numeryczne
7 2
2
2
Grafy i sieci w informatyce
6 2
2
3
Inżynieria bezpieczeństwa
5 2
2
4
Badania operacyjne
6 2
2
Techniki modelowania
5
6 2
2
programów
Moduł ogólnouczelniany lub na innym kierunku
Moduł ogólnouczelniany lub na
6
2
2
innym kierunku
Moduł specjalistyczny
7
Moduł specjalistyczny
35
16/15 (26ECTS)
6/7 (9ECTS)
Praca dyplomowa
8
Seminarium dyplomowe I
4
2
9
Seminarium dyplomowe II
12
4
10 Seminarium specjalistyczne
5
2
Problemy i zastosowania
11
2
1
współczesnej techniki
10 0 10 0 0+6/7 0 0+8/7 2+2/2 1+2/2 0 0+4/3 6+0/1
7h+(6/7h)+2h
Razem liczba godzin / punktów
90
moduł
ECTS
20h / 30p 2h+( 16/15h) 30p
ogólnouczelniany /
30p
w - wykład · c - ćwiczenia · l - laboratorium · p - projekt · przedmiot wybieralny ·
egzamin
8
9
10
11
12
13
Moduł specjalistyczny I – Inżynieria Komputerowa
Cyfrowe przetwarzanie i kompresja danych
7
2
2
Projektowanie cyfrowych systemów
6
1
2 1
informatycznych
Zintegrowane projektowanie systemów
7
2
2
sprzętowo-programowych
Programowanie sieciowe
6
1
2 1
Programowanie systemów mikroinformatycznych 6
2
2
Aplikacje mobilne
3
2
0 0 0 0 6 0 8 2 2 0 4 0
Razem liczba godzin / punktów ECTS
35
0h / 0p 16h / 26p 6h / 9p
w - wykład · c - ćwiczenia · l - laboratorium · p - projekt · egzamin
8
9
10
11
12
13
8
9
10
11
12
13
8
9
10
11
12
13
Moduł specjalistyczny II – Inżynieria Systemów Informatycznych
Sieci neuronowe i neuro-rozmyte
7
2
2
Projektowanie gier i mediów
6
1
2 1
Systemy informatyczne w zarządzaniu firmą
6
2
2
7
2
1
1
Sieci społecznościowe i systemy wieloagentowe
Równoległe i funkcyjne techniki programowania
5
1
1 1
Projektowanie aplikacji na platformie Android
Systemy wideokonferencyjne i telefonii
internetowej
4
1
2
Systemy informacji przestrzennej
0 0 0 0 7 0 7 2 2 0 3 1
Razem liczba godzin / punktów ECTS
35
0h / 0p 16h / 26p 6h / 9p
w - wykład · c - ćwiczenia · l - laboratorium · p - projekt · egzamin
Moduł specjalistyczny III – Przemysłowe Systemy Informatyczne
Hurtownie danych
7
2
2
Komputerowe wspomaganie projektowania
6
1
2 1
Cyfrowe przetwarzanie sygnałów
7
2
2
6
1
2 1
Systemy wizualizacji
Systemy ekspertowe
6
2
2
Oprogramowanie systemów pomiarowo3
2
sterujących
0 0 0 0 6 0 8 2 2 0 4 0
Razem liczba godzin / punktów ECTS
35
0h / 0p 16h / 26p 6h / 9p
w - wykład · c - ćwiczenia · l - laboratorium · p - projekt · egzamin
Moduł specjalistyczny IV – Zintegrowane Systemy Informatyczne
Hurtownie danych
7
2
2
Problemy cyfryzacji
6
1
2 1
Techniki sztucznej inteligencji
7
2
2
6
1
2
Programowanie sieciowe
Zaawansowane metody grafiki komputerowej
5
1
2 1
Systemy wizualizacji procesów
4
1
2
0 0 0 0 6 0 8 1 2 0 4 1
Razem liczba godzin / punktów ECTS
35
0h / 0p 15h / 26p 7h / 9p
w - wykład · c - ćwiczenia · l - laboratorium · p - projekt · egzamin
Informatyka
studia niestacjonarne II stopnia
profil ogólnoakademicki
Rozkład zajęć w sem. (godz. w tygodniu)
Lp
Nazwa przedmiotu
ECTS sem. 1
sem. 2
sem. 3
w c l p w c
l
p
w c
l
p
treści kierunkowe (obowiązkowe)
1
Metody numeryczne
7 2
2
2
Grafy i sieci w informatyce
6 2
2
3
Inżynieria bezpieczeństwa
5 2
2
4
Badania operacyjne
6 2
2
Techniki modelowania
5
6 2
2
programów
Moduł ogólnouczelniany lub na innym kierunku
Moduł ogólnouczelniany lub na
6
2
2
innym kierunku
Moduł specjalistyczny
7
Moduł specjalistyczny
35
16/15 (26ECTS)
6/7 (9ECTS)
Praca dyplomowa
8
Seminarium dyplomowe I
4
2
9
Seminarium dyplomowe II
12
4
10 Seminarium specjalistyczne
5
2
Problemy i zastosowania
11
2
1
współczesnej techniki
10 0 10 0 0+6/7 0 0+8/7 2+2/2 1+2/2 0 0+4/3 6+0/1
7h+(6/7h)+2h
Razem liczba godzin / punktów
90
moduł
ECTS
20h / 30p 2h+( 16/15h) 30p
ogólnouczelniany /
30p
w - wykład · c - ćwiczenia · l - laboratorium · p - projekt · przedmiot wybieralny ·
egzamin
8
9
10
11
12
13
8
Moduł specjalistyczny I – Inżynieria Komputerowa
Cyfrowe przetwarzanie i kompresja danych
7
2
2
Projektowanie cyfrowych systemów
6
1
2 1
informatycznych
Zintegrowane projektowanie systemów
7
2
2
sprzętowo-programowych
Programowanie sieciowe
6
1
2 1
Programowanie systemów mikroinformatycznych 6
2
2
Aplikacje mobilne
3
2
0 0 0 0 6 0 8 2 2 0 4 0
Razem liczba godzin / punktów ECTS
35
0h / 0p 16h / 26p 6h / 9p
w - wykład · c - ćwiczenia · l - laboratorium · p - projekt · egzamin
Moduł specjalistyczny II – Inżynieria Systemów Informatycznych
Sieci neuronowe i nero-rozmyte
7
2
2
9
Projektowanie gier i mediów
10
Systemy informatyczne w zarządzaniu firmą
11 Sieci społecznościowe i systemy wieloagentowe
Równoległe i funkcyjne techniki programowania
12
Projektowanie aplikacji na platformie Android
Systemy wideokonferencyjne i telefonii
internetowej
13
Systemy informacji przestrzennej
6
6
7
1
2
2
2 1
2
1 1
5
1
1 1
4
1
2
0 0 0 0 7 0 7 2 2 0 3 1
0h / 0p 16h / 26p 6h / 9p
w - wykład · c - ćwiczenia · l - laboratorium · p - projekt · egzamin
Razem liczba godzin / punktów ECTS
8
9
10
11
12
13
8
9
10
11
12
13
35
Moduł specjalistyczny III – Przemysłowe Systemy Informatyczne
Hurtownie danych
7
2
2
Komputerowe wspomaganie projektowania
6
1
2 1
Cyfrowe przetwarzanie sygnałów
7
2
2
6
1
2 1
Systemy wizualizacji
Systemy ekspertowe
6
2
2
Oprogramowanie systemów pomiarowo3
2
sterujących
0 0 0 0 6 0 8 2 2 0 4 0
Razem liczba godzin / punktów ECTS
35
0h / 0p 16h / 26p 6h / 9p
w - wykład · c - ćwiczenia · l - laboratorium · p - projekt · egzamin
Moduł specjalistyczny IV – Zintegrowane Systemy Informatyczne
Hurtownie danych
7
2
2
Problemy cyfryzacji
6
1
2 1
Techniki sztucznej inteligencji
7
2
2
6
1
2
Programowanie sieciowe
Zaawansowane metody grafiki komputerowej
5
1
2 1
Systemy wizualizacji procesów
4
1
2
0 0 0 0 6 0 8 1 2 0 4 1
Razem liczba godzin / punktów ECTS
35
0h / 0p 15h / 26p 7h / 9p
w - wykład · c - ćwiczenia · l - laboratorium · p - projekt · egzamin
Nazwa przedmiotu:
Kod przedmiotu:
Język:
Odpowiedzialni za przedmiot:
Prowadzący przedmiot:
Seminarium specjalistyczne
11.3-WE-I-SS-D12_S2S
polski
prof. dr hab. inż. Marian Adamski, dr hab. inż. Grzegorz Benysek, prof. UZ,
prof. dr hab. inż. Józef Korbicz, dr hab. inż. Ryszard Rybski, prof. UZ
Pracownicy WEIiT
Forma zajęć godzin w sem. godzin w tyg. semestr
forma zal.
punkty ects tryb studiów typ przedmiotu
projekt
30
2
3
zal. na ocenę
5
stacjonarne
obowiązkowy
projekt
18
2
3
zal. na ocenę
5
niestacjonarne
obowiązkowy
Cel przedmiotu
Realizacja pracy dyplomowej magisterskiej pod kierunkiem promotora.
Zakres tematyczny
Przygotowanie pracy dyplomowej pod kierunkiem promotora. Wykazanie znajomości przedmiotu, opanowanie literatury
naukowej w zakresie opracowywanego tematu. Umiejętność korzystania ze źródeł oraz powiązania problematyki teoretycznej
z zagadnieniami praktyki i stosowania naukowych metod pracy.
Metody kształcenia
projekt: praca z dokumentem źródłowym, dyskusja, konsultacje
Efekty kształcenia
Zna podstawowe metody, techniki i narzędzia stosowane przy
rozwiązywaniu złożonych zadań inżynierskich związanych ze
studiowaną dyscypliną.
K2I_U04,
K2I_U14,
K2I_U16, K2I_K01
Zna i rozumie zasady prawa autorskiego.
K2I_W16, K2I_K02
Student wykazuje umiejętność napisania pracy badawczej w
języku polskim oraz krótkiego doniesienia naukowego w
języku obcym na podstawie własnych badań.
K2I_W16,
K2I_U01,
K2I_K02, K2I_K05
T2A_U05, T2A_U12, T2A_U14,
T2A_U15, T2A_U16, T2A_U17,
T2A_U19, T2A_U18, T2A_K01
T2A_W08, T2A_W10, T2A_K02,
T2A_K05
T2A_W08, T2A_W10, T2A_U01,
T2A_U02, T2A_U07, T2A_K02,
T2A_K05, T2A_K06
Weryfikacja efektów kształcenia i warunki zaliczenia
Projekt - warunkiem zaliczenia jest uzyskanie pozytywnej oceny opracowania związanego z tematem realizowanej pracy
dyplomowej.
Metody weryfikacji
- projekt: projekt, sprawozdanie, prezentacja ustna
Składowe oceny końcowej = projekt: 100%
Obciążenie pracą studenta
Studia stacjonarne (150 godz.)
Godziny kontaktowe = 30 godz.
Zapoznanie się ze wskazaną literaturą = 10 godz.
Przygotowanie raportu/sprawozdania = 95 godz.
Konsultacje: 15
Studia niestacjonarne (150 godz.)
Godziny kontaktowe = 18 godz.
Przygotowanie się do zajęć = 12 godz.
Zapoznanie się ze wskazaną literaturą = 10 godz.
Przygotowanie raportu/sprawozdania = 95 godz.
Konsultacje: 15
Literatura podstawowa
1. Literatura przedmiotu wynika z tematyki realizowanej pracy dyplomowej.
Nazwa przedmiotu:
Kod przedmiotu:
Język:
Odpowiedzialni za przedmiot:
Prowadzący przedmiot:
Metody numeryczne
11.9-WE-I-MN-PK1_S2S
polski
prof. dr hab. inż. Krzysztof Gałkowski, prof. dr hab. Roman Gielerak
prof. dr hab. inż. Krzysztof Gałkowski, prof. dr hab. Roman Gielerak
Forma zajęć godzin w sem. godzin w tyg. semestr
forma zal.
punkty ects tryb studiów typ przedmiotu
wykład
30
2
1
egzamin
obowiązkowy
7
stacjonarne
laboratorium
30
2
1
zal. na ocenę
obowiązkowy
wykład
18
2
1
egzamin
obowiązkowy
7
niestacjonarne
laboratorium
18
2
1
zal. na ocenę
obowiązkowy
Cel przedmiotu
Cele:
- zapoznanie studentów z podstawowymi algorytmami numerycznymi do rozwiązywanie równań nieliniowych, równań
różniczkowych zagadnień obliczeniowych Algebry liniowej, metod dopasowywania krzywych takich jak metody interpolacji i
metody aproksymacji.
- nauczenie studentów technik implementowania poznanych algorytmów do wybranych środowisk programistycznych oraz
testowania otrzymanych programów
- nauczenie studentów pracy w zaawansowanym środowisko przetwarzania numerycznego Matlab a w szczególności;
nauczenie podstaw programowania
Zakres tematyczny
Podstawy matematyczne. Podstawowe pojęcia i twierdzenia analizy matematycznej wykorzystywane w metodach
numerycznych, szereg Taylora.
Błędy i reprezentacja liczb. Podstawowe definicje i typy błędów, złe uwarunkowanie numeryczne, stabilność numeryczna,
sposoby unikania błędów, systemy dziesiętny, binarny, heksadecymalny, zapis stało- i zmienno-przecinkowy, związki z
błędami.
Wyznaczanie pierwiastków równań nieliniowych. Metody: podziału, Newtona, siecznych; zastosowanie twierdzenia o punkcie
stałym; analiza i szacowanie błędów; ekstrapolacja; przypadki złego uwarunkowania, stabilność numeryczna rozwiązań.
Interpolacja. Charakterystyka interpolacji i jej zastosowań; wzór Lagrange’a; ilorazy różnicowe, własności i wzór Newtona;
analiza błędów; interpolacja funkcjami sklejanymi; interpolacja Hermite’a.
Aproksymacja. Metoda najmniejszych kwadratów; błąd minimaksowy, zastosowanie wielomianów ortogonalnych.
Całkowanie numeryczne. Kwadratury Newtona-Coatesa - metoda trapezów, metoda Simpsona; kwadratury Gaussa, analiza i
szacowanie błędów, ekstrapolacja Richardsona.
Rozwiązywanie układów równań liniowych. Metoda eliminacji Gaussa; wybór elementu głównego; faktoryzacja LU i metoda
Doolittla; analiza, szacowanie i korekcja błędów; stabilność numeryczna rozwiązań, liczba warunkowa; metody iteracyjne,
iteracje Jacobiego, iteracje Gaussa-Seidela.
Rozwiązywanie równań różniczkowych normalnych. Metody: Eulera, Rungego-Kutta, korektor-predyktor.
Metody kształcenia
wykład: konsultacje, kształcenie na odległość, ćwiczenia laboratoryjne, wykład konwencjonalny
laboratorium: symulacja, konsultacje, praca w grupach, kształcenie na odległość, ćwiczenia laboratoryjne
Efekty kształcenia
W zależności od pojawiających się zadań obliczeniowych student jest
w stanie dopasować najwydajniejsze algorytmy do wykonania tych
obliczeń.
K2I_W01,
K2I_W02,
K2I_W13,
K2I_U07
Na podstawie poznanych na wykładzie algorytmów numerycznych
służących do rozwiązywania rożnych zadań obliczeniowych jest w
stanie napisać odpowiednie programy komputerowe
K2I_W02,
K2I_W13,
K2I_U06,
K2I_U07
Student zna podstawowe algorytmy numeryczne do rozwiązywania
szeregu zadań natury obliczeniowej jak wyszczególniono w spektrum
wykładów.
K2I_W01,
K2I_W02,
K2I_W13,
K2I_U07
Na podstawie poznanych na wykładzie algorytmów numerycznych
służących do rozwiązywania rożnych zadań obliczeniowych i w oparciu
o umiejętność modelowania matematyczno-fizycznego student jest w
stanie przeprowadzić symulacje komputerowe prostych urząd
K2I_W02,
K2I_W13,
K2I_U07
Potrafi programować w języku środowiska Matlab, a także używać
zasobów tego środowiska do modelowania matematyczno-fizycznego
szeregu prostych procesów i urządzeń rożnej natury
K2I_W02,
K2I_U06,
K2I_U07
Student, który zaliczył przedmiot zna podstawy komputerowej
arytmetyki zmiennoprzecinkowej i zna jej słabości i zagrożenia
związane z jej stosowaniem.
K2I_W13,
K2I_U07
T2A_W01, T2A_W02,
T2A_W03, T2A_W07,
T2A_W06, T2A_U08, T2A_U09,
T2A_U15, T2A_U18
T2A_W02, T2A_W03,
T2A_W07, T2A_W06,
T2A_U07, T2A_U08, T2A_U10,
T2A_U19, T2A_U09, T2A_U15,
T2A_U18
T2A_W01, T2A_W02,
T2A_W03, T2A_W07,
T2A_W06, T2A_U08, T2A_U09,
T2A_U15, T2A_U18
T2A_W02, T2A_W03,
T2A_W07, T2A_W06,
T2A_U08, T2A_U09, T2A_U15,
T2A_U18
T2A_W02, T2A_W03,
T2A_W07, T2A_U07, T2A_U08,
T2A_U10, T2A_U19, T2A_U09,
T2A_U15, T2A_U18
T2A_W06, T2A_U08, T2A_U09,
T2A_U15, T2A_U18
Weryfikacja efektów kształcenia i warunki zaliczenia
Wykład - warunkiem zaliczenia jest uzyskanie pozytywnej oceny z egzaminu przeprowadzonego w formie zaproponowanej
przez prowadzącego
Laboratorium - zaliczenie wszystkich ćwiczeń i sprawdzianów dopuszczających do wykonywania ćwiczeń
Metody weryfikacji
- wykład: kolokwium, egzamin w formie ustnej, egzamin w formie pisemnej
- laboratorium: sprawdzian, kolokwium
Składowe oceny końcowej = wykład: 50% + laboratorium: 50%
Obciążenie pracą studenta
Studia stacjonarne (210 godz.)
Godziny kontaktowe = 60 godz.
Przygotowanie się do zajęć = 25 godz.
Zapoznanie się ze wskazaną literaturą = 25 godz.
Przygotowanie raportu/sprawozdania = 25 godz.
Wykonanie zadań zleconych przez prowadzącego = 25 godz.
Zajęcia realizowane na odległość = 25 godz.
Przygotowanie się do egzaminu = 25 godz.
Studia niestacjonarne (210 godz.)
Godziny kontaktowe = 36 godz.
Przygotowanie się do zajęć = 29 godz.
Zapoznanie się ze wskazaną literaturą = 29 godz.
Przygotowanie raportu/sprawozdania = 29 godz.
Wykonanie zadań zleconych przez prowadzącego = 29 godz.
Zajęcia realizowane na odległość = 29 godz.
Przygotowanie się do egzaminu = 29 godz.
Literatura podstawowa
1. Baron B.: Metody numeryczne, Helion, Gliwice, 1995.
2. Fortuna Z., Macukov B., Wąsowski J.: Metody numeryczne, WNT, Warszawa, 1982.
3. Klamka J. i inni: Metody numeryczne, Oficyna Wydawnicza Politechniki Śląskiej, Gliwice, 1998.
4. Bjoerck A., Dahlquist G.: Metody numeryczne, PWN, Warszawa, 1987.
Grafy i sieci w informatyce
Nazwa przedmiotu:
Kod przedmiotu:
Język:
Odpowiedzialni za przedmiot:
Prowadzący przedmiot:
11.9-WE-I-GSI-PK2_S2S
polski
prof. dr hab. inż. Marian Adamski, dr hab. inż. Andrei Karatkevich
dr hab. inż. Andrei Karatkevich, Pracownicy WEIiT IIiE
Forma zajęć godzin w sem. godzin w tyg. semestr
forma zal.
punkty ects tryb studiów typ przedmiotu
wykład
30
2
1
egzamin
obowiązkowy
6
stacjonarne
laboratorium
30
2
1
zal. na ocenę
obowiązkowy
wykład
18
2
1
egzamin
obowiązkowy
6
niestacjonarne
laboratorium
18
2
1
zal. na ocenę
obowiązkowy
Cel przedmiotu
- zapoznanie studentów z podstawami teorii grafów i najważniejszymi (w zastosowaniach informatycznych) algorytmami
grafowymi
- ukształtowanie podstawowych umiejętności w zakresie modelowania grafowego systemów informatycznych oraz
zastosowania algorytmów grafowych do problemów informatycznych
- zapoznanie studentów z sieciami Petriego jako modelem procesów współbieżnych oraz ich zastosowaniem w projektowaniu
systemów sterowania logicznego
Wymagania wstępne
Podstawy programowania
Zakres tematyczny
Nieformalne wprowadzenie do teorii grafów i sieci: Podstawowe pojęcia. Grafy skierowane i niekierowane. Intuicyjne
przykłady. Elementy teorii grafów skierowanych i niekierowanych: drogi, ścieżki, cykle, drzewa, przekroje. Operacje na
grafach. Klasyfikacje grafów: grafy planarne, dwudzielne, pełne, drzewa. Macierzowe reprezentacje grafów. Komputerowe
reprezentacje grafów. Wybrane własności grafów i metody ich badania.
Najważniejsze algorytmy grafowe: BFS, DFS, metody konstruowania minimalnego drzewa rozpinającego, obliczania
najkrótszych ścieżek w grafach, kolorowania grafów. Grafy Eulera i Hamiltona. Złożoność obliczeniowa algorytmów
grafowych.
Przykłady zastosowań metod teorii grafów w algorytmach optymalizacji dyskretnej.
Binarne diagramy decyzyjne: klasyczny graf BDD, uporządkowany diagram OBDD, zredukowany binarny diagram ROBDD.
Graf BDD jako efektywna struktura danych.
Przykłady zastosowań wybranych algorytmów teorii grafów w informatyce: wykorzystanie teorii grafów w inżynierii
oprogramowania, wykorzystanie teorii grafów w inżynierii komputerowej.
Elementy teorii sieci Petriego: podstawy formalne – definicje, reprezentacje, własności, klasyfikacje. Własności dynamiczne
dyskretnych obiektów zdarzeniowych i ich modelowe odpowiedniki – konflikt, blokady, żywotność, aktywność,
zachowawczość.
Analiza grafów znaków osiągalnych, P i T niezmienniki.
Interpretowane sieci Petriego: Sieć Petriego jako model współbieżnego sterownika logicznego. Makrosieć. Reprezentacja i
analiza przestrzeni stanów lokalnych z wykorzystaniem teorii grafów. Modelowanie wybranych klas procesów dyskretnych.
Metody kształcenia
wykład: wykład konwersatoryjny, wykład konwencjonalny
laboratorium: ćwiczenia laboratoryjne
Efekty kształcenia
Potrafi pracować indywidualnie i w zespole
Potrafi zaimplementować algorytmy grafowe w jednym z uniwersalnych
języków programowania
Umie opisać relacje w systemie lub strukturze przy pomocy modeli grafowych,
a dynamiczny proces współbieżny, np. sterowania logicznego - przy pomocy
sieci Petriego
K2I_W01
T2A_W01, T2A_W02
K2I_W04
T2A_W04, T2A_W07
K2I_U08
T2A_U09, T2A_U17,
T2A_U19
Potrafi prowadzać w razie potrzeby problemy informatyczne do zagadnień
grafowych i stosować algorytmy grafowe do ich rozwiązywania
K2I_U08
Zna podstawowe pojęcia teorii grafów oraz najważniejsze algorytmy grafowe
K2I_W04,
K2I_U08
T2A_U09, T2A_U17,
T2A_U19
T2A_W04, T2A_W07,
T2A_U09, T2A_U17,
T2A_U19
Weryfikacja efektów kształcenia i warunki zaliczenia
Wykład - warunkiem zaliczenia jest uzyskanie pozytywnej oceny z egzaminu pisemnego i ustnego.
Laboratorium - warunkiem zaliczenia jest uzyskanie pozytywnych ocen ze wszystkich zadań laboratoryjnych.
Metody weryfikacji
- wykład: egzamin w formie ustnej, egzamin w formie pisemnej
- laboratorium: sprawozdanie
Składowe oceny końcowej = wykład: 60% + laboratorium: 40%
Obciążenie pracą studenta
Studia stacjonarne (180 godz.)
Godziny kontaktowe = 60 godz.
Przygotowanie się do zajęć = 30 godz.
Zapoznanie się ze wskazaną literaturą = 15 godz.
Przygotowanie raportu/sprawozdania = 15 godz.
Wykonanie zadań zleconych przez prowadzącego = 30 godz.
Przygotowanie się do egzaminu = 30 godz.
Studia niestacjonarne (180 godz.)
Godziny kontaktowe = 36 godz.
Przygotowanie się do zajęć = 36 godz.
Zapoznanie się ze wskazaną literaturą = 18 godz.
Przygotowanie raportu/sprawozdania = 18 godz.
Wykonanie zadań zleconych przez prowadzącego = 36 godz.
Przygotowanie się do egzaminu = 36 godz.
Literatura podstawowa
1. Narsinh Deo: Teoria grafów i jej zastosowanie w technice i informatyce, PWN, Warszawa, 1980.
2. Thomas H. Cormen, Charles E. Leiserson, Ronald L. Rivest, Clifford Stein: Wprowadzenie do algorytmów, PWN,
Warszawa, 2012 (albo wcześniejsze wydania)
3. Reinhard Diestel: Graph theory. Electronic edition, Springer Verlag New York, 2000
4. Marek Libura, Jarosław Sikorski: Wykłady z matematyki dyskretnej. Cz. II: Teoria grafów. WSISZ, Warszawa, 2002
5. Marcin Szpyrka: Sieci Petriego w modeloowaniu i analizie systemów współbieżnych, WNT Warszawa, 2008
6. Robin Wilson: Wprowadzenie do teorii grafów. Wydawnictwo Naukowe PWN, Warszawa, 2007
Nazwa przedmiotu:
Kod przedmiotu:
Język:
Odpowiedzialni za przedmiot:
Prowadzący przedmiot:
Inżynieria bezpieczeństwa
11.9-WE-I-IB-PK3_S2S
polski
dr hab. inż. Eugeniusz Kuriata, prof. UZ, dr inż. Bartłomiej Sulikowski
dr inż. Bartłomiej Sulikowski, Pracownicy WEIiT ISSI
Forma zajęć godzin w sem. godzin w tyg. semestr
forma zal.
punkty ects tryb studiów typ przedmiotu
wykład
30
2
1
zal. na ocenę
obowiązkowy
5
stacjonarne
laboratorium
30
2
1
zal. na ocenę
obowiązkowy
wykład
18
2
1
zal. na ocenę
obowiązkowy
5
niestacjonarne
laboratorium
18
2
1
zal. na ocenę
obowiązkowy
Cel przedmiotu
- zapoznanie studenta z aktami prawnymi regulującymi zasady ochrony informacji niejawnej w Polsce oraz regulacjami z nich
wynikającymi (ochrona fizyczna, kryptograficzna i elektromagnetyczna danych)
- zapoznanie studenta z algorytmami i protokołami kryptograficznymi
- ukształtowanie umiejętności w zakresie stosowania algorytmów kryptograficznych
- zapoznanie studenta i ukształtowanie umiejętności odnośnie definiowania i stosowania polityki bezpieczeństwa w
przedsiębiorstwie
Zakres tematyczny
Bezpieczeństwo informacji. Wprowadzenie. Definicje. Infrastruktura. Modele bezpieczeństwa.
Stan prawny. Ustawa o ochronie informacji niejawnej. Kancelarie tajne. Klauzule tajności.
Dostęp do systemu. Kontrola dostępu do systemu. Zarządzanie dostępem użytkowników. Zakres odpowiedzialności
użytkowników.
Bezpieczeństwo systemów i sieci teleinformatycznych. Typy ataków. Firewalle. Metody ochrony fizycznej.
Polityka bezpieczeństwa. Rola i zadania Administratora Bezpieczeństwa Informacji.
Kryptografia. Metody symetryczne i asymetryczne. Standardy szyfrowania DES, AES.
Kryptografia klucza publicznego. Algorytm RSA. Jednokierunkowe funkcje skrótu w kryptografii. Podpis elektroniczny.
Serwery PKI.
Metody kształcenia
wykład: dyskusja, wykład konwencjonalny
laboratorium: ćwiczenia laboratoryjne
Efekty kształcenia
rozumie problemy związane ze szpiegostwa przemysłowego i potrafi
określić zasady ochrony przed nim
zna zasady ochrony fizycznej i elektromagnetycznej informacji
niejawnej
potrafi dobrać parametry kryptosystemu (zastosować odpowiednie
algorytmy kryptograficzne lub jednokierunkowe funkcje skrótu)
realizującego założone funkcje w odniesieniu do ochrony danych
zna strukturę Pionu Ochrony w jednostce organizacyjnej
(przedsiębiorstwie), rozumie zadania pracowników Pionu Ochrony w
stosunku do danych oraz innych pracowników tej jednostki
zna cechy charakterystyczne algorytmów i protokołów
kryptograficznych oraz jednokierunkowych funkcji skrótu
posiada wiedzę o stanie prawnym dotyczącym ochrony informacji
niejawnej w Polsce
K2I_W14,
K2I_U09,
K2I_U15
T2A_W08, T2A_W09,
T2A_W10, T2A_U08,
T2A_U09, T2A_U12, T2A_U13,
T2A_U15
K2I_W15
T2A_W08, T2A_W10
K2I_W01,
K2I_U09
T2A_W01, T2A_W02,
T2A_U08, T2A_U09, T2A_U12
K2I_W14,
K2I_U15,
K2I_K03,
K2I_K04
K2I_W01,
K2I_U09,
K2I_K02
K2I_W15,
K2I_K01
T2A_W08, T2A_W09,
T2A_W10, T2A_U13,
T2A_U15, T2A_K03, T2A_K04
T2A_W01, T2A_W02,
T2A_U08, T2A_U09, T2A_U12,
T2A_K02, T2A_K05
T2A_W08, T2A_W10,
T2A_K01
Weryfikacja efektów kształcenia i warunki zaliczenia
Wykład - warunkiem zaliczenia jest pozytywna ocena ze sprawdzianu wiadomości przeprowadzonego w formie pisemnej
Laboratorium - warunkiem zaliczenia jest uzyskanie pozytywnych ocen ze wszystkich ćwiczeń laboratoryjnych,
przewidzianych do realizacji w ramach programu laboratorium.
Metody weryfikacji
- wykład: sprawdzian, kolokwium
- laboratorium: sprawozdanie, sprawdzian
Składowe oceny końcowej = wykład: 65% + laboratorium: 35%
Obciążenie pracą studenta
Studia stacjonarne (150 godz.)
Godziny kontaktowe = 60 godz.
Przygotowanie się do zajęć = 30 godz.
Zapoznanie się ze wskazaną literaturą = 30 godz.
Przygotowanie raportu/sprawozdania = 10 godz.
Wykonanie zadań zleconych przez prowadzącego = 20 godz.
Studia niestacjonarne (150 godz.)
Godziny kontaktowe = 36 godz.
Przygotowanie się do zajęć = 30 godz.
Zapoznanie się ze wskazaną literaturą = 40 godz.
Przygotowanie raportu/sprawozdania = 14 godz.
Wykonanie zadań zleconych przez prowadzącego = 30 godz.
Literatura podstawowa
1. Kutyłowski M., Strothmann W. B.: Kryptografia. Teoria i praktyka zabezpieczania systemów komputerowych, Oficyna
Wydawnicza Read ME, Warszawa, 1998.
2. Mochnacki W.: Kody korekcyjne i kryptografia, Oficyna Wydawnicza Politechniki Wrocławskiej, Wrocław, 1997.
Literatura uzupełniająca
1. Schneier B.: Kryptografia dla praktyków - protokoły, algorytmy i programy źródłowe w języku C, Wydawnictwa NaukowoTechniczne, Warszawa, 1995.
2. Polok M.: Ochrona tajemnicy państwowej i tajemnicy służbowej w polskim systemie prawnym, LexisNexis, Warszawa,
2006.
3. Menezes A. J., van Oorschot P. C.: Handbook of Applied Cryptography, CRC Press, 1996.
4. Denning D. E. R.: Cryptography and Data Security, Addison-Wesley, New York, 1982.
Nazwa przedmiotu:
Kod przedmiotu:
Język:
Badania operacyjne
11.9-WE-I-BO-PK4_S2S
polski
Odpowiedzialni za przedmiot:
Prowadzący przedmiot:
dr inż. Maciej Patan, dr hab. inż. Krzysztof Patan, prof. UZ
dr inż. Maciej Patan, dr hab. inż. Krzysztof Patan, prof. UZ
Forma zajęć godzin w sem. godzin w tyg. semestr
forma zal.
punkty ects tryb studiów typ przedmiotu
wykład
30
2
1
egzamin
obowiązkowy
6
stacjonarne
laboratorium
30
2
1
zal. na ocenę
obowiązkowy
wykład
18
2
1
egzamin
obowiązkowy
6
niestacjonarne
laboratorium
18
2
1
zal. na ocenę
obowiązkowy
Cel przedmiotu
- ukształtowanie podstawowych umiejętności w zakresie formułowania zadań optymalizacji,
- zapoznanie studentów z podstawowymi procedurami optymalizacji ilościowej,
- ukształtowanie krytycznego spojrzenia na wiarygodność i efektywność numerycznego procesu poszukiwania najlepszego
rozwiązania
- ukształtowanie umiejętności korzystania z metod i technik optymalizacyjnych w praktyce badań inżynierskich
Zakres tematyczny
Zadania programowania liniowego (ZPL). Postać standardowa ZPL. Metoda rozwiązań bazowych i algorytm sympleks.
Optymalny wybór asortymentu produkcji. Problem mieszanek. Wybór procesu technologicznego. Programowanie ilorazowe.
Problemy transportowe i przydziału. Gry dwuosobowe o sumie zerowej i z naturą.
Programowanie sieciowe. Modele sieciowe o zdeterminowanej strukturze logicznej. Metody CPM i PERT. Analiza czasowokosztowa. CPM-COST. PERT-COST.
Zadania programowania nieliniowego (ZPN) - warunki optymalności. Zbiory i funkcje wypukłe. Warunki konieczne i
wystarczające istnienia ekstremum funkcji przy braku ograniczeń. Metoda mnożników Lagrange’a. Ekstrema funkcji przy
występowaniu ograniczeń równościowych i nierównościowych. Warunki Kuhna-Tuckera. Regularność ograniczeń. Warunki
istnienia punktu siodłowego. Metoda najmniejszych kwadratów. Programowanie kwadratowe.
Obliczeniowe metody rozwiązywania ZPN. Metody poszukiwania minimum w kierunku: metody Fibonacciego, złotego
podziału, Kiefera, Powella i Davidona. Metody poszukiwań prostych: metody Hooke’a-Jeevesa i Neldera-Meada. Ciągły
i dyskretny algorytm gradientu. Metoda Newtona. Metody Gaussa-Newtona i Levenberga-Marquardta. Podstawowe metody
kierunków poprawy: metody Gaussa-Seidela, najszybszego spadku, gradientów sprzężonych Fletchera-Reevesa, zmiennej
metryki Davidona-Fletchera-Powella. Poszukiwanie minimum przy warunkach ograniczających: metody funkcji kary
wewnętrznej, zewnętrznej i mieszanej, metoda rzutowania gradientu, metoda sekwencyjnego programowania kwadratowego,
metody kierunków dopuszczalnych. Elementy programowania dynamicznego.
Zagadnienia praktyczne. Upraszczanie i eliminacja ograniczeń. Eliminacja nieciągłości. Skalowanie zadania. Numeryczne
przybliżanie gradientu. Wykorzystanie procedur bibliotecznych. Przegląd wybranych bibliotek procedur optymalizacyjnych.
Omówienie metod zaimplementowanych w popularnych systemach przetwarzania numerycznego i symbolicznego.
Metody kształcenia
wykład: wykład konwencjonalny
laboratorium: ćwiczenia laboratoryjne
Efekty kształcenia
Potrafi kreatywnie posługiwać się dedykowanym oprogramowaniem i
dostępnymi bibliotekami numerycznymi w implementowaniu zadań
optymalizacji
Potrafi dokonać analizy czasowo-kosztowej przedsięwzięć
logistycznych
K2I_K05
T2A_K06
K2I_U11,
K2I_K05
Potrafi definiować modele matematyczne i symulacyjne zadań
optymalizacyjnych
K2I_W06,
K2I_U10
Zna warunki optymalności dla zadań programowania nieliniowego i
numeryczne podstawy ich rozwiązywania
Zna podstawowe typy zadań programowania liniowego i algorytmy
ich rozwiązywania
K2I_W01,
K2I_W06
K2I_W01,
K2I_W06
K2I_W01,
K2I_K01
K2I_W06,
K2I_K05
T2A_U09, T2A_U10, T2A_U14,
T2A_U15, T2A_U18, T2A_K06
T2A_W04, T2A_W05, T2A_W07,
T2A_U09, T2A_U10, T2A_U15,
T2A_U18
T2A_W01, T2A_W02, T2A_W04,
T2A_W05, T2A_W07
T2A_W01, T2A_W02, T2A_W04,
T2A_W05, T2A_W07
Ma świadomość znaczenia optymalizacji w praktyce inżynierskiej
Rozumie istotę zadania optymalizacyjnego oraz jego teoretyczne i
praktyczne aspekty
T2A_W01, T2A_W02, T2A_K01
T2A_W04, T2A_W05, T2A_W07,
T2A_K06
Weryfikacja efektów kształcenia i warunki zaliczenia
Wykład - warunkiem zaliczenia jest uzyskanie pozytywnej oceny z egzaminu przeprowadzonego w formie zaproponowanej
przez prowadzącego;
Laboratorium - zaliczenie wszystkich ćwiczeń i sprawdzianów dopuszczających do wykonywania ćwiczeń
Metody weryfikacji
- wykład: egzamin w formie pisemnej
- laboratorium: sprawozdanie, sprawdzian
Składowe oceny końcowej = wykład: 50% + laboratorium: 50%
Obciążenie pracą studenta
Studia stacjonarne (180 godz.)
Godziny kontaktowe = 60 godz.
Przygotowanie się do zajęć = 20 godz.
Zapoznanie się ze wskazaną literaturą = 20 godz.
Przygotowanie raportu/sprawozdania = 30 godz.
Wykonanie zadań zleconych przez prowadzącego = 30 godz.
Przygotowanie się do egzaminu = 20 godz.
Studia niestacjonarne (180 godz.)
Godziny kontaktowe = 36 godz.
Przygotowanie się do zajęć = 24 godz.
Zapoznanie się ze wskazaną literaturą = 24 godz.
Przygotowanie raportu/sprawozdania = 36 godz.
Wykonanie zadań zleconych przez prowadzącego = 36 godz.
Przygotowanie się do egzaminu = 24 godz.
Literatura podstawowa
1. Kukuła K.(red.): Badania operacyjne w przykładach i zadaniach, PWN, Warszawa, 2002.
2. Ignasiak E.(red.): Badania operacyjne, PWN, Warszawa, 2001.
3. Siudak M.: Badania operacyjne, Politechnika Warszawska, Warszawa, 1989.
Literatura uzupełniająca
1. Mitchell G.H. (red.): Badania operacyjne: metody i przykłady, WNT, Warszawa, 1977.
2. Greń J.: Gry statystyczne i ich zastosowania, PWE, Warszawa, 1972.
3. Trzaskalik T. (red.): Badania operacyjne z komputerem, Absolwent, Łódź, 1998.
Nazwa przedmiotu:
Kod przedmiotu:
Język:
Odpowiedzialni za przedmiot:
Prowadzący przedmiot:
Techniki modelowania programów
11.9-WE-I-TMP-PK5_S2S
polski
dr inż. Tomasz Gratkowski, dr inż. Michał Doligalski
dr inż. Tomasz Gratkowski, dr inż. Michał Doligalski,
Pracownicy WEIiT IIE
Forma zajęć godzin w sem. godzin w tyg. semestr
forma zal.
punkty ects tryb studiów typ przedmiotu
wykład
30
2
1
zal. na ocenę
obowiązkowy
6
stacjonarne
laboratorium
30
2
1
zal. na ocenę
obowiązkowy
wykład
18
2
1
zal. na ocenę
obowiązkowy
6
niestacjonarne
laboratorium
18
2
1
zal. na ocenę
obowiązkowy
Cel przedmiotu
Cel:
- zapoznanie studentów z podstawami inżynierii oprogramowania oraz sposobami modelowania programów
- ukształtowanie wśród studentów zrozumienia zasad programowania obiektowego
- zapoznanie studentów z zasadami projektowania kompilatorów
Zakres tematyczny
Elementy inżynierii oprogramowania. Tworzenie oprogramowania. Kryzys oprogramowania i sposoby przeciwdziałania.
Modelowanie pojęciowe. Rola modelowania w projektowaniu oprogramowania. Rys historyczny współczesnych technik
modelowania. Obiektowe metody projektowania i notacja UML. Metodyki strukturalne i obiektowe. Modelowanie procesów
biznesowych w notacji BPMN. Tworzenie modelu oprogramowania na podstawie modelu BPMN. Analiza i modelowanie
wymagań. Analiza i modelowanie dziedziny. Projekt architektury rozwiązania. Cykl życia oprogramowania. Projektowanie
systemowe i analiza systemowa. Podstawowe pojęcia obiektowości i powiązania między obiektami. Modelowanie powiązań
obiektów. Komunikaty i wywołania procedur. Klasy, dziedziczenie, generalizacja/ specjalizacja, polimorfizm, interfejsy.
Zunifikowany Język Modelowania UML. Geneza powstania. Definicja i cele powstania UML. Zakres UML. Diagramy języka
UML. Charakterystyka diagramów. Rozszerzenia języka UML: stereotypy, etykiety, OCL. Transformacja modeli (QVT, XSLT).
Przypomnienie podstawowych cech obiektowych języków programowania (C++, Java, C#).
Metody kształcenia
wykład: wykład konwersatoryjny, wykład konwencjonalny
laboratorium: ćwiczenia laboratoryjne
Efekty kształcenia
Zna podstawy języka UML, najważniejsze rodzaje
diagramów UML, ich zastosowanie, sposoby
powiązania obiektów
Rozumie potrzebę modelowania oprogramowania w
celu ułatwienia jego projektowania oraz zwiększenia
jego wiarygodności
Zna języki i techniki modelowania programów oraz
procesów biznesowych
K2I_W07
T2A_W04, T2A_W07
K2I_U12, K2I_K01,
K2I_K04
T2A_U09, T2A_U10, T2A_U15, T2A_U18,
T2A_U19, T2A_K01, T2A_K04
K2I_W07, K2I_U12
T2A_W04, T2A_W07, T2A_U09, T2A_U10,
T2A_U15, T2A_U18, T2A_U19
Potrafi modelować oprogramowanie, używając
odpowiednich języków modelowania
K2I_U12, K2I_U14,
K2I_K03, K2I_K04
T2A_U09, T2A_U10, T2A_U15, T2A_U18,
T2A_U19, T2A_U12, T2A_U14, T2A_U16,
T2A_U17, T2A_K03, T2A_K04
Zna podstawy programowania obiektowego i potrafi
projektować programy, używając obiektowego
paradygmatu
K2I_W07, K2I_U12
T2A_W04, T2A_W07, T2A_U09, T2A_U10,
T2A_U15, T2A_U18, T2A_U19
Weryfikacja efektów kształcenia i warunki zaliczenia
Wykład – warunkiem zaliczenia jest pozytywnych ocen z kolokwiów pisemnych przeprowadzonych co najmniej raz w
semestrze.
Laboratorium - warunkiem zaliczenia jest uzyskanie pozytywnych ocen ze wszystkich ćwiczeń laboratoryjnych,
przewidzianych do realizacji w ramach programu laboratorium.
Metody weryfikacji
- wykład: kolokwium
- laboratorium: sprawozdanie, sprawdzian
Składowe oceny końcowej = wykład: 55% + laboratorium: 45%
Obciążenie pracą studenta
Studia stacjonarne (180 godz.)
Godziny kontaktowe = 60 godz.
Przygotowanie się do zajęć = 45 godz.
Zapoznanie się ze wskazaną literaturą = 15 godz.
Przygotowanie raportu/sprawozdania = 30 godz.
Wykonanie zadań zleconych przez prowadzącego = 30 godz.
Studia niestacjonarne (180 godz.)
Godziny kontaktowe = 36 godz.
Przygotowanie się do zajęć = 54 godz.
Zapoznanie się ze wskazaną literaturą = 18 godz.
Przygotowanie raportu/sprawozdania = 36 godz.
Wykonanie zadań zleconych przez prowadzącego = 36 godz.
Literatura podstawowa
1. Stanisław Wrycza: Język UML 2.0 w modelowaniu systemów informatycznych, Helion 2006
2. Brookes F. P.,: Mityczny osobomiesiąc. Eseje o inżynierii oprogramowania WNT, Warszawa, 2000.
3. Grady B., Rumbaugh J., Jacobson I.: UML przewodnik użytkownika, Wydawnictwa Naukowo – Techniczne, Warszawa,
2002.
4. Graessle P., Baumann H., Baumann P.:, UML 2.0 w akcji. Przewodnik oparty na projektach, Helion 2006 (e-book 2011).
5. Marek Piotrowski , Notacja modelowania procesów biznesowych – podstawy, BTC, Legionowo 2007
6. Szymon Drejewicz, Zrozumieć BPMN. Modelowanie procesów biznesowych, Helion2012
Seminarium dyplomowe I
Nazwa przedmiotu:
Kod przedmiotu:
Język:
Odpowiedzialni za przedmiot:
Prowadzący przedmiot:
11.3-WE-I-SD1-D13_S2S
polski
prof. dr hab. inż. Marian Adamski,
prof. dr hab. inż. Józef Korbicz, dr hab. inż. Ryszard Rybski, prof. UZ
Pracownicy WEIiT
Forma zajęć godzin w sem. godzin w tyg. semestr
forma zal.
punkty ects tryb studiów typ przedmiotu
projekt
30
2
2
zal. na ocenę
4
stacjonarne
obowiązkowy
projekt
18
2
2
zal. na ocenę
4
niestacjonarne
obowiązkowy
Cel przedmiotu
Ćwiczenie umiejętności prezentowania i dyskutowania wyników pracy dyplomowej magisterskiej.
Zakres tematyczny
W ramach Seminarium dyplomowego I studenci na forum grupy seminaryjnej przedstawiają, w formie prezentacji
komputerowej częściowe efekty realizowanej pracy dyplomowej. Każda prezentacja kończy się dyskusją, w której czynny
udział bierze grupa seminaryjna. Dopuszcza się opracowanie i przedstawianie prezentacji w języku angielskim.
Metody kształcenia
projekt: praca z dokumentem źródłowym, dyskusja, symulacja
Efekty kształcenia
Potrafi integrować uzyskane informacje, dokonywać ich
interpretacji i krytycznej oceny, a także wyciągać wnioski
oraz formułować i wyczerpująco uzasadniać opinie.
K2I_W16, K2I_U02,
K2I_U03, K2I_U04,
K2I_K06
T2A_W08, T2A_W10, T2A_U02,
T2A_U07, T2A_U12, T2A_U03,
T2A_U04, T2A_U06, T2A_U05,
T2A_K07
Student potrafi pozyskać informacje z literatury, baz
danych oraz innych źródeł także w języku angielskim.
K2I_U03, K2I_U04
T2A_U03, T2A_U04, T2A_U06,
T2A_U05
Weryfikacja efektów kształcenia i warunki zaliczenia
Projekt - warunkiem zaliczenia jest uzyskanie pozytywnej oceny zrealizowanej części pracy dyplomowej.
Metody weryfikacji
- projekt: sprawozdanie, prezentacja ustna
Składowe oceny końcowej = projekt: 100%
Obciążenie pracą studenta
Studia stacjonarne (120 godz.)
Godziny kontaktowe = 30 godz.
Zapoznanie się ze wskazaną literaturą = 15 godz.
Przygotowanie raportu/sprawozdania = 45 godz.
Wykonanie zadań zleconych przez prowadzącego = 15 godz.
Konsultacje: 15
Studia niestacjonarne (120 godz.)
Godziny kontaktowe = 18 godz.
Przygotowanie się do zajęć = 12 godz.
Zapoznanie się ze wskazaną literaturą = 15 godz.
Przygotowanie raportu/sprawozdania = 45 godz.
Wykonanie zadań zleconych przez prowadzącego = 15 godz.
Konsultacje: 15
Literatura podstawowa
1. Literatura przedmiotu wynika z tematyki realizowanej pracy dyplomowej.
Seminarium dyplomowe II
Nazwa przedmiotu:
Kod przedmiotu:
Język:
Odpowiedzialni za przedmiot:
Prowadzący przedmiot:
11.9-WE-I-SD2-D14_S2S
polski
prof. dr hab. inż. Marian Adamski,
prof. dr hab. inż. Józef Korbicz, dr hab. inż. Ryszard Rybski, prof. UZ
Pracownicy WEIiT
Forma zajęć godzin w sem. godzin w tyg. semestr
forma zal.
punkty ects tryb studiów typ przedmiotu
projekt
60
4
3
zal. na ocenę
12
stacjonarne
obowiązkowy
projekt
36
4
3
zal. na ocenę
12
niestacjonarne
obowiązkowy
Cel przedmiotu
Doskonalenie umiejętności prezentowania i dyskutowania wyników pracy dyplomowej magisterskiej.
Wymagania wstępne
Seminarium dyplomowe I
Zakres tematyczny
W ramach Seminarium dyplomowego II studenci na forum grupy seminaryjnej przedstawiają, w formie prezentacji
komputerowej końcowe efekty realizowanej pracy dyplomowej. Każda prezentacja kończy się dyskusją, w której czynny
udział bierze grupa seminaryjna. Dopuszcza się opracowanie i przedstawianie prezentacji w języku angielskim.
Metody kształcenia
projekt: dyskusja
Efekty kształcenia
Potrafi biegle porozumiewać się przy użyciu różnych technik
w środowisku zawodowym.
Potrafi odpowiednio określić priorytety służące realizacji
określonego celu.
Posiada umiejętność wystąpień ustnych dotyczących
zagadnień szczegółowych z dyscypliny Informatyka.
K2I_W16, K2I_U02
T2A_W08, T2A_W10, T2A_U02,
T2A_U07, T2A_U12
K2I_U04
T2A_U05
K2I_W16,
K2I_U03, K2I_K06
T2A_W08, T2A_W10, T2A_U03,
T2A_U04, T2A_U06, T2A_K07
Weryfikacja efektów kształcenia i warunki zaliczenia
Projekt - warunkiem zaliczenia jest uzyskanie pozytywnej prezentacji wyników pracy dyplomowej.
Metody weryfikacji
- projekt: sprawozdanie, prezentacja ustna
Składowe oceny końcowej = projekt: 100%
Obciążenie pracą studenta
Studia stacjonarne (360 godz.)
Godziny kontaktowe = 60 godz.
Przygotowanie się do zajęć = 30 godz.
Zapoznanie się ze wskazaną literaturą = 60 godz.
Przygotowanie raportu/sprawozdania = 150 godz.
Wykonanie zadań zleconych przez prowadzącego = 45 godz.
Konsultacje: 15
Studia niestacjonarne (360 godz.)
Godziny kontaktowe = 36 godz.
Przygotowanie się do zajęć = 54 godz.
Zapoznanie się ze wskazaną literaturą = 60 godz.
Przygotowanie raportu/sprawozdania = 150 godz.
Wykonanie zadań zleconych przez prowadzącego = 45 godz.
Konsultacje: 15
Literatura podstawowa
1. Literatura przedmiotu wynika z tematyki realizowanej pracy dyplomowej.
Specjalność: Przemysłowe Systemy Informatyczne
Hurtownie danych
Nazwa przedmiotu:
Kod przedmiotu:
Język:
Odpowiedzialny za przedmiot:
Prowadzący przedmiot:
11.3-WE-I-HD-PSW_A6_PSI_S2S
polski
dr hab. inż. Wiesław Miczulski, prof. UZ
dr hab. inż. Wiesław Miczulski, prof. UZ, dr inż. Robert Szulim
Forma zajęć godzin w sem. godzin w tyg. semestr
forma zal.
punkty ects tryb studiów typ przedmiotu
wykład
30
2
2
egzamin
obowiązkowy
7
stacjonarne
laboratorium
30
2
2
zal. na ocenę
obowiązkowy
wykład
18
2
2
egzamin
obowiązkowy
7
niestacjonarne
laboratorium
18
2
2
zal. na ocenę
obowiązkowy
Cel przedmiotu
- zapoznanie studentów z architekturami hurtowni danych i modelami danych,
- zapoznanie studentów z podstawowymi metodami eksploracji danych,
- ukształtowanie podstawowych umiejętności w zakresie praktycznej budowy hurtowni danych.
Zakres tematyczny
Wprowadzenie. Systemy wspomagania podejmowania decyzji. Przetwarzanie operacyjne a przetwarzanie analityczne.
Hurtownie danych. Definicja hurtowni danych. Cechy hurtowni danych. Przykładowe zastosowania. Architektury hurtowni
danych. Warstwowa struktura hurtowni: źródła danych, warstwa ekstrakcji, czyszczenia, transformacji i ładowania danych,
serwer bazy danych, warstwa dostępu do danych, raportowania i analizy danych. Narzędzia do projektowania, budowy oraz
zarządzania i administrowania hurtownią danych.
Wielowymiarowe modele danych. Modele: MOLAP, ROLAP, HOLAP. Budowa przykładowej kostki danych.
Eksploracja danych. Proces przygotowania danych. Wybrane metody eksploracji danych: klasyfikacja, grupowanie, regresja,
odkrywanie asocjacji i sekwencji, szeregi czasowe. Formy reprezentacji wiedzy: reguły logiczne, drzewa decyzyjne, sieci
neuronowe. Przykładowe zastosowania eksploracji danych.
Metody kształcenia
wykład: konsultacje, wykład konwencjonalny
laboratorium: praca w grupach, ćwiczenia laboratoryjne
Efekty kształcenia
Potrafi pracować indywidualnie i w zespole.
Stosuje wybrane narzędzia informatyczne do eksploracji danych.
K2I_K01
K2I_U05,
K2I_U13
T2A_K01
T2A_U07, T2A_U10, T2A_U12,
T2A_U16, T2A_U11
T2A_U07, T2A_U10, T2A_U12,
T2A_U16
Tworzy przykładowe hurtownie danych.
K2I_U05
Potrafi wskazać w cyklu życia hurtowni danych działania
prowadzące do poprawy jej jakości.
Potrafi scharakteryzować modele danych stosowane w
hurtowniach danych.
K2I_W08,
K2I_W12
T2A_W04, T2A_W05
K2I_W08
T2A_W04
Opisuje strukturę hurtowni danych.
K2I_W08,
K2I_W12
T2A_W04, T2A_W05
Weryfikacja efektów kształcenia i warunki zaliczenia
Wykład - warunkiem zaliczenia jest uzyskanie pozytywnej oceny z egzaminu
Laboratorium - warunkiem zaliczenia jest uzyskanie pozytywnych ocen ze wszystkich ćwiczeń laboratoryjnych,
przewidzianych do realizacji w ramach programu laboratorium.
Metody weryfikacji
- wykład: egzamin w formie pisemnej
- laboratorium: sprawozdanie
Składowe oceny końcowej = wykład: 50% + laboratorium: 50%
Obciążenie pracą studenta
Studia stacjonarne (210 godz.)
Godziny kontaktowe = 60 godz.
Przygotowanie się do zajęć = 30 godz.
Zapoznanie się ze wskazaną literaturą = 30 godz.
Przygotowanie raportu/sprawozdania = 35 godz.
Wykonanie zadań zleconych przez prowadzącego = 25 godz.
Przygotowanie się do egzaminu = 30 godz.
Studia niestacjonarne (210 godz.)
Godziny kontaktowe = 36 godz.
Przygotowanie się do zajęć = 30 godz.
Zapoznanie się ze wskazaną literaturą = 39 godz.
Przygotowanie raportu/sprawozdania = 35 godz.
Wykonanie zadań zleconych przez prowadzącego = 25 godz.
Zajęcia realizowane na odległość = 5 godz.
Przygotowanie się do egzaminu = 40 godz.
Literatura podstawowa
1. Hand D., Mannila H., Smyth P., Eksploracja danych, WNT, Warszawa, 2005.
2. Jarke M., Lenzerini M., Vassiliou Y., Vassiliadis P., Hurtownie danych. Podstawy organizacji i funkcjonowania, WSiP,
Warszawa, 2003.
3. Larose D.T., Odkrywanie wiedzy z danych. Wprowadzenie do eksploracji danych, PWN, Warszawa, 2006.
4. Larose D.T., Metody i modele eksploracji danych, PWN, Warszawa, 2008.
5. Poe V., Klauer P., Brobst S., Tworzenie hurtowni danych, WNT, Warszawa 2000.
Literatura uzupełniająca
1. Koronacki J., Ćwik J., Statystyczne systemy uczące się, WNT, Warszawa, 2005.
2. Mazerski J., Podstawy chemometrii, Wydawnictwo Politechniki Gdańskiej, Gdańsk 2000.
3. Rutkowski L., Metody i techniki sztucznej inteligencji, PWN, Warszawa, 2005.
Nazwa przedmiotu:
Kod przedmiotu:
Język:
Odpowiedzialny za przedmiot:
Prowadzący przedmiot:
Komputerowe wspomaganie projektowania
11.9-WE-I-KWP-PSW_B7_PSI_S2S
polski
dr inż. Janusz Kaczmarek
dr inż. Janusz Kaczmarek
Forma zajęć godzin w sem. godzin w tyg. semestr
forma zal.
punkty ects tryb studiów typ przedmiotu
wykład
15
1
2
zal. na ocenę
obowiązkowy
laboratorium
30
2
2
zal. na ocenę
6
stacjonarne
obowiązkowy
projekt
15
1
2
zal. na ocenę
obowiązkowy
wykład
9
1
2
zal. na ocenę
obowiązkowy
laboratorium
18
2
2
zal. na ocenę
6
niestacjonarne
obowiązkowy
projekt
9
1
2
zal. na ocenę
obowiązkowy
Cel przedmiotu
Cel:
-zapoznanie studentów z metodyką projektowania urządzeń elektronicznych za pomocą systemów EDA
-ukształtowanie umiejętności w zakresie edycji schematów ideowych oraz wykonywania komputerowych symulacji układów
elektronicznych
-kształtowanie umiejętności w zakresie projektowania obwodów drukowanych
Zakres tematyczny
Wprowadzenie do komputerowego wspomaganie projektowania urządzeń elektronicznych. Podstawowe pojęcia i definicje.
System calowy i metryczny. Charakterystyka wybranych programów typu EDA.
Metodyka projektowania urządzeń elektronicznych. Edycja schematów. Koncepcja logicznej sieci połączeń. Schematy
hierarchiczne i wielostronicowe. Stosowanie magistral. Metody opisu sieci połączeń. Edycja obwodów drukowanych.
Definiowanie kształtu i rozmiaru obwodu drukowanego. Techniki prowadzenia ścieżek doboru oraz rozmieszczania
elementów na płytkach drukowanych. Dobór szerokości ścieżek. Czynniki określające minimalne odległości pomiędzy
składnikami płytki drukowanej. Automatyczne prowadzenie ścieżek za pomocą autoroutera
Projektowanie płytek drukowanych z układami cyfrowymi uwzględniające problem kompatybilności elektromagnetycznej.
Wprowadzenie do problemu kompatybilności elektromagnetycznej układów elektronicznych. Przełączanie układów
cyfrowych. Tłumienie zakłóceń na liniach zasilających. Tłumienie zakłóceń na liniach sygnałowych. Prowadzenie ścieżek z
sygnałami zegarowymi. Projektowanie z uwzględnieniem wymogów integralności sygnałowej SI (Signal Integrity).
Badania symulacyjne właściwości funkcjonalnych układów elektronicznych - analizy stałoprądowe, częstotliwościowe,
czasowe. Badania symulacyjne systemów mikroprocesorowych. Interpretacja wyników symulacji.
Badania symulacyjne właściwości termicznych i elektromagnetycznych obwodów drukowanych.
Przygotowanie do procesu produkcji oraz tworzenie dokumentacji technicznej płytek drukowanych.
Metody kształcenia
wykład: wykład konwencjonalny
laboratorium: ćwiczenia laboratoryjne
projekt: metoda projektu
Efekty kształcenia
Potrafi projektować i badać układy mikroprocesorowe
za pomocą programu typu EDA
Potrafi stworzyć dokumentację techniczną
projektowanego urządzenia oraz wygenerować pliki
potrzebne do wytworzenia obwodu drukowanego.
Potrafi projektować obwody drukowane w sposób
manualny oraz zastosowaniem autorutera
Potrafi rysować schematy ideowe i przeprowadzić
badania symulacyjne układów elektronicznych
Zna metodykę projektowania urządzeń elektronicznych
za pomocą programów typu EDA
K2I_W09,
K2I_U14,
K2I_K03,
K2I_K04
T2A_W04, T2A_W05, T2A_W06, T2A_W07,
T2A_U12, T2A_U14, T2A_U15, T2A_U16,
T2A_U17, T2A_U19, T2A_K03, T2A_K04
K2I_K04
T2A_K04
K2I_W09,
K2I_K03
K2I_W09,
K2I_K03,
K2I_K04
K2I_K03,
K2I_K04
T2A_W04, T2A_W05, T2A_W06, T2A_W07,
T2A_K03
T2A_W04, T2A_W05, T2A_W06, T2A_W07,
T2A_K03, T2A_K04
T2A_K03, T2A_K04
Weryfikacja efektów kształcenia i warunki zaliczenia
Wykład - warunkiem zaliczenia jest uzyskanie pozytywnych ocen z kolokwiów pisemnych przeprowadzonych co najmniej raz
w semestrze
Laboratorium - warunkiem zaliczenia jest uzyskanie pozytywnych ocen ze wszystkich ćwiczeń laboratoryjnych,
przewidzianych do realizacji w ramach programu laboratorium.
Projekt - warunkiem zaliczenia jest uzyskanie pozytywnych ocen ze wszystkich projektów, przewidzianych do realizacji w
ramach zajęć projektowych.
Metody weryfikacji
- wykład: test z progami punktowymi
- laboratorium: sprawozdanie
- projekt: projekt, prezentacja ustna
Składowe oceny końcowej = wykład: 30% + laboratorium: 40% + projekt: 30%
Obciążenie pracą studenta
Studia stacjonarne (180 godz.)
Godziny kontaktowe = 60 godz.
Przygotowanie się do zajęć = 36 godz.
Zapoznanie się ze wskazaną literaturą = 28 godz.
Przygotowanie raportu/sprawozdania = 26 godz.
Wykonanie zadań zleconych przez prowadzącego = 15 godz.
Przygotowanie się do testu: 15
Studia niestacjonarne (180 godz.)
Godziny kontaktowe = 36 godz.
Przygotowanie się do zajęć = 42 godz.
Zapoznanie się ze wskazaną literaturą = 30 godz.
Przygotowanie raportu/sprawozdania = 28 godz.
Wykonanie zadań zleconych przez prowadzącego = 20 godz.
Zajęcia realizowane na odległość = 9 godz.
Przygotowanie: 15
Literatura podstawowa
1. Rymarski Z.: Materiałoznawstwo i konstrukcja urządzeń elektronicznych. Projektowanie i produkcja urządzeń
elektronicznych, Wydawnictwo Politechniki Śląskiej, Gliwice, 2000.
2. Michalski J.: Technologia i montaż płytek drukowanych, WNT, Warszawa, 1992.
3. Dobrowolski A.: Pod maską SPICE’a, BTC, Warszawa, 2004.
4. Sidor T.: Komputerowa analiza elektronicznych układów pomiarowych, Uczelniane Wydawnictwa Naukowo-Dydaktyczne
AGH, Kraków, 2006.
Literatura uzupełniająca
1. Kacprzycki R.: System do projektowania układów elektronicznych EDWin, Elektronika Praktyczna, numery 7-12, 1999,
numery 1,3,4, 2000.
Nazwa przedmiotu:
Kod przedmiotu:
Język:
Odpowiedzialny za przedmiot:
Prowadzący przedmiot:
Cyfrowe przetwarzanie sygnałów
11.9-WE-I-CPS-PSW_C8_PSI_S2S
polski
dr hab. inż. Ryszard Rybski, prof. UZ
dr inż. Mirosław Kozioł, dr inż. Sergiusz Sienkowski
Forma zajęć godzin w sem. godzin w tyg. semestr
forma zal.
punkty ects tryb studiów typ przedmiotu
wykład
30
2
2
egzamin
obowiązkowy
7
stacjonarne
laboratorium
30
2
2
zal. na ocenę
obowiązkowy
wykład
18
2
2
egzamin
obowiązkowy
7
niestacjonarne
laboratorium
18
2
2
zal. na ocenę
obowiązkowy
Cel przedmiotu
Cel:
- zapoznanie studentów z podstawami analizy widmowej i filtracji sygnałów dyskretnych
- zapoznanie studentów z formalnym opisem układów dyskretnych
- zapoznanie studentów z metodami projektowania filtrów cyfrowych
- ukształtowanie umiejętności w zakresie praktycznej realizacji analizy widmowej i filtracji sygnałów dyskretnych
Zakres tematyczny
Podstawy teorii sygnałów. Pojęcie sygnału. Klasyfikacja sygnałów. Modele matematyczne wybranych sygnałów.
Szereg i przekształcenie Fouriera dla czasu ciągłego. Szereg Fouriera (SF) i przykłady wyznaczania jego współczynników.
Synteza sygnału na podstawie współczynników SF. Efekt Gibbsa. Warunki rozkładu funkcji na SF (warunki Dirichleta).
Własności SF. Przekształcenie Fouriera (PF). Warunki istnienia PF sygnału. Własności PF. Wpływ skończonego czasu
obserwacji sygnału na jego widmo.
Przetwarzanie analogowo-cyfrowe i cyfrowo-analogowe. Tor przetwarzania analogowo-cyfrowego i cyfrowo-analogowego.
Próbkowanie, kwantowanie i kodowanie. Błąd kwantowania. Widmo sygnału dyskretnego. Aliasing. Twierdzenie o
próbkowaniu. Filtr antyaliasingowy. Odtwarzanie sygnału ciągłego z próbek.
Dyskretne przekształcenie Fouriera (DPF). Określenie przekształcenia Fouriera dla sygnałów dyskretnych. Własności DPF.
Wyznaczanie widma amplitudowego i fazowego na podstawie wyników DPF. Przeciek widma. Funkcje okien
nieparametrycznych i parametrycznych. Poprawa rozdzielczości widma przez uzupełnianie zerami. Przykłady analizy
widmowej sygnałów dyskretnych i ich interpretacja.
Algorytm FFT. Omówienie motylkowego schematu obliczeń stosowanego w algorytmie FFT o podstawie 2. Zysk
obliczeniowy. Różne aspekty praktycznej implementacji algorytmu FFT o podstawie 2. Wyznaczanie odwrotnego DPF z
wykorzystaniem algorytmu FFT
Liniowe i przyczynowe dyskretne układy stacjonarne. Definicje układu: dyskretnego, liniowego i stacjonarnego. Operacja
splotu. Stabilność układów dyskretnych w sensie BIBO. Definicja układu przyczynowego. Równanie różnicowe.
Przekształcenie Z. Definicja przekształcenia Z. Obszar zbieżności transformaty. Odwrotne przekształcenie Z i metody jego
wyznaczania. Własności przekształcenia Z. Transmitancja układu. Bieguny i zera transmitancji. Rozkład biegunów a
stabilność układu.
Filtry cyfrowe. Podział filtrów cyfrowych na filtry o skończonej i nieskończonej odpowiedzi impulsowej (SOI i NOI).
Przetwarzanie sygnałów przez filtry. Podstawowe struktury filtrów. Wyznaczanie i interpretacja charakterystyk
częstotliwościowych filtrów. Znaczenie liniowej charakterystyki fazowej w procesie przetwarzania sygnału. Charakterystyka
opóźnienia grupowego.
Projektowanie filtrów NOI. Metoda transformacji biliniowej.
Projektowanie filtrów SOI. Metoda okien czasowych.
Metody kształcenia
wykład: wykład konwencjonalny
laboratorium: ćwiczenia laboratoryjne, wykład konwencjonalny
Efekty kształcenia
Wykorzystując język C potrafi tworzyć programy realizujące analizę widmową
sygnałów oraz ich filtrację z wykorzystaniem filtrów o nieskończonej i skończonej
odpowiedzi impulsowej
Potrafi wyznaczyć zbiór testów dla prostego układu kombinacyjnego i
sekwencyjnego w oparciu o model strukturalny i funkcjonalny, a także ocenić
jakość tego zbioru testów sposób analityczny oraz z wykorzystaniem narzędzi
CAD
Rozumie potrzebę zapewnienia wysokiej wiarygodności systemu cyfrowego, zna
mechanizmy ograniczające tę wiarygodność i zagrożenia związane z
występowaniem tych mechanizmów
Potrafi opisać układ dyskretny z wykorzystaniem równania różnicowego i
transmitancji
Weryfikacja efektów kształcenia i warunki zaliczenia
K2I_W03,
K2I_U17
T2A_W03, T2A_W04,
T2A_U15, T2A_U18,
T2A_U19
K2I_W03,
K2I_U17
T2A_W03, T2A_W04,
T2A_U15, T2A_U18,
T2A_U19
K2I_W03,
K2I_U17
K2I_W03,
K2I_U17
T2A_W03, T2A_W04,
T2A_U15, T2A_U18,
T2A_U19
T2A_W03, T2A_W04,
T2A_U15, T2A_U18,
T2A_U19
Wykład - warunkiem zaliczenia jest uzyskanie pozytywnej oceny z egzaminu.
Laboratorium - warunkiem zaliczenia jest uzyskanie pozytywnych ocen ze wszystkich ćwiczeń laboratoryjnych,
przewidzianych do realizacji w ramach programu laboratorium.
Metody weryfikacji
- wykład: egzamin w formie pisemnej
- laboratorium: sprawozdanie, egzamin w formie pisemnej
Składowe oceny końcowej = wykład: 50% + laboratorium: 50%
Obciążenie pracą studenta
Studia stacjonarne (210 godz.)
Godziny kontaktowe = 60 godz.
Przygotowanie się do zajęć = 50 godz.
Zapoznanie się ze wskazaną literaturą = 40 godz.
Przygotowanie raportu/sprawozdania = 30 godz.
Przygotowanie się do egzaminu = 30 godz.
Studia niestacjonarne (210 godz.)
Godziny kontaktowe = 36 godz.
Przygotowanie się do zajęć = 54 godz.
Zapoznanie się ze wskazaną literaturą = 60 godz.
Przygotowanie raportu/sprawozdania = 30 godz.
Przygotowanie się do egzaminu = 30 godz.
Literatura podstawowa
1. Izydorczyk J., Konopacki J.: Filtry analogowe i cyfrowe, Wydawnictwo Pracowni Komputerowej Jacka Skalmierskiego,
Gliwice, 2003.
2. Lyons R.G.: Wprowadzenie do cyfrowego przetwarzania sygnałów, WKŁ, Warszawa, 1999.
3. Smith S.W.: Cyfrowe przetwarzanie sygnałów. Praktyczny poradnik dla inżynierów i naukowców, Wydawnictwo BTC,
Warszawa, 2007.
4. Szabatin, J.: Podstawy teorii sygnałów, WKŁ, Warszawa, 2003.
5. Zieliński T.P.: Cyfrowe przetwarzanie sygnałów. Od teorii do zastosowań, WKŁ, Warszawa, 2005.
Literatura uzupełniająca
1. Mitra S.: Digital Signal Processing: A Computer-Based Approach, McGraw-Hill, 2005.
2. Oppenheim A.V., Schafer R.W., Buck J.R.: Discrete-Time Signal Processing, Prentice Hall, 1999.
3. Oppenheim A.V., Willsky A.S., Nawab H.: Signals & Systems, Prentice Hall, 1997.
Nazwa przedmiotu:
Kod przedmiotu:
Język:
Odpowiedzialny za przedmiot:
Prowadzący przedmiot:
Systemy wizualizacji
06.0-WE-I-SW-PSW_D9_PSI_S2S
polski
dr inż. Adam Markowski
dr inż. Adam Markowski
Forma zajęć godzin w sem. godzin w tyg. semestr
forma zal.
punkty ects tryb studiów typ przedmiotu
wykład
15
1
2
zal. na ocenę
obowiązkowy
laboratorium
30
2
2
zal. na ocenę
6
stacjonarne
obowiązkowy
projekt
15
1
2
zal. na ocenę
obowiązkowy
wykład
9
1
2
zal. na ocenę
obowiązkowy
laboratorium
18
2
2
zal. na ocenę
6
niestacjonarne
obowiązkowy
projekt
9
1
2
zal. na ocenę
obowiązkowy
Cel przedmiotu
- zapoznanie studentów z podstawowymi funkcjami oraz strukturą systemów wizualizacji
- ukształtowanie podstawowych umiejętności w zakresie tworzenia aplikacji do wizualizacji procesów przemysłowych
- ukształtowanie podstawowych umiejętności w zakresie projektowania aplikacji do wizualizacji procesów przemysłowych
Zakres tematyczny
Wprowadzenie. Nadzorowanie i wizualizacja procesów przemysłowych. Geneza systemów wizualizacji. Budowa i funkcje
systemów wizualizacji - HMI, SCADA. Wymagania stawiane systemom wizualizacji. Systemy wizualizacji w strukturze
informacyjnej przedsiębiorstwa SCADA, MES, ERP. Przykładowe aplikacje systemów wizualizacji.
Elementy systemów wizualizacji. Inteligentne urządzenia pomiarowo-kontrolne w systemach wizualizacji. Architektura
warstwy komunikacyjnej systemów wizualizacji. Protokoły komunikacyjne w systemach wizualizacji. Wykorzystanie
radiomodemów w systemach wizualizacji.
Użytkowanie systemów wizualizacji. Podstawy tworzenia i serwisowania aplikacji w środowisku InTouch. Konfigurowanie
systemów wizualizacji w zakresie tworzenia ekranów synoptycznych, definiowania zmiennych, tworzenia skryptów i połączeń
animacyjnych, konfigurowania alarmów i trendów, archiwizowania zmiennych, tworzenia raportów w postaci plików
tekstowych. Wykorzystanie zaawansowanych modułów do tworzenia receptur i prowadzenia statystycznej kontroli procesu.
Technologie obiektowe w systemach wizualizacji. Integracja systemów wizualizacji z systemami baz danych. Wykorzystanie
technologii obiektowych na potrzeby wymiany danych pomiędzy aplikacją wizualizacyjną a urządzeniami automatyki
przemysłowej (sterowniki PLC).
Procedura projektowania systemów wizualizacji. Strategie projektowania ekranów synoptycznych systemów wizualizacji.
Metody kształcenia
wykład: wykład konwencjonalny
laboratorium: ćwiczenia laboratoryjne
projekt: metoda projektu
Efekty kształcenia
Przyjmując odpowiednia strategię potrafi zaprojektować aplikacje do
wizualizacji procesu przemysłowego
Potrafi wykorzystać funkcje związane z recepturami oraz
statystyczną kontrolą procesu
Rozumie potrzebę stosowania systemów wizualizacji, potrafi
przedstawić podstawowe funkcje oraz strukturę systemów
wizualizacji
K2I_W10,
K2I_U06
K2I_U06
K2I_W10,
K2I_U06
Potrafi utworzyć prostą aplikację do wizualizacji procesu
przemysłowego zawierającą obrazy synoptyczne
K2I_W10,
K2I_U06
Zna i potrafi zastosować mechanizmy alarmowania zmiennych,
śledzenia wartości zmiennych w czasie rzeczywistym oraz
mechanizmy obsługi zmiennych historycznych
K2I_U06
T2A_W04, T2A_W05, T2A_W06,
T2A_W07, T2A_U07, T2A_U08,
T2A_U10, T2A_U19
T2A_U07, T2A_U08, T2A_U10,
T2A_U19
T2A_W04, T2A_W05, T2A_W06,
T2A_W07, T2A_U07, T2A_U08,
T2A_U10, T2A_U19
T2A_W04, T2A_W05, T2A_W06,
T2A_W07, T2A_U07, T2A_U08,
T2A_U10, T2A_U19
T2A_U07, T2A_U08, T2A_U10,
T2A_U19
Weryfikacja efektów kształcenia i warunki zaliczenia
Wykład - warunkiem zaliczenia jest uzyskanie pozytywnej oceny z zaliczenia przeprowadzonego w formie zaproponowanej
przez prowadzącego.
Laboratorium - warunkiem zaliczenia jest uzyskanie pozytywnych ocen ze wszystkich ćwiczeń laboratoryjnych,
przewidzianych do realizacji w ramach programu laboratorium.
Projekt - warunkiem zaliczenia jest uzyskanie pozytywnych ocen z realizacji zadań projektowych, przewidzianych w planie
zajęć.
Metody weryfikacji
- wykład: kolokwium
- laboratorium: sprawozdanie
- projekt: projekt
Składowe oceny końcowej = wykład: 40% + laboratorium: 30% + projekt: 30%
Obciążenie pracą studenta
Studia stacjonarne (180 godz.)
Godziny kontaktowe = 60 godz.
Przygotowanie się do zajęć = 24 godz.
Zapoznanie się ze wskazaną literaturą = 24 godz.
Przygotowanie raportu/sprawozdania = 24 godz.
Wykonanie zadań zleconych przez prowadzącego = 24 godz.
Zajęcia realizowane na odległość = 24 godz.
Studia niestacjonarne (180 godz.)
Godziny kontaktowe = 36 godz.
Przygotowanie się do zajęć = 29 godz.
Zapoznanie się ze wskazaną literaturą = 29 godz.
Przygotowanie raportu/sprawozdania = 29 godz.
Wykonanie zadań zleconych przez prowadzącego = 29 godz.
Zajęcia realizowane na odległość = 28 godz.
Literatura podstawowa
1. Winiecki W., Nowak J., Stanik S.: Graficzne zintegrowane środowiska programowe do projektowania komputerowych
systemów pomiarowo - sterujących, Mikom, Warszawa, 2001.
2. Kwaśniewski J.: Sterowniki PLC w praktyce inżynierskiej, BTC, Legionowo, 2008.
3. Kwiecień R.: Komputerowe systemy automatyki przemysłowej, Helion, Gliwice, 2012
4. InTouch 9.0 Podręcznik użytkownika, Astor, Kraków, 2004.
5. InTouch 9.0 Opis pól i zmiennych systemowych, Astor, Kraków, 2002.
6. InTouch 9.0 Menedżer receptur, Astor, Kraków, 2002.
7. InTouch 9.0 Moduł SQL Access, Astor, Kraków, 2002.
8. InTouch 9.0 Moduł SPC PRO, Astor, Kraków, 2002.
Literatura uzupełniająca
1. Jakuszewski R: Programowanie systemów SCADA, Pracownia komputerowa Jacka Skalmierskiego, Gliwice, 2006.
Nazwa przedmiotu:
Kod przedmiotu:
Język:
Odpowiedzialny za przedmiot:
Prowadzący przedmiot:
Systemy ekspertowe
11.9-WE-I-SE-PSW_E10_PSI_S2S
polski
dr inż. Robert Szulim
dr inż. Robert Szulim
Forma zajęć godzin w sem. godzin w tyg. semestr
forma zal.
punkty ects tryb studiów typ przedmiotu
wykład
30
2
3
zal. na ocenę
obowiązkowy
6
stacjonarne
laboratorium
30
2
3
zal. na ocenę
obowiązkowy
wykład
18
2
3
zal. na ocenę
obowiązkowy
6
niestacjonarne
laboratorium
18
2
3
zal. na ocenę
obowiązkowy
Cel przedmiotu
- zapoznanie studentów z podstawami budowy, funkcjonowania i rodzajami systemów ekspertowych,
- zapoznanie studentów z wybranymi metodami sztucznej inteligencji, rodzajami baz wiedzy i podstawami ich tworzenia,
- ukształtowanie wśród studentów podstawowych umiejętności w zakresie projektowania, tworzenia i uruchamiania systemów
ekspertowych.
Zakres tematyczny
Koncepcje imitacji czynności intelektualnych człowieka. Systemy inteligentne i ich zróżnicowanie. Nurty sztucznej inteligencji.
Interpretacja pojęć informacja, wiedza.
System ekspertowy. Struktura systemu ekspertowego. Rodzaje systemów ekspertowych. Właściwości systemów
ekspertowych.
Projektowanie systemu ekspertowego. Metody projektowania systemów ekspertowych.
Pozyskiwanie wiedzy. Pozyskiwanie wiedzy od specjalistów. Pozyskiwanie wiedzy z baz danych.
Baza wiedzy systemu ekspertowego. Regułowa reprezentacja wiedzy. Projektowanie bazy wiedzy. Weryfikacja poprawności
bazy wiedzy.
Przetwarzanie wiedzy dokładnej w systemach ekspertowych. Wnioskowanie wstępujące. Wnioskowanie zstępujące.
Wnioskowanie na podstawie przypadków.
Uczenie maszynowe. Pojęcia i definicje. Strategie maszynowego uczenia się.
Interfejs komunikacji użytkownik-system. Interfejs graficzny. Projektowanie dialogu. System wyjaśnień.
Przybliżona reprezentacja wiedzy. Formy niepewności wiedzy. Elementy zbiorów rozmytych.
Przetwarzanie wiedzy przybliżonej. Rozmywanie i wyostrzanie. Wnioskowanie rozmyte.
Inne formy sztucznej inteligencji. Ogólna charakterystyka sztucznych sieci neuronowych. Ogólna charakterystyka algorytmu
genetycznego.
Ewolucja systemów sztucznej inteligencji. Struktury hybrydowe. Tendencje rozwojowe.
Wybrane narzędzia i biblioteki programowe do budowy systemów ekspertowych.
Integracja systemów ekspertowych z systemami pomiarowo-sterującymi, bazami danych oraz portalami WWW.
Metody kształcenia
wykład: dyskusja, konsultacje, wykład problemowy, wykład konwencjonalny
laboratorium: dyskusja, konsultacje, praca w grupach, zajęcia praktyczne, ćwiczenia laboratoryjne
Efekty kształcenia
K2I_K01 - ma świadomość z rosnącej roli systemów bazujących na
wykorzystaniu metod sztucznej inteligencji
K2I_U02 - potrafi zaprojektować bazę wiedzy dla systemu
ekspertowego
K2I_U01 - potrafi zbudować i uruchomić prosty system ekspertowy oraz
zintegrować go z innymi systemami informatycznymi
K2I_W02 - zna i rozumie wybrane metody sztucznej inteligencji i potrafi
wskazać wybrane obszary ich zastosowania
K2I_W01 - ma elementarną wiedzę w zakresie budowy, funkcjonowania
i rodzajów systemów ekspertowych
K2I_W12
T2A_W05
K2I_U05,
K2I_U13
K2I_U05,
K2I_U13
K2I_W08,
K2I_W12
T2A_U07, T2A_U10, T2A_U12,
T2A_U16, T2A_U11
T2A_U07, T2A_U10, T2A_U12,
T2A_U16, T2A_U11
K2I_W08
T2A_W04
T2A_W04, T2A_W05
Weryfikacja efektów kształcenia i warunki zaliczenia
Wykład - warunkiem zaliczenia jest uzyskanie pozytywnych ocen z kolokwiów.
Laboratorium - warunkiem zaliczenia jest uzyskanie pozytywnych ocen ze wszystkich ćwiczeń laboratoryjnych,
przewidzianych do realizacji w ramach programu laboratorium.
Metody weryfikacji
- wykład: kolokwium
- laboratorium: sprawozdanie, sprawdzian
Składowe oceny końcowej = wykład: 40% + laboratorium: 60%
Obciążenie pracą studenta
Studia stacjonarne (180 godz.)
Godziny kontaktowe = 60 godz.
Przygotowanie się do zajęć = 36 godz.
Zapoznanie się ze wskazaną literaturą = 24 godz.
Przygotowanie raportu/sprawozdania = 24 godz.
Wykonanie zadań zleconych przez prowadzącego = 36 godz.
Studia niestacjonarne (180 godz.)
Godziny kontaktowe = 36 godz.
Przygotowanie się do zajęć = 36 godz.
Zapoznanie się ze wskazaną literaturą = 29 godz.
Przygotowanie raportu/sprawozdania = 29 godz.
Wykonanie zadań zleconych przez prowadzącego = 36 godz.
Zajęcia realizowane na odległość = 14 godz.
Literatura podstawowa
1. Beynon-Davies P.: Inżynieria systemów informacyjnych. WNT, Warszawa, 1999.
2. Hand D., Mannila H., Smyth P.: Eksploracja danych, WNT, Warszawa 2005.
3. Jagielski J.: Inżynieria wiedzy, Wydawnictwo Uniwersytetu Zielonogórskiego, Zielona Góra, 2005.
4. Mulawka J.: Systemy ekspertowe, WNT, Warszawa, 1996.
5. Rutkowski L.: Metody i techniki sztucznej inteligencji, PWN, Warszawa, 2005.
6. Romański C.: Statystyczne systemy ekspertowe, Wydawnictwo Uniwersytetu Łódzkiego, Łódź, 1998.
Literatura uzupełniająca
1. Cichosz P.: Systemy uczące się, WNT, Warszawa, 2000.
2. Niderliński A.: Regułowe systemy ekspertowe, Wyd. Jacka Skalmierskiego, Gliwice, 2000.
3. Piegat A.: Modelowanie i sterowanie rozmyte, Wydawnictwo ELIT, Warszawa, 1999.
4. Zieliński Z.: Inteligentne systemy w zarządzaniu, PWN, Warszawa, 2000.
Nazwa przedmiotu:
Oprogramowanie systemów pomiarowo-sterujących
Kod przedmiotu:
Język:
Odpowiedzialny za przedmiot:
Prowadzący przedmiot:
06.0-WE-I-OSPS-PSW_F11_PSI_S2S
polski
dr inż. Leszek Furmankiewicz
dr inż. Leszek Furmankiewicz
Forma zajęć godzin w sem. godzin w tyg. semestr
forma zal.
punkty ects tryb studiów typ przedmiotu
laboratorium
30
2
3
zal. na ocenę
3
stacjonarne
obowiązkowy
laboratorium
18
2
3
zal. na ocenę
3
niestacjonarne
obowiązkowy
Cel przedmiotu
- ukształtowanie wśród studentów umiejętności projektowania oprogramowania dla skupionych i rozproszonych systemów
pomiarowych i pomiarowo - sterujących
Zakres tematyczny
Sterowniki PAC . Projektowanie oprogramowania dla sterownika PAC firmy B&R realizującego funkcje pomiarowe i sterujące
oraz projektowanie wizualizacji.
Oprogramowanie systemu akwizycji w środowisku LabView. Oprogramowanie systemu pomiarowo - sterującego
zrealizowanego na bazie systemu NI USB 6008 firmy National Instruments.
Oprogramowanie karty akwizycji sygnałów. Oprogramowanie karty akwizycji sygnałów Lab PC-1200 do realizacji zadań
pomiarowych.
Standard SCPI. Oprogramowanie kontrolera interfejsu IEEE-488.2 do współpracy z multimetrem HP34401A.
Zastosowanie technologii internetowych w systemach pomiarowych. Wykorzystanie protokołu TCPIP i UDP do przesyłania
danych pobranych z przyrządów pomiarowych.
Oprogramowanie dedykowanego serwera WWW. Technologia programowania serwera TINI. Oprogramowanie serwera TINI
do współpracy z przyrządem pomiarowym.
Metody kształcenia
laboratorium: ćwiczenia laboratoryjne
Efekty kształcenia
Student potrafi projektować oprogramowanie dla systemów
pomiarowo-sterujących opartych na sterownikach PLC i PAC
K2I_W11,
K2I_U06,
K2I_U14
Student potrafi zaprojektować oprogramowanie komunikacyjne
dla systemów pomiarowych opartych na bazie podstawowych
interfejsów komunikacyjnych i interfejsów sieciowych
K2I_W11,
K2I_U06,
K2I_U14
Weryfikacja efektów kształcenia i warunki zaliczenia
T2A_W04, T2A_W06, T2A_U07,
T2A_U08, T2A_U10, T2A_U19,
T2A_U12, T2A_U14, T2A_U15,
T2A_U16, T2A_U17
T2A_W04, T2A_W06, T2A_U07,
T2A_U08, T2A_U10, T2A_U19,
T2A_U12, T2A_U14, T2A_U15,
T2A_U16, T2A_U17
Laboratorium - warunkiem zaliczenia jest uzyskanie pozytywnych ocen ze wszystkich ćwiczeń laboratoryjnych
przewidzianych do realizacji w ramach programu laboratorium.
Metody weryfikacji
- laboratorium: sprawozdanie, prezentacja ustna
Składowe oceny końcowej = laboratorium: 100%
Obciążenie pracą studenta
Studia stacjonarne (90 godz.)
Godziny kontaktowe = 30 godz.
Przygotowanie się do zajęć = 18 godz.
Zapoznanie się ze wskazaną literaturą = 12 godz.
Przygotowanie raportu/sprawozdania = 18 godz.
Wykonanie zadań zleconych przez prowadzącego = 12 godz.
Studia niestacjonarne (90 godz.)
Godziny kontaktowe = 18 godz.
Przygotowanie się do zajęć = 22 godz.
Zapoznanie się ze wskazaną literaturą = 15 godz.
Przygotowanie raportu/sprawozdania = 21 godz.
Wykonanie zadań zleconych przez prowadzącego = 14 godz.
Literatura podstawowa
1. Winiecki W.: Organizacja komputerowych systemów pomiarowych. Oficyna Wydawnicza Politechniki Warszawskiej,
Warszawa, 1997.
2. Mielczarek W.: Urządzenia pomiarowe i systemy kompatybilne ze standardem SCPI, Helion, Gliwice, 1999.
3. Winiecki W., Nowak J., Stanik S.: Graficzne zintegrowane środowiska programowe do projektowania komputerowych
systemów pomiarowo - kontrolnych, Mikom, Warszawa, 2001.
4. Lesiak P., Świsulski D.: Komputerowa Technika Pomiarowa w przykładach, Agenda Wydawnicza PAK, Warszawa, 2002.
5. Nawrocki W. : Komputerowe Systemy pomiarowe. WKiŁ, Warszawa, 2002.
6. Rak R.,J.: Wirtualny przyrząd pomiarowy - realne narzędzie współczesnej metrologii, Oficyna Wydawnicza Politechniki
Warszawskiej, Warszawa, 2003.
7. Nawrocki W.: Rozproszone systemy pomiarowe, WKŁ, Warszawa, 2006.
8. Pietrusiewicz K., Dworak P.: Programowalne sterowniki automatyki PAC. Nakom, Poznań, 2007.
Specjalność: Inżynieria Komputerowa
Nazwa przedmiotu:
Kod przedmiotu:
Język:
Odpowiedzialny za przedmiot:
Prowadzący przedmiot:
Cyfrowe przetwarzanie i kompresja danych
11.9-WE-I-CPKD-PSW_A6_IK2I_S2S
polski
dr inż. Wojciech Zając
dr inż. Wojciech Zając
Forma zajęć godzin w sem. godzin w tyg. semestr
forma zal.
punkty ects tryb studiów typ przedmiotu
wykład
30
2
2
egzamin
obowiązkowy
7
stacjonarne
laboratorium
30
2
2
zal. na ocenę
obowiązkowy
wykład
18
2
2
egzamin
obowiązkowy
7
niestacjonarne
laboratorium
18
2
2
zal. na ocenę
obowiązkowy
Cel przedmiotu
Zapoznanie studentów z technikami analizy danych cyfrowych. Ukształtowanie zrozumienia zasad przekształcania postaci
informacji w systemach cyfrowych. Ukształtowanie umiejętności modelowania procesów przekształcania danych w
systemach cyfrowych.
Zakres tematyczny
Konwersja AC sygnału. Akwizycja danych z przetworników wizyjnych.
Filtracja, splot, analiza Fouriera.
Dyskretna transformata kosinusowa.
Dyskretna transformata falkowa.
Algorytmy kodowania entropowego.
Kompresja stratna i bezstratna, znaczenie kompresji.
Miary jakości obrazów.
Standardy kompresji obrazów nieruchomych.
Standardy kompresji sekwencji wizyjnych.
Metody kształcenia
wykład: wykład konwencjonalny
laboratorium: ćwiczenia laboratoryjne
Efekty kształcenia
Potrafi modelować w oprogramowaniu narzędziowym poszczególne
elementy systemu przetwarzania danych cyfrowych
Potrafi omówić strukturę systemu cyfrowego przekształcania danych i
scharakteryzować techniki przetwarzania sygnału w poszczególnych
elementach systemu
Potrafi wymienić techniki analizy danych w systemie cyfrowym
K2I_W03,
K2I_U17,
K2I_K01
T2A_W03, T2A_W04,
T2A_U15, T2A_U18,
T2A_U19, T2A_K01
K2I_W03
T2A_W03, T2A_W04
K2I_W03
T2A_W03, T2A_W04
Weryfikacja efektów kształcenia i warunki zaliczenia
Wykład - warunkiem zaliczenia jest uzyskanie pozytywnej oceny z egzaminu pisemnego.
Laboratorium - warunkiem zaliczenia jest uzyskanie pozytywnych ocen ze wszystkich ćwiczeń laboratoryjnych
zrealizowanych w semestrze.
Metody weryfikacji
- wykład: egzamin w formie pisemnej
- laboratorium: prezentacja ustna
Składowe oceny końcowej = wykład: 50% + laboratorium: 50%
Obciążenie pracą studenta
Studia stacjonarne (210 godz.)
Godziny kontaktowe = 60 godz.
Przygotowanie się do zajęć = 25 godz.
Zapoznanie się ze wskazaną literaturą = 25 godz.
Przygotowanie raportu/sprawozdania = 25 godz.
Wykonanie zadań zleconych przez prowadzącego = 25 godz.
Zajęcia realizowane na odległość = 25 godz.
Przygotowanie się do egzaminu = 25 godz.
Studia niestacjonarne (210 godz.)
Godziny kontaktowe = 36 godz.
Przygotowanie się do zajęć = 29 godz.
Zapoznanie się ze wskazaną literaturą = 29 godz.
Przygotowanie raportu/sprawozdania = 29 godz.
Wykonanie zadań zleconych przez prowadzącego = 29 godz.
Zajęcia realizowane na odległość = 29 godz.
Przygotowanie się do egzaminu = 29 godz.
Literatura podstawowa
1. Lyons R.G.: Wprowadzenie do cyfrowego przetwarzania sygnałów, WKŁ, Warszawa, 2003.
2. Zieliński T.P.: Cyfrowe przetwarzanie sygnałów. Od teorii do zastosowań, WKŁ, Warszawa, 2007.
3. Sayood K.: Kompresja danych - wprowadzenie, READ ME, 2002.
4. Domański M.: Zaawansowane techniki kompresji obrazów i sekwencji wizyjnych, WPP, Poznań, 1998.
5. Skarbek W.: Multimedia. Algorytmy i standardy kompresji, PLJ, 1998.
Literatura uzupełniająca
1. Ohm J. R.: Multimedia Communication Technology, Springer, 2004.
Nazwa przedmiotu:
Kod przedmiotu:
Język:
Odpowiedzialny za przedmiot:
Prowadzący przedmiot:
Projektowanie cyfrowych systemów informatycznych
11.9-WE-I-PSSI-PSW_B7_IK2I_S2S
polski
prof. dr hab. inż. Alexander Barkalov
dr inż. Grzegorz Łabiak, dr inż. Remigiusz Wiśniewski,
dr inż. Grzegorz Bazydło, Pracownicy WEIiT IIE
Forma zajęć godzin w sem. godzin w tyg. semestr
forma zal.
punkty ects tryb studiów typ przedmiotu
wykład
15
1
2
zal. na ocenę
obowiązkowy
laboratorium
30
2
2
zal. na ocenę
6
stacjonarne
obowiązkowy
projekt
15
1
2
zal. na ocenę
obowiązkowy
wykład
9
1
2
zal. na ocenę
obowiązkowy
laboratorium
18
2
2
zal. na ocenę
6
niestacjonarne
obowiązkowy
projekt
9
1
2
zal. na ocenę
obowiązkowy
Cel przedmiotu
Zapoznanie studentów z podstawowymi technikami projektowania i syntezy jednostek sterujących
Zakres tematyczny
Podstawy organizacji jednostek sterujących. Metody opisu i interpretacji algorytmów sterujących; Metody optymalizacji
jednostek sterujących dla układów programowalnych.
Systems-on-Programmable-Chip: analiza i charakterystyka. Rozwój układów programowalnych; Podstawy System-onProgrammable-Chip; Analiza jednostek sterujących będących częścią SoPC.
Projektowanie wydajnych jednostek sterujących. Projektowanie automatu typu Moore’a z trywialnym kodowaniem stanów;
Projektowanie automatu typu Moore’a z optymalnym kodowaniem stanów; Projektowanie automatu typu Moore’a z
transformacją stanów; Projektowanie wielopoziomowych automatów typu Moore’a.
Projektowanie mikroprogramowanych jednostek sterujących I. Podstawy organizacji i projektowania mikroprogramowanych
jednostek sterujących; Projektowanie MCU z naturalnym adresowaniem mikroinstrukcji; Projektowanie MCU z
kombinowanym adresowaniem mikroinstrukcji;
Projektowanie mikroprogramowanych jednostek sterujących II. Projektowanie CMCU o podstawowej strukturze;
Projektowane CMCU ze wspólną pamięcią; Projektowanie CMCU z transformacją adresów; Projektowanie CMCU z
dzieleniem kodów.
Metody kształcenia
wykład: wykład konwencjonalny
laboratorium: ćwiczenia laboratoryjne
projekt: projekt
Efekty kształcenia
Ma świadomość rozwoju dyscypliny.
Dokonuje wyboru właściwej struktury jednostki
sterującej w zależności od wymagań projektowych.
Rozróżnia struktury jednostek sterujących.
Potrafi zaprojektować zoptymalizowaną jednostkę
sterującą.
Student potrafi objaśnić metody opisu i interpretacji
algorytmów sterujących oraz metody optymalizacji
jednostek sterujących.
K2I_W12, K2I_K01
T2A_W05, T2A_K01
T2A_W03, T2A_W04, T2A_W05,
K2I_W03, K2I_W09,
T2A_W06, T2A_W07, T2A_U15,
K2I_U17, K2I_K05
T2A_U18, T2A_U19, T2A_K06
T2A_W03, T2A_W04, T2A_W05,
K2I_W03, K2I_W09
T2A_W06, T2A_W07
K2I_U17, K2I_K03, T2A_U15, T2A_U18, T2A_U19, T2A_K03,
K2I_K04, K2I_K05
T2A_K04, T2A_K06
K2I_W03, K2I_W09
T2A_W03, T2A_W04, T2A_W05,
T2A_W06, T2A_W07
Weryfikacja efektów kształcenia i warunki zaliczenia
Wykład - warunkiem zaliczenia jest uzyskanie pozytywnych ocen z kolokwiów przeprowadzonych w formie zaproponowanej
przez prowadzącego.
Laboratorium - warunkiem zaliczenia jest uzyskanie pozytywnych ocen ze wszystkich ćwiczeń laboratoryjnych,
przewidzianych do realizacji w ramach programu laboratorium.
Projekt - warunkiem zaliczenia jest uzyskanie pozytywnych ocen ze wszystkich projektów, przewidzianych do realizacji
w ramach zajęć projektowych.
Metody weryfikacji
- wykład: kolokwium w formie pisemnej
- laboratorium: sprawozdanie
- projekt: projekt
Składowe oceny końcowej = wykład: 40% + laboratorium: 30% + projekt: 30%
Obciążenie pracą studenta
Studia stacjonarne (180 godz.)
Godziny kontaktowe = 60 godz.
Przygotowanie się do zajęć = 24 godz.
Zapoznanie się ze wskazaną literaturą = 24 godz.
Przygotowanie raportu/sprawozdania = 24 godz.
Wykonanie zadań zleconych przez prowadzącego = 24 godz.
Zajęcia realizowane na odległość = 24 godz.
Studia niestacjonarne (180 godz.)
Godziny kontaktowe = 36 godz.
Przygotowanie się do zajęć = 29 godz.
Zapoznanie się ze wskazaną literaturą = 29 godz.
Przygotowanie raportu/sprawozdania = 29 godz.
Wykonanie zadań zleconych przez prowadzącego = 29 godz.
Zajęcia realizowane na odległość = 28 godz.
Literatura podstawowa
1. Kania D.: Synteza logiczna przeznaczona dla matrycowych struktur programowalnych PAL, Zeszyty Naukowe Politechniki
Śląskiej, Gliwice, 2004.
2. Micheli G.: Synteza i optymalizacja układów cyfrowych, WNT, Warszawa, 1998.
3. Kamionka-Mikuła H., Małysiak H., Pochopień B.: Synteza i analiza układów cyfrowych, Wydawnictwo Pracowni
Komputerowej Jacka Skalmierskiego, Gliwice, 2006.
4. Kevin Skahill: Język VHDL - Projektowanie programowalnych układów logicznych, WNT, Warszawa, 2001.
5. Łuba T., Zbierzchowski B.: Komputerowe projektowanie układów cyfrowych, WKiŁ, Warszawa, 2000.
Literatura uzupełniająca
1. Barkalov A., Węgrzyn W..: Design of Control Units with Programmable Logic, University of Zielona Góra Press, Zielona
Góra, 2006.
2. Ciletti M.D.: Modeling, Synthesis, and Rapid Prototyping with the Verilog HDL, Prentice-Hall, Upper Saddle River, NJ,
1999.
Nazwa przedmiotu:
Kod przedmiotu:
Język:
Odpowiedzialny za przedmiot:
Prowadzący przedmiot:
Zintegrowane projektowanie systemów sprzętowoprogramowych
06.0-WE-I-ZPSS-PSW_C8_IK2I_S2S
polski
dr inż. Arkadiusz Bukowiec
dr inż. Arkadiusz Bukowiec, Pracownicy WEIiT IIE
Forma zajęć godzin w sem. godzin w tyg. semestr
forma zal.
punkty ects tryb studiów typ przedmiotu
wykład
30
2
2
egzamin
obowiązkowy
7
stacjonarne
laboratorium
30
2
2
zal. na ocenę
obowiązkowy
wykład
18
2
2
egzamin
obowiązkowy
7
niestacjonarne
laboratorium
18
2
2
zal. na ocenę
obowiązkowy
Cel przedmiotu
- zapoznanie studentów z podstawowymi technikami zintegrowanego projektowania systemów sprzętowo-programowych
- ukształtowanie wśród studentów zrozumienia konieczności stosowania rozwiązań integrujących sprzęt i oprogramowanie w
systemie osadzonym
- ukształtowanie podstawowych umiejętności w zakresie projektowania układów i systemów osadzonych, oraz ich
oprogramowania.
Zakres tematyczny
Tendencje na rynku elektroniki, a zwłaszcza systemów zintegrowanych. Rola układów osadzonych we współczesnej
elektronice. Podejście zintegrowane do projektowania jako nowa jakość w stosunku do metod tradycyjnych.
Podstawowe fazy projektowania zintegrowanego: specyfikacja, translacja do modelu formalnego, modelowanie, weryfikacja,
współsymulacja, dekompozycja, implementacja części sprzętowej i programowej.
Specyfikacja systemów mikroprocesorowych na poziomie systemowym. Zastosowanie języków opisu sprzętu (VHDL, Verilog
itp.) i programowania (C/C++, Java itp.) do reprezentacji systemów sprzętowo-programowych.
Modele formalne stosowane w projektowaniu zintegrowanym: wymagania i cechy modeli. Omówienie najważniejszych typów
modeli.
Architektury systemów zintegrowanych (typowe elementy architektury, typowy szablon architektury, koprocesorowy tryb
pracy, koszt interfejsu HW/SW). Specjalizowane procesory sprzętowe (FPGA/CPLD) i programowe (ASIP).
Metody kształcenia
wykład: wykład konwencjonalny
laboratorium: praca w grupach, zajęcia praktyczne, ćwiczenia laboratoryjne
Efekty kształcenia
Potrafi, przy użyciu narzędzi CAD, zaprojektować
prosty system osadzony oraz oprogramować go z
wykorzystaniem języków programowania.
K2I_U14, K2I_U17,
K2I_K03, K2I_K04,
K2I_K05
Zna modele formalne oraz ich cechy stosowane w
projektowaniu zintegrowanym
K2I_W09, K2I_U14,
K2I_U17
Potrafi wskazać fazy projektowania zintegrowanego,
omówić architekturę systemu osadzonego.
K2I_W09, K2I_U14
Zamierzone efekty kształcenia Student, który zaliczył
przedmiot: Rozumie rolę układów osadzonych we
współczesnej elektronice.
K2I_W09, K2I_K01
T2A_U12, T2A_U14, T2A_U15, T2A_U16,
T2A_U17, T2A_U19, T2A_U18, T2A_K03,
T2A_K04, T2A_K06
T2A_W04, T2A_W05, T2A_W06,
T2A_W07, T2A_U12, T2A_U14, T2A_U15,
T2A_U16, T2A_U17, T2A_U19, T2A_U18
T2A_W04, T2A_W05, T2A_W06,
T2A_W07, T2A_U12, T2A_U14, T2A_U15,
T2A_U16, T2A_U17, T2A_U19
T2A_W04, T2A_W05, T2A_W06,
T2A_W07, T2A_K01
Weryfikacja efektów kształcenia i warunki zaliczenia
Wykład - warunkiem zaliczenia jest uzyskanie pozytywnej oceny z egzaminu przeprowadzonego w formie zaproponowanej
przez prowadzącego.
Laboratorium - warunkiem zaliczenia jest uzyskanie pozytywnych ocen ze zadań, przewidzianych do realizacji w ramach
programu laboratorium.
Metody weryfikacji
- wykład: egzamin w formie pisemnej
- laboratorium: projekt, sprawozdanie
Składowe oceny końcowej = wykład: 50% + laboratorium: 50%
Obciążenie pracą studenta
Studia stacjonarne (210 godz.)
Godziny kontaktowe = 60 godz.
Przygotowanie się do zajęć = 30 godz.
Zapoznanie się ze wskazaną literaturą = 30 godz.
Przygotowanie raportu/sprawozdania = 30 godz.
Wykonanie zadań zleconych przez prowadzącego = 30 godz.
Przygotowanie się do egzaminu = 30 godz.
Studia niestacjonarne (210 godz.)
Godziny kontaktowe = 36 godz.
Przygotowanie się do zajęć = 36 godz.
Zapoznanie się ze wskazaną literaturą = 30 godz.
Przygotowanie raportu/sprawozdania = 36 godz.
Wykonanie zadań zleconych przez prowadzącego = 36 godz.
Przygotowanie się do egzaminu = 36 godz.
Literatura podstawowa
1. Balarin F. et al.: Hardware-Software Co-Design of Embedded Systems. The POLIS Approach, Kluwer Academic
Publishers, 1997.
2. De Micheli G.: Synteza i optymalizacja układów cyfrowych, WNT, Warszawa, 1998.
3. Proceedings of the IEEE, Special issue on Hardware/Software Codesign, vol. 85, No. 3, March 1997.
4. Staunstrup J., Wolf W. (eds.): Hardware/Software Co-Design: Principles and Practice, Kluwer Academic Publishers, 1997.
Literatura uzupełniająca
1. Ciletti M. D.: Modeling, Synthesis, and Rapid Prototyping with the Verilog HDL, Prentice-Hall, Upper Saddle River, NJ,
1999.
2. Kamionka-Mikuła H., Małysiak H., Pochopień B.: Synteza i analiza układów cyfrowych, Wydawnictwo Pracowni
Komputerowej Jacka Skalmierskiego, Gliwice, 2006.
3. Łuba T., Zbierzchowski B.: Komputerowe projektowanie układów cyfrowych, WKiŁ, Warszawa, 2000.
4. Skahill K.: Język VHDL - Projektowanie programowalnych układów logicznych, WNT, Warszawa, 2001.
5. Zwoliński M.: Projektowanie układów cyfrowych z wykorzystaniem języka VHDL, Wydanie 2, WKŁ, Warszawa, 2007.
Nazwa przedmiotu:
Kod przedmiotu:
Język:
Odpowiedzialny za przedmiot:
Prowadzący przedmiot:
Programowanie sieciowe
11.3-WE-I-PS-PSW_D9_IK2I_S2S
polski
dr inż. Tomasz Gratkowski
dr inż. Tomasz Gratkowski
Forma zajęć godzin w sem. godzin w tyg. semestr
forma zal.
punkty ects tryb studiów typ przedmiotu
wykład
15
1
2
zal. na ocenę
obowiązkowy
laboratorium
30
2
2
zal. na ocenę
6
stacjonarne
obowiązkowy
projekt
15
1
2
zal. na ocenę
obowiązkowy
wykład
9
1
2
zal. na ocenę
obowiązkowy
laboratorium
18
2
2
zal. na ocenę
6
niestacjonarne
obowiązkowy
projekt
9
1
2
zal. na ocenę
obowiązkowy
Cel przedmiotu
- zapoznanie studentów z podstawowymi technikami wytwarzaniem aplikacji sieciowych
- ukształtowanie podstawowych umiejętności w zakresie projektowania i wytwarzania aplikacji sieciowych w języku Java
Zakres tematyczny
Wprowadzenie: Wysokopoziomowy mechanizm dostępu do zasobów sieci globalnej - Internet. Obiekty zasobów URL.
Połączenia sieciowe wykorzystujące interfejs programowy URL, URLConnection, HttpURLConnection. Połączenia
komunikacyjne niezawodnym strumieniem TCP.
Model interakcji klient-serwer. Pojęcie gniazd - interfejs Socket, ServerSocket. Klient echa TCP. Komunikacja z
wykorzystaniem protokołu UDP. Programy klient - serwer wykorzystujące UDP. Gniazda UDP - interfejs DatagramSocket.
Pojęcie pakietu datagramu - interfejs DatagramPacket. Klient echa UDP. Pojęcie Broadcastingu - interfejs MulticastSocket.
Programowanie usług sieci Internet. Usługi związane z czasem i datą.
Java Mail API. Programy sieci WWW. Interaktywne aplety Javy. Java Web Start. Protokoły sieciowe. Obsługa protokołu i
obsługa zawartości. Wykorzystywanie sieciowych zasobów bazodanowych z wykorzystaniem Java DataBase Connectivity
(JDBC). Przetwarzanie danych zapisywanych w dokumentach XML. Budowanie aplikacji sieciowych zorientowanych na
usługę (WEB Service).
Metody kształcenia
wykład: wykład konwencjonalny
laboratorium: ćwiczenia laboratoryjne
projekt: metoda projektu
Efekty kształcenia
Potrafi zaprojektować i utworzyć aplikację sieciową w
K2I_U14
T2A_U12, T2A_U14, T2A_U15, T2A_U16,
języku obiektowym Java.
Potrafi opracować własny protokół sieciowy.
Potrafi korzystać ze standardowych protokołów sieciowych.
Potrafi dobierać odpowiedni protokół sieciowy w celu
zoptymalizowania działania tworzonej aplikacji sieciowej.
Student potrafi objaśnić sposób dostępu do zasobów sieci
globalnej Internet przy wykorzystaniu języka Java.
Potrafi wytłumaczyć mechanizm działania gniazd
sieciowych.
K2I_W11,
K2I_U14
K2I_W11,
K2I_U14
K2I_W11,
K2I_U14
T2A_U17, T2A_U19
T2A_W04, T2A_W06, T2A_U12, T2A_U14,
T2A_U15, T2A_U16, T2A_U17, T2A_U19
T2A_W04, T2A_W06, T2A_U12, T2A_U14,
T2A_U15, T2A_U16, T2A_U17, T2A_U19
T2A_W04, T2A_W06, T2A_U12, T2A_U14,
T2A_U15, T2A_U16, T2A_U17, T2A_U19
K2I_K01
T2A_K01
K2I_W11
T2A_W04, T2A_W06
Weryfikacja efektów kształcenia i warunki zaliczenia
Wykład - warunkiem zaliczenia jest uzyskanie pozytywnej oceny z kolokwium przeprowadzonego w formie zaproponowanej
przez prowadzącego
Laboratorium - warunkiem zaliczenia jest uzyskanie pozytywnych ocen ze wszystkich ćwiczeń laboratoryjnych,
przewidzianych do realizacji w ramach programu laboratorium
Projekt - warunkiem zaliczenia jest uzyskanie pozytywnej oceny z realizacji zadania projektowego wskazanego przez
prowadzącego zajęcia na początku semestru
Metody weryfikacji
- wykład: test z progami punktowymi
- laboratorium: prezentacja ustna
- projekt: projekt
Składowe oceny końcowej = wykład: 40% + laboratorium: 30% + projekt: 30%
Obciążenie pracą studenta
Studia stacjonarne (180 godz.)
Godziny kontaktowe = 60 godz.
Przygotowanie się do zajęć = 24 godz.
Zapoznanie się ze wskazaną literaturą = 24 godz.
Przygotowanie raportu/sprawozdania = 24 godz.
Wykonanie zadań zleconych przez prowadzącego = 24 godz.
Zajęcia realizowane na odległość = 24 godz.
Studia niestacjonarne (180 godz.)
Godziny kontaktowe = 36 godz.
Przygotowanie się do zajęć = 29 godz.
Zapoznanie się ze wskazaną literaturą = 29 godz.
Przygotowanie raportu/sprawozdania = 29 godz.
Wykonanie zadań zleconych przez prowadzącego = 29 godz.
Zajęcia realizowane na odległość = 28 godz.
Literatura podstawowa
1. Stevens W.R.: UNIX. Programowanie usług sieciowych. Tom 1 - API: gniazda i XTI; Wydawnictwa Naukowo-Techniczne,
2000.
2. Horstmann C. S., Cornell G.: Core Java, Volume I--Fundamentals, 8th Edition, Prentice Hall 2008 (wydanie polskie "Java.
Podstawy. Wydanie VIII", Helion 2008)
3. Horstmann C. S., Cornell G.: Core Java™ 2: Volume II–Advanced Features, 8th Edition, Prentice Hall 2008 (wydanie
polskie "Java. Techniki zaawansowane. Wydanie VIII", Helion 2009)
4. Harold E. R.: Java Network Programming, Third Edition, Oreilly & Associates Inc 2004 (wydanie polskie "Java.
Programowanie sieciowe", Oficyna Wydawnicza READ ME 2000, edycja II)
Literatura uzupełniająca
1. Jendrock E., Haase K., Gollapudi D., Srivathsa C.: The Java EE 6 Tutorial; 2012;
[http://download.oracle.com/javaee/6/tutorial/doc/javaeetutorial6.pdf]
2. S.Graham, S.Simeonov, T. Boubez, D. Davis, G. Daniels: Java. Usługi WWW. Vademecum profesjonalisty; Wydawnictwo
Helion 2003;
3. Alan Monnox: J2EE. Podstawy programowania aplikacji korporacyjnych; Wydawnictwo Helion 2005;
Nazwa przedmiotu:
Kod przedmiotu:
Język:
Odpowiedzialni za przedmiot:
Prowadzący przedmiot:
Programowanie systemów mikroinformatycznych
11.9-WE-I-PSM-PSW_E10_IK2I_S2S
polski
prof. dr hab. inż. Marian Adamski, dr inż. Grzegorz Andrzejewski
dr inż. Grzegorz Andrzejewski, Pracownicy WEIiT IIE
Forma zajęć godzin w sem. godzin w tyg. semestr
forma zal.
punkty ects
wykład
30
2
3
zal. na ocenę
6
tryb studiów
stacjonarne
typ przedmiotu
obowiązkowy
laboratorium
wykład
laboratorium
30
18
18
2
2
2
3
3
3
zal. na ocenę
zal. na ocenę
zal. na ocenę
6
niestacjonarne
obowiązkowy
obowiązkowy
obowiązkowy
Cel przedmiotu
- zapoznanie studentów z podstawowymi technikami projektowania (specyfikacji, modelowania, syntezy) reaktywnych
systemów cyfrowych
- zapoznanie studentów z rolą języków opisu sprzętu HDL w syntezie mikrosystemów cyfrowych
Zakres tematyczny
Specyfikacja systemu reaktywnego na poziomie systemowym: zalety opisy na poziomie systemowym, platforma
implementacyjna (mikrosystem cyfrowy), synteza na podstawie specyfikacji systemowej, języki opisu na poziomie
systemowych.
Projektowanie systemu reaktywnego na poziomie behawioralnym: modele formalne, języki programowania wysokiego
poziomu.
Narzędzia modelowania wizualnego: Diagramy współbieżnej, hierarchicznej maszyny sanów UML (Unified Modelling
Language) i hierarchiczne sieci Petriego. Hierarchiczne diagramy SFC (Sequential Function Chart) (Sekwencyjne Diagramy
Funkcjonowania).
Podejście obiektowe do modelowania systemu reaktywnego: standard UML a modelowania dynamiki systemu.
Współbieżność i hierarchia. Stany zagnieżdżone i stany współbieżne. Obsługa wyjątków. Komponenty wirtualne.
Projektowanie rekonfigurowanych sterowników osadzonych: typowe architektury sterowników rekonfigurowanych.
Projektowanie systemów osadzonych zgodnie z normą ICE 1131-3.
Rola języków opisu sprzętu HDL: VHDL, Verilog, SystemC w syntezie mikrosystemów cyfrowych. Translacja diagramów
maszyny stanowej UML na języki HDL
Metody kształcenia
wykład: konsultacje, ćwiczenia laboratoryjne, wykład konwencjonalny
laboratorium: konsultacje, ćwiczenia laboratoryjne
Efekty kształcenia
Potrafi objaśnić rolę języków opisu sprzętu w projektowaniu
systemów mikroinformatycznych, potrafi interpretować strukturalny i
behawioralny opis systemu
K2I_W11,
K2I_K01
Potrafi zaprojektować, zaprogramować i przetestować cyfrowy
system reaktywny
K2I_W11,
K2I_U14
Wskazać zalety specyfikacji systemów reaktywnych na poziomie
systemowym
K2I_U14,
K2I_K01
Zna techniki modelowania na poziomie behawioralnym i
strukturalnym i potrafi je zastosować w procesie projektowania
systemu reaktywnych
K2I_W11,
K2I_U14
T2A_W04, T2A_W06, T2A_K01
T2A_W04, T2A_W06, T2A_U12,
T2A_U14, T2A_U15, T2A_U16,
T2A_U17, T2A_U19
T2A_U12, T2A_U14, T2A_U15,
T2A_U16, T2A_U17, T2A_U19,
T2A_K01
T2A_W04, T2A_W06, T2A_U12,
T2A_U14, T2A_U15, T2A_U16,
T2A_U17, T2A_U19
Weryfikacja efektów kształcenia i warunki zaliczenia
Wykład - warunkiem zaliczenia jest uzyskanie pozytywnych ocen z kolokwiów pisemnych lub ustnych przeprowadzonych dwa
razy w semestrze.
Laboratorium - warunkiem zaliczenia jest uzyskanie pozytywnych ocen ze wszystkich ćwiczeń laboratoryjnych,
przewidzianych do realizacji w laboratorium.
Metody weryfikacji
- wykład: sprawozdanie, prezentacja ustna, sprawdzian, kolokwium
- laboratorium: sprawozdanie, sprawdzian
Składowe oceny końcowej = wykład: 50% + laboratorium: 50%
Obciążenie pracą studenta
Studia stacjonarne (180 godz.)
Godziny kontaktowe = 60 godz.
Przygotowanie się do zajęć = 30 godz.
Zapoznanie się ze wskazaną literaturą = 30 godz.
Wykonanie zadań zleconych przez prowadzącego = 45 godz.
Konsultacje: 15
Studia niestacjonarne (180 godz.)
Godziny kontaktowe = 36 godz.
Przygotowanie się do zajęć = 48 godz.
Zapoznanie się ze wskazaną literaturą = 36 godz.
Wykonanie zadań zleconych przez prowadzącego = 45 godz.
Konsultacje: 15
Literatura podstawowa
1. Adamski M., Chodań M.: Modelowanie układów sterowania dyskretnego z wykorzystaniem sieci SFC, Wyd. Politechniki
Zielonogórskiej, Zielona Góra, 2000.
2. Żurawski R. (Ed):Embedded Systems Handbook, CRC, Boca Raton, 2006.
3. Adamski M., Karatkevich A., Węgrzyn M.: Design of Embedded Control Systems, Springer (USA), New York, 2005.
4. David D., Alla H.: Petri Nets & Grafcet. Tools for modeling discrete event systems, Prentice Hall, New York, 1992.
5. Gajski D.D., Vahid F., Narayan S., Gong J.: Specification and Design of Embedded Systems, Prentice Hall, Englewood,
New Jersey, 1994.
6. Jerraya A., Mermet J. (Ed.): System-level Synthesis Kluwer, Dordecht, 1999.
7. Dąbrowski W., Stasiak A., Wolski M.: Modelowanie systemów informatycznych w języku UML 2.1. PWN, Warszawa, 2007.
8. Yakovelv L., Gomes L., Gavagno (Ed.): Hardware Design and Petri Nets, Kluwer Academic Publishers, Boston, 2000.
Nazwa przedmiotu:
Kod przedmiotu:
Język:
Odpowiedzialny za przedmiot:
Prowadzący przedmiot:
Aplikacje mobilne
11.9-WE-I-AM-PSW_F11_IK2I_S2S
polski
dr inż. Jacek Tkacz
Pracownicy WEIiT IIiE
Forma zajęć godzin w sem. godzin w tyg. semestr
forma zal.
punkty ects tryb studiów typ przedmiotu
laboratorium
30
2
3
zal. na ocenę
3
stacjonarne
obowiązkowy
laboratorium
18
2
3
zal. na ocenę
3
niestacjonarne
obowiązkowy
Cel przedmiotu
Cel:
-zapoznanie studentów z technikami projektowania i implementacji aplikacji mobilnych
Wymagania wstępne
Podstawy programowania
Zakres tematyczny
Wprowadzenie do projektowania aplikacji mobilnych. Konfiguracja środowiska programistycznego (MS Visual Studio).
Wykorzystanie emulatorów urządzeń mobilnych.
Interfejs użytkownika. Projektowanie oraz implementacja GUI aplikacji mobilnych z wykorzystaniem produktów firmy
Microsoft.
Dostęp do danych. Bazy danych dla technologii mobilnych. Dostęp oraz synchronizacja z zewnętrznymi źródłami danych.
Wymiana informacji między aplikacją mobilną a otoczeniem zewnętrznym. Sposoby komunikacji z wykorzystaniem
technologii bezprzewodowych: Bluetooth, IrDA. Język XML jako uniwersalny format wymiany danych.
Bezprzewodowa sieci LAN. Komunikacja w sieciach WLAN (WiFi).
Systemy nawigacji satelitarnej. Komunikacja z modułem GPS. Obsługa standardu NMEA-0183.
Metody kształcenia
laboratorium: ćwiczenia laboratoryjne
Efekty kształcenia
Posiada umiejętność zaprojektowania i implementacji
mobilnej bazy danych funkcjonującej w mocno
ograniczonym środowisku mobilnym.
Potrafi skomunikować urządzenie mobilne z innymi
urządzeniami, w tym urządzeniami przeznaczonymi do
lokalizacji geograficznej (GPS).
K2I_W08, K2I_U05,
K2I_U14, K2I_K01,
K2I_K05
K2I_W08, K2I_U05,
K2I_U14, K2I_K01,
K2I_K05
Potrafi uzyskać dostęp do poszczególnych
komponentów urządzenia mobilnego w celu ich
oprogramowania.
K2I_W10, K2I_U14,
K2I_K01
Posiada umiejętność analizy kodu aplikacji zarówno w
emulowanym środowisku jak i rzeczywistym
urządzeniu.
K2I_U14, K2I_K01
T2A_U12, T2A_U14, T2A_U15, T2A_U16,
T2A_U17, T2A_U19, T2A_K01
Posiada umiejętność tworzenia mobilnych interfejsów
użytkownika, z jednoczesnym rozdzieleniem warstwy
prezentacji od warstwy logiki aplikacji.
K2I_W10, K2I_U14,
K2I_K01
T2A_W04, T2A_W05, T2A_W06,
T2A_W07, T2A_U12, T2A_U14,
T2A_U15, T2A_U16, T2A_U17, T2A_U19,
T2A_K01
Potrafi przygotować i skonfigurować środowisko
programistyczne przeznaczone do wywarzania
aplikacji mobilnych.
K2I_U14, K2I_K01
T2A_U12, T2A_U14, T2A_U15, T2A_U16,
T2A_U17, T2A_U19, T2A_K01
T2A_W04, T2A_U07, T2A_U10,
T2A_U12, T2A_U16, T2A_U14, T2A_U15,
T2A_U17, T2A_U19, T2A_K01, T2A_K06
T2A_W04, T2A_U07, T2A_U10,
T2A_U12, T2A_U16, T2A_U14, T2A_U15,
T2A_U17, T2A_U19, T2A_K01, T2A_K06
T2A_W04, T2A_W05, T2A_W06,
T2A_W07, T2A_U12, T2A_U14,
T2A_U15, T2A_U16, T2A_U17, T2A_U19,
T2A_K01
Weryfikacja efektów kształcenia i warunki zaliczenia
Laboratorium - warunkiem zaliczenia jest uzyskanie pozytywnych ocen ze wszystkich ćwiczeń laboratoryjnych,
przewidzianych do realizacji w ramach programu laboratorium
Metody weryfikacji
- laboratorium: prezentacja ustna
Składowe oceny końcowej = laboratorium: 100%
Obciążenie pracą studenta
Studia stacjonarne (90 godz.)
Godziny kontaktowe = 30 godz.
Przygotowanie się do zajęć = 12 godz.
Zapoznanie się ze wskazaną literaturą = 12 godz.
Przygotowanie raportu/sprawozdania = 12 godz.
Wykonanie zadań zleconych przez prowadzącego = 12 godz.
Zajęcia realizowane na odległość = 12 godz.
Studia niestacjonarne (90 godz.)
Godziny kontaktowe = 18 godz.
Przygotowanie się do zajęć = 15 godz.
Zapoznanie się ze wskazaną literaturą = 15 godz.
Przygotowanie raportu/sprawozdania = 14 godz.
Wykonanie zadań zleconych przez prowadzącego = 14 godz.
Zajęcia realizowane na odległość = 14 godz.
Literatura podstawowa
1. Imieliński T.: Mobile Computing, Kluwer, 1996.
2. Shekhar S., Chwala S.: Spatial database A Tour, Prentice Hall, 1983.
3. Hołubowicz W., Płóciennik P.: GSM cyfrowy system telefonii komórkowej, EFP, 1995.
4. Hołubowicz W., Płóciennik P.: Systemy łączności bezprzewodowej, PDN, 1997.
5. C. Collins, M. Galpin, M. Kaeppler: Android w praktyce. Helion 2012.
6. S. Hashimi, S. Komatineni, D. MacLean: Android 3. Tworzenie aplikacji. Helion 2012.
7. N. Lecrenski, K. Watson, R. Fonseca-Ensor:Beginning Windows® Phone 7 Application Development. 2011
8: H. Lee, E. Chuvyrov: Windows Phone 7. Tworzenie efektownych aplikacji. Helion 2011
Literatura uzupełniająca
1. Januszewski J.: System GPS i inne systemy satelitarne w nawigacji morskiej, WSM, 2004.
2. Clark M.: Wireless Access Networks, Wiley, 2002.
Specjalność: Zintegrowane Systemy Informatyczne
Nazwa przedmiotu:
Kod przedmiotu:
Język:
Odpowiedzialny za przedmiot:
Prowadzący przedmiot:
Hurtownie danych
11.3-WE-I-HD-PSW_A1_ZSI_S2S
polski
dr hab. inż. Wiesław Miczulski, prof. UZ
dr hab. inż. Wiesław Miczulski, prof. UZ, dr inż. Robert Szulim
Forma zajęć godzin w sem. godzin w tyg. semestr
forma zal.
punkty ects tryb studiów typ przedmiotu
wykład
30
2
2
egzamin
obowiązkowy
7
stacjonarne
laboratorium
30
2
2
zal. na ocenę
obowiązkowy
wykład
18
2
2
egzamin
obowiązkowy
7
niestacjonarne
laboratorium
18
2
2
zal. na ocenę
obowiązkowy
Cel przedmiotu
- zapoznanie studentów z architekturami hurtowni danych i modelami danych,
- zapoznanie studentów z podstawowymi metodami eksploracji danych,
- ukształtowanie podstawowych umiejętności w zakresie praktycznej budowy hurtowni danych.
Zakres tematyczny
Wprowadzenie. Systemy wspomagania podejmowania decyzji. Przetwarzanie operacyjne a przetwarzanie analityczne.
Hurtownie danych: definicja hurtowni danych, cechy hurtowni danych, architektury hurtowni danych, przykładowe
zastosowania.
Warstwowa struktura hurtowni: źródła danych, warstwa ekstrakcji, czyszczenia, transformacji i ładowania danych, serwer
bazy danych, warstwa dostępu do danych, raportowania i analizy danych. Narzędzia do projektowania, budowy oraz
zarządzania i administrowania hurtownią danych.
Wielowymiarowe modele danych: wielopoziomowość wymiaru, modele MOLAP i ROLAP, budowa przykładowej kostki
danych.
Eksploracja danych. Proces przygotowania danych. Formy reprezentacji wiedzy: reguły logiczne, drzewa decyzyjne, sieci
neuronowe. Wybrane metody eksploracji danych: klasyfikacja, grupowanie, odkrywanie asocjacji i sekwencji, regresja,
analiza szeregów czasowych. Przykładowe zastosowania eksploracji danych.
Metody kształcenia
wykład: konsultacje, ćwiczenia laboratoryjne, wykład konwencjonalny
Efekty kształcenia
Stosuje wybrane narzędzia informatyczne do eksploracji danych.
Tworzy przykładowe hurtownie danych.
Potrafi wskazać w cyklu życia hurtowni danych działania
prowadzące do poprawy jej jakości.
Potrafi scharakteryzować modele danych stosowane w
hurtowniach danych.
Opisuje strukturę hurtowni danych.
K2I_U05,
K2I_U13
K2I_U05,
K2I_U13
K2I_W08,
K2I_W12
K2I_W08,
K2I_W12
K2I_W08,
K2I_W12
T2A_U07, T2A_U10, T2A_U12,
T2A_U16, T2A_U11
T2A_U07, T2A_U10, T2A_U12,
T2A_U16, T2A_U11
T2A_W04, T2A_W05
T2A_W04, T2A_W05
T2A_W04, T2A_W05
Weryfikacja efektów kształcenia i warunki zaliczenia
Wykład - warunkiem zaliczenia jest uzyskanie pozytywnej oceny z egzaminu.
Laboratorium - warunkiem zaliczenia jest uzyskanie pozytywnych ocen ze wszystkich ćwiczeń laboratoryjnych,
przewidzianych do realizacji w ramach programu laboratorium.
Metody weryfikacji
- wykład: sprawozdanie, egzamin w formie pisemnej
- laboratorium: sprawozdanie, kolokwium
Składowe oceny końcowej = wykład: 50% + laboratorium: 50%
Obciążenie pracą studenta
Studia stacjonarne (210 godz.)
Godziny kontaktowe = 60 godz.
Przygotowanie się do zajęć = 30 godz.
Zapoznanie się ze wskazaną literaturą = 30 godz.
Przygotowanie raportu/sprawozdania = 35 godz.
Wykonanie zadań zleconych przez prowadzącego = 25 godz.
Zajęcia realizowane na odległość = 30 godz.
Studia niestacjonarne (210 godz.)
Godziny kontaktowe = 36 godz.
Przygotowanie się do zajęć = 35 godz.
Zapoznanie się ze wskazaną literaturą = 39 godz.
Przygotowanie raportu/sprawozdania = 35 godz.
Wykonanie zadań zleconych przez prowadzącego = 25 godz.
Zajęcia realizowane na odległość = 40 godz.
Literatura podstawowa
1. Hand D., Mannila H., Smyth P., Eksploracja danych, WNT, Warszawa, 2005.
2. Jarke M., Lenzerini M., Vassiliou Y., Vassiliadis P., Hurtownie danych. Podstawy organizacji i funkcjonowania, WSiP,
Warszawa, 2003.
3. Larose D.T., Odkrywanie wiedzy z danych. Wprowadzenie do eksploracji danych, PWN, Warszawa, 2006.
4. Larose D.T., Metody i modele eksploracji danych, PWN, Warszawa, 2008.
5. Poe V., Klauer P., Brobst S., Tworzenie hurtowni danych, WNT, Warszawa 2000.
Literatura uzupełniająca
1. Koronacki J., Ćwik J., Statystyczne systemy uczące się, WNT, Warszawa, 2005.
2. Mazerski J., Podstawy chemometrii, Wydawnictwo Politechniki Gdańskiej, Gdańsk 2000.
3. Rutkowski L., Metody i techniki sztucznej inteligencji, PWN, Warszawa, 2005.
Nazwa przedmiotu:
Kod przedmiotu:
Język:
Odpowiedzialny za przedmiot:
Prowadzący przedmiot:
Techniki sztucznej inteligencji
11.3-WE-I-TSI-PSW_A3_ZSI_S2S
polski
prof. dr hab. inż. Józef Korbicz
prof. dr hab. inż. Józef Korbicz, dr hab. inż. Krzysztof Patan, prof. UZ,
dr inż. Marek Kowal
Forma zajęć godzin w sem. godzin w tyg. semestr
forma zal.
punkty ects tryb studiów typ przedmiotu
wykład
30
2
2
egzamin
obowiązkowy
7
stacjonarne
laboratorium
30
2
2
zal. na ocenę
obowiązkowy
wykład
18
2
2
egzamin
obowiązkowy
7
niestacjonarne
laboratorium
18
2
2
zal. na ocenę
obowiązkowy
Cel przedmiotu
Cel:
- zapoznanie studenta z zasadami działanie wybranych technik sztucznej inteligencji, zakresem ich zastosowań i trendach
rozwojowych
- ukształtowanie umiejętności doboru odpowiedniej metody sztucznej inteligencji do rozwiązania zadanego problemu
inżynierskiego, umiejętności stronia parametrów metody i interpretacji wyników
Zakres tematyczny
Wprowadzenie do technik sztucznej inteligencji: motywacje i inspiracje biologiczno-spoleczne, ogólne założenia, uczenie i
organizacja danych, techniki sztucznej inteligencji a metody analityczne.
Sztuczne sieci neuronowe. Historia i rozwój sieci neuronowych. Inspiracja biologiczna. Perceptron prosty. Struktury Adaline i
Madaline. Jednokierunkowe sieci neuronowe: struktura i własności, algorytm wstecznej propagacji błędu i jego modyfikacje,
przykłady zastosowań sieci neuronowych w zagadnieniach modelowania i klasyfikacji. Rekurencyjne sieci neuronowe:
dynamiczne sieci neuronowe bazujące na strukturze sieci jednokierunkowej, algorytmy ucznia sieci neuronowych ze
sprzężeniem zwrotnym, modele dynamicznego neuronu i sieci oparte na neuronach tego modelu, sieci Hopfielda i
Hamminga. Samoorganizujące się sieci neuronowe: sieci konkurencyjne, mapa cech Kohonena, sieci samoorganizujące się
typu korelacyjnego i sieci neuronowe typu PCA.
Systemy rozmyte i neuro-rozmyte. Zbiory rozmyte i logika rozmyta. Operacje na zbiorach rozmytych. Wnioskowanie rozmyte.
Reguły rozmyte. Systemy rozmyte Mamdaniego, Takagi-Sugeno i Wanga-Mendela. Struktury neuro-rozmyte. Algorytmy
ucznia dla sieci neuro-rozmytych z wykorzystaniem algorytmów gradientowych. Hybrydowe algorytmy uczenia systemów
neuro-rozmytych. Wykorzystanie systemów rozmytych i neuro-rozmytych w zadaniach sterowania.
Systemy ekspertowe. Metody reprezentacji wiedzy w systemach ekspertowych. Systemy regułowe. Rachunek zdań i
predykatów. Metody wnioskowania, wnioskowanie w przód, wnioskowanie wstecz, wnioskowanie mieszane. Metody
weryfikacji poprawności bazy wiedzy, badanie spójności oraz kompletności bazy reguł. Wykorzystanie drzew decyzyjnych do
budowy systemów ekspertowych. Metody indukcji drzew decyzyjnych z wykorzystaniem indeksu Gini i entropii. Konwersja
drzewa decyzyjnego do zbioru reguł. Przegląd języków i szkieletów wykorzystywanych do budowy systemów ekspertowych.
Algorytmy ewolucyjne i systemy rojowe. Podstawowe pojęcia. Ogólny schemat algorytmu ewolucyjnego. Klasy algorytmów
ewolucyjnych. Standardowe algorytmy ewolucyjne. Prosty algorytm genetyczny. Problemy z kodowaniem. Twierdzenie
Hollanda o schematach. Przedwczesna zbieżność i techniki jej unikania. Programowanie genetyczne. Algorytmy
programowania ewolucyjnego i strategie ewolucyjne. Operatory w ewolucji. Zestawienie mechanizmów selekcji i ich
porównanie. Mutacja w przestrzeniach rzeczywistych. Adaptacja w środowisku niestacjonarnym. Miary jakości optymalizacji i
adaptacji w środowisku niestacjonarnym. Ewolucja w zmiennym krajobrazie. Zasady algorytmów rojowych. Optymalizacja
rojem cząstek, systemy mrówkowe, rój świetlików, rój pszczół i inne.
Metody kształcenia
wykład: ćwiczenia laboratoryjne, wykład konwencjonalny
Efekty kształcenia
Jest chętny do pracy w zespole.
Potrafi zaimplementować algorytm metaheurystyczny
(ewolucyjny, rojowy) do konkretnych zadań optymalizacji
globalnej i adaptacji w środowiskach niestacjonarnych.
Rozróżnia i potrafi zdefiniować techniki wnioskowania, umie
wykorzystać szkielety do budowy prostych systemów
ekspertowych
K2I_K01, K2I_K05
K2I_W08, K2I_W12,
K2I_U05, K2I_K01,
K2I_K05
T2A_K01, T2A_K06
T2A_W04, T2A_W05, T2A_U07,
T2A_U10, T2A_U12, T2A_U16,
T2A_K01, T2A_K06
K2I_W08, K2I_W12,
K2I_K01
T2A_W04, T2A_W05, T2A_K01
Zna budowę systemów ekspertowych
K2I_W08, K2I_W09
Student potrafi zastosować sieci neuronowe i neuro-rozmyte do
modelowania stacjonarnych i dynamicznych relacji wejściewyjście, jak również do zadań klasyfikacji i grupowania obrazów
K2I_W08, K2I_W09,
K2I_W12, K2I_U05,
K2I_K05
T2A_W04, T2A_W05, T2A_W06,
T2A_W07
T2A_W04, T2A_W05, T2A_W06,
T2A_W07, T2A_U07, T2A_U10,
T2A_U12, T2A_U16, T2A_K06
Weryfikacja efektów kształcenia i warunki zaliczenia
Wykład - warunkiem zaliczenia jest uzyskanie pozytywnej oceny z egzaminu.
Laboratorium - warunkiem zaliczenia jest uzyskanie pozytywnych ocen ze wszystkich ćwiczeń laboratoryjnych,
przewidzianych do realizacji w ramach programu laboratorium.
Metody weryfikacji
- wykład: sprawozdanie, sprawdzian, egzamin w formie pisemnej
- laboratorium: ćwiczenia laboratoryjne
Składowe oceny końcowej = wykład: 50% + laboratorium: 50%
Obciążenie pracą studenta
Studia stacjonarne (210 godz.)
Godziny kontaktowe = 60 godz.
Przygotowanie się do zajęć = 30 godz.
Zapoznanie się ze wskazaną literaturą = 30 godz.
Przygotowanie raportu/sprawozdania = 30 godz.
Wykonanie zadań zleconych przez prowadzącego = 30 godz.
Zajęcia realizowane na odległość = 30 godz.
Studia niestacjonarne (210 godz.)
Godziny kontaktowe = 36 godz.
Przygotowanie się do zajęć = 35 godz.
Zapoznanie się ze wskazaną literaturą = 35 godz.
Przygotowanie raportu/sprawozdania = 35 godz.
Wykonanie zadań zleconych przez prowadzącego = 35 godz.
Zajęcia realizowane na odległość = 34 godz.
Literatura podstawowa
1. Korbicz J, Obuchowicz A. Uciński D.: Sztuczne sieci neuronowe - podstawy i zastosowania, Akademicka Oficyna
Wydawnicza PLJ, Warszawa, 1994
2. Duch W., Korbicz J., Rutkowski L., Tadeusiewicz R.: Biocybernetyka i Inżynieria Biomedyczna 2000. Tom 6. Sieci
Neuronowe, Akademicka Oficyna Wydawnicza Exit, Warszawa, 2000
3. Rutkowska D., Piliński M., L. Rutkowski L.: Sieci neuronowe, algorytmy genetyczne i systemy rozmyte, Wyd. Naukowe
PWN, Warszawa, 1997
4. Żurada J., Barski M., Jędruch W.: Sztuczne sieci neuronowe, PWN, Warszawa, 1996
5. Rutkowski L., Metody i techniki sztucznej inteligencji, PWN, Warszawa, 2005
6. Arabas J.: Wykłady z algorytmów ewolucyjnych, WNT Warszawa 2001
7. Trojanowski K.: Metaheurystyki praktyczne - Wydawnictwo Wyższej Szkoły Informatyki Stosowanej i Zarządzania,
Warszawa 2005
8. Cichosz P., Systemy uczące się, WNT, Warszawa, 2000.
Literatura uzupełniająca
1. Tadeusiewicz R.: Sieci Neuronowe, Akademicka Oficyna Wydawnicza RM, 1993
2. Osowski S.: Sieci neuronowe w ujęciu algorytmicznym, WNT, Warszawa, 1996
3. Michalewicz Z.: Algorytmy genetyczne + struktury danych = programy ewolucyjne. - WNT warszawa 1999
Problemy cyfryzacji
Nazwa przedmiotu:
Kod przedmiotu:
Język:
Odpowiedzialni za przedmiot:
Prowadzący przedmiot:
11.3-WE-I-PCD-PSW_A2_ZSI_S2S
polski
dr inż. Wojciech Zając, dr inż. Anna Pławiak-Mowna
dr inż. Wojciech Zając, dr inż. Anna Pławiak-Mowna
Forma zajęć godzin w sem. godzin w tyg. semestr
forma zal.
punkty ects tryb studiów typ przedmiotu
wykład
15
1
2
zal. na ocenę
obowiązkowy
laboratorium
30
2
2
zal. na ocenę
6
stacjonarne
obowiązkowy
projekt
15
1
2
Zal. Na ocenę
obowiązkowy
wykład
9
1
2
zal. na ocenę
obowiązkowy
laboratorium
18
2
2
zal. na ocenę
6
niestacjonarne
obowiązkowy
projekt
9
1
2
zal. na ocenę
obowiązkowy
Cel przedmiotu
Zapoznanie studentów z podstawowymi problemami cyfryzacji. Ukształtowanie zrozumienia przemian sygnału w systemie
cyfrowym. Ukształtowanie umiejętności modelowania elementów systemu cyfrowego przetwarzania danych. Ukształtowanie
umiejętności współpracy w realizacji projektu w grupie.
Zakres tematyczny
Pozyskiwanie i przechowywanie danych cyfrowych. Próbkowanie, konwersja analogowo-cyfrowa. Elementarne typy sygnałów
cyfrowych, niejednoznaczność sygnału cyfrowego, pojęcie filtru. Analiza w dziedzinie czasu.
Pozyskanie danych cyfrowych. Przetworniki, cyfrowa reprezentacja sygnału. Formaty danych.
Modelowanie systemów cyfrowych. Komponenty systemu przetwarzania danych cyfrowych, matematyczne modelowanie
systemów cyfrowego przetwarzania danych.
Reprezentacja sygnału w systemie cyfrowym. Dekorelacja, kwantyzacja. Pojęcie splotu dyskretnego. Dyskretne szeregi
Fouriera i transformata Fouriera. Analiza w dziedzinie częstotliwości. Transformata DCT i DWT.
Realizacja algorytmów przetwarzania danych cyfrowych. Środowisko obliczeniowe Matlab. Przeznaczenie, możliwości,
pakiety. Przetwarzanie danych w Matlabie. Proste przekształcenia. Filtracja, splot. Wyznaczanie dyskretnej transformaty
kosinusowej i falkowej. Filtracja cyfrowa danych. Kompresja danych: założenia, klasyfikacja metod i algorytmów, przykłady.
Rozwiązywanie problemów cyfryzacji danych. Rozwiązywanie zadanego problemu cyfryzacji danych. Organizacja zespołu,
podział ról, harmonogramowanie, nadzór nad realizacją, sprawozdawanie, rozliczanie projektu.
Metody kształcenia
wykład: wykład problemowy
laboratorium: praca w grupach, metoda projektu
Efekty kształcenia
Potrafi opisać elementy systemu cyfrowego przetwarzania danych.
K2I_U17
Student potrafi wymienić i scharakteryzować podstawowe zagadnienia cyfrowego
przetwarzania danych oraz zasady zespołowej pracy w projekcie.
Umie poprawnie komunikować się z grupą współpracowników oraz pełnić
wyznaczoną rolę w grupie projektowej.
Jest świadomy konieczności poprawnego komunikowania się ze
współpracownikami oraz podporządkowania się celowi grupy.
K2I_W03,
K2I_K01
T2A_U15, T2A_U18,
T2A_U19
T2A_W03,
T2A_W04, T2A_K01
K2I_K05
T2A_K06
K2I_K05
T2A_K06
Weryfikacja efektów kształcenia i warunki zaliczenia
Wykład - warunkiem zaliczenia jest uzyskanie pozytywnej oceny z kolokwium w formie pisemnej.
Laboratorium - warunkiem zaliczenia jest uzyskanie pozytywnych ocen ze wszystkich ćwiczeń wydanych w semestrze.
Projekt - warunkiem zaliczenia jest uzyskanie pozytywnych ocen ze wszystkich projektów wydanych w semestrze.
Metody weryfikacji
- wykład: test z progami punktowymi
- laboratorium: prezentacja ustna
- projekt: projekt
Składowe oceny końcowej = wykład: 50% + laboratorium: 25% + projekt: 25
Obciążenie pracą studenta
Studia stacjonarne (180 godz.)
Godziny kontaktowe = 45 godz.
Przygotowanie się do zajęć = 27 godz.
Zapoznanie się ze wskazaną literaturą = 27 godz.
Przygotowanie raportu/sprawozdania = 27 godz.
Wykonanie zadań zleconych przez prowadzącego = 27 godz.
Zajęcia realizowane na odległość = 27 godz.
Studia niestacjonarne (180 godz.)
Godziny kontaktowe = 27 godz.
Przygotowanie się do zajęć = 31 godz.
Zapoznanie się ze wskazaną literaturą = 31 godz.
Przygotowanie raportu/sprawozdania = 31 godz.
Wykonanie zadań zleconych przez prowadzącego = 30 godz.
Zajęcia realizowane na odległość = 30 godz.
Literatura podstawowa
1. Lyons R. G.: Wprowadzenie do cyfrowego przetwarzania sygnałów, Warszawa, WKŁ, 2003
2. Bogucka H., Dziech A., Sawicki J.: Elementy cyfrowego przetwarzania sygnałów z przekładami zastosowań i
wykorzystaniem środowiska MATLAB, Kraków, Wydawnictwo Fundacji Postępu Telekomunikacji, 1999
3. Tadeusiewicz, R.: Komputerowa analiza i przetwarzanie obrazów, Wydawnictwo Fundacji Postępu Telekomunikacji,
Kraków, 1997
4. Drozdek A.: Wprowadzenie do kompresji danych, Wydawnictwo WNT, Warszawa 1999
Nazwa przedmiotu:
Kod przedmiotu:
Język:
Odpowiedzialny za przedmiot:
Prowadzący przedmiot:
Systemy wizualizacji procesów
11.3-WE-I-PS-SWP_A6_ZSI_S2S
polski
dr inż. Adam Markowski
dr inż. Adam Markowski
Forma zajęć godzin w sem. godzin w tyg. semestr
forma zal.
punkty ects tryb studiów typ przedmiotu
wykład
15
1
3
zal. na ocenę
obowiązkowy
4
stacjonarne
laboratorium
30
2
3
zal. na ocenę
obowiązkowy
wykład
9
1
3
zal. na ocenę
obowiązkowy
4
niestacjonarne
laboratorium
18
2
3
zal. na ocenę
obowiązkowy
Cel przedmiotu
- zapoznanie studentów z podstawowymi funkcjami oraz strukturą systemów wizualizacji
- ukształtowanie podstawowych umiejętności w zakresie tworzenia aplikacji do wizualizacji procesów przemysłowych
Zakres tematyczny
Wprowadzenie. Nadzorowanie i wizualizacja procesów przemysłowych. Geneza systemów wizualizacji. Budowa i funkcje
systemów wizualizacji - HMI, SCADA. Wymagania stawiane systemom wizualizacji. Systemy wizualizacji w strukturze
informacyjnej przedsiębiorstwa SCADA, MES, ERP. Przykładowe aplikacje systemów wizualizacji.
Elementy systemów wizualizacji. Inteligentne urządzenia pomiarowo-kontrolne w systemach wizualizacji. Architektura
warstwy komunikacyjnej systemów wizualizacji. Protokoły komunikacyjne w systemach wizualizacji. Wykorzystanie
radiomodemów w systemach wizualizacji.
Użytkowanie systemów wizualizacji. Podstawy tworzenia i serwisowania aplikacji w środowisku InTouch. Konfigurowanie
systemów wizualizacji w zakresie tworzenia ekranów synoptycznych, definiowania zmiennych, tworzenia skryptów i połączeń
animacyjnych, konfigurowania alarmów i trendów, archiwizowania zmiennych, tworzenia raportów w postaci plików
tekstowych. Wykorzystanie zaawansowanych modułów do tworzenia receptur i prowadzenia statystycznej kontroli procesu.
Technologie obiektowe w systemach wizualizacji. Integracja systemów wizualizacji z systemami baz danych. Wykorzystanie
technologii obiektowych na potrzeby wymiany danych pomiędzy aplikacją wizualizacyjną a urządzeniami automatyki
przemysłowej (sterowniki PLC).
Metody kształcenia
wykład: wykład konwencjonalny
laboratorium: ćwiczenia laboratoryjne
Efekty kształcenia
Potrafi w aplikacjach do wizualizacji procesów przemysłowych
wykorzystać funkcje związane z recepturami oraz statystyczną
kontrolą procesu
Zna i potrafi zastosować mechanizmy alarmowania zmiennych,
śledzenia wartości zmiennych w czasie rzeczywistym oraz
mechanizmy obsługi zmiennych historycznych
Rozumie potrzebę stosowania systemów wizualizacji, potrafi
przedstawić podstawowe funkcje oraz strukturę systemów
wizualizacji
Potrafi utworzyć prostą aplikację do wizualizacji procesu
przemysłowego zawierającą obrazy synoptyczne
K2I_W10,
K2I_U06
K2I_W10,
K2I_U06
T2A_W04, T2A_W05, T2A_W06,
T2A_W07, T2A_U07, T2A_U08,
T2A_U10, T2A_U19
T2A_W04, T2A_W05, T2A_W06,
T2A_W07, T2A_U07, T2A_U08,
T2A_U10, T2A_U19
K2I_W10,
K2I_K01
T2A_W04, T2A_W05, T2A_W06,
T2A_W07, T2A_K01
K2I_W10,
K2I_U06
T2A_W04, T2A_W05, T2A_W06,
T2A_W07, T2A_U07, T2A_U08,
T2A_U10, T2A_U19
Weryfikacja efektów kształcenia i warunki zaliczenia
Wykład - warunkiem zaliczenia jest uzyskanie pozytywnych ocen z kolokwiów pisemnych lub ustnych przeprowadzonych co
najmniej raz w semestrze.
Laboratorium - warunkiem zaliczenie jest uzyskanie pozytywnych ocen ze wszystkich ćwiczeń laboratoryjnych
przewidzianych do realizacji w ramach programu laboratorium.
Metody weryfikacji
- wykład: kolokwium
- laboratorium: sprawozdanie
Składowe oceny końcowej = wykład: 50% + laboratorium: 50%
Obciążenie pracą studenta
Studia stacjonarne (120 godz.)
Godziny kontaktowe = 45 godz.
Przygotowanie się do zajęć = 15 godz.
Zapoznanie się ze wskazaną literaturą = 15 godz.
Przygotowanie raportu/sprawozdania = 15 godz.
Wykonanie zadań zleconych przez prowadzącego = 15 godz.
Zajęcia realizowane na odległość = 15 godz.
Studia niestacjonarne (120 godz.)
Godziny kontaktowe = 27 godz.
Przygotowanie się do zajęć = 19 godz.
Zapoznanie się ze wskazaną literaturą = 19 godz.
Przygotowanie raportu/sprawozdania = 19 godz.
Wykonanie zadań zleconych przez prowadzącego = 18 godz.
Zajęcia realizowane na odległość = 18 godz.
Literatura podstawowa
1. Winiecki W., Nowak J., Stanik S.: Graficzne zintegrowane środowiska programowe do projektowania komputerowych
systemów pomiarowo - sterujących, Mikom, Warszawa, 2001.
2. Kwaśniewski J.: Sterowniki PLC w praktyce inżynierskiej, BTC, Legionowo, 2008.
3. Kwiecień R.: Komputerowe systemy automatyki przemysłowej, Helion, Gliwice, 2012
4. InTouch 9.0 Podręcznik użytkownika, Astor, Kraków, 2004.
5. InTouch 9.0 Opis pól i zmiennych systemowych, Astor, Kraków, 2002.
6. InTouch 9.0 Menedżer receptur, Astor, Kraków, 2002.
7. InTouch 9.0 Moduł SQL Access, Astor, Kraków, 2002.
8. InTouch 9.0 Moduł SPC PRO, Astor, Kraków, 2002.
Literatura uzupełniająca
1. Januszewski R.: Podstawy programowania systemów SCADA, Pracownia komputerowa Jacka Skalmierskiego, Gliwice,
2009.Januszewski R.: Zagadnienia zaawansowane programowania systemów SCADA, Pracownia Komputerowa Jacka
Skalmierskiego, Gliwice, 2009.
Nazwa przedmiotu:
Kod przedmiotu:
Język:
Odpowiedzialny za przedmiot:
Prowadzący przedmiot:
Zaawansowane metody grafiki komputerowej
11.3-WE-I-ZMGK-PSW_A5_ZSI_S2S
polski
dr hab. inż. Sławomir Nikiel, prof. UZ
dr hab. inż. Sławomir Nikiel, prof. UZ, mgr inż. Paweł Filipczuk
Forma zajęć godzin w sem. godzin w tyg. semestr
forma zal.
punkty ects
wykład
15
1
3
zal. na ocenę
5
tryb studiów
stacjonarne
typ przedmiotu
obowiązkowy
laboratorium
projekt
wykład
laboratorium
projekt
30
15
9
18
9
2
1
1
2
1
3
3
3
3
3
zal. na ocenę
zal. na ocenę
zal. na ocenę
zal. na ocenę
zal. na ocenę
5
niestacjonarne
obowiązkowy
obowiązkowy
obowiązkowy
obowiązkowy
obowiązkowy
Cel przedmiotu
Zapewnienie studentom wiedzy z obszaru projektowania i produkcji gier komputerowych lub mediów cyfrowych z
uwzględnieniem współczesnych technologii oraz wymogów stawianych przez przemysł rozrywki elektronicznej.
Ukształtowanie podstawowych umiejętności w zakresie przygotowanie do pracy w charakterze projektanta gier i mediów
cyfrowych.
Zakres tematyczny
Percepcja wizualna. Czynniki ludzkie w zaawansowanych systemach grafiki 3D. Rola dewelopera i użytkownika w procesie
konstrukcji modeli grafiki komputerowej, rodzaje percepcji i interakcji w środowiskach wirtualnych.
Wprowadzenie do problematyki interaktywnych środowisk grafiki 3D. Paradygmat środowisk wirtualnych. Wymagania.
Klasyfikacje systemowe, obszary zastosowań zaawansowanych rozwiązań 3D.
We/Wy. Sprzęt i oprogramowanie dla grafiki 3D.
Interaktywna grafika 3D. Modelowanie geometryczne. Nawigacja w przestrzeni wirtualnej. Reprezentacje przestrzeni 3D.
Metody konstrukcji światów wirtualnych i ich zaludniania. Reprezentacje elementów sceny: siatki, cieniowanie, oświetlenie i
teksturowanie.
Fotorealistyczna grafika 3D. Modelowanie interakcji światła z obiektami 3D. Reprezentacje materiałów 3D. Metody konstrukcji
efektów optycznych (VFX).
Animacje. Animacje kluczowane, systemy przechwytywania ruchu i symulacja oparta o modele fizyczne. Metamorfozy.
Detekcja kolizji.
Produkcja gier i mediów cyfrowych. Wprowadzenie do procesu produkcji gier i mediów cyfrowych. Tworzenie ‘światów’,
‘aktorów’ i ‘zdarzeń’. Środowiska narracyjne i angażujące emocje użytkownika. Ekonomia gier.
Metody kształcenia
wykład: dyskusja, konsultacje, praca w grupach, metoda projektu, wykład problemowy
Efekty kształcenia
Potrafi zaplanować i zrealizować napięty harmonogram
wieloetapowych prac projektowych
Potrafi dokonać recenzji produkcji gier lub mediów
(krytycznie ocenić jej treść, sposób przygotowania i
jakość techniczną)
Potrafi wykorzystać zaawansowane funkcje/możliwości
narzędzi służących do przygotowania gier i mediów
cyfrowych
Potrafi zaprojektować grę komputerową lub animację
komputerową zgodnie z zasadami tworzenia tego typu
mediów
K2I_K03
T2A_K03
K2I_W10, K2I_K01,
K2I_K03, K2I_K04,
K2I_K05
T2A_W04, T2A_W05, T2A_W06,
T2A_W07, T2A_K01, T2A_K03,
T2A_K04, T2A_K06
K2I_W09, K2I_W10,
K2I_K04, K2I_K05
T2A_W04, T2A_W05, T2A_W06,
T2A_W07, T2A_K04, T2A_K06
K2I_U02, K2I_K03,
K2I_K04, K2I_K05
T2A_U02, T2A_U07, T2A_U12,
T2A_K03, T2A_K04, T2A_K06
Weryfikacja efektów kształcenia i warunki zaliczenia
Wykład - warunkiem zaliczenia jest uzyskanie pozytywnej oceny z kolokwium przeprowadzonego w formie zaproponowanej
przez prowadzącego
Laboratorium - warunkiem zaliczenia jest uzyskanie pozytywnych ocen ze wszystkich ćwiczeń laboratoryjnych,
przewidzianych do realizacji w ramach programu laboratorium
Projekt - warunkiem zaliczenia jest uzyskanie pozytywnej oceny z realizacji zadania projektowego obejmującego integrację
podstawowych składowych procesu produkcji gier lub VFX wskazanego przez prowadzącego zajęcia na początku semestru
Metody weryfikacji
- wykład: kolokwium
- laboratorium: ćwiczenia laboratoryjne, praca w grupach
- projekt: projekt
Składowe oceny końcowej = wykład: 50% + laboratorium: 25% + projekt: 25%
Obciążenie pracą studenta
Studia stacjonarne (150 godz.)
Godziny kontaktowe = 45 godz.
Przygotowanie się do zajęć = 21 godz.
Zapoznanie się ze wskazaną literaturą = 21 godz.
Przygotowanie raportu/sprawozdania = 21 godz.
Wykonanie zadań zleconych przez prowadzącego = 21 godz.
Zajęcia realizowane na odległość = 21 godz.
Studia niestacjonarne (150 godz.)
Godziny kontaktowe = 27 godz.
Przygotowanie się do zajęć = 25 godz.
Zapoznanie się ze wskazaną literaturą = 25 godz.
Przygotowanie raportu/sprawozdania = 25 godz.
Wykonanie zadań zleconych przez prowadzącego = 24 godz.
Zajęcia realizowane na odległość = 24 godz.
Literatura podstawowa
1. Fox B.: Game Interface Design, Thomson, 2005
2. Lamothe A.: Tricks of Windows game programming, Sams, 1999
3. Freeman D. : Creating Emotion in Games: The Craft and Art of Emotioneering, New Riders Publishing, 2003
Literatura uzupełniająca
1. Flemming B., Dobbs D.: Animacja cyfrowych twarzy, Helion, 2002
Nazwa przedmiotu:
Programowanie sieciowe
Kod przedmiotu:
Język:
Odpowiedzialny za przedmiot:
Prowadzący przedmiot:
11.3-WE-I-PS-PSW_A4_ZSI_S2S
polski
dr inż. Tomasz Gratkowski
dr inż. Tomasz Gratkowski
Forma zajęć godzin w sem. godzin w tyg. semestr
forma zal.
punkty ects tryb studiów typ przedmiotu
wykład
15
1
2
zal. na ocenę
obowiązkowy
6
stacjonarne
laboratorium
30
2
2
zal. na ocenę
obowiązkowy
wykład
9
1
2
zal. na ocenę
obowiązkowy
6
niestacjonarne
laboratorium
18
2
2
zal. na ocenę
obowiązkowy
Cel przedmiotu
- zapoznanie studentów z podstawowymi technikami wytwarzaniem aplikacji sieciowych
- ukształtowanie podstawowych umiejętności w zakresie projektowania i wytwarzania aplikacji sieciowych w języku Java
Zakres tematyczny
Wprowadzenie: Wysokopoziomowy mechanizm dostępu do zasobów sieci globalnej - Internet. Programy sieci WWW.
Interaktywne aplety Javy. Serwlety. Obiekty zasobów URL. Połączenia sieciowe wykorzystujące interfejs programowy URL,
URLConnection, HttpURLConnection. Połączenia komunikacyjne niezawodnym strumieniem TCP.
Model interakcji klient-serwer. Pojęcie gniazd - interfejs Socket, ServerSocket. Klient echa TCP. Komunikacja z
wykorzystaniem protokołu
UDP. Programy klient - serwer wykorzystujące UDP. Gniazda UDP - interfejs DatagramSocket. Pojęcie pakietu datagramu interfejs
DatagramPacket. Klient echa UDP. Pojęcie Broadcastingu - interfejs MulticastSocket. Programowanie usług sieci Internet.
Usługi związane z czasem i datą. Interakcyjne używanie odległych maszyn.
Rozproszone przetwarzanie w Javie - RMI, IDL. Zagadnienia sieciowe z odniesieniem do wymagań komunikacyjnych
systemów rozproszonych. Model usług plikowych. Przegląd systemów usług plikowych. Usługi nazewnicze. Koordynacja
rozproszona. Dane dzielone i transakcje. Tworzenie aplikacji rozproszonych z wykorzystaniem technologii CORBA.
Wykorzystanie dedykowanych pakietów języka Java do budowy systemów rozproszonych.
Metody kształcenia
wykład: wykład konwencjonalny
laboratorium: ćwiczenia laboratoryjne
Efekty kształcenia
Potrafi zaprojektować i utworzyć aplikację sieciową w
języku obiektowym Java.
Potrafi opracować własny protokół sieciowy.
Potrafi korzystać ze standardowych protokołów sieciowych.
Potrafi dobierać odpowiedni protokół sieciowy w celu
zoptymalizowania działania tworzonej aplikacji sieciowej.
Potrafi wytłumaczyć mechanizm działania gniazd
sieciowych.
Student potrafi objaśnić sposób dostępu do zasobów sieci
globalnej Internet przy wykorzystaniu języka Java.
K2I_W11,
K2I_U14
K2I_W11,
K2I_U14
K2I_U14,
K2I_K01
T2A_U12, T2A_U14, T2A_U15, T2A_U16,
T2A_U17, T2A_U19
T2A_W04, T2A_W06, T2A_U12, T2A_U14,
T2A_U15, T2A_U16, T2A_U17, T2A_U19
T2A_W04, T2A_W06, T2A_U12, T2A_U14,
T2A_U15, T2A_U16, T2A_U17, T2A_U19
T2A_U12, T2A_U14, T2A_U15, T2A_U16,
T2A_U17, T2A_U19, T2A_K01
K2I_W11
T2A_W04, T2A_W06
K2I_W11,
K2I_K01
T2A_W04, T2A_W06, T2A_K01
K2I_U14
Weryfikacja efektów kształcenia i warunki zaliczenia
Wykład - warunkiem zaliczenia jest uzyskanie pozytywnej oceny z kolokwium przeprowadzonego w formie zaproponowanej
przez prowadzącego
Laboratorium - warunkiem zaliczenia jest uzyskanie pozytywnych ocen ze wszystkich ćwiczeń laboratoryjnych,
przewidzianych do realizacji w ramach programu laboratorium
Metody weryfikacji
- wykład: test z progami punktowymi
- laboratorium: prezentacja ustna
Składowe oceny końcowej = wykład: 50% + laboratorium: 50%
Obciążenie pracą studenta
Studia stacjonarne (180 godz.)
Godziny kontaktowe = 45 godz.
Przygotowanie się do zajęć = 27 godz.
Zapoznanie się ze wskazaną literaturą = 27 godz.
Przygotowanie raportu/sprawozdania = 27 godz.
Wykonanie zadań zleconych przez prowadzącego = 27 godz.
Zajęcia realizowane na odległość = 27 godz.
Studia niestacjonarne (180 godz.)
Godziny kontaktowe = 27 godz.
Przygotowanie się do zajęć = 31 godz.
Zapoznanie się ze wskazaną literaturą = 31 godz.
Przygotowanie raportu/sprawozdania = 31 godz.
Wykonanie zadań zleconych przez prowadzącego = 30 godz.
Zajęcia realizowane na odległość = 30 godz.
Literatura podstawowa
1. Stevens W.R.: UNIX. Programowanie usług sieciowych. Tom 1 - API: gniazda i XTI; Wydawnictwa Naukowo-Techniczne,
2000.
2. Coulouris G., Dollimore J., Kindberg T.: Systemy rozproszone. Podstawy i projektowanie, Wydawnictwa NaukowoTechniczne, 1999.
3. Gabassi M., Dupounoy B.: Przetwarzanie rozproszone w systemie UNIX, Wydawnictwo LUPUS, 1996.
Literatura uzupełniająca
1. Horstmann C. S., Cornell G.: Java 2. Podstawy, Helion, 2003Horstmann C. S., Cornell G.: Java 2. Techniki
zaawansowane, Helion, 2005.
2. The Java Tutorial /SUN
3. Stevens W.R: TCP/IP. Tom 1: Protokoły - Biblia; Oficyna Wydawnicza READ ME, 1998.Rosenberger J.L.: Teach Yourself
Corba in 14 Days, Sams Publishing, 1998.
Specjalność: Inżynieria Systemów Informatycznych
Nazwa przedmiotu:
Kod przedmiotu:
Język:
Odpowiedzialny za przedmiot:
Prowadzący przedmiot:
Sieci neuronowe i neuro-rozmyte
11.3-WE-I-SNiN-PSW_A1_ISI_S2S
dr inż. Marcin Mrugalski
dr inż. Marcin Mrugalski, dr inż. Marek Kowal
Forma zajęć godzin w sem. godzin w tyg. semestr
forma zal.
punkty ects tryb studiow typ przedmiotu
wykład
30
2
2
egzamin
obowiązkowy
7
stacjonarne
laboratorium
30
2
2
zal. na ocenę
obowiązkowy
wykład
18
2
2
egzamin
obowiązkowy
7
niestacjonarne
laboratorium
18
2
2
zal. na ocenę
obowiązkowy
Cel przedmiotu
- zapoznanie studentów z budową rożnych struktur sztucznych sieci neuronowych i neuro-rozmytych
- zapoznanie studentów z metodami uczenia poznanych struktur sztucznych sieci neuronowych i neuro-rozmytych
- ukształtowanie umiejętności wykorzystania poznanych metod do rozwiązywania zadań związanych z modelowaniem i
rozpoznawaniem obrazów
Zakres tematyczny
Wprowadzenie do sieci neuronowych. Historia i rozwój sieci neuronowych. Struktura biologicznego neuronu. Model
matematyczny sztucznego neuronu. Funkcje aktywacji neuronu. Algorytmy uczenia dla perceptronu. Struktury Adaline i
Madline. Uczenie nadzorowane i nienadzorowane. Klasyczny problem XOR.
Jednokierunkowe sieci neuronowe. Idea sieci wielowarstwowych, Algorytm wstecznej propagacji w uczniu sieci neuronowych.
Problemy i ograniczenia gradientowych algorytmów ucznia. Adaptacyjny krok uczenia. Momentum. Przykłady zastosowań
sieci neuronowych. Przegląd zaawansowanych algorytmów uczenia sieci neuronowych. Algorytmy ewolucyjne w
projektowaniu i uczeniu sieci neuronowych. Sieci neuronowe typu GMDH
Rekurencyjne sieci neuronowe. Dynamiczne sieci neuronowe ze sprzężeniem zwrotnym. Algorytmy ucznia sieci
neuronowych ze sprzężeniem zwrotnym. Matematyczny model dynamicznego neuronu. Lokalnie rekurencyjnie globalnie
jednokierunkowe sieci neuronowe. Sieć Hopfielda. Algorytm ucznia sieci Hopfielda.
Sieci neuronowe samoorganizujące się. Samoorganizująca się mapa cech Kohonena. Uczenie konkurencyjne. Algorytm gazu
neuronowego. Przykładowe zastosowania sieci Kohonena.
Systemy neuro-rozmyte. Zbiory rozmyte i logika rozmyta. Wnioskowanie rozmyte. Neuro-rozmyta sieć typu Mamdaniego.
Neuro-rozmyta sieć Takagi-Sugeno. Algorytmy uczenia dla sieci neuro-rozmytych.
Metody kształcenia
wykład: wykład konwencjonalny
laboratorium: dyskusja, ćwiczenia laboratoryjne
Efekty kształcenia
Potrafi wymienić i opisać operacje na zbiorach rozmytych, objaśnić procesy zachodzące podczas
wnioskowania rozmytego, opisać strukturę systemu neuro-rozmytego typu Mamdaniego i typu
Takagi-Sugeno, przedstawić podstawy matematyczne algorytmów uczen
K2I_U05
Potrafi przeprowadzić uczenie i symulację poznanych sieci neuronowych i systemów neurorozmytych w środowisku Matlab.
Potrafi formułować właściwe wnioski wynikające z prowadzonych eksperymentów uczenia,
ponieważ jest świadom ograniczeń poszczególnych struktur sieci neuronowych, neuro-rozmytych i
algorytmów uczenia.
K2I_W08
T2A_U07
T2A_U10
T2A_U12
T2A_U16
K2I_U10
T2A_W04
T2A_U09
T2A_U10
T2A_U15
T2A_U18
Potrafi zastosować sieci neuronowe i systemy neuro-rozmyte w zadaniach modelowania i
K2I_W12
T2A_W05
rozpoznawania obrazów.
Potrafi scharakteryzować właściwości i opisać struktury jednokierunkowych sieci neuronowych, sieci K2I_W08
T2A_W04
rekurencyjnych, sieci samoorganizujących się, sieci typu radialnego oraz struktur-neuro rozmytych.
Weryfikacja efektów kształcenia i warunki zaliczenia
Wykład - warunkiem zaliczenia kursu jest zdanie egzaminu końcowego
Laboratorium - warunkiem zaliczenia laboratorium jest realizacja wszystkich ćwiczeń laboratoryjnych.
Metody weryfikacji
- wykład: egzamin w formie pisemnej
- laboratorium: projekt, sprawdzian
Składowe oceny końcowej = wykład: 50% + laboratorium: 50%
Obciążenie pracą studenta
Studia stacjonarne (210 godz.)
Godziny kontaktowe = 60 godz.
Przygotowanie się do zajęć = 25 godz.
Zapoznanie się ze wskazaną literaturą = 25 godz.
Przygotowanie raportu/sprawozdania = 25 godz.
Wykonanie zadań zleconych przez prowadzącego = 25 godz.
Zajęcia realizowane na odległość = 25 godz.
Przygotowanie się do egzaminu = 25 godz.
Literatura podstawowa
1. Korbicz J, Obuchowicz A. Uciński D.: Sztuczne sieci neuronowe - podstawy i zastosowania, Akademicka Oficyna
Wydawnicza PLJ, Warszawa, 1994.
2. Tadeusiewicz R.: Sieci Neuronowe, Akademicka Oficyna Wydawnicza RM, 1993.
3. Osowski S.: Sieci neuronowe w ujęciu algorytmicznym, WNT, Warszawa, 1996.
4. Rutkowska D., Piliński M., L. Rutkowski L.: Sieci neuronowe, algorytmy genetyczne i systemy rozmyte, Wyd. Naukowe
PWN, Warszawa, 1997.
5. Rutkowska D.: Inteligentne systemy obliczeniowe. Algorytmy i sieci neuronowe w systemach rozmytych, Akademicka
Oficyna Wydawnicza PLJ, Warszawa, 1997.
6. Żurada J., Barski M., Jędruch W.: Sztuczne sieci neuronowe, PWN, Warszawa, 1996.
Literatura uzupełniająca
1. Duch W., Korbicz J., Rutkowski L., Tadeusiewicz R.: Biocybernetyka i Inżynieria Biomedyczna 2000. Tom 6. Sieci
Neuronowe, Akademicka Oficyna Wydawnicza Exit, Warszawa, 2000.
2. Bishop M.: Neural Networks for Pattern Recognition, Oxford University Press, 1996.
3. Haykin S.: Neural Networks: A Comprehensive Foundation (2nd Edition), Prentice Hall, 1998.
Nazwa przedmiotu:
Kod przedmiotu:
Język:
Odpowiedzialny za przedmiot:
Prowadzący przedmiot:
Projektowanie gier i mediów
11.3-WE-I-PGiM-PSW_A2_ISI_S2S
dr hab. inż. Sławomir Nikiel, prof. UZ
dr hab. inż. Sławomir Nikiel, prof. UZ, mgr inż. Paweł Filipczuk
Forma zajęć godzin w sem. godzin w tyg. semestr
forma zal.
punkty ects tryb studiów typ przedmiotu
wykład
15
1
2
zal. na ocenę
6
stacjonarne
obowiązkowy
laboratorium
projekt
wykład
laboratorium
projekt
30
15
9
18
9
2
1
1
2
1
2
2
2
2
2
zal. na ocenę
zal. na ocenę
zal. na ocenę
zal. na ocenę
zal. na ocenę
6
niestacjonarne
obowiązkowy
obowiązkowy
Obowiązkowy
Obowiązkowy
obowiązkowy
Cel przedmiotu
Zapewnienie studentom wiedzy z obszaru projektowania i produkcji gier komputerowych lub mediów cyfrowych z
uwzględnieniem współczesnych technologii oraz wymogów stawianych przez przemysł rozrywki elektronicznej.
Ukształtowanie podstawowych umiejętności w zakresie przygotowanie do pracy w charakterze projektanta gier i mediów
cyfrowych.
Wymagania wstępne
Grafika komputerowa, programowanie gier 3D
Zakres tematyczny
Teoria gier (Game Study) – Historia gier wideo. Typy i kategorie gier. Ewaluacja gier pod kątem technologii, narracji,
grywalności i interakcji oraz estetyki. Demografia gier.
Teoria mediów cyfrowych (Digital Media Study) – Animacje komputerowe i efekty wizualne (VFX). Ewaluacja mediów pod
kątem technologii, narracji oraz estetyki.
Teoria projektowania gier (Game Design Theory) – Zasady i metodologie produkcji gier. Koncepcja gry (mechanika, zasady
gry, modelowanie świata). Ekonomia gier (symulacje, zasady grywalności, „nagrody i kary” dla gracza, złożoność gry,
interakcje i budowanie doświadczenia gracza).
Narracja cyfrowa (Digital Storytelling) – Narracja linearna i nielinearna. Skrypty scenariusze. Zasady dramaturgii cyfrowej.
Budowanie postaci.
Programowanie gier (Game Programming) – Fizyka w grach, środowiska produkcji gier, reprezentacja danych, sztuczna
inteligencja NPC (Non Playable Characters).
Projektowanie assetów (Game Art. & Audio) - Projektowanie wizualne elementów składowych gry komputerowej lub animacji
komputerowej. Projektowanie ścieżki dźwiękowej i elementów dźwiękowych.
Projektowanie poziomów (Level Design) – Projektowanie stylistyczne świata wirtualnego- poziomu gry lub scenografii
filmu/animacji.
Dokumentacja projektu (Document Creation – Portfolio) – opracowanie dokumentu zawierającego koncepcję gry/animacji,
scenariusz, opis i ilustracje assetów, opis i ilustracje scenografii, opis wybranego środowiska realizacji projektu, opis formatu
danych/komponentów kodu, demografia użytkowników, porównanie z podobnymi produkcjami, zgrubne oszacowanie budżetu
komercyjnego projektu.
Prototyp(Game Creation) (Film Production)- opracowanie fragmentu gry lub animacji komputerowej. Ewaluacja prototypu.
Metody kształcenia
wykład: dyskusja
laboratorium: burza mózgów, dyskusja
projekt: konsultacje
Efekty kształcenia
Potrafi zaprojektować grę komputerową lub animację komputerową zgodnie z zasadami tworzenia tego K2I_W11 T2A_W04
typu mediów
K2I_K02 T2A_W06
T2A_K02
Potrafi wykorzystać zaawansowane funkcje/możliwości narzędzi służących do przygotowania gier i
mediów cyfrowych
K2I_W07 T2A_W04
K2I_U02 T2A_W07
T2A_U02
T2A_U07
T2A_U12
Potrafi dokonać recenzji produkcji gier lub mediów (krytycznie ocenić jej treść, sposób przygotowania i K2I_U11 T2A_U09
jakość techniczną)
T2A_U10
T2A_U14
T2A_U15
T2A_U18
Potrafi zaplanować i zrealizować napięty harmonogram wieloetapowych prac projektowych
K2I_W09 T2A_W04
K2I_U02 T2A_W05
T2A_W06
T2A_W07
T2A_U02
T2A_U07
T2A_U12
Weryfikacja efektów kształcenia i warunki zaliczenia
Wykład - warunkiem zaliczenia jest uzyskanie pozytywnej oceny z kolokwium przeprowadzonego w formie zaproponowanej
przez prowadzącego.
Laboratorium - warunkiem zaliczenia jest uzyskanie pozytywnej oceny z realizacji wszystkich zadań laboratoryjnych. Ocena
końcowa jest średnią uzyskanych ocen cząstkowych (z każdego ćwiczenia laboratoryjnego).
Projekt - warunkiem zaliczenia jest uzyskanie pozytywnej oceny za wykonanie prototypowej aplikacji gry komputerowej lub
animacji komputerowej zrealizowanych w wybranym środowisku, dostarczonych wraz
z pełną dokumentacją. Przyjęte kryteria oceny to 10% pre-produkcja (koncepcja, materiały referencyjne), 30% produkcja
(modelowanie assetów, interakcje lub animacje), 10% dokumentacja (portfolio),
50% post-produkcja (integracja assetów, synchronizacja, testowanie).
Metody weryfikacji
- wykład: projekt
- laboratorium: projekt
- projekt: projekt
Składowe oceny końcowej = wykład: 40% + laboratorium: 30% + projekt: 30%
Obciążenie pracą studenta
Studia stacjonarne (180 godz.)
Godziny kontaktowe = 60 godz.
Przygotowanie się do zajęć = 24 godz.
Zapoznanie się ze wskazaną literaturą = 24 godz.
Przygotowanie raportu/sprawozdania = 24 godz.
Wykonanie zadań zleconych przez prowadzącego = 24 godz.
Zajęcia realizowane na odległość = 24 godz.
Literatura podstawowa
1. Rucker R.: Software Engineering and Computer Games, Addison Wiley, 2002
2. Fox B.: Game Interface Design, Thomson, 2005
3. Freeman D.: Creating Emotion in Games: The Craft and Art of Emotioneering New Riders Publishing, 2003
Literatura uzupełniająca
1. Manninem T. et al: Game Production Process a Preliminary Study, Ludocraft- ELIAS Project
2. Morrison M.: Teach Yourself Game Programming, Sams Publishing, 2002
3. Flemming B., Dobbs D.: Animacja cyfrowych twarzy, Helion, 2002
Uwagi
Studenci wykorzystują na zajęciach laboratoryjnych przykładowe materiały otrzymane od prowadzącego. Korzystają także ze
źródeł internetowych. Tematyka zajęć jest w miarę możliwości konsultowana z przedstawicielami przemysłu gier
komputerowych i mediów cyfrowych w celu uaktualnienia treści programowych i ich dostosowania do wymogów rynku pracy.
Nazwa przedmiotu:
Kod przedmiotu:
Język:
Odpowiedzialny za przedmiot:
Prowadzący przedmiot:
Systemy informatyczne w zarządzaniu firmą
11.3-WE-I-SIwZF-PSW_A3_ISI_S2S
dr inż. Marek Kowal
dr inż. Marek Kowal
Forma zajęć godzin w sem. godzin w tyg. semestr
forma zal.
punkty ects tryb studiów typ przedmiotu
wykład
30
2
2
zal. na ocenę
obowiązkowy
6
stacjonarne
laboratorium
30
2
2
zal. na ocenę
obowiązkowy
wykład
18
2
2
zal. na ocenę
obowiązkowy
6
niestacjonarne
laboratorium
18
2
2
zal. na ocenę
obowiązkowy
Cel przedmiotu
- zapoznanie studentów z zasadami funkcjonowania systemów ERP oraz metodami wdrażania takich systemów w
przedsiębiorstwie
- ukształtowanie umiejętności z zakresu planowania i budowania systemów analitycznych
- zapoznanie studentów z metodami eksploracji danych biznesowych
Wymagania wstępne
bazy danych
Zakres tematyczny
- Systemy planowania zasobów przedsiębiorstwa (ang. Enterprise Resource Planning). Architektura systemów ERP.
Charakterystyka modułów funkcjonalnych systemów ERP. Dobre praktyki biznesowe w systemach ERP. Metody wdrażania
systemów ERP. Przegląd i charakterystyka popularnych systemów ERP obecnych na polskim rynku IT.
- Systemy analityczne. Źródła danych. Integracja danych.. Przegląd i charakterystyka typowych operacji przekształcania
danych. Planowanie i Implementacja procesów transformacji danych. Gromadzenie danych w hurtowniach danych, podejście
znormalizowane i wielowymiarowe. Planowanie i implementacja struktur wielowymiarowych. Prezentacja wyników analiz w
postaci raportów.
- Eksploracja danych. Czyszczenie danych poprzez odkrywanie danych odstających i brakujących. Metody odkrywania reguł
asocjacji i sekwencji z wykorzystaniem algorytmu Apriori, Frequent Pattern Growth, Generalized Sequential Pattern,
PrefixSpan. Klasteryzacja danych z wykorzystaniem algorytmów hierarchicznych i iteracyjno-optymalizacyjnych. Klasyfikacja
danych z wykorzystaniem algorytmu k-najbliższych sąsiadów, drzew decyzyjnych i naiwnego klasyfikatora bayesowskiego.
Analiza szeregów czasowych. z wykorzystaniem modeli parametrycznych. Przegląd systemów informatycznych
wspierających eksplorację danych
Metody kształcenia
wykład: wykład konwencjonalny
laboratorium: ćwiczenia laboratoryjne
Efekty kształcenia
Potrafi wymienić i scharakteryzować poszczególne moduły informatyczne, z których zbudowane
są systemy ERP
K2I_W09
Zna metody i etapy wdrażania systemów ERP w przedsiębiorstwie
K2I_U11
Zna architekturę systemu analitycznego i potrafi scharakteryzować poszczególne elementy
takiego systemu
K2I_W09
Potrafi stosować typowe operacje transformacji danych
K2I_U07
Potrafi zaplanować i zbudować wielowymiarową kostkę danych w oparciu o schemat gwiazdy i
płatka śniegu
K2I_U07
Potrafi przedstawić wyniki analizy danych w postaci raportu
K2I_U03
Potrafi wymienić i zdefiniować metody eksploracji danych z zakresu odkrywania reguł asocjacji i
sekwencji, klasteryzacji, klasyfikacji i analizy szeregów czasowych.
Posiada umiejętność stosowania poznanych metod eksploracji danych dla danych biznesowych
K2I_W11
K2I_U13
T2A_W04
T2A_W05
T2A_W06
T2A_W07
T2A_U09
T2A_U10
T2A_U14
T2A_U15
T2A_U18
T2A_W04
T2A_W05
T2A_W06
T2A_W07
T2A_U08
T2A_U09
T2A_U15
T2A_U18
T2A_U08
T2A_U09
T2A_U15
T2A_U18
T2A_U03
T2A_U04
T2A_U06
T2A_W04
T2A_W06
T2A_U10
T2A_U11
T2A_U12
Weryfikacja efektów kształcenia i warunki zaliczenia
ocena końcowa = 0.5 oceny zaliczenia z formy zajęć wykład + 0.5 oceny zaliczenia z formy zajęć ćwiczenia laboratoryjne
Metody weryfikacji
- wykład: test z progami punktowymi, kolokwium
- laboratorium: kolokwium
Składowe oceny końcowej = wykład: 50% + laboratorium: 50%
Obciążenie pracą studenta
Studia stacjonarne (180 godz.)
Godziny kontaktowe = 60 godz.
Przygotowanie się do zajęć = 20 godz.
Zapoznanie się ze wskazaną literaturą = 50 godz.
Wykonanie zadań zleconych przez prowadzącego = 50 godz.
Literatura podstawowa
1. Auksztol J., Balwierz P., Chomuszko M..: SAP. Zrozumieć system ERP, Warszawa, PWN, 2011.
2. Kisielnicki J., Pańkowska M., Sroka H.: Zintegrowane systemy informatyczne. Dobre praktyki wdrożeń, Warszawa, PWN,
2011.
3. Lech P.: Zintegrowane systemy zarządzania ERP/ERP II. Wykorzystanie w biznesie, wdrażanie, Difin, 2008.
4. Januszewski A.: Funkcjonalność informatycznych systemów zarządzania. Tom 1: Zintegrowane systemy transakcyjne,
Warszawa, PWN , 2008.
5. Januszewski A.: Funkcjonalność informatycznych systemów zarządzania tom 2, Warszawa, PWN, 2011.
6. Larose T. D.: Odkrywanie wiedzy z danych, Warszawa, PWN, 2006.
7. Surma J.: Business Intelligence. Systemy wspomagania decyzji biznesowych, Warszawa, PWN, 2010.
8. Jarke M., Lenzerini M., Vassiliou Y., Vassiliadis P.: Hurtownie danych. Podstawy organizacji i funkcjonowania., WAiP,
2003.
9. Larose D. T.: Metody i modele eksploracji danych, Warszawa, PWN, 2008.
10. Pelikant A.: Hurtownie danych. Od przetwarzania analitycznego do raportowania, Helion, 2011.
Literatura uzupełniająca
1. Kimball R., Ross M.: The Data Warehouse Toolkit: The Complete Guide to Dimensional Modeling (Second Edition), Wiley,
2002.
2. Todman C: Projektowanie hurtowni danych. Zarządzanie kontaktami z klientami (CRM), WNT, 2003.
3. Markov Z., Larose D.T.: Eksploracja zasobów internetowych, Warszawa, PWN, 2009
Nazwa przedmiotu:
Kod przedmiotu:
Język:
Odpowiedzialny za przedmiot:
Prowadzący przedmiot:
Sieci społecznościowe i systemy wieloagentowe
11.3-WE-I-SSiSW-PSW_A4_ISI_S2S
dr inż. Mariusz Jacyno
dr inż. Mariusz Jacyno
Forma zajęć godzin w sem. godzin w tyg. semestr
forma zal.
punkty ects tryb studiów typ przedmiotu
wykład
30
2
2
egzamin
obowiązkowy
laboratorium
15
1
2
zal. na ocenę
7
stacjonarne
obowiązkowy
projekt
15
1
2
zal. na ocenę
obowiązkowy
wykład
18
2
2
egzamin
obowiązkowy
laboratorium
9
1
2
zal. na ocenę
7
niestacjonarne obowiązkowy
projekt
9
1
2
zal. na ocenę
obowiązkowy
Cel przedmiotu
-zapoznanie studentów z genezą, architekturą oraz właściwościami sieci społecznościowych
-poruszenie tematyki związanej z Big Data oraz roli jaką sieci społecznościowe pełnią w kontekście generowania wiedzy na
dużą skalę
-ukształtowanie podstawowych umiejętności zarządzania sieciami społecznościowymi oraz pozyskiwania zawartych w nich
informacji w celu analityki biznesowej
-zapoznanie z systemami wieloagentowymi wykorzystywanymi do modelowania sieci społecznościowych oraz inżynierii
skalowalnych oraz rozproszonych systemów do przetwarzania informacji zawartych w sieciach
Wymagania wstępne
- umiejętność programowania w języku Java
- wiedza na temat systemów rozproszonych oraz przetwarzania równoległego
- znajomość systemów bazodanowych
- podstawy sztucznej inteligencji
- znajomość języka XML lub HTML
Zakres tematyczny
Systemy wieloagentowe jako nowoczesne narzędzia do inżynierii systemowo rozproszonej inteligencji.
Zastosowanie systemów wieloagentowych do budowy autonomicznych mechanizmów sterowania w kontekście
przetwarzania w chmurze.
Sieci społecznościowe jako systemy złożone; rodzaje sieci społecznościowych oraz charakterystyka ich funkcjonowania.
Techniki zarządzania oraz monitorowania sieciami społecznościowymi.
Media społecznościowe oraz Big Data jako nowe trendy wyznaczające kierunek rozwoju informatyki.
Analityka biznesowa dużych zbiorów danych (Big Data Analytics) z wykorzystaniem technologii Hadoop oraz rozwiązań
oferowanych przez SAS.
Metody kształcenia
wykład: wykład konwencjonalny
laboratorium: dyskusja, ćwiczenia laboratoryjne
projekt: burza mózgów, praca z dokumentem źródłowym, dyskusja, praca w grupach
Efekty kształcenia
Posiada ogólną wiedzę z zakresu genezy, stuktury oraz własciwości sieci
społecznościowych.
K2I_W09
Potrafi wyjaśnić fenomen sieci społecznościowych oraz rolę jaką pełnią w
generowaniu wiedzy na dużą skalę.
K2I_U01
Potrafi wykorzystać informacje zawarte w sieci społecznościowej w celu
przeprowadzenia analityki biznesowej.
K2I_U13
Rozumie potrzebę efektywnego zarządzania sieciami społecznościowymi
oraz techniki umożliwiające osiagniecie tego celu.
Potrafi opisać architekturę, działanie oraz cechy systemu
wieloagentowego oraz jego składowych (agentów).
K2I_W11
K2I_W09
T2A_W04 T2A_W05
T2A_W06
T2A_W07
T2A_U01
T2A_U02
T2A_U07
T2A_U10
T2A_U11
T2A_U12
T2A_W04
T2A_W06
T2A_W04 T2A_W05
T2A_W06
T2A_W07
Rozumie w jaki sposób systemy wieloagentowe oraz technologia Hadoop
mogą zostać użyte w celu analizy informacji zawartych w sieciach.
Potrafi połączyć teoretyczną wiedzę przekazaną w trakcie wykladów oraz
techniki i narzędzia omawiane w trakcie ćwiczeń laboratoryjnych w celu
realizacji spójnego całościowo projektu na temat wybranego zagdnienia.
K2I_W12
Potrafi pracować indywidualnie i w zespole.
Potrafi stworzyć dokumentację końcową projektu opisującą sposób
podejscia do realizacji wybranego zagadnienia oraz analizę otrzymanych
rezultatów.
Potrafi zaplanować i zrealizować napięty harmonogram wieloetapowych
prac projektowych w zespole.
K2I_K03
K2I_U03
K2I_U14
K2I_K03
T2A_W05
T2A_U12
T2A_U14
T2A_U15
T2A_U16
T2A_U17
T2A_U19
T2A_K03
T2A_U03
T2A_U04
T2A_U06
T2A_K03
Weryfikacja efektów kształcenia i warunki zaliczenia
W ramach zaliczenia przedmiotu studenci są oceniani na podstawie:
Projektu własnego (50% oceny) – projekt weryfikuje osiągnięcie efektów kształcenia w zakresie umiejętności.
Projekt powinien zawierać: modelowanie wybranego problemu wraz z interpretacją uzyskanych wyników.
Egzaminu (50% oceny) mającego charakter pisemny polegający na przetestowaniu osiągniętych efektów kształcenia w
zakresie wiedzy
(pytania teoretyczne – do 5 pytań) i umiejętności (3 zadania).
Studenci są dopuszczeni do egzaminu pod warunkiem otrzymania zaliczenia z ćwiczeń laboratoryjnych podczas których
oceniana będzie ich praktyczna umiejętność realizowania zadań przydatnych podczas realizacji projektów indywidualnych.
Metody weryfikacji
- wykład: projekt, egzamin w formie pisemnej
- laboratorium: kolokwium
- projekt: projekt
Składowe oceny końcowej = wykład: 40% + laboratorium: 30% + projekt: 30%
Obciążenie pracą studenta
Studia stacjonarne (210 godz.)
Godziny kontaktowe = 60 godz.
Przygotowanie się do zajęć = 25 godz.
Zapoznanie się ze wskazaną literaturą = 25 godz.
Przygotowanie raportu/sprawozdania = 25 godz.
Wykonanie zadań zleconych przez prowadzącego = 25 godz.
Zajęcia realizowane na odległość = 25 godz.
Przygotowanie się do egzaminu = 25 godz.
Literatura podstawowa
1. Michael Wooldridge, An Introduction to MultiAgent Systems - Second Edition, 2009
2. Duncan J. Watts, Six degrees: the science of a connected age, 2003
Literatura uzupełniająca
1. Dean Allemang, James Hendler, Semantic Web for the Working Ontologist, Second Edition: Effective Modelling in RDFS
and OWL, 2011
2. Albert Laszlo Barabasi, Linked: How Everything Is Connected to Everything Else and What It Means for Business, Science,
and Everyday Life, 2002
Nazwa przedmiotu:
Kod przedmiotu:
Język:
Odpowiedzialny za przedmiot:
Prowadzący przedmiot:
Równoległe i funkcyjne techniki programowania
11.3-WE-I-RiFTP-PSW_A5_ISI_S2S
dr inż. Marek Sawerwain
dr inż. Marek Sawerwain
Forma zajęć godzin w sem. godzin w tyg. semestr
forma zal.
punkty ects tryb studiów typ przedmiotu
wykład
15
1
3
zal. na ocenę
wybieralny
laboratorium
15
1
3
zal. na ocenę
5
stacjonarne
wybieralny
projekt
15
1
3
zal. na ocenę
wybieralny
wykład
9
1
3
zal. na ocenę
wybieralny
laboratorium
9
1
3
zal. na ocenę
5
niestacjonarne
wybieralny
projekt
9
1
3
zal. na ocenę
wybieralny
Cel przedmiotu
- zapoznanie studentów z podstawowymi informacjami o równoległych i funkcyjnych technikach programowania
- ukształtowanie wśród studentów zrozumienia i świadomości roli równoległych technik programowania a także uwypuklenia
zwiększającej się roli programowania funkcyjnego
- nauka podstawowych umiejętności w zakresie tworzenia programów równoległych w systemach wieloprocesorowych
opartych o tradycyjne uniwersalne procesory (CPU) a także o graficzne wieloprocesorowe układy ogólnego zastosowania
(GPU)
- ukształtowanie podstawowych umiejętności w zakresie paradygmatu programowania funkcyjnego, a w szczególności roli
funkcji i rekurencji, programowania bez efektów ubocznych oraz nabycie umiejętności używania techniki obliczeń leniwych
Wymagania wstępne
Metody programowania, Algorytmy i struktury danych, Teoretyczne podstawy informatyki, Logika dla informatyków
Zakres tematyczny
Równoległy model obliczeniowy, klasy złożoności obliczeń równoległych,
Dostępne narzędzia pomagające realizować programy działające w środowiskach równoległych, CUDA, OpenCL,
Rodzaje prymitywnych operacji równoległe,
Zależność i podział danych, modele równoległych środowisk wykonawczych dla CPU oraz GPU,
Podstawowe konstrukcje funkcyjnego języka programowania na przykładzie języków OCaml, F#, Scala,
Typy danych, wyjątki, pojęcie obiektu,
Funkcje wyższego rzędu, model obliczeń programów funkcyjnych (w postaci uproszczonego opisu operacyjnego),
System typów oraz leniwe obliczenia,
Konstrukcje imperatywne w programowaniu funkcyjnym.
Metody kształcenia
wykład: dyskusja, wykład konwencjonalny
laboratorium: ćwiczenia laboratoryjne
projekt: dyskusja, konsultacje, praca w grupach
Efekty kształcenia
Zna modele programowania równoległego stosowane w nowoczesnych rozwiązaniach
sprzętowo-programowych
Zna i rozumie podstawy paradygmatu programowania funkcyjnego, oraz rolę konstrukcji
imperatywnych w językach funkcyjnych
Zna rolę prymitywnych operacji programowania równoległego oraz zna koszt obliczeniowy
algorytmów równoległych
K2I_W13
Znane jest mu pojęcie funkcji pierwszego rzędu, oraz zna pojęcie typu oraz rozumie system
typów w języku funkcyjnym
K2I_W09
Wie jak tworzyć implementacje prostych algorytmów opartych o technikę leniwych obliczeń
K2I_U07
K2I_W11
K2I_W09
Umie wykorzystać istniejące biblioteki wspomagające techniki programowania równoległego dla K2I_U16
CPU oraz GPU
Ma świadomość dynamicznego rozwoju technik programowania równoległego, oraz rosnącą
K2I_K01
rolę programowania funkcyjnego
Potrafi zaimplementować programy rozwiązujące postawione problemy w technikach
K2I_U07
programowania równoległego bądź funkcyjnego
Potrafi pracować indywidualnie i w zespole
K2I_K03
T2A_W06
T2A_W04
T2A_W06
T2A_W04
T2A_W05
T2A_W06
T2A_W07
T2A_W04
T2A_W05
T2A_W06
T2A_W07
T2A_U08
T2A_U09
T2A_U15
T2A_U18
T2A_U14
T2A_U18
T2A_K01
T2A_U08
T2A_U09
T2A_U15
T2A_U18
T2A_K03
Weryfikacja efektów kształcenia i warunki zaliczenia
Ocena końcowa jest ustalana na podstawie następującej średniej ważonej:
ocena końcowa = 0.4 ocena zaliczenia z wykład + 0.3 ocena zaliczenia z laboratorium + 0.3 ocena zaliczenia z projektu
Ocena za wykład jest wystawiana na podstawie pisemnego sprawdzianu wiedzy, który odbędzie się na ostatnim wykładzie.
Ocena z ćwiczeń laboratoryjnych wystawiana jest jako średnia z ocen za sprawdziany bądź prace/zadania indywidualne
zlecane przez osobę prowadzącą laboratorium. Ocena za projekt jest dokonywana na podstawie przygotowanego pisemnego
(może być także w formie elektronicznej) sprawozdania dotyczącego realizowanego projektu.
Metody weryfikacji
- wykład: sprawdzian
- laboratorium: projekt, sprawdzian
- projekt: projekt, sprawdzian
Składowe oceny końcowej = wykład: 40% + laboratorium: 30% + projekt: 30%
Obciążenie pracą studenta
Studia stacjonarne (150 godz.)
Godziny kontaktowe = 45 godz.
Przygotowanie się do zajęć = 21 godz.
Zapoznanie się ze wskazaną literaturą = 21 godz.
Przygotowanie raportu/sprawozdania = 21 godz.
Wykonanie zadań zleconych przez prowadzącego = 21 godz.
Zajęcia realizowane na odległość = 21 godz.
Literatura podstawowa
1. R.Pickering, Foundations of F#, Apress,USA, 2007.
2. C. Smith, Programming F#, O'Reilly Media, Inc.,Sebastopol, USA, 2010.
3. J. Sanders, E. Kandrot, CUDA w przykładach. Wprowadzenie do ogólnego programowania procesorów GPU, Helion,
2012, edycja polska,
4. J. Sanders, E. Kandrot, CUDA by Example: An Introduction to General-Purpose GPU Programming, Addison-Wesley
Professional, 2010, english edition,
5. B. Gaster, L. Howes, D. R. Kaeli, P. Mistry, D. Schaa, Heterogeneous Computing with OpenCL, Morgan Kaufmann, 2011.
6. P. Pacheco, An Introduction to Parallel Programming, Morgan Kaufmann, 2011.
7. Z. Czech, Wprowadzenie do obliczeń równoległych, Wydawnictwo Naukowe PWN, 2010.
8. M. Herlihy, N. Shavit, Sztuka programowania wieloprocesorowego, Wydawnictwo Naukowe PWN, 2010, edycja polska.
Literatura uzupełniająca
1. S. Thomspon, Haskell - The Craft of Functional Programming, Addison-Wesley Longman Publishing Co., Inc. Boston, MA,
USA, 1999
2. J. Harrop, F# for Scientists, John Wiley & Sons, Inc., Hoboken, New Jerseym USA, 2008.
3. D. Syme, A. Granicz, A. Cisternino, Expert F# 2.0, Apress, USA, 2010.
4. R. Farber, CUDA Application Design and Development, Morgan Kaufmann, 2011.
5. Wen-mei W. Hwu, eds, GPU Computing Gems, Emerald Edition and Jade Edition, Morgan Kaufmann, 2011.
Nazwa przedmiotu:
Kod przedmiotu:
Język:
Odpowiedzialny za przedmiot:
Prowadzący przedmiot:
Projektowanie aplikacji na platformie Android
11.3-WE-I-PAnPA-PSW_A5_ISI_S2S
dr inż. Przemysław Jacewicz
dr inż. Przemysław Jacewicz, dr inż. Mariusz Jacyno,
dr inż. Błażej Cichy
Forma zajęć godzin w sem. godzin w tyg. semestr
forma zal.
punkty ects tryb studiów typ przedmiotu
wykład
15
1
3
zal. na ocenę
wybieralny
laboratorium
15
1
3
zal. na ocenę
5
stacjonarne
wybieralny
projekt
15
1
3
zal. na ocenę
wybieralny
wykład
9
1
3
zal. na ocenę
wybieralny
laboratorium
9
1
3
zal. na ocenę
5
niestacjonarne
wybieralny
projekt
9
1
3
zal. na ocenę
wybieralny
Cel przedmiotu
- zapoznanie studentów z zaawansowanymi zagadnieniami programowania urządzeń mobilnych działającego pod systemem
Android;
- ukształtowanie podstawowych umiejętności w zakresie dotykowych interfejsów użytkownika;
- ukształtowanie wśród studentów zrozumienia ograniczeń wypływających z budowy urządzeń mobilnych;
- ukształtowanie podstawowych umiejętności w zakresie projektowania aplikacji mobilnych zorientowanych na przenośność.
Wymagania wstępne
Java i technologie Web
Zakres tematyczny
Projektowanie aplikacji mobilnych na platformę Android. Określanie możliwości zaspokojenia wymagań aplikacji.
Przygotowywanie planów testowania na potrzeby kontroli jakości. Wybór systemu zarządzania kodem źródłowym.
Stosowanie systemu numeracji wersji aplikacji. Projektowanie pod kątem rozszerzania i nanoszenia poprawek aplikacji.
Projektowanie pod kątem możliwości współdziałania aplikacji.
Testowanie aplikacji mobilnych na platformę Android. Projektowanie systemu rejestracji błędów na potrzeby programowania
mobilnego. Zarządzanie środowiskiem testowym. Maksymalizacja pokrycia testów. Metody unikania błędów podczas
testowania aplikacji. Usługi testowania aplikacji.
Zagadnienia publikowania aplikacji. Przygotowanie kodu do utworzenia pakietu instalacyjnego. Generowanie pakietu aplikacji
i jego podpisywanie. Testowanie publikowanej wersji pakietu aplikacji. Certyfikacja aplikacji na Androida.
Wsparcie użytkownika końcowego aplikacji. Śledzenie i weryfikacja informacji o awariach. Testowanie aktualizacji
oprogramowania układowego urządzeń docelowych.
Metody kształcenia
wykład: wykład konwencjonalny
laboratorium: ćwiczenia laboratoryjne
projekt: praca w grupach, metoda projektu
Efekty kształcenia
Potrafi zaprojektować aplikację mobilną na platformę Android K2I_W09 T2A_W04 T2A_W05
T2A_W06
T2A_W07
Potrafi wykonać aplikacje mobilną na platformę Android
K2I_U14
T2A_U12
T2A_U14
T2A_U15
T2A_U16
T2A_U17
T2A_U19
Potrafi testować aplikacje mobilne na platformę Android
K2I_U14
T2A_U12
T2A_U14
T2A_U15
T2A_U16
T2A_U17
T2A_U19
Potrafi publikować aplikacje mobilne na platformę Android
K2I_U14
T2A_U12
T2A_U14
T2A_U15
T2A_U16
T2A_U17
T2A_U19
Potrafi pracować indywidualnie i w zespole
K2I_K03
T2A_K03
Weryfikacja efektów kształcenia i warunki zaliczenia
Podstawą zaliczenia jest pozytywna ocena każdej z form zajęć, zarówno wykładu, laboratorium, jak i projektu.
Ocena końcowa = 0,5 oceny zaliczenia projektu + 0,3 oceny zaliczenia laboratorium + 0,2 oceny zaliczenia wykładu.
Ocena z wykładu odzwierciedla wynik testu z progami punktowymi rozwiązywanego pod koniec semestru.
Ocena z laboratorium jest wyznaczana jako średnia ocen aplikacji wykonanych w trakcie ćwiczeń.
Ocena z projektu jest wyznaczana na podstawie analizy dokumentacji i wyników projektu w postaci aplikacji.
Metody weryfikacji
- wykład: projekt, test z progami punktowymi
- laboratorium: projekt, test z progami punktowymi, sprawdzian
- projekt: projekt
Składowe oceny końcowej = wykład: 40% + laboratorium: 30% + projekt: 30%
Obciążenie pracą studenta
Studia stacjonarne (150 godz.)
Godziny kontaktowe = 45 godz.
Przygotowanie się do zajęć = 21 godz.
Zapoznanie się ze wskazaną literaturą = 21 godz.
Przygotowanie raportu/sprawozdania = 21 godz.
Wykonanie zadań zleconych przez prowadzącego = 21 godz.
Zajęcia realizowane na odległość = 21 godz.
Literatura podstawowa
1. Shane Conder, Lauren Darcey: Android. Programowanie aplikacji na urządzenia przenośne. Helion, Warszawa, 2011.
2. Ed Burnette: Hello, Android. Programowanie na platformę Google dla urządzeń mobilnych. Helion, Warszawa, 2011.
Literatura uzupełniająca
1. Sayed Hashimi, Satya Komatineni, Dave MacLean: Android 2. Tworzenie aplikacji. Helion, Warszawa, 2010.
Nazwa przedmiotu:
Kod przedmiotu:
Język:
Odpowiedzialny za przedmiot:
Prowadzący przedmiot:
Systemy wideokonferencyjne i telefonii internetowej
11.3-WE-I-SWiTI-PSW_A6_ISI_S2S
dr inż. Marcin Mrugalski
dr inż. Marcin Mrugalski
Forma zajęć godzin w sem. godzin w tyg. semestr
forma zal.
punkty ects tryb studiów typ przedmiotu
wykład
15
1
3
zal. na ocenę
wybieralny
4
stacjonarne
laboratorium
30
2
3
zal. na ocenę
wybieralny
wykład
9
1
3
zal. na ocenę
wybieralny
4
niestacjonarne
laboratorium
18
2
3
zal. na ocenę
wybieralny
Cel przedmiotu
- Zapoznanie studentów z technologiami telefonii VoIP oraz systemów wideokonferencyjnych.
- Zapoznanie studentów z protokołami SIP, H.323, RTP i RTCP.
- Ukształtowanie umiejętności studentów w zakresie projektowania sieci konwergentnych i konfiguracji mechanizmów
zapewniania jakości usług wspierających funkcjonowanie telefonii VoIP i połączeń wideokonferencyjnych.
Wymagania wstępne
Sieci komputerowe I, Sieci komputerowe II
Zakres tematyczny
Architektura, technologie, usługi i typy ruchu w sieciach konwergentnych. Wymagania stawione sieciom konwergentnym.
Konfiguracja przełączników i routerów do wsparcia przesyłania głosu i wideo. Minimalizacja utraty danych i usług w sieci
korporacyjnej. Analiza ruchu sieciowego.
Telefonia PSTN i VoIP. Struktura, urządzenia i działanie technologii VoIP. Rola protokołów SIP, H.323, RTP, RTCP
stosowanych w telefonii VoIP.
Architektura i projektowanie systemów wideokonferencyjnych. Przegląd usług wideokonferencyjnych. Podstawy kompresji
strumieni wideo – przegląd kodeków wideo. Protokoły kontroli sesji: SIP, SCCP i H.323 w transmisji wideo. Rola protokołów
RTP i RTCP w połączeniach wideokonferencyjnych.
Zapewnianie jakości usług QoS w telefonii VoIP i połączeniach wideokonferencyjnych. Modele zapewniania jakości usług:
Best-Effort, IntServ i DiffServ. Mechanizmy zarządzania przeciążeniami w sieciach: RED, WRED, CBWRED. Klasyfikacja
oraz znakowanie ruchu CoS i ToS. Metody kolejkowania: WFQ, CBWFQ i LLQ.
Metody wdrażania mechanizmów QoS w sieciach konwergentnych: CLI, MQC, AutoQoS, SDM QoS.
Zapewnianie jakości usług w połączeniach WAN. Implementacja preklasyfikacji w sieciach VPN. Wdrażanie mechanizmów
End-End QoS.
Metody kształcenia
wykład: wykład konwencjonalny
laboratorium: ćwiczenia laboratoryjne
Efekty kształcenia
Zna architekturę, usługi i technologie stosowane w sieciach komputerowych wspierających
telefonie VoIP i połączenia wideokonferencyjne.
K2I_W10
Potrafi scharakteryzować protokoły SIP, H.323, RTP, RTCP.
K2I_W09
Potrafi scharakteryzować metody kolejkowania WFQ, CBWFQ, LLQ.
K2I_U10
Potrafi dobrać właściwe mechanizmy zapewniania jakości usług umożliwiające prowadzenie
połączeń VoIP i połączeń wideokonferencyjnych.
K2I_U17
Potrafi wdrożyć mechanizmy QoS z zastosowaniem technik: CLI, MQC, AutoQoS, SDM QoS.
K2I_U14
T2A_W04
T2A_W05
T2A_W06
T2A_W07
T2A_W04
T2A_W05
T2A_W06
T2A_W07
T2A_U09
T2A_U10
T2A_U15
T2A_U18
T2A_U15
T2A_U18
T2A_U19
T2A_U12
T2A_U14
T2A_U15
T2A_U16
T2A_U17
T2A_U19
Weryfikacja efektów kształcenia i warunki zaliczenia
Ocena końcowa = 0.5 ocena zaliczenia z formy zajęć wykład + 0.5 ocena zaliczenia z formy zajęć ćwiczenia laboratoryjne.
Zaliczenie z formy wykładu realizowane będzie w postaci testu z progami punktowymi.
Zaliczenie z formy laboratorium realizowane będzie w postaci sprawdzianów.
Metody weryfikacji
- wykład: kolokwium
- laboratorium: sprawdzian
Składowe oceny końcowej = wykład: 50% + laboratorium: 50%
Obciążenie pracą studenta
Studia stacjonarne (120 godz.)
Godziny kontaktowe = 45 godz.
Przygotowanie się do zajęć = 15 godz.
Zapoznanie się ze wskazaną literaturą = 15 godz.
Przygotowanie raportu/sprawozdania = 15 godz.
Wykonanie zadań zleconych przez prowadzącego = 15 godz.
Zajęcia realizowane na odległość = 15 godz.
Literatura podstawowa
1. Wallace K.: Implementing Cisco Unified Communications Voice over IP and QoS (CVOICE) Foundation Learning Guide.
Cisco Press, Indianapolis 2011.
2. Firestone S., Ramalingam T., Fry S.: Voice and Video Conferencing Fundamentals. Cisco Press, Indianapolis 2007.
3. Bromirski M.: Telefonia VoIP. Multimedialne sieci IP, BTC, 2006.
4. Wallingford T.: VoIP. Praktyczny przewodnik po telefonii internetowej, Helion, 2007.
5. Ahmed. A., Madani H., Siddiqui T.: VoIP Performance Management and Optimization, Cisco Press, 2010.
Literatura uzupełniająca
1. Wallace K.: Authorized Self-Study Guide Cisco Voice over IP (CVOICE). Cisco Press, Indianapolis 2009.
2. Kaza R., S. Asadullah: Cisco IP Telephony: Planning, Design, Implementation, Operation, and Optimization, Cisco, 2007
Nazwa przedmiotu:
Kod przedmiotu:
Język:
Odpowiedzialny za przedmiot:
Prowadzący przedmiot:
Systemy informacji przestrzennej
11.3-WE-I-SIP-PSW_A6_ISI_S2S
dr inż. Marek Kowal
dr inż. Marek Kowal
Forma zajęć godzin w sem. godzin w tyg. semestr
forma zal.
punkty ects tryb studiów typ przedmiotu
wykład
15
1
3
zal. na ocenę
wybieralny
4
stacjonarne
laboratorium
30
2
3
zal. na ocenę
wybieralny
wykład
9
1
3
zal. na ocenę
wybieralny
4
niestacjonarne
laboratorium
18
2
3
zal. na ocenę
wybieralny
Cel przedmiotu
- zapoznanie studentów z zasadami funkcjonowania systemów informacji przestrzennej
- ukształtowanie umiejętności z zakresu tworzenia systemów informacji przestrzennej
- zapoznanie studentów z metodami analizy danych przestrzennych
Wymagania wstępne
grafika komputerowa
Zakres tematyczny
- Podstawy Systemów Informacji Przestrzennej (SIP). Historia rozwoju SIP. Główne zastosowania SIP. Definicje pojęć
związanych z układami współrzędnych kartograficznych. Układy współrzędnych kartograficznych obowiązujące w Polsce.
Mapa cyfrowa. Źródła danych dla SIP. Typy obiektów geograficznych. Oprogramowanie dla SIP.
- Modele danych w SIP. Dane przestrzenne dyskretne i ciągłe. Dokładność danych przestrzennych. Reprezentacja danych
przestrzennych za pomocą grafiki rastrowej, wektorowej, rastrowo-wektorowej. Dane opisujące cechy ilościowe lub
jakościowe obiektów geograficznych. Transformacja z danych rastrowych do wektorowych. Warstwowa reprezentacja
danych.
- Architektura SIP. Wprowadzanie i weryfikacja danych wejściowych. Bazy danych przestrzennych. Projektowanie baz
danych przestrzennych. Systemy zarządzania bazami danych przestrzennych. Przetwarzanie danych przestrzennych.
Wyprowadzanie i obrazowanie danych przestrzennych. Prezentacja danych przestrzennych w Internecie i na urządzeniach
mobilnych. Planowanie i architektury SIP.
- Analizy przestrzenne. Próbkowanie danych przestrzennych. Geostatystyka. Analizy sieciowe. Znajdowanie optymalnej
drogi. Zależności i interakcje przestrzenne. Interpolacja przestrzenna. Regresja przestrzenna. Interakcja przestrzenna.
Symulacja przestrzenna - automaty komórkowe.
Metody kształcenia
wykład: wykład konwencjonalny
laboratorium: ćwiczenia laboratoryjne
Efekty kształcenia
Potrafi wymienić i scharakteryzować poszczególne moduły informatyczne, z których zbudowane są
Systemy Informacji Przestrzennej
Zna modele danych stosowanych w Systemach Informacji Przestrzennej i potrafi je rozróżnić oraz
scharakteryzować
Potrafi wymienić i zdefiniować metody analizy danych przestrzennych
Potrafi wprowadzać i wyprowadzać dane przestrzenne z baz danych przestrzennych
Potrafi zaplanować i utworzyć bazę danych przestrzennych
K2I_W09 T2A_W07
Posiada umiejętność zarządzania danymi przestrzennymi i ich transformacją
Potrafi stosować metody analizy danych przestrzennych i interpretować ich wyniki
Potrafi opisać i objaśnić metody obrazowania danych przestrzennych i wyników analiz danych
przestrzennych
K2I_U13 T2A_U10
K2I_U07 T2A_U09
K2I_W10 T2A_W04
T2A_W05
T2A_W06
K2I_W08 T2A_W04
K2I_W03 T2A_W04
K2I_U01 T2A_U07
K2I_U01 T2A_U01
T2A_U02
T2A_U07
T2A_W07
Weryfikacja efektów kształcenia i warunki zaliczenia
Ocena końcowa = 0.5 ocena zaliczenia z formy zajęć wykład + 0.5 ocena zaliczenia z formy zajęć ćwiczenia laboratoryjne
Metody weryfikacji
- wykład: test z progami punktowymi, kolokwium
- laboratorium: kolokwium
Składowe oceny końcowej = wykład: 50% + laboratorium: 50%
Obciążenie pracą studenta
Studia stacjonarne (120 godz.)
Godziny kontaktowe = 45 godz.
Przygotowanie się do zajęć = 15 godz.
Zapoznanie się ze wskazaną literaturą = 15 godz.
Przygotowanie raportu/sprawozdania = 15 godz.
Wykonanie zadań zleconych przez prowadzącego = 15 godz.
Zajęcia realizowane na odległość = 15 godz.
Literatura podstawowa
1. Bielecka E.: Systemy Informacji Geograficznej – teoria i zastosowania, Wydawnictwo PJWSTK, Warszawa 2006
2. Myrda G., Litwin L.: Systemy Informacji Geograficznej. Zarządzanie danymi przestrzennymi w GIS, SIP, SIT, LIS,
wydawnictwo Helion, Gliwice 2005
3. Longley P.A., Goodchild M.F., Maguire D.J., Rhind D.W.: GIS. Teoria i praktyka, PWN, 2007.
4. Davis D.: GIS dla każdego, PWN, 2009.
5. Gotlib D., Iwaniak A., Olszewski R.: GIS. Obszary zastosowań, PWN, 2007.
6. Tomilson R.: Rozważania o GIS - Planowanie Systemów Informacji Geograficznej dla menedżerów, ESRI Press, 2004.
7. Suchecki B.: Ekonometria przestrzenna. Metody i modele analizy danych przestrzennych, Warszawa, C.H. BECK, 2010.
8. Urbański J.: GIS w badaniach przyrodniczych, Gdańsk, Wydawnictwo Uniwersytetu Gdańskiego, 2008.
Literatura uzupełniająca
1. Bivand R.S., Pebesma E.J., Gómez-Rubio V.: Applied Spatial Data Analysis with R, Springer, 2008.
2. Kolvoord R., Keranen K.: Making Spatial Decisions Using GIS, A Workbook, ESRI, 2011.