Használhatja az összetett keresést, ha kulcsszavak, és a munkatársak / doktoranduszok listáját, ha konzulens szerint szeretne keresni.
Nagy megbízhatóságú AI rendszerek fejlesztése
A mesterséges intelligencia alapú megoldásokat egyre több kritikus területen tervezik alkalmazni, ahol a komponens hibás működése katasztrofális következményekkel járhat.
A hallgató feladata egy AI-alapú demonstrátor rendszer készítése hibatűrési minták és megoldások segítségével.
Smart-grid rendszerek modell alapú fejlesztése
A smart grid rendszerek esetén a nagy komplexitást csak fejlett tervezési módszertanok segítségével lehet megvalósítani, melyre a villamosenergetikai fejlesztésekben és az energetikai zöld fordulat során kiemelten szükség van.
A hallgató feladata, hogy modell alapú fejlesztési módszereket dolgozzon ki smart grid rendszerekhez.
Hibatűrő robot építése
A hallgatónak feladata egy hibatűrő robot tervezése és megépítése a kritikus rendszereknél használatos legkorszerűbb modellezési, szimulációs módszerek felhasználásával.
Szoftver-intenzív rendszerek verifikációja deep learning segítségével
A szoftver-intenzív rendszerek verifikálása nagy méretű kritikus rendszerek esetén különösen nehéz a rendszerek komplexitása miatt. A hallgató feladata, hogy megvizsgálja a deep learning és tanuló módszerek alkalmazhatóságát olyan nagy méretű szoftver-intenzív rendszerek ellenőrzéséhez, ahol a szoftverek komplexitása miatt a hagyományos verifikációs technikák nem alkalmazhatóak.
Szimbolikus modellellenőrző algoritmusok fejlesztése
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.
Szemantikus modell alapú V&V eszköztámogatás megvalósítása a K Framework segítségével
Biztonságkritikus rendszerek tervezésénél a helyesség biztosítása komoly kihívás, amit V&V eszközök alkalmazásával kezelhetünk, azonban ezek fejlesztése gyakran költséges. A szemantikus modellek alkalmazása egy újszerű megközelítés, amely jelentősen csökkentheti a fejlesztési ráfordításokat. Megismerkedhetsz a K Framework-kel, és megvalósíthatsz egy szemantikus modellezést támogató eszköztárat.
Szemantikus modellezési nyelv és kapcsolódó keretrendszer fejlesztése
Biztonságkritikus rendszerek tervezésénél a helyesség garantálása gyakori kihívás, amit V&V eszközökkel kezelhetünk, de ezek fejlesztése költséges. Újszerű megközelítés a szemantikus modellek alkalmazása, amely segítségével a V&V eszköz fejlesztésének költsége csökkenthető.
Újszerű és meglévő modellezési nyelvek statikus és dinamikus ellenőrzése szemantikus könyvtárak segítségével
Biztonságkritikus rendszerek tervezésénél a helyesség garantálása gyakori kihívás, amit V&V eszközökkel kezelhetünk, de ezek fejlesztése költséges. Újszerű megközelítés a szemantikus modellek alkalmazása, amely segítségével a V&V eszköz fejlesztésének költsége csökkenthető. A hallgató feladata új V&V eszközök készítése ismert és újszerű nyelvekhez , például SysML (v2) és AADL-hez.
Nagy nyelvi modellek integrációja tudásalapú rendszerekkel
A feladat annak vizsgálata, hogy a nagy nyelvi modellek hogyan ötvözhetők klasszikus MI (általánosságban: IT) rendszerekkel, segítve azok alkalmazói használatát és megértését. Az alapötletet a RAG adja, és ide kapcsolódik a magyarázható MI (XAI: explainable AI) területe is.
Automatikus AI kódíró asszisztens megvalósítása
A hallgató feladata egy AI-alapú kódíró asszisztens megvalósítása, amely Github Actions-t használva automatizált kód review-kat és teszt eseteket készít, valamint javasolt javításokat generál.
Szoftverfejlesztési folyamat teljes automatizálása AI nagy nyelvi modellek segítéségével
A feladat megoldása során az LLM modellek lehetséges autóipari alkalmazásait vizsgáljuk elsősorban a beágyazott szoftverfejlesztésre fókuszálva.
Kémia reakciók vizsgálata gráf alapú következtetéssel
A gyógyszerkutatásban és a biokémiában kulcsfontosságú informatikai kérdés a kémiai reakciók reprezentációja és a reakció utak és szintézisek tervezése. A feladat új matematika eredményeken alapuló gráf alapú reprezentációkat vizsgál, gráf alapú logikai következtetők, kémiai informatikai szoftvercsomagok és reakció adatbázisok segítségével.
LLM alapú kódolási asszisztens fejlesztése modellezési nyelvhez
A feladat célja a rendszertervezésben használt modellezési nyelvekhez alkalmas kódolási asszisztens készítése. Itt a szokásos programozási nyelvekhez képest jóval kevesebb tanító adat áll rendelkezésre, valamint a hallucinációk költséges hibákat okozhatnak. Ezért a feladat olyan, neuro-szimbolikus érvelési technikákat vizsgál, melyek az LLM-et logikai következtetőkkel kombinálják.
Felhő alapú gráfgenerátor fejlesztése
A tanszéken fejlesztett Refinery gráfalapú formális logikai következtető keretrendszer (online demó: https://refinery.services) olyan nemzetközi élvonalba tartozó gráfalapú formális logikai következtető algoritmust tartalmaz. feladat célja az eszköz további fejlesztése, pl. annak skálázhatóságának vagy használhatóságának növeléséhez.
Követelmények vizsgálata neuro-szimbolikus érveléssel
A rendszertervezést az ellentmondásos specifikációk nagyban megnehezíthetik, és jelentős költségekkel járhat, ha a hibákra csak a fejlesztés késői fázisában derül fény. A feladat neuro-szimbolikus következtetést vizsgálja, mely az LLM-et formális módszerekkel kombinálja. Az LLM a specifikáció értelmezését végzi, míg kimenetének helyességét formális módszerek segítségével ellenőrizzük.
Tudományos felfedező rendszerek
A mesterséges intelligencia alapmodellek és a mesterséges általános intelligenciát célzó modellek új lehetőségeket nyitnak a tudományos kutatás mind teljesebb automatizálása felé. Az önálló munka célja hatékony Bayesi döntéselméleti eljárások kifejlesztése adaptív kísérlettervezésre.
Mély oksági következtetés
A reprezentációtanulás és mélytanulás, illetve az oksági következtetés integrálása új lehetőségeket kínál komplex jelenségek okainak a feltárására. Az önálló munka célja ezek megismerése, alkalmazása és továbbfejlesztése.
HW támogatott IEEE 1588 alapú óraszinkronizáció Linux alatt
Az Ethernet és a TCP/IP alkalmazása egyre szélesebb körben terjednek el a beágyazott rendszerekben is. Az egyik utolsó nagy kihívás ezen a területen az elosztott rendszerekben gyakran felmerülő nagy pontosságú óraszinkronizáció megnyugtató és szabványos megoldása. Erre a célra az IEEE 1588 protokoll került kifejlesztésre, amelynek implementációival lehet foglalkozni a feladat során Linux alatt.
Gráfalapú következtető keretrendszer fejlesztése
A gráfalapú modellek kulcsfontosságú szerepet töltenek be az informatikában és számos egyéb tudományterületen.
A témán dolgozó hallgatók olyan nemzetközi élvonalba tartozó gráfalapú formális logikai következtető algoritmus fejlesztéséhez csatlakozhat, amely vetekszik az MIT vagy a Microsoft Research kutatói által kidolgozott módszerekkel.
Biztonságkritikus rendszerek valószínűségi elemzése
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.
LLM-alapú természetes nyelvű magyarázat generálás microservice distributed tracing adatokhoz
Hogyan lehetne microservice-alapú rendszerekben a distributed trace és azok elemzéséből származó „nyers” adatokat érthetőbbé tenni?
Hibatűrő okosszerződések N-verziós programozással
Alkalmazzunk N-verziós programozást vállalati blockchaineken használt okosszerződések hibatűrésének növelésére! [Implementációs fókuszú téma]
Okosszerződések automatizált programozása LLM-ekkel
Mennyire tudunk okosszerződéseket automatizáltan fejleszteni, például ChatGPT segítségével? Milyen promptokat érdemes alkalmazni? A követelményeket specifikáljuk vagy inkább a viselkedést írjuk le? Esetleg formálisan adjuk meg a specifikációt? Hogyan generálhatunk ezek után a ChatGPT kódját ellenőrző teszteket?
[NAV együttműködés] Adatszolgáltatási nyomtatványok gráfadatbázis alapú kezelése és szemantikus elemzése
Nyomtatványok adattartalom-modellezése, gráfadatbázisban modellvizsgálatok és a modellek felett szematikus (ontológia alapú) következtetések kidolgozása
[MNB-BME együttműködés] Vállalati kötvénytokenizáció szervezetközi blokkláncon
Hallgatói részvétel az MNB-BME együttműködés 2025-ös munkájában
[EDGE-Skills EU projekt] "Verifiable Credential" adatminőség-tanúsítványok felhőközi adatcserében
EU felhőközi adatminőség-tanúsítványok tervezése és megvalósítása
Szervezetközi blokkláncok architektúratervezése a Refinery gráfgenerátor eszközzel
Hyperledger Fabric blokkláncok architektúra-generálása modern eszközökkel
Önkiértékelésű deklaratív eljárásrendek Zero-Knowledge Proof támogatása
Elméletibb jellegű téma a Prolog, a korlátlogikai programozás és a nem felfedő bizonyítások metszetében.
Felderítő adatelemzés támogatása LLM-ekkel
Tudnak-e "ágensként" segíteni a felderítő adatelemzésben az LLM-ek?
Modellezési nyelvek és eszközök tesztelése
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.
Szoftver helyességének ellenőrzése formális módszerekkel
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.
Újgenerációs tervezőeszközök komplex informatikai rendszerekhez
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.
Informatika + Matematika + Nyelvészet = Modellezési nyelvek és szemantika
Bizonyára észrevetted már, hogy a megfelelő fogalmak azonosításával a legbonyolultabb dolgokat is sokkal könnyebben el lehet magyarázni. Erről szólnak a modellezési nyelvek is. Egy jó nyelv azonosítja és jelentéssel (szemantikával) ruházza fel a célterület kulcsfogalmait, a legelvontabb fogalmaktól az egészen konkrétakig. Ebben a témában a nyelvtervezés aspektusaival lehet megismerkedni.
Modellellenőrzési tanúk minőségének javítása és validációs módszerei
A modellellenőrzés matematikai pontossággal keres hibákat, eredményét tanúk (ellenpéldák vagy bizonyítások) segítik az utólagos validációban. A Theta modellellenőrző egységes tanúkat hoz létre, de fejlesztési lehetőségek még bőven akadnak. A téma gyakorlati (szoftverfejlesztés) és elméleti (validáció, tanúk) feladatokat kínál, érdeklődéstől függően - részletek a témára kattintva.
OCR-hibák kvantitatív elemzése és korrekciója
A feladat célja adatminőséget javító eljárások kidolgozása természetes nyelvű szövegek feldolgozása során.
Oldalelrendezés szoftveres rekonstrukciója
A feladat egy olyan szoftver készítése, amely komplex oldalelrendezésű PDF dokumentumokból lineáris (helyes sorrendű) szöveget tud előállítani.
PDF értelmezése nagy nyelvi modellek segítségével
A feladat lényege PDF-ek feldolgozása multimodális nagy nyelvi modellek (pl. openbmb/MiniCPM-Llama3-V-2_5) segítségével, majd a kinyert adatokból további információk kinyerése, sima nyelvi modellek segítségével (ChatGPT, Llama 3.1 stb.).
Céginformációs folyamatok automatizálása LLM alapú ágensek segítségével
A feladat céges folyamatok AI-alapú automatizálási lehetőségeinek feltárását és kialakítását célozza.
Természetes nyelvű felhasználói felületek
Különféle célú és módszertannal készülő természetes nyelvű felhasználói felületek megvalósítása számos alkalmazási területen (okosotthonok, egészségügy, webrendszerek stb.).
Autonóm rendszerekre vonatkozó követelmények leírása és monitorozása
Az autonóm rendszerek (pl. robotok) fejlesztése során különös gondot kell fordítani a követelmények megfogalmazására, mert ez képezi a fejlesztési és verifikációs tevékenységek alapját. A matematikailag precíz formában megadott követelmények lehetővé teszik az automatizált tesztgenerálást, monitorozást is. A téma keretében ezekhez kapcsolódó új megoldásokat lehet megismerni és továbbfejleszteni.
Kátyúszimuláció az Eclipse SUMO forgalomszimulátorban
A feladat célja, hogy a nyílt forráskódú Eclipse SUMO forgalomszimulátort alkalmassá tegyük a kátyúk szimulációjára, pontosabban arra, hogy a közlekedés résztvevői (valamilyen valószínűség mellett) kikerüljék a térkép alapján felvett kátyúkat.
A feladat BSc-sek számára Python-szkriptekkel, MSc-sek számára a szimulátor C++ forráskódjának bővítésével is megoldható.
Mérőrendszer a mesterséges intelligencia energiafogyasztásának vizsgálatához
A feladat lényege, hogy 2 félév alatt megtervezzünk, implementáljunk egy hardver-szoftver rendszert, mely alkalmas mesterséges intelligencián alapuló megoldások energiahatékonyságának mérésére.
Linux keretrendszer parciálisan rekonfigurálható AXI perifériák számára
A feladat célja egy olyan FPGA és Linux alapú hardver-szoftver keretrendszer elkészítése, amely lehetővé teszi a parciálisan átkonfigurálható AXI perifériák átkonfigurálását, illetve a hozzájuk tartozó eszközmeghajtók automatikus betöltését, valamint eltávolítását.
.NET nanoFramework portolása MicroBlaze processzorra
A .NET nanoFramework egy nyílt forráskódú .NET platform erőforrás-limitált beágyazott rendszerek számára. A feladat célja a .NET nanoFramework portolása a MicroBlaze processzorra.
Elektronikus tevékenységnapló a házi segítségnyújtásban
A célkitűzés egy olyan mobilapplikáció és szerveroldali alkalmazás megvalósítása, amely egyrészt a gondozót segíti a jogszabályban előírt tevékenységnapló elkészítésében, másrészt az intézményt segíti a nyilvántartás vezetésében, az elszámolások és más jelentések elkészítésében.
.NET IoT portolása Zynq-7000 SoC eszközre
A .NET IoT (Internet of Things) egy nyílt forráskódú .NET platform beágyazott System-on-a-Chip eszközök számára. A feladat célja a .NET IoT portolása a Zynq-7000 SoC eszközcsaládra.
ChatGPT és információkeresés
A feladat egy olyan rendszer megvalósítása, amely természetes nyelvű szövegekből felépített korpuszon képes információkeresési és -kinyerési feladatok megoldására nagy nyelvi modellek alkalmazásával.
Tudásbevitel és -lekérdezés kontrollált természetes nyelven
A feladat lényege egy olyan rendszer megvalósítása, amely egy tudásbázis létrehozását és lekérdezését teszi lehetővé kontrollált természetes nyelven. A rendszer célja, hogy a felhasználók számára természetes, könnyen elsajátítható eszközzel tegyen elérhetővé egy gépi tudásbázist. A feladat speciális előismereteket nem igényel.
System - software interfész megvalósítása
A modellalapú rendszerarchitektúra (Rhapsody) és a SW architektúra összekapcsolása az alkalmazott tool környezetben. Rugalmas keretrendszer kialakítása a rendszer oldalon különböző SW fejlesztési toolkörnyezetekkel való kompatibilitás megvalósítására. A rendszerkövetelmények és a generált kód közötti kapcsolat megvalósítása.
Autóipari funkcionális biztonság szabvány (ISO26262) szerinti fejlesztés integrációja a modell-alapú rendszerfejlesztésbe
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.
Szimulációs modellek összekapcsolása a rendszerarchitektúra modellekkel
Model-vezérelt rendszerfejlesztési metódus fejlesztése az architektúra modellek és különböző részletességű szimulációs modellek összekapcsolásával. Egyszerűbb, analitikus modellek (MATLAB, Excel), majd komplex dinamikai modellek (MATLAB/Simulink, GTSuite) összekapcsolása a Rhapsody archtektúra modellekkel.
Szövegelemző- és annotálórendszer fejlesztése
A feladat során azt vizsgáljuk, hogy a mesterséges intelligencia módszerei hogyan alkalmazhatók az információbeszerzés és -elérés területén természetes nyelvű szövegek gépi elemzésére és annotálására.
ChatGPT kísérletezés
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.
Autonóm járművek szimulációs tesztelése
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.
Adatmodell-vezérelt okosszerződés fejlesztés vállalati blokkláncokhoz
A téma a modellalapú fejlesztés lehetőségeit vizsgálja modern blokklánc platformok esetén. A téma kulcskérdése, hogy miként közelíthető egymáshoz a tradícionális programok tervezése során összegyűlt modellezési tapasztalat és a blokkláncok nyújtotta új programozási paradigma.
Oktatást támogató eszközök fejlesztése
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.
Hibatűrő okosszerződések vállalatközi blokkláncokban
A hibatűrő számítástechnika megoldásainak (pl. N-verziós programozás és futásidejű verifikáció) alkalmazása az okosszerződések fejlesztési hibáinak elkerülésére és kezelésére a vállalatközi blokklánc alkalmazásokban. A téma lehetséges célplatformjai: Hyperledger Fabric, Ethereum, Substrate (Polkadot).
Biztonságkritikus rendszerek modellezése és ellenőrzése
Biztonságkritikus rendszerekben nagy a tervezés vagy implementáció során elkövetett hibák kockázata, így precíz tervezésre és alapos ellenőrzésekre van szükség. A téma keretében modellezési módszereket és ezekhez kapcsolódó ellenőrzési és monitorozási technikákat lehet megismerni illetve kidolgozni, valamint konkrét (ipari) rendszerekhez kapcsolódó vizsgálatokat végezni.
Automatikus szoftvertesztelés és tesztgenerálás
Szoftverek működésének egyik módszere a tesztelés. A tesztelés sok időt igényel, így sok technika létezik a tesztelés támogatására. Léteznek olyan algoritmusok, amiknek a segítségével modellekből vagy akár a forráskódból lehet teszteseteket generálni. A feladat során ilyen eszközöket lehet megismerni, összetett ipari példákon alkalmazni, valamint új eszközöket és algoritmusokat fejleszteni.
Orvosi tesztek beépítése játékokba mentális állapot monitorozása céljából
Az orvosok többek közt egyszerű, számítógéppel támogatott teszteket használnak a mentális állapot felmérésére. Célszerű lehet ezt a módszert az egyre inkább terjedő számítógépes játékokkal kombinálni: vagy olyan játékokat konstruálni, amelyek informálnak a vizsgált képességekről, vagy a meglévő teszteket beépíteni játékokba.
Változásdetektálás
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...).
Tipikus viselkedési minták felismerése és befolyásolása
Gyakran fontos, hogy idősorokban a személy vagy objektum viselkedésének tipikus mintázatait felismerjük, esetleg befolyásoljuk. Ez nehéz feladat, hiszen tipikusan nem periódikusan ismétlődő, azonos mintáról van szó, csak több-kevesebb rendszerességgel bekövetkező, hasonló eseményekről. Ráadásul sokszor nem közvetlenül megfigyelhető a jelenség, csak egy összetett jel alapján következtetünk.
Életvitel-szimulátor továbbfejlesztése, kiegészítése
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.
Modell transzformáció és vetítés statisztikai-számítási hatékonyság, magyarázhatóság és megbízhatóság javítása érdekében
A komplex és/vagy nem értelmezhető gépi tanulási modellek transzformációja egy egyszerű és/vagy értelmezhető modellbe közel azonos teljesítményszintet tartva, mind a statisztikai és a számítási hatékonyságot növelheti, és segítheti magyarázhatóságot (explainable AI, XAI) és a megbízhatóságot (trustworthy AI). Cél új módszerek kidolgozása különös tekintettel Bayes-statisztikai keretben.
Jegykiválasztási és oksági adatelemzések több absztrakciós szintű utóelemzése és magyarázata
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.
Automatizált audio jelfeldolgozás és alkalmazásfejlesztés
Sok esetben felmerülő igény egy nem profeszionális audio felvétel feldolgozása, javítása: vágás, szűrések, jelölők elhelyezése, tag-elés, stb. További elvárás lehet a feldolgozott hanganyag online közzététele, és ehhez kapcsolódó leírások létrehozása. Előbbiek elvégzére keretrendszert kellene létrehozni, amelyben egy GUI-val rendelkező alkalmazás működik és automatizálja a szükséges lépéseket.
FreeRTOS alkalmazástechnikája többmagos MCU környezetben
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.
Hálózati terjesztési algoritmusok vizsgálata
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.
Genetikai adatok szemantikai transzformációjának vizsgálata
A téma fő feladata nyers genetikai adatok transzformálása általános dimenziócsökkentési módszerekkel és tárgyterület-specifikus szoftverekkel (ShapeIT), illetve a be- és kimeneti adatok konvertálása úgy, hogy azok rendszerszintű adatelemezési módszerekkel elemezhetők legyenek.
Feladat még a transzformáció előtti és utáni adatoknak a rendszerszemléletű elemzés szerinti hasznosságának kiértékelése.
Ujgenerációs DNS szekvenálási munkafolyamatok intelligens automatizálása és döntéstámogatása
Ujgenerációs DNS szekvenálási munkafolyamatok intelligens automatizálása és döntéstámogatása
Kauzális kapcsolatok modellezése
Egy adott tárgyterülethez kapcsolódó mechanizmusok megértése alapvető igénye a tudományos megközelítésnek. E mechanizmusok entitások közötti kauzális kapcsolatokkal írhatók le, melyek feltárására több módszer alkalmazható. A feladat célja kauzális kapcsolatok feltárását megvalósító algoritmusok kialakítása és alkalmazása, különösen nagy dimenziójú adatokon.
Nagyméretű kópiaszám változás (CNV) detekciója teljes genom asszociációs vizsgálatokban
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.
Mesterséges Intelligencia ontológia
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.
Ágensek intelligens terekben.
Intelligens terek informatikai rendszerei közül igen fontos a vegyes ember-ágens közösségi forma. A két világ közti kapocs az autonóm (gépi és emberi) ágensek kommunikációja, amihez meg kell teremteni a kölcsönös megérthetőség feltételeit.
Érvelési rendszerek, vitaportálok fejlesztése
Viták, érvelések modellezése, részben automatikus kiértékelése, érvelési algoritmusok, vitaportál fejlesztése
Jogi tudásalapú megolások
A jogi szakértői rendszerek fejlesztése (jogszabály modellezés, tudásreprezentáció, dokumentum modell készítés, dokumentum kezelés) különböző gyakorlati területeken.
Szakértői rendszerek fejlesztése
Tudásalapú, szakértői rendszerek fejlesztése különböző tárgyterületekre és ehhez kapcsolódó technológiák, algoritmusok vizsgálata.