TDK eredmények

November 14-én szerdán lezajlott a 2012. évi kari TDK konferencia, ahol az alábbi szép eredmények születettek tanszékünkről: 

 

Energetika és irányítástechnika szekció 

I. helyezett

Buzga Viktor: Műveleti sorrendtervezés az autóipari lézerhegesztés területén        

Konzulensek: Dr. Kovács András tudományos főmunkatárs, MTA SZTAKI és Strausz György

 

Hardver szekció 

I. helyezett

Németh Péter: Hierarchikus adatgyűjtő-vezérlő hálózati rendszer otthoni alkalmazásokhoz        

Konzulens: Tóth Csaba

 

III. helyezett

Ferencz Bálint: Nagypontosságú óraszinkronizáció IEEE 1588 alapon beágyazott Linux rendszerekben        

Konzulens: Kovácsházy Tamás 

 

Jutalomban részesült 

Németh Attila: Tesztkörnyezet fejlesztése szilícium alapú neurális elektródák in vivo mechanikai vizsgálatához        

Konzulensek: Fekete Zoltán, tudományos segédmunkatárs, MTA Műszaki Fizikai és Anyagtudományi Kutatóintézet és Jobbágy Ákos 

 

Intelligens és információs rendszerek szekció 

III. helyezett

Lóska Ádám: Agy-számítógép interfészek integrációja virtuális valóság rendszerekbe

Konzulens: Mészáros Tamás 

 

Modellezés és szimuláció szekció 

I. helyezett

Hajdu Ákos, Mártonka Zoltán: Diszkrét dinamikus rendszerek viselkedésének felderítése ellenpélda-alapú absztrakció finomítás (CEGAR) segítségével

Konzulensek: Bartha Tamás és Vörös András 

 

Szoftver szekció 

I. helyezett

Tóth Tamás: Valósidejű biztonságkritikus rendszerek k-indukció alapú verifikációja        

Konzulensek: Vörös András és Majzik István 

 

I. helyezett

Búr Márton: MatLab Simulink rendszerek modell-alapú validációja      

Konzulensek: Horváth Ákos és Hegedüs Ábel 

 

II. helyezett

Jeszenszky Balázs: Modell alapú kódgenerálás helyességének ellenőrzése

Konzulens: Majzik István 

 

II: helyezett

Molnár Vince: Szaturáció alapú modellellenőrzés lineáris idejű tulajdonságokhoz

Konzulensek: Vörös András és Bartha Tamás 

 

II: helyezett

Csikós Donát: Nagy szoftverinfrastruktúra feletti inkrementális modell-analízis

Konzulensek: Horváth Ákos és Ráth István 

 

Ezúton gratulálunk az érintett hallgatóknak és konzulenseiknek az eredményes munkához! 

© 2010-2024 BME MIT