Projekty

Vedeckovýskumné projekty

KEGA 052TUKE-4/2025
1. január 2025 do 31. december 2027

V tomto projekte sa zameriame na aktualizáciu obsahu a zavedenie moderných prístupov do výučby predmetu Teória typov. Naším hlavným cieľom je zatraktívnenie klasického procesu výučby predmetu, zavedením nových edukačných nástrojov a metód pomocou moderných softvérových riešení. V rámci tohto cieľa vyvinieme softvér, ktorý bude interaktívne, resp. automatizovane emulovať procesy výpočtov prostredníctvom vizualizačných nástrojov simulujúcich klasický postup výpočtu človekom. Zároveň do výučbového procesu zahrnieme využitie interaktívnych dokazovacích systémov, pomocou ktorých je možné modelovať jednotlivé teórie typov, a dokazovať ich vlastnosti prostredníctvom formálnych dôkazov. V rámci čiastkových cieľov sa zameriame na tvorbu webového portálu, aktualizáciu a rozšírenie existujúcich študijných materiálov (učebnica a prednášky). Vypracujeme novú učebnicu venovanú využitiu interaktívnych dokazovacích systémov pre účely preberaných teórií typov. Pripravíme zbierku riešených príkladov a pracovné listy pre laboratórne cvičenia.

Vedúci projektu:
Ing. Ján Perháč PhD.
APVV APVV-23-0408
1. júl 2024 do 30. jún 2028

Aby boli prístupnejšie odborníkom z praxe, je potrebné preniesť globálne architektonické znalosti na lokálnu úroveň spoločností zaoberajúcich sa vývojom softvéru a dokonca aj jednotlivých tímov a nechať, aby sa tam vyvíjali s ohľadom na kontext, v ktorom sa používajú. Napríklad návrhové vzory by mohli byť preformulované a prispôsobené, špecifické sekvencie vzorov by boli vytvorené a podporované úspešnými príbehmi tej-ktorej špecifickej komunity (takzvané príbehy vzorov) atď. Architektonické znalosti je potrebné ďalej rozvíjať s ohľadom na skutočnosť, že súčasné softvérové systémy fungujú v edge–cloud kontinuu. Edge–cloud kontinuum zavádza nové možnosti variácií, ktoré závisia od toho, ako je systém nasadený na úrovniach edge, mist, fog, a cloud. Ďalšou výzvou je, ako efektívne organizovať ľudí v takomto prostredí. Časti týchto, lokálne vyvinutýc h vedomostí, by si potom našli cestu na globálnu úroveň vo vedeckých článkoch, knihách alebo dokonca blogoch a podobne. V tomto projekte vyvinieme metódy vývoja lokálnych variantov návrhových vzorov a jazykov vzorov, aplikáciu návrhových vzorov v edge–cloud kontinuu, aplikáciu radov softvérových výrobkov v edge–cloud kontinuu a aplikáciu organizačných vzorov vývoja softvéru v edge–cloud kontinuu. Na podporu a vyhodnotenie metód vyvinieme zodpovedajúce nástroje. Očakávame tiež, že budeme dolovať a vyjadrovať v súčasnosti neznáme návrhové a organizačné vzory a jazyky vzorov pre edge–cloud kontinuum. Vyvinieme štyri evaluačné scenáre: telemonitorovanie zdravotného stavu pacienta, súlad automobilového softvéru, inžinierstvo obsahu vzdelávania a vývoj v otvorenom priestore.

Koordinátor na KPI:
prof. Ing. Jaroslav Porubän PhD.
APVV APVV-23-0196
1. september 2025 do 30. jún 2028

Cieľom projektu EvPres je vyvinúť metodiku monitorovania stavu mostov, ktorá umožní presnú kvantifikáciu predpätých síl v predpätých betónových konštrukciách. Výsledky tohto projektu významne prispejú k hodnoteniu technického stavu mostov po celej Európe, čo pomôže predchádzať ich náhlemu zlyhaniu alebo predčasnému uzavretiu. EvPres tak predstavuje kľúčový krok k zvýšeniu bezpečnosti a efektívnemu využívaniu predpätých betónových mostov naprieč Európou.

V rámci súčasného stavu poznania v oblasti kvantifikácie predpínacích síl v predpätých betónových mostoch boli identifikované tri hlavné výskumné medzery (RG):
  • RG1: Nedostatok pokročilých numerických modelov/digitálnych dvojčiat predpätých betónových nosníkov a predpätých betónových mostov.
  • RG2: Nedostatočne rozvinuté metodológie pre SHM na kvantifikáciu predpínacích síl v predpätých betónových mostoch.
  • RG3: Absencia jednotnej metodológie na určenie predpínacích síl v predpätých betónových mostoch.
Riešiteľ:
Ing. Ján Perháč PhD.