Rendszermodellezés 1. ZH/Igaz Hamis kikérdező

	Kvízek használata,; importálása, fejlesztése.
Statisztika
Átlagteljesítmény	-
Eddigi kérdések	0
Kapott pontok	0
Alapbeállított pontozás	(+)
	-
Beállítások
Minden kérdés látszik	-
Véletlenszerű sorrend	-
	-

A modell egy valós vagy hipotetikus rendszer egy részének milyen képe?

Típus: több. Válasz: 2. Pontozás: -.

Aszinkron.
Egyszerűsített.
Determinisztikus.
Végrehajtható.

Melyik mondat lesz mindenképp igaz, ha M1 modell finomítja az M2 modellt?

Típus: több. Válasz: 2,3. Pontozás: -.

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.

A 3 állapotból, 4 átmenetből álló M1, továbbá az 5 állapotból és 15 átmenetből álló M2 egyaránt egyszerű állapotgépek, őrfeltételek nélkül. Mi igaz a teljes rendszert jellemző M állapotgépre, amely ezen két komponens/régió aszinkron szorzataként állt elő?

Típus: több. Válasz: 1,4. Pontozás: -.

M állapotainak száma 15.
M állapotátmeneteinek száma 19.
M állapotátmeneteinek száma 60.
M állapotátmeneteinek száma 65.

Az alábbiak közül mely gráfok mindig körmentesek?

Típus: több. Válasz: 2,3. Pontozás: -.

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?

Típus: több. Válasz: 1,3. Pontozás: -.

Output esemény.
Párhuzamos régiók.
Őrfeltétel.
Állapot.

Az alábbiak közül melyik jellemző minden állapottérre?

Típus: több. Válasz: 2,3. Pontozás: -.

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?

Típus: több. Válasz: 0. Pontozás: -.

S nemdeterminisztikus.
S jólstrukturált folyamatmodell.
S az S1 és S2 uniója.
S az S1 és S2 metszete.

Legfeljebb hány állapotot tartalmaz két olyan állapottér direkt szorzata, amelyek rendre 5 és 3 állapotból álltak?

Típus: több. Válasz: 2-. Pontozás: -.

8.
15.
2.
23.

Mi igaz a C nyelvű programok vezérlési folyamára?

Típus: több. Válasz: 2,3,4. Pontozás: -.

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?

Típus: több. Válasz: 3. Pontozás: -.

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…

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

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…

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…

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?

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…

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?

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:

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…

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.

Egy egyszerű állapotgép biztosan determinisztikus, ha…

Típus: több. Válasz: 0. 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…

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…

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…

Típus: több. Válasz: 2. Pontozás: -.

…23 átmenetet tartalmaz.
…100 átmenetet tartalmaz.
…107 átmenetet tartalmaz.
…120 átmenetet tartalmaz.

Őrfeltételt írhatunk…

Típus: több. Válasz: 2,3. Pontozás: -.

…típusgráf éleire.
…állapotgép átmeneteire.
…folyamatmodell decision (döntési) csomópontjából kilépő vezérlési élekre.
…adatfolyamháló csatornáira.

Állapotgépen tetszőleges állapot, token vagy őrfeltétel finomítást végezve…

Típus: több. Válasz: 3. Pontozás: -.

…mindig nő az állapotok száma.
…mindig csökken az állapotok száma.
…a finomított modell minden elérhető állapotához pontosan egy elérhető állapot tartozik az absztrakt modellben.
…az absztrakt modell minden elérhető állapotához tartozik legalább egy elérhető állapot a finomított modellben.

Egy állapotgép biztosan teljesen specifikált, ha…

Típus: több. Válasz: 1,3. Pontozás: -.

…van kezdőállapota, csak egyféle inputja van, és minden állapotnak van ezzel címkézett kimenő átmenete.
…van kezdőállapota, és minden lehetséges inputja legalább egy állapotátmeneten szerepel.
…egy teljesen specifikált állapotgép absztrakciója két állapot összevonásával.
…egy teljesen specifikált állapotgép finomítása egy állapot kettéválasztásával.

Legyen S egy állapottér, és S' egy tetszőleges állapothalmaz. Ekkor…

Típus: több. Válasz: 1. Pontozás: -.

