Action disabled: index
Warning
This page is located in archive.

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 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 Uppaal, 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 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 03.10.2017 RM -
-
-
-
-
-
1
2
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
0pzdr.pdf
1apsp.pdf
measurement.zip
2 10.10.2017 RM 3 Generování různých typů grafů 2randomgraphs.pdf
3 17.10.2017 RM 5 Identifikace „rich club“ uzlů sítě c03richclub.pdf
2016-05-26.tgz
4 24.10.2017 RM 4 Rekonstrukce komunikační počítačové sítě c04networkreconstruction.pdf
wireshark_display_filters.pdf
20141021merged.zip
5 31.10.2017 RM Konzultace
6 07.11.2017 RM 6 Specifikace a verifikace protokolů pomocí nástroje Alloy alloyzadani.pdf
Alloy Cheat Sheet1)
7 14.11.2017 0 Samostatné vypracovávání úlohu Alloy
8 21.11.2017 RM 1 Specifikace dynamického systému v systému UPPAAL
(příprava: nainstalujte si Uppaal)
uppaal_cviceni.pdf
variantynim.pdf
c09.uppaal.zip
9 28.11.2017 RM 0
10 05.12.2017 RM 6 Ověření protokolu pomocí systému UPPAAL/Alloy UPPAAL_Zadani.pdf
Články
11 12.12.2017 RM 3 Určení stavu pomocí kontrolní sekvence konečného automatu. FsmUlohy.pdf
Automaty.zip
12 19.12.2017 RM 3 Rekonstrukce konečného automatu pomocí aktivního učení.
13 02.01.2018 RM 3 Návrh testů pro vrstvené softwarové sítě. Rozklady sítí na komunity a Hodnocení vývoje senzorové sítě
14 09.01.2018 RM Hodnocení cvičení, předávání úloh opozdilců
1)
Patche vítány. Pokud vám v cheat sheetu něco chybí, není jasné nebo je špatně, napište mi, nebo rovnou pošlete merge request v odkazovaném repositáři.
courses/b2m32dsa/cviceni.txt · Last modified: 2017/12/12 12:40 by marikr