|
|
System for Administration of Tests
Karlík, Ľubomír ; Vyskočil, Jiří (vedoucí práce) ; Surynek, Pavel (oponent)
Predmetom práce je implementácia aplikácie na správu zaškrtávacích testov. Aplikácia umožňuje vytvárať šablóny s otázkami pre generovanie testov, generovať testy a administrovať súbor vygenerovaných testov. Systém umožňuje tlačiť testy na papier a je schopný z naskenovaných obrázkov automaticky testy opravovať. Umožňuje generovanie a správu internetových testov.
|
|
|
Modelování kooperativního hledání cest
Ježek, Milan ; Surynek, Pavel (vedoucí práce) ; Majerech, Vladan (oponent)
V této práci jsou popsány nové modely pro řešení kooperativního hledání cest (cpf) s požadavkem na minimální makespan a je provedeno jejich experimentální porovnání se stávajícími modely. Nové modely uvedené v práci zkoumají možnosti kódování problému cpf pomocí celočíselného lineárního programování s binárními proměnnými (bip) a jako problém splnitelnosti omezujících podmínek (csp). Při testech se ukázaly hlavně poměrně dobré výsledky nového modelu IP active-edges při vyšším množství agentů, kdy jen mírně zaostával za nejlepším SAT modelem. Nový model pro csp dosáhl nejrychlejších časů v testech s nízkým množstvím překážek a interakcí mezi agenty, zatímco v opačném případě se jeho výkon dramaticky snižoval. Powered by TCPDF (www.tcpdf.org)
|
|
|
Optimalizace portfolia
Huml, Tomáš ; Barták, Roman (vedoucí práce) ; Surynek, Pavel (oponent)
Cílem této práce je navržení algoritmu pro vybrání optimálního portfolia ze vstupních projektů, které jsou ohodnoceny z hlediska nákladů, zisku a jejich potenciálního rizika. Mezi těmito vstupními projekty mohou být nadefinovány různé vazby. Součástí práce je také přehled alternativních přístupů k tomuto tématu uvedených v jiných pracích. K práci je přiložen program implementující navrhovaný algoritmus. Výstupem výpočtu tohoto programu je portfolio, které dosahuje nejvyššího možného zisku a zároveň splňuje všechna vstupní omezení a dodržuje zadané vztahy mezi projekty. Program umožňuje porovnávat výsledná portfolia pomocí grafu a zároveň poskytuje i bližší informace o každém portfoliu zvlášť.
|
|
|
Workflow Modelling
Rovenský, Vladimír ; Barták, Roman (vedoucí práce) ; Surynek, Pavel (oponent)
Cílem diplomové práce bylo navrhnout a implementovat grafický editor umožňující modelování pracovních postupů (workflows) s důrazem na efektivitu práce, jednoduchost a použitelnost pro běžného uživatele. Výsledná aplikace je integrována do systému FlowOpt, ve kterém lze vytvořené pracovní postupy použít k řízení výrobních procesů v malých a středně velkých továrnách. Vlastní editor by měl sloužit mj. jako demonstrace použití modelu Nested TNA v reálném protředí. Součástí práce je funkční implementace vlastního editoru, navržení a implementace procedury pro automatickou verifikaci pracovních postupů a podpora standardního formátu XPDL (BPMN) pro ukládání pracovních postupů (import i export).
|
|
|
Solving Boolean satisfiability problems
Balyo, Tomáš ; Surynek, Pavel (vedoucí práce) ; Barták, Roman (oponent)
V této práci studujeme možnosti rozkladu booleovských formulí do komponent souvislosti. Z tohoto důodu zavádíme nový pojem - komponentový strom. Popisujeme některé vlastnosti komponentových stromů a možnosti jejich aplikace. Navrhli jsme třídu rozhodovacích heuristik pro SAT řešič na základě komponentových stromů a experimentálně zkoumali jejich výkon na testovacích SAT problémech. Pro tento účel jsme implementovali vlastní řešič, který využívá nejmodernější algoritmy a techniky pro řešení booleovské splnitelnosti.
|
|
|
Constraint modelling
Haničinec, Tomáš ; Barták, Roman (vedoucí práce) ; Surynek, Pavel (oponent)
Constraint programming is one of the possible ways how to solve complicated combinatorial (and other) problems. We model a problem using variables representing real world objects and constraints representing various relations between the objects. However, there are often many possible ways how to model a problem. And what's more, the choice of a modeling strategy can a®ect the resulting efficiency dramatically. Unfortunately, there is no general recipe how to model problems e±ciently. Nevertheless there are still several modeling techniques, heuristics or advices that could improve the e±ciency of models. Some of these techniques are problem dependent, some can be applied only to a certain classes of problems but they still often help. This thesis is trying to give more or less complete list of the most important modeling techniques along with an explanation of why, how and for which classes of problems they work best and also with empirical results underlying the presented facts.
|
|
|
Emergence of Intelligent Behaviour of Social Insects
Ulman, Attila ; Surynek, Pavel (vedoucí práce) ; Holan, Tomáš (oponent)
Naxov prace: Vznik intcligcntniho chovani u hmyzich spolec'enstcv Autor: Attila Ulman Katedra (ustav): Katcdra tcorctickc informatiky a matematicke logiky Veduci bakalarskej prace: RNDr. Pavel Surynck e-mail veduccho: Pavcl.Surynek@mff.euni.cz Abstrakt: Praca sa zaobcra skiimanim a simulaciou rozsiahleho spoloCenstva jcdnoduchych agentov - mravcov. Tito rclativnc jcdnocluchi jedinci v spojeni dokazu dosiahnut' ovcl'a zlozitejSie ciele, ktore viacnasobne prevySia ich individualize schopnosli. Su schopni kolcktivnc ricsit' iilohy, ktorc by jednotlivo ncmali sancu zvladnul' a to bez cxistencie nejakej riadiacej autority a dopredu danych fixnych struktur, naprick pritomnosti silneho vnutorneho gumu. Aplikaciou jcdnoduehych pravidicl vznika komplexnc chovanie cclku. Zaujimavy jc najma ich primarily zivotny ciel' - hfadanie potravy - pravc tu sa najviac prejavuje ich koopcracia a inleligencia celeho systemu ako ,,supcrorganizmu". Pochopenic emcrgcntnych schopnosti mravcich ko!6nii moze byt' prinosne pri Studii koleklivneho chovania vyspclcjsich spoloCcnsticv. Zamerom praec je skumat' chovanie socialneho hinyzu a pokusit' sa vytvorit' simulaciu ,,in silico" ktora je co najblizSic k realite a co najviac zachycuje Jntcligentnu kooperaciujedincov. Kl'ucovc slova: umely zivot, socialny hmyz, pocitacova simulacia...
|
|
|
Rozpoznávání a filtrace nežádoucích video-sekvencí
Vlček, Jakub ; Surynek, Pavel (vedoucí práce) ; Kolomazník, Jan (oponent)
V bakalářské práci se zabývámmožnostmirozpoznávánívideo-sekvencía možnostístrojovéhoučení na základě předešlýchznalostí.K učenívyužívámneuronovýchsítí,kterýmpředávámcharakteristiky vytvořené zobrázků.Obrázkycharakterizuji pomocíobrazovýchfunkcía statistickýchveličinjakoje napříkladstředníhodnota,ale i korelace k detekci střihuve video-sekvenci.Všechnytytopoznatky jsemvyužil kimplementaci demonstračníhoprogramu.Programumípřehrávatvideo,zobrazovat statistické informace o sekvenci nebo jednotlivýchsnímcích,detekovatsekvence podobné reklamám na základě statistickýchvlastnostía zareagovatnaně definovanouakcí.
|
|
|
Použití ACO algoritmu na řešení jednoduché substituční šifry
Turek, Luboš ; Tůma, Jiří (vedoucí práce) ; Surynek, Pavel (oponent)
Název práce: Použití ACO algoritmu na řešení jednoduché substituční šifry Autor: Luboš Turek Katedra (ústav): Katedra algebry Vedoucí bakalářské práce: doc. RNDr. Jiří Tůma, DrSc. e-mail vedoucího: jiri.tuma@mff.cuni.cz Abstrakt: V předložené práci studujeme kombinatorickou metaheuristiku Ant Colony Optimization a zkoumáme možné způsoby jejího použití k pro- lomení jednoduché substituční šifry. Součástí práce je návrh a implementace programu. Tento program je srovnán s genetickým algoritmem. Klíčová slova: jednoduchá substituční šifra, ant colony optimization, ACO, kryptologie, kryptografie Title: Application of ACO to simple subsitution ciphers Author: Luboš Turek Department: Department of Algebra Supervisor: doc. RNDr. Jiří Tůma, DrSc. Supervisor's e-mail address: jiri.tuma@mff.cuni.cz Abstract: In the present work we study combinatorial metaheuristic Ant Colony Optimization and we search for its application to the problem of cracking simple subtitution cipher. Functional implementation is a part of the thesis. The program is compared to genetic algorithm. Keywords: simple substitution cipher, ant colony optimization, ACO, cryp- tology, cryptography 6
|
|
|
Constraint Programming in Planning
Surynek, Pavel ; Barták, Roman (vedoucí práce) ; Vojtáš, Peter (oponent) ; Štěpánková, Olga (oponent)
This thesis deals with planning problems and Boolean satisfiability problems that represent major challenges for artificial intelligence. Planning problems are stated as finding a sequence of actions that reaches certain goal. One of the most successful techniques for solving planning problems is a concept of plan- ning graphs and the related GraphPlan algorithm. In the thesis we identified a weak point of the original GraphPlan algorithm which is the search for actions that support certain goal. We proposed to model this problem as a constraint satisfaction problem and we solve it by maintaining arc-consistency. Several propagation variants for maintaining arc-consis- tency in the model are proposed. The model and its solving process were integrated into the general GraphPlan-based planning algorithm. The performed experimental evaluation showed improvements in order of magnitude in several measured characteristics (overall solving time, number of backtracks) compared to the standard version of the GraphPlan algorithm. Next we proposed a stronger consistency technique for pruning the search space during solving the problem of finding supports. It is called projection consistency and it is based on disentangling the structure of the problem formulation. If the problem of finding sup- porting actions is...
|
host ::
RSS.