{"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\/sk\/blog\/avtomaticheskaya-proverka-trebovanij-tz-v-proczesse-dinamicheskogo-modelirovaniya","title":{"rendered":"Automatizovan\u00e1 kontrola po\u017eiadaviek technickej \u0161pecifik\u00e1cie v procese dynamick\u00e9ho modelovania","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"<p>Pokra\u010duj\u00fac v t\u00e9me <noindex><a rel=\"nofollow\" href=\"https:\/\/habr.com\/ru\/post\/466215\/\">\u201eAk\u00e9 s\u00fa va\u0161e d\u00f4kazy?\u201c<\/a><\/noindex>, pozrime sa na probl\u00e9m matematick\u00e9ho modelovania z inej perspekt\u00edvy. Po tom, \u010do sme sa uistili, \u017ee model zodpoved\u00e1 z\u00e1kladnej pravde \u017eivota, m\u00f4\u017eeme odpoveda\u0165 na z\u00e1kladn\u00fa ot\u00e1zku: \u201e\u010co vlastne m\u00e1me?\u201c Pri vytv\u00e1ran\u00ed modelu technick\u00e9ho objektu chceme zvy\u010dajne zabezpe\u010di\u0165, \u017ee tento objekt bude zodpoveda\u0165 na\u0161im o\u010dak\u00e1vaniam. Za t\u00fdmto \u00fa\u010delom sa vykon\u00e1vaj\u00fa dynamick\u00e9 v\u00fdpo\u010dty procesov a v\u00fdsledok sa porovn\u00e1va s po\u017eiadavkami. To je digit\u00e1lny dvojn\u00edk, virtu\u00e1lny prototyp a \u010fal\u0161ie m\u00f3dne z\u00e1le\u017eitosti, ktor\u00e9 v \u0161t\u00e1diu projektovania rie\u0161ia \u00falohu, ako zabezpe\u010di\u0165, aby sme dostali to, \u010do sme pl\u00e1novali.<\/p>\n<p><\/p>\n<p>Ako m\u00f4\u017eeme r\u00fdchlo zisti\u0165, \u010di n\u00e1\u0161 syst\u00e9m je presne to, \u010do projektujeme, vzlietne alebo sa potop\u00ed na\u0161a kon\u0161trukcia? A ak vzlietne, ako vysoko? A ak sa potop\u00ed, ako hlboko?<\/p>\n<p>\n<img decoding=\"async\" alt=\"Automatizovan\u00e1 kontrola po\u017eiadaviek technickej \u0161pecifik\u00e1cie v procese dynamick\u00e9ho modelovania\" 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 sa sk\u00fama automatiz\u00e1cia kontroly splnenia po\u017eiadaviek technick\u00e9ho zadania pri vytv\u00e1ran\u00ed dynamick\u00fdch modelov technick\u00fdch syst\u00e9mov. Ako pr\u00edklad sa pozrieme na prvok technick\u00e9ho zadania pre syst\u00e9m vzdu\u0161n\u00e9ho chladenia lietaj\u00faceho apar\u00e1tu.<\/p>\n<p><\/p>\n<p>S\u00fastre\u010fujeme sa na tie po\u017eiadavky, ktor\u00e9 je mo\u017en\u00e9 vyjadri\u0165 \u010d\u00edselne a overi\u0165 matematicky na z\u00e1klade konkr\u00e9tneho v\u00fdpo\u010dtov\u00e9ho modelu. Je zrejm\u00e9, \u017ee to je len \u010das\u0165 v\u0161eobecn\u00fdch po\u017eiadaviek na ak\u00fdko\u013evek technick\u00fd syst\u00e9m, ale pr\u00e1ve na ich overenie str\u00e1came \u010das, nervy a peniaze na vytvorenie dynamick\u00fdch modelov objektu.<\/p>\n<p><\/p>\n<p>Pri opise technick\u00fdch po\u017eiadaviek vo forme dokumentu je mo\u017en\u00e9 vy\u010dleni\u0165 nieko\u013eko typov r\u00f4znych po\u017eiadaviek, z ktor\u00fdch ka\u017ed\u00e1 vy\u017eaduje r\u00f4zne pr\u00edstupy na vytvorenie automatickej kontroly splnenia po\u017eiadaviek.<\/p>\n<p><\/p>\n<p>Napr\u00edklad, pozrime sa na tak\u00fato mal\u00fa, ale re\u00e1lnu sadu po\u017eiadaviek:<\/p>\n<p>\n<i><\/p>\n<ol>\n<li> Teplota atmosferick\u00e9ho vzduchu na vstupe do SVO:<br \/>\nna st\u00e1t\u00ed \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 atmosferick\u00e9ho vzduchu v letu \u2212 od 700 do 1013 GPa (od 526 do 760 mm Hg).<\/li>\n<li> Celkov\u00fd tlak vzduchu na vstupe do nas\u00e1vania SVO v lete \u2212 od 754 do 1200 GPa (od 566 do 1050 mm Hg).<\/li>\n<li> Teplota chladn\u00e9ho vzduchu:<br \/>\nna parkovisku \u2212 nie viac ako 27 \u00baC, pre technick\u00e9 bloky \u2212 nie viac ako 29 \u00baC,<br \/>\nv lete \u2212 nie viac ako 25 \u00baC, pre technick\u00e9 bloky \u2212 nie viac ako 27 \u00baC.<\/li>\n<li> Spotreba chladiaceho vzduchu:<br \/>\nna parkovisku \u2212 nie menej ako 708 kg\/h,<br \/>\nv lete \u2212 nie menej ako 660 kg\/h.<\/li>\n<li> Teplota vzduchu v pr\u00edstrojov\u00fdch oddieloch \u2212 nie viac ako 60 \u00baC.<\/li>\n<li> Mno\u017estvo jemnozrnnej vo\u013enej vlhkosti v chladiacom vzduchu \u2212 nie viac ako 2 g\/kg such\u00e9ho vzduchu.<\/li>\n<\/ol>\n<p> <\/i><\/p>\n<p>Aj v takom obmedzenom s\u00fabore po\u017eiadaviek je mo\u017en\u00e9 vy\u010dleni\u0165 aspo\u0148 dve kateg\u00f3rie, ktor\u00e9 je potrebn\u00e9 spracov\u00e1va\u0165 v syst\u00e9me r\u00f4znymi sp\u00f4sobmi:<\/p>\n<p><\/p>\n<ul>\n<li> po\u017eiadavky na prev\u00e1dzkov\u00e9 podmienky syst\u00e9mu (b. p. 1-3);<\/li>\n<li> parametrick\u00e9 po\u017eiadavky na syst\u00e9m (b. p. 3-7).<\/li>\n<\/ul>\n<p><\/p>\n<p><i>Po\u017eiadavky na prev\u00e1dzkov\u00e9 podmienky syst\u00e9mu<\/i><br \/>\nExtern\u00e9 podmienky pre vyv\u00edjan\u00fd syst\u00e9m pri modelovan\u00ed m\u00f4\u017eu by\u0165 stanoven\u00e9 ako okrajov\u00e9 podmienky, alebo ako v\u00fdsledok \u010dinnosti celkov\u00e9ho syst\u00e9mu.<br \/>\nPri dynamickom modelovan\u00ed je potrebn\u00e9 zabezpe\u010di\u0165, \u017ee zadan\u00e9 prev\u00e1dzkov\u00e9 re\u017eimy s\u00fa pokryt\u00e9 procesom modelovania.<\/p>\n<p><\/p>\n<p><i>Parametrick\u00e9 po\u017eiadavky na syst\u00e9m <\/i><br \/>\nTieto po\u017eiadavky predstavuj\u00fa parametre zabezpe\u010den\u00e9 samotn\u00fdm syst\u00e9mom. V procese modelovania m\u00f4\u017eeme z\u00edska\u0165 tieto parametre ako v\u00fdsledky v\u00fdpo\u010dtu a uisti\u0165 sa, \u017ee po\u017eiadavky s\u00fa splnen\u00e9 v ka\u017edom konkr\u00e9tnom v\u00fdpo\u010dte.<\/p>\n<p><\/p>\n<h3>Identifik\u00e1cia a k\u00f3dovanie po\u017eiadaviek<\/h3>\n<p><\/p>\n<p>Pre jednoduch\u0161iu pr\u00e1cu s po\u017eiadavkami existuj\u00face normy odpor\u00fa\u010daj\u00fa priradi\u0165 ka\u017ed\u00e9mu po\u017eiadavku identifik\u00e1tor. Pri prira\u010fovan\u00ed identifik\u00e1torov je ve\u013emi \u017eiaduce pou\u017ei\u0165 jednotn\u00fd k\u00f3dovac\u00ed syst\u00e9m. <\/p>\n<p><\/p>\n<p>K\u00f3d po\u017eiadavky m\u00f4\u017ee by\u0165 jednoducho \u010d\u00edslom odr\u00e1\u017eaj\u00facim poradov\u00e9 \u010d\u00edslo po\u017eiadavky, alebo m\u00f4\u017ee obsahova\u0165 k\u00f3d typu po\u017eiadavky, k\u00f3d syst\u00e9mu alebo agreg\u00e1tu, na ktor\u00fd sa vz\u0165ahuje, k\u00f3d parametra, k\u00f3d umiestnenia a mnoho \u010fal\u0161ieho, \u010do si dok\u00e1\u017ee in\u017einier predstavi\u0165. (variant pou\u017eitia k\u00f3dovania pozri v \u010dl\u00e1nku)<\/p>\n<p><\/p>\n<p>V tabu\u013eke 1 je uveden\u00fd jednoduch\u00fd pr\u00edklad k\u00f3dovania po\u017eiadaviek.<\/p>\n<p><\/p>\n<ol>\n<li> k\u00f3d zdroja po\u017eiadaviek R- po\u017eiadavky TZ; <\/li>\n<li> k\u00f3d typu po\u017eiadaviek E \u2013 po\u017eiadavky \u2013 parametre vonkaj\u0161ieho prostredia, alebo prev\u00e1dzkov\u00e9 podmienky<br \/>\n S \u2014 po\u017eiadavky zabezpe\u010dovan\u00e9 syst\u00e9mom;<\/li>\n<li> k\u00f3d stavu lietadla 0 \u2013 ak\u00fdko\u013evek, G \u2013 na parkovisku, F \u2013 v lete;<\/li>\n<li> k\u00f3d typu fyzick\u00fdch parametrov T \u2013 teplota, P \u2013 tlak, G \u2013 prietok, vlhkos\u0165 H;<\/li>\n<li> poradov\u00e9 \u010d\u00edslo po\u017eiadavky.<\/li>\n<\/ol>\n<p><\/p>\n<table>\n<tr>\n<td><b>ID<br \/>\nPo\u017eiadavky<\/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 vzduchu na vstupe do SVO: na zemi \u2014 od m\u00ednus 35\u00baC do 35 \u00baC.<\/td>\n<td><\/td>\n<\/tr>\n<tr>\n<td>REFT01<\/td>\n<td>Teplota vzduchu na vstupe do SVO: vo vzlete \u2014 od m\u00ednus 35 \u00baC do 39 \u00baC.<\/td>\n<td> <\/td>\n<\/tr>\n<tr>\n<td>REFP01<\/td>\n<td>Statick\u00fd tlak vzduchu vo vzlete od 700 do 1013 hPa (od 526 do 760 mm Hg).<\/td>\n<td> <\/td>\n<\/tr>\n<tr>\n<td>REFP02<\/td>\n<td>Celkov\u00fd tlak vzduchu na vstupe do nas\u00e1vacieho otvoru SVO vo vzlete od 754 do 1200 hPa (od 566 do 1050 mm Hg).<\/td>\n<td> <\/td>\n<\/tr>\n<tr>\n<td>RSGT01<\/td>\n<td>Teplota chladiaceho vzduchu: na zemi najviac 27 \u00baC <\/td>\n<td> <\/td>\n<\/tr>\n<tr>\n<td>RSGT02<\/td>\n<td>Teplota chladiaceho vzduchu: na zemi, pre technick\u00e9 bloky najviac 29 \u00baC <\/td>\n<td> <\/td>\n<\/tr>\n<tr>\n<td>RSFT01<\/td>\n<td>Teplota chladiaceho vzduchu vo vzlete najviac 25 \u00baC <\/td>\n<td> <\/td>\n<\/tr>\n<tr>\n<td>RSFT02<\/td>\n<td>Teplota chladiaceho vzduchu: vo vzlete, pre technick\u00e9 bloky najviac 27 \u00baC <\/td>\n<td> <\/td>\n<\/tr>\n<tr>\n<td>RSGG01<\/td>\n<td>Pr\u00edvod chladiaceho vzduchu: na zemi najmenej 708 kg\/h<\/td>\n<td> <\/td>\n<\/tr>\n<tr>\n<td>RSFG01<\/td>\n<td>Pr\u00edvod chladiaceho vzduchu: vo vzlete najmenej 660 kg\/h<\/td>\n<td> <\/td>\n<\/tr>\n<tr>\n<td>RS0T01<\/td>\n<td>Teplota vzduchu v pr\u00edstrojov\u00fdch priestoroch najviac 60 \u00baC <\/td>\n<td> <\/td>\n<\/tr>\n<tr>\n<td>RSH01<\/td>\n<td>Mno\u017estvo jemne dispergovanej vo\u013enej vlhkosti v chladiacom vzduchu najviac 2 g\/kg such\u00e9ho vzduchu<\/td>\n<td> <\/td>\n<\/tr>\n<\/table>\n<p><\/p>\n<h3>Projekt syst\u00e9mu kontroly po\u017eiadaviek.<\/h3>\n<p><\/p>\n<p>Pre ka\u017ed\u00fa vypo\u010d\u00edtan\u00fa po\u017eiadavku existuje algoritmus hodnotenia zhody vypo\u010d\u00edtan\u00fdch parametrov a parametrov stanoven\u00fdch v po\u017eiadavke. V podstate ka\u017ed\u00e1 riadiaca s\u00fastava v\u017edy obsahuje algoritmy kontroly po\u017eiadaviek z princ\u00edpu. A dokonca aj ka\u017ed\u00fd regul\u00e1tor ich m\u00e1. Ak teplota prekro\u010d\u00ed hranicu, zapne sa klimatiz\u00e1cia. Tak\u017ee prv\u00e1 f\u00e1za ak\u00e9hoko\u013evek riadenia je kontrola zhody parametrov s po\u017eiadavkou.<\/p>\n<p><\/p>\n<p>A ke\u010f\u017ee kontrola je algoritmus, je mo\u017en\u00e9 pou\u017ei\u0165 tie ist\u00e9 prostriedky a n\u00e1stroje, ktor\u00e9 pou\u017e\u00edvame na tvorbu riadiacich programov. Napr\u00edklad prostredie SimInTech umo\u017e\u0148uje vytv\u00e1ra\u0165 bal\u00edky projektov, ktor\u00e9 obsahuj\u00fa r\u00f4zne \u010dasti modelu vykonan\u00e9 vo forme samostatn\u00fdch projektov (model objektu, model riadenia, model okolia at\u010f.).<\/p>\n<p><\/p>\n<p>Projekt kontroly po\u017eiadaviek sa v tomto pr\u00edpade st\u00e1va rovnak\u00fdm projektom algoritmov a je pripojen\u00fd k modelov\u00e9mu bal\u00edku. A v re\u017eime dynamick\u00e9ho modelovania vykon\u00e1va anal\u00fdzu s\u00faladu s po\u017eiadavkami technickej dokument\u00e1cie.<\/p>\n<p><\/p>\n<p>Mo\u017en\u00fd pr\u00edklad zobrazenia projektu syst\u00e9mu je uveden\u00fd na obr\u00e1zku 1.<\/p>\n<p><\/p>\n<p><img decoding=\"async\" alt=\"Automatizovan\u00e1 kontrola po\u017eiadaviek technickej \u0161pecifik\u00e1cie v procese dynamick\u00e9ho modelovania\" src=\"\/wp-content\/uploads\/2020\/02\/e57fda1fb5b835a6ac961639db2b1749.jpg\" style=\"display:block;margin: 0 auto;\" \/><br \/>\n<i>Obr\u00e1zok 1. Pr\u00edklad zobrazenia projektu kontroly. <\/i><\/p>\n<p><\/p>\n<p>Rovnako ako pre algoritmy riadenia, aj po\u017eiadavky je mo\u017en\u00e9 zdokumentova\u0165 vo forme s\u00faboru listov. Pre u\u013eah\u010denie pr\u00e1ce s algoritmami v prostrediach \u0161truktur\u00e1lneho modelovania, ako s\u00fa SimInTech, Simulink, AmeSim, sa vyu\u017e\u00edvaj\u00fa mo\u017enosti vytv\u00e1rania viac\u00farov\u0148ov\u00fdch \u0161trukt\u00far vo forme submodelov. Tak\u00e1to organiz\u00e1cia umo\u017e\u0148uje skupinova\u0165 r\u00f4zne po\u017eiadavky do s\u00faborov na zjednodu\u0161enie pr\u00e1ce s rozsahom po\u017eiadaviek, ako sa to rob\u00ed pre algoritmy riadenia (pozri obr. 2).<\/p>\n<p><\/p>\n<p><img decoding=\"async\" alt=\"Automatizovan\u00e1 kontrola po\u017eiadaviek technickej \u0161pecifik\u00e1cie v procese dynamick\u00e9ho modelovania\" src=\"\/wp-content\/uploads\/2020\/02\/726ad4d5df1975131e71fc8a14ce71fe.jpg\" style=\"display:block;margin: 0 auto;\" \/><br \/>\n<i>Obr\u00e1zok 2. Hierarchick\u00e1 \u0161trukt\u00fara modelu overovania po\u017eiadaviek. <\/i><\/p>\n<p><\/p>\n<p>Napr\u00edklad, v zva\u017eovanom pr\u00edpade s\u00fa vy\u010dlenen\u00e9 dve skupiny: po\u017eiadavky na prostredie a po\u017eiadavky priamo na syst\u00e9m. Preto sa vyu\u017e\u00edva dvoj\u00farov\u0148ov\u00e1 \u0161trukt\u00fara \u00fadajov: dve skupiny, z ktor\u00fdch ka\u017ed\u00e1 je listom algoritmu.<\/p>\n<p><\/p>\n<p>Na prepojenie \u00fadajov s modelom sa pou\u017e\u00edva \u0161tandardn\u00e9 sch\u00e9ma formovania datab\u00e1zy sign\u00e1lov, v ktorej s\u00fa ulo\u017een\u00e9 \u00fadaje pre v\u00fdmenu medzi \u010das\u0165ami projektu.<\/p>\n<p><\/p>\n<p>Po\u010das vytv\u00e1rania a testovania softv\u00e9ru s\u00fa do tejto datab\u00e1zy ulo\u017een\u00e9 hodnoty senzorov (analogick\u00fdch re\u00e1lnym senzorom syst\u00e9mu), ktor\u00e9 vyu\u017e\u00edva syst\u00e9m riadenia.<br \/>\n Pre projekt testovania m\u00f4\u017eu by\u0165 v tej istej datab\u00e1ze ulo\u017een\u00e9 ak\u00e9ko\u013evek parametre, ktor\u00e9 sa vypo\u010d\u00edtavaj\u00fa v dynamickom modeli, a takto sa m\u00f4\u017eu pou\u017ei\u0165 na overenie splnenia po\u017eiadaviek.<\/p>\n<p>\nSamotn\u00fd dynamick\u00fd model m\u00f4\u017ee by\u0165 v tomto pr\u00edpade realizovan\u00fd v akomko\u013evek syst\u00e9me matematick\u00e9ho modelovania alebo dokonca vo forme vykonate\u013en\u00e9ho programu. Jedinou po\u017eiadavkou je existencia programov\u00fdch rozhran\u00ed na pred\u00e1vanie \u00fadajov z modelovania do vonkaj\u0161ieho prostredia.<\/p>\n<p><img decoding=\"async\" alt=\"Automatizovan\u00e1 kontrola po\u017eiadaviek technickej \u0161pecifik\u00e1cie v procese dynamick\u00e9ho modelovania\" src=\"\/wp-content\/uploads\/2020\/02\/ac56799b7a022325f72d0639cd85eba2.jpg\" style=\"display:block;margin: 0 auto;\" \/><br \/>\n<i>Obr\u00e1zok 3. Prepojenie projektu overovania na komplexn\u00fd model. <\/i><\/p>\n<p><\/p>\n<p>Pr\u00edklad z\u00e1kladn\u00e9ho listu overovania po\u017eiadaviek je uveden\u00fd na obr\u00e1zku 4. Z poh\u013eadu v\u00fdvoj\u00e1ra predstavuje be\u017en\u00fa v\u00fdpo\u010dtov\u00fa sch\u00e9mu, na ktorej je graficky zobrazen\u00fd algoritmus overovania po\u017eiadaviek.<\/p>\n<p><\/p>\n<p><img decoding=\"async\" alt=\"Automatizovan\u00e1 kontrola po\u017eiadaviek technickej \u0161pecifik\u00e1cie v procese dynamick\u00e9ho modelovania\" src=\"\/wp-content\/uploads\/2020\/02\/467f3217a65e0b4a1def034ce75c747e.jpg\" style=\"display:block;margin: 0 auto;\" \/><br \/>\n<i>Obr\u00e1zok 4. List overovania po\u017eiadaviek. <\/i><\/p>\n<p><\/p>\n<p>Hlavn\u00e9 \u010dasti listu overovania s\u00fa op\u00edsan\u00e9 na obr\u00e1zku 5. Algoritmus overovania sa formuje analogicky s v\u00fdpo\u010dtov\u00fdmi sch\u00e9mami algoritmov riadenia. V pravej \u010dasti sa nach\u00e1dza blok \u010d\u00edtania sign\u00e1lov z datab\u00e1zy. V tomto bloku doch\u00e1dza k pr\u00edstupu k datab\u00e1ze sign\u00e1lov po\u010das modelovania.<\/p>\n<p><\/p>\n<p>Prijat\u00e9 sign\u00e1ly sa analyzuj\u00fa na ur\u010denie podmienok overovania po\u017eiadaviek. V tomto pr\u00edpade sa vykon\u00e1va anal\u00fdza v\u00fd\u0161ky na ur\u010denie polohy lietadla (\u010di je na stoj\u00e1nke alebo vo vzlete). Na tento \u00fa\u010del je mo\u017en\u00e9 pou\u017ei\u0165 aj in\u00e9 sign\u00e1ly a vypo\u010d\u00edtan\u00e9 parametre modelu.<\/p>\n<p><\/p>\n<p>Podmienky overovania a overovan\u00e9 parametre sa odovzd\u00e1vaj\u00fa do \u0161tandardn\u00fdch blokov overovania, v ktor\u00fdch sa vykon\u00e1va anal\u00fdza d\u00e1tov\u00fdch parametrov na zhodu so stanoven\u00fdmi po\u017eiadavkami. V\u00fdsledky sa zapisuj\u00fa do datab\u00e1zy sign\u00e1lov tak, aby sa dali pou\u017ei\u0165 na automatick\u00e9 generovanie kontroln\u00e9ho zoznamu.<\/p>\n<p><\/p>\n<p><img decoding=\"async\" alt=\"Automatizovan\u00e1 kontrola po\u017eiadaviek technickej \u0161pecifik\u00e1cie v procese dynamick\u00e9ho modelovania\" src=\"\/wp-content\/uploads\/2020\/02\/1aa7778f56190bf51c112e29eab8a13c.jpg\" style=\"display:block;margin: 0 auto;\" \/><br \/>\n<i>Obr\u00e1zok 5. \u0160trukt\u00fara v\u00fdpo\u010dtov\u00e9ho listu overovania po\u017eiadaviek.<\/i><\/p>\n<p><\/p>\n<p>Ako overovan\u00e9 parametre nemus\u00edte pou\u017ei\u0165 sign\u00e1ly, ktor\u00e9 s\u00fa obsiahnut\u00e9 v datab\u00e1ze a spravovan\u00e9 parametrami vypo\u010d\u00edtan\u00fdmi po\u010das modelovania. Ni\u010d nezabr\u00e1n\u00ed vykona\u0165 dodato\u010dn\u00e9 v\u00fdpo\u010dty v r\u00e1mci projektu po\u017eiadaviek, rovnako ako vypo\u010d\u00edtavame podmienky overovania.<\/p>\n<p><\/p>\n<p>Napr\u00edklad, tak\u00e1to po\u017eiadavka:<\/p>\n<p><\/p>\n<p> <i>Po\u010det zapnut\u00ed korek\u010dn\u00e9ho syst\u00e9mu po\u010das letu do cie\u013ea nesmie presiahnu\u0165 \u010d\u00edslo 5 a celkov\u00fd \u010das prev\u00e1dzky korek\u010dn\u00e9ho syst\u00e9mu nesmie presiahnu\u0165 30 sek\u00fand.<\/i><\/p>\n<p><\/p>\n<p>V tomto pr\u00edpade sa do v\u00fdpo\u010dtovej sch\u00e9my projektu po\u017eiadaviek prid\u00e1va algoritmus po\u010d\u00edtadla po\u010dtu zapnut\u00ed a celkov\u00e9ho \u010dasu prev\u00e1dzky.<\/p>\n<p><\/p>\n<h3>\u0160tandardn\u00fd blok overovania po\u017eiadaviek.<\/h3>\n<p><\/p>\n<p>Ka\u017ed\u00fd \u0161tandardn\u00fd blok overovania po\u017eiadaviek je ur\u010den\u00fd na v\u00fdpo\u010det splnenia po\u017eiadavky konkr\u00e9tneho typu. Napr\u00edklad, v po\u017eiadavk\u00e1ch na prostredie je pr\u00edtomn\u00fd rozsah pracovn\u00fdch tepl\u00f4t okolia na stoj\u00e1nke a vo vzlete. Tento blok by mal z\u00edska\u0165 teplotu vzduchu v modeli ako parameter a ur\u010di\u0165, \u010di tento parameter pokr\u00fdva stanoven\u00fd rozsah tepl\u00f4t.\n<\/p>\n<p>Blok obsahuje dva vstupn\u00e9 porty, param a condition.<\/p>\n<p><\/p>\n<p>Na prv\u00fd sa dod\u00e1va overovan\u00fd parameter. V tomto pr\u00edpade \u201eTeplota vonkaj\u0161ieho prostredia\u201c.<\/p>\n<p><\/p>\n<p>Na druh\u00fd port sa dod\u00e1va boolovsk\u00e1 premenn\u00e1 \u2013 podmienka splnenia overovania.<\/p>\n<p><\/p>\n<p>Ak na druh\u00fd vstup pr\u00edde TRUE (1), blok vykon\u00e1 v\u00fdpo\u010det overovania po\u017eiadavky.<\/p>\n<p><\/p>\n<p>Ak na druh\u00fd vstup pr\u00edde FALSE (0), podmienky kontroly sa nevyhodnocuj\u00fa. Je to potrebn\u00e9 na zoh\u013eadnenie podmienok v\u00fdpo\u010dtu. V na\u0161om pr\u00edpade sa tento vstup pou\u017e\u00edva na zapnutie alebo vypnutie kontroly v z\u00e1vislosti od stavu modelu. Ak je lietadlo po\u010das modelovania na zemi, tak sa nevyhodnocuj\u00fa po\u017eiadavky t\u00fdkaj\u00face sa letu, a naopak \u2013 ak je lietadlo vo vzduchu, nekontroluj\u00fa sa po\u017eiadavky spojen\u00e9 s \u010dinnos\u0165ou na parkovisku.<\/p>\n<p><\/p>\n<p>Tento vstup sa d\u00e1 tie\u017e vyu\u017ei\u0165 pri nastaven\u00ed modelu, napr\u00edklad v po\u010diato\u010dnej f\u00e1ze v\u00fdpo\u010dtu. Ke\u010f sa model dostane do po\u017eadovan\u00e9ho stavu, bloky kontroly s\u00fa vypnut\u00e9, ale akon\u00e1hle syst\u00e9m prejde na po\u017eadovan\u00fd prev\u00e1dzkov\u00fd re\u017eim, bloky kontroly sa zapn\u00fa.<\/p>\n<p><\/p>\n<p>Ako parametre tohto bloku s\u00fa stanoven\u00e9:<\/p>\n<p><\/p>\n<ul>\n<li>hranice podmienok: horn\u00fd (UpLimit) a doln\u00fd (DownLimit) limit rozsahov, ktor\u00e9 sa maj\u00fa kontrolova\u0165;<\/li>\n<li> po\u017eadovan\u00fd \u010das v\u00fddr\u017ee syst\u00e9mu na hraniciach rozsahov (TimeInterval) v sekund\u00e1ch;<\/li>\n<li>identifik\u00e1tor po\u017eiadavky ReqName;<\/li>\n<li>dovo\u013euje v\u00fdstup za rozsah Out_range \u2013 boolean premenn\u00e1, ktor\u00e1 ur\u010duje, \u010di je poru\u0161en\u00edm po\u017eiadavky v\u00fdstup hodnoty za kontrolovan\u00fd rozsah.<\/li>\n<\/ul>\n<p><\/p>\n<p>V niektor\u00fdch pr\u00edpadoch v\u00fdstup kontrolovanej hodnoty znamen\u00e1, \u017ee syst\u00e9m m\u00e1 rezervu a m\u00f4\u017ee fungova\u0165 mimo pracovn\u00e9ho rozsahu. V in\u00fdch pr\u00edpadoch v\u00fdstup znamen\u00e1, \u017ee syst\u00e9m nezvl\u00e1da udr\u017eiava\u0165 stanoven\u00e9 parametre v r\u00e1mci rozsahu.<\/p>\n<p><\/p>\n<p><img decoding=\"async\" alt=\"Automatizovan\u00e1 kontrola po\u017eiadaviek technickej \u0161pecifik\u00e1cie v procese dynamick\u00e9ho modelovania\" src=\"\/wp-content\/uploads\/2020\/02\/3cd48fd6597d1ee11ecaea9931c3fbbb.jpg\" style=\"display:block;margin: 0 auto;\" \/><br \/>\n<i>Obr\u00e1zok 6. Typov\u00fd blok kontroly vlastnosti na sch\u00e9me a jeho parametre.<\/i><\/p>\n<p><\/p>\n<p>V d\u00f4sledku v\u00fdpo\u010dtu tohto bloku sa na v\u00fdstupe vytvor\u00ed premenn\u00e1 Result, ktor\u00e1 nadob\u00fada nasleduj\u00face hodnoty:<\/p>\n<p><\/p>\n<ul>\n<li>0 \u2013 rNone, hodnota nie je definovan\u00e1;<\/li>\n<li>1 \u2013 rDone, po\u017eiadavka je splnen\u00e1;<\/li>\n<li>2 \u2013 rFault, po\u017eiadavka nie je splnen\u00e1.<\/li>\n<\/ul>\n<p><\/p>\n<p>Obr\u00e1zok bloku obsahuje:<\/p>\n<p><\/p>\n<ul>\n<li> text identifik\u00e1tora;<\/li>\n<li> digit\u00e1lne zobrazenia parametrov limitov merania;<\/li>\n<li> farebn\u00fd identifik\u00e1tor stavu parametra.<\/li>\n<\/ul>\n<p><\/p>\n<p>Vn\u00fatri bloku m\u00f4\u017ee by\u0165 dostato\u010dne zlo\u017eit\u00e1 sch\u00e9ma logick\u00e9ho vyhodnocovania.<\/p>\n<p>Napr\u00edklad, na kontrolu pracovn\u00e9ho rozsahu tepl\u00f4t bloku uveden\u00e9ho na obr\u00e1zku 6, je vn\u00fatorn\u00e1 sch\u00e9ma zn\u00e1zornen\u00e1 na obr\u00e1zku 7.<\/p>\n<p><\/p>\n<p><img decoding=\"async\" alt=\"Automatizovan\u00e1 kontrola po\u017eiadaviek technickej \u0161pecifik\u00e1cie v procese dynamick\u00e9ho modelovania\" src=\"\/wp-content\/uploads\/2020\/02\/9ce085c82417fdbc5230056de37af65a.jpg\" style=\"display:block;margin: 0 auto;\" \/><br \/>\n<i>Obr\u00e1zok 7. Vn\u00fatorn\u00e1 sch\u00e9ma bloku ur\u010denia teplotn\u00e9ho rozsahu.<\/i><\/p>\n<p><\/p>\n<p>Vn\u00fatri bloku sch\u00e9my s\u00fa pou\u017eit\u00e9 vlastnosti stanoven\u00e9 v parametroch bloku.<br \/>\nOkrem anal\u00fdzy s\u00faladu po\u017eiadaviek obsahuje vn\u00fatorn\u00e1 sch\u00e9ma bloku graf, ktor\u00fd je potrebn\u00fd na zobrazenie v\u00fdsledkov modelovania. Tento graf m\u00f4\u017ee by\u0165 pou\u017eit\u00fd ako na prezeranie po\u010das v\u00fdpo\u010dtu, tak aj na anal\u00fdzu v\u00fdsledkov po v\u00fdpo\u010dte.<\/p>\n<p><\/p>\n<p>V\u00fdsledky v\u00fdpo\u010dtu sa pren\u00e1\u0161aj\u00fa na v\u00fdstup bloku a s\u00fa\u010dasne sa zapisuj\u00fa do spolo\u010dn\u00e9ho s\u00faboru reportu, ktor\u00fd sa vytv\u00e1ra na z\u00e1klade v\u00fdsledkov z cel\u00e9ho projektu. (pozri obr. 8)<\/p>\n<p><\/p>\n<p>Pr\u00edklad reportu, vytvoren\u00e9ho na z\u00e1klade v\u00fdsledkov modelovania, predstavuje s\u00fabor html, vytvoren\u00fd pod\u013ea zadan\u00e9ho form\u00e1tu. Form\u00e1t m\u00f4\u017ee by\u0165 svojvo\u013ene prisp\u00f4soben\u00fd form\u00e1tu, ktor\u00fd je prijat\u00fd v konkr\u00e9tnej organiz\u00e1cii.<\/p>\n<p><\/p>\n<p>Vn\u00fatri bloku sch\u00e9my s\u00fa pou\u017eit\u00e9 vlastnosti stanoven\u00e9 v parametroch bloku.<br \/>\nOkrem anal\u00fdzy s\u00faladu po\u017eiadaviek obsahuje vn\u00fatorn\u00e1 sch\u00e9ma bloku graf, ktor\u00fd je potrebn\u00fd na zobrazenie v\u00fdsledkov modelovania. Tento graf m\u00f4\u017ee by\u0165 pou\u017eit\u00fd ako na prezeranie po\u010das v\u00fdpo\u010dtu, tak aj na anal\u00fdzu v\u00fdsledkov po v\u00fdpo\u010dte.<\/p>\n<p><\/p>\n<p>V\u00fdsledky v\u00fdpo\u010dtu sa pren\u00e1\u0161aj\u00fa na v\u00fdstup bloku a s\u00fa\u010dasne sa zapisuj\u00fa do spolo\u010dn\u00e9ho s\u00faboru reportu, ktor\u00fd sa vytv\u00e1ra na z\u00e1klade v\u00fdsledkov z cel\u00e9ho projektu. (pozri obr. 8)<\/p>\n<p><\/p>\n<p>Pr\u00edklad reportu, vytvoren\u00e9ho na z\u00e1klade v\u00fdsledkov modelovania, predstavuje s\u00fabor html, vytvoren\u00fd pod\u013ea zadan\u00e9ho form\u00e1tu. Form\u00e1t m\u00f4\u017ee by\u0165 svojvo\u013ene prisp\u00f4soben\u00fd form\u00e1tu, ktor\u00fd je prijat\u00fd v konkr\u00e9tnej organiz\u00e1cii.<\/p>\n<p><\/p>\n<p><img decoding=\"async\" alt=\"Automatizovan\u00e1 kontrola po\u017eiadaviek technickej \u0161pecifik\u00e1cie v procese dynamick\u00e9ho modelovania\" src=\"\/wp-content\/uploads\/2020\/02\/8ff948417d799bce621e34c709154116.jpg\" style=\"display:block;margin: 0 auto;\" \/><br \/>\n<i>Obr\u00e1zok 8. Pr\u00edklad s\u00faboru reportu na z\u00e1klade v\u00fdsledkov modelovania.<\/i><\/p>\n<p><\/p>\n<p>V tomto pr\u00edklade sa nastavenie formy reportu vykon\u00e1va priamo v vlastnostiach projektu, zatia\u013e \u010do form\u00e1t sa v tabu\u013eke ur\u010duje ako glob\u00e1lne sign\u00e1ly projektu. V tomto pr\u00edpade si SimInTech s\u00e1m rie\u0161i probl\u00e9m nastavenia reportu a blok z\u00e1pisu v\u00fdsledkov do s\u00faboru vyu\u017e\u00edva tieto riadky na z\u00e1pis do reportu.<\/p>\n<p><\/p>\n<p><img decoding=\"async\" alt=\"Automatizovan\u00e1 kontrola po\u017eiadaviek technickej \u0161pecifik\u00e1cie v procese dynamick\u00e9ho modelovania\" src=\"\/wp-content\/uploads\/2020\/02\/bbe363bf1d81d00aebb67ca29a35811b.jpg\" style=\"display:block;margin: 0 auto;\" \/><br \/>\n<i>Obr\u00e1zok 9. Nastavenie form\u00e1tu reportu v glob\u00e1lnych sign\u00e1loch projektu<\/i><\/p>\n<p><\/p>\n<h3>Pou\u017eitie datab\u00e1zy sign\u00e1lov pre po\u017eiadavky.<\/h3>\n<p><\/p>\n<p>Na automatiz\u00e1ciu pr\u00e1ce s nastaveniami vlastnost\u00ed pre ka\u017ed\u00fd typov\u00fd blok sa vytv\u00e1ra typov\u00e1 \u0161trukt\u00fara v datab\u00e1ze sign\u00e1lov. (pozri obr. 10)<\/p>\n<\/p>\n<p><img decoding=\"async\" alt=\"Automatizovan\u00e1 kontrola po\u017eiadaviek technickej \u0161pecifik\u00e1cie v procese dynamick\u00e9ho modelovania\" src=\"\/wp-content\/uploads\/2020\/02\/7e20a24ca5dadd2da6542325e964ec00.jpg\" style=\"display:block;margin: 0 auto;\" \/><br \/>\n<i>Obr\u00e1zok 10. Pr\u00edklad \u0161trukt\u00fary bloku kontroly po\u017eiadavky v datab\u00e1ze sign\u00e1lov.<\/i><\/p>\n<p><\/p>\n<p>Datab\u00e1za sign\u00e1lov zabezpe\u010duje:<\/p>\n<p><\/p>\n<ul>\n<li> Ulo\u017eenie v\u0161etk\u00fdch potrebn\u00fdch parametrov po\u017eiadaviek na syst\u00e9m.<\/li>\n<li> Pohodln\u00e9 prezeranie existuj\u00facich po\u017eiadaviek v projekte zo zadan\u00fdch parametrov a aktu\u00e1lnych v\u00fdsledkov modelovania.<\/li>\n<li> Nastavenie jedn\u00e9ho bloku, skupiny blokov pomocou skriptovacieho jazyka. Zmeny v datab\u00e1ze sign\u00e1lov ved\u00fa k zmene hodn\u00f4t vlastnost\u00ed bloku na sch\u00e9me.<\/li>\n<li> Ulo\u017eenie textov\u00fdch popisov, odkazy na body T\u017d alebo identifik\u00e1tory v syst\u00e9me riadenia po\u017eiadaviek.<\/li>\n<\/ul>\n<p><\/p>\n<p>\u0160trukt\u00fary datab\u00e1zy sign\u00e1lov pre po\u017eiadavky m\u00f4\u017eu by\u0165 \u013eahko prisp\u00f4soben\u00e9 na pr\u00e1cu s extern\u00fdm syst\u00e9mom riadenia po\u017eiadaviek. Celkov\u00e1 sch\u00e9ma interakcie so syst\u00e9mami riadenia po\u017eiadaviek je zn\u00e1zornen\u00e1 na obr\u00e1zku 11.<\/p>\n<p><\/p>\n<p><img decoding=\"async\" alt=\"Automatizovan\u00e1 kontrola po\u017eiadaviek technickej \u0161pecifik\u00e1cie v procese dynamick\u00e9ho modelovania\" src=\"\/wp-content\/uploads\/2020\/02\/3f6d67b8160255fd39d0d8bedf8be655.jpg\" style=\"display:block;margin: 0 auto;\" \/><br \/>\n<i>Obr\u00e1zok 11. Sch\u00e9ma interakcie so syst\u00e9mom riadenia po\u017eiadaviek.<\/i><\/p>\n<p><\/p>\n<p>Sekvencia interakcie testovacieho projektu SimInTech so syst\u00e9mom spr\u00e1vy po\u017eiadaviek je nasleduj\u00faca:<\/p>\n<p><\/p>\n<ol>\n<li> Technick\u00e1 \u00faloha sa rozdel\u00ed na po\u017eiadavky.<\/li>\n<li> Vyber\u00fa sa tak\u00e9 po\u017eiadavky technickej \u00falohy, ktor\u00e9 je mo\u017en\u00e9 overi\u0165 matematick\u00fdm modelovan\u00edm technick\u00fdch procesov.<\/li>\n<li> Atrib\u00faty vybran\u00fdch po\u017eiadaviek s\u00fa pred\u00e1van\u00e9 do datab\u00e1zy sign\u00e1lov SimInTech v \u0161trukt\u00farach typick\u00fdch blokov (napr\u00edklad maxim\u00e1lna a minim\u00e1lna teplota).<\/li>\n<li> Po\u010das v\u00fdpo\u010dtu sa \u00fadaje \u0161trukt\u00far odovzd\u00e1vaj\u00fa do v\u00fdpo\u010dtov\u00fdch sch\u00e9m blokov, vykon\u00e1va sa anal\u00fdza a v\u00fdsledky s\u00fa ulo\u017een\u00e9 do datab\u00e1zy sign\u00e1lov.<\/li>\n<li> Po dokon\u010den\u00ed v\u00fdpo\u010dtu s\u00fa v\u00fdsledky anal\u00fdzy odovzdan\u00e9 do syst\u00e9mu spr\u00e1vy po\u017eiadaviek.<\/li>\n<\/ol>\n<p><\/p>\n<p>Etapy pr\u00e1ce s po\u017eiadavkami 3 \u2013 5 sa m\u00f4\u017eu opakova\u0165 po\u010das procesu projektovania, ke\u010f d\u00f4jde k zmen\u00e1m v kon\u0161trukcii a (alebo) po\u017eiadavk\u00e1ch a, pod\u013ea toho, je potrebn\u00e1 op\u00e4tovn\u00e1 kontrola vplyvu zaveden\u00fdch zmien.<\/p>\n<p><\/p>\n<h3>Z\u00e1ver.<\/h3>\n<p><\/p>\n<ul>\n<li> Vytvoren\u00fd prototyp syst\u00e9mu zabezpe\u010duje v\u00fdznamn\u00e9 skr\u00e1tenie \u010dasu anal\u00fdzy existuj\u00facich modelov z h\u013eadiska dodr\u017eiavania po\u017eiadaviek TZO.<\/li>\n<li> Navrhovan\u00e1 technol\u00f3gia testovania vyu\u017e\u00edva u\u017e existuj\u00face dynamick\u00e9 modely a m\u00f4\u017ee by\u0165 pou\u017eit\u00e1 dokonca aj pre ak\u00e9ko\u013evek dynamick\u00e9 modely, vr\u00e1tane t\u00fdch, ktor\u00e9 nie s\u00fa vytvoren\u00e9 v prostred\u00ed SimInTech.<\/li>\n<li> Pou\u017e\u00edvanie bal\u00ed\u010dkovej organiz\u00e1cie \u00fadajov umo\u017e\u0148uje vytv\u00e1ra\u0165 bal\u00edky na overovanie po\u017eiadaviek s\u00fa\u010dasne s v\u00fdvojom modelov, alebo dokonca vyu\u017ei\u0165 tieto bal\u00edky ako technick\u00fa \u00falohu na v\u00fdvoj modelov.<\/li>\n<li> Technol\u00f3gia m\u00f4\u017ee by\u0165 bez v\u00fdznamn\u00fdch n\u00e1kladov integrovan\u00e1 s existuj\u00facimi syst\u00e9mami spr\u00e1vy po\u017eiadaviek.<\/li>\n<\/ul>\n<p><\/p>\n<p>Pre t\u00fdch, ktor\u00ed do\u010d\u00edtali a\u017e do konca, <noindex><a rel=\"nofollow\" href=\"https:\/\/youtu.be\/be9qPox4AXk\">odkaz na video s demon\u0161tr\u00e1ciou 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.4 - 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\/sk\/blog\/avtomaticheskaya-proverka-trebovanij-tz-v-proczesse-dinamicheskogo-modelirovaniya\" \/>\n\t\t<meta name=\"generator\" content=\"All in One SEO (AIOSEO) 5.0.4\" \/>\n\t\t<meta property=\"og:locale\" content=\"sk_SK\" \/>\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\/sk\/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\u017eiadaviek TZO v procese dynamick\u00e9ho modelovania | ProHoster","description":"Pokra\u010duj\u00fac v t\u00e9me \u201eAk\u00e9 s\u00fa va\u0161e d\u00f4kazy?\u201c, pozrime sa na probl\u00e9m matematick\u00e9ho modelovania z inej strany.","canonical_url":"https:\/\/prohoster.info\/sk\/blog\/avtomaticheskaya-proverka-trebovanij-tz-v-proczesse-dinamicheskogo-modelirovaniya","robots":"max-image-preview:large","keywords":"","webmasterTools":{"miscellaneous":""},"schema":null,"og:locale":"sk_SK","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\/sk\/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\/sk\/wp-json\/wp\/v2\/posts\/41257","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/prohoster.info\/sk\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/prohoster.info\/sk\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/prohoster.info\/sk\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/prohoster.info\/sk\/wp-json\/wp\/v2\/comments?post=41257"}],"version-history":[{"count":0,"href":"https:\/\/prohoster.info\/sk\/wp-json\/wp\/v2\/posts\/41257\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/prohoster.info\/sk\/wp-json\/wp\/v2\/media\/41258"}],"wp:attachment":[{"href":"https:\/\/prohoster.info\/sk\/wp-json\/wp\/v2\/media?parent=41257"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/prohoster.info\/sk\/wp-json\/wp\/v2\/categories?post=41257"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/prohoster.info\/sk\/wp-json\/wp\/v2\/tags?post=41257"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}