Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 11 of 11 for “"ověřování"”.
-
Ověřování asercí kódu pomocí zpětné symbolické exekuce
Pro prevenci, odhalování a opravování chyb v softwaru existuje celá řada nástrojů pro programátory, přičemž některé z nich umožňují pracovat přímo se sémantikou programu. V případě jazyka C# jsou hlavními zástupci Microsoft FxCop, Code Contracts a Pex. Použití těchto nástrojů může velkou měrou …
-
Pohádka jako hudebně integrativní projekt pro předškolní děti a jejich rodiče (tvorba, ověřování, metodické náměty do praxe)
Autorský pohádkový příběh s hudebním námětem jako prostředník ke zkvalitnění spolupráce rodiny a mateřské školy je hlavním cílem diplomové práce. Hudební vývoj dítěte do konce období předškolního věku a jeho následná charakteristika otevře teoretickou část, hudební schopnosti - charakteristika, …
-
Mixážní nízkofrekvenční pult pro laboratorní výuku
… desek plošných spojů a jejich následné měření a ověřování funkčnosti. Dokument také obsahuje návrh šasi celého mixážního pultu. Obsahuje i grafické zpracování ovládacího panelu.
-
Výpočetní model a analýza samočinně řízeného vozidla
… modelu je založená na metodě statistického ověřování modelu. Model umožňuje zkoumat chování autonomního vozidla v situacích, které odpovídají běžnému provozu.
-
Využití 3D tisku k přípravě pokročilých keramických materiálů
… druhy keramických suspenzí, které byly použity k ověřování možnosti využití komerčně dostupné 3D tiskárny k automatizovanému odlévání do silikonových forem a k přímému tisku 2D tvaru. Následně byly analyzovány výsledky na základě reprodukovatelnosti metody a relativních hustot vzorků. Z hlediska …
-
Ověření Metodiky pro podporu individualizace předškolního vzdělávání v podmínkách mateřské školy
… pozorování vybraného vzorku dětí mateřské školy. Ověřování je doloženo na individuálních příkladech a završeno shrnutím poznatků o jejím přínosu pro rozvoj potencialit dětí s uplatňováním empatického a akceptující přístupu.
-
Kryptografické protokoly s ochranou soukromí pro zabezpečení heterogenních sítí
… využito optimalizačních technik, např. dávkového ověřování, tak aby protokoly byly praktické i pro heterogenní sítě.
-
Implementace postupů a vyhodnocení dat ze zkoušek souladu výrobních modulů kategorie A1 a A2
… modulů kategorie A1 a A2. Práce se dále zabývá ověřováním souladu a shody výrobních modulů s platnou legislativou. Zásady ověřování výrobních jednotek se řídí nově navrhovanou normou EN 50 549-10. Přínos práce spočívá zejména v přípravě na vytvoření certifikovaného pracoviště, které se bude …
-
Návrh a zhodnocení vizuálně facilitačního nástroje
… fázi tříúrovňové didaktické struktury,jejíž plné ověřování bude předmětem navazujícíhovýzkumu. KLÍČOVÁ SLOVA vizuální facilitace,...
-
Automatické rozpoznání kvality signálů EKG
… První z nich je založena na detekci R-vln, ověřování fyziologických předpokladů a následného výpočtu korelačního koeficientu mezi adaptivní šablonou a signálem. Druhá z metod je založena na výpočtu spojité hodnoty SNR v čase, která je následně prahována. Robustnost metod byla ověřena na …
-
Autentizované ustanovení klíče s podporou sdíleného tajemství
Práce se zabývá implementací a vytvořením kryptografické knihovny a grafického uživatelského rozhraní (GUI) pro nově navržený protokol "Smlouva o autentizačním klíči na základě Shamirova sdílení tajemnství" (ang. "Shamir’s Secret Sharing-based Authenticated Key Agreement", zkráceně ShSSAKA). …