|
|
Program pro testování rychlosti šifrovacích algoritmů
Volf, Lukáš ; Sajdl, Ondřej (oponent) ; Kadlec, Jaroslav (vedoucí práce)
Program pro testování rychlosti šifrovacích algoritmů je projekt, jehož cílem je vytvoření programu, jenž bude testovat specifické vlastnosti jednotlivých šifrovacích protokolů a výsledky testování bude ukládat pro pozdější statistické zpracování. Program bude vytvořen v programovacím jazyku C#. Ve statistickém zpracování budou výsledky vlastností jednotlivých algoritmů zpracovány a zhodnoceny v přehledných reportech.
|
|
|
Algorithms for single-fault troubleshooting with dependent actions
Lín, Václav
We study the problem of single-fault troubleshooting with dependent actions. We propose a binary integer programming formulation for the problem. This can be used to solve the problem directly or to compute lower bounds of optima using linear programming relaxation. We present an optimal dynamic programming algorithm, and three greedy algorithms for computing upper bounds of optima.
|
|
| |
|
| |
|
| |
|
|
Algoritmy pro řešení speciálních problémů batohu a jejich výpočetní složitost
Sem, Štěpán ; Ivánek, Jiří (vedoucí práce) ; Kalčevová, Jana (oponent)
Práce se zabývá variantami problému batohu a možnostmi jejich řešení, dále potom vlivem speciálního tvaru konkrétního zadání (instance) na efektivitu testovaného postupu. Předkládá rovněž možnosti převoditelnosti mezi popsanými úlohami, jakož i jejich spojité rozšíření (spojitou relaxaci). Z řad klasických algoritmů popisuje algoritmus L3 a řešení superklesajícího problému batohu, z řad pravděpodobnostních algoritmů Metodu Monte Carlo, simulované žíhání a genetické algoritmy. Diskutovány jsou i další možnosti. Nedílnou součást práce tvoří doprovodná aplikace, která sloužila k vytvoření podkladů zde uváděných a může být rovněž použita k řešení dalších instancí.
|
|
|
Simulace průchodu programu vývojovým diagramem pro výuku algoritmizace
BARTYZAL, Miroslav
Práce se zabývá vývojem aplikace pro rychlé a efektivní sestavování algoritmů pomocí vývojových diagramů a jejich následnou vizualizaci průchodu pro výuku algoritmizace. První část práce sestává z popisu základní terminologie, v níž jsou popsány zejména jednotlivé symboly vývojového diagramu. Další části práce jsou věnovány analýze zpracovávaného tématu, návrhu aplikace a interesantním úsekům jejího vývoje. Poslední části práce pak shrnují průběh ověření aplikace v praxi a výsledek této práce.
|
|
| |
|
| |
|
|
Polynomial-time Algorithm for Basic Troubleshooting with Call-Service
Lín, Václav
In decision-theoretic troubleshooting, we are given a probabilistic model of a man-made device. Our task is to identify and eliminate a fault causing the device to malfunction through a sequence of troubleshooting actions. We study a variant of the problem where we can at any time “call service” and eliminate the fault at once by paying a fixed penalty.
|
host ::
RSS.