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ákladě CT/MR dat.
- Tvorba 3D geometrických modelů lidských tkání na základě segmentovaných CT/MR dat.
- Tvorba reálných modelů lidských tkání s využitím technologie Rapid prototyping.
- 3D digitalizace reálných objektů pro potřeby klinických aplikací.
- Počítačová podpora klinických aplikací, plánování, navigace, simulace, tréning atd.
- Navigace se zpětnou vazbou pro potřeby klinických aplikací.
Témata
- biometrické systémy
- bezpečnost
- robotika
- inteligentní senzory
- bezdrátové sítě
- vestavěné systémy
- vojenské aplikace
Témata
- Monitorování a bezpečnost počítačových sítí
- Akclerace časově krtických obperací, jako je analýza hlaviček paketů, klasifikace paketů, udržování a správa síťových toků, hledání nejdelšího společného prefixu ah ledání řetězců nebo regulárních výrazů)
- Návrh zařízení a systémů pro síťovou infrastrukturu, monitorování a bezpečnost sítí
- Vícejádrové procesory a technologii FPGA v síťových aplikacích
Témata
- Standardní a pokročilé genetické algoritmy, teorie a praktické využití
- Evoluční algoritmy EDA, teorie a rychlé prototypování aplikací
- Aplikace EDA algoritmů pro skupinové komunikace
- Akcelerace evolučních algoritmů s využitím nekonvenčních výpočetních architektur (GPU, IBM Cell,...)
Témata
- Skupinové komunikační algoritmy
- Výkonnost paralelních systémů
- Výkonnostní modely systémů se sdílenou pamětí a GPGPU
- Modifikace principů a technik paralelních systémů při implementaci na úrovni čipu (multi-core, many-core)
- Aplikačně-specifické (vestavěné) paralelní systémy
- Grafické a multimediální systémy
- Systémy odolné proti poruchám
- Komprese dat, obrazů a videa
Témata
- Automatizovaná formální verifikace nekonečně stavových systémů (systémy s
dynamickými
datovými strukturami, jako jsou různé typy seznamů a stromů -- i v podobě v jaké se užívají např. v jádře Linuxu, neomezenými celočíselnými proměnnými, poli, parametry, rekurzí, neomezenými komunikačními kanály apod.), a to zejména s využitím teorie jazyků a automatů a také různých typů logik.
- Výzkum efektivních technik pro práci s automaty či logikami (např. simulační redukce nedetereministických automatů, efektivní testování inkluze nad nedeterministickými automaty -- viz www.languageinclusion.org -- apod.).
- Automatická verifikace a odhalování chyb v paralelním software s využitím širokého spektra metod (statická a dynamická analýza, inteligentní testování, model checking), včetně možnosti sebe-opravování programů za běhu.
Témata
- Návrh pro snadnou testovatelnost (diagnostika funkčních bloků a pamětí, vestavěná diagnostika), analýza testovatelnosti
- Systémy odolné proti poruchám (metody průběžného testování, hlídací obvody, spolehlivostní modely architektur, částečná dynamická rekonfigurace založená na FPGA, mechanismy zamezení přetížení vestavných systémů v důsledku nadměrného počtu podnětů)
- Využití evolučních postupů při návrhu číslicových obvodů (generování benchmarkových obvodů, optimalizace pro snadnou testovatelnost, redukci příkonu a doby testu)
Témata
- vyvíjející se obvody v FPGA
- evoluční logická syntéza a optimalizace
- development pro vyvíjející se obvody
- polymorfní elektronika: čip REPOMO32, syntéza polymorfních obvodů, aplikace
- teorie a aplikace vyvíjejících se komponent
- evoluční návrh nových, testovatelných a poruchám odolných obvodů
- celulární systémy - aplikace v modelování a predikci dopravy
- celulární nanopočítače - odolnost proti poruchám
Témata
- teoretické základy informačních systémů
- formální jazyky a jejich modely
- specifikace a překlad jazyků
- aplikace formálních modelů
Témata
- Hardware-Software codesign mikroprocesorů pro vestavěné systémy
- Jazyky pro popis architektury
- Překladače
- Generické nástroje pro programováni a simulace aplikačně specifických instrukčních mikroprocesorů
- Transformace mezi jazyky pro popis architektury a hardwarově popisnými jazyky
- Aplikace formálních jazyku v překladačích
Témata
- Výzkum a aplikace modelovacích technik při vývoji informačních systémů
- Objektově-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 dokumentů
- Webové technologie
- Interpretované jazyky a jejich použití
Témata
- Soft-computing
- Programoví agenti a multiagentní systémy
- Důvěra a reputace v distribuovaných a multi-agentních systémech
- Robotické systémy a inteligentní senzory
- Bezdrátové senzorové sítě
Témata
-
Management procesů, projektů, jakosti a rizik v softwarovém inženýrství
-
Objektově orientované softwarové metriky a standardy
-
Metody specifikace procesů a IT projektů
-
Formální modely procesů
-
Metody a nástroje pro analýzu a návrh procesů
-
Zlepšování procesu vývoje software
-
Metody formální analýzy, návrhu a verifikace business procesů
-
Modelování a optimalizace business procesů
-
Business process reengineering
-
Rozvoj technologií aplikovaných v e-learningu
-
Vývoj nástrojů pro podporu elektronického vzdělávání
-
Řízení, zlepšování a zabezpečení jakosti dle norem řady ISO 9000 Témata
- Systémy s diskrétními událostmi
- Petriho sítě
- Hybridní systémy
- Modelování, simulace, analýza a návrh systémů - metody a nástroje
Témata
- Objektově orientované Petriho sítě (OOPN)
- Časová rozšíření Petriho sítí
- Temporální logiky a jejich rozšíření pro reálný čas s ohledem na Petriho sítě
- Metody analýzy vysokoúrovňových Petriho sítí a jejich časovaných rozšíření
- Počítačové nástroje založené na OOPN
- Aplikace OOPN
Témata
- Realistické zobrazování prostorových scén
- Zobrazování částicových systémů
- Velké a distribuované scény
- Akcelerace grafických algoritmů v hardware
- Animace kloubových soustav, jejich kinematika a dynamika
- Komprese obrazů a multispektrálních dat
- Uživatelská rozhraní
Témata
- Metody pro zvýšení spolehlivosti a bezpečnosti softwaru vestavěných systémů
- Analýza a specifikace komunikujících vestavěných systémů
- Bezdrátová komunikace a senzorové sítě
- Automatická analýza síťové bezpečnosti (projekt ANSA)
- Modelování a simulace počítačových sítí se zaměřením na Cisco technologie (projekt NeSiM)
- Návrh bezpečných komunikačních protokolů
Témata
- technologie FPGA
- HW/SW codesign
- jazyky pro popis HW/SW systémů
- aplikačně specifické architektury
- akcelerace vysoce náročných výpočtů
- aplikace v oblastech síťových technologií, bioinformatiky, EHW a multimédií
Témata
- Zpracování a fúze senzorických dat
- Detekce a klasifikace objektů
- Rozpoznání a identifikace lidí
- Lokalizace a mapování
- 3D modelování prostředí
- Simulace
- Pokročilá a asistivní uživatelská rozhraní
Témata
- Nekooperativní hry a aukční 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 procesů
Témata
- Výstavba dynamických matematických modelů ze základních principů
- Výběr numerických intergračních metod zajišťujících přesnost a stabilitu
- Návrh programového vybavení pro specializovaný paralelní výpočetní systém
- Návrh specializovaného technického vybavení pro paralelní řešení dynamických systémů
- Návrh grafického uživatelského rozhraní
- Studie tuhých systémů
- Analýza regulačních obvodů
- Modelování elektrických obvodů
- Modelování mechanických a pneumatických systémů (analogie s modelováním elektrických obvodů)
- Moderní metody řešení 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ázorů"
- vyhledávání a extrakce informací z multimediálních dat
- lexikální databáze
- technologie sémantického webu
- elektronická podpora vzdělávání
Témata
- Automatický střih videosekvencí
- Algoritmy pro detekci a sledování objektů a částí těla
- Akcelerace zpracování obrazu a vidění v hardware
- Detekce objektů a tvarů
- Průmyslové a dopravní aplikace zpracování obrazu
Témata
- extrakce příznaků pro robustní rozpoznávání řeči založená na poznatcích o lidském slyšení
- kódování řeči na velmi nízkých bitových rychlostech
- automatické určování řečových jednotek
- tvorba velkých řečových databází
- odšumování řeči
|
Fakulta informačních technologií
![[dnssec]](/common/img/dnssec.png)