Vizsga 2004. 06. 02.
A VIK Wikiből
Ez az oldal a korábbi SCH wikiről lett áthozva.
Ha úgy érzed, hogy bármilyen formázási vagy tartalmi probléma van vele, akkor, kérlek, javíts rajta egy rövid szerkesztéssel!
Ha nem tudod, hogyan indulj el, olvasd el a migrálási útmutatót.
2.3 Adatfolyam hálók: széthajtogatás
- Feladat:
Az alábbi ábrán egy adatfolyam háló modell látható. A hálónak két csomópontja van:
master: mst = ({wd},{out},{sm0,sm1},sm0,{r1,r2,r3,r4},{ok,err,b0,b1})
checker: chk = ({out},{wd},{sc0,sc1},sc0,{r5,r6,r7},{b0,b1,ok,err})
A modellben két darab egy kapacitású csatornát definiáltunk: az out jelű a {0,b0,b1} állapotokban lehet (ahol 0 az üres halmazt, tehát az üres csatornát jelöli), míg a wd jelű a {0,ok,err} állapotokat veheti fel. A tüzelési szabályok jelentését az ábrában adtuk meg. Például az r3-mas szabály:
r3 = <sm1; wd=0; sm0; out=0> azaz az sm1 állapotból az sm0 állapotba kerül, miközben a wd bemeneti csatornáról nem vesz el semmit, és az out kimeneti csatornára nem tesz ki semmit. A master csomópont váltakozva b0,b1 tokeneket generál, de néha hibázik. Ezt ellenőrzi a checker csomópont, amely ok és err tokenekkel jelzi az eredményt. A kezdőállapotban az out csatorna üres, a wd csatornában egy token van.
Ezen a helyen volt linkelve a form_20040602_23.gif nevű kép a régi wiki ezen oldaláról. (Kérlek hozd át ezt a képet ide, különben idővel el fog tűnni a régi wikivel együtt)
2.3.1 Készítse el az adatfolyam háló ekvivalens színezetlen és kapacitásmentes Petri háló modelljét (széthajtogatását)! Ügyeljen a csatornák kapacitásának helyes megvalósítására!
- Megoldás:
Ezen a helyen volt linkelve a form_20040602_231.gif nevű kép a régi wiki ezen oldaláról. (Kérlek hozd át ezt a képet ide, különben idővel el fog tűnni a régi wikivel együtt)
- Ezen a helyen volt linkelve a(z) v_040602.wam nevű fájl ("v_040602.wam" link szöveggel) a régi wiki http://wiki-old.sch.bme.hu/bin/view/Infoalap/FormModVizsga20040602 oldaláról. (Ha szükséged lenne a fájlra, akkor a pontos oldalmegnevezéssel együtt küldd el a wiki
sch.bme.hu címre a kérésedet)
- Petri-háló DNANet-es verziója
-- Csapszi - 2006.06.12.
2.7 Bináris döntési diagramok
Adottak az alábbi logikai függvények:
f
g
m
2.7.1 Határozza meg az f, g és m logikai függvényeket redukált rendezett bináris döntési diagramm (ROBDD) alakban! Az m függvény kiszámítását közvetlenül a BDD-ken értelmezett műveletekkel végezze el.
Ezen a helyen volt linkelve a 040602_271fg.png nevű kép a régi wiki ezen oldaláról. (Kérlek hozd át ezt a képet ide, különben idővel el fog tűnni a régi wikivel együtt)
Ezen a helyen volt linkelve a 040602_271m.png nevű kép a régi wiki ezen oldaláról. (Kérlek hozd át ezt a képet ide, különben idővel el fog tűnni a régi wikivel együtt)
-- adamo - 2006.06.13.
Másik alternatíva:
- 20040602 ROBDD fg:
Ezen a helyen volt linkelve a 040602_271fg_safi.png nevű kép a régi wiki ezen oldaláról. (Kérlek hozd át ezt a képet ide, különben idővel el fog tűnni a régi wikivel együtt)
- 20040602 ROBDD m:
Ezen a helyen volt linkelve a 040602_271m_safi.png nevű kép a régi wiki ezen oldaláról. (Kérlek hozd át ezt a képet ide, különben idővel el fog tűnni a régi wikivel együtt)
-- safi - 2006.06.13.
