https://vik.wiki/index.php?action=history&feed=atom&title=2006._m%C3%A1jus_31._vizsga2006. május 31. vizsga - Laptörténet2026-05-11T09:14:45ZAz oldal laptörténete a wikibenMediaWiki 1.43.8https://vik.wiki/index.php?title=2006._m%C3%A1jus_31._vizsga&diff=137299&oldid=prevUnknown user: Új oldal, tartalma: „{{GlobalTemplate|Infoalap|FormModVizsga20060531Feladatok}} ==Miért számít a ROBDD-ben a változók lekötési sorrendjének megválasztása== Méret szempontjáb…”2012-10-21T19:58:08Z<p>Új oldal, tartalma: „{{GlobalTemplate|Infoalap|FormModVizsga20060531Feladatok}} ==Miért számít a ROBDD-ben a változók lekötési sorrendjének megválasztása== Méret szempontjáb…”</p>
<p><b>Új lap</b></p><div>{{GlobalTemplate|Infoalap|FormModVizsga20060531Feladatok}}<br />
<br />
<br />
==Miért számít a ROBDD-ben a változók lekötési sorrendjének megválasztása==<br />
<br />
Méret szempontjából fontos a változók sorrendje, más sorrend (akár nagyságrendileg) eltérő számú ROBDD csomópontot eredményezhet.<br />
<br />
==Adatfolyamháló értelmezési tartomány szerinti refaktoringjánál mit kell tenni a tokenek halmazának finomításán túl==<br />
<br />
A változásokhoz kell igazítani a tüzelési szabályok halmazát<br />
<br />
* volt egy kerdes a minimalis alapu T invariansra vonatkozolag. (Zsófi levele alapján)<br />
<br />
50 pontos a vizsga, szóval a gyakorlati rész volt a<br />
hangsúlyos most:<br />
* két függvény robddjét felrajzolni, egy belőlük képzett harmadikét pedig az előző kettő robddje alapján<br />
* DFD kihajtogatása petrihálóba<br />
* két együttműködő kripke automatából összevont kripkeautomata felrajzolása (az egyik automata pszeudókóddal volt megadva), az élkifejezésekből LTL írása (3 db), egy nagyobb LTL bizonyítás tablóval (az eredetileg is állapotgépként felrajzolt automatára)<br />
* megadott specifikációt megvalósító CPN értelmezése: a megvalósítás helyességére vonatkozó kérdések, specifikáció egy kiegészítésének megfelelően CPN átalakítása<br />
* gráftrafós feladat: volt egy alap gráf(modell) és 3 transzformáció; 1. fel kellett rajzolni, hogy a megadott gráfon végrehajtva az egyes transzformációkat milyen gráfokat kapunk.(figyelni kell arra, ha egy elem a transzformációban negatív feltételként van jelen(ábrázolva - keresztbe(X) át volt húzva), akkor az elem hiánya a feltétel) 2. meg kellett adni minden transzformációpárra, hogy sorosan egymás után végrehajtva őket függetlenek vagy egymástól függők.<br />
<br />
-- [[IwattRobert|sultan]] - 2006.06.03.<br />
<br />
<br />
[[Category:Infoalap]]</div>Unknown user