Projekty
| Názov projektu | Stručný popis projektu |
|---|---|
| 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. |
| 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í. |
| 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 |
|
| 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. |
| 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. |
| Mikrolearningové prostredie pre vzdelávanie odborníkov v oblasti informačnej bezpečnosti |
|
| 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. |
| ERASMUS+ KA1 - Mobility projects between Programme and Partner Countries in the field of higher education |
2015-1-SK01-KA107-008876 - Mobilita študentov a zamestnancov vysokých škôl do/z partnerských krajín |
| ERASMUS+ KA1 - Mobility for learners and staff - Higher Education Student and Staff Mobility |
Academic contact for:
|
| BIP3 - Balík zlepšení kvality TUKE prostredníctvom sietí |
http://www.tuke.sk/tuke/strukturalne-fondy-eu/vyzva-1-2-vysoke-skoly-a-v... |
