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

	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

← Régebbi szerkesztés

A lap jelenlegi, 2022. május 18., 16:12-kori változata

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.

Folyamatmodellezésnél...

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

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.

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

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

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.

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.

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.

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

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

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.

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 egyszerű állapotgép biztosan determinisztikus, ha...

...állapotainak száma 1 (állapotmentes).
...minden állapotából csak egy spontán átmenetet definiálunk.
...nincs benne hurokél.
...egy kezdőállapota van.

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

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

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ő?

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

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

...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 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.
…120 átmenetet tartalmaz.

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.

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.

Őrfeltételt írhatunk…

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

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

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

Általánosan egy viselkedésmodell...

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

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

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

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

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

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

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

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.

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

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

A modell...

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

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

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

A strukturális dekompozíció...

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

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

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

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

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

A példánygráf...

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

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

…teljesen specifikált.
…egy kezdőállapota van.
…egy állapotátmenete van.
…egy állapota van (állapotmentes).

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.

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

Hierarchikus.
Teljes.
Kizárólagos.
Determinisztikus.

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.

Állapot alapú modellezéskor...

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

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

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

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

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

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

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

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.

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

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

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

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.

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

8.
15.
2.
23.

A modellt ábrázoló diagram...

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

Őrfeltétel...

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

Struktúramodellezés esetén...

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

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.

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

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

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

…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' = ∅.

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.

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

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

A példánygráfot...

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

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.

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

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

Ha S állapottér, akkor...

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

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

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

Őrfeltételt írhatunk...

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

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

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

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

...mindenképpen determinisztikus lesz.
...mindenképpen fog őrfeltételeket tartalmazni.
...kevesebb, mint 100 átmenetet tartalmaz.
...8-cal osztható számú átmenetet tartalmaz.

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

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

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

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.

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…

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

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

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

Folyamatmodellek esetén ...

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

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

...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 állapotgép biztosan determinisztikus, ha ...

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

@@ 464. sor: / 464. sor: @@
 # ...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.

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ő” változatai közötti eltérés

A lap jelenlegi, 2022. május 18., 16:12-kori változata

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

Folyamatmodellezésnél...

A modell és a modellezett rendszer viszonya:

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

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

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

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

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

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?

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

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

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

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ő?

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

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

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

Őrfeltételt írhatunk…

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

Általánosan egy viselkedésmodell...

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

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

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

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

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

A modell...

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

A strukturális dekompozíció...

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

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

A példánygráf...

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

A fa tulajdonságú gráf…

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

Mi igaz a jólstrukturált folyamatra?

Állapot alapú modellezéskor...

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

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

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

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

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

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

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

A modellt ábrázoló diagram...

Őrfeltétel...

Struktúramodellezés esetén...

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

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

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

Egy állapotgép biztosan nemdeterminisztikus, ha…

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

A példánygráfot...

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

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

Ha S állapottér, akkor...

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

Őrfeltételt írhatunk...

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

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

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

Az absztrakció...

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

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…

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

Folyamatmodellek esetén ...

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

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

Navigáció

Wikieszközök

Eszközök

Kategóriák