průvodce studiem - Katedra informatiky

Vysoká škola báňská - Technická univerzita Ostrava
Fakulta elektrotechniky a informatiky
PRŮVODCE STUDIEM
navazujícím Mgr. studiem v kombinované formě
studijního oboru
Informatika a výpočetní technika
(Oba ročníky)
pro akademický rok 2015/16, letní semestr
Ostrava, leden 2016
Sestavila: RNDr. Eliška Ochodková, Ph.D.
Fakulta elektrotechniky a informatiky
VŠB – Technická univerzita Ostrava
Kontakty na tutory
Adresa: FEI, VŠB –TU Ostrava, 17. listopadu 15, 708 33, Ostrava-Poruba
E-mail: [email protected]
Telefon: 59 732 xxxx ... poslední čtyřčíslí je uvedeno u jednotlivých tutorů
PS – Pravděpodobnost a statistika
Anotace
Absolventi ovládají základní dovednosti nezbytné pro použití statistických technik a procedur
za použití statistického software včetně interpretace výsledků statistické analýzy.
Garant předmětu: Ing. Martina Litschmannová, Ph.D., místnost EA538, tel. 59 732 5979
Tutor: Ing. Jan Kracík, Ph.D., místnost EA542, tel. 59 732 5987
Harmonogram pro akademický rok 2015/16 (letní semestr):
•
•
•
•
•
•
•
tutoriál (19. 2. 2016)
• seznámení se s náplní předmětu a organizací studia
• kombinatorika (variace, permutace, kombinace)
• základní pojmy z teorie pravděpodobnosti, Bayesův teorém, věta o úplné
pravděpodobnosti
tutoriál (4. 3. 2016)
1. diskrétní a spojitá náhodná veličina
tutoriál (18. 3. 2016)
• vybraná rozdělení náhodných veličin
• normální rozdělení, centrální limitní věta
tutoriál (2. 4. 2016)
• explorační analýza dat
• seznámení se se statistickým software
tutoriál (15. 4. 2016)
• bodové a intervalové odhady
• testování hypotéz
tutoriál (29. 4. 2016)
• analýza rozptylu (ANOVA)
tutoriál (13. 5. 2016)
• zápočtový test
Podmínky udělení zápočtu
1. V průběhu semestru studenti obdrží zadání tří domácích úkolů.
2. V rámci závěrečného tutoriálu studenti absolvují zápočtový test.
Termín
zadání
Domácí úkol č. 1 4. 3. 2016
Domácí úkol č. 2 2. 4. 2016
Domácí úkol č. 3 29. 4. 2016
Zápočtový test
Celkem
Termín
vyhotovení
16. 3. 2016
13. 4. 2016
11. 5. 2016
13. 5. 2016
Maximální bodové
hodnocení
10
10
10
10
40
Nutné minimální
hodnocení
3
3
3
1
20
3. Pro udělení zápočtu musí student získat minimálně 20 bodů a zároveň dosáhnout
minimálního hodnocení ze všech dílčích aktivit.
Podmínky vykonání zkoušky
Zkouška se skládá z praktické a teoretické části. Z praktické části lze získat maximálně 50
bodů, přičemž požadované minimum je 25 bodů. Z teoretické části (test, resp. ústní
zkouška) lze získat maximálně 10 bodů, minimálně je nutno získat 2 body.
Studijní materiály
•
•
•
♦
Litschmannová M., Vybrané kapitoly z pravděpodobnosti, VŠB-TUO, 2011
http://mi21.vsb.cz/modul/vybrane-kapitoly-z-pravdepodobnosti
Litschmannová M., Úvod do statistiky, VŠB-TUO, 2011
http://mi21.vsb.cz/modul/uvod-do-statistiky
Další studijní materiály budou zveřejňovány na http://homel.vsb.cz/~kra0220/
ANO I – Analýza obrazu I
Anotace:
V předmětu jsou probírána zejména tato témata: segmentace obrazů, detekce hran, oblastí a
rohů, měření objektů pro příznakové rozpoznání, klasifikace pomocí diskriminačních funkcí,
klasifikace s využitím neuronových sítí, analýza obrazů 3D scén, analýza obrazů proměnných
v čase, sledování objektů.
Garant předmětu: doc. Dr. Ing. Eduard Sojka (EA451, 59 732 5960, [email protected])
Tutoři:
doc. Dr. Ing. Eduard Sojka (EA451, 59 732 5960, [email protected] )
Ing. Jan Gaura (EA408, 59 732 5866, [email protected] )
Harmonogram pro akademický rok 2015/16 (letní semstr):
Tutoriál (20.2. 2016): Detekce hran v obrazech. Gradientní metoda. Metoda průchodu
nulou. Detekce oblastí. Prahování.
Tutoriál (5.3. 2016): Měření objektů. Výpočet a volba příznaků pro příznakové
rozpoznání. Hodnocení účinnosti a optimalizace množiny příznaků.
Tutoriál (2.4. 2016): Klasifikátor a klasifikace pomocí diskriminačních funkcí.
Klasifikace pomocí etalonů.
Tutoriál (30.4. 2016): Rekonstrukce prostorových souřadnic na základě znalosti dvou
nebo více různých obrazů téže scény .
Tutoriál (14.5. 2016): Analýza obrazů proměnných v čase. Sledování objektů.





