Az autóipari funkcionális biztonság szabvány (ISO26262) szerinti fejlesztés integrációja a modell-alapú rendszerfejlesztésbe: követelménykezelés, safety attribútum kezelés/örökítés a modellezési szintek között, stb. A feladat a Bosch fejlesztőközponttal együttműködve végzendő potenciálisan gyakornoki lehetőséggel egybekötve.

A feladat célja kézzel írt szövegek szerzőségének megállapítása. A kb. 1000 oldalas adathalmaz 6-7 szerzőtől származik. A dokumentumok nagy részének a szerzősége egyértelmű, de egyeseké vitatott, kérdéses. Ezek megállapítására kell egy megoldást elkészíteni.

A ChatGPT lázba hozta a világot: jelesre megír egy ZH-t, fogalmazásokat készít önállóan egy megadott témakörből és jól válaszol a felhasználó kérdéseire. De mi van a mélyben? Több egy felszínes tudású dumagépnél? Hogyan és mire használhatók a képességei ipari alkalmazásokban? Konkrét alkalmazási feladatokon keresztül ezekre keressük a választ az önálló labor során.

Modellezési nyelveket használnak komplex rendszerek tervezése és megvalósítása során. A rendszerek helyes működéséhez szükséges, hogy a tervezőmérnökök és a felhasznált modellezőeszközök azonos módon értelmezzék a szabványok (pl. UML) egyes pontjait. A feladat során modellezési nyelvek szemantikáját és a meglévő eszközöket lehet vizsgálni, ill. tesztelésükre új eszközöket és módszereket készíteni.

Gondoltál már rá, hogy milyen szoftverekkel tervezik az autókat, repülőket, úrhajókat? Informatikusként nem csak úgy dolgozhatsz ezeken a területeken, hogy vezérlő szoftvereket fejlesztesz - legalább ekkora szerepe van azoknak a szakembereknek, akik a tervezés rendkívül bonyolult folyamatát segítik célzott eszközökkel. Ilyen eszközök fejlesztéséhez és kutatásához csatlakozhatsz ebben a témában.

Az autonóm járművek mesterséges intelligenciára épülő komponensei egyre összetettebb feladatokat látnak el, azonban a helyességellenőrzésük jelentős kihívást jelent. Ez egy kiemelten fontos kutatási területté vált, de a kapcsolódó szimulátoros tesztelési technikák kidolgozása még kezdetleges. A téma keretében lehetőség van szimulátoros tesztelési technikák megismerésére, kipróbálására.

A hagyományos oktatáshoz képest az e-learning előnyei közé sorolják, hogy segíti a tananyag elsajátítását, növeli a motiváltságot, illetve vele szemléletesebben bemutathatóak egyes folyamatok, illusztrációk. A feladat során a mérnökinformatikus képzés kompetenciáinak oktatását segítő, valamint azok számonkérését lehetővé tévő (elsősorban webes) eszközök fejlesztése a feladat.

Biztonságkritikus rendszerek tervezésekor fontos kvantitatív követelményeket is szem előtt tartani. Ezek meghatározásához olyan modell szükséges, amely a valószínűségi viselkedést is leírja. Azonban a gyakorlatban ezek elemzése naív módszerekkel kezelhetetlen. Az önálló labor során a megbízhatósági elemzésben használt modellekkel és algoritmusokkal való megismerkedésre nyílik lehetőség.

A Theta modellellenőrző keretrendszerhez kapcsolódó elméleti és gyakorlati fejlesztések, algoritmusok kidolgozása, implementálása és bizonyítása foglalja magában. Meglévő implementációk optimalizálását, új irányok felderítését és friss tudományos eredmények alapján algoritmus-implementálást lehet a téma keretében végezni.

A biztonságkritikus rendszerek helyes működése kulcsfontosságú: az azokban jelenlévő legkisebb hiba is súlyos anyagi kárral járhat, akár emberi életekbe is kerülhet. A modellellenőrzés képes a rendszer helyességének bizonyítására és a hibák megtalálására, felhasználását azonban hátráltatja nagy számításigénye. Fontos megoldandó probléma tehát a modellellenőrző algoritmusok optimalizálása.

