|
| |
|
|
Distribuované generování hesel pomocí pravděpodobnostních gramatik
Mikuš, Dávid ; Ryšavý, Ondřej (oponent) ; Hranický, Radek (vedoucí práce)
Táto práca sa zaoberá procesom lámania hesiel, popisom existujúcich útokov a generovania hesiel na základe pravdepodobnostnej gramatiky. Táto gramatika sa dá použiť na útok, ktorý funguje na základe trénovania nad existujúcim zoznamom hesiel a následným generovaním hesiel pomocou zostrojenej bezkontextovej gramatiky z procesu trénovania. Jadrom práce je návrh a implementácia distribuovaného riešenia pre tento typ útoku. Implementácia zahŕňa prepísanie existujúceho riešenia a optimalizácia využitia všetky dostupných zdrojov.
|
|
|
Gramatická evoluce v optimalizaci software
Pečínka, Zdeněk ; Minařík, Miloš (oponent) ; Sekanina, Lukáš (vedoucí práce)
Tato diplomová práce nabízí stručný úvod do evolučního počítání. Popisuje a porovnává genetické programování a gramatickou evoluci a jejich možné využití v problematice automatické opravy software. Podrobně studuje možnosti aplikace gramatické evoluce v problému automatické opravy softwaru. Na základě získaných poznatků byla navržena a implementována nová metoda pro automatickou opravu softwaru, založená na gramatické evoluci. Její experimentální ověření proběhlo na řadě testovacích programů.
|
|
|
A Combination of Automata and Grammars
Kučera, Jiří ; Horáček, Petr (oponent) ; Meduna, Alexandr (vedoucí práce)
In this work, a new systems of formal models, called state-synchronized automata systems of degree n , were introduced and studied. The computation in presented automata systems is controlled by words from finite control language, where every word from control language is a sequence of states. Furthermore were studied the computational power of these systems. The practical use of introduced systems was demonstrated on example of natural language translation and on example of parallel compiling.
|
|
|
Emulace CPU pro výuku asemblerů
Charvát, Lukáš ; Nagy, Jan (oponent) ; Smrčka, Aleš (vedoucí práce)
Práce řeší tvobu emulátoru počítačové architektury se záměrem pro použití při výuce asemblerů. Zatímco většina dnešních emulátorů je zavislá na specifické architektuře, tato práce popisuje přístup, jak vytvořit emulátor, který by umožnoval uživatelům jednoduše vytvářet vlastní architektury, provádět nad nimi operace a zobrazovat jejich aktuální stav.
|
|
|
Překladač jazyka stavového diagramu do jazyka CHILL
Goldmannová, Zuzana ; Matoušek, Petr (oponent) ; Ryšavý, Ondřej (vedoucí práce)
Tato práce se zabývá gramatikou existujícího proprietárního jazyka stavových diagramů, který se používá k modelaci stavových automatů použitých v pobočkových ústřednách. Cílem práce byla analýza gramatiky a stávajícího překladače z tohoto jazyka do jazyka CHILL a návrh a implementace překladače nového. Tento překladač bude lépe udržovatelný a odstraňovat chyby a nedostatky stávajícího řešení. Závěrem je tento překladač otestován za použití jak již existujících souborů, které byly dříve vytvořeny pro stávající překladač, tak souborů, které jsem vytvořila pro testovací účely.
|
|
|
British VS. American English – A comparative study
Ohrazda, David ; Šťastná, Dagmar (oponent) ; Sedláček, Pavel (vedoucí práce)
This bachelor thesis compares the differences between British and American English, the two most common variations of the English language, which is used worldwide as either the mother tongue or the second language teaching for more accessible international communication. The thesis briefly deals with the history of the language and then analyzes the differences in grammar, pronunciation, and vocabulary with examples of the issue. The thesis also discusses the cultural influences that have influenced language development. Books and internet resources were used for the work. The main goal of the bachelor thesis is to provide and show how one language can differ based on different nationalities.
|
|
|
Nové verze skákajících automatů
Ošmera, Lubomír ; Kocman, Radim (oponent) ; Meduna, Alexandr (vedoucí práce)
Cílem této bakalářské práce je návrh a výzkum nových verzí skákajících automatů, konkrétně se jedná o verze obecných skákajících automatů s jasně specifikovanými kritérii směru a velikosti skoku. Práce zkoumá jejich sílu v porovnání s ostatními typy automatů a odhaluje ekvivalentní modely gramatik. Důvodem vypracování této práce je výzkum a snaha o vylepšení některých vlastností obecného skákajícího automatu. Následně je v práci zváženo využití tohoto formálního prostředku za účelem zpracování určitého typu jazyků a využití v průběhu syntaktické analýzy.
|
|
|
Zpracování předpisů CSS v jazyce Java
Švercl, Jan ; Bartík, Vladimír (oponent) ; Burget, Radek (vedoucí práce)
Tato práce se věnuje problematice manipulace s předpisy kaskádových stylů. Prvním cílem je vytvoření knihovny pro manipulaci s předpisy CSS - je navrhnuto objektové rozhraní předpisu CSS, pomocí nástroje JavaCC vygenerován syntaktický analyzátor, doplněna implementace rozhraní a vše spojeno do funkčního celku. Knihovna umožňuje načtení předpisu CSS a převedení do objektové reprezentace, editaci či následně export zpět do textového souboru. Druhá část práce se zabývá implementací knihovny pro ohodnocení stromu dokumentu - každý (X)HTML dokument je tvořen stromem elementů, ke kterým jsou následně v předpisu CSS vyhledávána pravidla a ve správném pořadí přiřazovány jejich deklarace. V závěru práce je popsána DEMO aplikace, která demonstruje možnosti obou knihoven a umožňuje provádění experimentů či testování. Ukázána je také technika profiling, umožňující vyhledat ve zdrojovém kódu výkonnostně náročné pasáže, které mohou být dále optimalizovány.
|
|
|
New Versions of Translation Automata
Baláž, Miroslav ; Klobučníková, Dominika (oponent) ; Meduna, Alexandr (vedoucí práce)
This thesis does research on new version of translation automata. It takes closer look at existing pushdown transcuders and regulated grammar. Combining these two concepts together which creates new regulated pushdown transcuder as a new form of translation automata. Examine computational power of regulated grammar and tests its usage combined with transcuder and test usablity of this new defined regulated transcuder in implementation for translating input source code.
|
host ::
RSS.