Projekty

Názov projektuzoradiť zostupne Stručný popis projektu
Hodnotenie a metriky doménovej použiteľnosti

Použiteľnosť zlepšuje a zefektívňuje prácu s používateľskými rozhraniami vo všetkých doménach. Doménová použiteľnosť je stránka použiteľnosti, ktorá sa zaoberá doménovým obsahom používateľských rozhraní po terminologickej stránke. Ak nie sú použité správne pojmy alebo rozhanie obsahuje gramatické či štylistické chyby, jeho použiteľnosť sa znižuje.

Hlavným cieľom tohto projektu je navrhnúť metódy a nástroje, ktoré podporia vývoj použiteľných rozhraní po doménovej stránke. Touto cestou chceme prispieť k vývoju lepších, človeku priateľskejších používateľských rozhraní.

Tento cieľ si vyžaduje identifikáciu metód pre hodnotenie použiteľnosti používateľských rozhraní a metrík, ktoré sa na toto hodnotenie používajú a následný návrh metrík a automatizovanej metódy pre hodnotenie doménovej použiteľnosti používateľských rozhraní.

Implementácia moderných metód a foriem výučby v oblasti bezpečnosti informačných a komunikačných technológií k požiadavkám praxe

Hlavným cieľom projektu je hľadanie nových metód, foriem a technológií pre integráciu výučby v oblasti bezpečnosti do predmetov na vysokých školách v študijných programoch zameraných na informatiku a informačné technológie. V súčasnoti je v informatických štúdijných programoch častokrát oddeľovaná výučba bezpečnosti IT vzhľadom k používaniu IT resp. k vytváraniu nových systémov, architektúr. Pri vývoji softvérových systémov alebo iných systémov IT v praxi sú však princípy, technológie a procesy neodlúčiteľné a sú systematicky aplikovateľné počas celého trvania vývoja softvéru vrátane riešenia otázok bezpečnosti. Vychádzajúc z aktuálneho stavu na vysokých školách v tomto projekte sa sústredime na hľadanie nových metód a foriem vyučovania predmetov v oblasti bezpečnosti IT, ktoré umožnia lepšie prepojenie ostatných predmetov štúdijného programu Informatika a bezpečnosti do harmonického celku. Tomuto bude podriadená nielen inovácia obsahovej stránky niektorých predmetov ale sústredíme sa aj na vytváranie nástrojovej podpory, ktorá odbremení učiteľa od nekreatívnych a časovo náročných úloh. Je možné očakávať, že prehĺbenie vzájomného prepojenia predmetov Informatiky, počítačového a softvérového inžinierstva vzhľadom k otázkam bezpečnosti IKT(informačné a komunikačné technológie) prinesie zvýšenie kvality prípravy študentov štúdijného programu Informatika. Preto strategickým cieľom projektu je hľadanie nových metód, foriem a technológií pre transfér znalostí z oblasti bezpečnosti do ostatných predmetov študijných programov za pomoci vhodnej platformy smerom k strategickým požiadavkám praxe. Študenti budú môcť 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.

Improving Applicability of Nature-Inspired Optimisation by Joining Theory and Practice

Nature-inspired search and optimisation heuristics are easy to implement and apply to new problems. However, in order to achieve good performance it is usually necessary to adjust them to the problem at hand. Theoretical foundations for the understanding of such approaches have been built very successfully in the past 20 years but there is a huge disconnect between the theoretical basis and practical applications. The development of powerful analytical tools, significant insights in general limitations of different types of nature-inspired optimisation methods and the development of more practically relevant perspectives for theoretical analysis have brought impressive advances to the theory-side of the field. However, so far impact on the application-side has been limited and few people in the diverse potential application areas have benefitted from these advances.