Gyakran van szükség arra, hogy hosszabb idősorokban a megfigyelt személy vagy objektum viselkedésének változását minél előbb detektáljuk - rendszerint valamilyen diagnózis céljából (a készülék meghibásodott... nagypapa egészsége megrendült... a férjem/feleségem meghülyült...).

Az otthoni megfigyelés, életvitel informatikai támogatása egyre fontosabbnak tűnik (Ambient Assisted Living, AAL). Viszont az otthoni megfigyelés hardver eszközei, a mérések rendkívűl nehézkesek, lassúak, célszerű egy életvitelt modellező szimulátor kialakítása. Ennek segítségével számos izgalmas algoritmus is tesztelhetővé válik.

A mesterséges intelligencia fejlődése, különösen új oksági következtetési algoritmusok megjelenése új lehetőségeket kínál komplex jelenségek mélyen rejlő okainak a feltárására. Az önálló munka célja ezek megismerése, alkalmazása és továbbfejlesztése az öregedés és a mentális egészség területén, különös tekintettel a depresszióra és a neurodegenerációra.

A komplex modelleket használó adatelemzés nagy adatigénye miatt az elemzések eredménye gyakran plauzibilis modellek sokasága. A kutatás célja több absztrakciós szinten lévő kapcsolt reprezentációk használata jegykiválasztás és oksági összefüggések utóelemzésére és kimutatására. Fő alkalmazás a biomarkerek kutatása a mentális egészség, neurodegeneráció és öregedéskutatás területén.

Az önálló munka keretében megismerhető a Bayes háló reprezentáció, a döntési hálók, ami a döntéstámogatás kurrens eszköze, és cél egy azt funkcionálisan támogató modern grafikus felület megvalósítása, amely a valószínűségi és oksági következtetések, döntések magyarázatát is támogatja ("explainable AI", XAI).

A feladat lényege egy olyan rendszer megvalósítása, amely kontrollált természetes nyelvű állítások bevitelét teszi lehetővé. A rendszer célja, hogy a felhasználók számára természetes, könnyen elsajátítható eszközzel tegye lehetővé a tudásbevitelt. A feladat speciális előismereteket nem igényel.

A felvezetőtechnika fejlődésével az alkalmazások növekvő számítási kapacítás elvárásainak kielégítésére megjelnnek a többmagos, heterogén architektúrájú mikrovezérlők. A feladat ilyen rendszerekben (pl. ST STM32H745/755, TI AM 243x) a FreeRTOS alkalmazási lehetőségeinek a vizsgálata.

A feladat annak feltérképezése, hogy önvezető járművekben milyen célból és hogyan célszerű természetes nyelvű interfészt megvalósítani, illetve egy prototípus implementáció elkészítése.

A hálózati terjesztéses algoritmusok az elmúlt években jelentős szerephez jutottak számos tudományterületen, például a bioinformatikában is. A feladat megoldása során a cél különféle hálózati terjesztési algoritmusok elméleti alapjának megismerése, gyakorlati megvalósítása és alkalmazása orvosbiológiai problémák vizsgálatára.

A feladat lényege egy olyan Androidos alkalmazás készítése, amely valamilyen alkalmazási területen természetes nyelvű (akár hangalapú) kommunikációt valósít meg.

Ujgenerációs DNS szekvenálási munkafolyamatok intelligens automatizálása és döntéstámogatása

Az önálló laboratórium során meglevő kópiaszám változás detektáló algoritmusok teljesítményét vizsgáljuk, valamint a változások hatását emberek jegyeire.

A feladat egy konkrét MI ontológia kifejlesztése, ami egy elképzelt MI lexikon logikai referencia váza, amihez csatoltan meg lehet jeleniteni és vándorolni konkrét tájékoztató tartalmak között.

Viták, érvelések modellezése, részben automatikus kiértékelése, érvelési algoritmusok, vitaportál fejlesztése