Podmínky udělení zápočtu
Podmínkou k udělení zápočtu je odevzdání malého a jednoduchého programu spočívajícího
v realizaci analyzátoru pro rozpoznávání geometrických objektů (kruh, čtverec, trojúhelník
atd.) Projekt je hodnocen maximálně 25-ti body.
Podmínky vykonání zkoušky
Zkouška je kombinovaná (ústní s písemnou přípravou). Během zkoušky si posluchač
vylosuje tři otázky, z nichž každá může být hodnocena max. 25-ti body. Přesné znění otázek
bude zveřejněno předem, a to během posledního setkání a na níže uvedeném URL.
Studijní materiály
E. Sojka, Digitální zpracování a analýza obrazů, učební texty, VŠB-TU Ostrava, 2000 (ISBN
80-7078-746-5); k předmětu se vztahují kapitoly 8 až 12; skripta lze stáhnout zde:
http://mrl.cs.vsb.cz/people/sojka/dzo/digitalni_zpracovani_obrazu.pdf
http://mrl.cs.vsb.cz/people/sojka/ano_course.html
♦
IT – Internetové Technologie
Anotace
Předmět je určen pro studenty navazujícího kombinovaného studia informatiky. V předmětu
se studenti seznámí se současnými i připravovanými technologiemi pro Internet. Budou
schopni analyzovat, kombinovat, sumarizovat a využívat spojitosti a vazby mezi jednotlivými
technologiemi a přístupy. Studenti jsou vedeni také k samostatnému projevu a formulaci
myšlenek a názorů k jednotlivým problémovým oblastem, a to spolu s obhájením těchto
vlastních postojů.
Garant předmětu: Ing. Michal Radecký, Ph.D., kat. 460, tel. 5876, místnost EA438,
http://www.cs.vsb.cz/radecky
Tutoři: Michal Radecký
Harmonogram pro akademický rok 2015/16 (letní semestr):
1. tutoriál (19.2.2016) – nepovinný. Na tomto úvodním soustředění Vám budou sděleny
informace o organizaci studia předmětu a informace o náplni předmětu. Dále budete
seznámeni se základním názvoslovím, historií a současností Internetu.
2. tutoriál (4.3.2016) – nepovinný. Seznámení se základními technologiemi konceptu Web
2.0 či RIA, a to včetně zmínky o souvisejících technologiích sémantického webu, XML,
RSS, apod. Na tutoriálu bude probíhat rovněž debata k uvedeným tématům.
3. tutoriál (18.3.2016) – nepovinný. Tutoriál se bude věnovat moderním trendům v oblasti
služeb a outsourcingu a cloud computingu a e-commerce. Rovněž bude probíhat debata
k uvedeným tématům.
4. tutoriál (2.4.2016) – nepovinný. Přehled o technologiích souvisejících s problematikou
sdílení a distribuce dat (BitTorrent, WebDAV, atd.). Dále se předpokládá základní přehled
o nástrojích pro zajištění bezpečnosti v prostředí Internetu. Rovněž bude probíhat debata
k uvedeným tématům.
5. tutoriál (15.4.2016) – nepovinný. Poslední tutoriál se bude věnovat problematice
WebDesignu, a to především z vnějšího pohledu. Součástí bude také problematika
copywritingu a SEO. Rovněž bude probíhat debata k uvedeným tématům.
Změny v tématech a náplni jednotlivých tutoriálů jsou vyhrazeny a budou případně upřesněny
na webu předmětu.
Podmínky udělení zápočtu
Hodnocení zápočtu je zde postaveno na zpracování a odevzdání odborného textu, který bude
pokrývat zvolené téma související s náplní tohoto předmětu. Každý student si může volně
vybrat ze tří níže uvedených témat. Své vybrané téma nahlásí svému tutorovi do 2. tutoriálu
(zvolené téma je možné měnit pouze po domluvě s vyučujícím), a to emailem včetně stručné
specifikace obsahu a zaměření tématu!
Každý student si vybere jedno z témat a to oznámí emailem nejpozději do 2. tutoriálu.
Termín odevzdání práce je nejpozději do 8.5.2016.
Témata:
Analýza webu – Odborný text zaměřený na analýzu a zhodnocení konkrétního webu, a to
jak z pohledu současných trendů, tak technického řešení či uživatelské přívětivosti. Weby pro
analýzu budou vybírány z definované množiny a bude výsledkem konzultace s vyučujícím.
Součástí práce budou rovněž návrhy, jak web vylepšit, zdokonalit a přizpůsobit potřebám
uživatelů. Text bude doplněn o obrázky ilustrující jednotlivé prvky resp. návrhy na úpravy.
Osnova textu (minimální návrh)
- O jaký web se jedná, na koho je cílen
- Jaké je technické řešení, použité prvky, apod.
- Zhodnocení technického řešení (nedostatky, doporučení)
- Zhodnocení vizuální podoby a trendy (nedostatky, doporučení)
- Zhodnocení uživatelské přívětivosti a použitelnosti (nedostatky, doporučení)
- Zhodnocení marketingových a e-commerce prvků – SEO, nákupní proces, sociální
sítě, obsah, atd. (nedostatky, doporučení)
- Souhrn návrhů na úpravu, rozšíření, vylepšení
- Závěr a zhodnocení
Multimediální klip či aplikace - „implementační téma“, jehož výsledkem bude video klip
(video nahrávka, střih, různá animační technika) či interaktivní animace (HTML5, apod.) na
libovolné téma spojené s Internetem. Maximální délka do 5 minut a použitý jazyk může být
čeština i angličtina. Např. Jak fungují webové služby, Historie Internetu, Technologie
X/HTML, kvíz, atd. Touto formou můžete rovněž zpracovat i výše uvedená témata.
Požadavky na zpracování odborného textu:
Text bude odpovídat požadavkům na odborné texty. Úspěšně nebudou ohodnoceny příliš
vágní texty bez technického pozadí. Každý text bude obsahovat technicky korektní údaje a
bude zahrnovat technické údaje a specifika jednotlivých technologií, a to na vysokoškolské
úrovni.
Grafické zpracování textu je ponecháno na samotném studentovi, nicméně nebudou použity
žádné nestandardní postupy. Dokument bude zpracován tak, aby byl kvalitně tisknutelný a
čitelný. Text bude doplněn o odpovídající ilustrace, schémata či fotografie, a to v
odpovídající kvalitě, informační hodnotě a rozumné míře.
Rozsah zpracovaného tématu nebude menší než 15 stránek.
Všechny použité prvky (obrázky, kresby, animace) budou autorské, případně bude korektně
citován zdroj. V případě video klipu či animace budou použity takové obsahové prvky, které
budou v souladu s autorskými právy a nebudou znemožňovat další využití a publikování
klipu na Internetu, např. na YouTube.
Hodnotit se bude především dodržení tématu, originálnost, obsahová náplň textu, jeho
odbornost, informační a technická hodnota, grafické a stylistické zpracování a celková
kvalita obhajoby prezentovaných myšlenek.
Odevzdání zápočtové práce
• Práce bude odevzdána ve formě ZIP souboru (bude obsahovat PDF verzi dokument,
zdrojový formát dokumentu (DOC, TEX, atd.), příp. zdrojové soubory doplňující
implementace).
• Takto vytvořený ZIP soubor bude nazván podle loginu studenta (abc123.zip) a bude
zaslán na emailovou adresu tutora.
• Zasílaná zpráva bude jako předmět obsahovat řetězec IT2015-K . V těle zprávy dále
budou informace o jméně studenta, jeho loginu a studijní skupině.
• Takovýto email posílejte pouze jeden a jedenkrát. V případě násobného zaslání
projektu bude hodnocen vždy první obdržený a student riskuje snížení hodnocení za
nedodržení podmínek odevzdání.
• V případě klipu bude odevzdáno CD/DVD jak s výstupní podobou, tak všemi
použitými zdrojovými prvky. Mailem podle pokynů výše bude zaslána pouze
informace o obsahu CD/DVD, příp. URL adresa umístění klipu, animace či aplikace.
Podmínky vykonání zkoušky
Zkouška bude probíhat písemnou formou, kdy maximální možný zisk je 60 bodů. Student,
který obdrží 29 bodů a méně, musí zkoušku opakovat (pokud mu to umožní studijní řád).
Termíny k vykonání zkoušky budou uveřejňovány v informačním systému Edison.
Kombinovaní studenti mohou využívat jak termíny určené výhradně pro kombinovanou
formu, tak termíny vypsané pro prezenční studenty.
Studijní materiály
Budou zveřejňovány na www.katedrainformatiky.cz/radecky
♦
GIS - Geografické informační systémy
Anotace
Geografické informační systémy (GIS) dnes představují velmi rychle se rozvíjející oblast IT.
Kurz se zaměřuje se na seznámení se základními pojmy a způsoby zpracování dat v GIS.
Představeny budou typické operace jako je příprava vstupních prostorových dat, jejich
ukládání, zpracování pomocí funkcí typických pro práci s prostorovými dat, analytické
nástroje a způsoby vizualizace v GIS. Po absolvování předmětu by se posluchači měli být
schopni zorientovat v libovolném prostředí GIS na základě zvládnutých principů této oblasti.
Předmět je určen pro studenty druhého ročníku kombinovaného studia informatiky a
předpokládá znalost základů databázových a informačních systémů a OS unixového typu.
Garant předmětu: Ing. Jan Gaura (EA408, 5866)
Tutoři:
Ing. Jan Gaura, místnost EA408, tel. 5866, [email protected]
Harmonogram pro akademický rok 2015/16 (letní semestr):
1. tutoriál (19.2.) – nepovinný. Podrobnější vysvětlení organizace studia. Úvodní
přednáška.
2. tutoriál (4.3.) – nepovinný. Prostorové modely, reprezentace geoprvků. Práce na
projektu.
3. tutoriál (18.3.) – nepovinný. Dálkový průzkum Země. Konzultace k projektu.
4. tutoriál (2.4.) – nepovinný. Zpracování LIDARových dat, GPS.
5. tutoriál (15.4.) – nepovinný. Obhajoba projektu.
Podmínky udělení zápočtu
Podmínkou k udělení zápočtu je odevzdání projektu postupně vypracovávaného na
tutoriálech. Projekt bude hodnocen maximálně 45 body.
Podmínky vykonání zkoušky
Zkouška bude obsahovat písemný test za 55 bodů.
Studijní materiály
Obsah jednotlivých přednášek a aktuální informace k probíhajícímu předmětu budou
zveřejňovány na webových stránkách http://wiki.cs.vsb.cz/index.php/Edu:GIS/cs.
♦
INP – Inženýrství požadavků
Anotace: Předmět se zabývá problematikou tvorby požadavků na tvorbu softwarového
systému. Předmět se zaměřuje na techniky a způsoby sběru požadavků, jejich zápisu, analýze,
organizaci a začlenění a propojení sběru a analýzy požadavků do ostatních fází softwarového
procesu. http://www.cs.vsb.cz/stolfa/
Garant předmětu: Ing. Svatopluk Štolfa, Ph.D., kat. 460, tel. 5897, místnost EA 412,
[email protected]
Tutoři: Ing. Svatopluk Štolfa, Ph.D., kat. 460, tel. 5897, místnost EA 412,
[email protected]
Harmonogram pro akademický rok 2015/16 (letní semestr):
Studentům budou představeny následující partie látky v jednotlivých tutoriálech:
1. tutoriál 4.3.2016 – nepovinný - Na tomto úvodním soustředění Vám budou sděleny
informace o organizaci studia předmětu a informace o náplni předmětu. K tomuto datu se
předpokládá zvládnutí následujících kapitol: Disciplína sběr požadavků, co je to
požadavek, klasifikace požadavků - příklady požadavků, jejich klasifikace. Funkční
požadavky - rozpoznání funkčních požadavků, jejich tvorba. Kvalitativní požadavky a
omezení - rozpoznání kvalitativních požadavků, tvorba kvalitativních požadavků.
2. tutoriál 18.3.2016 – nepovinný - Tutoriál bude probíhat na přednáškové místnosti.
K tomuto datu se předpokládá zvládnutí následujících kapitol: Správa požadavků. Proces
správy požadavků – sběr, specifikace - procvičení metod sběru a specifikace požadavků use case, user stories, dotazníky atd.
3. tutoriál 15.4.2016 – nepovinný - Tutoriál bude probíhat na přednáškové místnosti.
K tomuto datu se předpokládá zvládnutí následujících kapitol: Analýza požadavků analýza proveditelnosti, realizace use case. Byznys modelování a sběr požadavků procvičení notací UML, BPMN, EPF. Metody, postupy a využití byznys modelování transformace modelů mezi sebou.
4. tutoriál 29.4.2016 – nepovinný - Tutoriál bude probíhat na přednáškové místnosti.
K tomuto datu se předpokládá zvládnutí následujících kapitol: Metoda případů užití pro
zachycení požadavků - podrobné využití všech možností případů užití. Vysledovatelnost
požadavků, závislost požadavků, prioritizace, změnové řízení - procvičení metod
prioritizace, závislosti mezi požadavky, ukázka změnového řízení.
5. tutoriál 13.5.2016 – nepovinný - Tutoriál bude probíhat na přednáškové místnosti.
K tomuto datu se předpokládá zvládnutí následujících kapitol: Metody a postupy
specifikace požadavků softwarového systému - využití speciálních modelů ke specifikaci
požadavků - simulace. Role a jejich činnosti při tvorbě modelu požadavků a iterační vývoj
modelu - procvičení práce jednotlivých rolí. Zahrnutí teoretických poznatků o specifikaci
požadavků do softwarového procesu - úprava procesu dle proběhlých projektů, příklady.
Podmínky udělení zápočtu
1. Zápočet (max. 45) bodů bude udělen na základě prověření probírané látky formou testu.
2. K udělení zápočtu je potřeba získat minimálně 25 bodů.
Podmínky vykonání zkoušky
1. Zkouška je písemná s ústním vysvětlením, je možno za ni získat až 55 bodů.
Studijní materiály
http://www.cs.vsb.cz/stolfa ♦
SOJ – Strojově orientované jazyky
Anotace
Cílem předmětu je seznámit posluchače se základní množinou instrukcí procesorů rodiny x86,
se základními adresovacími režimy, s propojováním jazyka symbolických instrukcí s vyššími
programovacími jazyky, zejména jazykem C/C++ a Java.
Dále se posluchači seznámí s několika oblastmi, kde je programování v JSI vhodné a
používané.
Garant předmětu: Ing. Petr Olivka, Ph.D.
Tutor: Ing. Petr Olivka, Ph.D., místnost: EA406, email: [email protected], tel.: 59 699
7171.
Harmonogram pro akademický rok 2015/16 (letní semestr):
Všechny tutoriály jsou povinné.
•
Tutoriál (20. 2.) - povinný: Obsahem prvního tutoriálu bude praktická ukázka
používání JSI a několika základních instrukcí, aby mohli posluchači další samostudium
doprovázet nezbytným praktickým testováním.
•
Tutoriál (5. 3.) - povinný: Na tento tutoriál již posluchači přijdou připraveni a
seznámeni s instrukční sadou procesoru, která je ve studijním materiálu omezena na
praktické a nezbytné minimum. Na tomto tutoriálu bude vysvětleno podrobněji, jak
správně a účelně propojovat JSI s vyšším jazykem. Vysvětleno bude používání funkcí a
práce se zásobníkem.
•
Tutoriál (19. 3.) - povinný: Na tutoriálu bude vysvětleno používání některých
složitějších aritmetických operací a používání řetězcových instrukcí. Dále bude
vysvětleno a probráno předávání argumentů funkcím přes zásobník v režimu 32 a 64 bitů.
•
Tutoriál (2. 4.) - povinný: Tutoriál bude věnován aritmetice s velkými čísly,
jejich formátu, zpracování, vhodnosti použití instrukcí, implementace základních
aritmetických operací.
•
Tutoriál (16. 4.) - povinný: Tutoriál bude věnován příkladům použití aritmetiky
velkých čísel. Dále propojením jazyka JSI s Javou formou dynamické knihovny.
•
Tutoriál (30. 4.) - povinný: Poslední tutoriál bude věnován konzultacím k
předchozímu tématu a navíc budou probrány možnosti využití FPU jednotky procesoru.
Na tomto tutoriálu budou posluchači prezentovat své vybrané semestrální projekty.
•
Tutoriál (14. 5.) - povinný: Odevzdání semestrálního projektu a jeho osobní
prezentace.
Podmínky udělení zápočtu