The main objective of the COST Action is to bridge this gap and improve the applicability of all kinds of nature-inspired optimisation methods. It aims at making theoretical insights more accessible and practical by creating a platform where theoreticians and practitioners can meet and exchange insights, ideas and needs; by developing robust guidelines and practical support for application development based on theoretical insights; by developing theoretical frameworks driven by actual needs arising from practical applications; by training Early Career Investigators in a theory of nature-inspired optimisation methods that clearly aims at practical applications; by broadening participation in the ongoing research of how to develop and apply robust nature-inspired optimisation methods in different application areas.

Integrácia kvality softvérových procesov do osnov inžinierskych informatických programov technických univerzít - návrh štruktúry a realizácia náplne aktuálnych predmetov softvérového inžinierstva

KEGA č. 050TUKE-4/2013

Integrácia softvérových procesov do výučby programovania

Strategickým cieľom projektu je hľadanie nových metód, foriem a technológií pre integráciu výučby procesov softvérového inžinierstva do predmetov výučby programovania na vysokých školách v študijných programoch zameraných na informatiku a informačné technológie. V súčasnosti je v informatických študijných programoch mnohokrát oddeľovaná výučba programovania od procesnej stránky tvorby softvéru. Pri vývoji softvérových systémov v praxi sú však princípy, technológie a procesy neodlúčiteľné a sú systematicky aplikované počas celého trvania vývoja softvéru. Vychádzajúc z aktuálneho stavu na vysokých školách, v tomto projekte sa sústredíme na hľadanie nových metód a foriem vyučovania predmetov o tvorbe softvéru, ktoré umožnia prepojenie výučby programovania, technológií a procesov vývoja softvéru do harmonického celku. Tomuto bude podriadená nielen inovácia obsahovej stránky viacerých predmetov ale budeme sa výrazne sústrediť aj na vytváranie nástrojovej podpory, ktorá odbremení učiteľa od nekreatívnych a časovo náročných úloh. V oblasti návrhu a vytvárania nástrojov pre podporu metód vyučovania programovania sa zameriame na otázku simulácie procesov softvérového inžinierstva počas vytvárania softvérového produktu študentom. Simulácia bude v riešenom projekte zastupovať členov projektového tímu, vrátane projektového manažéra, ktorý bude dozerať na plnenie úloh a postup v rámci definovaného procesu. Nástrojová podpora umožní automatizovať získavanie okamžitej spätnej väzby pre študenta a vytvorí pre vyučujúceho priestor na individuálne venovanie sa študentovi.

Integrácia základných teórií softvérového inžinierstva do predmetov informatických študijných programov technických univerzít - návrh štruktúry a realizácia predmetov


Inteligentné dynamické riadenie frekvenčného spektra pre nastupujúce kognitívne komunikačné systémy

Hlavná technologická výzva sprevádzaná 5. generáciu mobilných komunikačných systémov je efektívne využitie dostupného frekvenčného spektra. Statické prideľovania frekvenčného spektra sa javí ako nedostatočné a jedno z možných riešení tohto problému je dynamické prideľovanie spektra pri použití technológie kognitívneho rádia. Technológia kognitívneho rádia je v súčasnosti mimoriadne diskutovaná oblasť, v ktorej sa otvára celé spektrum vyšetrovaných tém. Dynamické pridelovanie spektra je možné považovat za jednu z najvýznamnejších. Za základne funkčné bloky kognitívneho rádia je možné označiť blok monitorovania spektra, blok distribúcie a zdieľania spektra a nakoniec ekonomický blok distribúcie spektra. Súčasný stav poznania v oblasti dynamického prideľovania spektra sa výrazne limituje na analýzu vyšetrovania prevádzkových vlastností jednotlivých blokov, avšak ich vzájomná optimalizácia v dôsledku vysokej komplexity kognitívnej rádiovej siete je často obchádzaná. S cieľom riešiť tento problém, bude projekt IDR-KKS zameraný na vzájomnú optimalizáciu prevádzkových parametrov monitorovania a zdieľania spektra a ich dopad na navrhnuté ekonomické modely uvažovaných bezdrôtových štandardov 5G. Za účelom zachytenia vysokej dynamiky kognitívnej rádiovej siete, budeme v rámci projektu IDR-KKS uvažovať agentový prístup k modelovaniu a simulácií, ktorý sa ukázal ako veľmi efektívny v iných vedných odboroch (fyzika, ekonómia). Efektívnosť navrhnutých agentových modelov bude verifikovaná podľa vhodne zvolených scenárov. V rámci projektu IDR-KKS bude tiež realizovaná experimentálna kognitívna rádiová sieť umožňujúca verifikovať agentové modely aj v reálnej prevádzke.

