Katalog Ects - Program Studiów Kierunku Informatyka

Transcript

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.