Pro udělení zápočtu je potřeba získat minimálně 23 bodů.
Mezi tutoriály bude zadáno 6 úkolů, každý vždy za 10 bodů.
Podmínky vykonání zkoušky
Zkouška bude písemnou formou, příklad zadání je uveden mezi studijními materiály. Za
zkoušku lze získat maximálně 55 bodů, pro uznání zkoušky je však nutno získat minimálně
28 bodů.
Studijní materiály:
http://poli.cs.vsb.cz/edu/soj a http://poli.cs.vsb.cz/edu/soj/src
♦
LP – Logické programování
Anotace: Cílem předmětu je seznámit studenty se základy logického programování. Studenti
se naučí specifikovat program deklarativně,
tj. na základě faktů a pravidel. Budou rovněž seznámeni se způsoby vyhodnocování dotazů na
základě rezoluční metody
a se základy strojového učení.
Garant předmětu: doc. RNDr. Marie Duží, CSc, (EA415, [email protected] )
Tutoři: Mgr. Marek Menšík, Ph.D., (EA411, [email protected] )
Harmonogram pro akademický rok:
1.
Tutoriál (19.2.2016): Cílem prvního tutoriálu je seznámení studentů se základními
pojmy jako Obecná rezoluční metoda, logické programování, Prolog. Na tomto tutoriálu
proběhne taktéž zadání projektů, které budou studenti prezentovat na 5. tutoriálu.
Materiály pro studium: Bratko (kapitola 1), Duží (kapitola 3).
2. Tutoriál (4.3.2016): Na 2. tutoriálu proběhnou konzultace k projektům zadaných na
prvním tutoriálu.
Od studentů se očekává znalost pojmů: Fakt, pravidlo, rekurzivní pravidlo, deklarativní
programování
Studenti budou mít prostudované: Bratko (kapitola 2), Endriss (kapitola 1,2), Blackburn at
al (kapitola 1, 2).
3.
Tutoriál (18.3.2016): Na třetím tutoriálu studenti budou seznámeni s problematikou
využití seznamů, operace nad seznamy, aritmetiky
Materiály ke studiu: Bratko (kapitola 3, 4), Endriss (kapitola 2, 3), Blackburn at al
(kapitola 3, 5).
4.
Tutoriál (15.4.2016): Na čtvrtém tutoriálu se studenti seznámí s problematikou třídění
seznamů, strojového učení a seznámení s Ciao Prologem, jakožto zástupcem fuzzy
prologu.
Studenti budou mít nastudováno: Bratko (kapitola 18), Blackburn at al (kapitola 4, 6),
Ciao (kapitola 105)
5. Tutoriál (29.4.2016) Na posledním tutoriálu proběhne zápočtový test a odevzdání
zadaných na prvním tutoriálu.
Podmínky udělení zápočtu
Odevzdání projektu + referátu se ziskem minimálně 51 bodů ze 100 (klasifikovaný zápočet).
Studijní materiály
1. J. W. Lloyd. Foundations of Logic Programming (2nd edition). Springer-Verlag 1987.
2. I. Bratko. PROLOG. Programming for Artificial Intelligence (3rd edition). Addison
Wesley 2001.
3. W.F. Clocksin, C.S. Mellish. Programming in Prolog. Springer-Verlag 1987. 4. M.
Bieliková, P. Návrat. Funkcionálne a logické programovanie. STU Bratislava 2000.
4. M. Duží: Matematická logika, VŠB – TU Ostrava , skripta.
♦
TPS - Technologie počítačových sítí
Anotace:
Předmět podává přehled moderních technologií inteligentního řízení infrastruktur
počítačových sítí, zejména podnikových sítí a sítí datových center včetně metod pro jejich
bezpečné vysokorychlostní propojení. Diskutovány jsou i mechanismy efektivní návaznosti
na transportní sítě a optimalizace přenášených toků. Předmět seznámí také s moderními
metodami správy síťové infrastruktury. Dále jsou nastíněny možnosti vývoje softwarových
aplikací vestavěných do prvků síťové infrastruktury a jejich integrace s externími systémy.
Garant předmětu: Mgr. Ing. Michal Krumnikl, Ph.D., [email protected], EA-409,
tel. +420 59 732 5867
Tutor: Ing. Daniel Stříbný, [email protected], místnost EA-437, tel. +420 59 732 6017
Harmonogram pro akademický rok 2015/16 (letní semestr):
1. tutoriál 20.2.2016
Na tutoriálu budou probrána následující témata a zpracovány krátké úlohy na ně zaměřené:
• MPLS a jeho aplikace, MPLS QoS.
• BGP-free core.
• Konfigurace MPLS s částečným překrytím VPN.
2. tutoriál 5.3.2016
Na tutoriálu budou probrána následující témata a zpracovány krátké úlohy na ně zaměřené:
• Vzd1álený přístup pomocí L3 VPN.
• Tunelování protokoly GRE, IPSec.
• Dynamické L3 VPN - DMVPN.
• Multipoint IPSec - GDOI.
3. tutoriál 19.3.2016
Na tutoriálu budou probrána následující témata a zpracovány krátké úlohy na ně zaměřené:
• Mechanismy migrace k IPv6.
• 6to4, ISATAP, NAT64.
4. tutoriál 16.4.2016
Na tutoriálu budou probrána následující témata a zpracovány krátké úlohy na ně zaměřené:
• Protokoly pro správu, monitorování a diagnostiku sítí - SNMP, MIB, RMON.
• Netfow. SPAN/RSPAN/VSPAN. NetConf.
5. tutoriál 30.4.2016
Na tutoriálu budou probrána následující témata a zpracovány krátké úlohy na ně zaměřené:
• Centrálně řízené bezdrátové sítě.
• Management rádiové vrstvy, podpora mobility.
• Protokoly CAPWAP, H-REAP.
Studenti před zahájením tutoriálu prostudují doporučené texty k plánovaným tématům včetně
prezentací z přednášek denního studia a připraví si konkrétní dotazy na tutory. Studijní
materiály jsou k dispozici na http://wh.cs.vsb.cz/sps/index.php/TPSWiki:Port%C3%A1l.
Podmínky udělení zápočtu
V průběhu semestru budou studenti řešit úlohy na tutoriálech, za které lze získat až 25 bodů
po úspěšné realizaci laboratorní konfigurace (a ověření jejich porozumění). Studenti rovněž
samostatně zpracovávají technologický referát (doporučovaná témata na WWW stránkách
předmětu, registrace zadání na 2. popř. 3. tutoriálu).
Předmětem referátu je zpracování stručného a výstižného technického popisu přidělené
technologie včetně náznaku konfigurace na zvolené platformě. Předpokládaný rozsah je
cca 5 stran čistého textu. Pozitivně bude hodnoceno případné praktické ověření na
vhodném simulátoru, příp. v laboratoři školy. Vypracované projekty budou zveřejněny,
pro zpracování lze použit šablonu z http://wh.cs.vsb.cz/sps/index.php/%C5%A0ablony. Obsah
referátu bude prezentován na posledním tutoriálu, prezentace bude hodnocena. Referát je
nutno odevzdat elektronickou formou nahráním na k tomu určenou stránku, jež bude dostupná
z Wiki předmětu.
Podmínkou zápočtu je odevzdání technologického referátu, jeho prezentace hodnocená
alespoň 3 body z maxima 5 bodů, ohodnocení vypracování referátu tutorem alespoň 9 body
z maxima 15 bodů a zisk alespoň 8 bodů z laboratorních konfigurací.
Komunikace s tutory
Pro komunikaci s tutorem používejte e-mailovou adresu [email protected].
Podmínky vykonání zkoušky
Zkouška je kombinovaná a skládá se z písemné přípravy na vlastní ústní část zkoušky, kde je
zapotřebí získat alespoň 36 bodů z maxima 55 bodů.
Studijní materiály
Studijní materiály jsou zveřejněny na
http://wh.cs.vsb.cz/sps/index.php/TPSWiki:Port%C3%A1l.
Rozdělení studentů do skupin
TPS/1 skupina LN1IVT01K, obor MOT
1.
2.
3.
4.
5.
6.
7.
8.
9.
10.
11.
12.
13.
♦
BAR944
BOH0042
CEN027
FIL0070
IMR011
HAR0033
MAC0378
MAT092
PAL0086
PRA0044
PRA0071
TOP0012
VOR0036
Barták Tomáš, Bc.
Boháč Daniel, Bc.
Čenčík Matěj, Bc.
Fila Lukáš, Bc.
Imrich Jakub, Bc.
Hartmann Jakub, Bc.
Macek Jiří, Bc. DiS.
Matuszek René, Bc.
Palásek Martin, Bc.
Prášil Jakub, Bc.
Prašivka Robin, Bc.
Topiarz Lukáš, Bc.
Vorba Filip, Bc.
TPS/2 LN1IVT02K a další,
1.
2.
3.
4.
5.
6.
7.
8.
9.
10.
BLA0025
BOU0013
EHL008
HRD058
GLO0016
GAL170
JAW073
MAL0119
PRC0017
SED0042
Blahák Milan, Bc.
Bouška Jaroslav, Bc.
Ehler Petr, Bc.
Hrdina Petr, Bc.
Glozar Michael, Bc.
Galář David, Bc.
Janků Daniel, Bc.
Malek Martin, Bc.
Prchal Aleš, Bc.
Sedláček Jiří, Bc.
NAVY - Nekonvenční algoritmy a výpočty
Anotace: Cílem předmětu je seznámení jeho posluchačků s problematikou nekonvenčních
algoritmů, jejich biologicko – fyzikálním původem. V kurzu se budou probírat jednotlivé
oblasti jejich původu, obvykle z přírodních komplexních systémů s důrazem jejich
matematicko-fyzikálně-algoritmický popis a následné realizace na PC. Předmět dodá
posluchačům mezioborový pohled na problematiku nekonvenčních algoritmů, komplexních
systémů a jejich dynamického chování. Absolvent získá přehled o moderních výpočetních
postupech, umožňujících modelovat a simulovat jinak velmi složité a komplexní systémy
(deterministický chaos, Thomova teorie katastrof, fraktální geometrie, hejnová inteligence,
algoritmy kvantové mechaniky, buněčné automaty, ”physarium machines”, “self-organized
criticality”, ...). Po úspěšném absolvování kurzu bude mít absolvent interdisciplinární
přehledové znalosti z oblasti nekonvenčních algoritmů a bude schopen aplikovat metody
probírané v kurzu na reálné problémy. Absolvent kurzu by měl být schopen dalšího hlubšího
samostudia v této problematice.
Garant předmětu: prof Ing. Ivan Zelinka, Ph.D., EA417, +420 597 325 863
Tutoři: prof. Ing. Ivan Zelinka, Ph.D., EA 417, +420 597 325 863, laboratoře: doc. RNDr.
Petr Šaloun, Ph.D., EA 416, +420 597 325 862
Harmonogram pro akademický rok
1. Tutoriál. Komplexita. Současný stav chápání problematiky komplexních systémů a jejich
klasifikace. Synergetika. Demonstračně-motivační příklady a videa demonstrující výskyt
chování komplexních systémů v každodenním reálném životě. Algoritmy fraktální
geometrie a vizualizace komplexních struktur. Historie, definice fraktálu, základní typy
algoritmů generujících fraktály. Fraktální dimenze, interpolace a komprese. Algoritmy
vývojových systémů a umělý život. L-systémy, želví grafika, parametrické L-systémy,
algoritmizace L-systémů z pohledu fraktální geometrie. Grafický design, umění a fraktální
geometrie.
2. Tutoriál. Algoritmy deterministického chaosu. Historický nástin a klasifikace
dynamických systémů, generujících chaos. Jednoduché modely a ukázkové příklady.
Determinismus a hrana chaosu (podle Kaufmanna).Typické chaotické systémy: Lorenzův
model počasí a podivný atraktor, elektronický systém a problém tří těles (model
dvojhvězda a planeta). Divergence blízkých trajektorií. Determinismus a
nepředpověditelnost. 4. Invarianty chaotického chování. Feigenbaumovy konstanty,
soběpodobnost, U-sekvence, počítače a chaos. Diskrétní dynamické systémy. Základní
jednoduché modely, Poincarého řezy, bifurkace, bifurkační diagram jako celostní pohled
na chování systému, algoritmy a příklady.
3. Tutoriál. Od řádu k chaosu: cesty vedoucí k chaotickému chování. Zdvojení periody,
kvaziperiodičnost, střídavost a krize. Bifurkace a Thomovy katastrofy. Algoritmizace
chaotického chování a metody rekonstrukce. Využití v kryptografických technikách,
řízení chaosu a jeho výskyt v ekonomických systémech. Thomova teorie katastrof a
spojitost s chaotickým chováním. Úvod do problematiky, základní modely a hierarchie
katastrof. Jejich výskyt v dynamice systémů a algoritmy identifikace podle příznaků v
naměřených datech. Příklady výskytu: ekonomické systémy, fyzikální systémy,
mechanické systémy. Algoritmy a komplexní systémy. Komplexní systémy generující
efekt “self-organized criticality” (samo-organizované kritično - SOC), jejich modelování
(modely typu hromada pisku,...) a výskyt v reálných komplexních systémech (evoluce,
zemětřesení, laviny)..
4. Tutoriál. Buněčné automaty (BA) a komplexní systémy. Formalismus BA, dynamika a
klasifikace buněčných automatů podle Wolframa, Conwayova hra života, modelování
pomocí BA. Buněčné automaty a časoprostorový chaos. BA a generování hudby. BA a
řešní složitých problémů. Složité algoritmické chování BA na základě jednoduchých
pravidel. Algoritmy a komplexní sítě. Úvod do problematiky komplexních sítí, metody
vizualizace a algoritmizace jejich dynamiky. Příklady výskytu komplexních sítí (sociální
sítě, dynamika evolučních procesů,...). Vizualizace dynamiky komplexních sítí pomocí
modelů chaotických systémů. Vizualizace dynamiky evolučních technik pomocí
komplexních sítí.
5. Tutoriál. Biologické systémy a jejich matematické modely. Dynamické systémy a LotkaVolterrovy rovnice pro dva koexistující druhy, Lotka-Volterrovy rovnice pro více jak dva
koexistující druhy. Ekologické rovnice zachycující interakci mezi více druhy. Nashova
rovnováha. Evolučně stabilní strategie (evoluční stabilita, populační teorie her),
replikační, adaptivní dynamiky, replikační sítě. Stabilita N koexistujících společenství.
Hejnová inteligence. Hejnové algoritmy, dynamika hejna, příklady hejnových algoritmů,
hejnová robotika, řešení složitých problémů. Physarum jako mechanizmus výpočtu.
Základní principy a struktura physaria. Od reakce-difúzních (automatů) k výpočetním
operacím Physaria. Řízení dynamiky physaria. Experimentování s Physariem.
Membránové výpočty a syntetická biologie. Základní principy, definice a příklady.
Infobiotika jako informace v biotických systémech.
Podmínky udělení zápočtu
Účast na všech tutoriálech je povinná. Před koncem tutoriálů studenti zašlou svému tutorovi
vypracované domácí úkoly. Úkoly budou čitelně a přehledně vypracovány na listech papíru
formátu A4 v připravených protokolech, které budou ke stažení z adresy
http://www.ivanzelinka.eu/hp/NAVY.html kde je odkaz na přesné umístění protokolů
laboratoří: (http://arg.vsb.cz/data/Vyuka/ProtokolyNAVYzip).
Zápočet bude udělen za aktivní účast na tutoriálech, vypracované domácí úkoly a
absolvování písemného testu. Za správně vypracované domácí úkoly (celkem 4) lze získat 45
bodů. Minimální počet bodů k udělení zápočtu je 20.
Podmínky vykonání zkoušky
Zkouška proběhne písemnou formou a bude hodnocena nejvýše 55 body. Podmínkou
úspěšného absolvování předmětu je získání minimálně 51 bodů celkem za zápočet a zkoušku.
Studijní materiály
budou zveřejňovány na http://www.ivanzelinka.eu/hp/NAVY.html
♦
NS – Neuronové sítě
Anotace
Cílem předmětu je seznámit studenty se současnými trendy v oblasti paradigma neuronových
sítí jak z hlediska teoretického, tak z pohledu jejich implementace a použití.
Garant předmětu: prof. Ing. Ivo Vondrák, CSc., A324, kl. 5279
Tutoři: Ing. David Ježek Ph.D., EA406, kl. 5874, [email protected]
Harmonogram pro akademický rok 2015/16 (letní semestr):
tutoriál (19. 02. 2016) – nepovinný. Úvod do umělých neuronových sítí, model umělého
neuronu – perceptron, Hebbovo učení
2. tutoriál (04. 03. 2016) – nepovinný. Vícevrstvé topologie neuronových sítí, parametrický
perceptron, učení metodou backpropagation – úvod
3. tutoriál (18. 03. 2016) – nepovinný. Učení metodou backpropagation – pokračování,
aplikace neuronových sítí v praxi, konstrukce trénovacích množin, parametrická
backpropagation
4. tutoriál (15. 04. 2016) – nepovinný. Učení bez učitele, samoorganizace, Kohonenovy
mapy, LVQ modely. Pokročilé modely neuronových sítí, Hopfieldovy sítě, Adaptivní
rezonanční teorie
1.
Podmínky udělení zápočtu
Vypracování zadaného domácího úkolu.
Podmínky vykonání zkoušky
Zvládnutí látky probírané na tutoriálech. Zkušební okruhy odpovídají látce probrané na
tutoriálu. Ověření bude probíhat formou písemné zkoušky.
Studijní materiály
budou zveřejňovány na http://swi.cs.vsb.cz/jezek/student-information/ns.html a
http://vondrak.cs.vsb.cz/download.html
♦
OSMZ - Operační systémy mobilních zařízení
Anotace:
Vytváření aplikací pomocí programovacích jazyků Java a C# je sice velmi pohodlné, ale v
mnoha případech není příliš efektivní. Jde zejména o tvorbu aplikací nebo jejích částí, které
vyžadují extrémní výpočetní výkon nebo velmi intenzívně spolupracují s periferními
zařízeními. V takovýchto případech lze mnohem lepších výsledků dosáhnout pomocí
programovacích jazyků C/C++. Důraz je kladen také na vnitřní architekturu operačních
systému v mobilních a embedded zařízeních (Android, Windows CE, Linux, Bada, Symbian).
Garant předmětu: Mgr. Ing. Michal Krumnikl, Ph.D., [email protected], EA-409,
tel. +420 59 732 5867
Tutor: Mgr. Ing. Michal Krumnikl, Ph.D., [email protected], EA-409
Harmonogram pro akademický rok 2015/16 (letní semestr):
1. Tutoriál 19.2.2016 – povinný
Organizace studia, podmínky absolvování předmětu, zadání semestrálních projektů.
Architektura operačního systému; procesy, vlákna, správa paměti; přístup ke sdíleným
prostředkům, charakteristiky operačních systémů pro mobilní zařízení.
2. Tutoriál 4.3.2016 – povinný
Procesy a plánovače, IPC, synchronizace, Linux, Android,
Vývojové nástroje pro Android - SDK a NDK, Java Native Interface
3. Tutoriál 18.3.2016 – nepovinný
Správa paměti, virtuální paměť
Ukázka interoperability Java/C++ v prostředí Androidu
4. Tutoriál 15.4.2016 – povinný
Souborové systémy (FAT, EXT2/3/4, JFFS)
Síťová komunikace a distribuované systémy
5. Tutoriál 29.4.2016 – nepovinný
Architektura OS Androidu, struktura systému
6. Tutoriál 13.5.2016 – povinný
Další mobilní OS - iOS, Windows Phone
Uživatelská rozhraní a jejich tvorba.
Odevzdávání semestrálních projektů.
Podmínky udělení zápočtu
1.
2.
3.
Semestrální projekt (35b - povinné, min. 18b) – Android NDK aplikace.
Vytvořte aplikaci, kombinující kódy napsané v Javě (SDK) a C/C++ (NDK). Aplikaci
zvolte tak, abyste na ni mohli ilustrovat akceleraci vykonávání kódu při použití NDK.
Změřte dobu vykonávání kódu v Javě a C++ a výsledky přehledně zobrazte.
Prezentace (10b - volitelné)
Vytvořte prezentaci v PowerPointu (min. 10 slidů) nebo krátký odborný text (min. 3
str. A4) na téma možnosti využití NDK, architektury ARM, přístupu k periferiím
apod.
Pro udělení zápočtu je nutno získat min. 23b.
Podmínky vykonání zkoušky
Písemná zkouška (55b, min. 28 bodů)
Zkouška je zaměřené na teoretické znalosti z oblasti architektury operačních systémů
s důrazem na OS Androidu.
Studijní materiály
budou zveřejňovány na http://osmz.mrl.cz/
Doporučená literatura
•
Tannenbaum, A. S., Operating Systems: Design and Implementation (Prentice-Hall
Software Series) - https://poli.cs.vsb.cz/edu/osy/pdf.auth/Tanenbaum-OSY-DI.pdf
•
Ableson, F., Collins, C., Sen, R.: Unlocking Android: A Developer's Guide,
Manning Publications, 2009, ISBN 1933988673
•
Yaghmour, K.: Embedded Android: Porting, Extending, and Customizing, O'Reilly
Media, 2013, ISBN 1449308295
♦
MAV – Modelování a verifikace
Anotace: Problém korektnosti, tedy problém ověření (neboli verifikace), že daný počítačový
(hardwarový a/nebo softwarový) systém má skutečně vlastnosti, které jsou požadovány jeho
specifikací, patří mezi fundamentální praktické i teoretické problémy v oblasti informatiky.
Neustálý rozvoj informačních technologií vede k vytváření stále složitějších systémů, a tak
nejen výzkumná, ale i průmyslová praxe se neobejde bez solidně vybudovaných verifikačních
postupů. Jako jedna třída prakticky úspěšných metod se v devadesátých letech dvacátého
století etablovala automatická verifikace zahrnující i tzv. „ověření modelu“ (model checking);
testovaná vlastnost systému se přitom vyjádří např. v jednoduché temporální logice a ověřuje
se (polo)automatickými metodami na modelu systému. Účelem kursu je vysvětlení základních
principů této (automatické) verifikace a zároveň demonstrace této verifikace na modelech
konkrétních praktických problémů, pro něž jsou vhodné volně dostupné softwarové
verifikační nástroje.
Garant předmětu: Ing. Martin Kot, Ph.D., kancelář EA413, tel. 5873, email
[email protected]
Tutor: Ing. Martin Kot, Ph.D., kancelář EA413, tel. 5873, email [email protected]
Harmonogram pro akademický rok 2015/16 (letní semestr):
1. tutoriál (20.2.2016) – nepovinný Úvod do formální verifikace. Ohodnocené
přechodové systémy. Syntaxe a sémantika CCS (kalkulu komunikujících systémů)
(kapitoly 1 a 2 z knihy Reactive Systems). Samostatná práce do příštího tutoriálu –
vyřešit si příklady z cvičení 1 a 2 (soubory tut01.pdf a tut02.pdf).
2. tutoriál (5.3.2016) – nepovinný Diskuse řešení minule zadaných příkladů. Behaviorální
ekvivalence – silná a slabá bisimilarita (kapitola 3). Samostatná práce do příštího tutoriálu
– vyřešit si příklady z cvičení 3 a 4 (soubory tut03.pdf a tut04.pdf).
3. tutoriál (19.3.2016) – nepovinný Diskuse řešení minule zadaných příkladů. HennessyMilner logika, vztah Hennessy-Milner logiky a bisimulační ekvivalence, Hennessy-Milner logika
s rekurzí (kapitoly 4-6). Samostatná práce do příštího tutoriálu – vyřešit si příklady z cvičení
5 a 6 (soubory tut05.pdf a tut06.pdf) a seznámit se s nástrojem SPIN a jeho modelovacím
jazykem PROMELA..
4. tutoriál (2.4.2016) – povinný Vypracování první samostatné úlohy s pomocí tutora.
Půjde o namodelování zadaného systému ve verifikačním nástroji SPIN pomocí jeho
modelovacího jazyka PROMELA a zjištění zadaných otázek za pomocí dotazů v LTL
logice. Písemnou zprávu o tomto řešení studenti vypracují samostatně a odevzdají emailem spolu s modelem v jazyce PROMELA a LTL formulemi.
5. tutoriál (30.4.2016) – nepovinný Ohodnocené přechodové systémy s časem, časované
automaty, sítě časovaných automatů, ověřování modelů na časovaných automatech
(kapitoly 8-11). Samostatná práce do příštího tutoriálu – vyřešit si příklady z cvičení 7 a 8
(soubory tut07.pdf a tut08.pdf) a seznámit se s nástrojem UPPAAL.
6. tutoriál (14.5.2016) – povinný Diskuse řešení minule zadaných příkladů. Vypracování
druhé samostatné úlohy s pomocí tutora. Půjde o namodelování zadaného systému ve
verifikačním nástroji Uppaal ve formě sítí časovaných automatů a zjištění zadaných
otázek za pomocí dotazů v LTL logice. Písemnou zprávu o tomto řešení studenti vypracují
sami a odevzdají e-mailem spolu s Uppaal modelem a LTL formulemi.
Podmínky udělení zápočtu
Studenti budou na 4. a 6. tutoriálu řešit s pomocí tutora dvě samostatné úlohy. První úloha
bude spočívat v namodelování zadaného systému v nástroji SPIN a zjištění požadovaných
otázek na tomto modelu. Druhá úloha bude podobného typu za použití nástroje UPPAAL.
K oběma úlohám studenti zpracují i stručnou písemnou zprávu popisující jejich řešení.
Konkrétní zadání specifikuje tutor na příslušném tutoriálu, který bude úloze věnován. Každá
úloha může být ohodnocena až 15 body. Hodnocení je 0 bodů (úloha neuznána) nebo 10–15
bodů (úloha uznána, body mezi 10-15 podle kvality řešení úlohy a písemné zprávy).
Podmínkou získání zápočtu je nenulový počet bodů aspoň z jedné samostatné úlohy.
Podmínky vykonání zkoušky
Zkouška je ústní. Student obdrží příklad podobný některému příkladu označenému
hvězdičkou v zadání tutoriálů a teoretickou otázku odpovídající některé v předmětu
probírané oblasti. Během 25 minut si připraví student řešení zadaného příkladu a ústní
prezentaci na téma zadané teoretické otázky. Poté u tabule prezentuje ústně řešení příkladu a
předvede svou připravenou prezentaci.
Studijní materiály
Předmět je inspirován podobnými kurzy probíhajícími na více než 15 různých světových
univerzitách a společně s nimi je vyučován podle knihy:
Luca Aceto, Anna Ingólfsdóttir, Kim G. Larsen and Jiří Srba: Reactive Systems: Modelling,
Specification and Verification. Cambridge University Press, August 2007
Kniha má dvě části, první se věnuje kalkulu komunikujících systémů a je dostupná online na
http://www.cs.ioc.ee/yik/schools/win2007/ingolfsdottir/sv-book-part1.pdf
Druhá část je věnována verifikaci real-time systémů. Tuto část, která není dostupná online, je
také možno nahradit studiem článku
Johan Bengtsson, Wang Yi: Timed Automata: Semantics, Algorithms and Tools, ACPN
2003, LNCS 3098, pp. 87–124, Springer-Verlag Berlin Heidelberg 2004 dostupným na
http://www.win.tue.nl/~pcuijper/docs/QEES/TA/timed-automata-intro.pdf
Prakticky se v předmětu studenti seznámí s následujícími verifikačními nástroji:
(Návod
k použití
je
dostupný
- Uppaal
http://uppaal.org/
http://www.it.uu.se/research/group/darts/papers/texts/new-tutorial.pdf)
- SPIN
http://spinroot.com/spin/whatispin.html
(Návod
dostupný
http://spinroot.com/spin/Man/Manual.html)
Prezentace k přednáškám a zadání příkladů na cvičení jsou dostupné na:
http://www.cs.vsb.cz/kot/?show=MAV&lang=cz&subpage=MAVdown
♦
na
na
TSK - Testování a softwarová kvalita
Anotace
Předmět se zabývá problematikou testování softwaru a zajištění kvality v průběhu celého
životního cyklu vývoje softwaru. Studenti získají znalosti o jednotlivých úrovních testování a
technikách, které se v těchto úrovních používají, způsobech vyhodnocení kvality softwaru a
samotných testů. Nedílnou součástí je také začlenění těchto činností do procesu testování,
který je součástí celého životního cyklu vývoje softwaru. Dále studenti získají znalosti o
postupech zajištění kvality softwaru. Tato disciplína je velice úzce spojena a intenzivně
využívá testování softwaru. Předmět se zaměří na samotný proces zajištění kvality a jeho
začlenění do životního cyklu vývoje softwaru, verifikaci a validaci.
Garant předmětu: prof. Ing. Ivo Vondrák, CSc., A324, kl. 5279
Tutoři: Ing. David Ježek, Ph.D., [email protected] (EA406, tel.:5874)
Harmonogram pro akademický rok 2015/16 (letní semestr):
1. tutoriál (19. 02. 2016) – nepovinný. Testování software, proč je testování důležité,
terminologie. Testování z pohledu norem (ISO 9001, CMM, CMMI, ISO SPICE, ISO
12207), testování z pohledu životního cyklu, priority testování. Opakované testování,
regresní testy, nastavování priorit testovacím případům.
2. tutoriál (04. 03. 2016) – nepovinný. Typy modelů pro testování, ekonomický pohled na
testování, testovací plán. Testování komponent, integrační testování komponent.
3. tutoriál (18. 03. 2016) – nepovinný. Testování systému (funkční, nefunkční), integrační
testování systému. Akceptační testování, testy pro údržbu systému. Zátěžové testy.
Praktické předvedení nástrojů pro testování od firmy IBM.
4. tutoriál (02. 04. 2016) – nepovinný. (PC učebna) Seznámení s nástrojem IBM Functional
Tester
5. tutoriál (15. 04. 2016) – nepovinný. Revize a testovací proces, typy revizí, statická
analýza. Dynamické techniky testování, testování metodou „black box“ a „white box“,
testování větvení algoritmu, testovací data.
6. tutoriál (29. 04. 2016) – nepovinný. Organizační struktura pro testování, konfigurační
management, odhad rozsahu testů, monitorování a řízení testů. Standardy pro testy,
testovací nástroje a jejich klasifikace.
7. tutoriál (13. 05. 2016) – nepovinný. (PC učebna) Seznámení s nástrojem IBM
Performance Tester.
Podmínky udělení zápočtu
Student musí vypracovat testy softwaru během tutoriálu 4. a 7., které bude ohodnocen
minimálně 20 body ze 40.
Podmínky vykonání zkoušky
Zkouška bude probíhat písemnou formou. Student musí získat minimálně 30 bodů z 60, aby
úspěšně absolvoval zkoušku.
Studijní materiály
budou zveřejňovány na http://swi.cs.vsb.cz/jezek/student-information/tsk.html
♦
MAD II – Metody analýzy dat II
Anotace: V předmětu se studenti obeznámí s pokročilejší algoritmy pro analýzu vlastností
dat, dolování znalostí, analýzu sítí a zobrazování dat. Přednášky se budou věnovat
teoretickému popisu jednotlivých algoritmů pro jednotlivé úlohy analýzy dat a to tak, aby
byly studenti schopni sami rozhodnout, kdy je která metod vhodná, jaké má předpoklady, jaký
je její princip a jaké výstupy s ní lze získat. Cvičení pak poslouží pro praktické experimenty
nad vhodnými datovými sadami, experimentování s nástroji pro analýzu dat a zhodnocení
výsledků.
Garant předmětu: doc. Ing. Jan Platoš, Ph.D. EA433, tel. 5890, [email protected]
Tutoři:
doc. Ing. Jan Platoš, Ph.D., EA433, tel. 5890, [email protected]
doc. Mgr. Miloš Kudělka, Ph.D., EA439, tel. 5877, [email protected]
Harmonogram pro akademický rok:
1. tutorial – 19.2.2016 9:00, EC1
Na tomto tutoriálu se studenti seznámí se základními nástroji a frameworky pro analýzu
dat a to jak vektorových tak i síťových. Většina tutoriálu bude věnována problematice
hledání vzorů a pravidel v datech. Budou definovány jak teoretické tak i praktické aspekty
této problematiky, které budou doprovozeny řadou příkladů. Budou uvedeny i algoritmy
používané pro hledání vzorů a pravidel v datech.
2. tutorial - 18.3.2016 15:00, EC1
Tento tutoriál bude zaměřen na shlukování dat. Bude definováno reprezentativní
shlukování a hierarchické shlukování i s používanými algoritmy pro nalezení shluků. Dále
bude diskutována problematika měření vzdálenosti/podobnosti mezi objekty, metriky,
efektivní přístupy pro hledání shluků a vhodné přístupy.
3. tutorial – 15.4.2016 15:00, EC1
Tento tutoriál bude věnován shlukování založeném na měření hustoty a používaným
algoritmům. Zbylá část tutoriálu bude věnována metrikám pro ohodnocení shluků a
měření jejich kvality.
4. tutorial – 29.4.2016 15:00, EC1
Tento tutoriál bude zaměřen na maticové algoritmy pro zpracování grafových/síťových
dat. Algoritmy budou zahrnovat využití Hlavního vlastního čísla a vektory, Power metodu
pro jeho výpočet, Eigenvector centralitu, efektivní algoritmy pro výpočet vlastních čísel a
vektorů a využíti grafového Laplacianu.
5. tutorial – 13.5.2016 15:00, EC1
Na tomto tutoriál budou diskutovány metody detekce komunit globálními a strukturálními
přístupy shora dolů jako je metoda minimálního řezu, spektrální rozklad, metody založené
na klikách a jiné. Dále budou diskutovány metody pro detekci komunit metodami zdola
nahoru a to zejména s využitím lokálních vlastností s využitím semínek komunit, principů
lokální expanze, funkce příslušnosti ke komunitě a překryvů mezi komunitami. V poslední
řadě budou zmíněny vizualizace pro vektorová i síťová data.
Úkoly:
Úkolem hodnoceným v rámci předmětu se rozumí vypracování zprávy o provedeném
experimentu nad zvoleným datasetem a zvolenou metodou. Volba datasetu a metody
podlého schválení Garantem předmětu pomocí emailové komunikace.
Úkol 1: odevzdání do 29. 5. 2016, Hodnocení 0-25 bodů
Hledání pravidel nebo vzorů v datech.
Úkol 2: odevzdání do 29. 5. 2016, Hodnocení 0-25 bodů
Shlukování pomocí reprezentantů nebo hierarchické shlukování.
Úkol 3: odevzdání do 29. 5. 2016, Hodnocení 0-25 bodů
Shlukování na základě hustoty dat.
Úkol 4: odevzdání do 29. 5. 2016, Hodnocení 0-25 bodů
Analýza sociální sítě s využitím maticových algoritmů nebo vyhledání komunit.
Podmínky udělení zápočtu
Pro získání zápočtu bude třeba realizovat 4 úlohy. Cílem těchto úloh je ověřit, že studenti
pochopili probíranou látku a jsou schopni tyto znalosti aplikovat v praxi nad testovacími
nebo reálnými daty. Zadání úloh je specifikováno výše.
Podmínky vykonání zkoušky
Předmět je ukončen klasifikovaným zápočtem. Zkouška se neprovádí.
Studijní materiály
http://homel.vsb.cz/~pla06/
♦
PES II – Petriho sítě II
Anotace
Cílem je podat základní informaci o praktických možnostech Petriho sítí vysoké úrovně
(HLPN - High Level Petri Nets) při specifikaci, modelování a analýze složitých
distribuovaných systémů s paralelními procesy. Výklad je zaměřen na dnes nejrozšířenější
variantu HLPN - barevné Petriho sítě (CPN - Coloured Petri Nets) podle K. Jensena.
Garant předmětu: prof. RNDr. Petr Jančar, CSc.
Tutoři: prof. RNDr. Petr Jančar, CSc. (EA 414, 5969), Ing. Martin Šurkovský (EA 404,
5879)
Harmonogram pro akademický rok 2015/16 (letní semestr):
1. Tutoriál (20. 2. 2016, 9.45 – 11.30, EB405) – nepovinný. Seznámení s barevnými Petriho
sítěmi, úvod do jazyka CPN ML a nástroje CPN Tools.
2. Tutoriál (5. 3. 2016, 9.45 – 11.30, EB405) – nepovinný. Stavový prostor a vlastnosti
systémů z hlediska jejich chování. Analýza modelů vytvořených v CPN Tools.
3. Tutoriál (19. 3. 2016, 9.45 – 11.30, EB405) – nepovinný. Úvod do formalismu
časovaných barevných Petriho sítí. Modelování časových sítí v nástroji CPN Tools.
5. Tutoriál (16. 4. 2016, 9.45 – 11.30, EB405) – nepovinný. Analýza výkonnosti založená na
simulaci (Simulation-based Performance Analysis).
7. Tutoriál (14.5. 2016, 9.45 – 11.30, EB405) – nepovinný. V tutoriálu budou shrnuta a
doplněna předchozí témata; také budou shrnuty požadavky ke zkoušce. V týdnu tohoto
tutoriálu také proběhnou prezentace zápočtových úloh a příslušný zápočtový test.
Podmínky udělení zápočtu
Základem udělení zápočtu je vypracování přidělené úlohy spočívající v namodelování
popsaného systému v nástroji CPN tools a analýze jeho relevantních vlastností. Ohodnocení
je max. 20 bodů, nutné minimum je 10 bodů. Vyřešenou úlohu je nutné odevzdat nejpozději
v průběhu zápočtového týdnu. Při odevzdání vyřešené úlohy proběhne také praktický test
znalosti CPN Tools za 15 bodů, přičemž nutné minimum je 5 bodů.
Podmínky vykonání zkoušky
Zkouška proběhne písemnou formou, maximální bodové hodnocení je 65 bodů. Obsahem
budou konstrukční příklady a prověření znalosti základních pojmů barevných Petriho sítí.
Studijní materiály
Základním studijním materiálem je kniha Kurt Jensen, Lars M. Kristensen: Coloured
Petri Nets (Modelling and validation of concurrent systems). Springer 2009. (Kniha je
přístupná pro posluchače z domény VŠB-TU např. přes odkaz na elektronické zdroje ze
stránek knihovny VŠB-TU.)
♦
MADIV - Metody analýzy dat IV
Anotace: Při řešení výzkumných i praktických úloh vzniká často problém s vyhodnocením a
interpretací informací, které poskytují naměřená či evidovaná data z praxe. V předmětu se
studenti seznámí se pokročilými přístupy, metodami z oblasti strojového učení, dolování dat a
analýzy sítí.
Garant předmětu: prof. RNDr. Václav Snášel, CSc., EA510, 6000, [email protected]
Tutoři: Ing. Michal Prilepok, [email protected]
Harmonogram pro akademický rok:
1.
tutoriál: 19. 2. 2016 16:45-18:15 EB406
Tento tutoriál bude věnován problematice strojového učení a bayesovským sítím jako
pokročilejšímu metodě strojového učení.
2.
tutoriál: 4. 3. 2016 16:45-18:15 EB406
Tento tutoriál bude věnován problematice zvýšení defektivity učících algoritmů pomocí
technik jako je reinforcement learning, bagging, boosting, stacking apod.
3.
tutoriál: 18. 3. 2016 16:45-18:15 EB406
Tento tutoriál bude věnován heterogenním sítím a problematice rankingu v sítích.
4.
tutoriál: 15. 4. 2016 16:45-18:15 EB406
Tento tutoriál bude věnován analýze tenzorových dat a grafovým databázím.
Podmínky udělení zápočtu
Zápočet bude udělen za vypracování projektu, který bude zadán v průběhu tutoriálů.
Podmínky vykonání zkoušky
Předmět je ukončen klasifikovaným zápočtem.
Studijní materiály
Materiály budou uvedeny na stránkách garanta/tutora.
♦
SUS – Správa unixových systémů
Anotace: V předmětu jsou probrány základní vlastnosti operačního systému GNU/Linux.
Student si osvojí všechny schopnosti nutné k pokročilé správě operačního systému
GNU/Linux. Velká část výuky bude zaměřena na seznámení s možnostmi konfigurace
síťových služeb, které jsou servery na této platforma nejčastěji poskytovány.
Garant předmětu: Ing.David Seidl, Ph.D., tel: 597 325 872, email: [email protected]
Pro práci ve cvičení je nutné vlastnit jakýkoli USB flash disk o volné kapacitě alespoň
2GB, případně vlastní Notebook s nainstalovaným Virtualboxem. Nativní instalace OS
Linux není nutná.
Harmonogram pro akademický rok: 2015/2016
1. Tutoriál (19.2.2016) Pro první tutoriál je nutné seznámit se s virtualizačním prostředím
Virtualbox (www.virtualbox.org). Před začátkem tutoriálu je vhodné si toto prostředí
nainstalovat na vlastní počítač. Dále je nutné do virtualizovaného počítače nainstalovat
aktuální 32bitovou verzi OS GNU/Debian dostupnou na www.debian.org. Na tutoriál je
nutné přinést si vlastní notebook nebo soubor s virtualizovaným PC. Splnění tohoto
požadavku bude hodnoceno 7body.
Náplní tutoriálu bude základní seznámení s OS Linux a prací v příkazovém řádku. Dalším
tématem bude spuštění a konfigurace LAMP serveru.
Úkolem studentů do příštího tutoriálu bude instalace LAMP serveru na virtualizované
PC, zprovoznění virtuálních webů a utility phpmyadmin. Úkol bude hodnocen maximálně
10 body.
2. Tutoriál (4.3.2016) Hlavním tématem druhého tutoriálu bude zprovoznění služby
elektronické pošty pomocí služby Postfix a Dovecot.
Úkolem studentů bude do příštího tutoriálu zprovoznit na svém virtualizovaném serveru
službu postfix a nakonfigurovat ji tak, aby umožňovala lokální doručování „Maildir“ do
domovských adresářů. Dalším úkolem bude zprovoznit IMAP a POP3 server Dovecot pro
vyzvedávání lokální pošty. Úkol bude hodnocen maximálně 15body.
3. Tutoriál (18.3.2016) Třetí tutoriál bude úzce navazovat na tutoriál druhý. Tématicky se
zaměří na zabezpečení elektronické pošty pomocí SSL. Dále na antispamovou ochranu.
Úkol do příštího tutoriálu bude nakonfigurovat služby SMTPs, IMAPs a POP3s. Umožnit
ověření uživatelů SMTP serveru pomocí jména a hesla. Poslední část bude zajištění
antispamové kontroly emailů. Úkol bude hodnocen maximálně 15body.
4. Tutoriál (v a.r. 15/16 tento tutoriál neproběhne) Náplní čtvrtého tutoriálu bude
zprovoznění webového rozhraní pro poštovní server a dále zprovoznění systému
zálohování.
5. Tutoriál (15.4.2016) Páty tutoriál bude věnován pouze závěrečnému testu, jeho náplní
bude instalace kompletního poštovního serveru a konfigurace služeb SMTP(s), POP3(s) a
IMAP(s), dále konfigurace ověřování uživatelů SMTP serveru pomocí jména a hesla.
Nastavení webového rozhraní pro server. Maximální zisk bodů ze závěrečného testu bude
53.
Podmínky udělení zápočtu
Pro udělení zápočtu je nutné získat minimálně 30bodů z jednotlivých tutoriálů a 30 bodů ze
závěrečného testu.
Podmínky vykonání zkoušky
Předmět je ukončen klasifikovaným zápočtem.
WWW stránky předmětu
http://seidl.cs.vsb.cz/wiki/index.php/SUS
Studijní materiály
Debian
http://www.debian.org/
Apache2
http://httpd.apache.org/
PhpMyAdmin http://www.phpmyadmin.net
Postfix
http://www.postfix.org/
Dovecot
http://www.dovecot.org/
Spamassassin http://spamassassin.apache.org/
RoundCube http://roundcube.net/
♦
PA2 – Paralelní algoritmy 2
Anotace: Předmět je určen pro studenty navazujícího kombinovaného studia informatiky.
Cílem předmětu je doplnit a rozšířit témata, se kterými se mohl posluchač seznámit v
předmětu Paralelní algoritmy I (PAI). Vzhledem k charakteru a účelu předmětu se bude jednat
o témata, která budou ilustrovat využití grafických procesorů (GPU) pro řešení
algoritmických úloh. Studenti budou blíže seznámeni s existujícími architekturami GPU a
frameworky pro paralelní programování. S ohledem na skutečnost, že na VŠB vzniklo
centrum nVidia Research, bude blíže vysvětlována architektura nVidia CUDA. Jedním z cílů
je předat posluchačům znalosti, které mohou využít při řešení praktických úloh ať už v rámci
magisterských prací či grantových projektů realizovaných na VŠB. Získané znalosti a
vědomosti: - orientace v základní architektuře grafických procesorů (GPU) - znalost
softwarové architektury paralelního programu, štěpení úlohy do gridů, bloků, vláken - znalost
vybraného frameworku pro paralelní programování na GPU - pochopení problematiky
algoritmizace, převod sériových úloh na paralelní - posouzení distribuce paralelní úlohy na
více GPU, clusterů - zvládnutí implementace praktické úlohy zpracování dat
Garant předmětu: Ing. Petr Gajdoš, Ph.D., kat. 460, tel. 597 325 893, místnost EA438,
http://www.cs.vsb.cz/gajdos
Tutoři: Petr Gajdoš
Harmonogram pro akademický rok:
1.
tutoriál – nepovinný - Úvod do programování grafických karet
První tutoriál seznamuje se základními pojmy technologie CUDA a nástroji potřebnými k
vytvoření a ladění CUDA aplikací. Budou demonstrovány jednoduché příklady využití této
technologie. Bude představeno několik základních pravidel pro správnou konstrukci aplikace
pro GPU. Po přečtení referenčních kapitolách by se měl student seznámit se základním
konceptem programování na GPU, by měl pochopit všechny nezbytné kroky k využití CUDA
API a nakonec porozumět všem technickým záležitostem (inicializaci zařízení, volání funkce
jádra, nastavení -up paměti zařízení, atd.)
2. tutoriál – nepovinný - Základy CUDA
Tento výukový program přinese komplexní přehled o CUDA architektuře; klíčové části GPU
a jejich využití, uspořádání pamětí, nastavení programu, apod. Důraz bude kladen na design
CUDA jader, vhodné využití GPU pamětí a bariér pro synchronizací vláken.
3. tutoriál – nepovinný – Principy designu paralelního algoritmu
V tomto kurzu budeme poskytovat některé tipy na zlepšení CUDA aplikace a některé vhodné
techniky pro komunikaci mezi CUDA a OpenGL. Poté budou představeny pokročilejší
techniky (sdílení vyrovnávací paměť, vertex pole objektů, apod.).Výkon GPU bude ilustrován
na experimentálních datech.
4. tutoriál – nepovinný - Optimalizace
Tento kurz je zaměřen na optimalizačních techniky, které jsou založeny na správném
provedení a uspořádání dat, přesném rozvržení výkonu na jádra, jakož i na využití více GPU.
Rovněž budou představeny CUDA streamy a budou diskutovány úrovně (např. paralelismus
na úrovni dat vs na úrovni instrukcí). Student se naučí používat asynchronní přenos dat a
urychlit výkon aplikací.
5. tutoriál – nepovinný – Podpůrné knihovny
Tento kurz je zaměřen na CUBLAS knihovnu. Bude zavedeno několik případových studií pro
demonstraci výkonu této BLAS knihovny.
Změny v tématech a náplni jednotlivých tutoriálů jsou vyhrazeny a budou případně upřesněny
na webu předmětu.
Podmínky udělení klasifikovaného zápočtu
Předmět byl navržen tak, aby studenti měli možnost volného výběru vlastního projektu
z oblasti programování na GPU. Závěrečný projekt by měl být složen z individuálních
kompilací malých částí, tj. z řešení nezávislých dílčích úkolů; Např. Studenti se seznámí s
paralelním redukcí, budou ji používat v hledání nejlepších fitness hodnoty, a nakonec tuto
metodu začlení do jediného konečného řešení konkrétního bio-inspirované metody.
Podmínkou udělení zápočtu je vypracování vybraných úkolů týkajících se programování na
GPU dle jednotlivých tutoriálů a jejich integrace do finální aplikace. Předpokládá se, že
spojením řešení jednotlivých úkolů vznikne fungující celek. Řešení úkolů bude individuálně
konzultováno a kontrolováno v průběhu semestru.
Hodnotit se bude především kvalita výsledného řešení z pohledu programování na GPU.
Součástí odevzdání je osobní prezentace dosaženého výsledku a zodpovězení souvisejících
dotazů.
Odevzdání zápočtové práce
• Práce bude odevzdána ve formě ZIP souboru, který bude obsahovat vše potřebné ke
spuštění aplikace
• Takto vytvořený ZIP soubor bude nazván podle loginu studenta (abc123.zip) a bude
doručen odpovídající formou tutorovi. Formu doručení zvolí student na základě
velikosti odevzdávaného balíčku.
Studijní materiály
Budou zveřejňovány na www.cs.vsb.cz/gajdos.
♦
ZPE - Základy podnikové ekonomiky
Anotace: Jde o průřezový předmět, který studentům poskytuje základní teoretické znalosti o
podnikové ekonomice. Studenti v tomto předmětu získávají poznatky o založení, vzniku,
fungování a zániku podniku. Studenti se rovněž průřezově seznamují s jednotlivými
podnikovými činnostmi. Ve výkladu je podtržen ekonomický aspekt dané problematiky a
silný důraz je kladen na to, aby si studenti osvojili odbornou terminologii.
Garant předmětu: doc. Dr. Ing. Pavel Blecharz (A 508, Sokolská třída 33, 597 322 233,
[email protected]
Tutoři: Dr.Ing. Zuzana Čvančarová (A 512 Sokolská třída 33, 596 992 273
[email protected] ), Ing. Zuzana Wozniaková, Ph.D. (A 510, Sokolská třída 33,
597 322 162, [email protected] )
Následující informace nebyly dodány, kontaktujte tutory.
Harmonogram pro akademický rok 2015/16 (letní semestr):
1. Tutoriál 4. 3. 2016
Náplň tutoriálu:
- pojetí podnikové ekonomiky a vymezení základních pojmů,
- majetková a kapitálová struktura v teorii i příkladech.
- Zadání příkladů budou k dispozici v Learning Moodle System.
- Skripta Základy podnikové ekonomiky budou Learning Moodle System.
2. Tutoriál 19. 3. 2016
Náplň tutoriálu:
- efektivnost podniku a její základní kategorie v teorii i příkladech,
- výrobní procesy v podniku (výroba, kapacity) v teorii i příkladech.
- Zadání příkladů budou k dispozici v Learning Moodle System.
- Skripta Základy podnikové ekonomiky budou Learning Moodle System.
3. Tutoriál 16. 4. 2016
Náplň tutoriálu:
- organizace a organizační struktury podniku,
- oběžný majetek v teorii i příkladech.
- Zadání příkladů budou k dispozici v Learning Moodle System.
- Skripta Základy podnikové ekonomiky budou Learning Moodle System.
Podmínky udělení zápočtu
Písemný test z příkladů; minimální počet bodů pro splnění zápočtu je 16, maximální počet
bodů je 30.
Podmínky vykonání zkoušky
Zkouška písemná; minimální počet bodů pro splnění zkoušky je 35, maximální počet bodů je
70.
Studijní materiály
♦
Zadání příkladů budou k dispozici v Learning Moodle System.
Skripta Základy podnikové ekonomiky budou Learning Moodle System.