IT Akadémia – vzdelávanie pre 21. storočie

Vytvorenie modelu vzdelávania a prípravy mladých ľudí pre aktuálne a perspektívne potreby vedomostnej spoločnosti a trhu práce so zameraním na informatiku a IKT

NADVÄZNOSŤ NA ŠPECIFICKÉ CIELE OP ĽZ:

1.1.1 Zvýšiť inkluzívnosť a rovnaký prístup ku kvalitnému vzdelávaniu a zlepšiť výsledky a kompetencie detí a žiakov

Korelácia s očakávanými výsledkami a aktivitami v rámci daného špecifického cieľa:

  • zvýšenie matematických, prírodovedných a IKT zručnosti žiakov
  • podpora spolupráce v oblasti výmeny skúsenosti vo výchovno-vzdelávacom procese (sieťovanie medzi školami,…)
  • zapojenie odborníkov z iných sektorov do procesu vzdelávania
  • uskutočňovanie stáží a praktickej prípravy pedagógov v nadväznosti na prepojenie teoretickej a praktickej výučby

1.3.1 Zvýšiť kvalitu VŠ vzdelávania a rozvoj ľudských zdrojov v oblasti výskumu a vývoja s cieľom dosiahnuť prepojenie VŠ vzdelávania s potrebami trhu práce

Korelácia s očakávanými výsledkami a aktivitami v rámci daného špecifického cieľa:

  • zvýšenie záujmu o štúdium STEM a IT
  • podpora inovačných a riešiteľských schopnosti v rámci vyššieho vzdelávania
  • tvorba a inovácia študijných programov s dôrazom na potreby trhu práce
  • podpora inovatívnych a alternatívnych metód vzdelávania a vyučovacích metód
  • zapájanie odborníkov z iných sektorov do procesu vzdelávania
  • zvýšenie kvality vzdelávania a popularizácia štúdia STEM a IT v učiteľských odboroch
IT4KT – Informačné technológie pre prenos znalostí

Projekt ERDF č. 26220220123
Web Portál IT4KT
https://it4kt.kpi.fei.tuke.sk/

Koalgebraické modely komponentových systémov

Spoločenská prax si vyžaduje neustály vývoj rozsiahlych komplexných programových systémov. Jedným z najdôležitejších cieľov softvérového inžinierstva je vývoj spoľahlivých programových systémov, ktoré poskytujú očakávané výsledky podľa požadovaného správania. Komplexné systémy sú zložené z komponentov, ktoré sú vyvíjané nezávisle, často v rôznych programovacích jazykoch a paradigmách. Zároveň musia byť vzájomne prepojené tak, že ich kooperáciou sa dosiahne očakávané správanie celého systému. Preto interakcie medzi komponentmi, kontrakty a závislosti sú kľúčovým pojmom v komplexnom systéme. Konštrukcia verifikovateľného modelu správania sa komponentových systémov je dôležitou súčasťou formulácie behaviorálnych modelov komplexných systémov. V tomto projekte navrhneme explicitné koalgebraické modely, metódy verifikácie a postupy, ktoré sa použijú pri sledovaní správania komplexných programových systémov. Tým projekt prispeje k teoretickým aj praktickým aspektom softvérového inžinierstva.

Stránky