„Rendszermodellezés (régi)/Igaz Hamis kikérdező” változatai közötti eltérés

@@ 51. sor: / 51. sor: @@
 # alkalmas a komplex rendszeres szolgáltatásbiztonságának elemzésére a komponensek tulajdonságai alapján.
 # az elemi meghibásodások függetlenségének feltételezésével használható kvantitatív elemzésére is.
+== Egyensúlyi helyzetben lévő rendszer teljesítménymodellje esetén ==
+{{kvízkérdés|típus=több|válasz=2,4|pontozás=+}}
+# az érkezési ráta meghaladhatja az átbocsájtóképességet
+# időegységenként átlagosan annyi folyamatpéldány indul, mint ahány befejeződik
+# az átbocsátási ráta és az átbocsájtóképesség mindig megegyezik
+# a Little-törvény fennáll
+== Ha az egyik állapotrégió 5 állapotot és 12 átmenetet, a másik régió 4 állapotot és 10 átmenetet tartalmaz, akkor az asszinkron szorzatukként számolt állapotgép további finomítás híján ==
+{{kvízkérdés|típus=több|válasz=3|pontozás=+}}
+# 100
+# 60
+# 98
+# 140
+== Adatfolyamhálóval leírt rendszerünk modelljében ==
+{{kvízkérdés|típus=több|válasz=1,3,4|pontozás=+}}
+# az egyes csomópontok belső pontjai egymástől közvetlenül (kommunikáció nélkül) nem függenek.
+# mindenképp lesz legalább egy decision csomópont, különben a modell nem terminál.
+# a csomópontok felbonthatóak további alfolyamhálókra, amennyiben a bemeneti és kimeneti csatornák változatlanok
+# a kommunikáció alapesetben végtelen kapacitású FIFO csatornákon zajlik.