Párhuzamos architektúrák

Parallel Architectures

A tantárgyleírás hatályossága

Hatályosság kezdete:

2026. March 21.

Hatályosság vége:

—

Tantárgy neve (magyarul, angolul)

Párhuzamos architektúrák

Parallel Architectures

Tantárgykód

BMEVIHID043

Tantárgyjelleg

—

Képzési szint

—

Kurzustípusok és óraszámok (heti/féléves)

Kurzustípus	elmélet	gyakorlat	laboratóriumi gyakorlat
óraszám (heti)	4	0	0
jelleg (kapcsolt/önálló)	—	—	—

Tanulmányi teljesítmény/értékelés típusa

vizsga

Tantárgy kreditértéke

Tantárgyfelelős

DR. Imre Sándor Zsolt

beosztás: egyetemi tanár

elérhetőség: imre.sandor@vik.bme.hu

Tantárgyat gondozó oktatási szervezeti egység

Hálózati Rendszerek és Szolgáltatások Tanszék

Kar

Villamosmérnöki és Informatikai Kar

Tantárgy weboldala

—

Tantárgy elsődleges mintatantervi jellege

—

Közvetlen előkövetelmények – Erős előkövetelmény

nincs

Közvetlen előkövetelmények – Gyenge előkövetelmény

nincs

Közvetlen előkövetelmények – Párhuzamos előkövetelmény

nincs

Közvetlen előkövetelmények – Mérföldkő előkövetelmény

nincs

Közvetlen előkövetelmények – Kizáró feltétel

nincs

Célkitűzés

Tantárgyprogram

1. hét: Információfeldolgozási modellek
Vezérlésáramlásos szervezés (Multiprocesszoros rendszerek: lazán csatolt rendszerek, virtuálisan elosztott memóriájú rendszerek; szorosan csatolt rendszerek, memória koherencia).
         Adatáramlásos szervezés (utasítás- és eljárásszintű adatáramlásos architektúra)
Igényvezérelt szervezés
   Intelligens hálózatok, tudást reprezentáló leíró rácsok.
   Információ vezérelt feldolgozás (asszociatív számítógépek és neurális hálózatok)

2. hét: Folyamatok együttműködése, mozgó ügynök elv

3. hét: Események sorrendezése, viselkedési modellek általánosítása, együttműködő folyamatok általános szinkronizálása (igényvezérelt együttműködés, engedélyvezérelt együttműködés és szoros együttműködés).

4. hét: Elosztott erőforrás vezérlési algoritmusok tervezési módszerei.
Nemformális, nemteljes és nemkonzisztens feladatmegfogalmazásból formális, teljes és ellentmondásmentes specifikációk létrehozása.

5. hét: Közvetlenül végrehajtható specifikációs nyelvek elméleti alapjai.

6. hét: Módosított véges automata modell kialakítása nagy párhuzamos és elosztott rendszerek tervezésére.

7. hét: Módosított véges automata modell kialakítása nagy párhuzamos és elosztott rendszerek tervezésére (folytatás).

8. hét: Módosított adatáramlásos modell kialakítása nagy párhuzamos és elosztott rendszerek tervezésére.

9. hét: Módosított adatáramlásos modellen alapuló elosztott tervezői rendszerek.

10. hét: Absztrakt (algebrai) specifikációs módszer elméleti alapjai.

11. hét: Absztrakt (algebrai) specifikációs módszer elméleti alapjai (folytatás).

12. hét: Nagy rendszerek tervezése absztrakt specifikációs módszerrel. A logikai tervezési modell kialakítása.

13. hét: Nagy rendszerek logikai tervezése helyességének formális bizonyítása. Formális bizonyítási módszer (reláció- rendszer megoldása ismeretlen vagy feltételezett előfeltevésekre) alkalmazása a tervezés közben helyesen működő rendszer kialakítására.

14. hét: Kitekintés (új elméleti és gyakorlati eredmények, kvantum számítógépek).

A modern számítástechnikában alapvető fontosságú párhuzamos és elosztott rendszerek információfeldolgozási modelljeinek, a nekik megfelelő architektúrák alapelveinek megismertetése. Formális tervezési módszerek alapjainak tárgyalása. Formális tervezési módszerek alkalmazása, garantáltan helyes logikai megoldást adó rendszerek tervezésére, tetszőleges részrendszerek alkalmazása esetén. A klasszikus modellek továbbfejlesztése és általánosításának tárgyalása.

Tanulmányi eredmények

Ez a tantárgy a KKK rendeletben meghatározott, következő kompetenciák fejlesztését szolgálja:

Tudás

Nincsenek rögzített tanulási eredmények.

Képességek

Nincsenek rögzített tanulási eredmények.

Attitűd

Nincsenek rögzített tanulási eredmények.

Autonómia és felelősség

Nincsenek rögzített tanulási eredmények.

Oktatási módszertan

Előadás

Tanulástámogató anyagok

Nincs megadva.

A tantárgy teljesítéséhez ajánlott előzetes ismeretek

Tudás típusú kompetenciák

(azon előzetes ismeretek összessége, amelyek megléte nem kötelező, de a tantárgy eredményes teljesítését nagyban elősegíti)

Számítógép architektúrák, Digitális technika

Képesség típusú kompetenciák

(azon előzetes képességek és készségek összessége, amelyek megléte nem kötelező, de a tantárgy eredményes teljesítését nagyban elősegíti)

nincs

Ajánlott (nem kötelező) előzetesen megszerzendő kompetenciák

(azon ajánlott (nem kötelező) előzetesen megszerzendő kompetenciák összessége, amelyek jelentősen hozzájárulnak a tantárgy eredményes teljesítéséhez)

Számítógép architektúrák, Digitális technika

Általános szabályok

Követelmények: a. A szorgalmi időszakban: - b. A vizsgaidőszakban: szóbeli vizsga c. Elővizsga: van

Teljesítményértékelési módszerek

Szorgalmi időszakban végzett teljesítményértékelések részletes leírása

Nincs megadva részletes értékelés.

Szorgalmi időszakban végzett teljesítményértékelések részaránya

Nincs megadva részarány.

Vizsgaidőszakban végzett teljesítményértékelések részletes leírása

Nincs megadva részletes értékelés.

Vizsgarészek részaránya

Nincs megadva részarány.

Érdemjegy megállapítása

Nincs megadva érdemjegy határ.

Jelenléti és részvételi követelmények

Nincs megadva jelenléti követelmény.

Javítás, ismétlés és pótlás különös szabályai

Nincs megadva.

Rövid leírás

Nincs megadva.

Részletes leírás

Nincs megadva.

Ajánlott tantárgyak

Tematikaütközés miatt a tárgyat csak azok vehetik fel, akik korábban nem hallgatták a következő tárgyakat: - Neptun-kód Cím

A tantárgy elvégzéséhez szükséges tanulmányi munka

Nincs megadva munkaidő bontás.

Tantárgykövetelmények hatályossága

Tantárgykövetelmények hatályosságának kezdete:

—

Tantárgykövetelmények hatályosságának vége:

—

Tantervi elhelyezés

Nincsenek rögzített tantervi elhelyezések ehhez a tárgyverzióhoz.