https://vik.wiki/api.php?action=feedcontributions&feedformat=atom&user=%C3%81d%C3%A1m+Zsombor 2026-05-04T03:16:42Z Felhasználó közreműködései MediaWiki 1.43.8 https://vik.wiki/index.php?title=Rendszermodellez%C3%A9s_1._ZH/Igaz_Hamis_kik%C3%A9rdez%C5%91&diff=202262 2022-05-18T14:12:05Z

<p>Ádám Zsombor: </p> <hr /> <div>{{Kvízoldal<br /> |cím=ReMo 1. ZH kikérdező<br /> }}<br /> <br /> == A modell egy valós vagy hipotetikus rendszer egy részének milyen képe? ==<br /> {{kvízkérdés|típus=több|válasz=2|pontozás=-}}<br /> # Aszinkron.<br /> # Egyszerűsített.<br /> # Determinisztikus.<br /> # Végrehajtható.<br /> <br /> == Melyik mondat lesz mindenképp igaz, ha M1 modell finomítja az M2 modellt? ==<br /> {{kvízkérdés|típus=több|válasz=2,3|pontozás=-}}<br /> # Ha egy rendszernek M2 jó modellje, akkor M1 is.<br /> # Ha egy rendszernek M1 jó modellje, akkor M2 is.<br /> # M2 absztrahálja M1-et.<br /> # M2 finomítja M1-et.<br /> <br /> == 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ő? ==<br /> {{kvízkérdés|típus=több|válasz=1,4|pontozás=-}}<br /> # M állapotainak száma 15.<br /> # M állapotátmeneteinek száma 19.<br /> # M állapotátmeneteinek száma 60.<br /> # M állapotátmeneteinek száma 65.<br /> <br /> == Az alábbiak közül mely gráfok mindig körmentesek? ==<br /> {{kvízkérdés|típus=több|válasz=2,3|pontozás=-}}<br /> # A csomópont- és éltípusokból álló típusgráf.<br /> # Tartalmazási hierarchia.<br /> # Fastruktú́ra.<br /> # Élcímkére szűréssel kapott részgráf.<br /> <br /> == Melyik lehet állapotátmenet címkéjén az alábbiak közül? ==<br /> {{kvízkérdés|típus=több|válasz=1,3|pontozás=-}}<br /> # Output esemény.<br /> # Párhuzamos régiók.<br /> # Őrfeltétel.<br /> # Állapot.<br /> <br /> == Az alábbiak közül melyik jellemző minden állapottérre? ==<br /> {{kvízkérdés|típus=több|válasz=2,3|pontozás=-}}<br /> # Hierarchikus.<br /> # Teljes.<br /> # Kizárólagos.<br /> # Determinisztikus.<br /> <br /> == 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? ==<br /> {{kvízkérdés|típus=több|válasz=0|pontozás=-}}<br /> # S nemdeterminisztikus.<br /> # S jólstrukturált folyamatmodell.<br /> # S az S1 és S2 uniója.<br /> # S az S1 és S2 metszete.<br /> <br /> == Legfeljebb hány állapotot tartalmaz két olyan állapottér direkt szorzata, amelyek rendre 5 és 3 állapotból álltak? ==<br /> {{kvízkérdés|típus=több|válasz=2-|pontozás=-}}<br /> # 8.<br /> # 15.<br /> # 2.<br /> # 23.<br /> <br /> == Mi igaz a C nyelvű programok vezérlési folyamára? == <br /> {{kvízkérdés|típus=több|válasz=2,3,4|pontozás=-}}<br /> # A vezérlési folyam egy hierarchikus állapotgép.<br /> # A vezérlési folyam tartalmazhat Decision csomópontot.<br /> # A vezérlési folyam tartalmazhat Merge csomópontot.<br /> # A vezérlési folyam tartalmazhat ciklust.<br /> <br /> == Mi igaz a jólstrukturált folyamatra? ==<br /> {{kvízkérdés|típus=több|válasz=3|pontozás=-}}<br /> # Annyi kilépési pontja van, ahány állapot az állapottérben.<br /> # Nem tartalmazhat elágazást.<br /> # Leírható Nassi-Shneiderman struktogrammal.<br /> # Nem lehet vele végtelen ciklust definiálni.<br /> <br /> == A modell és a valóság között különbség, hogy… ==<br /> {{kvízkérdés|típus=több|válasz=1,3,4|pontozás=-}}<br /> # …a modell vonatkozhat még nem létező (pl. tervezett) rendszerre is.<br /> # …a valóság egy egyszerűsített képe a modellnek.<br /> # …a modellen elsősorban csak az adott problémával kapcsolatos, releváns információk jelenjenek meg.<br /> # …egy modell elhanyagolhatja a világ bizonyos tulajdonságait.<br /> <br /> == Ha M1 állapotmodell finomítja M2 állapotmodellt, akkor ==<br /> {{kvízkérdés|típus=több|válasz=2,4|pontozás=-}}<br /> # M2 is finomítja M1 modellt.<br /> # M1 több információt tartalmaz, mint M2.<br /> # M2 több információt tartalmaz, mint M1.<br /> # M2 absztrahálja M1 modellt.<br /> <br /> == Legyen S egy állapottér, és S' egy tetszőleges állapothalmaz. Ekkor… ==<br /> {{kvízkérdés|típus=több|válasz=1,3|pontozás=-}}<br /> # …S \ S' biztosan kizárólagos.<br /> # …S \ S' biztosan teljes.<br /> # …S ∪ S' biztosan teljes.<br /> # …ha S' is egy állapottér, akkor S ∩ S' = ∅ vagy S=S’.<br /> <br /> == Egy állapotgép biztosan nemdeterminisztikus, ha… ==<br /> {{kvízkérdés|típus=több|válasz=2,4|pontozás=-}}<br /> # …egy állapotból több eseményre ugyanabba az állapotba megy a gép.<br /> # …egy állapotból ugyanarra az eseményre több átmenet definiált, eltérő kimenetet adva.<br /> # …egy állapotból nem minden lehetséges eseményre definiált az átmenet.<br /> # …egy állapotot elhagy egy eseménnyel kiváltott és egy spontán átmenet is, eltérő kimenetet adva.<br /> <br /> == Mi lehet a strukturális modellezés célja? ==<br /> {{kvízkérdés|típus=több|válasz=2,4|pontozás=-}}<br /> # A rendszer működésének időbeli vizsgálata.<br /> # A rendszer kisebb részekre bontása.<br /> # A rendszer dinamikus viselkedésének vizsgálata.<br /> # A rendszerben található kapcsolatok és összeköttetések meghatározása.<br /> <br /> == A fa tulajdonságú gráf… ==<br /> {{kvízkérdés|típus=több|válasz=2,3|pontozás=-}}<br /> # … irányítatlan kört tartalmazhat, de irányított kört nem.<br /> # …reprezentálhat egy tartalmazási struktúrát.<br /> # …élcímkére szűrve is egy vagy több fa marad.<br /> # …típusgráfja nem tartalmazhat hurokélet.<br /> <br /> == Mely állítások igazak az alábbiak közül? ==<br /> {{kvízkérdés|típus=több|válasz=2,3|pontozás=-}}<br /> # A típusgráfok a tulajdonságmodellek időbeli változását írják le.<br /> # A típusgráfban minden csomóponttípushoz egy típuscsomópont, minden éltípushoz egy típusél tartozik.<br /> # Az objektum-orientált programozásban használt osztályoknak megfeleltethető a típusgráf egy-egy csomópontja.<br /> # Az objektum-orientált programozásban használt objektumoknak megfeleltethető a típusgráf egy-egy csomópontja.<br /> <br /> == A modell és a modellezett rendszer viszonya: ==<br /> {{kvízkérdés|típus=több|válasz=1,3|pontozás=-}}<br /> # A modell egyszerűsítheti, összemoshatja a modellezett rendszer bizonyos részleteit.<br /> # A modell mindig egy hipotetikus (pl. fejlesztés alatt álló) rendszert közelít, sosem a valóságot.<br /> # A modell elhagyhatja a modellezett rendszer bizonyos részeit, komponenseit.<br /> # A modell a modellezett rendszer finomítása.<br /> <br /> == Ha egy rendszernek az M1 modell jó modellje, de az M2 modell nem érvényes rá, akkor… ==<br /> {{kvízkérdés|típus=több|válasz=3|pontozás=-}}<br /> # …M1 lehet M2 finomítása.<br /> # …M1 mindenképpen M2 finomítása.<br /> # …M1 lehet M2 absztrakciója.<br /> # …M1 mindenképpen M2 absztrakciója.<br /> <br /> == Egy egyszerű állapotgép biztosan determinisztikus, ha… ==<br /> {{kvízkérdés|típus=több|válasz=0|pontozás=-}}<br /> # …teljesen specifikált.<br /> # …egy kezdőállapota van.<br /> # …egy állapotátmenete van.<br /> # …egy állapota van (állapotmentes).<br /> <br /> == Ha M1 állapotgép absztrahálja M2 állapotgépet, akkor… ==<br /> {{kvízkérdés|típus=több|válasz=2|pontozás=-}}<br /> # …M1 több információt tartalmaz, mint M2.<br /> # …M2 több információt tartalmaz, mint M1.<br /> # …M1 biztosan több állapotból áll, mint M2.<br /> # …M2 biztosan több állapotból áll, mint M1.<br /> <br /> == Az S1 S2 és S3 állapotterek direkt szorzataként előálló S állapottérnek minden pillanatban… ==<br /> {{kvízkérdés|típus=több|válasz=3,4|pontozás=-}}<br /> # …legalább 3 eleme fennáll.<br /> # …legalább 3 eleme fennáll.<br /> # …legalább 1 eleme fennáll.<br /> # …legfeljebb 1 eleme áll fenn.<br /> <br /> == 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… ==<br /> {{kvízkérdés|típus=több|válasz=2|pontozás=-}}<br /> # …23 átmenetet tartalmaz.<br /> # …100 átmenetet tartalmaz.<br /> # …107 átmenetet tartalmaz.<br /> # …120 átmenetet tartalmaz.<br /> <br /> == Őrfeltételt írhatunk… ==<br /> {{kvízkérdés|típus=több|válasz=2,3|pontozás=-}}<br /> # …típusgráf éleire.<br /> # …állapotgép átmeneteire.<br /> # …folyamatmodell decision (döntési) csomópontjából kilépő vezérlési élekre.<br /> # …adatfolyamháló csatornáira.<br /> <br /> == Állapotgépen tetszőleges állapot, token vagy őrfeltétel finomítást végezve… ==<br /> {{kvízkérdés|típus=több|válasz=3|pontozás=-}}<br /> # …mindig nő az állapotok száma.<br /> # …mindig csökken az állapotok száma.<br /> # …a finomított modell minden elérhető állapotához pontosan egy elérhető állapot tartozik az absztrakt modellben.<br /> # …az absztrakt modell minden elérhető állapotához tartozik legalább egy elérhető állapot a finomított modellben.<br /> <br /> == Egy állapotgép biztosan teljesen specifikált, ha… ==<br /> {{kvízkérdés|típus=több|válasz=1,3|pontozás=-}}<br /> # …van kezdőállapota, csak egyféle inputja van, és minden állapotnak van ezzel címkézett kimenő átmenete.<br /> # …van kezdőállapota, és minden lehetséges inputja legalább egy állapotátmeneten szerepel.<br /> # …egy teljesen specifikált állapotgép absztrakciója két állapot összevonásával.<br /> # …egy teljesen specifikált állapotgép finomítása egy állapot kettéválasztásával.<br /> <br /> == Legyen S egy állapottér, és S' egy tetszőleges állapothalmaz. Ekkor… ==<br /> {{kvízkérdés|típus=több|válasz=1|pontozás=-}}<br /> # …S \ S' biztosan kizárólagos.<br /> # …S \ S' biztosan teljes.<br /> # …ha S' is egy állapottér, akkor S \ S' = ∅.<br /> # …ha S' is egy állapottér, akkor S ∩ S' = ∅.<br /> <br /> == 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… ==<br /> {{kvízkérdés|típus=több|válasz=3|pontozás=-}}<br /> # …pontosan 26 átmenetet tartalmaz.<br /> # …pontosan 30 átmenetet tartalmaz.<br /> # …pontosan 140 átmenetet tartalmaz.<br /> # …pontosan 160 átmenetet tartalmaz.<br /> <br /> == Mely állítások igazak az alábbiak közül? ==<br /> {{kvízkérdés|típus=több|válasz=4|pontozás=-}}<br /> # Szűrés során a táblázat jellemzőinek száma mindig csökken.<br /> # Szűrés során a tulajdonságmodellben kör keletkezhet.<br /> # Szűrés során a jellemzett objektumok száma nem változhat.<br /> # Vetítés során a táblázat jellemzőinek száma csökkenhet.<br /> <br /> == Mely állítások igazak az alábbiak közül? ==<br /> {{kvízkérdés|típus=több|válasz=1,3|pontozás=-}}<br /> # Minden irányítatlan gráf ábrázolható irányított gráffal.<br /> # Egy hierarchiát ábrázoló gráfban lehet kör.<br /> # A típusgráfban minden csomóponttípushoz egy típuscsomópont, minden éltípushoz egy típusél tartozik.<br /> # Az objektum-orientált programozásban használt objektumoknak megfeleltethető egy típusgráf csomópontja.<br /> <br /> == Állapot alapú modellezéskor... ==<br /> {{kvízkérdés|típus=több|válasz=4|pontozás=-}}<br /> # ...minden állapothalmaz egyben állapottér is.<br /> # ...az állapottér kizárólagossága azt jelenti, hogy mindig van fennálló, érvényes állapot.<br /> # ...csak akkor lehet teljes egy állapottér, ha több mint egy eleme van.<br /> # ...absztrakció után továbbra is fennáll a kölcsönös kizárólagosság.<br /> <br /> == Két állapot fennállhat egyszerre, ha... ==<br /> {{kvízkérdés|típus=több|válasz=1,3,4|pontozás=-}}<br /> # ...nem ugyanazon állapottér részei.<br /> # ...azonos a típusuk.<br /> # ...egy kiterjesztett (Harel) állapotgépben egy összetett állapot két külön állapotrégiójában vannak.<br /> # ...a kiterjesztett (Harel) állapotgépben az egyik a másikat tartalmazó állapot.<br /> <br /> == Két (komponensű) állapotgép aszinkron szorzata... ==<br /> {{kvízkérdés|típus=több|válasz=1,4|pontozás=-}}<br /> # ...maga is állapotgép.<br /> # ...olyan állapotátmeneteket tartalmaz, amelyek során mindig mindkét (komponens) állapotgépében is végrehajtódik egy-egy átmenet.<br /> # ...nem lehet determinisztikus, mert mindkét (komponens) állapotgépe válthat állapotot.<br /> # ...absztrakcióval visszavetíthető az egyik (komponens) állapotgépre.<br /> <br /> == A modell... ==<br /> {{kvízkérdés|típus=több|válasz=2,3|pontozás=-}}<br /> # ...mindig egy tervezés alatt álló rendszerről szól, sosem a létező valóságról.<br /> # ...nem mindig foglalkozik az egész modellezett rendszerrel, csak egy részével.<br /> # ...szerepe, hogy bizonyos megfontolásokban helyettesítse a rendszert.<br /> # ...lehet pontosabb, részletesebb a valódi rendszernél.<br /> <br /> == Modellek dekompozíciója esetén... ==<br /> {{kvízkérdés|típus=több|válasz=1,2|pontozás=-}}<br /> # ...a &quot;része&quot; viszony jelentése lehet térbeli tartalmazás (fizikai dekompozíció).<br /> # ...a &quot;része&quot; viszony jelentése lehet funkció szerinti szétbontás (logikai dekompozíció).<br /> # ...helyes lehet olyan dekompozíció, amely az eredeti rendszer egyes elemeit összevonja.<br /> # ...minden rendszerelemet több részre bontunk fel.<br /> <br /> == A példánygráf... ==<br /> {{kvízkérdés|típus=több|válasz=1,3|pontozás=-}}<br /> # ...csomópontokból és élekből áll. <br /> # ...más néven metamodell.<br /> # ...elemei a típusuk által megengedett módon kapcsolódhatnak.<br /> # ...egy program vezérlési folyamát írja le.<br /> <br /> == A folyamatmodellben az elemi tevékenység... ==<br /> {{kvízkérdés|típus=több|válasz=2,3,4|pontozás=-}}<br /> # ...nem fordulhat elő, ha a folyamat jólstrukturált. <br /> # ...időbeli kiterjedéssel rendelkezhet, huzamosabb ideig végrehajtás alatt lehet.<br /> # ...belső működését, időbeli lefolyását a folyamatmodell nem részletezi.<br /> # ...finomítás keretében helyettesíthető egy részfolyamattal, amely a tevékenység végrehajtásának részleteit taglalja.<br /> <br /> == Őrfeltétel... ==<br /> {{kvízkérdés|típus=több|válasz=1,2,3,4|pontozás=-}}<br /> # ...szerepelhet a folyamat döntési (Decision) csomópontjáról kimenő ágakon.<br /> # ...szerepelhet egy állapotgép állapotátmeneti élein.<br /> # ...figyelembe vehet változókat, más állapotrégiókat, külső információt.<br /> # ...sérülés esetén az adott viselkedés nem megengedett.<br /> <br /> == A strukturális dekompozíció... ==<br /> {{kvízkérdés|típus=több|válasz=2,3,4|pontozás=-}}<br /> # ...egy rendszer részekre bontása az állapotátmeneti reláció szerint.<br /> # ...lehet fizikai vagy logikai.<br /> # ...mindig növeli a modellelemek számát.<br /> # ...egyfajta finomítás.<br /> <br /> == A struktúramodellnek tipikus célja, hogy... ==<br /> {{kvízkérdés|típus=több|válasz=1,4|pontozás=-}}<br /> # ...a rendszer belső felépítését leírják.<br /> # ...az egyes eseményekre a rendszer által adott választ definiálják.<br /> # ...a végrehajtandó lépéseket, és egymás közti sorrendjüket megadják.<br /> # ...a rendszert alkotó elemek jellemzőit és viszonyait leírják.<br /> <br /> == Egy állapotgép biztosan determinisztikus, ha ... ==<br /> {{kvízkérdés|típus=több|válasz=|pontozás=-}}<br /> # ...minden állapotban minden bemenethez tartozik legalább egy átmenet.<br /> # ...nem tartalmaz spontán átmenetet.<br /> # ...nem tartalmaz párhuzamos régiókat.<br /> # ...nem tartalmaz hierarchikus állapotot.<br /> <br /> == Általánosan egy viselkedésmodell... ==<br /> {{kvízkérdés|típus=több|válasz=2|pontozás=-}}<br /> # ...alatt mindig állapotgépet értünk.<br /> # ...feldata, hogy a rendszer működését, változását leírja.<br /> # ...hibás, ha nemdeterminisztikus.<br /> # ...absztrahálható, de finomítani már nem lehet, mivel megadja a rendszer teljes viselkedését.<br /> <br /> == Folyamatmodellek esetén ... ==<br /> {{kvízkérdés|típus=több|válasz=1,2,3|pontozás=-}}<br /> # ...az elemi tevékenységek időbeli kiterjedéssel rendelkeznek.<br /> # ...az elemi tevékenységek lefolyását, belső lépéseit (az adott folyamatmodellben) nem modellezzük.<br /> # ...ciklusokat decision és merge vezérlési elemekkel tudunk létrehozni.<br /> # ...a fork és join vezérlési elemekkel több végrehajtható ág közül lehet egyet választani.<br /> <br /> == A folyamatmodell döntési (decision) elágazásánál... ==<br /> {{kvízkérdés|típus=több|válasz=2,3|pontozás=-}}<br /> # ...a kimenő élekre írt őrfeltételek elsődleges célja, hogy másik folyamatmodellel szinkronizálni lehessen (randevú).<br /> # ...az egyes döntési ágakon tetszőleges számú lépés következhet.<br /> # ...a döntés után pontosan egy ág kerül végrehajtásra.<br /> # ...a döntési ágaknak egy befejezési (Flow End) csomópontban be kell várniuk egymást.<br /> <br /> == Az absztrakció... ==<br /> {{kvízkérdés|típus=több|válasz=2,4|pontozás=-}}<br /> # ...modellből indul ki, és az eredménye egy valós rendszer.<br /> # ...mindig információt hagy el a modellből.<br /> # ...eredményeképp a modell kevesebb valós rendszernek lesz érvényes modellje.<br /> # ...megfordítása a finomítás.<br /> <br /> == A modellt ábrázoló diagram... ==<br /> {{kvízkérdés|típus=több|válasz=1|pontozás=-}}<br /> # ...mellett sok modell szövegesen is leírható.<br /> # ...mindig a modellel azonos információtartalmú.<br /> # ...megegyezik a modellezett rendszerrel.<br /> # ...kizárólag viselkedésmodellekre készíthető el.<br /> <br /> == A példánygráfot... ==<br /> {{kvízkérdés|típus=több|válasz=1,4|pontozás=-}}<br /> # ...arra használjuk, hogy a rendszert alkotó elemek egymáshoz való viszonyát leírjuk.<br /> # ...típuscsomópontok és típusélek alkotják.<br /> # ...tartalmazási viszonyok és típus-példány viszonyok alkotják.<br /> # ...szűrhejtük (absztrahálhatjuk) adott címkéjű elemeire, és ez újabb gráfmodellt eredményez.<br /> <br /> == Modellek dekompozíciójánál... ==<br /> {{kvízkérdés|típus=több|válasz=2,4|pontozás=-}}<br /> # ...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.<br /> # ...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.<br /> # ...logikai a dekompozíció, ha a rendszert alkatrészei szerint bontjuk fel.<br /> # ...egy problémát vagy rendszert kisebb részekre bontunk.<br /> <br /> == Egy rendszer működését érvényesen modellező egyszerű állapotgép (nem Harel statechart)... ==<br /> {{kvízkérdés|típus=több|válasz=4|pontozás=-}}<br /> # ...kötelezően determinisztikus<br /> # ...csak a rendszeren kívülről érkező input hatására válthat állapotot.<br /> # ...minden állapotátmenetekor kötelezően outputot bocsát ki.<br /> # ...a rendszer működése során minden időpontban pontosan egy aktív (aktuális) állapotot tartalmaz.<br /> <br /> == Folyamatmodellezésnél... ==<br /> {{kvízkérdés|típus=több|válasz=1|pontozás=-}}<br /> # ...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.<br /> # ...a rendszert fizikai elemei mentén bontjuk részekre, ha alfolyamatokat alkalmazunk a modellben.<br /> # ...egy elemi tevékenység végrehajtása mindig pillanatszerű.<br /> # ...egy folyamatmodell akkor helyes, ha minden lefutása során, minden tevékenységét végrehajtuk.<br /> <br /> == Egy valós rendszer viselkedését leíró teljes folyamatmodell... ==<br /> {{kvízkérdés|típus=több|válasz=2,3|pontozás=-}}<br /> # ...mindenképpen jólstrukturált.<br /> # ...tartalmazhat olyan merge csomópontot, amelybe a vele párosított decision érintése nélkül el lehet jutni.<br /> # ...mindig tartalmaz kezdő (start, flow, begin) csomópontot.<br /> # ...minden csomópontját pontosan egy vezérlési él hagyja el.<br /> <br /> == 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... ==<br /> {{kvízkérdés|típus=több|válasz=4|pontozás=-}}<br /> # ...A és B tevékenységek egyszerre fognak elkezdődni.<br /> # ...A és B közül pontosan egy lesz végrehajtva.<br /> # ...B-nek A befejezése előtt el kell kezdődnie.<br /> # ...B befejeződhet A kezdete előtt.<br /> <br /> == Egy állapotgép NEM lehet teljesen specifikált, ha van olyan állapota, amelyből... ==<br /> {{kvízkérdés|típus=több|válasz=1|pontozás=-}}<br /> # ...nem minden bemenethez tartozik átmenet.<br /> # ...nem elérhető a kezdőállapot.<br /> # ...spontán átmenet indul ki.<br /> # ...minden bemenethez pontosan egy átmenet tartozik.<br /> <br /> == Ha G gráf egy példánygráf és T a hozzá tartozó típusgráf, akkor... ==<br /> {{kvízkérdés|típus=több|válasz=1,4|pontozás=-}}<br /> # ...G minden csomópontja &quot;instanceOf&quot; (példánya) relációban áll T legalább egy csomópontjával.<br /> # ...T-ben biztosan nem lehet hurokél.<br /> # ...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.<br /> # ...G elemei közt csak olyan összeköttetések lehetségesek, melyekre T definiál éltípust.<br /> <br /> == Tulajdonságmodellen végzett szűrés során... ==<br /> {{kvízkérdés|típus=több|válasz=1,3|pontozás=-}}<br /> # ...az eredmény sorainak száma lehet kevesebb, mint az eredeti modellben.<br /> # ...az eredmény oszlopainak száma biztosan kevesebb, mint az eredeti modellben.<br /> # ...az eredménybe azon elemek kerülnek, amelyek tulajdonságai megfelelnek a szűrés feltételeinek.<br /> # ...strukturális dekompozíciót végzünk.<br /> <br /> == 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... ==<br /> {{kvízkérdés|típus=több|válasz=1,3,4|pontozás=-}}<br /> # ...a folyamatmodell nem tartalmaz megkötést arra nézve, hogy egymáshoz képest milyen sorrendben hajtódnak végre.<br /> # ...a két tevékenység mindenképp ugyanazt az erőforrást használja.<br /> # ...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.<br /> # ...a két tevékenység végrehajtása egy valós rendszerben átlapolódhat.<br /> <br /> == Ha M1 egyszerű állapotgép 4 állapotot és 6 átmenetet, M2 pedig 3 állapotot és 5 átmenetet tartalmaz, akkor... ==<br /> {{kvízkérdés|típus=több|válasz=1,2,3|pontozás=-}}<br /> # ...M2 lehet M1 állapotösszevonással kapott absztrakciója.<br /> # ...M2 állapottere lehet M1 állapotterének állapotösszevonással kapott absztrakciója.<br /> # ...M1 és M2 aszinkron szorzata 12 állapotot tartalmaz.<br /> # ...lehetséges, hogy M1 és M2 aszinkron szorzata 30 átmenetet tartalmaz.<br /> <br /> == Ha S állapottér, akkor... ==<br /> {{kvízkérdés|típus=több|válasz=1,2,4|pontozás=-}}<br /> # ...készíthető olyan állapotgép, mely S összes állapotát felhasználva nemdeterminisztikus működést mutat.<br /> # ...elhagyható S halmazból egy állapot úgy, hogy ezután már nem lesz teljes.<br /> # ...elhagyható S halmazból egy állapot úgy, hogy ezután már nem lesz kizárólagos.<br /> # ...készíthető olyan állapotgép, mely S összes állapotának felhasználása mellett nem lesz teljesen specifikált.<br /> <br /> == A Harel-féle hierarchikus állapottérkép tartalmazhat... ==<br /> {{kvízkérdés|típus=több|válasz=1,2,3,4|pontozás=-}}<br /> # ...összetett állapotot.<br /> # ...párhuzamos régiókat.<br /> # ...pszeduoállapotot.<br /> # ...változókat.<br /> <br /> == Egy egyszerű állapotgép biztosan determinisztikus, ha... ==<br /> {{kvízkérdés|típus=több|válasz=-|pontozás=-}}<br /> # ...állapotainak száma 1 (állapotmentes).<br /> # ...minden állapotából csak egy spontán átmenetet definiálunk.<br /> # ...nincs benne hurokél.<br /> # ...egy kezdőállapota van.<br /> <br /> == 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... ==<br /> {{kvízkérdés|típus=több|válasz=3,4|pontozás=-}}<br /> # ...eltávolítjuk belőle a 0 elemet?<br /> # ...hozzávesszük a &quot;&gt; 100&quot; predikátumot, ami akkor teljesül, ha 100-nál több kérés várakozik?<br /> # ...hozzávesszük a negatív számokat is?<br /> # ...Decartes-szorozzuk az {logol, nemlogol} halmazzal?<br /> <br /> == Őrfeltételt írhatunk... ==<br /> {{kvízkérdés|típus=több|válasz=2,3|pontozás=-}}<br /> # ...típusgráf éleire, amennyiben azok nem hurokélek.<br /> # ...folyamatmodell decision (döntési) csomópontjából kilépő vezérlési élekre.<br /> # ...állapotgép átmeneteire.<br /> # ...folyamatmodell döntési csomópontjába belépő vezérlési élekre.<br /> <br /> == Ha M1 egyszerű állapotgép 3 állapotot és 5 átmenetet, M2 pedig 4 állapotot és 6 átmenetet tartalmaz, akkor... ==<br /> {{kvízkérdés|típus=több|válasz=1,3|pontozás=-}}<br /> # ...M2 lehet M1 állapotösszevonással kapott absztrakciója.<br /> # ...M2 állapottere lehet M1 állapotterének állapotösszevonással kapott absztrakciója.<br /> # ...M1 és M2 aszinkron szorzata 12 állapotot tartalmaz.<br /> # ...lehetséges, hogy M1 és M2 aszinkron szorzata 42 átmenetet tartalmaz.<br /> <br /> == Struktúramodellezés esetén... ==<br /> {{kvízkérdés|típus=több|válasz=1,2|pontozás=-}}<br /> # ...a típusgráf élei meghatározzák a példánygráfban előforduló élek lehetséges típusait.<br /> # ...a típusgráf egy irányított gráf.<br /> # ...az &quot;is a&quot; címkével ellátott élek típuspéldány viszonyt jelölnek.<br /> # ...a típusgráfban található minden csúcstípushoz léteznie kell legalább egy csomópontnak a példánygráfban.<br /> <br /> == Tulajdonságmodellen végzett lekérdezés során... ==<br /> {{kvízkérdés|típus=több|válasz=2,3|pontozás=-}}<br /> # ...közvetlenül a SELECT kulcsszó után szerepel a szűrési feltétel.<br /> # ...a vetítés paraméterei azon oszlopok, amelyek a művelet után megmaradnak.<br /> # ...alkalmazhatunk szűrés és vetítés műveleteket, valamint származtathatunk új tulajdonságot.<br /> # ...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.<br /> <br /> == Jólstrukturált folyamatmodellek végrehajtása során... ==<br /> {{kvízkérdés|típus=több|válasz=3,4|pontozás=-}}<br /> # ...a folyamat minden esetben véges idő alatt eljut a &quot;folyamat vége&quot; csomóponthoz, ha nincs benne ciklus.<br /> # ...mindig van olyan tevékenység, melyet minden végrehajtás érint, ha a folyamatmodell teljesen specifikált.<br /> # ...egy végrehajtás alatt a Fork-Join vezérlési szerkezet két ágán található tevékenységek átlapolódhatnak.<br /> # ...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.<br /> <br /> == 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... ==<br /> {{kvízkérdés|típus=több|válasz=0|pontozás=-}}<br /> # ...mindenképpen determinisztikus lesz.<br /> # ...mindenképpen fog őrfeltételeket tartalmazni.<br /> # ...kevesebb, mint 100 átmenetet tartalmaz.<br /> # ...8-cal osztható számú átmenetet tartalmaz.</div>

