|
|
Nástroj pro generování testovacích cest dle zadaného kritéria
Bíl, Jan ; Rogalewicz, Adam (oponent) ; Smrčka, Aleš (vedoucí práce)
Automatické generování testovacích vstupů dle zadaného kritéria pokrytí má potenciál ušetřit velkou část nákladů při vývoji kritických aplikací. V rámci této práce byl navržen a naimplementován nástroj, který postupně generuje cesty grafem toku řízení odpovídající funkcím takové aplikace, které splňují zadané kritérium pokrytí. Tyto cesty převádí na odpovídající SMT (Satisfiability Modulo Theories) formuli pro kterou se ověří její sémantická splnitelnost SMT řešičem Z3. Pro sémanticky splnitelné cesty je zároveň vygenerováno ohodnocení vstupů, pro které formule platí. Tato ohodnocení dohromady tvoří sadu testovacích vstupů splňující zadané kritérium pokrytí. Tyto testovací vstupy jsou hodnoty parametrů testované funkce a stavu globálních proměnných.
|
|
| |
|
|
Algoritmus pro realistickou tvorbu cévního řečiště syntetických sítnic
Dvořák, Martin ; Drahanský, Martin (oponent) ; Semerád, Lukáš (vedoucí práce)
Cílem této práce je zdokonalit existující nástroj na vytváření syntetických sítnic oka. Zlepšení dosavadního softwaru probíhá změnou algoritmu pro tvorbu cévního řečiště. Zvolený problém byl vyřešen navrhnutím algoritmu, který vychází z reálného chování cévního systému v sítnici oka. Skutečné snímky byly statisticky zaznamenány. Matematické programy vytvořily aproximační křivky cév. Byly sledovány směry cév, místa větvení a počet větvených cév. Na základě zjištěných informací a pravděpodobnosti větvení byl navržen model pro generování syntetických snímků. Hlavním výsledkem jsou syntetické sítnice, které obsahují vzory chování skutečných sítnic oka. Tyto snímky mají podobný počet cév a směřují do stejných oblastí jako reálné snímky.
|
|
|
Generování syntetických obrazů sítnic oka
Tretter, Zdeněk ; Maruniak, Lukáš (oponent) ; Drahanský, Martin (vedoucí práce)
Cílem této práce je navrhnout a implementovat program, který bude schopný automaticky generovat syntetické snímky sítnic oka. Generované snímky by měly být podobné reálným snímkům sítnic, které je složité získat, aby mohly být použity místo nich při vývoji různých algoritmů, pracujících se snímky sítnic. V práci jsou nejprve popsány anatomické vlastnosti sítnice, způsoby snímání sítnice a využití rozpoznávání sítnice v biometrických a medicínských aplikacích. Dále je popsán návrh programu a způsoby generování jednotlivých částí sítnice do výsledného obrazu. Vzhled těchto částí je vytvářen procedurálními texturami v jednotlivých vrstvách obrazu. V další části jsou popsány detaily implementace programu. V závěru je pak experimentálně ověřena vhodnost generovaných snímků pro algoritmické zpracování.
|
|
|
Algoritmus pro realistickou tvorbu cévního řečiště syntetických sítnic
Dvořák, Martin ; Drahanský, Martin (oponent) ; Semerád, Lukáš (vedoucí práce)
Cílem této práce je zdokonalit existující nástroj na vytváření syntetických sítnic oka. Zlepšení dosavadního softwaru probíhá změnou algoritmu pro tvorbu cévního řečiště. Zvolený problém byl vyřešen navrhnutím algoritmu, který vychází z reálného chování cévního systému v sítnici oka. Skutečné snímky byly statisticky zaznamenány. Matematické programy vytvořily aproximační křivky cév. Byly sledovány směry cév, místa větvení a počet větvených cév. Na základě zjištěných informací a pravděpodobnosti větvení byl navržen model pro generování syntetických snímků. Hlavním výsledkem jsou syntetické sítnice, které obsahují vzory chování skutečných sítnic oka. Tyto snímky mají podobný počet cév a směřují do stejných oblastí jako reálné snímky.
|
|
|
Generování syntetických obrazů sítnic oka
Tretter, Zdeněk ; Maruniak, Lukáš (oponent) ; Drahanský, Martin (vedoucí práce)
Cílem této práce je navrhnout a implementovat program, který bude schopný automaticky generovat syntetické snímky sítnic oka. Generované snímky by měly být podobné reálným snímkům sítnic, které je složité získat, aby mohly být použity místo nich při vývoji různých algoritmů, pracujících se snímky sítnic. V práci jsou nejprve popsány anatomické vlastnosti sítnice, způsoby snímání sítnice a využití rozpoznávání sítnice v biometrických a medicínských aplikacích. Dále je popsán návrh programu a způsoby generování jednotlivých částí sítnice do výsledného obrazu. Vzhled těchto částí je vytvářen procedurálními texturami v jednotlivých vrstvách obrazu. V další části jsou popsány detaily implementace programu. V závěru je pak experimentálně ověřena vhodnost generovaných snímků pro algoritmické zpracování.
|
|
| |
|
|
Automatické generování okrajové plochy kraniálního implantátu
Hrdý, Libor ; Bartoň, Radek (oponent) ; Kršek, Přemysl (vedoucí práce)
Tato práce se zabývá problematikou automatického generování okrajové plochy kraniálního implantátu. Je zde popsán postup tvorby 3D modelu tkání a následně je rozebrána problematika kraniálního implantátu. Dále dokument obsahuje možné pohledy na řešení automatického generování jeho okrajové plochy. Druhá polovina dokumentu se zabývá implementací nástroje pro automatické generování okrajové plochy. V závěru jsou shrnuty výsledky práce s implementovaným nástrojem.
|
host ::
RSS.