https://vik.wiki/api.php?action=feedcontributions&feedformat=atom&user=Vit%C3%A9z+Mikl%C3%B3s+Viktor 2026-04-14T09:24:09Z Felhasználó közreműködései MediaWiki 1.43.6 https://vik.wiki/index.php?title=Rendszermodellez%C3%A9s_2._ZH/Rendszermodellez%C3%A9s&diff=189234 2016-05-18T19:35:01Z

<p>Vitéz Miklós Viktor: /* Egy rendszer teljesítményének (kapacitásának) tervezésekor... */</p> <hr /> <div>{{Kvízoldal<br /> |cím=ReMo 2. ZH kikérdező<br /> }}<br /> <br /> == A specifikáció... ==<br /> {{kvízkérdés|típus=több|válasz=1,4|pontozás=-}}<br /> # ...informális, ha többféle értelmezése is lehetséges.<br /> # ...deklaratív, ha nem írja le az elvárt kimeneteket, csak az előállítás módját.<br /> # ...mindig szöveges dokumentum.<br /> # ...nemfunkcionális, ha teljesítmény jellegű követelményeket ír le.<br /> <br /> == Viselkedésmodell absztrakciója során... ==<br /> {{kvízkérdés|típus=több|válasz=1,4|pontozás=-}}<br /> # ...információ vész el.<br /> # ...a lehetséges megvalósítások száma csökken.<br /> # ...elveszhetnek lehetséges lefutási utak.<br /> # ...megjelenhetnek eddig végrehajthatatlan lefutási utak.<br /> <br /> == A futásidejű monitor... ==<br /> {{kvízkérdés|típus=több|válasz=2|pontozás=-}}<br /> # ...csak a rendszer kimeneteit figyeli.<br /> # ...bemeneti és kimeneti invariánsokat ellenőriz futás közben.<br /> # ...helyettesíti a tesztelést, hiszen képes megakadályozni a hibás működést futás közben.<br /> # ...része a specifikáció alapján elkészült rendszernek.<br /> <br /> == A tesztfedettség... ==<br /> {{kvízkérdés|típus=több|válasz=2,3|pontozás=-}}<br /> # ...az elvárt és tapasztalt kimenet egyezőségének mértéke<br /> # ...0 és 1 közötti érték.<br /> # ...új tesztesetek elkészítésével növelhető<br /> # ...ha eléri az 1 értéket, akkor garantáltan nincs hiba a modellben / kódban<br /> <br /> == A modellellenőrzés... ==<br /> {{kvízkérdés|típus=több|válasz=2,4|pontozás=-}}<br /> # ...a modell szúróprobaszerű vizsgálata bizonyos inputokra.<br /> # ...matematikailag bizonyítja a modell helyességét.<br /> # ...kisebb számításigényű, mint egy tesztkészlet futtatása, hiszen nem kell ténylegesen végrehajtani a modellt.<br /> # ...képes példát mutatni rá, ha egy adott követelmény nem teljesül a modellben.<br /> <br /> == A folyamatban egy elemi tevékenység vizitációs száma... ==<br /> {{kvízkérdés|típus=több|válasz=2|pontozás=-}}<br /> # ...a tevékenység átbocsátása és átbocsátóképessége közti arány<br /> # ...a tevékenység átbocsátása és az egész folyamat átbocsátása közti arány<br /> # ...kisebb vagy egyenlő az átbocsátóképességnél<br /> # ...egyensúlyi helyzetben megegyezik az érkezési rátával<br /> <br /> == A rendre XP és XQ átbocsátóképességű P és Q elemi tevékenységekből tetszőleges vezérlési elemekkel összeállított folyamat átbocsátóképessége... ==<br /> {{kvízkérdés|típus=több|válasz=1,2|pontozás=-}}<br /> # ...min(XP, XQ), ha P és Q egy fork-join blokk két ága.<br /> # ... (XP + XQ), amennyiben szabad a döntés P és Q között<br /> # ...mindig P és Q közül a szűk keresztmetszet átbocsátóképességével egyezik<br /> # ...mindenképpen min(XP, XQ)<br /> <br /> == Hallgatók lábméretét és a két Rendszermodellezés ZH-n elért összpontszámát vizsgáljuk. ==<br /> {{kvízkérdés|típus=több|válasz=2|pontozás=-}}<br /> # Ha a két változót párhuzamos koordináta diagramon ábrázolva azt tapasztaljuk, hogya töröttvonalak párhuzamosak egymással, akkor mindenki ugyanannyi pontot ért el, mint amekkora a lábmérete.<br /> # Ha a két változót párhuzamos koordináta diagramon ábrázolva azt tapasztaljuk, hogy a töröttvonalak párhuzamosak egymással, akkor a lábméret lineárisan függ a ZH összpontszámtól.<br /> # Ha a lábméretet és a ZH összpontszámot hisztogramon ábrázolva azt tapasztaljuk, hogy a két hisztogram pontosan ugyanúgy néz ki, akkor mindenki ugyanannyi pontot ért el, mint amekkora a lábmérete.<br /> # Ha a lábméretet és a ZH összpontszámot hisztogramon ábrázolva azt tapasztaljuk, hogy a két hisztogram pontosan ugyanúgy néz ki, akkor a lábméret lineárisan függ a ZH összpontszámtól.<br /> <br /> == A szimuláció... ==<br /> {{kvízkérdés|típus=több|válasz=1,3|pontozás=-}}<br /> # ...elvégezhető az informatikai rendszer megvalósítása nélkül is.<br /> # ...helyettesíti a tesztelést, mivel minden lehetséges rendszerállapotot biztosan lefed.t<br /> # ...célja lehet a rendszer logikai helyességének vizsgálata.<br /> # ...nem támogatja osztott erőforrásokért versengő folyamatok modellezését.<br /> <br /> == A jólstrukturált folyamatmodell ... ==<br /> {{kvízkérdés|típus=több|válasz=2,4|pontozás=-}}<br /> # ...mindig determinisztikus, hiszen nem tartalmazhat elágazást.<br /> # ...mindenfork-otszimmetrikusanlezárjoin-nal,így a folyamat ágai nem fognak két join-nál kölcsönösen egymásra várva deadlockba ragadni.<br /> # ...mindig teljesen specifikált a jólstrukturált blokkokból való építkezés miatt.<br /> # ...csak olyan ciklust tartalmazhat, amelynek egyetlen kilépési pontja van.<br /> <br /> == Egy rendszer teljesítményének (kapacitásának) tervezésekor... ==<br /> {{kvízkérdés|típus=több|válasz=1,4|pontozás=-}}<br /> # ... felhasználhatjuk a Zipf törvényt cache tervezésre, mert segítségével megadható, mekkora terhelést jelent a leggyakoribb kérések kiszolgálása<br /> # ...felhasználhatjuka Zipftörvényt, mertfordított arányosságot feltételez a válaszidő és a kihasználtság közt;<br /> # ...benchmarkokat használhatunk a teljesítménytesztek kiváltására<br /> # ...benchmarkokat használhatunk arra, hogy egy rendszer áteresztőképességét becsüljük adott felhasználószám mellett<br /> <br /> == Vizuális elemzésnél... ==<br /> {{kvízkérdés|típus=több|válasz=-|pontozás=-}}<br /> # ...két folytonos numerikus változó kapcsolatának vizsgálatára használhatunk párhuzamos koordináta diagramot.<br /> # ...ha két változó doboz diagramjának (boxplotjának)lakjatökéletesenmegegyezik, akkor a változók értékei egyenes arányosságban állnak egymással.<br /> # ...a doboz diagramról a konkrét értékek előfordulási száma explicite leolvasható.<br /> # ...egy folytonos változó minden hisztogramjáról ugyanaz az információ olvasható le.<br /> <br /> == 1000 mért adatpontot összesítve... ==<br /> {{kvízkérdés|típus=több|válasz=1,2,3|pontozás=-}}<br /> # ...a módusz lehet kisebb a 0.1-es kvantilisnél.<br /> # ...a medián lehet kisebb a 0.1-es kvantilisnél.<br /> # ...az átlag lehet kisebb a 0.1-es kvantilisnél.<br /> # ...az első kvartilis lehet kisebb a 0.1-es kvantilisnél.</div>

Vitéz Miklós Viktor https://vik.wiki/index.php?title=Rendszermodellez%C3%A9s&diff=189226 2016-05-18T19:27:10Z

