https://vik.wiki/index.php?action=history&feed=atom&title=Vizsga_2004._06._02. 2026-05-12T01:46:07Z Az oldal laptörténete a wikiben MediaWiki 1.43.8 https://vik.wiki/index.php?title=Vizsga_2004._06._02.&diff=137295&oldid=prev 2012-10-21T19:58:04Z

<p>Új oldal, tartalma: „{{GlobalTemplate|Infoalap|FormModVizsga20040602}} [http://info.sch.bme.hu/document.php?cmd=download_proc&amp;tmp_page=&amp;doc_id=8774 Info-site-ról] __TOC__ ==2.3 Adatfolyam…”</p> <p><b>Új lap</b></p><div>{{GlobalTemplate|Infoalap|FormModVizsga20040602}}<br /> <br /> [http://info.sch.bme.hu/document.php?cmd=download_proc&amp;tmp_page=&amp;doc_id=8774 Info-site-ról]<br /> __TOC__<br /> ==2.3 Adatfolyam hálók: széthajtogatás==<br /> * Feladat: &lt;br /&gt; Az alábbi ábrán egy adatfolyam háló modell látható. A hálónak két csomópontja van:&lt;br/&gt;master: mst = ({wd},{out},{sm0,sm1},sm0,{r1,r2,r3,r4},{ok,err,b0,b1})&lt;br/&gt;checker: chk = ({out},{wd},{sc0,sc1},sc0,{r5,r6,r7},{b0,b1,ok,err})&lt;br/&gt;A modellben két darab &#039;&#039;egy kapacitású&#039;&#039; 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:&lt;br/&gt; r3 = &amp;lt;sm1; wd=0; sm0; out=0&amp;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.<br /> <br /> {{InLineImageLink|Infoalap|FormModVizsga20040602|form_20040602_23.gif}}<br /> <br /> ===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!===<br /> <br /> * Megoldás: &lt;br /&gt;<br /> {{InLineImageLink|Infoalap|FormModVizsga20040602|form_20040602_231.gif}}<br /> <br /> * {{InLineFileLink|Infoalap|FormModVizsga20040602|v_040602.wam|v_040602.wam}}: Petri-háló DNANet-es verziója<br /> <br /> -- [[CsapoT|Csapszi]] - 2006.06.12.<br /> <br /> ==2.7 Bináris döntési diagramok==<br /> Adottak az alábbi logikai függvények: &lt;br&gt;<br /> f&lt;br&gt;<br /> g&lt;br&gt;<br /> m&lt;br&gt;<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.===<br /> <br /> {{InLineImageLink|Infoalap|FormModVizsga20040602|040602_271fg.png}}<br /> {{InLineImageLink|Infoalap|FormModVizsga20040602|040602_271m.png}}<br /> -- [[AdamO|adamo]] - 2006.06.13.<br /> <br /> <br /> <br /> <br /> &#039;&#039;&#039;Másik alternatíva:&#039;&#039;&#039;<br /> * 20040602 ROBDD fg: &lt;br /&gt;<br /> {{InLineImageLink|Infoalap|FormModVizsga20040602|040602_271fg_safi.png}}<br /> <br /> * 20040602 ROBDD m: &lt;br /&gt;<br /> {{InLineImageLink|Infoalap|FormModVizsga20040602|040602_271m_safi.png}}<br /> <br /> -- [[SafranyZsolt|safi]] - 2006.06.13.<br /> <br /> <br /> [[Category:Infoalap]]</div>

Unknown user