…S \ S' biztosan kizárólagos.
…S \ S' biztosan teljes.
…ha S' is egy állapottér, akkor S \ S' = ∅.
…ha S' is egy állapottér, akkor S ∩ S' = ∅.

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…

Típus: több. Válasz: 3. Pontozás: -.

…pontosan 26 átmenetet tartalmaz.
…pontosan 30 átmenetet tartalmaz.
…pontosan 140 átmenetet tartalmaz.
…pontosan 160 átmenetet tartalmaz.

Mely állítások igazak az alábbiak közül?

Típus: több. Válasz: 4. Pontozás: -.

Szűrés során a táblázat jellemzőinek száma mindig csökken.
Szűrés során a tulajdonságmodellben kör keletkezhet.
Szűrés során a jellemzett objektumok száma nem változhat.
Vetítés során a táblázat jellemzőinek száma csökkenhet.

Mely állítások igazak az alábbiak közül?

Típus: több. Válasz: 1,3. Pontozás: -.

Minden irányítatlan gráf ábrázolható irányított gráffal.
Egy hierarchiát ábrázoló gráfban lehet kör.
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 objektumoknak megfeleltethető egy típusgráf csomópontja.

Állapot alapú modellezéskor...

Típus: több. Válasz: 4. Pontozás: -.

...minden állapothalmaz egyben állapottér is.
...az állapottér kizárólagossága azt jelenti, hogy mindig van fennálló, érvényes állapot.
...csak akkor lehet teljes egy állapottér, ha több mint egy eleme van.
...absztrakció után továbbra is fennáll a kölcsönös kizárólagosság.

Két állapot fennállhat egyszerre, ha...

Típus: több. Válasz: 1,3,4. Pontozás: -.

...nem ugyanazon állapottér részei.
...azonos a típusuk.
...egy kiterjesztett (Harel) állapotgépben egy összetett állapot két külön állapotrégiójában vannak.
...a kiterjesztett (Harel) állapotgépben az egyik a másikat tartalmazó állapot.

Két (komponensű) állapotgép aszinkron szorzata...

Típus: több. Válasz: 1,4. Pontozás: -.

...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.
...nem lehet determinisztikus, mert mindkét (komponens) állapotgépe válthat állapotot.
...absztrakcióval visszavetíthető az egyik (komponens) állapotgépre.

A modell...

Típus: több. Válasz: 2,3. Pontozás: -.

...mindig egy tervezés alatt álló rendszerről szól, sosem a létező valóságról.
...nem mindig foglalkozik az egész modellezett rendszerrel, csak egy részével.
...szerepe, hogy bizonyos megfontolásokban helyettesítse a rendszert.
...lehet pontosabb, részletesebb a valódi rendszernél.

Modellek dekompozíciója esetén...

Típus: több. Válasz: 1,2. Pontozás: -.

...a "része" viszony jelentése lehet térbeli tartalmazás (fizikai dekompozíció).
...a "része" viszony jelentése lehet funkció szerinti szétbontás (logikai dekompozíció).
...helyes lehet olyan dekompozíció, amely az eredeti rendszer egyes elemeit összevonja.
...minden rendszerelemet több részre bontunk fel.

A példánygráf...

Típus: több. Válasz: 1,3. Pontozás: -.

...csomópontokból és élekből áll.
...más néven metamodell.
...elemei a típusuk által megengedett módon kapcsolódhatnak.
...egy program vezérlési folyamát írja le.

A folyamatmodellben az elemi tevékenység...

Típus: több. Válasz: 2,3,4. Pontozás: -.

...nem fordulhat elő, ha a folyamat jólstrukturált.
...időbeli kiterjedéssel rendelkezhet, huzamosabb ideig végrehajtás alatt lehet.
...belső működését, időbeli lefolyását a folyamatmodell nem részletezi.
...finomítás keretében helyettesíthető egy részfolyamattal, amely a tevékenység végrehajtásának részleteit taglalja.

Őrfeltétel...

Típus: több. Válasz: 1,2,3,4. Pontozás: -.

...szerepelhet a folyamat döntési (Decision) csomópontjáról kimenő ágakon.
...szerepelhet egy állapotgép állapotátmeneti élein.
...figyelembe vehet változókat, más állapotrégiókat, külső információt.
...sérülés esetén az adott viselkedés nem megengedett.

