Rendszermodellezés 1. ZH/Igaz Hamis kikérdező
A VIK Wikiből
A modell egy valós vagy hipotetikus rendszer egy részének milyen képe?
- aszinkron
- egyszerűsített
- determinisztikus
- végrehajtható
Melyik mondat lesz mindenképp igaz, ha M1 modell finomítja az M2 modellt?
- Ha egy rendszernek M2 jó modellje, akkor M1 is.
- Ha egy rendszernek M1 jó modellje, akkor M2 is.
- M2 absztrahálja M1-et.
- M2 finomítja M1-et.
Az alábbiak közül mely gráfok mindig körmentesek?
- A csomópont- és éltípusokból álló típusgráf.
- Tartalmazási hierarchia.
- Fastruktú́ra.
- Élcímkére szűréssel kapott részgráf.
Melyik lehet állapotátmenet címkéjén az alábbiak közül?
- Output esemény.
- Párhuzamos régiók.
- Őrfeltétel.
- Állapot
Az alábbiak közül melyik jellemző minden állapottérre?
- Hierarchikus
- Teljes.
- Kizárólagos.
- Determinisztikus.
Melyik mondat lesz mindenképp igaz a teljes rendszer S állapotterére, ha a rendszert két komponens állapotrégiójával (S1 ill. S2) írjuk le?
- S nemdeterminisztikus.
- S jólstrukturált folyamatmodell.
- S az S1 és S2 uniója.
- S az S1 és S2 metszete.
Mi igaz a C nyelvű programok vezérlési folyamára?
- A vezérlési folyam egy hierarchikus állapotgép.
- A vezérlési folyam tartalmazhat Decision csomópontot.
- A vezérlési folyam tartalmazhat Merge csomópontot.
- A vezérlési folyam tartalmazhat ciklust.
Mi igaz a jólstrukturált folyamatra?
- Annyi kilépési pontja van, ahány állapot az állapottérben.
- Nem tartalmazhat elágazást.
- Leírható Nassi-Shneiderman struktogrammal.
- Nem lehet vele végtelen ciklust definiálni.
A modell és a valóság között különbség, hogy…
- …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
- 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…
- …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…
- …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?
- 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…
- … 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?
- 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:
- 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…
- …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…
- …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…
- …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…
- …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…
- …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…
- …23 átmenetet tartalmaz.
- …100 átmenetet tartalmaz.
- …107 átmenetet tartalmaz.
- …107 átmenetet tartalmaz.
Őrfeltételt írhatunk…
- …típusgráf éleire.
- …állapotgép átmeneteire.
- …folyamatmodell Decision csomópontjából kilépő vezérlési élekre.
- …adatfolyamháló csatornáira.
