VIK Wiki

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

← Régebbi szerkesztés
VizuálisWikiszöveges
Csia Klaudia Kitti (vitalap | szerkesztései)
felületadminisztrátorok, oauth2, smwadministrator, smwcurator, adminisztrátorok, upwizcampeditors
1 846 szerkesztés
Nincs szerkesztési összefoglaló
Nincs szerkesztési összefoglaló
 
(6 közbenső módosítás, amit 3 másik szerkesztő végzett, nincs mutatva)
135. sor: 135. sor:
# …M1 lehet M2 absztrakciója.
# …M1 lehet M2 absztrakciója.
# …M1 mindenképpen M2 absztrakciója.
# …M1 mindenképpen M2 absztrakciója.
== A fa tulajdonságú gráf… ==
{{kvízkérdés|típus=több|válasz=2,3|pontozás=-}}
# …csak irányítatlan kört tartalmazhat, irányított kört nem.
# …reprezentálhat egy tartalmazási struktúrát.
# …élcímkére szűrve is egy vagy több fa marad.
# …típusgráfja nem tartalmazhat hurokélet.


== Egy egyszerű állapotgép biztosan determinisztikus, ha… ==
== Egy egyszerű állapotgép biztosan determinisztikus, ha… ==
{{kvízkérdés|típus=több|válasz=3|pontozás=-}}
{{kvízkérdés|típus=több|válasz=0|pontozás=-}}
# …teljesen specifikált.
# …teljesen specifikált.
# …egy kezdőállapota van.
# …egy kezdőállapota van.
169. sor: 162. sor:
# …100 átmenetet tartalmaz.
# …100 átmenetet tartalmaz.
# …107 átmenetet tartalmaz.
# …107 átmenetet tartalmaz.
# …107 átmenetet tartalmaz.
# …120 átmenetet tartalmaz.


== Őrfeltételt írhatunk… ==
== Őrfeltételt írhatunk… ==
175. sor: 168. sor:
# …típusgráf éleire.
# …típusgráf éleire.
# …állapotgép átmeneteire.
# …állapotgép átmeneteire.
# …folyamatmodell Decision csomópontjából kilépő vezérlési élekre.
# …folyamatmodell decision (döntési) csomópontjából kilépő vezérlési élekre.
# …adatfolyamháló csatornáira.
# …adatfolyamháló csatornáira.


212. sor: 205. sor:
# Szűrés során a jellemzett objektumok száma nem változhat.
# 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.
# Vetítés során a táblázat jellemzőinek száma csökkenhet.
== Mi lehet a strukturális modellezés célja? ==
{{kvízkérdés|típus=több|válasz=2,4|pontozás=-}}
# A rendszer működésének időbeli vizsgálata.
# A rendszer kisebb részekre bontása.
# A rendszer dinamikus viselkedésének vizsgálata.
# A rendszerben található kapcsolatok és összeköttetések meghatározása.


== Mely állítások igazak az alábbiak közül? ==
== Mely állítások igazak az alábbiak közül? ==
241. sor: 227. sor:
# ...a kiterjesztett (Harel) állapotgépben az egyik a másikat tartalmazó állapot.
# ...a kiterjesztett (Harel) állapotgépben az egyik a másikat tartalmazó állapot.


== Két komponensű állapotgép aszinkron szorzata... ==
== Két (komponensű) állapotgép aszinkron szorzata... ==
{{kvízkérdés|típus=több|válasz=1,4|pontozás=-}}
{{kvízkérdés|típus=több|válasz=1,4|pontozás=-}}
# ...maga is állapotgép.
# ...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.
# ...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.
# ...nem lehet determinisztikus, mert mindkét (komponens) állapotgépe válthat állapotot.
# ...absztrakcióval visszavetíthető az egyik komponens állapotgépre.
# ...absztrakcióval visszavetíthető az egyik (komponens) állapotgépre.


== A modell... ==
== A modell... ==
284. sor: 270. sor:


== A strukturális dekompozíció... ==
== A strukturális dekompozíció... ==
{{kvízkérdés|típus=több|válasz=2,3|pontozás=-}}
{{kvízkérdés|típus=több|válasz=2,3,4|pontozás=-}}
# ...egy rendszer részekre bontása az állapotátmeneti reláció szerint.
# ...egy rendszer részekre bontása az állapotátmeneti reláció szerint.
# ...lehet fizikai vagy logikai.
# ...lehet fizikai vagy logikai.
303. sor: 289. sor:
# ...nem tartalmaz párhuzamos régiókat.
# ...nem tartalmaz párhuzamos régiókat.
# ...nem tartalmaz hierarchikus állapotot.
# ...nem tartalmaz hierarchikus állapotot.
== Két komponensű állapotgép aszinkron szorzata... ==
{{kvízkérdés|típus=több|válasz=1,2|pontozás=-}}
# ...absztrakcióval visszavetíthető az egyik komponens állapotgépére.
# ...maga is állapotgép.
# ...nem lehet determinisztikus, mert mindkét komponens állapotgépe válthat állapotot.
# ...olyan állapotátmeneteket tartalmaz, amelyek során mindig, mindkét komponens állapotgépében is végrehajtódik egy-egy átmenet.


== Általánosan egy viselkedésmodell... ==
== Általánosan egy viselkedésmodell... ==
341. sor: 320. sor:
== A modellt ábrázoló diagram... ==
== A modellt ábrázoló diagram... ==
{{kvízkérdés|típus=több|válasz=1|pontozás=-}}
{{kvízkérdés|típus=több|válasz=1|pontozás=-}}
# ...mellett sok modell szöveges is leírható.
# ...mellett sok modell szövegesen is leírható.
# ...mindig a modellel azonos információtartalmú.
# ...mindig a modellel azonos információtartalmú.
# ...megegyezik a modellezett rendszerrel.
# ...megegyezik a modellezett rendszerrel.
387. sor: 366. sor:
# ...B-nek A befejezése előtt el kell kezdődnie.
# ...B-nek A befejezése előtt el kell kezdődnie.
# ...B befejeződhet A kezdete előtt.
# ...B befejeződhet A kezdete előtt.
== Egy állapotgép NEM lehet teljesen specifikált, ha van olyan állapota, amelyből... ==
{{kvízkérdés|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... ==
{{kvízkérdés|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... ==
{{kvízkérdés|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... ==
{{kvízkérdés|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... ==
{{kvízkérdés|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... ==
{{kvízkérdés|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... ==
{{kvízkérdés|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... ==
{{kvízkérdés|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... ==
{{kvízkérdés|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... ==
{{kvízkérdés|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... ==
{{kvízkérdés|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... ==
{{kvízkérdés|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... ==
{{kvízkérdés|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... ==
{{kvízkérdés|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... ==
{{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.
A lap eredeti címe: „https://vik.wiki/Rendszermodellezés_1._ZH/Igaz_Hamis_kikérdező”