A strukturális dekompozíció...

Típus: több. Válasz: 2,3,4. Pontozás: -.

...egy rendszer részekre bontása az állapotátmeneti reláció szerint.
...lehet fizikai vagy logikai.
...mindig növeli a modellelemek számát.
...egyfajta finomítás.

A struktúramodellnek tipikus célja, hogy...

Típus: több. Válasz: 1,4. Pontozás: -.

...a rendszer belső felépítését leírják.
...az egyes eseményekre a rendszer által adott választ definiálják.
...a végrehajtandó lépéseket, és egymás közti sorrendjüket megadják.
...a rendszert alkotó elemek jellemzőit és viszonyait leírják.

Egy állapotgép biztosan determinisztikus, ha ...

Típus: több. Válasz: . Pontozás: -.

...minden állapotban minden bemenethez tartozik legalább egy átmenet.
...nem tartalmaz spontán átmenetet.
...nem tartalmaz párhuzamos régiókat.
...nem tartalmaz hierarchikus állapotot.

Általánosan egy viselkedésmodell...

Típus: több. Válasz: 2. Pontozás: -.

...alatt mindig állapotgépet értünk.
...feldata, hogy a rendszer működését, változását leírja.
...hibás, ha nemdeterminisztikus.
...absztrahálható, de finomítani már nem lehet, mivel megadja a rendszer teljes viselkedését.

Folyamatmodellek esetén ...

Típus: több. Válasz: 1,2,3. Pontozás: -.

...az elemi tevékenységek időbeli kiterjedéssel rendelkeznek.
...az elemi tevékenységek lefolyását, belső lépéseit (az adott folyamatmodellben) nem modellezzük.
...ciklusokat decision és merge vezérlési elemekkel tudunk létrehozni.
...a fork és join vezérlési elemekkel több végrehajtható ág közül lehet egyet választani.

A folyamatmodell döntési (decision) elágazásánál...

Típus: több. Válasz: 2,3. Pontozás: -.

...a kimenő élekre írt őrfeltételek elsődleges célja, hogy másik folyamatmodellel szinkronizálni lehessen (randevú).
...az egyes döntési ágakon tetszőleges számú lépés következhet.
...a döntés után pontosan egy ág kerül végrehajtásra.
...a döntési ágaknak egy befejezési (Flow End) csomópontban be kell várniuk egymást.

Az absztrakció...

Típus: több. Válasz: 2,4. Pontozás: -.

...modellből indul ki, és az eredménye egy valós rendszer.
...mindig információt hagy el a modellből.
...eredményeképp a modell kevesebb valós rendszernek lesz érvényes modellje.
...megfordítása a finomítás.

A modellt ábrázoló diagram...

Típus: több. Válasz: 1. Pontozás: -.

...mellett sok modell szövegesen is leírható.
...mindig a modellel azonos információtartalmú.
...megegyezik a modellezett rendszerrel.
...kizárólag viselkedésmodellekre készíthető el.

A példánygráfot...

Típus: több. Válasz: 1,4. Pontozás: -.

...arra használjuk, hogy a rendszert alkotó elemek egymáshoz való viszonyát leírjuk.
...típuscsomópontok és típusélek alkotják.
...tartalmazási viszonyok és típus-példány viszonyok alkotják.
...szűrhejtük (absztrahálhatjuk) adott címkéjű elemeire, és ez újabb gráfmodellt eredményez.

Modellek dekompozíciójánál...

Típus: több. Válasz: 2,4. Pontozás: -.

...a helyesség szükséges feltétele, hogy az eredeti rendszer minden elemének pontosan egy modellelem feleljen meg a dekompozíció után.
...a helyesség szükséges feltétele, hogy a (dekompozíció utáni) rendszer minden elemének megfeleltethető legyen az eredeti rendszer valamely eleme.
...logikai a dekompozíció, ha a rendszert alkatrészei szerint bontjuk fel.
...egy problémát vagy rendszert kisebb részekre bontunk.

Egy rendszer működését érvényesen modellező egyszerű állapotgép (nem Harel statechart)...

Típus: több. Válasz: 4. Pontozás: -.

...kötelezően determinisztikus
...csak a rendszeren kívülről érkező input hatására válthat állapotot.
...minden állapotátmenetekor kötelezően outputot bocsát ki.
...a rendszer működése során minden időpontban pontosan egy aktív (aktuális) állapotot tartalmaz.

