„Rendszermodellezés 1. ZH/Igaz Hamis kikérdező” változatai közötti eltérés
Nincs szerkesztési összefoglaló |
Nincs szerkesztési összefoglaló |
||
| (4 közbenső módosítás, amit 2 másik szerkesztő végzett, nincs mutatva) | |||
| 137. sor: | 137. sor: | ||
== Egy egyszerű állapotgép biztosan determinisztikus, ha… == | == Egy egyszerű állapotgép biztosan determinisztikus, ha… == | ||
{{kvízkérdés|típus=több|válasz= | {{kvízkérdés|típus=több|válasz=0|pontozás=-}} | ||
# …teljesen specifikált. | # …teljesen specifikált. | ||
# …egy kezdőállapota van. | # …egy kezdőállapota van. | ||
| 168. sor: | 168. sor: | ||
# …típusgráf éleire. | # …típusgráf éleire. | ||
# …állapotgép átmeneteire. | # …állapotgép átmeneteire. | ||
# …folyamatmodell | # …folyamatmodell decision (döntési) csomópontjából kilépő vezérlési élekre. | ||
# …adatfolyamháló csatornáira. | # …adatfolyamháló csatornáira. | ||
| 227. sor: | 227. sor: | ||
# ...a kiterjesztett (Harel) állapotgépben az egyik a másikat tartalmazó állapot. | # ...a kiterjesztett (Harel) állapotgépben az egyik a másikat tartalmazó állapot. | ||
== Két komponensű állapotgép aszinkron szorzata... == | == Két (komponensű) állapotgép aszinkron szorzata... == | ||
{{kvízkérdés|típus=több|válasz=1,4|pontozás=-}} | {{kvízkérdés|típus=több|válasz=1,4|pontozás=-}} | ||
# ...maga is állapotgép. | # ...maga is állapotgép. | ||
# ...olyan állapotátmeneteket tartalmaz, amelyek során mindig mindkét komponens állapotgépében is végrehajtódik egy-egy átmenet. | # ...olyan állapotátmeneteket tartalmaz, amelyek során mindig mindkét (komponens) állapotgépében is végrehajtódik egy-egy átmenet. | ||
# ...nem lehet determinisztikus, mert mindkét komponens állapotgépe válthat állapotot. | # ...nem lehet determinisztikus, mert mindkét (komponens) állapotgépe válthat állapotot. | ||
# ...absztrakcióval visszavetíthető az egyik komponens állapotgépre. | # ...absztrakcióval visszavetíthető az egyik (komponens) állapotgépre. | ||
== A modell... == | == A modell... == | ||
| 381. sor: | 381. sor: | ||
# ...G elemei közt csak olyan összeköttetések lehetségesek, melyekre T definiál éltípust. | # ...G elemei közt csak olyan összeköttetések lehetségesek, melyekre T definiál éltípust. | ||
== | == Tulajdonságmodellen végzett szűrés során... == | ||
{{kvízkérdés|típus=több|válasz=1,3|pontozás=-}} | {{kvízkérdés|típus=több|válasz=1,3|pontozás=-}} | ||
# ...az eredmény sorainak száma lehet kevesebb, mint az eredeti modellben. | # ...az eredmény sorainak száma lehet kevesebb, mint az eredeti modellben. | ||
| 387. sor: | 387. sor: | ||
# ...az eredménybe azon elemek kerülnek, amelyek tulajdonságai megfelelnek a szűrés feltételeinek. | # ...az eredménybe azon elemek kerülnek, amelyek tulajdonságai megfelelnek a szűrés feltételeinek. | ||
# ...strukturális dekompozíciót végzünk. | # ...strukturális dekompozíciót végzünk. | ||
== Ha egy folyamatmodell A1 és A2 lépése (elemi tevékenysége) egy Fork-Join által határolt vezérlési szerkezet két ágán található, akkor... == | == Ha egy folyamatmodell A1 és A2 lépése (elemi tevékenysége) egy Fork-Join által határolt vezérlési szerkezet két ágán található, akkor... == | ||
| 409. sor: | 408. sor: | ||
# ...elhagyható S halmazból egy állapot úgy, hogy ezután már nem lesz kizárólagos. | # ...elhagyható S halmazból egy állapot úgy, hogy ezután már nem lesz kizárólagos. | ||
# ...készíthető olyan állapotgép, mely S összes állapotának felhasználása mellett nem lesz teljesen specifikált. | # ...készíthető olyan állapotgép, mely S összes állapotának felhasználása mellett nem lesz teljesen specifikált. | ||
== A Harel-féle hierarchikus állapottérkép tartalmazhat... == | == A Harel-féle hierarchikus állapottérkép tartalmazhat... == | ||
| 417. sor: | 415. sor: | ||
# ...pszeduoállapotot. | # ...pszeduoállapotot. | ||
# ...változókat. | # ...változókat. | ||
== Egy egyszerű állapotgép biztosan determinisztikus, ha... == | |||
{{kvízkérdés|típus=több|válasz=-|pontozás=-}} | |||
# ...állapotainak száma 1 (állapotmentes). | |||
# ...minden állapotából csak egy spontán átmenetet definiálunk. | |||
# ...nincs benne hurokél. | |||
# ...egy kezdőállapota van. | |||
== Egy rendszer állapotait a várakozás alatt álló kérések számával modellezük, ehhez a természetes számok halmazát használjuk, mint állapottér. Állapottér marad-e a halmazunk, ha... == | |||
{{kvízkérdés|típus=több|válasz=3,4|pontozás=-}} | |||
# ...eltávolítjuk belőle a 0 elemet? | |||
# ...hozzávesszük a "> 100" predikátumot, ami akkor teljesül, ha 100-nál több kérés várakozik? | |||
# ...hozzávesszük a negatív számokat is? | |||
# ...Decartes-szorozzuk az {logol, nemlogol} halmazzal? | |||
== Őrfeltételt írhatunk... == | |||
{{kvízkérdés|típus=több|válasz=2,3|pontozás=-}} | |||
# ...típusgráf éleire, amennyiben azok nem hurokélek. | |||
# ...folyamatmodell decision (döntési) csomópontjából kilépő vezérlési élekre. | |||
# ...állapotgép átmeneteire. | |||
# ...folyamatmodell döntési csomópontjába belépő vezérlési élekre. | |||
== Ha M1 egyszerű állapotgép 3 állapotot és 5 átmenetet, M2 pedig 4 állapotot és 6 átmenetet tartalmaz, akkor... == | |||
{{kvízkérdés|típus=több|válasz=1,3|pontozás=-}} | |||
# ...M2 lehet M1 állapotösszevonással kapott absztrakciója. | |||
# ...M2 állapottere lehet M1 állapotterének állapotösszevonással kapott absztrakciója. | |||
# ...M1 és M2 aszinkron szorzata 12 állapotot tartalmaz. | |||
# ...lehetséges, hogy M1 és M2 aszinkron szorzata 42 átmenetet tartalmaz. | |||
== Struktúramodellezés esetén... == | |||
{{kvízkérdés|típus=több|válasz=1,2|pontozás=-}} | |||
# ...a típusgráf élei meghatározzák a példánygráfban előforduló élek lehetséges típusait. | |||
# ...a típusgráf egy irányított gráf. | |||
# ...az "is a" címkével ellátott élek típuspéldány viszonyt jelölnek. | |||
# ...a típusgráfban található minden csúcstípushoz léteznie kell legalább egy csomópontnak a példánygráfban. | |||
== Tulajdonságmodellen végzett lekérdezés során... == | |||
{{kvízkérdés|típus=több|válasz=2,3|pontozás=-}} | |||
# ...közvetlenül a SELECT kulcsszó után szerepel a szűrési feltétel. | |||
# ...a vetítés paraméterei azon oszlopok, amelyek a művelet után megmaradnak. | |||
# ...alkalmazhatunk szűrés és vetítés műveleteket, valamint származtathatunk új tulajdonságot. | |||
# ...egy SELECT ... FROM ... WHERE ... alakú lekérdezésben a vetítés hajtódik végre először, így a szűrés már csak megmaradó oszlopokra vonatkozhat. | |||
== Jólstrukturált folyamatmodellek végrehajtása során... == | |||
{{kvízkérdés|típus=több|válasz=3,4|pontozás=-}} | |||
# ...a folyamat minden esetben véges idő alatt eljut a "folyamat vége" csomóponthoz, ha nincs benne ciklus. | |||
# ...mindig van olyan tevékenység, melyet minden végrehajtás érint, ha a folyamatmodell teljesen specifikált. | |||
# ...egy végrehajtás alatt a Fork-Join vezérlési szerkezet két ágán található tevékenységek átlapolódhatnak. | |||
# ...egy döntési csomópont egy kiértékelésekor az ágak közül legfeljebb az egyiken található tevékenységek hajtódnak végre. | |||
== Ha az egyik állapotrégió 5 állapotot és 10 átmenetet, a másik régió 6 állapotot és 16 átmenetet tartalmaz, akkor az aszinkron szorzatukként számolt állapotgép további finomítás híján... == | |||
{{kvízkérdés|típus=több|válasz=0|pontozás=-}} | |||
# ...mindenképpen determinisztikus lesz. | |||
# ...mindenképpen fog őrfeltételeket tartalmazni. | |||
# ...kevesebb, mint 100 átmenetet tartalmaz. | |||
# ...8-cal osztható számú átmenetet tartalmaz. | |||