„Rendszermodellezés 1. ZH/Igaz Hamis kikérdező” változatai közötti eltérés

Nincs szerkesztési összefoglaló
Nincs szerkesztési összefoglaló
58. sor: 58. sor:
# Leírható Nassi-Shneiderman struktogrammal.
# Leírható Nassi-Shneiderman struktogrammal.
# Nem lehet vele végtelen ciklust definiálni.
# Nem lehet vele végtelen ciklust definiálni.
== A modell és a valóság között különbség, hogy… ==
{{kvízkérdés|típus=több|válasz=1,3,4|pontozás=-}}
# …a modell vonatkozhat még nem létező (pl. tervezett) rendszerre is.
# …a valóság egy egyszerűsített képe a modellnek.
# …a modellen elsősorban csak az adott problémával kapcsolatos, releváns információk jelenjenek meg.
# …egy modell elhanyagolhatja a világ bizonyos tulajdonságait.
== Ha M1 állapotmodell finomítja M2 állapotmodellt, akkor ==
{{kvízkérdés|típus=több|válasz=2,4|pontozás=-}}
# M2 is finomítja M1 modellt.
# M1 több információt tartalmaz, mint M2.
# M2 több információt tartalmaz, mint M1.
# M2 absztrahálja M1 modellt.
== Legyen S egy állapottér, és S' egy tetszőleges állapothalmaz. Ekkor… ==
{{kvízkérdés|típus=több|válasz=1,3|pontozás=-}}
# …S \ S' biztosan kizárólagos
# …S \ S' biztosan teljes
# …S ∪ S' biztosan teljes
# …ha S' is egy állapottér, akkor S ∩ S' = ∅ vagy S=S’.
== Egy állapotgép biztosan nemdeterminisztikus, ha… ==
{{kvízkérdés|típus=több|válasz=2,4|pontozás=-}}
# …egy állapotból több eseményre ugyanabba az állapotba megy a gép.
# …egy állapotból ugyanarra az eseményre több átmenet definiált, eltérő kimenetet adva.
# …egy állapotból nem minden lehetséges eseményre definiált az átmenet.
# …egy állapotot elhagy egy eseménnyel kiváltott és egy spontán átmenet is, eltérő kimenetet adva.
== Mi lehet a strukturális modellezés célja? ==
{{kvízkérdés|típus=több|válasz=2,4|pontozás=-}}
# A rendszer működésének időbeli vizsgálata.
# A rendszer kisebb részekre bontása.
# A rendszer dinamikus viselkedésének vizsgálata.
# A rendszerben található kapcsolatok és összeköttetések meghatározása.
== A fa tulajdonságú gráf… ==
{{kvízkérdés|típus=több|válasz=2,3|pontozás=-}}
# … irányítatlan kört tartalmazhat, de irányított kört nem.
# …reprezentálhat egy tartalmazási struktúrát.
# …élcímkére szűrve is egy vagy több fa marad.
# …típusgráfja nem tartalmazhat hurokélet.
== Mely állítások igazak az alábbiak közül? ==
{{kvízkérdés|típus=több|válasz=2,3|pontozás=-}}
# A típusgráfok a tulajdonságmodellek időbeli változását írják le.
# A típusgráfban minden csomóponttípushoz egy típuscsomópont, minden éltípushoz egy típusél tartozik.
# Az objektum-orientált programozásban használt osztályoknak megfeleltethető a típusgráf egy-egy csomópontja.
# Az objektum-orientált programozásban használt objektumoknak megfeleltethető a típusgráf egy-egy csomópontja.
== A modell és a modellezett rendszer viszonya: ==
{{kvízkérdés|típus=több|válasz=1,3|pontozás=-}}
# A modell egyszerűsítheti, összemoshatja a modellezett rendszer bizonyos részleteit.
# A modell mindig egy hipotetikus (pl. fejlesztés alatt álló) rendszert közelít, sosem a valóságot.
# A modell elhagyhatja a modellezett rendszer bizonyos részeit, komponenseit.
# A modell a modellezett rendszer finomítása.
== Ha egy rendszernek az M1 modell jó modellje, de az M2 modell nem érvényes rá, akkor… ==
{{kvízkérdés|típus=több|válasz=3|pontozás=-}}
# …M1 lehet M2 finomítása.
# …M1 mindenképpen M2 finomítása.
# …M1 lehet M2 absztrakciója.
# …M1 mindenképpen M2 absztrakciója.
== A fa tulajdonságú gráf… ==
{{kvízkérdés|típus=több|válasz=2,3|pontozás=-}}
# …csak irányítatlan kört tartalmazhat, irányított kört nem.
# …reprezentálhat egy tartalmazási struktúrát.
# …élcímkére szűrve is egy vagy több fa marad.
# …típusgráfja nem tartalmazhat hurokélet.
== Egy egyszerű állapotgép biztosan determinisztikus, ha… ==
{{kvízkérdés|típus=több|válasz=3|pontozás=-}}
# …teljesen specifikált.
# …egy kezdőállapota van.
# …egy állapotátmenete van.
# …egy állapota van (állapotmentes).
== Ha M1 állapotgép absztrahálja M2 állapotgépet, akkor… ==
{{kvízkérdés|típus=több|válasz=2|pontozás=-}}
# …M1 több információt tartalmaz, mint M2.
# …M2 több információt tartalmaz, mint M1.
# …M1 biztosan több állapotból áll, mint M2.
# …M2 biztosan több állapotból áll, mint M1.
== Az S1 S2 és S3 állapotterek direkt szorzataként előálló S állapottérnek minden pillanatban… ==
{{kvízkérdés|típus=több|válasz=3,4|pontozás=-}}
# …legalább 3 eleme fennáll.
# …legalább 3 eleme fennáll.
# …legalább 1 eleme fennáll.
# …legfeljebb 1 eleme áll fenn.
== Ha az egyik állapotrégió 5 állapotot és 15 átmenetet, a másik régió 4 állapotot és 8 á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=2|pontozás=-}}
# …23 átmenetet tartalmaz.
# …100 átmenetet tartalmaz.
# …107 átmenetet tartalmaz.
# …107 átmenetet tartalmaz.
== Őrfeltételt írhatunk… ==
{{kvízkérdés|típus=több|válasz=2,3|pontozás=-}}
# …típusgráf éleire.
# …állapotgép átmeneteire.
# …folyamatmodell Decision csomópontjából kilépő vezérlési élekre.
# …adatfolyamháló csatornáira.