Vizsga 2004. 06. 02. forrásának megtekintése

{{GlobalTemplate|Infoalap|FormModVizsga20040602}}

[http://info.sch.bme.hu/document.php?cmd=download_proc&tmp_page=&doc_id=8774 Info-site-ról]
__TOC__
==2.3 Adatfolyam hálók: széthajtogatás==
* Feladat: <br /> Az alábbi ábrán egy adatfolyam háló modell látható. A hálónak két csomópontja van:<br/>master: mst = ({wd},{out},{sm0,sm1},sm0,{r1,r2,r3,r4},{ok,err,b0,b1})<br/>checker: chk = ({out},{wd},{sc0,sc1},sc0,{r5,r6,r7},{b0,b1,ok,err})<br/>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:<br/> r3 = &lt;sm1; wd=0; sm0; out=0&gt; 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.
 
	 {{InLineImageLink|Infoalap|FormModVizsga20040602|form_20040602_23.gif}}

===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: <br />
	 {{InLineImageLink|Infoalap|FormModVizsga20040602|form_20040602_231.gif}}

* {{InLineFileLink|Infoalap|FormModVizsga20040602|v_040602.wam|v_040602.wam}}: Petri-háló DNANet-es verziója

-- [[CsapoT|Csapszi]] - 2006.06.12.

==2.7 Bináris döntési diagramok==
Adottak az alábbi logikai függvények: <br>
f<br>
g<br>
m<br>
===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.===

	 {{InLineImageLink|Infoalap|FormModVizsga20040602|040602_271fg.png}}
	 {{InLineImageLink|Infoalap|FormModVizsga20040602|040602_271m.png}}
-- [[AdamO|adamo]] - 2006.06.13.




	'''Másik alternatíva:'''
* 20040602 ROBDD fg: <br />
	 {{InLineImageLink|Infoalap|FormModVizsga20040602|040602_271fg_safi.png}}

* 20040602 ROBDD m: <br />
	 {{InLineImageLink|Infoalap|FormModVizsga20040602|040602_271m_safi.png}}

-- [[SafranyZsolt|safi]] - 2006.06.13.


[[Category:Infoalap]]