Belépés címtáras azonosítással
magyar nyelvű adatlap
angol nyelvű adatlap
Párhuzamos architektúrák
A tantárgy angol neve: Parallel Architectures
Adatlap utolsó módosítása: 2010. június 21.
Doktori képzés
Név:
Beosztás:
Tanszék, Int.:
Dr. Németh Gábor
egyetemi docens
Hálózati Rendszerek és Szolgáltatások Tanszék
Számítógép architektúrák, Digitális technika
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 modern számítástechnikában alapvető fontosságú párhuzamos és elosztottrendszerek információfeldolgozási modelljeinek, a nekik megfelelőarchitektúrák alapelveinek megismertetése. Formális tervezési módszerekalapjainak 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 modellektovábbfejlesztése és általánosításának tárgyalása.
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).
Előadás
a. A szorgalmi időszakban: -
b. A vizsgaidőszakban: szóbeli vizsga
c. Elővizsga: van
Híradástechnika