{"id":41257,"date":"2020-02-06T20:43:44","date_gmt":"2020-02-06T17:43:44","guid":{"rendered":"https:\/\/prohoster.info\/blog\/blog_prohoster\/avtomaticheskaya-proverka-trebovanij-tz-v-proczesse-dinamicheskogo-modelirovaniya"},"modified":"2020-02-06T20:43:44","modified_gmt":"2020-02-06T17:43:44","slug":"avtomaticheskaya-proverka-trebovanij-tz-v-proczesse-dinamicheskogo-modelirovaniya","status":"publish","type":"post","link":"https:\/\/prohoster.info\/hu\/blog\/avtomaticheskaya-proverka-trebovanij-tz-v-proczesse-dinamicheskogo-modelirovaniya","title":{"rendered":"A k\u00f6vetelm\u00e9nyek automatikus ellen\u0151rz\u00e9se a dinamikus modellez\u00e9s sor\u00e1n","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"<p>A t\u00e9ma folytat\u00e1sak\u00e9nt <noindex><a rel=\"nofollow\" href=\"https:\/\/habr.com\/ru\/post\/466215\/\">\u00abMik a bizony\u00edt\u00e9kaitok?\u00bb<\/a><\/noindex>, n\u00e9zz\u00fck meg a matematikai modellez\u00e9s probl\u00e9m\u00e1j\u00e1t egy m\u00e1sik szemsz\u00f6gb\u0151l. Miut\u00e1n megbizonyosodtunk arr\u00f3l, hogy a modell megfelel a val\u00f3s \u00e9let k\u00edm\u00e9letlen igazs\u00e1g\u00e1nak, v\u00e1laszolhatunk a f\u0151 k\u00e9rd\u00e9sre: \u201emit is jelent ez val\u00f3j\u00e1ban itt sz\u00e1munkra?\u201d. Amikor egy technikai objektum modellt l\u00e9trehozunk, \u00e1ltal\u00e1ban szeretn\u00e9nk megbizonyosodni arr\u00f3l, hogy ez az objektum \u00f6sszhangban lesz a v\u00e1rakoz\u00e1sainkkal. Ennek \u00e9rdek\u00e9ben dinamikus sz\u00e1m\u00edt\u00e1sokat v\u00e9geznek, \u00e9s az eredm\u00e9nyeket a k\u00f6vetelm\u00e9nyekkel hasonl\u00edtj\u00e1k \u00f6ssze. Ez a digit\u00e1lis m\u00e1solat, a virtu\u00e1lis protot\u00edpus \u00e9s egy\u00e9b trendi dolgok, amelyek a tervez\u00e9si szakaszban azt a feladatot oldj\u00e1k meg, hogy megkapjuk azt, amit tervezt\u00fcnk.<\/p>\n<p><\/p>\n<p>Hogyan tudjuk gyorsan megbizonyosodni arr\u00f3l, hogy a rendszer\u00fcnk pontosan az, amit tervez\u00fcnk, rep\u00fclni fog vagy \u00faszni, a konstrukci\u00f3nk? Ha rep\u00fcl, milyen magasra? Ha \u00faszik, milyen m\u00e9lyre?<\/p>\n<p>\n<img decoding=\"async\" alt=\"A k\u00f6vetelm\u00e9nyek automatikus ellen\u0151rz\u00e9se a dinamikus modellez\u00e9s sor\u00e1n\" src=\"\/wp-content\/uploads\/2020\/02\/e26c4b7db4ee148c73586124dacb6025.jpg\" style=\"display:block;margin: 0 auto;\" \/><noindex><a rel=\"nofollow\" name=\"habracut\"><\/a><\/noindex><\/p>\n<p>A cikkben a technikai \u00e9p\u00fclet k\u00f6vetelm\u00e9nyeinek automatikus ellen\u0151rz\u00e9s\u00e9t vizsg\u00e1ljuk a technikai rendszerek dinamikus modelljeinek l\u00e9trehoz\u00e1sakor. P\u00e9ldak\u00e9nt n\u00e9zz\u00fck meg a l\u00e9gi j\u00e1rm\u0171 leveg\u0151h\u0171t\u00e9si rendszer\u00e9re vonatkoz\u00f3 m\u0171szaki k\u00f6vetelm\u00e9nyek egyik elem\u00e9t.<\/p>\n<p><\/p>\n<p>Azokat a k\u00f6vetelm\u00e9nyeket vizsg\u00e1ljuk, amelyeket numerikusan kifejezhet\u00fcnk, \u00e9s matematikailag ellen\u0151rizhet\u00fcnk egy konkr\u00e9t sz\u00e1m\u00edt\u00e1si modell alapj\u00e1n. Nyilv\u00e1nval\u00f3, hogy ezek csup\u00e1n a technikai rendszerek \u00e1ltal\u00e1nos k\u00f6vetelm\u00e9nyeinek egy r\u00e9sz\u00e9t k\u00e9pezik, de \u00e9ppen ennek az ellen\u0151rz\u00e9s\u00e9re k\u00f6ltj\u00fck az id\u0151nket, idegeinket \u00e9s p\u00e9nz\u00fcnket a dinamikus modellek l\u00e9trehoz\u00e1s\u00e1hoz.<\/p>\n<p><\/p>\n<p>A m\u0171szaki k\u00f6vetelm\u00e9nyek dokumentumban val\u00f3 le\u00edr\u00e1sakor t\u00f6bb k\u00fcl\u00f6nb\u00f6z\u0151 k\u00f6vetelm\u00e9nyfajt\u00e1t is kiemelhet\u00fcnk, mindegyik m\u00e1s-m\u00e1s megk\u00f6zel\u00edt\u00e9st ig\u00e9nyel a k\u00f6vetelm\u00e9nyek automatikus ellen\u0151rz\u00e9s\u00e9nek kialak\u00edt\u00e1s\u00e1hoz.<\/p>\n<p><\/p>\n<p>P\u00e9ld\u00e1ul n\u00e9zz\u00fck meg ezt a kicsi, de val\u00f3s k\u00f6vetelm\u00e9nysort:<\/p>\n<p>\n<i><\/p>\n<ol>\n<li> A l\u00e9gk\u00f6r h\u0151m\u00e9rs\u00e9klete a SVO bemenet\u00e9n\u00e9l:<br \/>\nparkol\u00f3ban \u2212 m\u00ednusz 35 \u00e9s 35 \u00baC k\u00f6z\u00f6tt,<br \/>\nrep\u00fcl\u00e9s k\u00f6zben \u2212 m\u00ednusz 35 \u00e9s 39 \u00baC k\u00f6z\u00f6tt.<\/li>\n<li> A l\u00e9gk\u00f6r statikus nyom\u00e1sa rep\u00fcl\u00e9s k\u00f6zben \u2212 700 \u00e9s 1013 GPa k\u00f6z\u00f6tt (526 \u00e9s 760 mmHg k\u00f6z\u00f6tt).<\/li>\n<li> A l\u00e9gnyom\u00e1s a SVO leveg\u0151bevezet\u0151j\u00e9n\u00e9l rep\u00fcl\u00e9s k\u00f6zben \u2212 754 \u00e9s 1200 GPa k\u00f6z\u00f6tt (566 \u00e9s 1050 mmHg k\u00f6z\u00f6tt).<\/li>\n<li> A h\u0171t\u0151leveg\u0151 h\u0151m\u00e9rs\u00e9klete:<br \/>\nparkol\u00f3ban \u2212 nem t\u00f6bb mint 27 \u00baC, a m\u0171szaki blokkok sz\u00e1m\u00e1ra \u2212 nem t\u00f6bb mint 29 \u00baC,<br \/>\nrep\u00fcl\u00e9s k\u00f6zben \u2212 legfeljebb 25 \u00baC, a technikai blokkok sz\u00e1m\u00e1ra \u2212 legfeljebb 27 \u00baC.<\/li>\n<li> H\u0171t\u0151leveg\u0151 fogyaszt\u00e1s:<br \/>\nparkol\u00f3 \u00e1llapotban \u2212 legal\u00e1bb 708 kg\/h,<br \/>\nrep\u00fcl\u00e9s k\u00f6zben \u2212 legal\u00e1bb 660 kg\/h.<\/li>\n<li> A m\u0171szaki rekeszek leveg\u0151m\u00e9rs\u00e9klete \u2212 legfeljebb 60 \u00baC.<\/li>\n<li> A k\u00f6d\u00f6s, szabad v\u00edz mennyis\u00e9ge a h\u0171t\u0151leveg\u0151ben \u2212 legfeljebb 2 g\/kg sz\u00e1raz leveg\u0151.<\/li>\n<\/ol>\n<p> <\/i><\/p>\n<p>M\u00e9g ilyen korl\u00e1tozott k\u00f6vetelm\u00e9nyrendszer eset\u00e9n is legal\u00e1bb k\u00e9t kateg\u00f3ri\u00e1t lehet kiemelni, amelyeket k\u00fcl\u00f6nb\u00f6z\u0151 m\u00f3don kell kezelni a rendszerben:<\/p>\n<p><\/p>\n<ul>\n<li> a rendszer \u00fczemeltet\u00e9si k\u00f6r\u00fclm\u00e9nyei (1-3. pont);<\/li>\n<li> a rendszer param\u00e9teres k\u00f6vetelm\u00e9nyei (3-7. pont).<\/li>\n<\/ul>\n<p><\/p>\n<p><i>A rendszer \u00fczemeltet\u00e9si k\u00f6r\u00fclm\u00e9nyei<\/i><br \/>\nA tervezett rendszer k\u00fcls\u0151 k\u00f6r\u00fclm\u00e9nyei modellez\u00e9s sor\u00e1n hat\u00e1rfelt\u00e9telekk\u00e9nt, vagy a teljes rendszer m\u0171k\u00f6d\u00e9s\u00e9nek eredm\u00e9nyek\u00e9nt adhat\u00f3k meg.<br \/>\nDinamikus modellez\u00e9s eset\u00e9n meg kell gy\u0151z\u0151dni arr\u00f3l, hogy a megadott m\u0171k\u00f6d\u00e9si m\u00f3dok lefed\u00e9sre ker\u00fclnek a modellez\u00e9si folyamattal.<\/p>\n<p><\/p>\n<p><i>A rendszer param\u00e9teres k\u00f6vetelm\u00e9nyei <\/i><br \/>\nEzek a k\u00f6vetelm\u00e9nyek a rendszer \u00e1ltal biztos\u00edtott param\u00e9terek. A modellez\u00e9s sor\u00e1n ezeket a param\u00e9tereket sz\u00e1m\u00edt\u00e1si eredm\u00e9nyk\u00e9nt kaphatjuk meg, \u00e9s ellen\u0151rizhetj\u00fck, hogy a k\u00f6vetelm\u00e9nyek minden egyes sz\u00e1m\u00edt\u00e1sn\u00e1l teljes\u00fclnek.<\/p>\n<p><\/p>\n<h3>K\u00f6vetelm\u00e9nyek azonos\u00edt\u00e1sa \u00e9s k\u00f3dol\u00e1sa<\/h3>\n<p><\/p>\n<p>A k\u00f6vetelm\u00e9nyekkel val\u00f3 munka megk\u00f6nny\u00edt\u00e9se \u00e9rdek\u00e9ben a l\u00e9tez\u0151 szabv\u00e1nyok javasolj\u00e1k, hogy minden k\u00f6vetelm\u00e9nynek azonos\u00edt\u00f3t rendelj\u00fcnk. Az azonos\u00edt\u00f3k hozz\u00e1rendel\u00e9sekor nagyon k\u00edv\u00e1natos egy egys\u00e9ges k\u00f3dol\u00e1si rendszer haszn\u00e1lata. <\/p>\n<p><\/p>\n<p>A k\u00f6vetelm\u00e9ny k\u00f3dja lehet egyszer\u0171 sz\u00e1m, amely a k\u00f6vetelm\u00e9ny sorrendi sz\u00e1m\u00e1t t\u00fckr\u00f6zi, vagy tartalmazhatja a k\u00f6vetelm\u00e9nyt\u00edpus k\u00f3dj\u00e1t, a rendszer vagy aggreg\u00e1tum k\u00f3dj\u00e1t, amelyre vonatkozik, a param\u00e9ter k\u00f3dj\u00e1t, a hely k\u00f3dj\u00e1t \u00e9s egyebeket, amiket csak a m\u00e9rn\u00f6k elk\u00e9pzelhet. (a k\u00f3dol\u00e1si haszn\u00e1lati p\u00e9ld\u00e1kat l\u00e1sd a cikkben)<\/p>\n<p><\/p>\n<p>Az 1. t\u00e1bl\u00e1zatban egy egyszer\u0171 k\u00f6vetelm\u00e9nyk\u00f3dol\u00e1si p\u00e9ld\u00e1t tal\u00e1l.<\/p>\n<p><\/p>\n<ol>\n<li> a k\u00f6vetelm\u00e9ny forr\u00e1segyes\u00edt\u0151 k\u00f3dja R - m\u0171szaki k\u00f6vetelm\u00e9nyek; <\/li>\n<li> a k\u00f6vetelm\u00e9nyt\u00edpus k\u00f3dja E - k\u00f6vetelm\u00e9nyek - a k\u00fcls\u0151 k\u00f6rnyezet param\u00e9terei, vagy az \u00fczemeltet\u00e9si k\u00f6r\u00fclm\u00e9nyek<br \/>\n S - a rendszer \u00e1ltal biztos\u00edtott k\u00f6vetelm\u00e9nyek;<\/li>\n<li> a rep\u00fcl\u0151g\u00e9p \u00e1llapot\u00e1nak k\u00f3dja 0 - b\u00e1rmely, G - parkol\u00f3, F - rep\u00fcl\u00e9s k\u00f6zben;<\/li>\n<li> a fizikai param\u00e9terek t\u00edpus\u00e1nak k\u00f3dja T - h\u0151m\u00e9rs\u00e9klet, P - nyom\u00e1s, G - \u00e1t\u00e1raml\u00e1s, H - p\u00e1ratartalom;<\/li>\n<li> a k\u00f6vetelm\u00e9ny sorsz\u00e1ma.<\/li>\n<\/ol>\n<p><\/p>\n<table>\n<tr>\n<td><b>) \u00e9s<br \/>\nK\u00f6vetelm\u00e9nyek<\/b><\/td>\n<td><b>Le\u00edr\u00e1s<\/b><\/td>\n<td><b>A parameter<\/b><\/td>\n<\/tr>\n<tr>\n<td>REGT01<\/td>\n<td>A k\u00fcls\u0151 leveg\u0151 h\u0151m\u00e9rs\u00e9klete a SVO bemenet\u00e9n\u00e9l: \u00e1ll\u00f3helyzetben -35\u00baC-t\u00f3l 35\u00baC-ig.<\/td>\n<td><\/td>\n<\/tr>\n<tr>\n<td>REFT01<\/td>\n<td>A k\u00fcls\u0151 leveg\u0151 h\u0151m\u00e9rs\u00e9klete a SVO bemenet\u00e9n\u00e9l: rep\u00fcl\u00e9s sor\u00e1n -35\u00baC-t\u00f3l 39\u00baC-ig.<\/td>\n<td> <\/td>\n<\/tr>\n<tr>\n<td>REFP01<\/td>\n<td>A k\u00fcls\u0151 leveg\u0151 statikus nyom\u00e1sa rep\u00fcl\u00e9s sor\u00e1n 700-t\u00f3l 1013 hPa-ig (526-t\u00f3l 760 mm Hg-ig).<\/td>\n<td> <\/td>\n<\/tr>\n<tr>\n<td>REFP02<\/td>\n<td>A leveg\u0151 teljes nyom\u00e1sa a SVO leveg\u0151bevezet\u0151j\u00e9n\u00e9l rep\u00fcl\u00e9s sor\u00e1n 754-t\u0151l 1200 hPa-ig (566-t\u00f3l 1050 mm Hg-ig).<\/td>\n<td> <\/td>\n<\/tr>\n<tr>\n<td>RSGT01<\/td>\n<td>A h\u0171t\u0151leveg\u0151 h\u0151m\u00e9rs\u00e9klete: \u00e1ll\u00f3helyzetben legfeljebb 27 \u00baC. <\/td>\n<td> <\/td>\n<\/tr>\n<tr>\n<td>RSGT02<\/td>\n<td>A h\u0171t\u0151leveg\u0151 h\u0151m\u00e9rs\u00e9klete: \u00e1ll\u00f3helyzetben, m\u0171szaki egys\u00e9gek sz\u00e1m\u00e1ra legfeljebb 29 \u00baC. <\/td>\n<td> <\/td>\n<\/tr>\n<tr>\n<td>RSFT01<\/td>\n<td>A h\u0171t\u0151leveg\u0151 h\u0151m\u00e9rs\u00e9klete rep\u00fcl\u00e9s sor\u00e1n legfeljebb 25 \u00baC. <\/td>\n<td> <\/td>\n<\/tr>\n<tr>\n<td>RSFT02<\/td>\n<td>A h\u0171t\u0151leveg\u0151 h\u0151m\u00e9rs\u00e9klete: rep\u00fcl\u00e9s sor\u00e1n, m\u0171szaki egys\u00e9gek sz\u00e1m\u00e1ra legfeljebb 27 \u00baC. <\/td>\n<td> <\/td>\n<\/tr>\n<tr>\n<td>RSGG01<\/td>\n<td>A h\u0171t\u0151leveg\u0151 mennyis\u00e9ge: \u00e1ll\u00f3helyzetben legal\u00e1bb 708 kg\/h.<\/td>\n<td> <\/td>\n<\/tr>\n<tr>\n<td>RSFG01<\/td>\n<td>A h\u0171t\u0151leveg\u0151 mennyis\u00e9ge: rep\u00fcl\u00e9s sor\u00e1n legal\u00e1bb 660 kg\/h.<\/td>\n<td> <\/td>\n<\/tr>\n<tr>\n<td>RS0T01<\/td>\n<td>A m\u0171szerf\u00fclk\u00e9k leveg\u0151 h\u0151m\u00e9rs\u00e9klete legfeljebb 60 \u00baC. <\/td>\n<td> <\/td>\n<\/tr>\n<tr>\n<td>RSH01<\/td>\n<td>A h\u0171t\u0151leveg\u0151 finom diszperzi\u00f3s szabad nedvess\u00e9gtartalma legfeljebb 2 g\/kg sz\u00e1raz leveg\u0151.<\/td>\n<td> <\/td>\n<\/tr>\n<\/table>\n<p><\/p>\n<h3>A k\u00f6vetelm\u00e9nyek ellen\u0151rz\u00e9s\u00e9nek rendszere.<\/h3>\n<p><\/p>\n<p>Minden egyes sz\u00e1m\u00edtott k\u00f6vetelm\u00e9nyhez van egy \u00e9rt\u00e9kel\u00e9si algoritmus, amely az \u00e9rt\u00e9kelt param\u00e9tereket \u00e9s a k\u00f6vetelm\u00e9nyben megadott param\u00e9tereket \u00f6sszeveti. Alapvet\u0151en b\u00e1rmely ir\u00e1ny\u00edt\u00f3 rendszer tartalmazza a k\u00f6vetelm\u00e9nyek ellen\u0151rz\u00e9s\u00e9nek algoritmusait alap\u00e9rtelmez\u00e9s szerint. S\u0151t, b\u00e1rmely szab\u00e1lyoz\u00f3 is tartalmazza ezeket. Ha a h\u0151m\u00e9rs\u00e9klet a hat\u00e1r\u00e9rt\u00e9ken t\u00fall\u00e9p, a l\u00e9gkondicion\u00e1l\u00f3 bekapcsol. \u00cdgy b\u00e1rmilyen szab\u00e1lyoz\u00e1s els\u0151 l\u00e9p\u00e9se a param\u00e9terek k\u00f6vetelm\u00e9nyhez val\u00f3 megfelel\u0151s\u00e9g\u00e9nek ellen\u0151rz\u00e9se.<\/p>\n<p><\/p>\n<p>Mivel az ellen\u0151rz\u00e9s algoritmus, ugyanazokat az eszk\u00f6z\u00f6ket \u00e9s m\u00f3dszereket lehet haszn\u00e1lni, amelyeket a vez\u00e9rl\u0151rendszerek l\u00e9trehoz\u00e1s\u00e1hoz haszn\u00e1lunk. P\u00e9ld\u00e1ul a SimInTech k\u00f6rnyezet lehet\u0151v\u00e9 teszi projektcsomagok l\u00e9trehoz\u00e1s\u00e1t, amelyek k\u00fcl\u00f6nb\u00f6z\u0151 modellr\u00e9szeket tartalmaznak, amelyeket k\u00fcl\u00f6n projektek form\u00e1j\u00e1ban val\u00f3s\u00edtanak meg (objektum modellje, vez\u00e9rl\u0151rendszer modellje, k\u00f6rnyezeti modell stb.).<\/p>\n<p><\/p>\n<p>A k\u00f6vetelm\u00e9nyek ellen\u0151rz\u00e9s\u00e9nek projektje \u00edgy algoritmusok projektj\u00e9v\u00e9 v\u00e1lik, \u00e9s csatlakozik a modellcsomaghoz. Dinamikus modellez\u00e9si \u00fczemm\u00f3dban a k\u00f6vetelm\u00e9nyeknek val\u00f3 megfelel\u0151s\u00e9gi elemz\u00e9st hajt v\u00e9gre.<\/p>\n<p><\/p>\n<p>Egy lehets\u00e9ges projektbemutat\u00e1si p\u00e9lda a rendszer sz\u00e1m\u00e1ra a 1. \u00e1br\u00e1n l\u00e1that\u00f3.<\/p>\n<p><\/p>\n<p><img decoding=\"async\" alt=\"A k\u00f6vetelm\u00e9nyek automatikus ellen\u0151rz\u00e9se a dinamikus modellez\u00e9s sor\u00e1n\" src=\"\/wp-content\/uploads\/2020\/02\/e57fda1fb5b835a6ac961639db2b1749.jpg\" style=\"display:block;margin: 0 auto;\" \/><br \/>\n<i>1. \u00e1bra. A k\u00f6vetelm\u00e9nyek ellen\u0151rz\u00e9s\u00e9nek projektj\u00e9nek p\u00e9ld\u00e1ja. <\/i><\/p>\n<p><\/p>\n<p>A k\u00f6vetelm\u00e9nyek vez\u00e9rl\u00e9si algoritmusaihoz hasonl\u00f3an, ezeket is lehet lapok halmazak\u00e9nt megform\u00e1lni. A vez\u00e9rl\u00e9si algoritmusokkal val\u00f3 munka megk\u00f6nny\u00edt\u00e9se \u00e9rdek\u00e9ben olyan strukt\u00far\u00e1lt modellez\u00e9si k\u00f6rnyezetekben, mint a SimInTech, Simulink, AmeSim, t\u00f6bb szint\u0171 szerkezetek l\u00e9trehoz\u00e1s\u00e1ra van lehet\u0151s\u00e9g almodellek form\u00e1j\u00e1ban. Ez a szervez\u00e9si forma lehet\u0151v\u00e9 teszi a k\u00fcl\u00f6nb\u00f6z\u0151 k\u00f6vetelm\u00e9nyek halmazokba val\u00f3 csoportos\u00edt\u00e1s\u00e1t, hogy a k\u00f6vetelm\u00e9nyek t\u00f6meg\u00e9vel val\u00f3 munka egyszer\u0171bb legyen, ak\u00e1rcsak a vez\u00e9rl\u00e9si algoritmusok eset\u00e9ben (l\u00e1sd a 2. \u00e1br\u00e1t).<\/p>\n<p><\/p>\n<p><img decoding=\"async\" alt=\"A k\u00f6vetelm\u00e9nyek automatikus ellen\u0151rz\u00e9se a dinamikus modellez\u00e9s sor\u00e1n\" src=\"\/wp-content\/uploads\/2020\/02\/726ad4d5df1975131e71fc8a14ce71fe.jpg\" style=\"display:block;margin: 0 auto;\" \/><br \/>\n<i>2. \u00e1bra. A k\u00f6vetelm\u00e9nyek ellen\u0151rz\u00e9si modellj\u00e9nek hierarchikus strukt\u00far\u00e1ja. <\/i><\/p>\n<p><\/p>\n<p>P\u00e9ld\u00e1ul a vizsg\u00e1lt esetben k\u00e9t csoportot azonos\u00edtottak: a k\u00f6rnyezeti k\u00f6vetelm\u00e9nyek \u00e9s k\u00f6zvetlen\u00fcl a rendszerhez kapcsol\u00f3d\u00f3 k\u00f6vetelm\u00e9nyek. Ez\u00e9rt egy k\u00e9tszint\u0171 adatstrukt\u00fara haszn\u00e1lata sz\u00fcks\u00e9ges: k\u00e9t csoport, mindkett\u0151 az algoritmus egyik lapj\u00e1t k\u00e9pezi.<\/p>\n<p><\/p>\n<p>Az adatok modellez\u00e9s\u00e9hez egy standard signal database construct elj\u00e1r\u00e1s haszn\u00e1latos, amely t\u00e1rolja az adatokat a projekt k\u00fcl\u00f6nb\u00f6z\u0151 r\u00e9szei k\u00f6z\u00f6tt val\u00f3 kommunik\u00e1ci\u00f3hoz.<\/p>\n<p><\/p>\n<p>Szoftver k\u00e9sz\u00edt\u00e9se \u00e9s tesztel\u00e9se sor\u00e1n ebbe az adatb\u00e1zisba ker\u00fclnek a szenzorok (a rendszer val\u00f3s szenzorainak anal\u00f3gjai) m\u00e9r\u00e9sei, amelyek a vez\u00e9rl\u0151rendszer \u00e1ltal haszn\u00e1ltak.<br \/>\n A tesztel\u00e9si projekthez kapcsol\u00f3d\u00f3an ebben az adatb\u00e1zisban b\u00e1rmilyen param\u00e9ter k\u00e9pes meg\u0151rz\u0151dni, amelyek a dinamikus modellben sz\u00e1m\u00edthat\u00f3k, \u00e9s \u00edgy felhaszn\u00e1lhat\u00f3ak a k\u00f6vetelm\u00e9nyek teljes\u00edt\u00e9s\u00e9nek ellen\u0151rz\u00e9s\u00e9re.<\/p>\n<p>\nMag\u00e1nak a dinamikus modellnek ez esetben b\u00e1rmilyen matematikai modellez\u0151 rendszerben megval\u00f3s\u00edthat\u00f3nak kell lennie, vagy ak\u00e1r futtathat\u00f3 programk\u00e9nt is. Az egyetlen k\u00f6vetelm\u00e9ny \u2013 a modellez\u00e9si adatok k\u00fcls\u0151 k\u00f6rnyezetbe val\u00f3 kiad\u00e1s\u00e1hoz programoz\u00e1si interf\u00e9szek megl\u00e9te.<\/p>\n<p><img decoding=\"async\" alt=\"A k\u00f6vetelm\u00e9nyek automatikus ellen\u0151rz\u00e9se a dinamikus modellez\u00e9s sor\u00e1n\" src=\"\/wp-content\/uploads\/2020\/02\/ac56799b7a022325f72d0639cd85eba2.jpg\" style=\"display:block;margin: 0 auto;\" \/><br \/>\n<i>3. \u00e1bra. A tesztel\u00e9si projekt csatlakoztat\u00e1sa a komplex modellhez. <\/i><\/p>\n<p><\/p>\n<p>A k\u00f6vetelm\u00e9nyek ellen\u0151rz\u00e9s\u00e9nek alaplapja a 4. \u00e1br\u00e1n l\u00e1that\u00f3. A fejleszt\u0151 szempontj\u00e1b\u00f3l ez egy szok\u00e1sos sz\u00e1m\u00edt\u00e1si s\u00e9ma, amely grafikus form\u00e1ban mutatja a k\u00f6vetelm\u00e9nyek ellen\u0151rz\u00e9s\u00e9nek algoritmus\u00e1t.<\/p>\n<p><\/p>\n<p><img decoding=\"async\" alt=\"A k\u00f6vetelm\u00e9nyek automatikus ellen\u0151rz\u00e9se a dinamikus modellez\u00e9s sor\u00e1n\" src=\"\/wp-content\/uploads\/2020\/02\/467f3217a65e0b4a1def034ce75c747e.jpg\" style=\"display:block;margin: 0 auto;\" \/><br \/>\n<i>4. \u00e1bra. A k\u00f6vetelm\u00e9nyek ellen\u0151rz\u00e9si lapja. <\/i><\/p>\n<p><\/p>\n<p>A k\u00f6vetelm\u00e9nyek ellen\u0151rz\u00e9si lap f\u0151bb r\u00e9szei az 5. \u00e1br\u00e1n l\u00e1that\u00f3k. Az ellen\u0151rz\u00e9si algoritmus hasonl\u00f3an \u00e9p\u00fcl fel, mint a vez\u00e9rl\u00e9si algoritmusok sz\u00e1m\u00edt\u00e1si s\u00e9mai. A jobb oldalon tal\u00e1lhat\u00f3 egy blokk a jeladatok olvas\u00e1s\u00e1hoz az adatb\u00e1zisb\u00f3l. Ebben a blokban t\u00f6rt\u00e9nik a jeladatb\u00e1zis el\u00e9r\u00e9se a modellez\u00e9s ideje alatt.<\/p>\n<p><\/p>\n<p>A kapott jeleket elemzik a k\u00f6vetelm\u00e9nyek ellen\u0151rz\u00e9si felt\u00e9teleinek kisz\u00e1m\u00edt\u00e1s\u00e1ra. A vizsg\u00e1lt esetben a magass\u00e1g elemz\u00e9se t\u00f6rt\u00e9nik a rep\u00fcl\u0151g\u00e9p helyzet\u00e9nek meghat\u00e1roz\u00e1s\u00e1ra (parkol\u00f3ban van vagy rep\u00fcl). E c\u00e9lra m\u00e1s jelek \u00e9s a modell \u00e1ltal sz\u00e1m\u00edtott param\u00e9terek is haszn\u00e1lhat\u00f3k.<\/p>\n<p><\/p>\n<p>A tesztel\u00e9si felt\u00e9telek \u00e9s az ellen\u0151rz\u00f6tt param\u00e9terek \u00e1tker\u00fclnek a standard ellen\u0151rz\u00e9si blokkokba, ahol az ezen param\u00e9terek adatainak elemz\u00e9se t\u00f6rt\u00e9nik a megadott k\u00f6vetelm\u00e9nyeknek val\u00f3 megfelel\u00e9s \u00e9rdek\u00e9ben. Az eredm\u00e9nyeket a jelek adatb\u00e1zis\u00e1ba r\u00f6gz\u00edtik \u00fagy, hogy azokat automatikusan fel lehessen haszn\u00e1lni egy ellen\u0151rz\u0151 lista l\u00e9trehoz\u00e1s\u00e1hoz.<\/p>\n<p><\/p>\n<p><img decoding=\"async\" alt=\"A k\u00f6vetelm\u00e9nyek automatikus ellen\u0151rz\u00e9se a dinamikus modellez\u00e9s sor\u00e1n\" src=\"\/wp-content\/uploads\/2020\/02\/1aa7778f56190bf51c112e29eab8a13c.jpg\" style=\"display:block;margin: 0 auto;\" \/><br \/>\n<i>5. \u00e1bra. A k\u00f6vetelm\u00e9nyek ellen\u0151rz\u0151 lapj\u00e1nak fel\u00e9p\u00edt\u00e9se.<\/i><\/p>\n<p><\/p>\n<p>Ellen\u0151rz\u00f6tt param\u00e9terk\u00e9nt nem k\u00f6telez\u0151 csak a modellben tal\u00e1lhat\u00f3, a modellez\u00e9s sor\u00e1n sz\u00e1m\u00edtott param\u00e9terekkel vez\u00e9relt jeleket haszn\u00e1lni. Semmi sem akad\u00e1lyozza meg, hogy a k\u00f6vetelm\u00e9nyek projekt keretein bel\u00fcl tov\u00e1bbi sz\u00e1m\u00edt\u00e1sokat v\u00e9gezz\u00fcnk, ahogy az ellen\u0151rz\u00e9si felt\u00e9teleket kisz\u00e1m\u00edtjuk.<\/p>\n<p><\/p>\n<p>P\u00e9ld\u00e1ul egy ilyen k\u00f6vetelm\u00e9ny:<\/p>\n<p><\/p>\n<p> <i>A korrig\u00e1l\u00f3 rendszer beind\u00edt\u00e1sainak sz\u00e1ma a c\u00e9lhoz val\u00f3 rep\u00fcl\u00e9s sor\u00e1n nem haladhatja meg az 5-\u00f6t, \u00e9s a korrig\u00e1l\u00f3 rendszer \u00f6sszes m\u0171k\u00f6d\u00e9si ideje nem haladhatja meg a 30 m\u00e1sodpercet.<\/i><\/p>\n<p><\/p>\n<p>Ebben az esetben a k\u00f6vetelm\u00e9nyek sz\u00e1m\u00edt\u00e1si s\u00e9m\u00e1j\u00e1hoz hozz\u00e1ad\u00f3dik a beind\u00edt\u00e1sok sz\u00e1m\u00e1nak \u00e9s az \u00f6sszes m\u0171k\u00f6d\u00e9si id\u0151nek a sz\u00e1ml\u00e1l\u00f3 algoritmusa.<\/p>\n<p><\/p>\n<h3>Standard k\u00f6vetelm\u00e9nyellen\u0151rz\u0151 blokk.<\/h3>\n<p><\/p>\n<p>Minden standard k\u00f6vetelm\u00e9nyellen\u0151rz\u0151 blokk egy adott t\u00edpus\u00fa k\u00f6vetelm\u00e9ny teljes\u00edt\u00e9se sz\u00e1m\u00edt\u00e1s\u00e1ra szolg\u00e1l. P\u00e9ld\u00e1ul a k\u00f6rnyezeti k\u00f6vetelm\u00e9nyek k\u00f6z\u00f6tt szerepel a k\u00f6rnyezeti leveg\u0151 m\u0171k\u00f6d\u00e9si h\u0151m\u00e9rs\u00e9klet\u00e9nek tartom\u00e1nya parkol\u00f3ban \u00e9s rep\u00fcl\u00e9s k\u00f6zben. Ennek a blokknak meg kell kapnia a leveg\u0151 h\u0151m\u00e9rs\u00e9klet\u00e9t param\u00e9terk\u00e9nt a modellb\u0151l, \u00e9s meg kell hat\u00e1roznia, hogy ez a param\u00e9ter fedezi-e a megadott h\u0151m\u00e9rs\u00e9kleti tartom\u00e1nyt.\n<\/p>\n<p>A blokk k\u00e9t bemeneti porttal rendelkezik, param \u00e9s condition.<\/p>\n<p><\/p>\n<p>Az els\u0151 bemenetre az ellen\u0151rz\u00f6tt param\u00e9ter ker\u00fcl. Ebben az esetben a \u201eK\u00fcls\u0151 k\u00f6rnyezet h\u0151m\u00e9rs\u00e9klete\u201d.<\/p>\n<p><\/p>\n<p>A m\u00e1sodik portra egy logikai v\u00e1ltoz\u00f3 \u00e9rkezik \u2013 az ellen\u0151rz\u00e9s v\u00e9grehajt\u00e1s\u00e1nak felt\u00e9tele.<\/p>\n<p><\/p>\n<p>Ha a m\u00e1sodik bemenetre TRUE (1) \u00e9rkezik, akkor a blokk megkezdi a k\u00f6vetelm\u00e9ny ellen\u0151rz\u00e9s\u00e9nek sz\u00e1m\u00edt\u00e1s\u00e1t.<\/p>\n<p><\/p>\n<p>Ha a m\u00e1sodik bemenet FALSE (0) \u00e9rt\u00e9ket kap, akkor a vizsg\u00e1lati felt\u00e9telek nem teljes\u00fclnek. Ez sz\u00fcks\u00e9ges ahhoz, hogy figyelembe lehessen venni a sz\u00e1m\u00edt\u00e1si felt\u00e9teleket. A mi eset\u00fcnkben ezt a bemenetet haszn\u00e1ljuk a vizsg\u00e1lat enged\u00e9lyez\u00e9s\u00e9re vagy letilt\u00e1s\u00e1ra a modell \u00e1llapot\u00e1nak f\u00fcggv\u00e9ny\u00e9ben. Ha az L\u00c1 a modellez\u00e9s sor\u00e1n a f\u00f6ld\u00f6n van, akkor a rep\u00fcl\u00e9sre vonatkoz\u00f3 k\u00f6vetelm\u00e9nyek nem ellen\u0151rz\u0151dnek, \u00e9s ford\u00edtva - ha az L\u00c1 rep\u00fcl, akkor a parkol\u00e1sra vonatkoz\u00f3 k\u00f6vetelm\u00e9nyek nem ellen\u0151rz\u0151dnek.<\/p>\n<p><\/p>\n<p>Ezt a bemenetet a modell be\u00e1ll\u00edt\u00e1sain\u00e1l is haszn\u00e1lhatjuk, p\u00e9ld\u00e1ul a sz\u00e1m\u00edt\u00e1s kezdeti szakasz\u00e1ban. Amikor a modellt a k\u00edv\u00e1nt \u00e1llapotba hozz\u00e1k, a vizsg\u00e1lati blokk letiltott, de amint a rendszer el\u00e9ri a k\u00edv\u00e1nt m\u0171k\u00f6d\u00e9si m\u00f3dot, a vizsg\u00e1lati blokkok aktiv\u00e1l\u00f3dnak.<\/p>\n<p><\/p>\n<p>A blokk param\u00e9terei a k\u00f6vetkez\u0151k:<\/p>\n<p><\/p>\n<ul>\n<li>hat\u00e1rfelt\u00e9telek: fels\u0151 (UpLimit) \u00e9s als\u00f3 (DownLimit) hat\u00e1rok, amelyeket ellen\u0151rizni kell;<\/li>\n<li> a rendszernek a hat\u00e1r\u00e9rt\u00e9keken val\u00f3 tart\u00f3zkod\u00e1s\u00e1nak sz\u00fcks\u00e9ges ideje (TimeInterval) m\u00e1sodpercekben;<\/li>\n<li>a k\u00f6vetelm\u00e9ny azonos\u00edt\u00f3ja ReqName;<\/li>\n<li>a hat\u00e1rok t\u00fall\u00e9p\u00e9s\u00e9nek elfogadhat\u00f3s\u00e1ga Out_range \u2013 egy logikai v\u00e1ltoz\u00f3, amely meghat\u00e1rozza, hogy a vizsg\u00e1lt \u00e9rt\u00e9k t\u00fall\u00e9p\u00e9se a k\u00f6vetelm\u00e9ny megs\u00e9rt\u00e9se-e.<\/li>\n<\/ul>\n<p><\/p>\n<p>Egyes esetekben a vizsg\u00e1lt \u00e9rt\u00e9k t\u00fall\u00e9p\u00e9se azt jelenti, hogy a rendszernek van tartal\u00e9ka, \u00e9s m\u0171k\u00f6dhet a munkatartom\u00e1nyon k\u00edv\u00fcl. M\u00e1s esetekben a t\u00fall\u00e9p\u00e9s azt jelenti, hogy a rendszer nem k\u00e9pes megtartani a megadott param\u00e9tereket a tartom\u00e1nyon bel\u00fcl.<\/p>\n<p><\/p>\n<p><img decoding=\"async\" alt=\"A k\u00f6vetelm\u00e9nyek automatikus ellen\u0151rz\u00e9se a dinamikus modellez\u00e9s sor\u00e1n\" src=\"\/wp-content\/uploads\/2020\/02\/3cd48fd6597d1ee11ecaea9931c3fbbb.jpg\" style=\"display:block;margin: 0 auto;\" \/><br \/>\n<i>6. \u00e1bra. A vizsg\u00e1lati blokk t\u00edpusa a s\u00e9m\u00e1n \u00e9s annak param\u00e9terei.<\/i><\/p>\n<p><\/p>\n<p>A blokk sz\u00e1m\u00edt\u00e1sa sor\u00e1n a kimeneten a Result v\u00e1ltoz\u00f3 alakul ki, amely a k\u00f6vetkez\u0151 \u00e9rt\u00e9keket veheti fel:<\/p>\n<p><\/p>\n<ul>\n<li>0 \u2013 rNone, az \u00e9rt\u00e9k nincs meghat\u00e1rozva;<\/li>\n<li>1 \u2013 rDone, a k\u00f6vetelm\u00e9ny teljes\u00fcl;<\/li>\n<li>2 \u2013 rFault, a k\u00f6vetelm\u00e9ny nem teljes\u00fcl.<\/li>\n<\/ul>\n<p><\/p>\n<p>A blokk k\u00e9pe tartalmazza:<\/p>\n<p><\/p>\n<ul>\n<li> az azonos\u00edt\u00f3 sz\u00f6vege;<\/li>\n<li> a m\u00e9r\u00e9si hat\u00e1rok digit\u00e1lis megjelen\u00edt\u00e9se;<\/li>\n<li> az \u00e1llapotparam\u00e9ter sz\u00ednes azonos\u00edt\u00f3ja.<\/li>\n<\/ul>\n<p><\/p>\n<p>A blokk belsej\u00e9ben el\u00e9g bonyolult logikai k\u00f6vetkeztet\u00e9si s\u00e9ma tal\u00e1lhat\u00f3.<\/p>\n<p>P\u00e9ld\u00e1ul a 6. \u00e1br\u00e1n bemutatott blokk m\u0171k\u00f6d\u00e9si tartom\u00e1ny\u00e1nak h\u0151m\u00e9rs\u00e9kletvizsg\u00e1lat\u00e1ra a bels\u0151 s\u00e9ma a 7. \u00e1br\u00e1n l\u00e1that\u00f3.<\/p>\n<p><\/p>\n<p><img decoding=\"async\" alt=\"A k\u00f6vetelm\u00e9nyek automatikus ellen\u0151rz\u00e9se a dinamikus modellez\u00e9s sor\u00e1n\" src=\"\/wp-content\/uploads\/2020\/02\/9ce085c82417fdbc5230056de37af65a.jpg\" style=\"display:block;margin: 0 auto;\" \/><br \/>\n<i>7. \u00e1bra. A h\u0151m\u00e9rs\u00e9klet-tartom\u00e1ny meghat\u00e1roz\u00e1s\u00e1nak bels\u0151 s\u00e9m\u00e1ja.<\/i><\/p>\n<p><\/p>\n<p>A blokk s\u00e9m\u00e1iban a blokk param\u00e9tereibe megadott tulajdons\u00e1gok haszn\u00e1latosak.<br \/>\nA k\u00f6vetelm\u00e9nyeknek val\u00f3 megfelel\u00e9s elemz\u00e9se mellett a bels\u0151 blokk s\u00e9m\u00e1ja tartalmazza azt a grafikont, amely sz\u00fcks\u00e9ges a modellez\u00e9si eredm\u00e9nyek megjelen\u00edt\u00e9s\u00e9hez. Ez a grafikon haszn\u00e1lhat\u00f3 a sz\u00e1m\u00edt\u00e1sok sor\u00e1n, valamint az eredm\u00e9nyek ut\u00f3lagos elemz\u00e9s\u00e9re is.<\/p>\n<p><\/p>\n<p>A sz\u00e1m\u00edt\u00e1s eredm\u00e9nyei a blokk kimenet\u00e9re ker\u00fclnek, \u00e9s egy id\u0151ben r\u00f6gz\u00edt\u00e9sre ker\u00fclnek egy \u00e1ltal\u00e1nos jelent\u00e9sf\u00e1jlban, amely a projekt teljes eredm\u00e9nyei alapj\u00e1n k\u00e9sz\u00fcl. (l\u00e1sd 8. \u00e1bra)<\/p>\n<p><\/p>\n<p>A modellez\u00e9s eredm\u00e9nyei alapj\u00e1n k\u00e9sz\u00fclt jelent\u00e9s p\u00e9ld\u00e1ja egy html f\u00e1jl, amely a megadott form\u00e1tum szerint k\u00e9sz\u00fcl. A form\u00e1tum tetsz\u0151legesen testreszabhat\u00f3 a konkr\u00e9t szervezet \u00e1ltal elfogadott form\u00e1tumra.<\/p>\n<p><\/p>\n<p>A blokk s\u00e9m\u00e1iban a blokk param\u00e9tereibe megadott tulajdons\u00e1gok haszn\u00e1latosak.<br \/>\nA k\u00f6vetelm\u00e9nyeknek val\u00f3 megfelel\u00e9s elemz\u00e9se mellett a bels\u0151 blokk s\u00e9m\u00e1ja tartalmazza azt a grafikont, amely sz\u00fcks\u00e9ges a modellez\u00e9si eredm\u00e9nyek megjelen\u00edt\u00e9s\u00e9hez. Ez a grafikon haszn\u00e1lhat\u00f3 a sz\u00e1m\u00edt\u00e1sok sor\u00e1n, valamint az eredm\u00e9nyek ut\u00f3lagos elemz\u00e9s\u00e9re is.<\/p>\n<p><\/p>\n<p>A sz\u00e1m\u00edt\u00e1s eredm\u00e9nyei a blokk kimenet\u00e9re ker\u00fclnek, \u00e9s egy id\u0151ben r\u00f6gz\u00edt\u00e9sre ker\u00fclnek egy \u00e1ltal\u00e1nos jelent\u00e9sf\u00e1jlban, amely a projekt teljes eredm\u00e9nyei alapj\u00e1n k\u00e9sz\u00fcl. (l\u00e1sd 8. \u00e1bra)<\/p>\n<p><\/p>\n<p>A modellez\u00e9s eredm\u00e9nyei alapj\u00e1n k\u00e9sz\u00fclt jelent\u00e9s p\u00e9ld\u00e1ja egy html f\u00e1jl, amely a megadott form\u00e1tum szerint k\u00e9sz\u00fcl. A form\u00e1tum tetsz\u0151legesen testreszabhat\u00f3 a konkr\u00e9t szervezet \u00e1ltal elfogadott form\u00e1tumra.<\/p>\n<p><\/p>\n<p><img decoding=\"async\" alt=\"A k\u00f6vetelm\u00e9nyek automatikus ellen\u0151rz\u00e9se a dinamikus modellez\u00e9s sor\u00e1n\" src=\"\/wp-content\/uploads\/2020\/02\/8ff948417d799bce621e34c709154116.jpg\" style=\"display:block;margin: 0 auto;\" \/><br \/>\n<i>8. \u00e1bra. A modellez\u00e9s eredm\u00e9nyeihez k\u00e9sz\u00fclt jelent\u00e9s f\u00e1jl p\u00e9ld\u00e1ja.<\/i><\/p>\n<p><\/p>\n<p>Ebben a p\u00e9ld\u00e1ban a jelent\u00e9s form\u00e1tum\u00e1nak be\u00e1ll\u00edt\u00e1sa k\u00f6zvetlen\u00fcl a projekt tulajdons\u00e1gaiban t\u00f6rt\u00e9nik, m\u00edg a form\u00e1tum a t\u00e1bl\u00e1zatban glob\u00e1lis jelekk\u00e9nt van megadva. Ebben az esetben a SimInTech automatikusan megoldja a jelent\u00e9s be\u00e1ll\u00edt\u00e1s\u00e1nak feladat\u00e1t, \u00e9s a f\u00e1jlba t\u00f6rt\u00e9n\u0151 eredm\u00e9nyjegyz\u00e9s blokkja ezeket a sorokat haszn\u00e1lja a jelent\u00e9s f\u00e1jlba t\u00f6rt\u00e9n\u0151 \u00edr\u00e1shoz.<\/p>\n<p><\/p>\n<p><img decoding=\"async\" alt=\"A k\u00f6vetelm\u00e9nyek automatikus ellen\u0151rz\u00e9se a dinamikus modellez\u00e9s sor\u00e1n\" src=\"\/wp-content\/uploads\/2020\/02\/bbe363bf1d81d00aebb67ca29a35811b.jpg\" style=\"display:block;margin: 0 auto;\" \/><br \/>\n<i>9. \u00e1bra. A projekt glob\u00e1lis jeleinek jelent\u00e9sform\u00e1tum\u00e1nak be\u00e1ll\u00edt\u00e1sa<\/i><\/p>\n<p><\/p>\n<h3>Jeladatalap haszn\u00e1lata a k\u00f6vetelm\u00e9nyekhez.<\/h3>\n<p><\/p>\n<p>A minden egyes t\u00edpus\u00fa blokk tulajdons\u00e1g-be\u00e1ll\u00edt\u00e1sainak automatiz\u00e1l\u00e1sa \u00e9rdek\u00e9ben t\u00edpusos strukt\u00fara k\u00e9sz\u00fcl a jeladatalapban. (l\u00e1sd 10. \u00e1bra)<\/p>\n<\/p>\n<p><img decoding=\"async\" alt=\"A k\u00f6vetelm\u00e9nyek automatikus ellen\u0151rz\u00e9se a dinamikus modellez\u00e9s sor\u00e1n\" src=\"\/wp-content\/uploads\/2020\/02\/7e20a24ca5dadd2da6542325e964ec00.jpg\" style=\"display:block;margin: 0 auto;\" \/><br \/>\n<i>10. \u00e1bra. A k\u00f6vetelm\u00e9nyellen\u0151rz\u0151 blokk p\u00e9ld\u00e1jak\u00e9nt a jeladatalapban.<\/i><\/p>\n<p><\/p>\n<p>A jeladatalap biztos\u00edtja:<\/p>\n<p><\/p>\n<ul>\n<li> Minden sz\u00fcks\u00e9ges rendszerk\u00f6vetelm\u00e9ny param\u00e9ter\u00e9nek t\u00e1rol\u00e1sa.<\/li>\n<li> A projektben l\u00e9v\u0151 k\u00f6vetelm\u00e9nyek megl\u00e9v\u0151 param\u00e9tereib\u0151l \u00e9s a modell jelenlegi eredm\u00e9nyeib\u0151l k\u00e9nyelmes megjelen\u00edt\u00e9s.<\/li>\n<li> Egy blokk vagy blokkcsoport konfigur\u00e1l\u00e1sa programoz\u00e1si scripting nyelv haszn\u00e1lat\u00e1val. A jeladatalapban v\u00e9gzett m\u00f3dos\u00edt\u00e1sok a blokk s\u00e9m\u00e1j\u00e1nak tulajdons\u00e1gainak \u00e9rt\u00e9keiben v\u00e1ltoz\u00e1st eredm\u00e9nyeznek.<\/li>\n<li> Sz\u00f6veges le\u00edr\u00e1sok t\u00e1rol\u00e1sa, hivatkoz\u00e1sok a m\u0171szaki specifik\u00e1ci\u00f3k pontjaira vagy az azonos\u00edt\u00f3k a k\u00f6vetelm\u00e9nykezel\u0151 rendszerben.<\/li>\n<\/ul>\n<p><\/p>\n<p>A k\u00f6vetelm\u00e9nyekhez kapcsol\u00f3d\u00f3 jeladatalap strukt\u00far\u00e1i k\u00f6nnyen testreszabhat\u00f3k harmadik f\u00e9l k\u00f6vetelm\u00e9nykezel\u0151 rendszer\u00e9vel val\u00f3 egy\u00fcttm\u0171k\u00f6d\u00e9shez, az interakci\u00f3 \u00e1ltal\u00e1nos s\u00e9m\u00e1j\u00e1t a 11. \u00e1bra mutatja be.<\/p>\n<p><\/p>\n<p><img decoding=\"async\" alt=\"A k\u00f6vetelm\u00e9nyek automatikus ellen\u0151rz\u00e9se a dinamikus modellez\u00e9s sor\u00e1n\" src=\"\/wp-content\/uploads\/2020\/02\/3f6d67b8160255fd39d0d8bedf8be655.jpg\" style=\"display:block;margin: 0 auto;\" \/><br \/>\n<i>11. \u00e1bra. A k\u00f6vetelm\u00e9nykezel\u0151 rendszerrel val\u00f3 interakci\u00f3s s\u00e9ma.<\/i><\/p>\n<p><\/p>\n<p>A SimInTech tesztel\u00e9si projekt k\u00f6lcs\u00f6nhat\u00e1s\u00e1nak folyamata a k\u00f6vetkez\u0151k\u00e9ppen zajlik:<\/p>\n<p><\/p>\n<ol>\n<li> A m\u0171szaki specifik\u00e1ci\u00f3 k\u00f6vetelm\u00e9nyekre bont\u00e1sa t\u00f6rt\u00e9nik.<\/li>\n<li> Azokat a m\u0171szaki specifik\u00e1ci\u00f3s k\u00f6vetelm\u00e9nyeket emelik ki, amelyeket matematikai modellez\u00e9ssel ellen\u0151rizni lehet.<\/li>\n<li> A kiemelt k\u00f6vetelm\u00e9nyek attrib\u00fatumait a SimInTech jeladatb\u00e1zis\u00e1ba tov\u00e1bb\u00edtj\u00e1k a tipikus blokkok strukt\u00far\u00e1iba (p\u00e9ld\u00e1ul maxim\u00e1lis \u00e9s minim\u00e1lis h\u0151m\u00e9rs\u00e9klet).<\/li>\n<li> A sz\u00e1m\u00edt\u00e1s folyam\u00e1n a strukt\u00far\u00e1k adatai a blokkok sz\u00e1m\u00edt\u00e1si s\u00e9m\u00e1iba ker\u00fclnek, elemz\u00e9s t\u00f6rt\u00e9nik, \u00e9s az eredm\u00e9nyek a jeladatb\u00e1zisba ment\u00e9sre ker\u00fclnek.<\/li>\n<li> A sz\u00e1m\u00edt\u00e1s befejez\u00e9se ut\u00e1n az elemz\u00e9si eredm\u00e9nyek a k\u00f6vetelm\u00e9nyek kezel\u00e9s\u00e9re szolg\u00e1l\u00f3 rendszerbe ker\u00fclnek.<\/li>\n<\/ol>\n<p><\/p>\n<p>A k\u00f6vetelm\u00e9nyekkel val\u00f3 munka 3-5-\u00f6s l\u00e9p\u00e9sei megism\u00e9telhet\u0151k a tervez\u00e9s sor\u00e1n, amikor v\u00e1ltoz\u00e1sok t\u00f6rt\u00e9nnek a szerkezetben \u00e9s\/vagy a k\u00f6vetelm\u00e9nyekben, \u00e9s \u00edgy sz\u00fcks\u00e9g van a v\u00e9grehajtott v\u00e1ltoztat\u00e1sok hat\u00e1s\u00e1nak \u00fajb\u00f3li ellen\u0151rz\u00e9s\u00e9re.<\/p>\n<p><\/p>\n<h3>K\u00f6vetkeztet\u00e9sek.<\/h3>\n<p><\/p>\n<ul>\n<li> A l\u00e9trehozott rendszer protot\u00edpusa jelent\u0151s id\u0151megtakar\u00edt\u00e1st biztos\u00edt a megl\u00e9v\u0151 modellek k\u00f6vetelm\u00e9nyeknek val\u00f3 megfelel\u0151s\u00e9g\u00e9nek elemz\u00e9se sor\u00e1n.<\/li>\n<li> A javasolt tesztel\u00e9si technol\u00f3gia m\u00e1r l\u00e9tez\u0151 dinamikai modelleket haszn\u00e1l, \u00e9s b\u00e1rmilyen dinamikai modellhez alkalmazhat\u00f3, bele\u00e9rtve azokat is, amelyeket nem a SimInTech k\u00f6rnyezet\u00e9ben k\u00e9sz\u00edtettek.<\/li>\n<li> Az adatok csomagolt szervez\u00e9s\u00e9nek haszn\u00e1lata lehet\u0151v\u00e9 teszi, hogy a k\u00f6vetelm\u00e9nyek ellen\u0151rz\u00e9s\u00e9re szolg\u00e1l\u00f3 csomagokat p\u00e1rhuzamosan hozz\u00e1k l\u00e9tre a modellek kidolgoz\u00e1sa sor\u00e1n, vagy ak\u00e1r a csomagokat m\u0171szaki specifik\u00e1ci\u00f3k\u00e9nt haszn\u00e1lj\u00e1k a modellek fejleszt\u00e9s\u00e9hez.<\/li>\n<li> A technol\u00f3gia jelent\u0151s k\u00f6lts\u00e9gek n\u00e9lk\u00fcl integr\u00e1lhat\u00f3 a megl\u00e9v\u0151 k\u00f6vetelm\u00e9nykezel\u0151 rendszerekkel.<\/li>\n<\/ul>\n<p><\/p>\n<p>Akik v\u00e9gigolvass\u00e1k, <noindex><a rel=\"nofollow\" href=\"https:\/\/youtu.be\/be9qPox4AXk\">link egy vide\u00f3ra, amely bemutatja a protot\u00edpus m\u0171k\u00f6d\u00e9s\u00e9t.<\/a><\/noindex><\/p>\n<p>Forr\u00e1s: <a content=\"nofollow\" rel=\"nofollow\" href=\"https:\/\/habr.com\/ru\/post\/486336\/\">habr.com<\/a> <\/p>","protected":false,"gt_translate_keys":[{"key":"rendered","format":"html"}]},"excerpt":{"rendered":"<p>\u041f\u0440\u043e\u0434\u043e\u043b\u0436\u0430\u044f \u0442\u0435\u043c\u0443 \u00ab\u041a\u0430\u043a\u0438\u0435 \u0432\u0430\u0448\u0438 \u0434\u043e\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044c\u0441\u0442\u0432\u0430?\u00bb, \u043f\u043e\u0441\u043c\u043e\u0442\u0440\u0438\u043c \u043d\u0430 \u043f\u0440\u043e\u0431\u043b\u0435\u043c\u0443 \u043c\u0430\u0442\u0435\u043c\u0430\u0442\u0438\u0447\u0435\u0441\u043a\u043e\u0433\u043e \u043c\u043e\u0434\u0435\u043b\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u044f \u0441 \u0434\u0440\u0443\u0433\u043e\u0439 \u0441\u0442\u043e\u0440\u043e\u043d\u044b. \u041f\u043e\u0441\u043b\u0435 \u0442\u043e\u0433\u043e \u043a\u0430\u043a \u043c\u044b \u0443\u0431\u0435\u0434\u0438\u043b\u0438\u0441\u044c, \u0447\u0442\u043e \u043c\u043e\u0434\u0435\u043b\u044c \u0441\u043e\u043e\u0442\u0432\u0435\u0442\u0441\u0442\u0432\u0443\u0435\u0442 \u0441\u0435\u0440\u043c\u044f\u0436\u043d\u043e\u0439 \u043f\u0440\u0430\u0432\u0434\u0435 \u0436\u0438\u0437\u043d\u0438, \u043c\u043e\u0436\u043d\u043e \u043e\u0442\u0432\u0435\u0447\u0430\u0442\u044c \u043d\u0430 \u043e\u0441\u043d\u043e\u0432\u043d\u043e\u0439 \u0432\u043e\u043f\u0440\u043e\u0441: \u00ab\u0430 \u0447\u0442\u043e, \u0441\u043e\u0431\u0441\u0442\u0432\u0435\u043d\u043d\u043e, \u043c\u044b \u0442\u0443\u0442 \u0438\u043c\u0435\u0435\u043c?\u00bb. \u0421\u043e\u0437\u0434\u0430\u0432\u0430\u044f \u043c\u043e\u0434\u0435\u043b\u044c \u0442\u0435\u0445\u043d\u0438\u0447\u0435\u0441\u043a\u043e\u0433\u043e \u043e\u0431\u044a\u0435\u043a\u0442\u0430, \u043c\u044b, \u043a\u0430\u043a \u043f\u0440\u0430\u0432\u0438\u043b\u043e, \u0445\u043e\u0442\u0438\u043c \u0443\u0431\u0435\u0434\u0438\u0442\u044c\u0441\u044f, \u0447\u0442\u043e \u044d\u0442\u043e\u0442 \u043e\u0431\u044a\u0435\u043a\u0442 \u0431\u0443\u0434\u0435\u0442 \u0441\u043e\u043e\u0442\u0432\u0435\u0442\u0441\u0442\u0432\u043e\u0432\u0430\u0442\u044c \u043d\u0430\u0448\u0438\u043c \u043e\u0436\u0438\u0434\u0430\u043d\u0438\u044f\u043c. \u0414\u043b\u044f \u044d\u0442\u043e\u0433\u043e \u0438 \u043f\u0440\u043e\u0432\u043e\u0434\u044f\u0442\u0441\u044f [&hellip;]<\/p>\n","protected":false,"gt_translate_keys":[{"key":"rendered","format":"html"}]},"author":1,"featured_media":41258,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[],"tags":[],"class_list":["post-41257","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry"],"aioseo_notices":[],"aioseo_head":"\n\t\t<!-- All in One SEO 5.0.3 - aioseo.com -->\n\t<meta name=\"description\" content=\"\u041f\u0440\u043e\u0434\u043e\u043b\u0436\u0430\u044f \u0442\u0435\u043c\u0443 \u00ab\u041a\u0430\u043a\u0438\u0435 \u0432\u0430\u0448\u0438 \u0434\u043e\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044c\u0441\u0442\u0432\u0430?\u00bb, \u043f\u043e\u0441\u043c\u043e\u0442\u0440\u0438\u043c \u043d\u0430 \u043f\u0440\u043e\u0431\u043b\u0435\u043c\u0443 \u043c\u0430\u0442\u0435\u043c\u0430\u0442\u0438\u0447\u0435\u0441\u043a\u043e\u0433\u043e \u043c\u043e\u0434\u0435\u043b\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u044f \u0441 \u0434\u0440\u0443\u0433\u043e\u0439 \u0441\u0442\u043e\u0440\u043e\u043d\u044b.\" \/>\n\t<meta name=\"robots\" content=\"max-image-preview:large\" \/>\n\t<meta name=\"author\" content=\"Yuri Gagarin\"\/>\n\t<link rel=\"canonical\" href=\"https:\/\/prohoster.info\/hu\/blog\/avtomaticheskaya-proverka-trebovanij-tz-v-proczesse-dinamicheskogo-modelirovaniya\" \/>\n\t\t<meta name=\"generator\" content=\"All in One SEO (AIOSEO) 5.0.3\" \/>\n\t\t<meta property=\"og:locale\" content=\"hu_HU\" \/>\n\t\t<meta property=\"og:site_name\" content=\"ProHoster | \u041a\u0443\u043f\u0438\u0442\u044c \u043d\u0430\u0434\u0435\u0436\u043d\u044b\u0439 \u0445\u043e\u0441\u0442\u0438\u043d\u0433 \u0434\u043b\u044f \u0441\u0430\u0439\u0442\u043e\u0432 \u0441 \u0437\u0430\u0449\u0438\u0442\u043e\u0439 \u043e\u0442 DDoS, VPS VDS \u0441\u0435\u0440\u0432\u0435\u0440\u044b\" \/>\n\t\t<meta property=\"og:type\" content=\"article\" \/>\n\t\t<meta property=\"og:title\" content=\"\ud83e\udd47\u0410\u0432\u0442\u043e\u043c\u0430\u0442\u0438\u0447\u0435\u0441\u043a\u0430\u044f \u043f\u0440\u043e\u0432\u0435\u0440\u043a\u0430 \u0442\u0440\u0435\u0431\u043e\u0432\u0430\u043d\u0438\u0439 \u0422\u0417 \u0432 \u043f\u0440\u043e\u0446\u0435\u0441\u0441\u0435 \u0434\u0438\u043d\u0430\u043c\u0438\u0447\u0435\u0441\u043a\u043e\u0433\u043e \u043c\u043e\u0434\u0435\u043b\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u044f | ProHoster\" \/>\n\t\t<meta property=\"og:description\" content=\"\u041f\u0440\u043e\u0434\u043e\u043b\u0436\u0430\u044f \u0442\u0435\u043c\u0443 \u00ab\u041a\u0430\u043a\u0438\u0435 \u0432\u0430\u0448\u0438 \u0434\u043e\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044c\u0441\u0442\u0432\u0430?\u00bb, \u043f\u043e\u0441\u043c\u043e\u0442\u0440\u0438\u043c \u043d\u0430 \u043f\u0440\u043e\u0431\u043b\u0435\u043c\u0443 \u043c\u0430\u0442\u0435\u043c\u0430\u0442\u0438\u0447\u0435\u0441\u043a\u043e\u0433\u043e \u043c\u043e\u0434\u0435\u043b\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u044f \u0441 \u0434\u0440\u0443\u0433\u043e\u0439 \u0441\u0442\u043e\u0440\u043e\u043d\u044b.\" \/>\n\t\t<meta property=\"og:url\" content=\"https:\/\/prohoster.info\/hu\/blog\/avtomaticheskaya-proverka-trebovanij-tz-v-proczesse-dinamicheskogo-modelirovaniya\" \/>\n\t\t<meta property=\"og:image\" content=\"https:\/\/prohoster.info\/wp-content\/uploads\/2021\/11\/logo-350.jpg\" \/>\n\t\t<meta property=\"og:image:secure_url\" content=\"https:\/\/prohoster.info\/wp-content\/uploads\/2021\/11\/logo-350.jpg\" \/>\n\t\t<meta property=\"og:image:width\" content=\"350\" \/>\n\t\t<meta property=\"og:image:height\" content=\"350\" \/>\n\t\t<meta property=\"article:published_time\" content=\"2020-02-06T17:43:44+00:00\" \/>\n\t\t<meta property=\"article:modified_time\" content=\"2020-02-06T17:43:44+00:00\" \/>\n\t\t<meta property=\"article:publisher\" content=\"https:\/\/www.facebook.com\/prohoster\" \/>\n\t\t<meta property=\"article:author\" content=\"https:\/\/www.facebook.com\/prohoster\" \/>\n\t\t<!-- All in One SEO -->\n\n","aioseo_head_json":{"title":"\ud83e\udd47Automatikus k\u00f6vetelm\u00e9nyellen\u0151rz\u00e9s a m\u0171szaki specifik\u00e1ci\u00f3k sor\u00e1n dinamikus modellez\u00e9s k\u00f6zben | ProHoster","description":"Folytatva a \"Mik a bizony\u00edt\u00e9kaid?\" t\u00e9m\u00e1t, n\u00e9zz\u00fck meg a matematikai modellez\u00e9s probl\u00e9m\u00e1j\u00e1t m\u00e1s oldalr\u00f3l.","canonical_url":"https:\/\/prohoster.info\/hu\/blog\/avtomaticheskaya-proverka-trebovanij-tz-v-proczesse-dinamicheskogo-modelirovaniya","robots":"max-image-preview:large","keywords":"","webmasterTools":{"miscellaneous":""},"schema":null,"og:locale":"hu_HU","og:site_name":"ProHoster | \u041a\u0443\u043f\u0438\u0442\u044c \u043d\u0430\u0434\u0435\u0436\u043d\u044b\u0439 \u0445\u043e\u0441\u0442\u0438\u043d\u0433 \u0434\u043b\u044f \u0441\u0430\u0439\u0442\u043e\u0432 \u0441 \u0437\u0430\u0449\u0438\u0442\u043e\u0439 \u043e\u0442 DDoS, VPS VDS \u0441\u0435\u0440\u0432\u0435\u0440\u044b","og:type":"article","og:title":"\ud83e\udd47\u0410\u0432\u0442\u043e\u043c\u0430\u0442\u0438\u0447\u0435\u0441\u043a\u0430\u044f \u043f\u0440\u043e\u0432\u0435\u0440\u043a\u0430 \u0442\u0440\u0435\u0431\u043e\u0432\u0430\u043d\u0438\u0439 \u0422\u0417 \u0432 \u043f\u0440\u043e\u0446\u0435\u0441\u0441\u0435 \u0434\u0438\u043d\u0430\u043c\u0438\u0447\u0435\u0441\u043a\u043e\u0433\u043e \u043c\u043e\u0434\u0435\u043b\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u044f | ProHoster","og:description":"\u041f\u0440\u043e\u0434\u043e\u043b\u0436\u0430\u044f \u0442\u0435\u043c\u0443 \u00ab\u041a\u0430\u043a\u0438\u0435 \u0432\u0430\u0448\u0438 \u0434\u043e\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044c\u0441\u0442\u0432\u0430?\u00bb, \u043f\u043e\u0441\u043c\u043e\u0442\u0440\u0438\u043c \u043d\u0430 \u043f\u0440\u043e\u0431\u043b\u0435\u043c\u0443 \u043c\u0430\u0442\u0435\u043c\u0430\u0442\u0438\u0447\u0435\u0441\u043a\u043e\u0433\u043e \u043c\u043e\u0434\u0435\u043b\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u044f \u0441 \u0434\u0440\u0443\u0433\u043e\u0439 \u0441\u0442\u043e\u0440\u043e\u043d\u044b.","og:url":"https:\/\/prohoster.info\/hu\/blog\/avtomaticheskaya-proverka-trebovanij-tz-v-proczesse-dinamicheskogo-modelirovaniya","og:image":"https:\/\/prohoster.info\/wp-content\/uploads\/2021\/11\/logo-350.jpg","og:image:secure_url":"https:\/\/prohoster.info\/wp-content\/uploads\/2021\/11\/logo-350.jpg","og:image:width":350,"og:image:height":350,"article:published_time":"2020-02-06T17:43:44+00:00","article:modified_time":"2020-02-06T17:43:44+00:00","article:publisher":"https:\/\/www.facebook.com\/prohoster","article:author":"https:\/\/www.facebook.com\/prohoster"},"aioseo_meta_data":{"post_id":"41257","title":null,"description":null,"keywords":null,"keyphrases":null,"primary_term":null,"canonical_url":null,"og_title":null,"og_description":null,"og_object_type":"default","og_image_type":"default","og_image_url":null,"og_image_width":null,"og_image_height":null,"og_image_custom_url":null,"og_image_custom_fields":null,"og_video":null,"og_custom_url":null,"og_article_section":null,"og_article_tags":null,"twitter_use_og":false,"twitter_card":"default","twitter_image_type":"default","twitter_image_url":null,"twitter_image_custom_url":null,"twitter_image_custom_fields":null,"twitter_title":null,"twitter_description":null,"schema":{"blockGraphs":[],"customGraphs":[],"default":{"data":{"Article":[],"Course":[],"Dataset":[],"FAQPage":[],"Movie":[],"Person":[],"Product":[],"ProductReview":[],"Car":[],"Recipe":[],"Service":[],"SoftwareApplication":[],"WebPage":[]},"graphName":"","isEnabled":true},"graphs":[]},"schema_type":null,"schema_type_options":null,"pillar_content":false,"robots_default":true,"robots_noindex":false,"robots_noarchive":false,"robots_nosnippet":false,"robots_nofollow":false,"robots_noimageindex":false,"robots_noodp":false,"robots_notranslate":false,"robots_max_snippet":null,"robots_max_videopreview":null,"robots_max_imagepreview":"large","priority":null,"frequency":null,"local_seo":null,"seo_analyzer_scan_date":null,"breadcrumb_settings":null,"limit_modified_date":false,"reviewed_by":null,"ai":null,"created":"2021-03-01 00:20:47","updated":"2022-10-01 02:07:44","focus_keyword":null,"additional_keywords":null,"truseo_locale":null},"gt_translate_keys":[{"key":"link","format":"url"}],"_links":{"self":[{"href":"https:\/\/prohoster.info\/hu\/wp-json\/wp\/v2\/posts\/41257","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/prohoster.info\/hu\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/prohoster.info\/hu\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/prohoster.info\/hu\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/prohoster.info\/hu\/wp-json\/wp\/v2\/comments?post=41257"}],"version-history":[{"count":0,"href":"https:\/\/prohoster.info\/hu\/wp-json\/wp\/v2\/posts\/41257\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/prohoster.info\/hu\/wp-json\/wp\/v2\/media\/41258"}],"wp:attachment":[{"href":"https:\/\/prohoster.info\/hu\/wp-json\/wp\/v2\/media?parent=41257"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/prohoster.info\/hu\/wp-json\/wp\/v2\/categories?post=41257"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/prohoster.info\/hu\/wp-json\/wp\/v2\/tags?post=41257"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}