{"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\/cs\/blog\/avtomaticheskaya-proverka-trebovanij-tz-v-proczesse-dinamicheskogo-modelirovaniya","title":{"rendered":"Automatick\u00e1 kontrola po\u017eadavk\u016f TZ b\u011bhem dynamick\u00e9ho modelov\u00e1n\u00ed","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"<p>Pokra\u010dujeme v t\u00e9matu <noindex><a rel=\"nofollow\" href=\"https:\/\/habr.com\/ru\/post\/466215\/\">\u201eJak\u00e9 jsou va\u0161e d\u016fkazy?\u201c<\/a><\/noindex>, pod\u00edvejme se na probl\u00e9m matematick\u00e9ho modelov\u00e1n\u00ed z jin\u00e9ho \u00fahlu. Pot\u00e9, co se ujist\u00edme, \u017ee model odpov\u00edd\u00e1 tvrd\u00e9 pravd\u011b \u017eivota, m\u016f\u017eeme odpov\u011bd\u011bt na z\u00e1kladn\u00ed ot\u00e1zku: \u201eCo vlastn\u011b m\u00e1me?\u201c P\u0159i vytv\u00e1\u0159en\u00ed modelu technick\u00e9ho objektu se obvykle sna\u017e\u00edme ujistit, \u017ee tento objekt spln\u00ed na\u0161e o\u010dek\u00e1v\u00e1n\u00ed. K tomu se prov\u00e1d\u011bj\u00ed dynamick\u00e9 v\u00fdpo\u010dty proces\u016f a v\u00fdsledek se porovn\u00e1v\u00e1 s po\u017eadavky. To je digit\u00e1ln\u00ed dvojn\u00edk, virtu\u00e1ln\u00ed prototyp a dal\u0161\u00ed modern\u00ed pojmy, kter\u00e9 v projektov\u00e9 f\u00e1zi \u0159e\u0161\u00ed, jak zajistit, abychom dostali to, co jsme pl\u00e1novali.<\/p>\n<p><\/p>\n<p>Jak rychle m\u016f\u017eeme zjistit, \u017ee na\u0161e syst\u00e9m je p\u0159esn\u011b to, co projektujeme? Bude l\u00e9tat nebo plavat na\u0161e konstrukce? A pokud polet\u00ed, jak vysoko? A pokud bude plavat, jak hluboko?<\/p>\n<p>\n<img decoding=\"async\" alt=\"Automatick\u00e1 kontrola po\u017eadavk\u016f TZ b\u011bhem dynamick\u00e9ho modelov\u00e1n\u00ed\" 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>V tomto \u010dl\u00e1nku se zab\u00fdv\u00e1me automatizac\u00ed kontroly dodr\u017eov\u00e1n\u00ed technick\u00fdch po\u017eadavk\u016f p\u0159i vytv\u00e1\u0159en\u00ed dynamick\u00fdch model\u016f technick\u00fdch syst\u00e9m\u016f. Jako p\u0159\u00edklad se pod\u00edv\u00e1me na prvek technick\u00e9ho zad\u00e1n\u00ed pro syst\u00e9m vzduchov\u00e9ho chlazen\u00ed letadla.<\/p>\n<p><\/p>\n<p>Zam\u011b\u0159ujeme se na ta po\u017eadavky, kter\u00e9 lze vyj\u00e1d\u0159it \u010d\u00edseln\u011b a matematicky zkontrolovat na z\u00e1klad\u011b konkr\u00e9tn\u00edho v\u00fdpo\u010dtov\u00e9ho modelu. Je jasn\u00e9, \u017ee je to pouze \u010d\u00e1st obecn\u00fdch po\u017eadavk\u016f na jak\u00fdkoli technick\u00fd syst\u00e9m, ale pr\u00e1v\u011b na jejich kontrolu utr\u00e1c\u00edme \u010das, nervy a pen\u00edze na vytv\u00e1\u0159en\u00ed dynamick\u00fdch model\u016f objektu.<\/p>\n<p><\/p>\n<p>P\u0159i popisu technick\u00fdch po\u017eadavk\u016f ve form\u011b dokumentu lze vymezit n\u011bkolik druh\u016f r\u016fzn\u00fdch po\u017eadavk\u016f, z nich\u017e ka\u017ed\u00fd vy\u017eaduje r\u016fzn\u00e1 p\u0159\u00edstupy pro formov\u00e1n\u00ed automatick\u00e9 kontroly dodr\u017eov\u00e1n\u00ed po\u017eadavk\u016f.<\/p>\n<p><\/p>\n<p>Nap\u0159\u00edklad vezm\u011bme takovou malou, ale re\u00e1lnou sadu po\u017eadavk\u016f:<\/p>\n<p>\n<i><\/p>\n<ol>\n<li> Teplota atmosf\u00e9rick\u00e9ho vzduchu na vstupu do chlad\u00edc\u00edho syst\u00e9mu:<br \/>\nna stoj\u00e1nce \u2212 od m\u00ednus 35 do 35 \u00baC,<br \/>\nv letu \u2212 od m\u00ednus 35 do 39 \u00baC.<\/li>\n<li> Statick\u00fd tlak atmosf\u00e9rick\u00e9ho vzduchu b\u011bhem letu \u2212 od 700 do 1013 hPa (od 526 do 760 mm rt. st.).<\/li>\n<li> Celkov\u00fd tlak vzduchu na vstupu do vzduchov\u00e9ho filtru chladic\u00edho syst\u00e9mu v letu \u2212 od 754 do 1200 hPa (od 566 do 1050 mm rt. st.).<\/li>\n<li> Teplota chlad\u00edc\u00edho vzduchu:<br \/>\nna stoj\u00e1nce \u2212 maxim\u00e1ln\u011b 27 \u00baC, pro technick\u00e9 bloky \u2212 maxim\u00e1ln\u011b 29 \u00baC,<br \/>\nv letu \u2212 maxim\u00e1ln\u011b 25 \u00baC, pro technick\u00e9 bloky \u2212 maxim\u00e1ln\u011b 27 \u00baC.<\/li>\n<li> Spot\u0159eba chladic\u00edho vzduchu:<br \/>\nna parkovi\u0161ti \u2212 minim\u00e1ln\u011b 708 kg\/h,<br \/>\nv letu \u2212 minim\u00e1ln\u011b 660 kg\/h.<\/li>\n<li> Teplota vzduchu v p\u0159\u00edstrojov\u00fdch odhaz\u00edch \u2212 maxim\u00e1ln\u011b 60 \u00baC.<\/li>\n<li> Mno\u017estv\u00ed jemnozrnn\u00e9 voln\u00e9 vlhkosti v chladic\u00edm vzduchu \u2212 maxim\u00e1ln\u011b 2 g\/kg such\u00e9ho vzduchu.<\/li>\n<\/ol>\n<p> <\/i><\/p>\n<p>I v t\u00e9to omezen\u00e9 sad\u011b po\u017eadavk\u016f je mo\u017en\u00e9 vy\u010dlenit alespo\u0148 dv\u011b kategorie, kter\u00e9 je nutn\u00e9 ve syst\u00e9mu zpracov\u00e1vat odli\u0161n\u011b:<\/p>\n<p><\/p>\n<ul>\n<li> po\u017eadavky provozn\u00edch podm\u00ednek syst\u00e9mu (p. p. 1-3);<\/li>\n<li> parametrick\u00e9 po\u017eadavky na syst\u00e9m (p. p. 3-7).<\/li>\n<\/ul>\n<p><\/p>\n<p><i>Po\u017eadavky provozn\u00edch podm\u00ednek syst\u00e9mu<\/i><br \/>\nVn\u011bj\u0161\u00ed podm\u00ednky pro vyv\u00edjen\u00fd syst\u00e9m p\u0159i modelov\u00e1n\u00ed mohou b\u00fdt stanoveny jako okrajov\u00e9 podm\u00ednky nebo jako v\u00fdsledek pr\u00e1ce cel\u00e9ho syst\u00e9mu.<br \/>\nP\u0159i dynamick\u00e9m modelov\u00e1n\u00ed je nutn\u00e9 se ujistit, \u017ee zadan\u00e9 provozn\u00ed re\u017eimy jsou pokryty procesem modelov\u00e1n\u00ed.<\/p>\n<p><\/p>\n<p><i>Parametrick\u00e9 po\u017eadavky na syst\u00e9m <\/i><br \/>\nTyto po\u017eadavky p\u0159edstavuj\u00ed parametry zaji\u0161\u0165ovan\u00e9 samotn\u00fdm syst\u00e9mem. V pr\u016fb\u011bhu modelov\u00e1n\u00ed m\u016f\u017eeme tyto parametry z\u00edskat jako v\u00fdsledky v\u00fdpo\u010dtu a ujistit se, \u017ee po\u017eadavky jsou spln\u011bny v ka\u017ed\u00e9m konkr\u00e9tn\u00edm v\u00fdpo\u010dtu.<\/p>\n<p><\/p>\n<h3>Identifikace a k\u00f3dov\u00e1n\u00ed po\u017eadavk\u016f<\/h3>\n<p><\/p>\n<p>Pro usnadn\u011bn\u00ed pr\u00e1ce s po\u017eadavky doporu\u010duj\u00ed existuj\u00edc\u00ed standardy p\u0159i\u0159adit ka\u017ed\u00e9mu po\u017eadavku identifik\u00e1tor. P\u0159i p\u0159i\u0159azen\u00ed identifik\u00e1tor\u016f je velmi \u017e\u00e1douc\u00ed pou\u017e\u00edvat jednotn\u00fd syst\u00e9m k\u00f3dov\u00e1n\u00ed. <\/p>\n<p><\/p>\n<p>K\u00f3d po\u017eadavku m\u016f\u017ee b\u00fdt jednodu\u0161e \u010d\u00edslem odr\u00e1\u017eej\u00edc\u00edm po\u0159adov\u00e9 \u010d\u00edslo po\u017eadavku, nebo m\u016f\u017ee obsahovat k\u00f3d typu po\u017eadavku, k\u00f3d syst\u00e9mu nebo agreg\u00e1tu, na kter\u00fd se vztahuje, k\u00f3d parametru, k\u00f3d um\u00edst\u011bn\u00ed a mnoho dal\u0161\u00edho, co si in\u017een\u00fdr dok\u00e1\u017ee p\u0159edstavit. (variant pou\u017eit\u00ed k\u00f3dov\u00e1n\u00ed viz \u010dl\u00e1nek)<\/p>\n<p><\/p>\n<p>V tabulce 1 je uveden jednoduch\u00fd p\u0159\u00edklad k\u00f3dov\u00e1n\u00ed po\u017eadavk\u016f.<\/p>\n<p><\/p>\n<ol>\n<li> k\u00f3d zdroje po\u017eadavk\u016f R \u2013 po\u017eadavky TDD; <\/li>\n<li> k\u00f3d typu po\u017eadavk\u016f E \u2013 po\u017eadavky \u2013 parametry vn\u011bj\u0161\u00edho prost\u0159ed\u00ed, nebo provozn\u00ed podm\u00ednky<br \/>\n S \u2013 po\u017eadavky zaji\u0161\u0165ovan\u00e9 syst\u00e9mem;<\/li>\n<li> k\u00f3d stavu letadla 0 \u2013 libovoln\u00fd, G \u2013 na parkovi\u0161ti, F \u2013 v letu;<\/li>\n<li> k\u00f3d typu fyzik\u00e1ln\u00edch parametr\u016f T \u2013 teplota, P \u2013 tlak, G \u2013 pr\u016ftok, vlhkost H;<\/li>\n<li> po\u0159adov\u00e9 \u010d\u00edslo po\u017eadavku.<\/li>\n<\/ol>\n<p><\/p>\n<table>\n<tr>\n<td><b>ID<br \/>\nPo\u017eadavky<\/b><\/td>\n<td><b>Popis<\/b><\/td>\n<td><b>Parameter<\/b><\/td>\n<\/tr>\n<tr>\n<td>REGT01<\/td>\n<td>Teplota atmosf\u00e9rick\u00e9ho vzduchu na vstupu do SVO: na parkovi\u0161ti \u2014 od \u221235 \u00baC do 35 \u00baC.<\/td>\n<td><\/td>\n<\/tr>\n<tr>\n<td>REFT01<\/td>\n<td>Teplota atmosf\u00e9rick\u00e9ho vzduchu na vstupu do SVO: za letu \u2014 od \u221235 \u00baC do 39 \u00baC.<\/td>\n<td> <\/td>\n<\/tr>\n<tr>\n<td>REFP01<\/td>\n<td>Statick\u00fd tlak atmosf\u00e9rick\u00e9ho vzduchu za letu od 700 do 1013 hPa (od 526 do 760 mm rt. st.).<\/td>\n<td> <\/td>\n<\/tr>\n<tr>\n<td>REFP02<\/td>\n<td>Celkov\u00fd tlak vzduchu na vstupu do vzduchov\u00e9ho sac\u00edho org\u00e1nu SVO za letu od 754 do 1200 hPa (od 566 do 1050 mm rt. st.).<\/td>\n<td> <\/td>\n<\/tr>\n<tr>\n<td>RSGT01<\/td>\n<td>Teplota chladic\u00edho vzduchu: na parkovi\u0161ti maxim\u00e1ln\u011b 27 \u00baC. <\/td>\n<td> <\/td>\n<\/tr>\n<tr>\n<td>RSGT02<\/td>\n<td>Teplota chladic\u00edho vzduchu: na parkovi\u0161ti pro technick\u00e9 bloky maxim\u00e1ln\u011b 29 \u00baC. <\/td>\n<td> <\/td>\n<\/tr>\n<tr>\n<td>RSFT01<\/td>\n<td>Teplota chladic\u00edho vzduchu za letu maxim\u00e1ln\u011b 25 \u00baC. <\/td>\n<td> <\/td>\n<\/tr>\n<tr>\n<td>RSFT02<\/td>\n<td>Teplota chladic\u00edho vzduchu: za letu, pro technick\u00e9 bloky maxim\u00e1ln\u011b 27 \u00baC. <\/td>\n<td> <\/td>\n<\/tr>\n<tr>\n<td>RSGG01<\/td>\n<td>P\u0159\u00edvod chladic\u00edho vzduchu: na parkovi\u0161ti minim\u00e1ln\u011b 708 kg\/h.<\/td>\n<td> <\/td>\n<\/tr>\n<tr>\n<td>RSFG01<\/td>\n<td>P\u0159\u00edvod chladic\u00edho vzduchu: za letu minim\u00e1ln\u011b 660 kg\/h.<\/td>\n<td> <\/td>\n<\/tr>\n<tr>\n<td>RS0T01<\/td>\n<td>Teplota vzduchu v p\u0159\u00edstrojov\u00fdch odd\u011blen\u00edch maxim\u00e1ln\u011b 60 \u00baC. <\/td>\n<td> <\/td>\n<\/tr>\n<tr>\n<td>RSH01<\/td>\n<td>Mno\u017estv\u00ed jemn\u011b disperzn\u00ed voln\u00e9 vlhkosti v chladic\u00edm vzduchu maxim\u00e1ln\u011b 2 g\/kg such\u00e9ho vzduchu.<\/td>\n<td> <\/td>\n<\/tr>\n<\/table>\n<p><\/p>\n<h3>Projekt syst\u00e9mu kontroly po\u017eadavk\u016f.<\/h3>\n<p><\/p>\n<p>Pro ka\u017ed\u00e9 stanoven\u00e9 po\u017eadovan\u00e9 hodnoty existuje algoritmus pro vyhodnocen\u00ed shody vypo\u010dten\u00fdch parametr\u016f s uveden\u00fdmi po\u017eadovan\u00fdmi hodnotami. V z\u00e1sad\u011b ka\u017ed\u00e9 \u0159\u00eddic\u00ed syst\u00e9m obsahuje algoritmy pro kontrolu po\u017eadavk\u016f, jednodu\u0161e proto, \u017ee to je v\u00fdchoz\u00ed nastaven\u00ed. Dokonce i ka\u017ed\u00fd regul\u00e1tor je m\u00e1. Pokud teplota p\u0159ekro\u010d\u00ed stanoven\u00e9 limity, zapne se klimatizace. Prvn\u00ed krok jak\u00e9hokoli \u0159\u00edzen\u00ed tedy spo\u010d\u00edv\u00e1 v kontrole shody parametr\u016f s po\u017eadavky.<\/p>\n<p><\/p>\n<p>A proto\u017ee kontrola je algoritmus, mohou se pou\u017e\u00edt stejn\u00e9 n\u00e1stroje a n\u00e1stroje, kter\u00e9 pou\u017e\u00edv\u00e1me k vytvo\u0159en\u00ed \u0159\u00eddic\u00edch program\u016f. Nap\u0159\u00edklad prost\u0159ed\u00ed SimInTech umo\u017e\u0148uje vytv\u00e1\u0159et bal\u00ed\u010dky projekt\u016f, kter\u00e9 obsahuj\u00ed r\u016fzn\u00e9 \u010d\u00e1sti modelu proveden\u00e9 jako samostatn\u00e9 projekty (model objektu, model \u0159\u00eddic\u00edho syst\u00e9mu, model prost\u0159ed\u00ed atd.).<\/p>\n<p><\/p>\n<p>Projekt kontroly po\u017eadavk\u016f se tedy st\u00e1v\u00e1 stejn\u00fdm projektem algoritm\u016f a je p\u0159ipojen k bal\u00ed\u010dku modelu. A v re\u017eimu dynamick\u00e9ho modelov\u00e1n\u00ed prov\u00e1d\u00ed anal\u00fdzu shody s po\u017eadavky TZ.<\/p>\n<p><\/p>\n<p>P\u0159\u00edkladem prezentace projektu syst\u00e9mu je zn\u00e1zorn\u011bno na obr\u00e1zku 1.<\/p>\n<p><\/p>\n<p><img decoding=\"async\" alt=\"Automatick\u00e1 kontrola po\u017eadavk\u016f TZ b\u011bhem dynamick\u00e9ho modelov\u00e1n\u00ed\" src=\"\/wp-content\/uploads\/2020\/02\/e57fda1fb5b835a6ac961639db2b1749.jpg\" style=\"display:block;margin: 0 auto;\" \/><br \/>\n<i>Obr\u00e1zek 1. P\u0159\u00edklad prezentace projektu kontroly. <\/i><\/p>\n<p><\/p>\n<p>Stejn\u011b jako pro algoritmy \u0159\u00edzen\u00ed mohou b\u00fdt po\u017eadavky formulov\u00e1ny jako sada list\u016f. Pro usnadn\u011bn\u00ed pr\u00e1ce s algoritmy v prost\u0159ed\u00edch struktur\u00e1ln\u00edho modelov\u00e1n\u00ed, jako jsou SimInTech, Simulink, AmeSim, se vyu\u017e\u00edvaj\u00ed mo\u017enosti vytv\u00e1\u0159en\u00ed v\u00edcestup\u0148ov\u00fdch struktur ve form\u011b submodel\u016f. Takov\u00e1 organizace umo\u017e\u0148uje seskupit r\u016fzn\u00e9 po\u017eadavky do sad pro zjednodu\u0161en\u00ed pr\u00e1ce s mno\u017einou po\u017eadavk\u016f, jak se to d\u011bl\u00e1 pro algoritmy \u0159\u00edzen\u00ed (viz obr. 2).<\/p>\n<p><\/p>\n<p><img decoding=\"async\" alt=\"Automatick\u00e1 kontrola po\u017eadavk\u016f TZ b\u011bhem dynamick\u00e9ho modelov\u00e1n\u00ed\" src=\"\/wp-content\/uploads\/2020\/02\/726ad4d5df1975131e71fc8a14ce71fe.jpg\" style=\"display:block;margin: 0 auto;\" \/><br \/>\n<i>Obr\u00e1zek 2. Hierarchick\u00e1 struktura modelu ov\u011b\u0159ov\u00e1n\u00ed po\u017eadavk\u016f. <\/i><\/p>\n<p><\/p>\n<p>Nap\u0159\u00edklad v tomto p\u0159\u00edpad\u011b jsou vy\u010dlen\u011bny dv\u011b skupiny: po\u017eadavky pro prost\u0159ed\u00ed a po\u017eadavky p\u0159\u00edmo na syst\u00e9m. Proto se pou\u017e\u00edv\u00e1 dvoustup\u0148ov\u00e1 datov\u00e1 struktura: dv\u011b skupiny, z nich\u017e ka\u017ed\u00e1 je listem algoritmu.<\/p>\n<p><\/p>\n<p>Pro p\u0159ipojen\u00ed dat k modelu se pou\u017e\u00edv\u00e1 standardn\u00ed sch\u00e9ma tvorby datab\u00e1ze sign\u00e1l\u016f, ve kter\u00e9 jsou uchov\u00e1ny \u00fadaje pro v\u00fdm\u011bnu mezi \u010d\u00e1stmi projektu.<\/p>\n<p><\/p>\n<p>P\u0159i vytv\u00e1\u0159en\u00ed a testov\u00e1n\u00ed softwaru se do t\u00e9to datab\u00e1ze vkl\u00e1daj\u00ed \u00fadaje ze senzor\u016f (analog\u016f skute\u010dn\u00fdch senzor\u016f syst\u00e9mu), kter\u00e9 jsou pou\u017e\u00edv\u00e1ny \u0159\u00eddic\u00edm syst\u00e9mem.<br \/>\n Pro projekt testov\u00e1n\u00ed se v t\u00e9to datab\u00e1zi mohou ukl\u00e1dat jak\u00e9koliv parametry vypo\u010d\u00edtan\u00e9 v dynamick\u00e9m modelu a t\u00edmto zp\u016fsobem se mohou pou\u017e\u00edvat pro ov\u011b\u0159ov\u00e1n\u00ed spln\u011bn\u00ed po\u017eadavk\u016f.<\/p>\n<p>\nSamotn\u00fd dynamick\u00fd model m\u016f\u017ee b\u00fdt v tomto p\u0159\u00edpad\u011b realizov\u00e1n v jak\u00e9mkoliv syst\u00e9mu matematick\u00e9ho modelov\u00e1n\u00ed nebo dokonce ve form\u011b spustiteln\u00e9ho programu. Jedinou podm\u00ednkou je m\u00edt programov\u00e1 rozhran\u00ed pro v\u00fdstup dat z modelov\u00e1n\u00ed do extern\u00edho prost\u0159ed\u00ed.<\/p>\n<p><img decoding=\"async\" alt=\"Automatick\u00e1 kontrola po\u017eadavk\u016f TZ b\u011bhem dynamick\u00e9ho modelov\u00e1n\u00ed\" src=\"\/wp-content\/uploads\/2020\/02\/ac56799b7a022325f72d0639cd85eba2.jpg\" style=\"display:block;margin: 0 auto;\" \/><br \/>\n<i>Obr\u00e1zek 3. P\u0159ipojen\u00ed projektu ov\u011b\u0159ov\u00e1n\u00ed ke komplexn\u00edmu modelu. <\/i><\/p>\n<p><\/p>\n<p>P\u0159\u00edklad z\u00e1kladn\u00edho listu ov\u011b\u0159ov\u00e1n\u00ed po\u017eadavk\u016f je zobrazen na obr\u00e1zku 4. Z pohledu v\u00fdvoj\u00e1\u0159e se jedn\u00e1 o b\u011b\u017en\u00e9 v\u00fdpo\u010dtov\u00e9 sch\u00e9ma, na kter\u00e9m je graficky zn\u00e1zorn\u011bn algoritmus ov\u011b\u0159ov\u00e1n\u00ed po\u017eadavk\u016f.<\/p>\n<p><\/p>\n<p><img decoding=\"async\" alt=\"Automatick\u00e1 kontrola po\u017eadavk\u016f TZ b\u011bhem dynamick\u00e9ho modelov\u00e1n\u00ed\" src=\"\/wp-content\/uploads\/2020\/02\/467f3217a65e0b4a1def034ce75c747e.jpg\" style=\"display:block;margin: 0 auto;\" \/><br \/>\n<i>Obr\u00e1zek 4. List ov\u011b\u0159ov\u00e1n\u00ed po\u017eadavk\u016f. <\/i><\/p>\n<p><\/p>\n<p>Hlavn\u00ed \u010d\u00e1sti listu ov\u011b\u0159ov\u00e1n\u00ed jsou pops\u00e1ny na obr\u00e1zku 5. Algoritmus ov\u011b\u0159ov\u00e1n\u00ed je sestavov\u00e1n analogicky k v\u00fdpo\u010dtov\u00fdm sch\u00e9mat\u016fm algoritm\u016f \u0159\u00edzen\u00ed. V prav\u00e9 \u010d\u00e1sti se nach\u00e1z\u00ed blok \u010dten\u00ed sign\u00e1l\u016f z datab\u00e1ze. V tomto bloku doch\u00e1z\u00ed k dotazu na datab\u00e1zi sign\u00e1l\u016f b\u011bhem modelov\u00e1n\u00ed.<\/p>\n<p><\/p>\n<p>P\u0159ijat\u00e9 sign\u00e1ly se analyzuj\u00ed za \u00fa\u010delem v\u00fdpo\u010dtu podm\u00ednek ov\u011b\u0159ov\u00e1n\u00ed po\u017eadavk\u016f. V dan\u00e9m p\u0159\u00edpad\u011b se prov\u00e1d\u00ed anal\u00fdza v\u00fd\u0161ky pro ur\u010den\u00ed polohy letadla (zda je na parkovi\u0161ti nebo ve vzduchu). K tomuto \u00fa\u010delu lze tak\u00e9 vyu\u017e\u00edt dal\u0161\u00ed sign\u00e1ly a vypo\u010d\u00edtan\u00e9 parametry modelu.<\/p>\n<p><\/p>\n<p>Podm\u00ednky ov\u011b\u0159ov\u00e1n\u00ed a ov\u011b\u0159ovan\u00e9 parametry se p\u0159ed\u00e1vaj\u00ed do typick\u00fdch blok\u016f ov\u011b\u0159ov\u00e1n\u00ed, ve kter\u00fdch se prov\u00e1d\u00ed anal\u00fdza dat t\u011bchto parametr\u016f na shodu se stanoven\u00fdmi po\u017eadavky. V\u00fdsledky se zapisuj\u00ed do datab\u00e1ze sign\u00e1l\u016f tak, aby je bylo mo\u017en\u00e9 vyu\u017e\u00edt k automatick\u00e9mu vytvo\u0159en\u00ed kontroln\u00edho seznamu.<\/p>\n<p><\/p>\n<p><img decoding=\"async\" alt=\"Automatick\u00e1 kontrola po\u017eadavk\u016f TZ b\u011bhem dynamick\u00e9ho modelov\u00e1n\u00ed\" src=\"\/wp-content\/uploads\/2020\/02\/1aa7778f56190bf51c112e29eab8a13c.jpg\" style=\"display:block;margin: 0 auto;\" \/><br \/>\n<i>Obr\u00e1zek 5. Struktura v\u00fdpo\u010dtov\u00e9ho listu ov\u011b\u0159ov\u00e1n\u00ed po\u017eadavk\u016f.<\/i><\/p>\n<p><\/p>\n<p>Jako ov\u011b\u0159ovan\u00e9 parametry nen\u00ed nutn\u00e9 pou\u017e\u00edvat sign\u00e1ly obsa\u017een\u00e9 v datab\u00e1zi, kter\u00e9 jsou \u0159\u00edzeny parametry vypo\u010d\u00edtan\u00fdmi v pr\u016fb\u011bhu modelov\u00e1n\u00ed. Nic nebr\u00e1n\u00ed prov\u00e1d\u011bt dal\u0161\u00ed v\u00fdpo\u010dty v r\u00e1mci projektov\u00fdch po\u017eadavk\u016f, stejn\u011b jako vypo\u010d\u00edt\u00e1v\u00e1me podm\u00ednky ov\u011b\u0159ov\u00e1n\u00ed.<\/p>\n<p><\/p>\n<p>Nap\u0159\u00edklad takov\u00fd po\u017eadavek:<\/p>\n<p><\/p>\n<p> <i>Po\u010det zapnut\u00ed korek\u010dn\u00edho syst\u00e9mu b\u011bhem letu k c\u00edli nesm\u00ed p\u0159ekro\u010dit \u010d\u00edslo 5, a celkov\u00fd \u010das provozu korek\u010dn\u00edho syst\u00e9mu nesm\u00ed p\u0159ekro\u010dit 30 sekund.<\/i><\/p>\n<p><\/p>\n<p>V tomto p\u0159\u00edpad\u011b se do v\u00fdpo\u010dtov\u00e9ho sch\u00e9matu projektov\u00fdch po\u017eadavk\u016f p\u0159id\u00e1v\u00e1 algoritmus po\u010d\u00edtadla po\u010dtu zapnut\u00ed a celkov\u00e9ho \u010dasu provozu.<\/p>\n<p><\/p>\n<h3>Typick\u00fd blok ov\u011b\u0159ov\u00e1n\u00ed po\u017eadavk\u016f.<\/h3>\n<p><\/p>\n<p>Ka\u017ed\u00fd typick\u00fd blok ov\u011b\u0159ov\u00e1n\u00ed po\u017eadavk\u016f je ur\u010den k v\u00fdpo\u010dtu spln\u011bn\u00ed po\u017eadavku ur\u010dit\u00e9ho typu. Nap\u0159\u00edklad v po\u017eadavc\u00edch na prost\u0159ed\u00ed je uveden rozsah pracovn\u00edch teplot okoln\u00edho vzduchu na parkovi\u0161ti a ve vzduchu. Tento blok by m\u011bl p\u0159ijmout jako parametr teplotu vzduchu v modelu a ur\u010dit, zda tento parametr pokr\u00fdv\u00e1 dan\u00fd teplotn\u00ed rozsah.\n<\/p>\n<p>Blok obsahuje dva vstupn\u00ed porty, param a condition.<\/p>\n<p><\/p>\n<p>Na prvn\u00ed je p\u0159iv\u00e1d\u011bn ov\u011b\u0159ovan\u00fd parametr. V tomto p\u0159\u00edpad\u011b \"Teplota vn\u011bj\u0161\u00edho prost\u0159ed\u00ed\".<\/p>\n<p><\/p>\n<p>Na druh\u00fd port je p\u0159iv\u00e1d\u011bna booleovsk\u00e1 prom\u011bnn\u00e1 \u2013 podm\u00ednka pro proveden\u00ed ov\u011b\u0159ov\u00e1n\u00ed.<\/p>\n<p><\/p>\n<p>Pokud na druh\u00fd vstup p\u0159ijde TRUE (1), blok provede v\u00fdpo\u010det ov\u011b\u0159ov\u00e1n\u00ed po\u017eadavku.<\/p>\n<p><\/p>\n<p>Pokud na druh\u00fd vstup p\u0159ijde FALSE (0), podm\u00ednky kontroly se neproch\u00e1zej\u00ed. To je nutn\u00e9 pro zohledn\u011bn\u00ed podm\u00ednek v\u00fdpo\u010dtu. V na\u0161em p\u0159\u00edpad\u011b se tento vstup pou\u017e\u00edv\u00e1 k zapnut\u00ed nebo vypnut\u00ed kontroly podle stavu modelu. Pokud je letadlo b\u011bhem modelov\u00e1n\u00ed na zemi, po\u017eadavky vztahuj\u00edc\u00ed se k letu se nekontroluj\u00ed, a naopak \u2013 pokud je letadlo ve vzduchu, nekontroluj\u00ed se po\u017eadavky spojen\u00e9 s provozem na st\u00e1n\u00ed.<\/p>\n<p><\/p>\n<p>Tento vstup lze tak\u00e9 pou\u017e\u00edt p\u0159i nastavov\u00e1n\u00ed modelu, nap\u0159\u00edklad na po\u010d\u00e1te\u010dn\u00ed f\u00e1zi v\u00fdpo\u010dtu. Kdy\u017e se model dostane do po\u017eadovan\u00e9ho stavu, bloky kontroly jsou vypnut\u00e9, ale jakmile syst\u00e9m p\u0159ejde do po\u017eadovan\u00e9ho re\u017eimu, bloky kontroly se zapnou.<\/p>\n<p><\/p>\n<p>Jako parametry tohoto bloku se zad\u00e1vaj\u00ed:<\/p>\n<p><\/p>\n<ul>\n<li>hranice podm\u00ednek: horn\u00ed (UpLimit) a doln\u00ed (DownLimit) mez\u00ed, kter\u00e9 maj\u00ed b\u00fdt kontrolov\u00e1ny;<\/li>\n<li> po\u017eadovan\u00fd \u010das setrv\u00e1n\u00ed syst\u00e9mu na mez\u00edch (TimeInterval) v sekund\u00e1ch;<\/li>\n<li>identifik\u00e1tor po\u017eadavku ReqName;<\/li>\n<li>p\u0159\u00edpustnost p\u0159ekro\u010den\u00ed mez\u00ed Out_range \u2013 logick\u00e1 prom\u011bnn\u00e1, kter\u00e1 ur\u010duje, zda je poru\u0161en\u00edm po\u017eadavku v\u00fdstupn\u00ed hodnota za kontrolovanou oblast.<\/li>\n<\/ul>\n<p><\/p>\n<p>V n\u011bkter\u00fdch p\u0159\u00edpadech p\u0159ekro\u010den\u00ed kontrolovan\u00e9 hodnoty znamen\u00e1, \u017ee syst\u00e9m m\u00e1 rezervu a m\u016f\u017ee pracovat mimo pracovn\u00ed oblasti. V jin\u00fdch p\u0159\u00edpadech p\u0159ekro\u010den\u00ed znamen\u00e1, \u017ee syst\u00e9m nezvl\u00e1d\u00e1 udr\u017eet stanoven\u00e9 parametry v mez\u00edch.<\/p>\n<p><\/p>\n<p><img decoding=\"async\" alt=\"Automatick\u00e1 kontrola po\u017eadavk\u016f TZ b\u011bhem dynamick\u00e9ho modelov\u00e1n\u00ed\" src=\"\/wp-content\/uploads\/2020\/02\/3cd48fd6597d1ee11ecaea9931c3fbbb.jpg\" style=\"display:block;margin: 0 auto;\" \/><br \/>\n<i>Obr\u00e1zek 6. Typov\u00fd blok kontroly vlastnosti na sch\u00e9matu a jeho parametry.<\/i><\/p>\n<p><\/p>\n<p>V\u00fdsledkem v\u00fdpo\u010dtu tohoto bloku je varianta Result, kter\u00e1 p\u0159ij\u00edm\u00e1 n\u00e1sleduj\u00edc\u00ed hodnoty:<\/p>\n<p><\/p>\n<ul>\n<li>0 \u2013 rNone, hodnota nen\u00ed definov\u00e1na;<\/li>\n<li>1 \u2013 rDone, po\u017eadavek je spln\u011bn;<\/li>\n<li>2 \u2013 rFault, po\u017eadavek nen\u00ed spln\u011bn.<\/li>\n<\/ul>\n<p><\/p>\n<p>Obr\u00e1zek bloku obsahuje:<\/p>\n<p><\/p>\n<ul>\n<li> text identifik\u00e1toru;<\/li>\n<li> digit\u00e1ln\u00ed zobrazen\u00ed parametr\u016f mez\u00ed m\u011b\u0159en\u00ed;<\/li>\n<li> barevn\u00fd identifik\u00e1tor stavu parametru.<\/li>\n<\/ul>\n<p><\/p>\n<p>Uvnit\u0159 bloku m\u016f\u017ee b\u00fdt dostate\u010dn\u011b slo\u017eit\u00e1 sch\u00e9ma logick\u00e9ho odvozen\u00ed.<\/p>\n<p>Nap\u0159\u00edklad pro kontrolu pracovn\u00edho rozsahu teplot bloku, uveden\u00e9ho na obr\u00e1zku 6, je vnit\u0159n\u00ed sch\u00e9ma zn\u00e1zorn\u011bno na obr\u00e1zku 7.<\/p>\n<p><\/p>\n<p><img decoding=\"async\" alt=\"Automatick\u00e1 kontrola po\u017eadavk\u016f TZ b\u011bhem dynamick\u00e9ho modelov\u00e1n\u00ed\" src=\"\/wp-content\/uploads\/2020\/02\/9ce085c82417fdbc5230056de37af65a.jpg\" style=\"display:block;margin: 0 auto;\" \/><br \/>\n<i>Obr\u00e1zek 7. Vnit\u0159n\u00ed sch\u00e9ma bloku ur\u010den\u00ed rozsahu teplot.<\/i><\/p>\n<p><\/p>\n<p>Uvnit\u0159 bloku sch\u00e9mat se pou\u017e\u00edvaj\u00ed vlastnosti stanoven\u00e9 v parametrech bloku.<br \/>\nKrom\u011b anal\u00fdzy souladu s po\u017eadavky obsahuje vnit\u0159n\u00ed sch\u00e9ma bloku graf pot\u0159ebn\u00fd k zobrazen\u00ed v\u00fdsledk\u016f modelov\u00e1n\u00ed. Tento graf lze vyu\u017e\u00edt jak pro prohl\u00ed\u017een\u00ed b\u011bhem v\u00fdpo\u010dtu, tak pro anal\u00fdzu v\u00fdsledk\u016f po v\u00fdpo\u010dtu.<\/p>\n<p><\/p>\n<p>V\u00fdsledky v\u00fdpo\u010dtu jsou p\u0159ed\u00e1v\u00e1ny na v\u00fdstup bloku a z\u00e1rove\u0148 zapisov\u00e1ny do spole\u010dn\u00e9ho souboru zpr\u00e1vy, kter\u00fd je vytv\u00e1\u0159en na z\u00e1klad\u011b v\u00fdsledk\u016f cel\u00e9ho projektu. (viz obr. 8)<\/p>\n<p><\/p>\n<p>P\u0159\u00edklad zpr\u00e1vy vytvo\u0159en\u00e9 na z\u00e1klad\u011b v\u00fdsledk\u016f modelov\u00e1n\u00ed p\u0159edstavuje html soubor, kter\u00fd je vytvo\u0159en podle zadan\u00e9ho form\u00e1tu. Form\u00e1t m\u016f\u017ee b\u00fdt libovoln\u011b nastaven podle standardu p\u0159ijat\u00e9ho konkr\u00e9tn\u00ed organizac\u00ed.<\/p>\n<p><\/p>\n<p>Uvnit\u0159 bloku sch\u00e9mat se pou\u017e\u00edvaj\u00ed vlastnosti stanoven\u00e9 v parametrech bloku.<br \/>\nKrom\u011b anal\u00fdzy souladu s po\u017eadavky obsahuje vnit\u0159n\u00ed sch\u00e9ma bloku graf pot\u0159ebn\u00fd k zobrazen\u00ed v\u00fdsledk\u016f modelov\u00e1n\u00ed. Tento graf lze vyu\u017e\u00edt jak pro prohl\u00ed\u017een\u00ed b\u011bhem v\u00fdpo\u010dtu, tak pro anal\u00fdzu v\u00fdsledk\u016f po v\u00fdpo\u010dtu.<\/p>\n<p><\/p>\n<p>V\u00fdsledky v\u00fdpo\u010dtu jsou p\u0159ed\u00e1v\u00e1ny na v\u00fdstup bloku a z\u00e1rove\u0148 zapisov\u00e1ny do spole\u010dn\u00e9ho souboru zpr\u00e1vy, kter\u00fd je vytv\u00e1\u0159en na z\u00e1klad\u011b v\u00fdsledk\u016f cel\u00e9ho projektu. (viz obr. 8)<\/p>\n<p><\/p>\n<p>P\u0159\u00edklad zpr\u00e1vy vytvo\u0159en\u00e9 na z\u00e1klad\u011b v\u00fdsledk\u016f modelov\u00e1n\u00ed p\u0159edstavuje html soubor, kter\u00fd je vytvo\u0159en podle zadan\u00e9ho form\u00e1tu. Form\u00e1t m\u016f\u017ee b\u00fdt libovoln\u011b nastaven podle standardu p\u0159ijat\u00e9ho konkr\u00e9tn\u00ed organizac\u00ed.<\/p>\n<p><\/p>\n<p><img decoding=\"async\" alt=\"Automatick\u00e1 kontrola po\u017eadavk\u016f TZ b\u011bhem dynamick\u00e9ho modelov\u00e1n\u00ed\" src=\"\/wp-content\/uploads\/2020\/02\/8ff948417d799bce621e34c709154116.jpg\" style=\"display:block;margin: 0 auto;\" \/><br \/>\n<i>Obr\u00e1zek 8. P\u0159\u00edklad souboru zpr\u00e1vy na z\u00e1klad\u011b v\u00fdsledk\u016f modelov\u00e1n\u00ed.<\/i><\/p>\n<p><\/p>\n<p>V tomto p\u0159\u00edkladu je nastaven\u00ed formy zpr\u00e1vy prov\u00e1d\u011bno p\u0159\u00edmo v vlastnostech projektu, zat\u00edmco form\u00e1t je ur\u010den v tabulce jako glob\u00e1ln\u00ed sign\u00e1ly projektu. V tomto p\u0159\u00edpad\u011b SimInTech automaticky \u0159e\u0161\u00ed \u00fakol nastaven\u00ed zpr\u00e1vy, a blok zapisov\u00e1n\u00ed v\u00fdsledk\u016f do souboru vyu\u017e\u00edv\u00e1 tyto \u0159et\u011bzce pro z\u00e1pis do zpr\u00e1vy.<\/p>\n<p><\/p>\n<p><img decoding=\"async\" alt=\"Automatick\u00e1 kontrola po\u017eadavk\u016f TZ b\u011bhem dynamick\u00e9ho modelov\u00e1n\u00ed\" src=\"\/wp-content\/uploads\/2020\/02\/bbe363bf1d81d00aebb67ca29a35811b.jpg\" style=\"display:block;margin: 0 auto;\" \/><br \/>\n<i>Obr\u00e1zek 9. Nastaven\u00ed form\u00e1tu zpr\u00e1vy v glob\u00e1ln\u00edch sign\u00e1lech projektu.<\/i><\/p>\n<p><\/p>\n<h3>Pou\u017eit\u00ed datab\u00e1ze sign\u00e1l\u016f pro po\u017eadavky.<\/h3>\n<p><\/p>\n<p>Pro automatizaci pr\u00e1ce se nastaven\u00edm vlastnost\u00ed pro ka\u017ed\u00fd typov\u00fd blok se vytv\u00e1\u0159\u00ed typov\u00e1 struktura v datab\u00e1zi sign\u00e1l\u016f. (viz obr. 10)<\/p>\n<\/p>\n<p><img decoding=\"async\" alt=\"Automatick\u00e1 kontrola po\u017eadavk\u016f TZ b\u011bhem dynamick\u00e9ho modelov\u00e1n\u00ed\" src=\"\/wp-content\/uploads\/2020\/02\/7e20a24ca5dadd2da6542325e964ec00.jpg\" style=\"display:block;margin: 0 auto;\" \/><br \/>\n<i>Obr\u00e1zek 10. P\u0159\u00edklad struktury bloku kontroly po\u017eadavku v datab\u00e1zi sign\u00e1l\u016f.<\/i><\/p>\n<p><\/p>\n<p>Datab\u00e1ze sign\u00e1l\u016f zaji\u0161\u0165uje:<\/p>\n<p><\/p>\n<ul>\n<li> Ulo\u017een\u00ed v\u0161ech pot\u0159ebn\u00fdch parametr\u016f po\u017eadavk\u016f na syst\u00e9m.<\/li>\n<li> Pohodln\u00e9 zobrazen\u00ed existuj\u00edc\u00edch v projektu po\u017eadavk\u016f z dan\u00fdch parametr\u016f a aktu\u00e1ln\u00edch v\u00fdsledk\u016f modelov\u00e1n\u00ed.<\/li>\n<li> Nastaven\u00ed jednoho bloku, skupiny blok\u016f pomoc\u00ed skriptovac\u00edho programovac\u00edho jazyka. Zm\u011bny v datab\u00e1zi sign\u00e1l\u016f vedou ke zm\u011bn\u011b hodnot vlastnost\u00ed bloku v sch\u00e9matu.<\/li>\n<li> Ulo\u017een\u00ed textov\u00fdch popis\u016f, odkazy na body TZ nebo identifik\u00e1tory v syst\u00e9mu spr\u00e1vy po\u017eadavk\u016f.<\/li>\n<\/ul>\n<p><\/p>\n<p>Struktury datab\u00e1ze sign\u00e1l\u016f pro po\u017eadavky mohou b\u00fdt snadno nastaveny pro pr\u00e1ci s extern\u00edm syst\u00e9mem spr\u00e1vy po\u017eadavk\u016f, obecn\u00e9 sch\u00e9ma interakce se syst\u00e9my spr\u00e1vy po\u017eadavk\u016f je uvedeno na obr\u00e1zku 11.<\/p>\n<p><\/p>\n<p><img decoding=\"async\" alt=\"Automatick\u00e1 kontrola po\u017eadavk\u016f TZ b\u011bhem dynamick\u00e9ho modelov\u00e1n\u00ed\" src=\"\/wp-content\/uploads\/2020\/02\/3f6d67b8160255fd39d0d8bedf8be655.jpg\" style=\"display:block;margin: 0 auto;\" \/><br \/>\n<i>Obr\u00e1zek 11. Sch\u00e9ma interakce se syst\u00e9mem spr\u00e1vy po\u017eadavk\u016f.<\/i><\/p>\n<p><\/p>\n<p>Sekvence interakce testovac\u00edho projektu SimInTech se syst\u00e9mem \u0159\u00edzen\u00ed po\u017eadavk\u016f je n\u00e1sleduj\u00edc\u00ed:<\/p>\n<p><\/p>\n<ol>\n<li> Technick\u00e1 specifikace se d\u011bl\u00ed na po\u017eadavky.<\/li>\n<li> Jsou vy\u010dlen\u011bny takov\u00e9 po\u017eadavky technick\u00e9 specifikace, kter\u00e9 lze ov\u011b\u0159it pomoc\u00ed matematick\u00e9ho modelov\u00e1n\u00ed technick\u00fdch proces\u016f.<\/li>\n<li> Atributy vy\u010dlen\u011bn\u00fdch po\u017eadavk\u016f jsou p\u0159ed\u00e1v\u00e1ny do datab\u00e1ze sign\u00e1l\u016f SimInTech ve struktur\u00e1ch typov\u00fdch blok\u016f (nap\u0159\u00edklad maxim\u00e1ln\u00ed a minim\u00e1ln\u00ed teplota).<\/li>\n<li> B\u011bhem v\u00fdpo\u010dtu jsou data struktur p\u0159ed\u00e1v\u00e1na do v\u00fdpo\u010dtov\u00fdch sch\u00e9mat blok\u016f, prov\u00e1d\u00ed se anal\u00fdza a v\u00fdsledky se ukl\u00e1daj\u00ed do datab\u00e1ze sign\u00e1l\u016f.<\/li>\n<li> Po dokon\u010den\u00ed v\u00fdpo\u010dtu jsou v\u00fdsledky anal\u00fdzy p\u0159ed\u00e1ny do syst\u00e9mu \u0159\u00edzen\u00ed po\u017eadavk\u016f.<\/li>\n<\/ol>\n<p><\/p>\n<p>F\u00e1ze pr\u00e1ce s po\u017eadavky 3 \u2014 5 se mohou opakovat b\u011bhem procesu n\u00e1vrhu, kdy\u017e doch\u00e1z\u00ed ke zm\u011bn\u00e1m ve konstrukci a (nebo) po\u017eadavc\u00edch a je tedy nezbytn\u00e9 zopakovat kontrolu vlivu proveden\u00fdch zm\u011bn.<\/p>\n<p><\/p>\n<h3>Z\u00e1v\u011bry.<\/h3>\n<p><\/p>\n<ul>\n<li> Vytvo\u0159en\u00fd prototyp syst\u00e9mu zaji\u0161\u0165uje v\u00fdznamn\u00e9 zkr\u00e1cen\u00ed \u010dasu anal\u00fdzy st\u00e1vaj\u00edc\u00edch model\u016f z hlediska shody s po\u017eadavky technick\u00e9 specifikace.<\/li>\n<li> Navrhovan\u00e1 technologie testov\u00e1n\u00ed vyu\u017e\u00edv\u00e1 ji\u017e existuj\u00edc\u00ed dynamick\u00e9 modely a m\u016f\u017ee b\u00fdt pou\u017eita i pro jak\u00e9koli dynamick\u00e9 modely, v\u010detn\u011b t\u011bch, kter\u00e9 nejsou vytvo\u0159eny v prost\u0159ed\u00ed SimInTech.<\/li>\n<li> Pou\u017eit\u00ed paketov\u00e9 organizace dat umo\u017e\u0148uje vytv\u00e1\u0159et bal\u00ed\u010dky kontroln\u00edch po\u017eadavk\u016f paraleln\u011b s v\u00fdvojem model\u016f, nebo dokonce pou\u017e\u00edt tyto bal\u00ed\u010dky jako technickou specifikaci pro v\u00fdvoj model\u016f.<\/li>\n<li> Technologie m\u016f\u017ee b\u00fdt bez v\u00fdrazn\u00fdch n\u00e1klad\u016f integrov\u00e1na s existuj\u00edc\u00edmi syst\u00e9my \u0159\u00edzen\u00ed po\u017eadavk\u016f.<\/li>\n<\/ul>\n<p><\/p>\n<p>Pro ty, kte\u0159\u00ed do\u010detli a\u017e do konce, <noindex><a rel=\"nofollow\" href=\"https:\/\/youtu.be\/be9qPox4AXk\">odkaz na video s demonstrac\u00ed pr\u00e1ce prototypu.<\/a><\/noindex><\/p>\n<p>Zdroj: <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\/cs\/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=\"cs_CZ\" \/>\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\/cs\/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\udd47Automatick\u00e1 kontrola po\u017eadavk\u016f technick\u00e9 specifikace b\u011bhem dynamick\u00e9ho modelov\u00e1n\u00ed | ProHoster","description":"Pokra\u010duj\u00edc\u00ed v t\u00e9matu \u201eJak\u00e9 jsou va\u0161e d\u016fkazy?\u201c, pod\u00edv\u00e1me se na probl\u00e9m matematick\u00e9ho modelov\u00e1n\u00ed z jin\u00e9ho \u00fahlu pohledu.","canonical_url":"https:\/\/prohoster.info\/cs\/blog\/avtomaticheskaya-proverka-trebovanij-tz-v-proczesse-dinamicheskogo-modelirovaniya","robots":"max-image-preview:large","keywords":"","webmasterTools":{"miscellaneous":""},"schema":null,"og:locale":"cs_CZ","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\/cs\/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\/cs\/wp-json\/wp\/v2\/posts\/41257","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/prohoster.info\/cs\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/prohoster.info\/cs\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/prohoster.info\/cs\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/prohoster.info\/cs\/wp-json\/wp\/v2\/comments?post=41257"}],"version-history":[{"count":0,"href":"https:\/\/prohoster.info\/cs\/wp-json\/wp\/v2\/posts\/41257\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/prohoster.info\/cs\/wp-json\/wp\/v2\/media\/41258"}],"wp:attachment":[{"href":"https:\/\/prohoster.info\/cs\/wp-json\/wp\/v2\/media?parent=41257"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/prohoster.info\/cs\/wp-json\/wp\/v2\/categories?post=41257"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/prohoster.info\/cs\/wp-json\/wp\/v2\/tags?post=41257"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}