Folyamatmodellezésnél...

Típus: több. Válasz: 1. Pontozás: -.

...alapvetően a rendszerben elvégzett tevékenységek és a köztük fennálló sorrendi függőségek modellezésére koncentrálunk.
...a rendszert fizikai elemei mentén bontjuk részekre, ha alfolyamatokat alkalmazunk a modellben.
...egy elemi tevékenység végrehajtása mindig pillanatszerű.
...egy folyamatmodell akkor helyes, ha minden lefutása során, minden tevékenységét végrehajtuk.

Egy valós rendszer viselkedését leíró teljes folyamatmodell...

Típus: több. Válasz: 2,3. Pontozás: -.

...mindenképpen jólstrukturált.
...tartalmazhat olyan merge csomópontot, amelybe a vele párosított decision érintése nélkül el lehet jutni.
...mindig tartalmaz kezdő (start, flow, begin) csomópontot.
...minden csomópontját pontosan egy vezérlési él hagyja el.

Ha a folyamat egy fork csomópont után az egyik ágon egy A, a másik ágon egy B tevékenységgel folytatódik, akkor...

Típus: több. Válasz: 4. Pontozás: -.

...A és B tevékenységek egyszerre fognak elkezdődni.
...A és B közül pontosan egy lesz végrehajtva.
...B-nek A befejezése előtt el kell kezdődnie.
...B befejeződhet A kezdete előtt.

Egy állapotgép NEM lehet teljesen specifikált, ha van olyan állapota, amelyből...

Típus: több. Válasz: 1. Pontozás: -.

...nem minden bemenethez tartozik átmenet.
...nem elérhető a kezdőállapot.
...spontán átmenet indul ki.
...minden bemenethez pontosan egy átmenet tartozik.

Ha G gráf egy példánygráf és T a hozzá tartozó típusgráf, akkor...

Típus: több. Válasz: 1,4. Pontozás: -.

...G minden csomópontja "instanceOf" (példánya) relációban áll T legalább egy csomópontjával.
...T-ben biztosan nem lehet hurokél.
...ha T-ben két elem össze van kötve, akkor az összes G-beli példányuk közt létezik irányított út.
...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...

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 oszlopainak száma biztosan kevesebb, mint az eredeti modellben.
...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.

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...

Típus: több. Válasz: 1,3,4. Pontozás: -.

...a folyamatmodell nem tartalmaz megkötést arra nézve, hogy egymáshoz képest milyen sorrendben hajtódnak végre.
...a két tevékenység mindenképp ugyanazt az erőforrást használja.
...ha a vezérlés elér a Fork elemig, sé az adott ágakon nincs továbii elágazás, akkor mindkét tevékenység végrehajtódik a folyamat sikeres lefutása esetén.
...a két tevékenység végrehajtása egy valós rendszerben átlapolódhat.

Ha M1 egyszerű állapotgép 4 állapotot és 6 átmenetet, M2 pedig 3 állapotot és 5 átmenetet tartalmaz, akkor...

Típus: több. Válasz: 1,2,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 30 átmenetet tartalmaz.

Ha S állapottér, akkor...

Típus: több. Válasz: 1,2,4. Pontozás: -.

...készíthető olyan állapotgép, mely S összes állapotát felhasználva nemdeterminisztikus működést mutat.
...elhagyható S halmazból egy állapot úgy, hogy ezután már nem lesz teljes.
...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.

A Harel-féle hierarchikus állapottérkép tartalmazhat...

Típus: több. Válasz: 1,2,3,4. Pontozás: -.

...összetett állapotot.
...párhuzamos régiókat.
...pszeduoállapotot.
...változókat.

Egy egyszerű állapotgép biztosan determinisztikus, ha...

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...

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...

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...

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...

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...

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...

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...

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.

Statisztika

Kvízek használata, importálása, fejlesztése.
Átlagteljesítmény	-
Eddigi kérdések	0
Kapott pontok	0
Alapbeállított pontozás	(+)
-
Beállítások
Minden kérdés látszik	-
Véletlenszerű sorrend	-
-

Bejelentkezés

Keresés

Rendszermodellezés 1. ZH/Igaz Hamis kikérdező

