Národní úložiště šedé literatury Nalezeno 5 záznamů.  Hledání trvalo 0.00 vteřin. 
Rozšíření systému XML Check
Hudeček, Petr ; Holubová, Irena (vedoucí práce) ; Polák, Marek (oponent)
V této práci rozšiřujeme systém pro správu domácích úkolů z roku 2011 nazvaný XML Check. Jedná se o webovou aplikaci, která se používá v předmětu Technologie XML na MFF UK a FEL ČVUT. Studenti a pedagogové od doby zavedení v systému identifikovali množství chyb, které opravujeme, a navrhli také nové funkce, které do systému přidáváme. Nejdůležitější novou funkcí je kontrola plagiátorství, která se nyní spouští na každém odevzdaném úkolu. Pro kontrolu plagiátorství jsme vyzkoušeli několik různých algoritmů (Levenshteinovu vzdálenost, algoritmus Greedy-String-Tiling a editační vzdálenost Zhang-Shasha), které v práci srovnáváme. Jejich účinnost určujeme na základě pokusů na úkolech odevzdaných za poslední čtyři roky. Rozšířený systém se nyní aktivně používá.
Soothsharp: A C#-to-Viper translator
Hudeček, Petr ; Parízek, Pavel (vedoucí práce) ; Ježek, Pavel (oponent)
Viper je verifikační infrastruktura vyvíjená na univerzitě ETH v Curychu. Pomocí této infrastruktury se dá ověřit, zda programy napsané v jazyku Viper vyhovují svým deklarovaným kontraktům a invariantům. V této práci vyvíjíme knihovnu kontraktů a překladač, který zkompiluje kód v jazyku C# do jazyku Viper, a tak umožní jeho verifikaci. Uživatel může anotovat svůj program těmito kontrakty a pak použít překladač, aby určil, zda je program funkčně korektní. Překladač podporuje podstatnou podmnožinu funkcí jayzku C#, včetně typů a polí. Je integrován s Visual Studiem, a ukazuje tak chyby z překladu a verifikace uživateli přímo v prostředí.
Rozšíření systému XML Check
Hudeček, Petr ; Holubová, Irena (vedoucí práce) ; Polák, Marek (oponent)
V této práci rozšiřujeme systém pro správu domácích úkolů z roku 2011 nazvaný XML Check. Jedná se o webovou aplikaci, která se používá v předmětu Technologie XML na MFF UK a FEL ČVUT. Studenti a pedagogové od doby zavedení v systému identifikovali množství chyb, které opravujeme, a navrhli také nové funkce, které do systému přidáváme. Nejdůležitější novou funkcí je kontrola plagiátorství, která se nyní spouští na každém odevzdaném úkolu. Pro kontrolu plagiátorství jsme vyzkoušeli několik různých algoritmů (Levenshteinovu vzdálenost, algoritmus Greedy-String-Tiling a editační vzdálenost Zhang-Shasha), které v práci srovnáváme. Jejich účinnost určujeme na základě pokusů na úkolech odevzdaných za poslední čtyři roky. Rozšířený systém se nyní aktivně používá.
Studie porovnání efektivnosti přípravy výroby vybraných produktů
Hudeček, Petr ; Vincour, Jiří (oponent) ; Jurová, Marie (vedoucí práce)
Předmětem bakalářské práce „Studie porovnání efektivnosti přípravy výroby vybraných produktů“, je analýza současného stavu ve firmě, tj. možnosti a kapacity firmy pro výrobu nového výrobku. Podle těchto zjištění rozhodnout, jestli můžeme vyrábět sami nebo výrobu řešit subdodavatelsky. Teoretická část je zaměřena na základy průzkumu a segmentace trhu, marketing a technickou problematiku výroby. V praktické části jsou pak popsány jednotlivé kroky a průběhy průzkumu trhu, rozhodnutí, způsoby výroby a zaměření na nejslibnější segment trhu. Cílem mé práce je tedy nalezení nejschůdnější cesty k úspěšnému zavedení nového produktu na trh.
Praktické uplatnění hodnotového inženýrství ve firmě BAGOBAGO, spol. s r.o
Hudeček, Petr ; Loubal,, Jaroslav (oponent) ; Bartes, František (vedoucí práce)
Diplomová práce se zaměřuje na problematiku hodnotového inženýrství a aplikování jeho metod na produkt vybrané společnosti. Cílem práce je analyzovat produkt a následně navrhnout nová řešení produktu tak, aby bylo dosaženo zvýšení spokojenosti a celkové hodnoty pro zákazníka prostřednictvím postupů a metod hodnotového inženýrství. Výsledek této práce slouží jako podklad k rozhodnutí o změnách produktu, které mají vést k lepšímu postavení produktu i společnosti na trhu

Viz též: podobná jména autorů
3 Hudeček, Pavel
Chcete být upozorněni, pokud se objeví nové záznamy odpovídající tomuto dotazu?
Přihlásit se k odběru RSS.