Unknown user: Új oldal, tartalma: „{{GlobalTemplate|Infoalap|FormModVizsga20040526}} TOC ==2.3.2== a páciens sohasem marad beteg: G((B V C) -> F(A)) ha egy orvos műteni kezd, előbb utóbb pih…”

2012-10-21T19:58:02Z

Új oldal, tartalma: „{{GlobalTemplate|Infoalap|FormModVizsga20040526}} __TOC__ ==2.3.2== a páciens sohasem marad beteg: G((B V C) -> F(A)) ha egy orvos műteni kezd, előbb utóbb pih…”

Új lap

{{GlobalTemplate|Infoalap|FormModVizsga20040526}}

__TOC__

==2.3.2==

a páciens sohasem marad beteg: G((B V C) -> F(A))

ha egy orvos műteni kezd, előbb utóbb pihenni is fog: G(3->F(1))

egy súlyos beteg páciens addig nem gyógyul meg, míg az orvos meg nem műti: G(C -> C U 3)

==2.5 Gráftranszformáció==
Adott az ábrán látható 3 gráftranszformációs szabály (send, receive, delProc) és egy model-gráf. Az áthúzott modellrészek a negatív alkalmazási feltételeket jelölik. A gráftranszformációs szabályok alkalmazásakor feltesszük, hogy:
* a mintaillesztés nem feltétlenül kölcsönösen egyértelmű (másképpen '''homomorf''' , azaz két
különböző mintacsúcs modellbeli képe lehet ugyanaz a modellcsúcs)
* lógó élek keletkezésekor a szabály '''nem alkalmazható'''

szabályok: 
{{InLineImageLink|Infoalap|FormModVizsga20040526|graftraf040526.PNG}}
 
modell:
 
{{InLineImageLink|Infoalap|FormModVizsga20040526|graftrafmod040526.PNG}}
===2.5.1===
'''Rajzolja fel az összes lehetséges rákövető gráfot, melyet az adott kiindulási modellből egy gráftranszformációs lépés végrehajtásával megkaphatunk!'''

* '''send''' : 
{{InLineImageLink|Infoalap|FormModVizsga20040526|graftrafmod040526_mo1.PNG}}{{InLineImageLink|Infoalap|FormModVizsga20040526|graftrafmod040526_mo2.PNG}} 
* '''receive''' : 
{{InLineImageLink|Infoalap|FormModVizsga20040526|graftrafmod040526_mo3.PNG}}
* '''delProc''' : 
Nem lehet alkalmazni, mert lógó élek maradnának. Ugyanis vagy a processzhez, vagy a csatornához tartozik egy message...

-- [[AdamO|adamo]] - 2006.06.12.

===2.5.2.===
'''Párhuzamosan függetlenek-e ezek a gráftranszformációs lépések egymástól? Páronként vizsgálja meg őket!''' Ha jól tudom, akkor független párhuzamosan két gráftranszformációs szabály, hogyha egyik alkalmazása se veszi el a másik alkalmazhatóságát.

* *send + receive*: Függetlenek práhuzamosan.
* *send + delproc*: Függetlenek párhuzamosan. (nézd meg, hogy delprocot ha alkalmazhatjuk, akkor az azt jelenti, hogy tutti nem volt message se a procon se a chanelen, így ekkor sendet eleve nem alkalmazhattuk. Fordítva, ha sendet alkalmazhatjuk, akkor delprocot tutti nem, mert maradna lógó él. Azaz ha a kettő egyszerre nem alkalmazható, tutti nem fogja az egyik a másik alkalmazhatóságát elvenni, hisz a másiknak eleve nincs is.)
* *receive + delproc*: Majdnem ugyanaz, mint az előbb, de mégsem. Ezek nem függetlenek, mert ha alkalmazol egy receivet, akkor az elveheti egy delproctól az alkalmazhatóságát, mert receive pont arra a procra tesz rá egy message-t, amit még törölhettünk volna. (a csatornájával együtt)
* *send + send*: Nem független párhuzamosan két send, mert send alkalmazásával saját feltételét szünteti meg.
* *receive + receive*: Nem független párhuzamosan két receive, mert receive alkalmazásával saját feltételét szünteti meg.
* *delproc + delproc*: Nem független párhuzamosan két delproc, mert delproc alkalmazásával saját feltételét szünteti meg.

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

==2.6. ROBDD==
===2.6.1.===
Határozza meg...

{{InLineImageLink|Infoalap|FormModVizsga20040526|040526_261fg.png}}
{{InLineImageLink|Infoalap|FormModVizsga20040526|040526_261m.png}}
-- [[AdamO|adamo]] - 2006.06.12.

[[Category:Infoalap]]

Vizsga 20040526 - Laptörténet

Unknown user: Új oldal, tartalma: „{{GlobalTemplate|Infoalap|FormModVizsga20040526}} __TOC__ ==2.3.2== a páciens sohasem marad beteg: G((B V C) -> F(A)) ha egy orvos műteni kezd, előbb utóbb pih…”

Unknown user: Új oldal, tartalma: „{{GlobalTemplate|Infoalap|FormModVizsga20040526}} TOC ==2.3.2== a páciens sohasem marad beteg: G((B V C) -> F(A)) ha egy orvos műteni kezd, előbb utóbb pih…”