VIK Wiki

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

← Régebbi szerkesztésÚjabb szerkesztés →
VizuálisWikiszöveges
Címkék: Mobil szerkesztés Mobil web szerkesztés
Csia Klaudia Kitti (vitalap | szerkesztései)
felületadminisztrátorok, oauth2, smwadministrator, smwcurator, adminisztrátorok, upwizcampeditors
1 846 szerkesztés
Nincs szerkesztési összefoglaló
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… ==
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… ==
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? ==
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... ==
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ágmodellene 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.
A lap eredeti címe: „https://vik.wiki/Rendszermodellezés_1._ZH/Igaz_Hamis_kikérdező”