Oblasti výzkumu a výzkumné skupiny
Témata
- Attacks on hardware secure devices
- Smart-card security
- Reputation/trust-based systems
- Security of protocols on IP
- Internet security
- Sensor and ad-hoc networks
- Cryptography and cryptanalysis
- Applied cryptography
Témata
- Automatizace 3D segmentace tkání na základe CT/MR dat.
- Tvorba 3D geometrických modelu lidských tkání na základe segmentovaných CT/MR dat.
- Tvorba reálných modelu lidských tkání s vyuzitím technologie Rapid prototyping.
- 3D digitalizace reálných objektu pro potreby klinických aplikací.
- Pocítacová podpora klinických aplikací, plánování, navigace, simulace, tréning atd.
- Navigace se zpetnou vazbou pro potreby klinických aplikací.
Témata
- biometrické systémy
- bezpecnost
- robotika
- inteligentní senzory
- bezdrátové síte
- vestavené systémy
- vojenské aplikace
Témata
- Monitorování a bezpecnost pocítacových sítí
- Akclerace casove krtických obperací, jako je analýza hlavicek paketu, klasifikace paketu, udrzování a správa sítových toku, hledání nejdelsího spolecného prefixu ah ledání retezcu nebo regulárních výrazu)
- Návrh zarízení a systému pro sítovou infrastrukturu, monitorování a bezpecnost sítí
- Vícejádrové procesory a technologii FPGA v sítových aplikacích
Témata
- Standardní a pokrocilé genetické algoritmy, teorie a praktické vyuzití
- Evolucní algoritmy EDA, teorie a rychlé prototypování aplikací
- Aplikace EDA algoritmu pro skupinové komunikace
- Akcelerace evolucních algoritmu s vyuzitím nekonvencních výpocetních architektur (GPU, IBM Cell,...)
Témata
- Skupinové komunikacní algoritmy
- Výkonnost paralelních systému
- Výkonnostní modely systému se sdílenou pametí a GPGPU
- Modifikace principu a technik paralelních systému pri implementaci na úrovni cipu (multi-core, many-core)
- Aplikacne-specifické (vestavené) paralelní systémy
- Grafické a multimediální systémy
- Systémy odolné proti poruchám
- Komprese dat, obrazu a videa
Témata
- Automatizovaná formální verifikace nekonecne stavových systému (systémy s
dynamickými
datovými strukturami, jako jsou ruzné typy seznamu a stromu -- i v podobe v jaké se uzívají napr. v jádre Linuxu, neomezenými celocíselnými promennými, poli, parametry, rekurzí, neomezenými komunikacními kanály apod.), a to zejména s vyuzitím teorie jazyku a automatu a také ruzných typu logik.
- Výzkum efektivních technik pro práci s automaty ci logikami (napr. simulacní redukce nedetereministických automatu, efektivní testování inkluze nad nedeterministickými automaty -- viz www.languageinclusion.org -- apod.).
- Automatická verifikace a odhalování chyb v paralelním software s vyuzitím sirokého spektra metod (statická a dynamická analýza, inteligentní testování, model checking), vcetne moznosti sebe-opravování programu za behu.
Témata
- Návrh pro snadnou testovatelnost (diagnostika funkcních bloku a pametí, vestavená diagnostika), analýza testovatelnosti
- Systémy odolné proti poruchám (metody prubezného testování, hlídací obvody, spolehlivostní modely architektur, cástecná dynamická rekonfigurace zalozená na FPGA, mechanismy zamezení pretízení vestavných systému v dusledku nadmerného poctu podnetu)
- Vyuzití evolucních postupu pri návrhu císlicových obvodu (generování benchmarkových obvodu, optimalizace pro snadnou testovatelnost, redukci príkonu a doby testu)
Témata
- vyvíjející se obvody v FPGA
- evolucní logická syntéza a optimalizace
- development pro vyvíjející se obvody
- polymorfní elektronika: cip REPOMO32, syntéza polymorfních obvodu, aplikace
- teorie a aplikace vyvíjejících se komponent
- evolucní návrh nových, testovatelných a poruchám odolných obvodu
- celulární systémy - aplikace v modelování a predikci dopravy
- celulární nanopocítace - odolnost proti poruchám
Témata
- teoretické základy informacních systému
- formální jazyky a jejich modely
- specifikace a preklad jazyku
- aplikace formálních modelu
Témata
- Hardware-Software codesign mikroprocesoru pro vestavené systémy
- Jazyky pro popis architektury
- Prekladace
- Generické nástroje pro programováni a simulace aplikacne specifických instrukcních mikroprocesoru
- Transformace mezi jazyky pro popis architektury a hardwarove popisnými jazyky
- Aplikace formálních jazyku v prekladacích
Témata
- Výzkum a aplikace modelovacích technik pri vývoji informacních systému
- Objektove-orientované databázové systémy
- Získávání znalostí z databází
- Systémy pro podporu rozhodování, systémy OLAP
- Extrakce informace z dokumentu
- Webové technologie
- Interpretované jazyky a jejich pouzití
Témata
- Soft-computing
- Programoví agenti a multiagentní systémy
- Duvera a reputace v distribuovaných a multi-agentních systémech
- Robotické systémy a inteligentní senzory
- Bezdrátové senzorové síte
Témata
-
Management procesu, projektu, jakosti a rizik v softwarovém inzenýrství
-
Objektove orientované softwarové metriky a standardy
-
Metody specifikace procesu a IT projektu
-
Formální modely procesu
-
Metody a nástroje pro analýzu a návrh procesu
-
Zlepsování procesu vývoje software
-
Metody formální analýzy, návrhu a verifikace business procesu
-
Modelování a optimalizace business procesu
-
Business process reengineering
-
Rozvoj technologií aplikovaných v e-learningu
-
Vývoj nástroju pro podporu elektronického vzdelávání
-
Rízení, zlepsování a zabezpecení jakosti dle norem rady ISO 9000 Témata
- Systémy s diskrétními událostmi
- Petriho síte
- Hybridní systémy
- Modelování, simulace, analýza a návrh systému - metody a nástroje
Témata
- Objektove orientované Petriho síte (OOPN)
- Casová rozsírení Petriho sítí
- Temporální logiky a jejich rozsírení pro reálný cas s ohledem na Petriho síte
- Metody analýzy vysokoúrovnových Petriho sítí a jejich casovaných rozsírení
- Pocítacové nástroje zalozené na OOPN
- Aplikace OOPN
Témata
- Realistické zobrazování prostorových scén
- Zobrazování cásticových systému
- Velké a distribuované scény
- Akcelerace grafických algoritmu v hardware
- Animace kloubových soustav, jejich kinematika a dynamika
- Komprese obrazu a multispektrálních dat
- Uzivatelská rozhraní
Témata
- Metody pro zvýsení spolehlivosti a bezpecnosti softwaru vestavených systému
- Analýza a specifikace komunikujících vestavených systému
- Bezdrátová komunikace a senzorové síte
- Automatická analýza sítové bezpecnosti (projekt ANSA)
- Modelování a simulace pocítacových sítí se zamerením na Cisco technologie (projekt NeSiM)
- Návrh bezpecných komunikacních protokolu
Témata
- technologie FPGA
- HW/SW codesign
- jazyky pro popis HW/SW systému
- aplikacne specifické architektury
- akcelerace vysoce nárocných výpoctu
- aplikace v oblastech sítových technologií, bioinformatiky, EHW a multimédií
Témata
- Zpracování a fúze senzorických dat
- Detekce a klasifikace objektu
- Rozpoznání a identifikace lidí
- Lokalizace a mapování
- 3D modelování prostredí
- Simulace
- Pokrocilá a asistivní uzivatelská rozhraní
Témata
- Nekooperativní hry a aukcní mechanismy
- Algoritmická teorie her
- Modelování reálných strategických rozhodovacích situací
- Ekonomické modely
- Kombinatorická optimalizace
- Modely a optimalizátory výrobních procesu
Témata
- Výstavba dynamických matematických modelu ze základních principu
- Výber numerických intergracních metod zajistujících presnost a stabilitu
- Návrh programového vybavení pro specializovaný paralelní výpocetní systém
- Návrh specializovaného technického vybavení pro paralelní resení dynamických systému
- Návrh grafického uzivatelského rozhraní
- Studie tuhých systému
- Analýza regulacních obvodu
- Modelování elektrických obvodu
- Modelování mechanických a pneumatických systému (analogie s modelováním elektrických obvodu)
- Moderní metody resení parciálních diferenciálních rovnic
Témata
- strukturní jazykové modely
- syntaktická analýzaz
- ískávání ontologií z volného textu
- "dolování názoru"
- vyhledávání a extrakce informací z multimediálních dat
- lexikální databáze
- technologie sémantického webu
- elektronická podpora vzdelávání
Témata
- Automatický strih videosekvencí
- Algoritmy pro detekci a sledování objektu a cástí tela
- Akcelerace zpracování obrazu a videní v hardware
- Detekce objektu a tvaru
- Prumyslové a dopravní aplikace zpracování obrazu
Témata
- extrakce príznaku pro robustní rozpoznávání reci zalozená na poznatcích o lidském slysení
- kódování reci na velmi nízkých bitových rychlostech
- automatické urcování recových jednotek
- tvorba velkých recových databází
- odsumování reci
|
Fakulta informacních technologií
![[dnssec]](/common/img/dnssec.png)