2006. május 31. vizsga

Ez az oldal a korábbi SCH wiki-ről lett áthozva. Az eredeti változata itt érhető el.

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

Miért számít a ROBDD-ben a változók lekötési sorrendjének megválasztása

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.

Adatfolyamháló értelmezési tartomány szerinti refaktoringjánál mit kell tenni a tokenek halmazának finomításán túl

A változásokhoz kell igazítani a tüzelési szabályok halmazát

• volt egy kerdes a minimalis alapu T invariansra vonatkozolag. (Zsófi levele alapján)

50 pontos a vizsga, szóval a gyakorlati rész volt a hangsúlyos most:

• két függvény robddjét felrajzolni, egy belőlük képzett harmadikét pedig az előző kettő robddje alapján
• DFD kihajtogatása petrihálóba
• 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)
• 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
• 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.

-- sultan - 2006.06.03.