<p>Vitéz Miklós Viktor: /* 2. ZH */</p> <hr /> <div>{{Tantárgy<br /> | név = Rendszermodellezés<br /> | tárgykód = VIMIAA00<br /> | szak = info<br /> | kredit = 4<br /> | félév = 2<br /> | kereszt = <br /> | tanszék = MIT<br /> | jelenlét = <br /> | minmunka = <br /> | labor = nincs<br /> | kiszh = 0<br /> | nagyzh = 2<br /> | hf = 3<br /> | vizsga = nincs<br /> | levlista = remo{{kukac}}sch.bme.hu<br /> | tad = https://portal.vik.bme.hu/kepzes/targyak/VIMIAA00<br /> | tárgyhonlap = https://inf.mit.bme.hu/edu/courses/remo/<br /> }}<br /> <br /> {{Új_tárgy|Rendszermodellezés_(régi)}}<br /> <br /> A tantárgy tematikusan az informatikai rendszerek tervezési folyamatának modell alapú megközelítését tárgyalja.<br /> <br /> Célkitűzése a későbbi tantárgyak által megtanítandó specializált modellezési paradigmák előkészítése, az alapvető modellezési feladatok és eszközök bemutatásával. Egyúttal bemutat néhány olyan fogalmilag tiszta és egyszerűen kezelhető eszközt is, amelyek segítségével a tervezés alapvető aspektusait a hallgatók készség szinten elsajátíthatják és egyszerű, működő alkalmazásokat is tudnak tervezni.<br /> <br /> A hallgatók megismerik a magas szintű, grafikus eszközökre épülő, folyamat alapú rendszermodellezés, a helyességbizonyítás, teljesítményanalízis és szolgáltatásbiztonság alapfogalmait és megjelenésüket a modellezésben. A korábbi automataelméleti és rendszertechnikai ismereteikre építve megismerik a szabatos rendszertervezés alapjait. A hallgatók a modellezés munkafolyamatain keresztül elsajátítják az informatikai rendszerek implementációjának egyes munkafogásait. Jártasságot szereznek a szimulációs rendszervizsgálatokban és a mérési adatok vizuális elemzésében.<br /> <br /> A tárgy kiemelt didaktikai célja a hallgatók absztrakciós készségének fejlesztése és a későbbi szakmai tárgyak fogalmi és motivációs előkészítése.<br /> <br /> == Követelmények ==<br /> <br /> === Előtanulmányi rend ===<br /> '''Kötelező: ''' nincs&lt;br /&gt;<br /> '''Ajánlott: ''' [[A_programozás_alapjai_I.|A programozás alapjai 1]]<br /> <br /> === A szorgalmi időszakban ===<br /> *Az '''aláírás''' feltételei:<br /> **'''Két ZH''' sikeres megírása.<br /> **'''Egy házi feladat''' beadása és megvédése<br /> *'''Pótlási lehetőségek:'''<br /> **A két ZH-ból csak az egyik pótolható, egyszer a pótlási héten, egyszer még később (különeljárási díj fejében). Ha egyik ZH sem sikerül elsőre, bukod a tárgyat. <br /> <br /> ===Félévvégi jegy===<br /> * Kötelező: <br /> ** HF: 30 pont<br /> ** ZH1: 35 pont <br /> ** ZH2: 35 pont<br /> * Plusz pontokat az alábbi módon lehet szerezni:<br /> ** Bemelegítő HF: 0-5 pont<br /> ** Szorgalmi HF 0-8 pont (pótlási héten alakul ki)<br /> ** Gyakorlati részvétel és fakultatív kisZH-k: (0-10 pont)<br /> *** Ha a hallgató legalább 5 gyakorlaton részt vett: 5 legjobb kisZH összege, de mindenképpen legalább 5 (5-10 pont)<br /> *** Ha a hallgató 0-4 gyakorlaton vett részt: 5 legjobb kisZH összege, HA az legalább 5 (0 vagy 5-8 pont)<br /> ** Előadáson véletlenszerűen előfordulhatnak pluszpontért kérdések.<br /> * Ponthatárok: 40-55-70-85<br /> <br /> == Segédanyagok ==<br /> *[http://docs.inf.mit.bme.hu/remo-jegyzet/ Tanszéki jegyzet]<br /> *[https://inf.mit.bme.hu/edu/courses/remo/materials Diasorok]<br /> <br /> == Házi ==<br /> <br /> A 3. héten kerül kiadásra, beadni elektronikusan kell a 12. héten, majd szóbeli védésen bemutatni. <br /> <br /> == 1. ZH ==<br /> [[:Media:ReMo_mintazh1_2015tavasz_v2.pdf | 2015 tavasszal kiadott mintaZH]] + [[:Media:ReMo_mintazh1_2015tavasz_v2_mo.pdf | beugrókérdések megoldva]]<br /> === Kikérdező ===<br /> * [[Rendszermodellezés_1._ZH/Igaz_Hamis_kikérdező|Igaz-Hamis kikérdező]] (előző ZH-k alapján) - '''csak az igaz állításokat kell bejelölni!'''<br /> <br /> == 2. ZH ==<br /> [[:Media:ReMo_mintazh2_20150509.pdf | 2015 tavasszal kiadott mintaZH]] + [[:Media:ReMo_mintazh2_20150509_kiskerdesek_megoldva.pdf | beugrókérdések megoldva]]<br /> <br /> === Kikérdező ===<br /> * [[Rendszermodellezés_2._ZH/Rendszermodellezés|Igaz-Hamis kikérdező]] (előző ZH-k alapján) - '''csak az igaz állításokat kell bejelölni!'''<br /> <br /> == Tippek ==<br /> <br /> Érdemes tisztában lenni minden fogalommal, mert utána elég csak a józan paraszti eszet használni. Nem túl bonyolult belőle 4-est 5-öst szerezni, mert rengeteg extra pont jár és a házi sok pontot ér. A házi egynapos munka ha teljesen nulláról kezdik, de ha már foglalkozott a Yakinduval egy kicsit előtte akkor maximum négy óra.<br /> <br /> == Kedvcsináló ==<br /> <br /> <br /> {{Lábléc_-_Mérnök_informatikus_alapszak_2014}}</div>

Vitéz Miklós Viktor https://vik.wiki/index.php?title=Rendszermodellez%C3%A9s_2._ZH/Rendszermodellez%C3%A9s&diff=189225 2016-05-18T19:24:50Z

<p>Vitéz Miklós Viktor: /* A jólstrukturált folyamatmodell ... */</p> <hr /> <div>{{Kvízoldal<br /> |cím=ReMo 2. ZH kikérdező<br /> }}<br /> <br /> == A specifikáció... ==<br /> {{kvízkérdés|típus=több|válasz=1,4|pontozás=-}}<br /> # ...informális, ha többféle értelmezése is lehetséges.<br /> # ...deklaratív, ha nem írja le az elvárt kimeneteket, csak az előállítás módját.<br /> # ...mindig szöveges dokumentum.<br /> # ...nemfunkcionális, ha teljesítmény jellegű követelményeket ír le.<br /> <br /> == Viselkedésmodell absztrakciója során... ==<br /> {{kvízkérdés|típus=több|válasz=1,4|pontozás=-}}<br /> # ...információ vész el.<br /> # ...a lehetséges megvalósítások száma csökken.<br /> # ...elveszhetnek lehetséges lefutási utak.<br /> # ...megjelenhetnek eddig végrehajthatatlan lefutási utak.<br /> <br /> == A futásidejű monitor... ==<br /> {{kvízkérdés|típus=több|válasz=2|pontozás=-}}<br /> # ...csak a rendszer kimeneteit figyeli.<br /> # ...bemeneti és kimeneti invariánsokat ellenőriz futás közben.<br /> # ...helyettesíti a tesztelést, hiszen képes megakadályozni a hibás működést futás közben.<br /> # ...része a specifikáció alapján elkészült rendszernek.<br /> <br /> == A tesztfedettség... ==<br /> {{kvízkérdés|típus=több|válasz=2,3|pontozás=-}}<br /> # ...az elvárt és tapasztalt kimenet egyezőségének mértéke<br /> # ...0 és 1 közötti érték.<br /> # ...új tesztesetek elkészítésével növelhető<br /> # ...ha eléri az 1 értéket, akkor garantáltan nincs hiba a modellben / kódban<br /> <br /> == A modellellenőrzés... ==<br /> {{kvízkérdés|típus=több|válasz=2,4|pontozás=-}}<br /> # ...a modell szúróprobaszerű vizsgálata bizonyos inputokra.<br /> # ...matematikailag bizonyítja a modell helyességét.<br /> # ...kisebb számításigényű, mint egy tesztkészlet futtatása, hiszen nem kell ténylegesen végrehajtani a modellt.<br /> # ...képes példát mutatni rá, ha egy adott követelmény nem teljesül a modellben.<br /> <br /> == A folyamatban egy elemi tevékenység vizitációs száma... ==<br /> {{kvízkérdés|típus=több|válasz=2|pontozás=-}}<br /> # ...a tevékenység átbocsátása és átbocsátóképessége közti arány<br /> # ...a tevékenység átbocsátása és az egész folyamat átbocsátása közti arány<br /> # ...kisebb vagy egyenlő az átbocsátóképességnél<br /> # ...egyensúlyi helyzetben megegyezik az érkezési rátával<br /> <br /> == A rendre XP és XQ átbocsátóképességű P és Q elemi tevékenységekből tetszőleges vezérlési elemekkel összeállított folyamat átbocsátóképessége... ==<br /> {{kvízkérdés|típus=több|válasz=1,2|pontozás=-}}<br /> # ...min(XP, XQ), ha P és Q egy fork-join blokk két ága.<br /> # ... (XP + XQ), amennyiben szabad a döntés P és Q között<br /> # ...mindig P és Q közül a szűk keresztmetszet átbocsátóképességével egyezik<br /> # ...mindenképpen min(XP, XQ)<br /> <br /> == Hallgatók lábméretét és a két Rendszermodellezés ZH-n elért összpontszámát vizsgáljuk. ==<br /> {{kvízkérdés|típus=több|válasz=2|pontozás=-}}<br /> # Ha a két változót párhuzamos koordináta diagramon ábrázolva azt tapasztaljuk, hogya töröttvonalak párhuzamosak egymással, akkor mindenki ugyanannyi pontot ért el, mint amekkora a lábmérete.<br /> # Ha a két változót párhuzamos koordináta diagramon ábrázolva azt tapasztaljuk, hogy a töröttvonalak párhuzamosak egymással, akkor a lábméret lineárisan függ a ZH összpontszámtól.<br /> # Ha a lábméretet és a ZH összpontszámot hisztogramon ábrázolva azt tapasztaljuk, hogy a két hisztogram pontosan ugyanúgy néz ki, akkor mindenki ugyanannyi pontot ért el, mint amekkora a lábmérete.<br /> # Ha a lábméretet és a ZH összpontszámot hisztogramon ábrázolva azt tapasztaljuk, hogy a két hisztogram pontosan ugyanúgy néz ki, akkor a lábméret lineárisan függ a ZH összpontszámtól.<br /> <br /> == A szimuláció... ==<br /> {{kvízkérdés|típus=több|válasz=1,3|pontozás=-}}<br /> # ...elvégezhető az informatikai rendszer megvalósítása nélkül is.<br /> # ...helyettesíti a tesztelést, mivel minden lehetséges rendszerállapotot biztosan lefed.t<br /> # ...célja lehet a rendszer logikai helyességének vizsgálata.<br /> # ...nem támogatja osztott erőforrásokért versengő folyamatok modellezését.<br /> <br /> == A jólstrukturált folyamatmodell ... ==<br /> {{kvízkérdés|típus=több|válasz=2,4|pontozás=-}}<br /> # ...mindig determinisztikus, hiszen nem tartalmazhat elágazást.<br /> # ...mindenfork-otszimmetrikusanlezárjoin-nal,így a folyamat ágai nem fognak két join-nál kölcsönösen egymásra várva deadlockba ragadni.<br /> # ...mindig teljesen specifikált a jólstrukturált blokkokból való építkezés miatt.<br /> # ...csak olyan ciklust tartalmazhat, amelynek egyetlen kilépési pontja van.<br /> <br /> == Egy rendszer teljesítményének (kapacitásának) tervezésekor... ==<br /> {{kvízkérdés|típus=több|válasz=1,4|pontozás=-}}<br /> # ... felhasználhatjuk a Zipf törvényt cache tervezésre, mert segítségével megadható, mekkora terhelést jelent a leggyakoribb kérések kiszolgálása<br /> # ...felhasználhatjukaZipftörvényt,mertfordítottarányosságotfeltételezaválaszidő és a kihasználtság közt;<br /> # ...benchmarkokat használhatunk a teljesítménytesztek kiváltására<br /> # ...benchmarkokat használhatunk arra, hogy egy rendszer áteresztőképességét becsüljük adott felhasználószám mellett<br /> <br /> == Vizuális elemzésnél... ==<br /> {{kvízkérdés|típus=több|válasz=-|pontozás=-}}<br /> # ...két folytonos numerikus változó kapcsolatának vizsgálatára használhatunk párhuzamos koordináta diagramot.<br /> # ...ha két változó doboz diagramjának (boxplotjának)lakjatökéletesenmegegyezik, akkor a változók értékei egyenes arányosságban állnak egymással.<br /> # ...a doboz diagramról a konkrét értékek előfordulási száma explicite leolvasható.<br /> # ...egy folytonos változó minden hisztogramjáról ugyanaz az információ olvasható le.<br /> <br /> == 1000 mért adatpontot összesítve... ==<br /> {{kvízkérdés|típus=több|válasz=1,2,3|pontozás=-}}<br /> # ...a módusz lehet kisebb a 0.1-es kvantilisnél.<br /> # ...a medián lehet kisebb a 0.1-es kvantilisnél.<br /> # ...az átlag lehet kisebb a 0.1-es kvantilisnél.<br /> # ...az első kvartilis lehet kisebb a 0.1-es kvantilisnél.</div>

Vitéz Miklós Viktor https://vik.wiki/index.php?title=Rendszermodellez%C3%A9s_2._ZH/Rendszermodellez%C3%A9s&diff=189224 2016-05-18T19:24:11Z

<p>Vitéz Miklós Viktor: /* A futásidejű monitor... */</p> <hr /> <div>{{Kvízoldal<br /> |cím=ReMo 2. ZH kikérdező<br /> }}<br /> <br /> == A specifikáció... ==<br /> {{kvízkérdés|típus=több|válasz=1,4|pontozás=-}}<br /> # ...informális, ha többféle értelmezése is lehetséges.<br /> # ...deklaratív, ha nem írja le az elvárt kimeneteket, csak az előállítás módját.<br /> # ...mindig szöveges dokumentum.<br /> # ...nemfunkcionális, ha teljesítmény jellegű követelményeket ír le.<br /> <br /> == Viselkedésmodell absztrakciója során... ==<br /> {{kvízkérdés|típus=több|válasz=1,4|pontozás=-}}<br /> # ...információ vész el.<br /> # ...a lehetséges megvalósítások száma csökken.<br /> # ...elveszhetnek lehetséges lefutási utak.<br /> # ...megjelenhetnek eddig végrehajthatatlan lefutási utak.<br /> <br /> == A futásidejű monitor... ==<br /> {{kvízkérdés|típus=több|válasz=2|pontozás=-}}<br /> # ...csak a rendszer kimeneteit figyeli.<br /> # ...bemeneti és kimeneti invariánsokat ellenőriz futás közben.<br /> # ...helyettesíti a tesztelést, hiszen képes megakadályozni a hibás működést futás közben.<br /> # ...része a specifikáció alapján elkészült rendszernek.<br /> <br /> == A tesztfedettség... ==<br /> {{kvízkérdés|típus=több|válasz=2,3|pontozás=-}}<br /> # ...az elvárt és tapasztalt kimenet egyezőségének mértéke<br /> # ...0 és 1 közötti érték.<br /> # ...új tesztesetek elkészítésével növelhető<br /> # ...ha eléri az 1 értéket, akkor garantáltan nincs hiba a modellben / kódban<br /> <br /> == A modellellenőrzés... ==<br /> {{kvízkérdés|típus=több|válasz=2,4|pontozás=-}}<br /> # ...a modell szúróprobaszerű vizsgálata bizonyos inputokra.<br /> # ...matematikailag bizonyítja a modell helyességét.<br /> # ...kisebb számításigényű, mint egy tesztkészlet futtatása, hiszen nem kell ténylegesen végrehajtani a modellt.<br /> # ...képes példát mutatni rá, ha egy adott követelmény nem teljesül a modellben.<br /> <br /> == A folyamatban egy elemi tevékenység vizitációs száma... ==<br /> {{kvízkérdés|típus=több|válasz=2|pontozás=-}}<br /> # ...a tevékenység átbocsátása és átbocsátóképessége közti arány<br /> # ...a tevékenység átbocsátása és az egész folyamat átbocsátása közti arány<br /> # ...kisebb vagy egyenlő az átbocsátóképességnél<br /> # ...egyensúlyi helyzetben megegyezik az érkezési rátával<br /> <br /> == A rendre XP és XQ átbocsátóképességű P és Q elemi tevékenységekből tetszőleges vezérlési elemekkel összeállított folyamat átbocsátóképessége... ==<br /> {{kvízkérdés|típus=több|válasz=1,2|pontozás=-}}<br /> # ...min(XP, XQ), ha P és Q egy fork-join blokk két ága.<br /> # ... (XP + XQ), amennyiben szabad a döntés P és Q között<br /> # ...mindig P és Q közül a szűk keresztmetszet átbocsátóképességével egyezik<br /> # ...mindenképpen min(XP, XQ)<br /> <br /> == Hallgatók lábméretét és a két Rendszermodellezés ZH-n elért összpontszámát vizsgáljuk. ==<br /> {{kvízkérdés|típus=több|válasz=2|pontozás=-}}<br /> # Ha a két változót párhuzamos koordináta diagramon ábrázolva azt tapasztaljuk, hogya töröttvonalak párhuzamosak egymással, akkor mindenki ugyanannyi pontot ért el, mint amekkora a lábmérete.<br /> # Ha a két változót párhuzamos koordináta diagramon ábrázolva azt tapasztaljuk, hogy a töröttvonalak párhuzamosak egymással, akkor a lábméret lineárisan függ a ZH összpontszámtól.<br /> # Ha a lábméretet és a ZH összpontszámot hisztogramon ábrázolva azt tapasztaljuk, hogy a két hisztogram pontosan ugyanúgy néz ki, akkor mindenki ugyanannyi pontot ért el, mint amekkora a lábmérete.<br /> # Ha a lábméretet és a ZH összpontszámot hisztogramon ábrázolva azt tapasztaljuk, hogy a két hisztogram pontosan ugyanúgy néz ki, akkor a lábméret lineárisan függ a ZH összpontszámtól.<br /> <br /> == A szimuláció... ==<br /> {{kvízkérdés|típus=több|válasz=1,3|pontozás=-}}<br /> # ...elvégezhető az informatikai rendszer megvalósítása nélkül is.<br /> # ...helyettesíti a tesztelést, mivel minden lehetséges rendszerállapotot biztosan lefed.t<br /> # ...célja lehet a rendszer logikai helyességének vizsgálata.<br /> # ...nem támogatja osztott erőforrásokért versengő folyamatok modellezését.<br /> <br /> == A jólstrukturált folyamatmodell ... ==<br /> {{kvízkérdés|típus=több|válasz=2,4|pontozás=-}}<br /> # ...mindig determinisztikus, hiszen nem tartalmazhat elágazást.<br /> # ...mindenfork-otszimmetrikusanlezárjoin-nal,ígyafolyamatágainemfognakkét<br /> join-nál kölcsönösen egymásra várva deadlockba ragadni.<br /> # ...mindig teljesen specifikált a jólstrukturált blokkokból való építkezés miatt.<br /> # ...csak olyan ciklust tartalmazhat, amelynek egyetlen kilépési pontja van.<br /> <br /> == Egy rendszer teljesítményének (kapacitásának) tervezésekor... ==<br /> {{kvízkérdés|típus=több|válasz=1,4|pontozás=-}}<br /> # ... felhasználhatjuk a Zipf törvényt cache tervezésre, mert segítségével megadható, mekkora terhelést jelent a leggyakoribb kérések kiszolgálása<br /> # ...felhasználhatjukaZipftörvényt,mertfordítottarányosságotfeltételezaválaszidő és a kihasználtság közt;<br /> # ...benchmarkokat használhatunk a teljesítménytesztek kiváltására<br /> # ...benchmarkokat használhatunk arra, hogy egy rendszer áteresztőképességét becsüljük adott felhasználószám mellett<br /> <br /> == Vizuális elemzésnél... ==<br /> {{kvízkérdés|típus=több|válasz=-|pontozás=-}}<br /> # ...két folytonos numerikus változó kapcsolatának vizsgálatára használhatunk párhuzamos koordináta diagramot.<br /> # ...ha két változó doboz diagramjának (boxplotjának)lakjatökéletesenmegegyezik, akkor a változók értékei egyenes arányosságban állnak egymással.<br /> # ...a doboz diagramról a konkrét értékek előfordulási száma explicite leolvasható.<br /> # ...egy folytonos változó minden hisztogramjáról ugyanaz az információ olvasható le.<br /> <br /> == 1000 mért adatpontot összesítve... ==<br /> {{kvízkérdés|típus=több|válasz=1,2,3|pontozás=-}}<br /> # ...a módusz lehet kisebb a 0.1-es kvantilisnél.<br /> # ...a medián lehet kisebb a 0.1-es kvantilisnél.<br /> # ...az átlag lehet kisebb a 0.1-es kvantilisnél.<br /> # ...az első kvartilis lehet kisebb a 0.1-es kvantilisnél.</div>

Vitéz Miklós Viktor https://vik.wiki/index.php?title=Rendszermodellez%C3%A9s_2._ZH/Rendszermodellez%C3%A9s&diff=189223 2016-05-18T19:23:46Z

<p>Vitéz Miklós Viktor: /* Hallgatók lábméretét és a két Rendszermodellezés ZH-n elért összpontszámát vizsgáljuk. */</p> <hr /> <div>{{Kvízoldal<br /> |cím=ReMo 2. ZH kikérdező<br /> }}<br /> <br /> == A specifikáció... ==<br /> {{kvízkérdés|típus=több|válasz=1,4|pontozás=-}}<br /> # ...informális, ha többféle értelmezése is lehetséges.<br /> # ...deklaratív, ha nem írja le az elvárt kimeneteket, csak az előállítás módját.<br /> # ...mindig szöveges dokumentum.<br /> # ...nemfunkcionális, ha teljesítmény jellegű követelményeket ír le.<br /> <br /> == Viselkedésmodell absztrakciója során... ==<br /> {{kvízkérdés|típus=több|válasz=1,4|pontozás=-}}<br /> # ...információ vész el.<br /> # ...a lehetséges megvalósítások száma csökken.<br /> # ...elveszhetnek lehetséges lefutási utak.<br /> # ...megjelenhetnek eddig végrehajthatatlan lefutási utak.<br /> <br /> == A futásidejű monitor... ==<br /> {{kvízkérdés|típus=több|válasz=2|pontozás=-}}<br /> # ...csak a rendszer kimeneteit figyeli.<br /> # ...bemeneti és kimeneti invariánsokat ellenőriz futás közben.<br /> # ...helyettesíti a tesztelést, hiszen képes megakadályozni a hibás működést futás<br /> közben.<br /> # ...része a specifikáció alapján elkészült rendszernek.<br /> <br /> == A tesztfedettség... ==<br /> {{kvízkérdés|típus=több|válasz=2,3|pontozás=-}}<br /> # ...az elvárt és tapasztalt kimenet egyezőségének mértéke<br /> # ...0 és 1 közötti érték.<br /> # ...új tesztesetek elkészítésével növelhető<br /> # ...ha eléri az 1 értéket, akkor garantáltan nincs hiba a modellben / kódban<br /> <br /> == A modellellenőrzés... ==<br /> {{kvízkérdés|típus=több|válasz=2,4|pontozás=-}}<br /> # ...a modell szúróprobaszerű vizsgálata bizonyos inputokra.<br /> # ...matematikailag bizonyítja a modell helyességét.<br /> # ...kisebb számításigényű, mint egy tesztkészlet futtatása, hiszen nem kell ténylegesen végrehajtani a modellt.<br /> # ...képes példát mutatni rá, ha egy adott követelmény nem teljesül a modellben.<br /> <br /> == A folyamatban egy elemi tevékenység vizitációs száma... ==<br /> {{kvízkérdés|típus=több|válasz=2|pontozás=-}}<br /> # ...a tevékenység átbocsátása és átbocsátóképessége közti arány<br /> # ...a tevékenység átbocsátása és az egész folyamat átbocsátása közti arány<br /> # ...kisebb vagy egyenlő az átbocsátóképességnél<br /> # ...egyensúlyi helyzetben megegyezik az érkezési rátával<br /> <br /> == A rendre XP és XQ átbocsátóképességű P és Q elemi tevékenységekből tetszőleges vezérlési elemekkel összeállított folyamat átbocsátóképessége... ==<br /> {{kvízkérdés|típus=több|válasz=1,2|pontozás=-}}<br /> # ...min(XP, XQ), ha P és Q egy fork-join blokk két ága.<br /> # ... (XP + XQ), amennyiben szabad a döntés P és Q között<br /> # ...mindig P és Q közül a szűk keresztmetszet átbocsátóképességével egyezik<br /> # ...mindenképpen min(XP, XQ)<br /> <br /> == Hallgatók lábméretét és a két Rendszermodellezés ZH-n elért összpontszámát vizsgáljuk. ==<br /> {{kvízkérdés|típus=több|válasz=2|pontozás=-}}<br /> # Ha a két változót párhuzamos koordináta diagramon ábrázolva azt tapasztaljuk, hogya töröttvonalak párhuzamosak egymással, akkor mindenki ugyanannyi pontot ért el, mint amekkora a lábmérete.<br /> # Ha a két változót párhuzamos koordináta diagramon ábrázolva azt tapasztaljuk, hogy a töröttvonalak párhuzamosak egymással, akkor a lábméret lineárisan függ a ZH összpontszámtól.<br /> # Ha a lábméretet és a ZH összpontszámot hisztogramon ábrázolva azt tapasztaljuk, hogy a két hisztogram pontosan ugyanúgy néz ki, akkor mindenki ugyanannyi pontot ért el, mint amekkora a lábmérete.<br /> # Ha a lábméretet és a ZH összpontszámot hisztogramon ábrázolva azt tapasztaljuk, hogy a két hisztogram pontosan ugyanúgy néz ki, akkor a lábméret lineárisan függ a ZH összpontszámtól.<br /> <br /> == A szimuláció... ==<br /> {{kvízkérdés|típus=több|válasz=1,3|pontozás=-}}<br /> # ...elvégezhető az informatikai rendszer megvalósítása nélkül is.<br /> # ...helyettesíti a tesztelést, mivel minden lehetséges rendszerállapotot biztosan lefed.t<br /> # ...célja lehet a rendszer logikai helyességének vizsgálata.<br /> # ...nem támogatja osztott erőforrásokért versengő folyamatok modellezését.<br /> <br /> == A jólstrukturált folyamatmodell ... ==<br /> {{kvízkérdés|típus=több|válasz=2,4|pontozás=-}}<br /> # ...mindig determinisztikus, hiszen nem tartalmazhat elágazást.<br /> # ...mindenfork-otszimmetrikusanlezárjoin-nal,ígyafolyamatágainemfognakkét<br /> join-nál kölcsönösen egymásra várva deadlockba ragadni.<br /> # ...mindig teljesen specifikált a jólstrukturált blokkokból való építkezés miatt.<br /> # ...csak olyan ciklust tartalmazhat, amelynek egyetlen kilépési pontja van.<br /> <br /> == Egy rendszer teljesítményének (kapacitásának) tervezésekor... ==<br /> {{kvízkérdés|típus=több|válasz=1,4|pontozás=-}}<br /> # ... felhasználhatjuk a Zipf törvényt cache tervezésre, mert segítségével megadható, mekkora terhelést jelent a leggyakoribb kérések kiszolgálása<br /> # ...felhasználhatjukaZipftörvényt,mertfordítottarányosságotfeltételezaválaszidő és a kihasználtság közt;<br /> # ...benchmarkokat használhatunk a teljesítménytesztek kiváltására<br /> # ...benchmarkokat használhatunk arra, hogy egy rendszer áteresztőképességét becsüljük adott felhasználószám mellett<br /> <br /> == Vizuális elemzésnél... ==<br /> {{kvízkérdés|típus=több|válasz=-|pontozás=-}}<br /> # ...két folytonos numerikus változó kapcsolatának vizsgálatára használhatunk párhuzamos koordináta diagramot.<br /> # ...ha két változó doboz diagramjának (boxplotjának)lakjatökéletesenmegegyezik, akkor a változók értékei egyenes arányosságban állnak egymással.<br /> # ...a doboz diagramról a konkrét értékek előfordulási száma explicite leolvasható.<br /> # ...egy folytonos változó minden hisztogramjáról ugyanaz az információ olvasható le.<br /> <br /> == 1000 mért adatpontot összesítve... ==<br /> {{kvízkérdés|típus=több|válasz=1,2,3|pontozás=-}}<br /> # ...a módusz lehet kisebb a 0.1-es kvantilisnél.<br /> # ...a medián lehet kisebb a 0.1-es kvantilisnél.<br /> # ...az átlag lehet kisebb a 0.1-es kvantilisnél.<br /> # ...az első kvartilis lehet kisebb a 0.1-es kvantilisnél.</div>

Vitéz Miklós Viktor https://vik.wiki/index.php?title=Rendszermodellez%C3%A9s_1._ZH/Rendszermodellez%C3%A9s_(r%C3%A9gi)&diff=189222 2016-05-18T19:22:32Z

<p>Vitéz Miklós Viktor: Vitéz Miklós Viktor átnevezte a(z) Rendszermodellezés 1. ZH/Rendszermodellezés (régi) lapot a következő névre: Rendszermodellezés 2. ZH/Rendszermodellezés</p> <hr /> <div>#ÁTIRÁNYÍTÁS [[Rendszermodellezés 2. ZH/Rendszermodellezés]]</div>

Vitéz Miklós Viktor https://vik.wiki/index.php?title=Rendszermodellez%C3%A9s_2._ZH/Rendszermodellez%C3%A9s&diff=189221 2016-05-18T19:22:32Z

<p>Vitéz Miklós Viktor: Vitéz Miklós Viktor átnevezte a(z) Rendszermodellezés 1. ZH/Rendszermodellezés (régi) lapot a következő névre: Rendszermodellezés 2. ZH/Rendszermodellezés</p> <hr /> <div>{{Kvízoldal<br /> |cím=ReMo 2. ZH kikérdező<br /> }}<br /> <br /> == A specifikáció... ==<br /> {{kvízkérdés|típus=több|válasz=1,4|pontozás=-}}<br /> # ...informális, ha többféle értelmezése is lehetséges.<br /> # ...deklaratív, ha nem írja le az elvárt kimeneteket, csak az előállítás módját.<br /> # ...mindig szöveges dokumentum.<br /> # ...nemfunkcionális, ha teljesítmény jellegű követelményeket ír le.<br /> <br /> == Viselkedésmodell absztrakciója során... ==<br /> {{kvízkérdés|típus=több|válasz=1,4|pontozás=-}}<br /> # ...információ vész el.<br /> # ...a lehetséges megvalósítások száma csökken.<br /> # ...elveszhetnek lehetséges lefutási utak.<br /> # ...megjelenhetnek eddig végrehajthatatlan lefutási utak.<br /> <br /> == A futásidejű monitor... ==<br /> {{kvízkérdés|típus=több|válasz=2|pontozás=-}}<br /> # ...csak a rendszer kimeneteit figyeli.<br /> # ...bemeneti és kimeneti invariánsokat ellenőriz futás közben.<br /> # ...helyettesíti a tesztelést, hiszen képes megakadályozni a hibás működést futás<br /> közben.<br /> # ...része a specifikáció alapján elkészült rendszernek.<br /> <br /> == A tesztfedettség... ==<br /> {{kvízkérdés|típus=több|válasz=2,3|pontozás=-}}<br /> # ...az elvárt és tapasztalt kimenet egyezőségének mértéke<br /> # ...0 és 1 közötti érték.<br /> # ...új tesztesetek elkészítésével növelhető<br /> # ...ha eléri az 1 értéket, akkor garantáltan nincs hiba a modellben / kódban<br /> <br /> == A modellellenőrzés... ==<br /> {{kvízkérdés|típus=több|válasz=2,4|pontozás=-}}<br /> # ...a modell szúróprobaszerű vizsgálata bizonyos inputokra.<br /> # ...matematikailag bizonyítja a modell helyességét.<br /> # ...kisebb számításigényű, mint egy tesztkészlet futtatása, hiszen nem kell ténylegesen végrehajtani a modellt.<br /> # ...képes példát mutatni rá, ha egy adott követelmény nem teljesül a modellben.<br /> <br /> == A folyamatban egy elemi tevékenység vizitációs száma... ==<br /> {{kvízkérdés|típus=több|válasz=2|pontozás=-}}<br /> # ...a tevékenység átbocsátása és átbocsátóképessége közti arány<br /> # ...a tevékenység átbocsátása és az egész folyamat átbocsátása közti arány<br /> # ...kisebb vagy egyenlő az átbocsátóképességnél<br /> # ...egyensúlyi helyzetben megegyezik az érkezési rátával<br /> <br /> == A rendre XP és XQ átbocsátóképességű P és Q elemi tevékenységekből tetszőleges vezérlési elemekkel összeállított folyamat átbocsátóképessége... ==<br /> {{kvízkérdés|típus=több|válasz=1,2|pontozás=-}}<br /> # ...min(XP, XQ), ha P és Q egy fork-join blokk két ága.<br /> # ... (XP + XQ), amennyiben szabad a döntés P és Q között<br /> # ...mindig P és Q közül a szűk keresztmetszet átbocsátóképességével egyezik<br /> # ...mindenképpen min(XP, XQ)<br /> <br /> == Hallgatók lábméretét és a két Rendszermodellezés ZH-n elért összpontszámát vizsgáljuk. ==<br /> {{kvízkérdés|típus=több|válasz=2|pontozás=-}}<br /> # Ha a két változót párhuzamos koordináta diagramon ábrázolva azt tapasztaljuk, hogy<br /> a töröttvonalak párhuzamosak egymással, akkor mindenki ugyanannyi pontot ért el,<br /> mint amekkora a lábmérete.<br /> # Ha a két változót párhuzamos koordináta diagramon ábrázolva azt tapasztaljuk, hogy a töröttvonalak párhuzamosak egymással, akkor a lábméret lineárisan függ a ZH összpontszámtól.<br /> # Ha a lábméretet és a ZH összpontszámot hisztogramon ábrázolva azt tapasztaljuk, hogy a két hisztogram pontosan ugyanúgy néz ki, akkor mindenki ugyanannyi pontot ért el, mint amekkora a lábmérete.<br /> # Ha a lábméretet és a ZH összpontszámot hisztogramon ábrázolva azt tapasztaljuk, hogy a két hisztogram pontosan ugyanúgy néz ki, akkor a lábméret lineárisan függ a ZH összpontszámtól.<br /> <br /> == A szimuláció... ==<br /> {{kvízkérdés|típus=több|válasz=1,3|pontozás=-}}<br /> # ...elvégezhető az informatikai rendszer megvalósítása nélkül is.<br /> # ...helyettesíti a tesztelést, mivel minden lehetséges rendszerállapotot biztosan lefed.t<br /> # ...célja lehet a rendszer logikai helyességének vizsgálata.<br /> # ...nem támogatja osztott erőforrásokért versengő folyamatok modellezését.<br /> <br /> == A jólstrukturált folyamatmodell ... ==<br /> {{kvízkérdés|típus=több|válasz=2,4|pontozás=-}}<br /> # ...mindig determinisztikus, hiszen nem tartalmazhat elágazást.<br /> # ...mindenfork-otszimmetrikusanlezárjoin-nal,ígyafolyamatágainemfognakkét<br /> join-nál kölcsönösen egymásra várva deadlockba ragadni.<br /> # ...mindig teljesen specifikált a jólstrukturált blokkokból való építkezés miatt.<br /> # ...csak olyan ciklust tartalmazhat, amelynek egyetlen kilépési pontja van.<br /> <br /> == Egy rendszer teljesítményének (kapacitásának) tervezésekor... ==<br /> {{kvízkérdés|típus=több|válasz=1,4|pontozás=-}}<br /> # ... felhasználhatjuk a Zipf törvényt cache tervezésre, mert segítségével megadható, mekkora terhelést jelent a leggyakoribb kérések kiszolgálása<br /> # ...felhasználhatjukaZipftörvényt,mertfordítottarányosságotfeltételezaválaszidő és a kihasználtság közt;<br /> # ...benchmarkokat használhatunk a teljesítménytesztek kiváltására<br /> # ...benchmarkokat használhatunk arra, hogy egy rendszer áteresztőképességét becsüljük adott felhasználószám mellett<br /> <br /> == Vizuális elemzésnél... ==<br /> {{kvízkérdés|típus=több|válasz=-|pontozás=-}}<br /> # ...két folytonos numerikus változó kapcsolatának vizsgálatára használhatunk párhuzamos koordináta diagramot.<br /> # ...ha két változó doboz diagramjának (boxplotjának)lakjatökéletesenmegegyezik, akkor a változók értékei egyenes arányosságban állnak egymással.<br /> # ...a doboz diagramról a konkrét értékek előfordulási száma explicite leolvasható.<br /> # ...egy folytonos változó minden hisztogramjáról ugyanaz az információ olvasható le.<br /> <br /> == 1000 mért adatpontot összesítve... ==<br /> {{kvízkérdés|típus=több|válasz=1,2,3|pontozás=-}}<br /> # ...a módusz lehet kisebb a 0.1-es kvantilisnél.<br /> # ...a medián lehet kisebb a 0.1-es kvantilisnél.<br /> # ...az átlag lehet kisebb a 0.1-es kvantilisnél.<br /> # ...az első kvartilis lehet kisebb a 0.1-es kvantilisnél.</div>

Vitéz Miklós Viktor https://vik.wiki/index.php?title=Rendszermodellez%C3%A9s_2._ZH/Rendszermodellez%C3%A9s&diff=189220 2016-05-18T19:22:05Z

<p>Vitéz Miklós Viktor: /* A modellellenőrzés... */</p> <hr /> <div>{{Kvízoldal<br /> |cím=ReMo 2. ZH kikérdező<br /> }}<br /> <br /> == A specifikáció... ==<br /> {{kvízkérdés|típus=több|válasz=1,4|pontozás=-}}<br /> # ...informális, ha többféle értelmezése is lehetséges.<br /> # ...deklaratív, ha nem írja le az elvárt kimeneteket, csak az előállítás módját.<br /> # ...mindig szöveges dokumentum.<br /> # ...nemfunkcionális, ha teljesítmény jellegű követelményeket ír le.<br /> <br /> == Viselkedésmodell absztrakciója során... ==<br /> {{kvízkérdés|típus=több|válasz=1,4|pontozás=-}}<br /> # ...információ vész el.<br /> # ...a lehetséges megvalósítások száma csökken.<br /> # ...elveszhetnek lehetséges lefutási utak.<br /> # ...megjelenhetnek eddig végrehajthatatlan lefutási utak.<br /> <br /> == A futásidejű monitor... ==<br /> {{kvízkérdés|típus=több|válasz=2|pontozás=-}}<br /> # ...csak a rendszer kimeneteit figyeli.<br /> # ...bemeneti és kimeneti invariánsokat ellenőriz futás közben.<br /> # ...helyettesíti a tesztelést, hiszen képes megakadályozni a hibás működést futás<br /> közben.<br /> # ...része a specifikáció alapján elkészült rendszernek.<br /> <br /> == A tesztfedettség... ==<br /> {{kvízkérdés|típus=több|válasz=2,3|pontozás=-}}<br /> # ...az elvárt és tapasztalt kimenet egyezőségének mértéke<br /> # ...0 és 1 közötti érték.<br /> # ...új tesztesetek elkészítésével növelhető<br /> # ...ha eléri az 1 értéket, akkor garantáltan nincs hiba a modellben / kódban<br /> <br /> == A modellellenőrzés... ==<br /> {{kvízkérdés|típus=több|válasz=2,4|pontozás=-}}<br /> # ...a modell szúróprobaszerű vizsgálata bizonyos inputokra.<br /> # ...matematikailag bizonyítja a modell helyességét.<br /> # ...kisebb számításigényű, mint egy tesztkészlet futtatása, hiszen nem kell ténylegesen végrehajtani a modellt.<br /> # ...képes példát mutatni rá, ha egy adott követelmény nem teljesül a modellben.<br /> <br /> == A folyamatban egy elemi tevékenység vizitációs száma... ==<br /> {{kvízkérdés|típus=több|válasz=2|pontozás=-}}<br /> # ...a tevékenység átbocsátása és átbocsátóképessége közti arány<br /> # ...a tevékenység átbocsátása és az egész folyamat átbocsátása közti arány<br /> # ...kisebb vagy egyenlő az átbocsátóképességnél<br /> # ...egyensúlyi helyzetben megegyezik az érkezési rátával<br /> <br /> == A rendre XP és XQ átbocsátóképességű P és Q elemi tevékenységekből tetszőleges vezérlési elemekkel összeállított folyamat átbocsátóképessége... ==<br /> {{kvízkérdés|típus=több|válasz=1,2|pontozás=-}}<br /> # ...min(XP, XQ), ha P és Q egy fork-join blokk két ága.<br /> # ... (XP + XQ), amennyiben szabad a döntés P és Q között<br /> # ...mindig P és Q közül a szűk keresztmetszet átbocsátóképességével egyezik<br /> # ...mindenképpen min(XP, XQ)<br /> <br /> == Hallgatók lábméretét és a két Rendszermodellezés ZH-n elért összpontszámát vizsgáljuk. ==<br /> {{kvízkérdés|típus=több|válasz=2|pontozás=-}}<br /> # Ha a két változót párhuzamos koordináta diagramon ábrázolva azt tapasztaljuk, hogy<br /> a töröttvonalak párhuzamosak egymással, akkor mindenki ugyanannyi pontot ért el,<br /> mint amekkora a lábmérete.<br /> # Ha a két változót párhuzamos koordináta diagramon ábrázolva azt tapasztaljuk, hogy a töröttvonalak párhuzamosak egymással, akkor a lábméret lineárisan függ a ZH összpontszámtól.<br /> # Ha a lábméretet és a ZH összpontszámot hisztogramon ábrázolva azt tapasztaljuk, hogy a két hisztogram pontosan ugyanúgy néz ki, akkor mindenki ugyanannyi pontot ért el, mint amekkora a lábmérete.<br /> # Ha a lábméretet és a ZH összpontszámot hisztogramon ábrázolva azt tapasztaljuk, hogy a két hisztogram pontosan ugyanúgy néz ki, akkor a lábméret lineárisan függ a ZH összpontszámtól.<br /> <br /> == A szimuláció... ==<br /> {{kvízkérdés|típus=több|válasz=1,3|pontozás=-}}<br /> # ...elvégezhető az informatikai rendszer megvalósítása nélkül is.<br /> # ...helyettesíti a tesztelést, mivel minden lehetséges rendszerállapotot biztosan lefed.t<br /> # ...célja lehet a rendszer logikai helyességének vizsgálata.<br /> # ...nem támogatja osztott erőforrásokért versengő folyamatok modellezését.<br /> <br /> == A jólstrukturált folyamatmodell ... ==<br /> {{kvízkérdés|típus=több|válasz=2,4|pontozás=-}}<br /> # ...mindig determinisztikus, hiszen nem tartalmazhat elágazást.<br /> # ...mindenfork-otszimmetrikusanlezárjoin-nal,ígyafolyamatágainemfognakkét<br /> join-nál kölcsönösen egymásra várva deadlockba ragadni.<br /> # ...mindig teljesen specifikált a jólstrukturált blokkokból való építkezés miatt.<br /> # ...csak olyan ciklust tartalmazhat, amelynek egyetlen kilépési pontja van.<br /> <br /> == Egy rendszer teljesítményének (kapacitásának) tervezésekor... ==<br /> {{kvízkérdés|típus=több|válasz=1,4|pontozás=-}}<br /> # ... felhasználhatjuk a Zipf törvényt cache tervezésre, mert segítségével megadható, mekkora terhelést jelent a leggyakoribb kérések kiszolgálása<br /> # ...felhasználhatjukaZipftörvényt,mertfordítottarányosságotfeltételezaválaszidő és a kihasználtság közt;<br /> # ...benchmarkokat használhatunk a teljesítménytesztek kiváltására<br /> # ...benchmarkokat használhatunk arra, hogy egy rendszer áteresztőképességét becsüljük adott felhasználószám mellett<br /> <br /> == Vizuális elemzésnél... ==<br /> {{kvízkérdés|típus=több|válasz=-|pontozás=-}}<br /> # ...két folytonos numerikus változó kapcsolatának vizsgálatára használhatunk párhuzamos koordináta diagramot.<br /> # ...ha két változó doboz diagramjának (boxplotjának)lakjatökéletesenmegegyezik, akkor a változók értékei egyenes arányosságban állnak egymással.<br /> # ...a doboz diagramról a konkrét értékek előfordulási száma explicite leolvasható.<br /> # ...egy folytonos változó minden hisztogramjáról ugyanaz az információ olvasható le.<br /> <br /> == 1000 mért adatpontot összesítve... ==<br /> {{kvízkérdés|típus=több|válasz=1,2,3|pontozás=-}}<br /> # ...a módusz lehet kisebb a 0.1-es kvantilisnél.<br /> # ...a medián lehet kisebb a 0.1-es kvantilisnél.<br /> # ...az átlag lehet kisebb a 0.1-es kvantilisnél.<br /> # ...az első kvartilis lehet kisebb a 0.1-es kvantilisnél.</div>

Vitéz Miklós Viktor https://vik.wiki/index.php?title=Rendszermodellez%C3%A9s_2._ZH/Rendszermodellez%C3%A9s&diff=189219 2016-05-18T19:21:33Z

<p>Vitéz Miklós Viktor: Új oldal, tartalma: „{{Kvízoldal |cím=ReMo 2. ZH kikérdező }} == A specifikáció... == {{kvízkérdés|típus=több|válasz=1,4|pontozás=-}} # ...informális, ha többféle értelmez…”</p> <hr /> <div>{{Kvízoldal<br /> |cím=ReMo 2. ZH kikérdező<br /> }}<br /> <br /> == A specifikáció... ==<br /> {{kvízkérdés|típus=több|válasz=1,4|pontozás=-}}<br /> # ...informális, ha többféle értelmezése is lehetséges.<br /> # ...deklaratív, ha nem írja le az elvárt kimeneteket, csak az előállítás módját.<br /> # ...mindig szöveges dokumentum.<br /> # ...nemfunkcionális, ha teljesítmény jellegű követelményeket ír le.<br /> <br /> == Viselkedésmodell absztrakciója során... ==<br /> {{kvízkérdés|típus=több|válasz=1,4|pontozás=-}}<br /> # ...információ vész el.<br /> # ...a lehetséges megvalósítások száma csökken.<br /> # ...elveszhetnek lehetséges lefutási utak.<br /> # ...megjelenhetnek eddig végrehajthatatlan lefutási utak.<br /> <br /> == A futásidejű monitor... ==<br /> {{kvízkérdés|típus=több|válasz=2|pontozás=-}}<br /> # ...csak a rendszer kimeneteit figyeli.<br /> # ...bemeneti és kimeneti invariánsokat ellenőriz futás közben.<br /> # ...helyettesíti a tesztelést, hiszen képes megakadályozni a hibás működést futás<br /> közben.<br /> # ...része a specifikáció alapján elkészült rendszernek.<br /> <br /> == A tesztfedettség... ==<br /> {{kvízkérdés|típus=több|válasz=2,3|pontozás=-}}<br /> # ...az elvárt és tapasztalt kimenet egyezőségének mértéke<br /> # ...0 és 1 közötti érték.<br /> # ...új tesztesetek elkészítésével növelhető<br /> # ...ha eléri az 1 értéket, akkor garantáltan nincs hiba a modellben / kódban<br /> <br /> == A modellellenőrzés... ==<br /> {{kvízkérdés|típus=több|válasz=2,4|pontozás=-}}<br /> # ...a modell szúróprobaszerű vizsgálata bizonyos inputokra.<br /> # ...matematikailag bizonyítja a modell helyességét.<br /> # ...kisebb számításigényű, mint egy tesztkészlet futtatása, hiszen nem kell<br /> ténylegesen végrehajtani a modellt.<br /> # ...képes példát mutatni rá, ha egy adott követelmény nem teljesül a modellben.<br /> <br /> == A folyamatban egy elemi tevékenység vizitációs száma... ==<br /> {{kvízkérdés|típus=több|válasz=2|pontozás=-}}<br /> # ...a tevékenység átbocsátása és átbocsátóképessége közti arány<br /> # ...a tevékenység átbocsátása és az egész folyamat átbocsátása közti arány<br /> # ...kisebb vagy egyenlő az átbocsátóképességnél<br /> # ...egyensúlyi helyzetben megegyezik az érkezési rátával<br /> <br /> == A rendre XP és XQ átbocsátóképességű P és Q elemi tevékenységekből tetszőleges vezérlési elemekkel összeállított folyamat átbocsátóképessége... ==<br /> {{kvízkérdés|típus=több|válasz=1,2|pontozás=-}}<br /> # ...min(XP, XQ), ha P és Q egy fork-join blokk két ága.<br /> # ... (XP + XQ), amennyiben szabad a döntés P és Q között<br /> # ...mindig P és Q közül a szűk keresztmetszet átbocsátóképességével egyezik<br /> # ...mindenképpen min(XP, XQ)<br /> <br /> == Hallgatók lábméretét és a két Rendszermodellezés ZH-n elért összpontszámát vizsgáljuk. ==<br /> {{kvízkérdés|típus=több|válasz=2|pontozás=-}}<br /> # Ha a két változót párhuzamos koordináta diagramon ábrázolva azt tapasztaljuk, hogy<br /> a töröttvonalak párhuzamosak egymással, akkor mindenki ugyanannyi pontot ért el,<br /> mint amekkora a lábmérete.<br /> # Ha a két változót párhuzamos koordináta diagramon ábrázolva azt tapasztaljuk, hogy a töröttvonalak párhuzamosak egymással, akkor a lábméret lineárisan függ a ZH összpontszámtól.<br /> # Ha a lábméretet és a ZH összpontszámot hisztogramon ábrázolva azt tapasztaljuk, hogy a két hisztogram pontosan ugyanúgy néz ki, akkor mindenki ugyanannyi pontot ért el, mint amekkora a lábmérete.<br /> # Ha a lábméretet és a ZH összpontszámot hisztogramon ábrázolva azt tapasztaljuk, hogy a két hisztogram pontosan ugyanúgy néz ki, akkor a lábméret lineárisan függ a ZH összpontszámtól.<br /> <br /> == A szimuláció... ==<br /> {{kvízkérdés|típus=több|válasz=1,3|pontozás=-}}<br /> # ...elvégezhető az informatikai rendszer megvalósítása nélkül is.<br /> # ...helyettesíti a tesztelést, mivel minden lehetséges rendszerállapotot biztosan lefed.t<br /> # ...célja lehet a rendszer logikai helyességének vizsgálata.<br /> # ...nem támogatja osztott erőforrásokért versengő folyamatok modellezését.<br /> <br /> == A jólstrukturált folyamatmodell ... ==<br /> {{kvízkérdés|típus=több|válasz=2,4|pontozás=-}}<br /> # ...mindig determinisztikus, hiszen nem tartalmazhat elágazást.<br /> # ...mindenfork-otszimmetrikusanlezárjoin-nal,ígyafolyamatágainemfognakkét<br /> join-nál kölcsönösen egymásra várva deadlockba ragadni.<br /> # ...mindig teljesen specifikált a jólstrukturált blokkokból való építkezés miatt.<br /> # ...csak olyan ciklust tartalmazhat, amelynek egyetlen kilépési pontja van.<br /> <br /> == Egy rendszer teljesítményének (kapacitásának) tervezésekor... ==<br /> {{kvízkérdés|típus=több|válasz=1,4|pontozás=-}}<br /> # ... felhasználhatjuk a Zipf törvényt cache tervezésre, mert segítségével megadható, mekkora terhelést jelent a leggyakoribb kérések kiszolgálása<br /> # ...felhasználhatjukaZipftörvényt,mertfordítottarányosságotfeltételezaválaszidő és a kihasználtság közt;<br /> # ...benchmarkokat használhatunk a teljesítménytesztek kiváltására<br /> # ...benchmarkokat használhatunk arra, hogy egy rendszer áteresztőképességét becsüljük adott felhasználószám mellett<br /> <br /> == Vizuális elemzésnél... ==<br /> {{kvízkérdés|típus=több|válasz=-|pontozás=-}}<br /> # ...két folytonos numerikus változó kapcsolatának vizsgálatára használhatunk párhuzamos koordináta diagramot.<br /> # ...ha két változó doboz diagramjának (boxplotjának)lakjatökéletesenmegegyezik, akkor a változók értékei egyenes arányosságban állnak egymással.<br /> # ...a doboz diagramról a konkrét értékek előfordulási száma explicite leolvasható.<br /> # ...egy folytonos változó minden hisztogramjáról ugyanaz az információ olvasható le.<br /> <br /> == 1000 mért adatpontot összesítve... ==<br /> {{kvízkérdés|típus=több|válasz=1,2,3|pontozás=-}}<br /> # ...a módusz lehet kisebb a 0.1-es kvantilisnél.<br /> # ...a medián lehet kisebb a 0.1-es kvantilisnél.<br /> # ...az átlag lehet kisebb a 0.1-es kvantilisnél.<br /> # ...az első kvartilis lehet kisebb a 0.1-es kvantilisnél.</div>

Vitéz Miklós Viktor https://vik.wiki/index.php?title=Rendszermodellez%C3%A9s&diff=189218 2016-05-18T18:49:10Z

<p>Vitéz Miklós Viktor: /* 1. ZH */</p> <hr /> <div>{{Tantárgy<br /> | név = Rendszermodellezés<br /> | tárgykód = VIMIAA00<br /> | szak = info<br /> | kredit = 4<br /> | félév = 2<br /> | kereszt = <br /> | tanszék = MIT<br /> | jelenlét = <br /> | minmunka = <br /> | labor = nincs<br /> | kiszh = 0<br /> | nagyzh = 2<br /> | hf = 3<br /> | vizsga = nincs<br /> | levlista = remo{{kukac}}sch.bme.hu<br /> | tad = https://portal.vik.bme.hu/kepzes/targyak/VIMIAA00<br /> | tárgyhonlap = https://inf.mit.bme.hu/edu/courses/remo/<br /> }}<br /> <br /> {{Új_tárgy|Rendszermodellezés_(régi)}}<br /> <br /> A tantárgy tematikusan az informatikai rendszerek tervezési folyamatának modell alapú megközelítését tárgyalja.<br /> <br /> Célkitűzése a későbbi tantárgyak által megtanítandó specializált modellezési paradigmák előkészítése, az alapvető modellezési feladatok és eszközök bemutatásával. Egyúttal bemutat néhány olyan fogalmilag tiszta és egyszerűen kezelhető eszközt is, amelyek segítségével a tervezés alapvető aspektusait a hallgatók készség szinten elsajátíthatják és egyszerű, működő alkalmazásokat is tudnak tervezni.<br /> <br /> A hallgatók megismerik a magas szintű, grafikus eszközökre épülő, folyamat alapú rendszermodellezés, a helyességbizonyítás, teljesítményanalízis és szolgáltatásbiztonság alapfogalmait és megjelenésüket a modellezésben. A korábbi automataelméleti és rendszertechnikai ismereteikre építve megismerik a szabatos rendszertervezés alapjait. A hallgatók a modellezés munkafolyamatain keresztül elsajátítják az informatikai rendszerek implementációjának egyes munkafogásait. Jártasságot szereznek a szimulációs rendszervizsgálatokban és a mérési adatok vizuális elemzésében.<br /> <br /> A tárgy kiemelt didaktikai célja a hallgatók absztrakciós készségének fejlesztése és a későbbi szakmai tárgyak fogalmi és motivációs előkészítése.<br /> <br /> == Követelmények ==<br /> <br /> === Előtanulmányi rend ===<br /> '''Kötelező: ''' nincs&lt;br /&gt;<br /> '''Ajánlott: ''' [[A_programozás_alapjai_I.|A programozás alapjai 1]]<br /> <br /> === A szorgalmi időszakban ===<br /> *Az '''aláírás''' feltételei:<br /> **'''Két ZH''' sikeres megírása.<br /> **'''Egy házi feladat''' beadása és megvédése<br /> *'''Pótlási lehetőségek:'''<br /> **A két ZH-ból csak az egyik pótolható, egyszer a pótlási héten, egyszer még később (különeljárási díj fejében). Ha egyik ZH sem sikerül elsőre, bukod a tárgyat. <br /> <br /> ===Félévvégi jegy===<br /> * Kötelező: <br /> ** HF: 30 pont<br /> ** ZH1: 35 pont <br /> ** ZH2: 35 pont<br /> * Plusz pontokat az alábbi módon lehet szerezni:<br /> ** Bemelegítő HF: 0-5 pont<br /> ** Szorgalmi HF 0-8 pont (pótlási héten alakul ki)<br /> ** Gyakorlati részvétel és fakultatív kisZH-k: (0-10 pont)<br /> *** Ha a hallgató legalább 5 gyakorlaton részt vett: 5 legjobb kisZH összege, de mindenképpen legalább 5 (5-10 pont)<br /> *** Ha a hallgató 0-4 gyakorlaton vett részt: 5 legjobb kisZH összege, HA az legalább 5 (0 vagy 5-8 pont)<br /> ** Előadáson véletlenszerűen előfordulhatnak pluszpontért kérdések.<br /> * Ponthatárok: 40-55-70-85<br /> <br /> == Segédanyagok ==<br /> *[http://docs.inf.mit.bme.hu/remo-jegyzet/ Tanszéki jegyzet]<br /> *[https://inf.mit.bme.hu/edu/courses/remo/materials Diasorok]<br /> <br /> == Házi ==<br /> <br /> A 3. héten kerül kiadásra, beadni elektronikusan kell a 12. héten, majd szóbeli védésen bemutatni. <br /> <br /> == 1. ZH ==<br /> [[:Media:ReMo_mintazh1_2015tavasz_v2.pdf | 2015 tavasszal kiadott mintaZH]] + [[:Media:ReMo_mintazh1_2015tavasz_v2_mo.pdf | beugrókérdések megoldva]]<br /> === Kikérdező ===<br /> * [[Rendszermodellezés_1._ZH/Igaz_Hamis_kikérdező|Igaz-Hamis kikérdező]] (előző ZH-k alapján) - '''csak az igaz állításokat kell bejelölni!'''<br /> <br /> == 2. ZH ==<br /> [[:Media:ReMo_mintazh2_20150509.pdf | 2015 tavasszal kiadott mintaZH]] + [[:Media:ReMo_mintazh2_20150509_kiskerdesek_megoldva.pdf | beugrókérdések megoldva]]<br /> <br /> == Tippek ==<br /> <br /> Érdemes tisztában lenni minden fogalommal, mert utána elég csak a józan paraszti eszet használni. Nem túl bonyolult belőle 4-est 5-öst szerezni, mert rengeteg extra pont jár és a házi sok pontot ér. A házi egynapos munka ha teljesen nulláról kezdik, de ha már foglalkozott a Yakinduval egy kicsit előtte akkor maximum négy óra.<br /> <br /> == Kedvcsináló ==<br /> <br /> <br /> {{Lábléc_-_Mérnök_informatikus_alapszak_2014}}</div>

Vitéz Miklós Viktor https://vik.wiki/index.php?title=Rendszermodellez%C3%A9s_1._ZH/Igaz_Hamis_kik%C3%A9rdez%C5%91&diff=189217 2016-05-18T18:47:36Z

<p>Vitéz Miklós Viktor: </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 /> == 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=-|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 /> == 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.</div>

Vitéz Miklós Viktor https://vik.wiki/index.php?title=Rendszermodellez%C3%A9s&diff=189216 2016-05-18T18:46:57Z

<p>Vitéz Miklós Viktor: /* 1. ZH */</p> <hr /> <div>{{Tantárgy<br /> | név = Rendszermodellezés<br /> | tárgykód = VIMIAA00<br /> | szak = info<br /> | kredit = 4<br /> | félév = 2<br /> | kereszt = <br /> | tanszék = MIT<br /> | jelenlét = <br /> | minmunka = <br /> | labor = nincs<br /> | kiszh = 0<br /> | nagyzh = 2<br /> | hf = 3<br /> | vizsga = nincs<br /> | levlista = remo{{kukac}}sch.bme.hu<br /> | tad = https://portal.vik.bme.hu/kepzes/targyak/VIMIAA00<br /> | tárgyhonlap = https://inf.mit.bme.hu/edu/courses/remo/<br /> }}<br /> <br /> {{Új_tárgy|Rendszermodellezés_(régi)}}<br /> <br /> A tantárgy tematikusan az informatikai rendszerek tervezési folyamatának modell alapú megközelítését tárgyalja.<br /> <br /> Célkitűzése a későbbi tantárgyak által megtanítandó specializált modellezési paradigmák előkészítése, az alapvető modellezési feladatok és eszközök bemutatásával. Egyúttal bemutat néhány olyan fogalmilag tiszta és egyszerűen kezelhető eszközt is, amelyek segítségével a tervezés alapvető aspektusait a hallgatók készség szinten elsajátíthatják és egyszerű, működő alkalmazásokat is tudnak tervezni.<br /> <br /> A hallgatók megismerik a magas szintű, grafikus eszközökre épülő, folyamat alapú rendszermodellezés, a helyességbizonyítás, teljesítményanalízis és szolgáltatásbiztonság alapfogalmait és megjelenésüket a modellezésben. A korábbi automataelméleti és rendszertechnikai ismereteikre építve megismerik a szabatos rendszertervezés alapjait. A hallgatók a modellezés munkafolyamatain keresztül elsajátítják az informatikai rendszerek implementációjának egyes munkafogásait. Jártasságot szereznek a szimulációs rendszervizsgálatokban és a mérési adatok vizuális elemzésében.<br /> <br /> A tárgy kiemelt didaktikai célja a hallgatók absztrakciós készségének fejlesztése és a későbbi szakmai tárgyak fogalmi és motivációs előkészítése.<br /> <br /> == Követelmények ==<br /> <br /> === Előtanulmányi rend ===<br /> '''Kötelező: ''' nincs&lt;br /&gt;<br /> '''Ajánlott: ''' [[A_programozás_alapjai_I.|A programozás alapjai 1]]<br /> <br /> === A szorgalmi időszakban ===<br /> *Az '''aláírás''' feltételei:<br /> **'''Két ZH''' sikeres megírása.<br /> **'''Egy házi feladat''' beadása és megvédése<br /> *'''Pótlási lehetőségek:'''<br /> **A két ZH-ból csak az egyik pótolható, egyszer a pótlási héten, egyszer még később (különeljárási díj fejében). Ha egyik ZH sem sikerül elsőre, bukod a tárgyat. <br /> <br /> ===Félévvégi jegy===<br /> * Kötelező: <br /> ** HF: 30 pont<br /> ** ZH1: 35 pont <br /> ** ZH2: 35 pont<br /> * Plusz pontokat az alábbi módon lehet szerezni:<br /> ** Bemelegítő HF: 0-5 pont<br /> ** Szorgalmi HF 0-8 pont (pótlási héten alakul ki)<br /> ** Gyakorlati részvétel és fakultatív kisZH-k: (0-10 pont)<br /> *** Ha a hallgató legalább 5 gyakorlaton részt vett: 5 legjobb kisZH összege, de mindenképpen legalább 5 (5-10 pont)<br /> *** Ha a hallgató 0-4 gyakorlaton vett részt: 5 legjobb kisZH összege, HA az legalább 5 (0 vagy 5-8 pont)<br /> ** Előadáson véletlenszerűen előfordulhatnak pluszpontért kérdések.<br /> * Ponthatárok: 40-55-70-85<br /> <br /> == Segédanyagok ==<br /> *[http://docs.inf.mit.bme.hu/remo-jegyzet/ Tanszéki jegyzet]<br /> *[https://inf.mit.bme.hu/edu/courses/remo/materials Diasorok]<br /> <br /> == Házi ==<br /> <br /> A 3. héten kerül kiadásra, beadni elektronikusan kell a 12. héten, majd szóbeli védésen bemutatni. <br /> <br /> == 1. ZH ==<br /> [[:Media:ReMo_mintazh1_2015tavasz_v2.pdf | 2015 tavasszal kiadott mintaZH]] + [[:Media:ReMo_mintazh1_2015tavasz_v2_mo.pdf | beugrókérdések megoldva]]<br /> [[http://vik.wiki/Rendszermodellezés_1._ZH/Igaz_Hamis_kikérdező|Igaz-Hamis kikérdező]]<br /> <br /> == 2. ZH ==<br /> [[:Media:ReMo_mintazh2_20150509.pdf | 2015 tavasszal kiadott mintaZH]] + [[:Media:ReMo_mintazh2_20150509_kiskerdesek_megoldva.pdf | beugrókérdések megoldva]]<br /> <br /> == Tippek ==<br /> <br /> Érdemes tisztában lenni minden fogalommal, mert utána elég csak a józan paraszti eszet használni. Nem túl bonyolult belőle 4-est 5-öst szerezni, mert rengeteg extra pont jár és a házi sok pontot ér. A házi egynapos munka ha teljesen nulláról kezdik, de ha már foglalkozott a Yakinduval egy kicsit előtte akkor maximum négy óra.<br /> <br /> == Kedvcsináló ==<br /> <br /> <br /> {{Lábléc_-_Mérnök_informatikus_alapszak_2014}}</div>

Vitéz Miklós Viktor https://vik.wiki/index.php?title=Szerkeszt%C5%91:Vit%C3%A9z_Mikl%C3%B3s_Viktor&diff=189215 2016-05-18T18:45:01Z

<p>Vitéz Miklós Viktor: Vitéz Miklós Viktor átnevezte a(z) Szerkesztő:Vitéz Miklós Viktor lapot a következő névre: Rendszermodellezés 1. ZH/Igaz Hamis kikérdező</p> <hr /> <div>#ÁTIRÁNYÍTÁS [[Rendszermodellezés 1. ZH/Igaz Hamis kikérdező]]</div>

Vitéz Miklós Viktor https://vik.wiki/index.php?title=Rendszermodellez%C3%A9s_1._ZH/Igaz_Hamis_kik%C3%A9rdez%C5%91&diff=189214 2016-05-18T18:45:00Z

<p>Vitéz Miklós Viktor: Vitéz Miklós Viktor átnevezte a(z) Szerkesztő:Vitéz Miklós Viktor lapot a következő névre: Rendszermodellezés 1. ZH/Igaz Hamis kikérdező</p> <hr /> <div>{{Kvízoldal<br /> |cím=ReMo 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 /> == 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=-|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 /> == 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.</div>

Vitéz Miklós Viktor https://vik.wiki/index.php?title=Rendszermodellez%C3%A9s_1._ZH/Igaz_Hamis_kik%C3%A9rdez%C5%91&diff=189213 2016-05-18T18:25:10Z

<p>Vitéz Miklós Viktor: Új oldal, tartalma: „{{Kvízoldal |cím=ReMo kikérdező }} == A modell egy valós vagy hipotetikus rendszer egy részének milyen képe? == {{kvízkérdés|típus=több|válasz=2|pontozá…”</p> <hr /> <div>{{Kvízoldal<br /> |cím=ReMo 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 /> == 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=-|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 /> == 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.</div>

Vitéz Miklós Viktor