|
Efektivní knihovna pro práci s konečnými stromovými automaty
Lengál, Ondřej ; Konečný, Filip (oponent) ; Vojnar, Tomáš (vedoucí práce)
Mnoho současných počítačových systémů používá dynamické datové či řídicí struktury předem neomezené velikosti. Tyto datové struktury mají často charakter stromů nebo se dají zakódovat jako stromy s některými dodatečnými ukazateli nad stromovou kostrou. Této skutečnosti využívají některé v současné době intenzivně studované techniky formální verifikace, které reprezentují nekonečně mnoho stavů konečným stromovým automatem. Nicméně v současnosti neexistuje efektivní a flexibilní implementace knihovny pro stromové automaty, která by byla pro tyto techniky vhodná. Cílem této diplomové práce je takovouto knihovnu poskytnout. Předložený text nejdříve popisuje základy teorie konečných stromových automatů a regulárních stromových jazyků. Dále jsou prozkoumány existující implementace knihoven pro stromové automaty a různé verifikační techniky pro systémy se stromovou strukturou. Poté se text zaobírá návrhem reprezentace stromového automatu a algoritmů provádějících standardní jazykové operace nad touto reprezentací, načež následuje popis implementace knihovny. Prostřednictvím provedených experimentů ukazujeme, že knihovna může konkurovat ostatním dostupným knihovnám pro práci se stromovými automaty, přičemž její výkon v určitých oblastech je řádově vyšší.
|
|
Prefixové omezení řízených gramatických systémů
Konečný, Filip ; Lukáš, Roman (oponent) ; Meduna, Alexandr (vedoucí práce)
Tato práce studuje gramatické systémy, jejichž komponenty používají pravidla, která mají na levé straně ne jeden neterminál, ale řetězec neterminálů. Práce u těchto gramatických systémů zavádí tři omezení derivace. První vyžaduje, aby k derivaci v každé větné formě došlo v rámci prvních l symbolů v prvním spojitém bloku neterminálů. Druhé omezení definuje derivaci pro větné formy, které obsahují nejvýše m spojitých bloků neterminálů. Třetí omezení rozšiřuje druhé o podmínku, že každý takový blok může být nejvýše délky h. Hlavním výsledkem této práce jsou důkazy o zmenšení generativní síly gramatických systémů u dvou z těchto omezení.
|
|
Racionalizace cenové statistiky stavebnictví
Zeman, Petr ; Konečný, František (oponent) ; Nový, Martin (vedoucí práce)
Předmětem diplomové práce „Racionalizace cenové statistiky stavebnictví" je nastínit problematiku výkaznictví stavebních činností v České republice a pokusit se ji co nejvíce zjednodušit pro účely statistiky, bude-li to možné. Od teoretického přiblížení cen stavebních prací, jejich indexů a statistiky přecházím k praktické části výpočtu indexů. Dostupná data z Českého statistického úřadu o indexech cen stavebních prací z posledních let přepočítávám z pohledu počtu vah stálých reprezentantů a z pohledu počtu jednotlivých výkazů. Cílem je, najít reprezentanty splňující kombinaci obou metodických postupů a vyloučit je z formulářů pro výkaznictví. Tímto by mělo dojít k uspoření času při statistickém šetření jednotlivých respondentů a k zestručnění interpretačních výstupů Českého statistického úřadu.
|
| |
| |