NSEN
Softwarové inženýrství
Specializace zaměřená na softwarové inženýrství, vývoj a testování software.
Seznam okruhů
1
2 materiálůArchitektura superskalárních procesorů, zpracování instrukcí mimo pořadí, řešení datových a řídících konfliktů, predikce skoků.
2
2 materiálůPaměťová konzistence a předbíhání operací čtení a zápisu, podpora virtuálního adresového prostoru.
3
1 materiálůDatový paralelismus SIMD a SIMT, jejich HW implementace a SW podpora na CPU a GPU.
4
2 materiálůArchitektury se sdílenou pamětí UMA a NUMA, zajištění lokality dat, protokoly koherence pamětí cache.
5
1 materiálůParalelní zpracování v OpenMP: Smyčky, sekce, tasky a synchronizační prostředky.
6
4 materiálůLambda kalkul (definice všech pojmů, operací...).
7
2 materiálůPráce v lambda kalkulu (demonstrace reprezentace čísel a pravdivostních hodnot a operací nad nimi).
8
2 materiálůHaskell - lazy evaluation (typy v jazyce včetně akcí, uživatelské typy, význam typových tříd, demonstrace lazy evaluation).
9
2 materiálůProlog - způsob vyhodnocení (základní princip, unifikace, chování vestavěných predikátů, operátor řezu - vhodné a nevhodné užití).
10
2 materiálůProlog - změna DB/programu za běhu (demonstrace na prohledávání stavového prostoru, práce se seznamy).
11
3 materiálůDistribuované a paralelní algoritmy - algoritmy řazení, select, algoritmy vyhledávání.
12
2 materiálůModel PRAM, suma prefixů a její aplikace.
13
2 materiálůDistribuované a paralelní algoritmy - algoritmy nad seznamy, stromy a grafy.
14
1 materiálůInterakce mezi procesy a typické problémy paralelismu (synchronizační a komunikační mechanismy).
15
1 materiálůDistribuovaný konsensus, broadcast, vzájemné vyloučení. Knihovna MPI.
16
2 materiálůProblém generalizace strojového učení a přístup k jeho řešení (trénovací, validační a testovací sada, regularizace, předtrénování, multi-task learning, augmentace dat, dropout, ...).
17
2 materiálůGenerativní modely a diskriminativní přístup ke klasifikaci (gaussovský klasifikátor, logistická regrese, ...).
18
2 materiálůNeuronové sítě a jejich trénování (metoda gradientního sestupu, účelová (loss) funkce, výpočetní graf, aktivační funkce, zápis pomocí maticového násobení, ...).
19
3 materiálůNeuronové sítě pro strukturovaná data (konvoluční a rekurentní sítě, motivace, základní vlastnosti, použití).
20
5 materiálůProhledávání stavového prostoru (informované a neinformované metody, lokální prohledávání, prohledávání v nejistém prostředí, hraní sekvenčních her, CSP úlohy).
21
1 materiálůKlasifikace formálních jazyků (Chomského hierarchie), vlastnosti formálních jazyků a jejich rozhodnutelnost.
22
2 materiálůKonečné automaty (jazyky přijímané KA, varianty KA, Myhill-Nerodova věta, regulární výrazy).
23
1 materiálůZásobníkové automaty (jazyky přijímané ZA, varianty ZA).
24
1 materiálůTuringovy stroje (jazyky přijímané TS, varianty TS, lineárně omezené automaty).
25
1 materiálůNerozhodnutelnost (problém zastavení TS, princip diagonalizace a redukce).
26
1 materiálůČasová a paměťová složitost (asymptotická a amortizovaná složitost, třídy složitosti, úplnost, SAT problém).
27
1 materiálůPostrelační a rozšířené relační databáze (objektový a objektově relační databázový model - struktura a operace; vlastnosti objektových databází; podpora práce s XML a JSON dokumenty v databázích).
28
1 materiálůNoSQL databáze (porovnání relačních a NoSQL; CAP věta a ACID/BASE principy; typy NoSQL databází; dotazování v NoSQL databázích; agregace dat pomocí Map-Reduce a agregační pipeline).
29
1 materiálůPorozumění datům a jejich příprava pro data mining (důvody a cíle; popisné charakteristiky dat a vizualizační techniky; korelační analýza; metody čištění; redukce dat a řešení nevyváženosti; normalizace dat).
30
2 materiálůOntologie a sémantický web (linked data, datový model RDF, ontologie, RDF schema a OWL, strukturovaná data na WWW).
31
1 materiálůProstorové databáze, indexace (nejen) v prostorových DB (problematika mapování prostoru, kD-Tree a Grid File vč. jejich variant a R-Tree).
32
1 materiálůPravděpodobnost a náhodné veličiny (podmíněná pravděpodobnost, nezávislost, náhodná veličina a její funkční a číselné charakteristiky, významná rozdělení pravděpodobnosti).
33
0 materiálůBodové a intervalové odhady (vlastnosti odhadů, metoda maximální věrohodnosti, Fisherova informace, asymptotické vlastnosti odhadů, asymptotické konfidenční intervaly).
34
0 materiálůTestování statistických hypotéz (základní principy, Chyba I. a II. druhu, síla testu, testy založené na normálním rozdělení, věrohodnostní poměr, základní neparametrické testy a testy pro kategoriální proměnné).
35
0 materiálůLineární modely (Lineární regresní model, Gaussova-Markovova věta, odhady parametrů, testy hypotéz v lineárních modelech, ANOVA).
36
3 materiálůMarkovské řetězce a Markovské rozhodovací procesy (základní techniky pro jejich analýzu).
37
2 materiálůRandomizované algoritmy (Monte Carlo a Las Vegas algoritmy, základní techniky pro jejich analýzu).
38
0 materiálůModerní modely životního cyklu vývoje software (iterativní model životního cyklu; MDA, agilní vývoj; agilní modelování; Unified Process).
39
0 materiálůModelovací techniky UML (charakteristika jazyka UML; rozšiřitelnost jazyka; charakteristika, základní prvky a použití diagramů UML při návrhu a vývoji software).
40
0 materiálůLogická architektura software (pojem logické architektury; vrstvená architektura; závislosti vrstev a balíčků; princip oddělení pohledu; vzor Model-View-Controller).
41
0 materiálůNávrhové vzory (podstata a význam návrhových vzorů; vzory Singleton, Abstract Factory, Strategy, Composite, Facade, Observer; podstata a význam návrhových anti-vzorů, příklad návrhového anti-vzoru).
42
0 materiálůTestování softwaru založené na modelech (kritéria pokrytí grafu a kódu, jednotkové testy).
43
0 materiálůVýkonnostní testování (principy a vlastnosti jednotlivých typů testů, měřitelné parametry).
44
0 materiálůVerifikace programů za běhu (testovací vlastnosti a odpovídající metody testování, instrumentace programů).
45
1 materiálůHrozby, slabá místa, aktiva, škodlivý software (malware), funkce prosazující bezpečnost (řízení přístupu, autentizace, skryté kanály, audit, přenos dat).
46
1 materiálůKritéria hodnocení bezpečnosti informačních systémů, historie, kritéria CC (Common Criteria), standardy pro management bezpečnosti, rodina standardů ISO 27000.
47
1 materiálůAnalýza rizik bezpečnosti informačních systémů (vstupy, výstupy, jednotlivé generace).
48
1 materiálůBezpečnost systémů a sítí.
49
0 materiálůModel checking, paralelní kompozice (handshake).
50
0 materiálůČasované automaty a jejich analýza (abstrakce založená na regionech, logika TCTL).
51
0 materiálůMarkovské řetězce a jejich analýza (transientní analýza, výpočet stabilního stavu, ověřování PCTL vlastností).
52
0 materiálůŽivotní cyklus projektu z hlediska projektového řízení. Souvislosti projektového řízení (objekty řízení projektu, princip trojího omezení, faktory podnikového prostředí, organizační struktury, zainteresované strany, socioekonomické vlivy).
53
0 materiálůZnalostní oblasti managementu projektů (vyjmenovat, každou oblast stručně charakterizovat). Management rozsahu projektu (procesy, metody, strukturovaná dekompozice práce).
54
0 materiálůManagement času a nákladů v rámci projektů (procesy, metody, metoda kritické cesty CPM - Critical Path Method, metoda odhadu pracnosti FPA - Function Point Analysis, řízení dosažené hodnoty projektu EVM - Earned Value Management, prognózování).
55
0 materiálůManagement rizik v rámci projektů (procesy, metody, rozhodovací strom, matice pravděpodobnosti a dopadu, analýza očekávané peněžní hodnoty, kategorie rizik v projektech IT, eliminace rizik v softwarových projektech).
56
0 materiálůManagement kvality v rámci projektu (procesy, metody, Paretova analýza, diagram příčin a účinků, kvalitativní charakteristiky softwarových produktů).
57
0 materiálůMetoda Logického rámce (LFM - Logical Framework Matrix).
58
0 materiálůManagement procesů (co je to proces, základní charakteristiky a dělení procesů, charakteristiky procesní organizace a postup jejího zavádění). Analýza a modelování procesů - CASE nástroje (charakteristika, členění).
59
0 materiálůBusiness Process Reengineering (pojem a podstata, klíčové charakteristiky, postup implementace).
60
0 materiálů