====== Cvičení ====== Odevzdávaným výstupem každé úlohy je **zpráva** (PDF, HTML, plain text), kde je vedle samozřejmých částí, jako jsou * jména autorů, * zadání úlohy (kopie), a * závěr, * uvedeno jak jste úlohu řešili, * k jakým výsledkům jste došli, * na jaké potíže jste narazili a * jak jste se s nimi vypořádali. Zpráva by měla být co [[http://www.rouming.cz/roumingShow.php?file=Essential_advise.jpg|nejkratší]], ale nesmí v ní nic podstatného chybět. Odevzdávají se rovněž zdrojové kódy řešící úlohu. Součástí bodového hodnocení úlohy je kvalita zpracování zprávy. Na cvičení budete potřebovat [[http://www.uppaal.org/|Uppaal]], [[http://alloy.mit.edu/alloy/|Alloy]] a váš oblíbený skriptovací jazyk pro generování zpráv. Každý student/tým si může zvolit vývojové prostředí dle svých dovedností, např. Python, Java, C++/C, Ruby, PHP, C#, Lua, apod. či výpočty počítat na prstech jedné ruky nebo pomocí kalkulačky. Doporučeným programovacím jazykem je **Python**, pro který existuje řada podpůrných knihoven, které lze s výhodou použít v rámci tohoto předmětu. Úkolem předmětu není Vás naučit programovat, ale používat vhodné prostředky, které se k dané problematice váží. Vzhledem k předpokládanému poslednímu roku magisterského studia je na každém týmu, aby nalezl a rozhodl se pro efektivní řešení (samozřejmě s vyjímkou plagiátů), které úlohu splní ve vymezené době. Také by se vám mohl hodit [[http://www.graphviz.org/|Graphviz]]. Úlohy se odevzdávaji do systému Upload/Brute. Deadline pro odevzdání úlohy je obvykle následující cvičení. Na některé úlohy však bude poskytnuta delší doba. ====== Harmonogram cvičení ====== **POZOR!** Bude průběžné aktualizován. ^ Týden ^ Datum ^ Cvičící ^ Body za úlohu ^ Obsah ^ Výukové materiály ^ | 1 | 26.09.2024 | MC | - \\ - \\ - \\ - \\ - \\ - \\ 1 \\ 3 | Organizace cvičení. \\ Rozdělení do skupin po max. 2 studentech. \\ Kontrola přístupu do laboratoře a k počítačům. \\ Instalace prostředí. \\ Kontrola přístupu k Upload systému. \\ - 0pzdr: Odevzdání pozdravu \\ - 1apsp: Distribuce nejkratších cest | {{:courses:b2m32dsaa:tutorials:0pzdr.pdf|}} \\ {{:courses:b2m32dsaa:tutorials:1apsp.pdf|}} \\ {{:courses:b2m32dsaa:tutorials:measurement.zip|}}\\ {{ :courses:b2m32dsaa:tutorials:cviceni1.7z |}} | | 2 | 03.10.2024 | MC | 3 | Generování různých typů grafů | {{ :courses:b2m32dsaa:tutorials:2randomgraphs.pdf |}}\\ {{ :courses:b2m32dsaa:tutorials:cviceni2.7z |}}| | 3 | 10.10.2024 | MC | 4 | Identifikace „rich club“ uzlů sítě | {{:courses:b2m32dsaa:tutorials:c03richclub.pdf|}} \\ Staci dokoncit jenom body 1-4 a bod 5a \\ {{:courses:b2m32dsaa:tutorials:2016-05-26.tgz|}} \\ {{:courses:b2m32dsaa:tutorials:exported-flows.zip|}}\\ {{:courses:b2m32dsaa:tutorials:cviceni3.zip |}}| | 4 | 17.10.2024 | MC | 3 | Rekonstrukce komunikační počítačové sítě | {{:courses:b2m32dsaa:tutorials:c04networkreconstruction.pdf|}} \\ {{:courses:b2m32dsaa:tutorials:wireshark_display_filters.pdf|}} \\ {{:courses:b2m32dsaa:tutorials:additional-files.zip|}}\\ {{:courses:b2m32dsaa:tutorials:20141021merged.zip|}}\\ {{ :courses:b2m32dsaa:tutorials:cviceni4.7z|}}| | 5 | 24.10.2024 | MC | 3 | Detekce komunit a dynamiky provozu | {{ :courses:b2m32dsaa:tutorials:c06networkcommunities.pdf | C06NetworkCommunities}}\\ {{ :courses:b2m32dsaa:tutorials:cviceni5.7z|}} | | 6 | 31.10.2024 | MC | 3 | Specifikace a verifikace protokolů pomocí nástroje Alloy | {{:courses:b2m32dsaa:tutorials:alloyzadani.pdf|}} \\ Zadání 4 \\ [[https://git.frozen-doe.net/jk/alloy-cheat-sheet/blob/master/alloy-cheatsheet.pdf|Alloy Cheat Sheet]] \\ [[https://alloytools.org/download.html| Download]] | | 7 | 07.11.2024 | MC | 6 | Specifikace a verifikace protokolů pomocí nástroje Alloy II | {{:courses:b2m32dsaa:tutorials:alloyzadani.pdf|}} \\ Zadání 1 \\ {{:courses:b2m32dsaa:tutorials:cviceni-alloy.7z|}} \\ [[https://git.frozen-doe.net/jk/alloy-cheat-sheet/blob/master/alloy-cheatsheet.pdf|Alloy Cheat Sheet]] \\ [[https://alloytools.org/download.html| Download]] | | 8 | 14.11.2024 | MC | 3(za varianty 10-15 4 body; za varianty 16-26 5 bodů) | Specifikace dynamického systému v systému UPPAAL \\ (příprava: nainstalujte si [[http://www.uppaal.org/|Uppaal]]) | {{:courses:b2m32dsaa:tutorials:uppaal_cviceni.pdf|}} \\ Vyber varianty je na vas - s vyjimkou varianty 1. \\{{:courses:b2m32dsaa:tutorials:variantynim.pdf|}} | | 9 | 21.11.2024 | MC | 3 | Konstrukce testů pro FSM. Konstrukce charakterizační množiny | {{ :courses:be2m32dsaa:tutorials:assignment10.pdf | Úkol 9}} \\ {{ :courses:b2m32dsaa:tutorials:automaton.7z }} \\ {{ :courses:b2m32dsaa:tutorials:fsm.7z | Z cviceni}}| | | 10 | 28.11.2024 | MC | 3 | Kontrolní sekvence konečného automatu. | {{ :courses:b2m32dsaa:tutorials:hlavniukol.pdf | Zadani a,b }}\\ {{ :courses:be2m32dsaa:tutorials:easier-option.png | Simpler automaton if large ones give you trouble}} \\ {{ :courses:b2m32dsaa:tutorials:distinguishingsequence.7z | Z cviceni}}| | 11 | 05.12.2024 | MC | 3(+2) | Kontrolní sekvence konečného automatu. | {{ :courses:b2m32dsaa:tutorials:hlavniukol.pdf | Zadani c,d,e }}\\ {{ :courses:be2m32dsaa:tutorials:easier-option.png | Simpler automaton if large ones give you trouble}}| | 12 | 12.12.2024 | MC | 2 | Dynamické sítě. | {{ :courses:b2m32dsaa:tutorials:dynamicke_site.pdf | Zadani.pdf}} | | 13 | 19.12.2024 | MC | | Konzultace. | |