Mesterséges Intelligencia és Rendszertervezés Tanszék
.NET (1) · .NET keretrendszer (1) · 3D modell generálás (1) · a dolgok internete (1) · absztrakció (3) · absztrakció finomítás (1) · absztrakt elérhetőségi gráf (1) · absztrakt interpretáció (2) · adat augmentálás (1) · adatfeldolgozás (1) · adatfolyam feldolgozás (1) · adatgyűjtés (2) · adatmonitorozás (1) · adatvizualizáció (2) · aktív automatatanulás (1) · algoritmus (1) · állapotgép (5) · állapotgép kompozíció (1) · állapotgépek (2) · állapottér bejárás (1) · állapottérkép (2) · Amazon felhő (1) · Amazon Virtual Private Cloud (1) · ASP.NET MVC (1) · AST (1) · aszinkron (1) · aszinkron rendszerek (2) · autóipari kiberbiztonság (1) · automatatanulás (1) · automatikus kódgenerálás (1) · automatikus validáció (1) · autonóm (1) · autonóm járművek (2) · autonóm kormányzás (1) · autonóm rendszerek (2) · AUTOSAR (1) · beágyazott rendszerek (1) · bitvektor (1) · biztonsági analízis (1) · biztonsági rendszertervezés (1) · biztonságkritikus rendszerek (3) · blokk (1) · Bluetooth Low Energy (BLE) (1) · BME Formula Racing Team (1) · BME FRT (1) · bővíthető (1) · Bővítménykezelés (1) · Bővítménykezelő komponens (1) · BPMN (1) · C nyelv (1) · C# (1) · C/C++ (1) · CARLA (1) · CEGAR (6) · cep (1) · Controlled natural languages (1) · CPS (1) · CTL (1) · data streaming (1) · Data-Distribution Service (1) · DDS (2) · deep learning (1) · Digitális iker (1) · dReach (1) · dReal (1) · DSL (1) · Eclipse (3) · Eclipse Ditto (1) · Eclipse Kura (1) · Eclipse Modeling Framework (1) · Eclipse plugin (1) · Eclipse Vorto (2) · elérhetőség (1) · elérhetőségi analízis (2) · eloszott rendszerek (1) · elosztott (2) · elosztott adatgyűjtő rendszer (1) · elosztott algoritmus (1) · Elosztott rendszerek (3) · EMF (1) · EMF-IncQuery (1) · Entity Framework (1) · Erlang/OTP (1) · érzékenységvizsgálat (1) · fastSLAM (1) · felhő (1) · felhőalapú intelligens szolgáltatás (1) · felhő-infrastruktúra (1) · Finomítás (1) · Flutter keretrendszer (1) · forgatókönyv (1) · formal modeling (1) · formális módszer (1) · formális módszerek (3) · formális verifikáció (10) · Formlis verifikáció (1) · funkcionális biztonság (1) · Futásidejű ellenőrzés (1) · Futásidejű verifikáció (7) · Gamma (4) · gateway (1) · GDI (1) · gépi látás (4) · gépi tanulás (1) · globális pályatervezés (1) · gráf rendező algoritmusok (1) · gráfmintaillesztés (3) · gráfok (1) · gráfvizualizáció (1) · graphslam (1) · háromértékű logika (1) · hatékony (1) · háttértudás (1) · heurisztika (1) · hibafa (1) · hibaterjedés (1) · hibrid (1) · hibrid automata (1) · hibrid rendszer (1) · holtpont (1) · Horn klózok (1) · Horn-ICE (1) · időérzékeny (1) · időzített automata (2) · időzített Petri-háló (1) · IEEE 802.15.4 (1) · IIoT (1) · Intervallum absztrakció (1) · invariáns szintézis (1) · IoT (2) · IoT Edge (1) · IoT eszközök (1) · IoT protokollok (1) · Ipar 4.0 (1) · ISO 26262 (1) · Java (1) · Java 8 (1) · JDT (1) · Kalman-szűrő (1) · kényszerkielégítés (1) · kényszerkielégítési probléma (1) · keretrendszer (2) · kiberfizikai rendszer (1) · kiber-fizikai rendszer (3) · kiberfizikai rendszerek (6) · kiber-fizikai rendszerek (1) · k-indukció (1) · Kiterítés (1) · kód generálás (1) · kódgenerálás (3) · Komplex-esemény feldolgozás (1) · komplexesemény-feldogozás (3) · Komponens alapú szoftvertervezés (1) · Komponensmodell (1) · Kompozíció (1) · konvolúciós neurális hálózatok (1) · kooperáció (1) · korlátos modellellenőrzés (3) · Kronecker (1) · kurzusértékelés (1) · kvalitatív modell (1) · lineáris (1) · lineáris tranzíciós rendszer (1) · LLVM (1) · Logi.CAD (1) · lokális pályatervezése (1) · LTL (2) · marker felismerés (1) · Markov-lánc (1) · MBSE (1) · MDT (1) · megbízhatóság (1) · Mély neurális hálók (1) · mély neurális hálózatok (2) · mérnöki asszisztens (1) · mesterséges intelligencia (4) · metamodellezés (1) · Microsoft .NET 4.0 (1) · MiniSAT (1) · modell (1) · modell alapú fejlesztés (3) · modell alapú kódgenerálás (2) · modell alapú szoftverfejlesztés (5) · modell alapú tervezés (1) · modell alapú tesztelés (1) · modell transzformáció (2) · modellalapú (1) · modellalapú rendszertervezés (1) · modell-alapú rendszertervezés (1) · modellalapú szoftverfejlesztés (2) · modellellenőrzés (18) · modellezés (2) · modellező eszközök (1) · modellszintézis (1) · modelltranszformáció (2) · modellvasút (1) · modell-vezérelt szoftverfejlesztés (1) · MoDeS3 (2) · monitorozás (5) · motorkontroller (1) · MQTT bróker (1) · munkafolyamat (1) · nagy nyelvi modell (1) · Newton finomítás (1) · numerikus módszerek (1) · objektum detektálás (2) · objektum felismerés (1) · okos hálózat (1) · Okosotthon (1) · Okosváros (1) · OpenCV (1) · OpenDDS (1) · önvezetés (1) · önvezető autó (1) · önvezető jármű (1) · önvezető járművek (1) · összehasonlítás (1) · pályatervezés (1) · paraméteres időzített automata (3) · párhuzamos (1) · Petri háló (2) · PetriDotNet (2) · PetriDotNet 2 (1) · PetriDotNet2 (2) · Petri-háló (11) · PLC (1) · plugin (1) · PWM (1) · Python (1) · redundancia (1) · reguláris kifejezések (2) · rekonfiguráció (1) · rendszer (1) · rendszermodellezés (6) · rendszerterv (1) · Requirements engineering (1) · részecskeszűrő (1) · Részleges rendezés (2) · Retrieval Augmented Generation (RAG) (1) · robosztus tesztelés (1) · robosztusság (1) · robot szimulátor (1) · robotika (1) · robusztusság (1) · ROS (1) · sávkövetés (1) · scenario (1) · Sirius (1) · SLAM (1) · SMT (1) · smt-lib (2) · SpaceEx (1) · specification formalization (1) · statechart (1) · Structured Text (1) · SysML (1) · SysML v2 (1) · szaturáció (7) · szekvenciadiagram (1) · szemantikus szegmentáció (1) · szenzorok (2) · szerkesztő (1) · szervomotor (1) · szimbolikus modellellenőrzés (1) · szimbolikus végrehajtás (1) · szimuláció (3) · szimulációs környezet (1) · szimultán helymeghatározás és térképezés (1) · szoftver modellezés (1) · szoftverarchitektúra (1) · szoftverfrissítés (1) · szoftvertesztelés (1) · sztochasztikus modell (1) · szürkedoboz tesztelés (1) · tárgy követés (1) · távolságmérés (1) · távvezérlés (1) · teljesítményvizsgálat (1) · temporális logika (4) · TensorFlow (1) · természetes nyelvek feldolgozása (1) · természetes nyelvfeldolgozás (1) · tesztelés (3) · tesztgenerálás (3) · Theta (2) · Theta* (3) · Thirty Meter Telescope (1) · Thread (1) · Tools (1) · transzfer tanulás (1) · TWI (1) · UAV (1) · ultrahang (1) · UML (3) · UPPAAL (1) · űrlapgenerálás (1) · üzleti folyamat modellezés (1) · üzleti folyamatok (1) · validáció (1) · valós idejű objektum követés (1) · valós-idejű (1) · vasúti fékrendszer (1) · véges állapotú automata (1) · verifikáció (6) · vezérelt szaturáció (1) · vezeték nélküli kommunikáció (1) · vezetéknélküli kommunikáció (1) · VIATRA (1) · VIATRA-CEP (1) · WCF (1) · web-alapú alkalmazás (1) · Xtext (5) · xtUML (1) · Yakindu (1) · ZigBee (1)
Összesen 96 szakdolgozat és diplomaterv. Összes téma megtekintése »