Ádám Zsombor https://vik.wiki/index.php?title=Rendszermodellez%C3%A9s_1._ZH/Igaz_Hamis_kik%C3%A9rdez%C5%91&diff=202261 2022-05-18T14:05:13Z

<p>Ádám Zsombor: /* Egy egyszerű állapotgép biztosan determinisztikus, ha… */</p> <hr /> <div>{{Kvízoldal<br /> |cím=ReMo 1. ZH kikérdező<br /> }}<br /> <br /> == A modell egy valós vagy hipotetikus rendszer egy részének milyen képe? ==<br /> {{kvízkérdés|típus=több|válasz=2|pontozás=-}}<br /> # Aszinkron.<br /> # Egyszerűsített.<br /> # Determinisztikus.<br /> # Végrehajtható.<br /> <br /> == Melyik mondat lesz mindenképp igaz, ha M1 modell finomítja az M2 modellt? ==<br /> {{kvízkérdés|típus=több|válasz=2,3|pontozás=-}}<br /> # Ha egy rendszernek M2 jó modellje, akkor M1 is.<br /> # Ha egy rendszernek M1 jó modellje, akkor M2 is.<br /> # M2 absztrahálja M1-et.<br /> # M2 finomítja M1-et.<br /> <br /> == 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ő? ==<br /> {{kvízkérdés|típus=több|válasz=1,4|pontozás=-}}<br /> # M állapotainak száma 15.<br /> # M állapotátmeneteinek száma 19.<br /> # M állapotátmeneteinek száma 60.<br /> # M állapotátmeneteinek száma 65.<br /> <br /> == Az alábbiak közül mely gráfok mindig körmentesek? ==<br /> {{kvízkérdés|típus=több|válasz=2,3|pontozás=-}}<br /> # A csomópont- és éltípusokból álló típusgráf.<br /> # Tartalmazási hierarchia.<br /> # Fastruktú́ra.<br /> # Élcímkére szűréssel kapott részgráf.<br /> <br /> == Melyik lehet állapotátmenet címkéjén az alábbiak közül? ==<br /> {{kvízkérdés|típus=több|válasz=1,3|pontozás=-}}<br /> # Output esemény.<br /> # Párhuzamos régiók.<br /> # Őrfeltétel.<br /> # Állapot.<br /> <br /> == Az alábbiak közül melyik jellemző minden állapottérre? ==<br /> {{kvízkérdés|típus=több|válasz=2,3|pontozás=-}}<br /> # Hierarchikus.<br /> # Teljes.<br /> # Kizárólagos.<br /> # Determinisztikus.<br /> <br /> == 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? ==<br /> {{kvízkérdés|típus=több|válasz=0|pontozás=-}}<br /> # S nemdeterminisztikus.<br /> # S jólstrukturált folyamatmodell.<br /> # S az S1 és S2 uniója.<br /> # S az S1 és S2 metszete.<br /> <br /> == Legfeljebb hány állapotot tartalmaz két olyan állapottér direkt szorzata, amelyek rendre 5 és 3 állapotból álltak? ==<br /> {{kvízkérdés|típus=több|válasz=2-|pontozás=-}}<br /> # 8.<br /> # 15.<br /> # 2.<br /> # 23.<br /> <br /> == Mi igaz a C nyelvű programok vezérlési folyamára? == <br /> {{kvízkérdés|típus=több|válasz=2,3,4|pontozás=-}}<br /> # A vezérlési folyam egy hierarchikus állapotgép.<br /> # A vezérlési folyam tartalmazhat Decision csomópontot.<br /> # A vezérlési folyam tartalmazhat Merge csomópontot.<br /> # A vezérlési folyam tartalmazhat ciklust.<br /> <br /> == Mi igaz a jólstrukturált folyamatra? ==<br /> {{kvízkérdés|típus=több|válasz=3|pontozás=-}}<br /> # Annyi kilépési pontja van, ahány állapot az állapottérben.<br /> # Nem tartalmazhat elágazást.<br /> # Leírható Nassi-Shneiderman struktogrammal.<br /> # Nem lehet vele végtelen ciklust definiálni.<br /> <br /> == A modell és a valóság között különbség, hogy… ==<br /> {{kvízkérdés|típus=több|válasz=1,3,4|pontozás=-}}<br /> # …a modell vonatkozhat még nem létező (pl. tervezett) rendszerre is.<br /> # …a valóság egy egyszerűsített képe a modellnek.<br /> # …a modellen elsősorban csak az adott problémával kapcsolatos, releváns információk jelenjenek meg.<br /> # …egy modell elhanyagolhatja a világ bizonyos tulajdonságait.<br /> <br /> == Ha M1 állapotmodell finomítja M2 állapotmodellt, akkor ==<br /> {{kvízkérdés|típus=több|válasz=2,4|pontozás=-}}<br /> # M2 is finomítja M1 modellt.<br /> # M1 több információt tartalmaz, mint M2.<br /> # M2 több információt tartalmaz, mint M1.<br /> # M2 absztrahálja M1 modellt.<br /> <br /> == Legyen S egy állapottér, és S' egy tetszőleges állapothalmaz. Ekkor… ==<br /> {{kvízkérdés|típus=több|válasz=1,3|pontozás=-}}<br /> # …S \ S' biztosan kizárólagos.<br /> # …S \ S' biztosan teljes.<br /> # …S ∪ S' biztosan teljes.<br /> # …ha S' is egy állapottér, akkor S ∩ S' = ∅ vagy S=S’.<br /> <br /> == Egy állapotgép biztosan nemdeterminisztikus, ha… ==<br /> {{kvízkérdés|típus=több|válasz=2,4|pontozás=-}}<br /> # …egy állapotból több eseményre ugyanabba az állapotba megy a gép.<br /> # …egy állapotból ugyanarra az eseményre több átmenet definiált, eltérő kimenetet adva.<br /> # …egy állapotból nem minden lehetséges eseményre definiált az átmenet.<br /> # …egy állapotot elhagy egy eseménnyel kiváltott és egy spontán átmenet is, eltérő kimenetet adva.<br /> <br /> == Mi lehet a strukturális modellezés célja? ==<br /> {{kvízkérdés|típus=több|válasz=2,4|pontozás=-}}<br /> # A rendszer működésének időbeli vizsgálata.<br /> # A rendszer kisebb részekre bontása.<br /> # A rendszer dinamikus viselkedésének vizsgálata.<br /> # A rendszerben található kapcsolatok és összeköttetések meghatározása.<br /> <br /> == A fa tulajdonságú gráf… ==<br /> {{kvízkérdés|típus=több|válasz=2,3|pontozás=-}}<br /> # … irányítatlan kört tartalmazhat, de irányított kört nem.<br /> # …reprezentálhat egy tartalmazási struktúrát.<br /> # …élcímkére szűrve is egy vagy több fa marad.<br /> # …típusgráfja nem tartalmazhat hurokélet.<br /> <br /> == Mely állítások igazak az alábbiak közül? ==<br /> {{kvízkérdés|típus=több|válasz=2,3|pontozás=-}}<br /> # A típusgráfok a tulajdonságmodellek időbeli változását írják le.<br /> # A típusgráfban minden csomóponttípushoz egy típuscsomópont, minden éltípushoz egy típusél tartozik.<br /> # Az objektum-orientált programozásban használt osztályoknak megfeleltethető a típusgráf egy-egy csomópontja.<br /> # Az objektum-orientált programozásban használt objektumoknak megfeleltethető a típusgráf egy-egy csomópontja.<br /> <br /> == A modell és a modellezett rendszer viszonya: ==<br /> {{kvízkérdés|típus=több|válasz=1,3|pontozás=-}}<br /> # A modell egyszerűsítheti, összemoshatja a modellezett rendszer bizonyos részleteit.<br /> # A modell mindig egy hipotetikus (pl. fejlesztés alatt álló) rendszert közelít, sosem a valóságot.<br /> # A modell elhagyhatja a modellezett rendszer bizonyos részeit, komponenseit.<br /> # A modell a modellezett rendszer finomítása.<br /> <br /> == Ha egy rendszernek az M1 modell jó modellje, de az M2 modell nem érvényes rá, akkor… ==<br /> {{kvízkérdés|típus=több|válasz=3|pontozás=-}}<br /> # …M1 lehet M2 finomítása.<br /> # …M1 mindenképpen M2 finomítása.<br /> # …M1 lehet M2 absztrakciója.<br /> # …M1 mindenképpen M2 absztrakciója.<br /> <br /> == Egy egyszerű állapotgép biztosan determinisztikus, ha… ==<br /> {{kvízkérdés|típus=több|válasz=0|pontozás=-}}<br /> # …teljesen specifikált.<br /> # …egy kezdőállapota van.<br /> # …egy állapotátmenete van.<br /> # …egy állapota van (állapotmentes).<br /> <br /> == Ha M1 állapotgép absztrahálja M2 állapotgépet, akkor… ==<br /> {{kvízkérdés|típus=több|válasz=2|pontozás=-}}<br /> # …M1 több információt tartalmaz, mint M2.<br /> # …M2 több információt tartalmaz, mint M1.<br /> # …M1 biztosan több állapotból áll, mint M2.<br /> # …M2 biztosan több állapotból áll, mint M1.<br /> <br /> == Az S1 S2 és S3 állapotterek direkt szorzataként előálló S állapottérnek minden pillanatban… ==<br /> {{kvízkérdés|típus=több|válasz=3,4|pontozás=-}}<br /> # …legalább 3 eleme fennáll.<br /> # …legalább 3 eleme fennáll.<br /> # …legalább 1 eleme fennáll.<br /> # …legfeljebb 1 eleme áll fenn.<br /> <br /> == 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… ==<br /> {{kvízkérdés|típus=több|válasz=2|pontozás=-}}<br /> # …23 átmenetet tartalmaz.<br /> # …100 átmenetet tartalmaz.<br /> # …107 átmenetet tartalmaz.<br /> # …120 átmenetet tartalmaz.<br /> <br /> == Őrfeltételt írhatunk… ==<br /> {{kvízkérdés|típus=több|válasz=2,3|pontozás=-}}<br /> # …típusgráf éleire.<br /> # …állapotgép átmeneteire.<br /> # …folyamatmodell decision (döntési) csomópontjából kilépő vezérlési élekre.<br /> # …adatfolyamháló csatornáira.<br /> <br /> == Állapotgépen tetszőleges állapot, token vagy őrfeltétel finomítást végezve… ==<br /> {{kvízkérdés|típus=több|válasz=3|pontozás=-}}<br /> # …mindig nő az állapotok száma.<br /> # …mindig csökken az állapotok száma.<br /> # …a finomított modell minden elérhető állapotához pontosan egy elérhető állapot tartozik az absztrakt modellben.<br /> # …az absztrakt modell minden elérhető állapotához tartozik legalább egy elérhető állapot a finomított modellben.<br /> <br /> == Egy állapotgép biztosan teljesen specifikált, ha… ==<br /> {{kvízkérdés|típus=több|válasz=1,3|pontozás=-}}<br /> # …van kezdőállapota, csak egyféle inputja van, és minden állapotnak van ezzel címkézett kimenő átmenete.<br /> # …van kezdőállapota, és minden lehetséges inputja legalább egy állapotátmeneten szerepel.<br /> # …egy teljesen specifikált állapotgép absztrakciója két állapot összevonásával.<br /> # …egy teljesen specifikált állapotgép finomítása egy állapot kettéválasztásával.<br /> <br /> == Legyen S egy állapottér, és S' egy tetszőleges állapothalmaz. Ekkor… ==<br /> {{kvízkérdés|típus=több|válasz=1|pontozás=-}}<br /> # …S \ S' biztosan kizárólagos.<br /> # …S \ S' biztosan teljes.<br /> # …ha S' is egy állapottér, akkor S \ S' = ∅.<br /> # …ha S' is egy állapottér, akkor S ∩ S' = ∅.<br /> <br /> == 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… ==<br /> {{kvízkérdés|típus=több|válasz=3|pontozás=-}}<br /> # …pontosan 26 átmenetet tartalmaz.<br /> # …pontosan 30 átmenetet tartalmaz.<br /> # …pontosan 140 átmenetet tartalmaz.<br /> # …pontosan 160 átmenetet tartalmaz.<br /> <br /> == Mely állítások igazak az alábbiak közül? ==<br /> {{kvízkérdés|típus=több|válasz=4|pontozás=-}}<br /> # Szűrés során a táblázat jellemzőinek száma mindig csökken.<br /> # Szűrés során a tulajdonságmodellben kör keletkezhet.<br /> # Szűrés során a jellemzett objektumok száma nem változhat.<br /> # Vetítés során a táblázat jellemzőinek száma csökkenhet.<br /> <br /> == Mely állítások igazak az alábbiak közül? ==<br /> {{kvízkérdés|típus=több|válasz=1,3|pontozás=-}}<br /> # Minden irányítatlan gráf ábrázolható irányított gráffal.<br /> # Egy hierarchiát ábrázoló gráfban lehet kör.<br /> # A típusgráfban minden csomóponttípushoz egy típuscsomópont, minden éltípushoz egy típusél tartozik.<br /> # Az objektum-orientált programozásban használt objektumoknak megfeleltethető egy típusgráf csomópontja.<br /> <br /> == Állapot alapú modellezéskor... ==<br /> {{kvízkérdés|típus=több|válasz=4|pontozás=-}}<br /> # ...minden állapothalmaz egyben állapottér is.<br /> # ...az állapottér kizárólagossága azt jelenti, hogy mindig van fennálló, érvényes állapot.<br /> # ...csak akkor lehet teljes egy állapottér, ha több mint egy eleme van.<br /> # ...absztrakció után továbbra is fennáll a kölcsönös kizárólagosság.<br /> <br /> == Két állapot fennállhat egyszerre, ha... ==<br /> {{kvízkérdés|típus=több|válasz=1,3,4|pontozás=-}}<br /> # ...nem ugyanazon állapottér részei.<br /> # ...azonos a típusuk.<br /> # ...egy kiterjesztett (Harel) állapotgépben egy összetett állapot két külön állapotrégiójában vannak.<br /> # ...a kiterjesztett (Harel) állapotgépben az egyik a másikat tartalmazó állapot.<br /> <br /> == Két (komponensű) állapotgép aszinkron szorzata... ==<br /> {{kvízkérdés|típus=több|válasz=1,4|pontozás=-}}<br /> # ...maga is állapotgép.<br /> # ...olyan állapotátmeneteket tartalmaz, amelyek során mindig mindkét (komponens) állapotgépében is végrehajtódik egy-egy átmenet.<br /> # ...nem lehet determinisztikus, mert mindkét (komponens) állapotgépe válthat állapotot.<br /> # ...absztrakcióval visszavetíthető az egyik (komponens) állapotgépre.<br /> <br /> == A modell... ==<br /> {{kvízkérdés|típus=több|válasz=2,3|pontozás=-}}<br /> # ...mindig egy tervezés alatt álló rendszerről szól, sosem a létező valóságról.<br /> # ...nem mindig foglalkozik az egész modellezett rendszerrel, csak egy részével.<br /> # ...szerepe, hogy bizonyos megfontolásokban helyettesítse a rendszert.<br /> # ...lehet pontosabb, részletesebb a valódi rendszernél.<br /> <br /> == Modellek dekompozíciója esetén... ==<br /> {{kvízkérdés|típus=több|válasz=1,2|pontozás=-}}<br /> # ...a &quot;része&quot; viszony jelentése lehet térbeli tartalmazás (fizikai dekompozíció).<br /> # ...a &quot;része&quot; viszony jelentése lehet funkció szerinti szétbontás (logikai dekompozíció).<br /> # ...helyes lehet olyan dekompozíció, amely az eredeti rendszer egyes elemeit összevonja.<br /> # ...minden rendszerelemet több részre bontunk fel.<br /> <br /> == A példánygráf... ==<br /> {{kvízkérdés|típus=több|válasz=1,3|pontozás=-}}<br /> # ...csomópontokból és élekből áll. <br /> # ...más néven metamodell.<br /> # ...elemei a típusuk által megengedett módon kapcsolódhatnak.<br /> # ...egy program vezérlési folyamát írja le.<br /> <br /> == A folyamatmodellben az elemi tevékenység... ==<br /> {{kvízkérdés|típus=több|válasz=2,3,4|pontozás=-}}<br /> # ...nem fordulhat elő, ha a folyamat jólstrukturált. <br /> # ...időbeli kiterjedéssel rendelkezhet, huzamosabb ideig végrehajtás alatt lehet.<br /> # ...belső működését, időbeli lefolyását a folyamatmodell nem részletezi.<br /> # ...finomítás keretében helyettesíthető egy részfolyamattal, amely a tevékenység végrehajtásának részleteit taglalja.<br /> <br /> == Őrfeltétel... ==<br /> {{kvízkérdés|típus=több|válasz=1,2,3,4|pontozás=-}}<br /> # ...szerepelhet a folyamat döntési (Decision) csomópontjáról kimenő ágakon.<br /> # ...szerepelhet egy állapotgép állapotátmeneti élein.<br /> # ...figyelembe vehet változókat, más állapotrégiókat, külső információt.<br /> # ...sérülés esetén az adott viselkedés nem megengedett.<br /> <br /> == A strukturális dekompozíció... ==<br /> {{kvízkérdés|típus=több|válasz=2,3,4|pontozás=-}}<br /> # ...egy rendszer részekre bontása az állapotátmeneti reláció szerint.<br /> # ...lehet fizikai vagy logikai.<br /> # ...mindig növeli a modellelemek számát.<br /> # ...egyfajta finomítás.<br /> <br /> == A struktúramodellnek tipikus célja, hogy... ==<br /> {{kvízkérdés|típus=több|válasz=1,4|pontozás=-}}<br /> # ...a rendszer belső felépítését leírják.<br /> # ...az egyes eseményekre a rendszer által adott választ definiálják.<br /> # ...a végrehajtandó lépéseket, és egymás közti sorrendjüket megadják.<br /> # ...a rendszert alkotó elemek jellemzőit és viszonyait leírják.<br /> <br /> == Egy állapotgép biztosan determinisztikus, ha ... ==<br /> {{kvízkérdés|típus=több|válasz=|pontozás=-}}<br /> # ...minden állapotban minden bemenethez tartozik legalább egy átmenet.<br /> # ...nem tartalmaz spontán átmenetet.<br /> # ...nem tartalmaz párhuzamos régiókat.<br /> # ...nem tartalmaz hierarchikus állapotot.<br /> <br /> == Általánosan egy viselkedésmodell... ==<br /> {{kvízkérdés|típus=több|válasz=2|pontozás=-}}<br /> # ...alatt mindig állapotgépet értünk.<br /> # ...feldata, hogy a rendszer működését, változását leírja.<br /> # ...hibás, ha nemdeterminisztikus.<br /> # ...absztrahálható, de finomítani már nem lehet, mivel megadja a rendszer teljes viselkedését.<br /> <br /> == Folyamatmodellek esetén ... ==<br /> {{kvízkérdés|típus=több|válasz=1,2,3|pontozás=-}}<br /> # ...az elemi tevékenységek időbeli kiterjedéssel rendelkeznek.<br /> # ...az elemi tevékenységek lefolyását, belső lépéseit (az adott folyamatmodellben) nem modellezzük.<br /> # ...ciklusokat decision és merge vezérlési elemekkel tudunk létrehozni.<br /> # ...a fork és join vezérlési elemekkel több végrehajtható ág közül lehet egyet választani.<br /> <br /> == A folyamatmodell döntési (decision) elágazásánál... ==<br /> {{kvízkérdés|típus=több|válasz=2,3|pontozás=-}}<br /> # ...a kimenő élekre írt őrfeltételek elsődleges célja, hogy másik folyamatmodellel szinkronizálni lehessen (randevú).<br /> # ...az egyes döntési ágakon tetszőleges számú lépés következhet.<br /> # ...a döntés után pontosan egy ág kerül végrehajtásra.<br /> # ...a döntési ágaknak egy befejezési (Flow End) csomópontban be kell várniuk egymást.<br /> <br /> == Az absztrakció... ==<br /> {{kvízkérdés|típus=több|válasz=2,4|pontozás=-}}<br /> # ...modellből indul ki, és az eredménye egy valós rendszer.<br /> # ...mindig információt hagy el a modellből.<br /> # ...eredményeképp a modell kevesebb valós rendszernek lesz érvényes modellje.<br /> # ...megfordítása a finomítás.<br /> <br /> == A modellt ábrázoló diagram... ==<br /> {{kvízkérdés|típus=több|válasz=1|pontozás=-}}<br /> # ...mellett sok modell szövegesen is leírható.<br /> # ...mindig a modellel azonos információtartalmú.<br /> # ...megegyezik a modellezett rendszerrel.<br /> # ...kizárólag viselkedésmodellekre készíthető el.<br /> <br /> == A példánygráfot... ==<br /> {{kvízkérdés|típus=több|válasz=1,4|pontozás=-}}<br /> # ...arra használjuk, hogy a rendszert alkotó elemek egymáshoz való viszonyát leírjuk.<br /> # ...típuscsomópontok és típusélek alkotják.<br /> # ...tartalmazási viszonyok és típus-példány viszonyok alkotják.<br /> # ...szűrhejtük (absztrahálhatjuk) adott címkéjű elemeire, és ez újabb gráfmodellt eredményez.<br /> <br /> == Modellek dekompozíciójánál... ==<br /> {{kvízkérdés|típus=több|válasz=2,4|pontozás=-}}<br /> # ...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.<br /> # ...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.<br /> # ...logikai a dekompozíció, ha a rendszert alkatrészei szerint bontjuk fel.<br /> # ...egy problémát vagy rendszert kisebb részekre bontunk.<br /> <br /> == Egy rendszer működését érvényesen modellező egyszerű állapotgép (nem Harel statechart)... ==<br /> {{kvízkérdés|típus=több|válasz=4|pontozás=-}}<br /> # ...kötelezően determinisztikus<br /> # ...csak a rendszeren kívülről érkező input hatására válthat állapotot.<br /> # ...minden állapotátmenetekor kötelezően outputot bocsát ki.<br /> # ...a rendszer működése során minden időpontban pontosan egy aktív (aktuális) állapotot tartalmaz.<br /> <br /> == Folyamatmodellezésnél... ==<br /> {{kvízkérdés|típus=több|válasz=1|pontozás=-}}<br /> # ...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.<br /> # ...a rendszert fizikai elemei mentén bontjuk részekre, ha alfolyamatokat alkalmazunk a modellben.<br /> # ...egy elemi tevékenység végrehajtása mindig pillanatszerű.<br /> # ...egy folyamatmodell akkor helyes, ha minden lefutása során, minden tevékenységét végrehajtuk.<br /> <br /> == Egy valós rendszer viselkedését leíró teljes folyamatmodell... ==<br /> {{kvízkérdés|típus=több|válasz=2,3|pontozás=-}}<br /> # ...mindenképpen jólstrukturált.<br /> # ...tartalmazhat olyan merge csomópontot, amelybe a vele párosított decision érintése nélkül el lehet jutni.<br /> # ...mindig tartalmaz kezdő (start, flow, begin) csomópontot.<br /> # ...minden csomópontját pontosan egy vezérlési él hagyja el.<br /> <br /> == 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... ==<br /> {{kvízkérdés|típus=több|válasz=4|pontozás=-}}<br /> # ...A és B tevékenységek egyszerre fognak elkezdődni.<br /> # ...A és B közül pontosan egy lesz végrehajtva.<br /> # ...B-nek A befejezése előtt el kell kezdődnie.<br /> # ...B befejeződhet A kezdete előtt.<br /> <br /> == Egy állapotgép NEM lehet teljesen specifikált, ha van olyan állapota, amelyből... ==<br /> {{kvízkérdés|típus=több|válasz=1|pontozás=-}}<br /> # ...nem minden bemenethez tartozik átmenet.<br /> # ...nem elérhető a kezdőállapot.<br /> # ...spontán átmenet indul ki.<br /> # ...minden bemenethez pontosan egy átmenet tartozik.<br /> <br /> == Ha G gráf egy példánygráf és T a hozzá tartozó típusgráf, akkor... ==<br /> {{kvízkérdés|típus=több|válasz=1,4|pontozás=-}}<br /> # ...G minden csomópontja &quot;instanceOf&quot; (példánya) relációban áll T legalább egy csomópontjával.<br /> # ...T-ben biztosan nem lehet hurokél.<br /> # ...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.<br /> # ...G elemei közt csak olyan összeköttetések lehetségesek, melyekre T definiál éltípust.<br /> <br /> == Tulajdonságmodellen végzett szűrés során... ==<br /> {{kvízkérdés|típus=több|válasz=1,3|pontozás=-}}<br /> # ...az eredmény sorainak száma lehet kevesebb, mint az eredeti modellben.<br /> # ...az eredmény oszlopainak száma biztosan kevesebb, mint az eredeti modellben.<br /> # ...az eredménybe azon elemek kerülnek, amelyek tulajdonságai megfelelnek a szűrés feltételeinek.<br /> # ...strukturális dekompozíciót végzünk.<br /> <br /> == 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... ==<br /> {{kvízkérdés|típus=több|válasz=1,3,4|pontozás=-}}<br /> # ...a folyamatmodell nem tartalmaz megkötést arra nézve, hogy egymáshoz képest milyen sorrendben hajtódnak végre.<br /> # ...a két tevékenység mindenképp ugyanazt az erőforrást használja.<br /> # ...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.<br /> # ...a két tevékenység végrehajtása egy valós rendszerben átlapolódhat.<br /> <br /> == Ha M1 egyszerű állapotgép 4 állapotot és 6 átmenetet, M2 pedig 3 állapotot és 5 átmenetet tartalmaz, akkor... ==<br /> {{kvízkérdés|típus=több|válasz=1,2,3|pontozás=-}}<br /> # ...M2 lehet M1 állapotösszevonással kapott absztrakciója.<br /> # ...M2 állapottere lehet M1 állapotterének állapotösszevonással kapott absztrakciója.<br /> # ...M1 és M2 aszinkron szorzata 12 állapotot tartalmaz.<br /> # ...lehetséges, hogy M1 és M2 aszinkron szorzata 30 átmenetet tartalmaz.<br /> <br /> == Ha S állapottér, akkor... ==<br /> {{kvízkérdés|típus=több|válasz=1,2,4|pontozás=-}}<br /> # ...készíthető olyan állapotgép, mely S összes állapotát felhasználva nemdeterminisztikus működést mutat.<br /> # ...elhagyható S halmazból egy állapot úgy, hogy ezután már nem lesz teljes.<br /> # ...elhagyható S halmazból egy állapot úgy, hogy ezután már nem lesz kizárólagos.<br /> # ...készíthető olyan állapotgép, mely S összes állapotának felhasználása mellett nem lesz teljesen specifikált.<br /> <br /> == A Harel-féle hierarchikus állapottérkép tartalmazhat... ==<br /> {{kvízkérdés|típus=több|válasz=1,2,3,4|pontozás=-}}<br /> # ...összetett állapotot.<br /> # ...párhuzamos régiókat.<br /> # ...pszeduoállapotot.<br /> # ...változókat.<br /> <br /> == Egy egyszerű állapotgép biztosan determinisztikus, ha... ==<br /> {{kvízkérdés|típus=több|válasz=-|pontozás=-}}<br /> # ...állapotainak száma 1 (állapotmentes).<br /> # ...minden állapotából csak egy spontán átmenetet definiálunk.<br /> # ...nincs benne hurokél.<br /> # ...egy kezdőállapota van.<br /> <br /> == 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... ==<br /> {{kvízkérdés|típus=több|válasz=3,4|pontozás=-}}<br /> # ...eltávolítjuk belőle a 0 elemet?<br /> # ...hozzávesszük a &quot;&gt; 100&quot; predikátumot, ami akkor teljesül, ha 100-nál több kérés várakozik?<br /> # ...hozzávesszük a negatív számokat is?<br /> # ...Decartes-szorozzuk az {logol, nemlogol} halmazzal?<br /> <br /> == Őrfeltételt írhatunk... ==<br /> {{kvízkérdés|típus=több|válasz=2,3|pontozás=-}}<br /> # ...típusgráf éleire, amennyiben azok nem hurokélek.<br /> # ...folyamatmodell decision (döntési) csomópontjából kilépő vezérlési élekre.<br /> # ...állapotgép átmeneteire.<br /> # ...folyamatmodell döntési csomópontjába belépő vezérlési élekre.<br /> <br /> == Ha M1 egyszerű állapotgép 3 állapotot és 5 átmenetet, M2 pedig 4 állapotot és 6 átmenetet tartalmaz, akkor... ==<br /> {{kvízkérdés|típus=több|válasz=1,3|pontozás=-}}<br /> # ...M2 lehet M1 állapotösszevonással kapott absztrakciója.<br /> # ...M2 állapottere lehet M1 állapotterének állapotösszevonással kapott absztrakciója.<br /> # ...M1 és M2 aszinkron szorzata 12 állapotot tartalmaz.<br /> # ...lehetséges, hogy M1 és M2 aszinkron szorzata 42 átmenetet tartalmaz.<br /> <br /> == Struktúramodellezés esetén... ==<br /> {{kvízkérdés|típus=több|válasz=1,2|pontozás=-}}<br /> # ...a típusgráf élei meghatározzák a példánygráfban előforduló élek lehetséges típusait.<br /> # ...a típusgráf egy irányított gráf.<br /> # ...az &quot;is a&quot; címkével ellátott élek típuspéldány viszonyt jelölnek.<br /> # ...a típusgráfban található minden csúcstípushoz léteznie kell legalább egy csomópontnak a példánygráfban.<br /> <br /> == Tulajdonságmodellen végzett lekérdezés során... ==<br /> {{kvízkérdés|típus=több|válasz=2,3|pontozás=-}}<br /> # ...közvetlenül a SELECT kulcsszó után szerepel a szűrési feltétel.<br /> # ...a vetítés paraméterei azon oszlopok, amelyek a művelet után megmaradnak.<br /> # ...alkalmazhatunk szűrés és vetítés műveleteket, valamint származtathatunk új tulajdonságot.<br /> # ...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.<br /> <br /> == Jólstrukturált folyamatmodellek végrehajtása során... ==<br /> {{kvízkérdés|típus=több|válasz=3,4|pontozás=-}}<br /> # ...a folyamat minden esetben véges idő alatt eljut a &quot;folyamat vége&quot; csomóponthoz, ha nincs benne ciklus.<br /> # ...mindig van olyan tevékenység, melyet minden végrehajtás érint, ha a folyamatmodell teljesen specifikált.<br /> # ...egy végrehajtás alatt a Fork-Join vezérlési szerkezet két ágán található tevékenységek átlapolódhatnak.<br /> # ...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.</div>

Ádám Zsombor