A modell egy valós vagy hipotetikus rendszer egy részének milyen képe?

Melyik mondat lesz mindenképp igaz, ha M1 modell finomítja az M2 modellt?

A 3 állapotból, 4 átmenetből álló M1, továbbá az 5 állapotból és 15 átmenetből álló M2 egyaránt egyszerű állapotgépek, őrfeltételek nélkül. Mi igaz a teljes rendszert jellemző M állapotgépre, amely ezen két komponens/régió aszinkron szorzataként állt elő?

Az alábbiak közül mely gráfok mindig körmentesek?

Melyik lehet állapotátmenet címkéjén az alábbiak közül?

Az alábbiak közül melyik jellemző minden állapottérre?

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?

Legfeljebb hány állapotot tartalmaz két olyan állapottér direkt szorzata, amelyek rendre 5 és 3 állapotból álltak?

Mi igaz a C nyelvű programok vezérlési folyamára?

Mi igaz a jólstrukturált folyamatra?

A modell és a valóság között különbség, hogy…

Ha M1 állapotmodell finomítja M2 állapotmodellt, akkor

Legyen S egy állapottér, és S' egy tetszőleges állapothalmaz. Ekkor…

Egy állapotgép biztosan nemdeterminisztikus, ha…

Mi lehet a strukturális modellezés célja?

A fa tulajdonságú gráf…

Mely állítások igazak az alábbiak közül?

A modell és a modellezett rendszer viszonya:

Ha egy rendszernek az M1 modell jó modellje, de az M2 modell nem érvényes rá, akkor…

Egy egyszerű állapotgép biztosan determinisztikus, ha…

Ha M1 állapotgép absztrahálja M2 állapotgépet, akkor…

Az S1 S2 és S3 állapotterek direkt szorzataként előálló S állapottérnek minden pillanatban…

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…

Őrfeltételt írhatunk…

Állapotgépen tetszőleges állapot, token vagy őrfeltétel finomítást végezve…

Egy állapotgép biztosan teljesen specifikált, ha…

Legyen S egy állapottér, és S' egy tetszőleges állapothalmaz. Ekkor…

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…

Mely állítások igazak az alábbiak közül?

Mely állítások igazak az alábbiak közül?

Állapot alapú modellezéskor...

Két állapot fennállhat egyszerre, ha...

Két (komponensű) állapotgép aszinkron szorzata...

A modell...

Modellek dekompozíciója esetén...

A példánygráf...

A folyamatmodellben az elemi tevékenység...

Őrfeltétel...

A strukturális dekompozíció...

A struktúramodellnek tipikus célja, hogy...

Egy állapotgép biztosan determinisztikus, ha ...

Általánosan egy viselkedésmodell...

Folyamatmodellek esetén ...

A folyamatmodell döntési (decision) elágazásánál...

Az absztrakció...

A modellt ábrázoló diagram...

A példánygráfot...

Modellek dekompozíciójánál...

Egy rendszer működését érvényesen modellező egyszerű állapotgép (nem Harel statechart)...

Folyamatmodellezésnél...

Egy valós rendszer viselkedését leíró teljes folyamatmodell...

Ha a folyamat egy fork csomópont után az egyik ágon egy A, a másik ágon egy B tevékenységgel folytatódik, akkor...

Egy állapotgép NEM lehet teljesen specifikált, ha van olyan állapota, amelyből...

Ha G gráf egy példánygráf és T a hozzá tartozó típusgráf, akkor...

Tulajdonságmodellen végzett szűrés során...

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 M1 egyszerű állapotgép 4 állapotot és 6 átmenetet, M2 pedig 3 állapotot és 5 átmenetet tartalmaz, akkor...

Ha S állapottér, akkor...

A Harel-féle hierarchikus állapottérkép tartalmazhat...

Egy egyszerű állapotgép biztosan determinisztikus, ha...

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...

Őrfeltételt írhatunk...

Ha M1 egyszerű állapotgép 3 állapotot és 5 átmenetet, M2 pedig 4 állapotot és 6 átmenetet tartalmaz, akkor...

Struktúramodellezés esetén...

Tulajdonságmodellen végzett lekérdezés során...

Jólstrukturált folyamatmodellek végrehajtása során...

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...

Navigáció

Wikieszközök

Eszközök

Kategóriák