Projekty

Názov projektuzoradiť zostupne Stručný popis projektu
Návrh a vývoj verifikovateľnej BDI architektúry pre IDS s využitím komponentových systémov a systémov virtuálnej reality
V súčasnej informačnej spoločnosti je počítačová bezpečnosť nesporne veľmi aktuálnou oblasťou výskumu. V tejto oblasti musí byť obzvlášť kladený dôraz na návrh a vývoj spoľahlivých a bezpečných programových systémov. Jednou z možností ich vývoja je využitie komponentových systémov. V tomto projekte rozšírime pasívnu rolu IDS na aktívnu (t.j. automatizované reakcie systému na detegované sieťové narušenie). Na to využijeme inteligentnú BDI architektúru, ktorú navrhneme pre naše účely. Pri návrhu takejto architektúry musí byť obzvlášť kladený dôraz na jej korektnosť a spoľahlivosť. To bude zaručené využitím vhodných verifikačných formálnych metód. Navrhnutú architektúru implementujeme ako komponentový systém, kde jednotlivé komponenty budú predstavovať funkčné jednotky BDI architektúry. Ďalším cieľom bude vytvorenie vhodného používateľského rozhrania prostredníctvom systémov virtuálnej reality kvôli empirickému overovaniu práce s navrhnutým systémom.
Nová inžinierska disciplína: zelený softvér

Cieľom projektu je naštudovanie a návrh techník, ktoré umožnia programátorom rozhodovať o svojich programoch v zmysle spotreby energie na základe vybraných modelov. Naviac plánujeme vyvinúť nástroje na vytváranie energetického profilu, detektory energetických chýb, vzory refaktorizácie s cieľom zmeniť spotrebu energie, testvéry zamerané na spotrebu energie a optimalizovače spotreby energie, pomocou ktorých nástrojov poukážeme na vzťah medzi zdrojovým kódom a spotrebou energie a na to, že sa to dá optimalizovať. Naše techniky a nástroje overíme na reálnych aplikáciách.

Podpora vzájomného prepojenia predmetov počítačového a softvérového inžinierstva s využitím KPIkitu

Rozvoj informatiky v súčasnosti priamo i nepriamo významne ovplyvňuje takmer všetky vedné disciplíny, najmä oblasť nových informačných, komunikačných a sieťových technológií. Osobitný význam majú rozmanité aplikácie vložených a počítačových systémov pri tvorbe, projektovaní, transformácii a automatizácii informačných a riadiacich systémov. Na úspešné zvládnutie úlohy projektovania takýchto systémov absolvent študijného programu Informatika musí byť oboznámený tak s hardvérovou, ako aj so softvérovou stránkou riešenia. Očakávame, že prehĺbenie vzájomného prepojenia predmetov počítačového a softvérového inžinierstva prinesie zvýšenie kvality prípravy študentov študijného programu Informatika. Preto strategickým cieľom projektu je hľadanie nových metód, foriem a technológií pre transfer znalostí z počítačového inžinierstva do predmetov softvérového inžinierstva a vice versa za pomoci vhodnej hardvérovej platformy (KPIkitu). Riešenie bude sledovať dva hlavné ciele, a to technické zabezpečenie novej formy výučby vybraných softvérovo, resp. hardvérovo orientovaných predmetov a vytvorenie návodov a množiny príkladov na použitie KPIkitu. Študenti si budú môcť za pomoci KPIkitu realizovať pragmatické projektové úlohy, definované príslušným predmetom s praktickým využitím výsledku, čo podľa očakávania riešiteľského kolektívu bude mať pozitívny dopad na kvalitu vzdelávania v študijnom programe Informatika.

Pokročilá výučba softvérového inžinierstva - metódy a nástroje

APVV MVTS SK-AT-0024–12

Princípy a metódy automatizovanej abstrakcie počítačových jazykov a tvorby softvéru na základe sémantického obohacovania v dôsledku komunikácie

Projekt VEGA č. 1/0341/13

Rozvoj Centra informačných a komunikačných technológií pre znalostné systémy

Projekt ERDF č. 26220120030

Slovník viacslovných pomenovaní (lexikografický, lexikologický a komparatívny výskum)

Projekt sa zameriava na výskum viacslovných pomenovaní (VP) s najmenej dvomi autosyntagmatickými komponentmi, ktoré majú nefrazeologický a neterminologický charakter (resp. sú determinologizované) a používajú sa v bežnej komunikácii, napr. základná škola, sprchovací kút, dať prednosť. Tento druh lexém doteraz nebol komplexne lexikograficky
spracovaný (ani v slavistike, ani v iných lingvistikách).

Úlohou TUKE je poskytnúť podporu pri počítačovom spracovaní vstupných dát a spracovaní štatistík.

ViLMA: Virtuálne laboratórium pre malvérovú analýzu

Cieľom projektu je poskytnúť inovatívne prostredie pre výučbu počítačovej bezpečnosti a výskum v oblasti škodlivého softvéru. Študenti sa budú venovať problematike škodlivého softvéru na rôznych úrovniach ako sú operačné systémy, počítačové siete, programovanie či reverzné inžinierstvo. Inovatívne výučbové prostredie je založené na oddelenej virtuálnej platforme, s možnosťou experimentovania a skúmania ľubovoľných útokov a hrozieb bez obmedzení. Nástroje a prostriedky laboratória umožnia študentom praktické oboznámenie sa so súčasnými trendmi v oblasti počítačovej bezpečnosti a detekcie škodlivého softvéru.

Virtuálno-realitné technológie v procese vzdelávania handicapovaných osôb

Projekt je zameraný na využitie pokročilých postupov a technológií virtuálnej reality ako mimoriadne progresívnych technológií v kontexte HCI (Human Computer Interaction) na lepšie, ľahšie, rýchlejšie pochopenie a zatraktívnenie výučby handicapovaných osôb v tých smeroch, ktoré sa vyznačujú ťažšie zvládnuteľnými konceptmi. Projekt je koncepčným pokračovaním predchádzajúceho pilotného projektu. Čiastkovým cieľom je vytvorenie experimentálneho pracoviska pre praktické overovanie týchto technológií s premietnutím ich výsledkov do špeciálnej pedagogickej praxe. Ďalším cieľom je vytvorenie podporných programových a prezentačných prostriedkov ako pre klasické, tak pre mobilné technológie a vytvorenie/dotvorenie web-stránky na sprístupnenie vyvinutého programového vybavenia, postupov a príkladov. Osobitná pozornosť je venovaná najmä prepojeniu uvedených technológií s výučbovým procesom v oblasti sluchovo-postihnutých osôb a osôb s viacnásobným postihnutím. Je predpoklad že sa takto dosiahne lepšie, ľahšie a rýchlejšie pochopenie bázických komunikačných metód týmito osobami, zvýšenie schopnosti ich správneho praktického použitia a začlenenia sa do modernej informačnej spoločnosti.

Vylepšovanie kognície a motorickej rehabilitácie s využitím zmiešanej reality

Technologický pokrok založený na zmiešanej realite (ZR) ponúka rôzne výzvy pre výskum a liečbu. Projekt sa zameriava na dva ciele, orientované na zdravých jedincov and na hemiparetických pacientov po cievnej mozgovej príhode. Po prvé, budeme testovať hypotézu, či kognitívny tréning s využitím vhodne nadizajnovaného prostredia ZR zlepší percepčné a kognitívne vlastnosti zdravých jedincov. Toto budeme testovať počítačovými psychologickými experimentmi ako aj meraním na udalosť viazaných potenciálov (ERP) mozgu. Po druhé, budeme testovať hypotézu, či skúsenosť s trénovaním v ZR (v kombinácii s nami vyvinutým rozhraním mozog-počítač na báze motorických predstáv), zlepší oscilačné senzo-motorické rytmy u pacientov. To budeme testovať meraním EEG aktivity mozgu subjektu pred a po každej tréningovej sekcii, pomocou klinického testovania, ako aj pomocou dotazníkov, s cieľom odhaliť ľudské faktory ovplyvniteľné meraním, ako mentálna únava, motivácia, iritácia alebo ospalosť. Pri oboch cieľoch budeme nadizajnujeme a naimplementujeme sadu testovacích procedúr, vykonáme batériu experimentov a kriticky vyhodnotíme výsledky s cieľom validácie ZR dizajnov.

Stránky