{"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\/ro\/blog\/avtomaticheskaya-proverka-trebovanij-tz-v-proczesse-dinamicheskogo-modelirovaniya","title":{"rendered":"Verificarea automat\u0103 a cerin\u021belor din specifica\u021bia tehnic\u0103 \u00een timpul model\u0103rii dinamice.","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"<p>Continu\u00e2nd tema <noindex><a rel=\"nofollow\" href=\"https:\/\/habr.com\/ru\/post\/466215\/\">\u201eCare sunt dovezile dumneavoastr\u0103?\u201d<\/a><\/noindex>, s\u0103 privim problema model\u0103rii matematice dintr-o alt\u0103 perspectiv\u0103. Dup\u0103 ce ne-am asigurat c\u0103 modelul corespunde adev\u0103rului esen\u021bial al vie\u021bii, putem r\u0103spunde la \u00eentrebarea principal\u0103: \u201ece avem de fapt aici?\u201d. C\u00e2nd cre\u0103m un model pentru un obiect tehnic, \u00een general, dorim s\u0103 ne asigur\u0103m c\u0103 acest obiect va corespunde a\u0219tept\u0103rilor noastre. Aceasta este motivul pentru care se efectueaz\u0103 calcule dinamice ale proceselor, iar rezultatul este comparat cu cerin\u021bele. Aceasta este un dublu digital, un prototip virtual \u0219i alte lucruri de acest fel, care \u00een etapa de proiectare rezolv\u0103 sarcina de a ne asigura c\u0103 ob\u021binem ceea ce ne-am planificat.<\/p>\n<p><\/p>\n<p>Cum putem s\u0103 ne asigur\u0103m rapid c\u0103 sistemul nostru este exact ceea ce proiect\u0103m, va zbura sau va \u00eenota construc\u021bia noastr\u0103? \u0218i dac\u0103 va zbura, c\u00e2t de sus? Dar dac\u0103 va \u00eenota, c\u00e2t de ad\u00e2nc?<\/p>\n<p>\n<img decoding=\"async\" alt=\"Verificarea automat\u0103 a cerin\u021belor din specifica\u021bia tehnic\u0103 \u00een timpul model\u0103rii dinamice.\" 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>\u00cen acest articol se discut\u0103 despre automatizarea verific\u0103rii conformit\u0103\u021bii cerin\u021belor tehnice ale unei construc\u021bii prin crearea de modele dinamice ale sistemelor tehnice. Ca exemplu, s\u0103 analiz\u0103m un element din cerin\u021bele tehnice pentru sistemul de r\u0103cire prin aer al unei aeronave.<\/p>\n<p><\/p>\n<p>Consider\u0103m acele cerin\u021be care pot fi exprimate numeric \u0219i verificate matematic pe baza unui model de calcul concret. Este evident c\u0103 aceasta este doar o parte din cerin\u021bele generale pentru orice sistem tehnic, dar exact la verificarea lor ne petrecem timpul, nervii \u0219i banii pentru crearea de modele dinamice ale obiectului.<\/p>\n<p><\/p>\n<p>Atunci c\u00e2nd descriem cerin\u021bele tehnice sub form\u0103 de document, putem distinge mai multe tipuri diferite de cerin\u021be, fiecare dintre care necesit\u0103 abord\u0103ri diferite pentru formarea unui control automat de conformitate.<\/p>\n<p><\/p>\n<p>De exemplu, s\u0103 lu\u0103m \u00een considerare un set mic, dar real de cerin\u021be:<\/p>\n<p>\n<i><\/p>\n<ol>\n<li> Temperatura aerului atmosferic la intrarea \u00een SVO:<br \/>\nla sol - \u00eentre minus 35 \u0219i 35 \u00baC,<br \/>\n\u00een zbor - \u00eentre minus 35 \u0219i 39 \u00baC.<\/li>\n<li> Presiunea static\u0103 a aerului atmosferic \u00een zbor - \u00eentre 700 \u0219i 1013 GPa (\u00eentre 526 \u0219i 760 mm Hg).<\/li>\n<li> Presiunea total\u0103 a aerului la intrarea \u00een admisia SVO \u00een zbor - \u00eentre 754 \u0219i 1200 GPa (\u00eentre 566 \u0219i 1050 mm Hg).<\/li>\n<li> Temperatura aerului de r\u0103cire:<br \/>\nla sol - nu mai mult de 27 \u00baC, pentru blocurile tehnice - nu mai mult de 29 \u00baC,<br \/>\n\u00een zbor \u2212 nu mai mult de 25 \u00baC, pentru unit\u0103\u021bile tehnice \u2212 nu mai mult de 27 \u00baC.<\/li>\n<li> Consum de aer de r\u0103cire:<br \/>\npe sta\u021bionare \u2212 nu mai pu\u021bin de 708 kg\/h,<br \/>\n\u00een zbor \u2212 nu mai pu\u021bin de 660 kg\/h.<\/li>\n<li> Temperatura aerului \u00een compartimentele instrumentelor \u2212 nu mai mult de 60 \u00baC.<\/li>\n<li> Cantitatea de umiditate fin dispersat\u0103 \u00een aerul de r\u0103cire \u2212 nu mai mult de 2 g\/kg aer uscat.<\/li>\n<\/ol>\n<p> <\/i><\/p>\n<p>Chiar \u0219i cu un set at\u00e2t de limitat de cerin\u021be, se pot distinge cel pu\u021bin dou\u0103 categorii care trebuie tratate diferit \u00een sistem:<\/p>\n<p><\/p>\n<ul>\n<li> cerin\u021bele condi\u021biilor de operare a sistemului (p. 1-3);<\/li>\n<li> cerin\u021bele parametrice pentru sistem (p. 3-7).<\/li>\n<\/ul>\n<p><\/p>\n<p><i>Cerin\u021bele condi\u021biilor de operare a sistemului<\/i><br \/>\nCondi\u021biile externe pentru sistemul dezvoltat \u00een modelare pot fi definite fie ca condi\u021bii limit\u0103, fie ca rezultat al func\u021bion\u0103rii sistemului general.<br \/>\n\u00cen modelarea dinamic\u0103, trebuie s\u0103 ne asigur\u0103m c\u0103 modurile de operare specificate sunt acoperite de procesul de modelare.<\/p>\n<p><\/p>\n<p><i>Cerin\u021bele parametrice pentru sistem <\/i><br \/>\nAceste cerin\u021be reprezint\u0103 parametrii asigura\u021bi de sistemul \u00eensu\u0219i. \u00cen procesul de modelare, putem ob\u021bine ace\u0219ti parametri ca rezultate ale calculului \u0219i ne putem asigura c\u0103 cerin\u021bele sunt \u00eendeplinite \u00een fiecare calcul specific.<\/p>\n<p><\/p>\n<h3>Identificarea \u0219i codificarea cerin\u021belor<\/h3>\n<p><\/p>\n<p>Pentru a facilita lucrul cu cerin\u021bele, standardele existente recomand\u0103 atribuirea unui identificator fiec\u0103rei cerin\u021be. La atribuirea identificatorilor, este foarte de dorit s\u0103 se utilizeze un sistem unic de codificare. <\/p>\n<p><\/p>\n<p>Codul cerin\u021bei poate fi pur \u0219i simplu un num\u0103r care reflect\u0103 ordinea cerin\u021bei, sau poate con\u021bine un cod pentru tipul cerin\u021bei, codul sistemului sau unit\u0103\u021bii la care se aplic\u0103, codul parametrului, codul loca\u021biei \u0219i multe altele ce pot fi imaginabile de c\u0103tre inginer. (pentru un exemplu de utilizare a codific\u0103rii, vezi articolul)<\/p>\n<p><\/p>\n<p>\u00cen tabelul 1 este prezentat un exemplu simplu de codificare a cerin\u021belor.<\/p>\n<p><\/p>\n<ol>\n<li> cod surs\u0103 al cerin\u021bei R- cerin\u021bele din FI; <\/li>\n<li> cod tip cerin\u021be E \u2013 cerin\u021be \u2013 parametrii mediului extern sau condi\u021bii de operare<br \/>\n S \u2014 cerin\u021be asigurate de sistem;<\/li>\n<li> codul st\u0103rii avionului 0 \u2013 orice, G \u2013 sta\u021bionar, F \u2013 \u00een zbor;<\/li>\n<li> codul tipului de parametri fizici T \u2013 temperatur\u0103, P \u2013 presiune, G \u2013 flux, umiditate H;<\/li>\n<li> num\u0103rul ordinii cerin\u021bei.<\/li>\n<\/ol>\n<p><\/p>\n<table>\n<tr>\n<td><b>ID<br \/>\nCerin\u021be<\/b><\/td>\n<td><b>Descriere<\/b><\/td>\n<td><b>Parametru<\/b><\/td>\n<\/tr>\n<tr>\n<td>REGT01<\/td>\n<td>Temperatura aerului atmosferic la intrarea \u00een SVO: la sta\u021bionare \u2014 de la minus 35\u00baC p\u00e2n\u0103 la 35 \u00baC.<\/td>\n<td><\/td>\n<\/tr>\n<tr>\n<td>REFT01<\/td>\n<td>Temperatura aerului atmosferic la intrarea \u00een SVO: \u00een zbor \u2014 de la minus 35 \u00baC p\u00e2n\u0103 la 39 \u00baC.<\/td>\n<td> <\/td>\n<\/tr>\n<tr>\n<td>REFP01<\/td>\n<td>Presiunea static\u0103 a aerului atmosferic \u00een zbor este \u00eentre 700 \u0219i 1013 hPa (de la 526 la 760 mm Hg).<\/td>\n<td> <\/td>\n<\/tr>\n<tr>\n<td>REFP02<\/td>\n<td>Presiunea total\u0103 a aerului la intrarea \u00een filtrul SVO \u00een zbor este \u00eentre 754 \u0219i 1200 hPa (de la 566 la 1050 mm Hg).<\/td>\n<td> <\/td>\n<\/tr>\n<tr>\n<td>RSGT01<\/td>\n<td>Temperatura aerului de r\u0103cire: la sta\u021bionare nu mai mult de 27 \u00baC <\/td>\n<td> <\/td>\n<\/tr>\n<tr>\n<td>RSGT02<\/td>\n<td>Temperatura aerului de r\u0103cire: la sta\u021bionare, pentru blocurile tehnice nu mai mult de 29 \u00baC <\/td>\n<td> <\/td>\n<\/tr>\n<tr>\n<td>RSFT01<\/td>\n<td>Temperatura aerului de r\u0103cire \u00een zbor nu mai mult de 25 \u00baC <\/td>\n<td> <\/td>\n<\/tr>\n<tr>\n<td>RSFT02<\/td>\n<td>Temperatura aerului de r\u0103cire: \u00een zbor, pentru blocurile tehnice nu mai mult de 27 \u00baC <\/td>\n<td> <\/td>\n<\/tr>\n<tr>\n<td>RSGG01<\/td>\n<td>Debitul aerului de r\u0103cire: la sta\u021bionare nu mai pu\u021bin de 708 kg\/h<\/td>\n<td> <\/td>\n<\/tr>\n<tr>\n<td>RSFG01<\/td>\n<td>Debitul aerului de r\u0103cire: \u00een zbor nu mai pu\u021bin de 660 kg\/h<\/td>\n<td> <\/td>\n<\/tr>\n<tr>\n<td>RS0T01<\/td>\n<td>Temperatura aerului din compartimentele de instrumente nu mai mult de 60 \u00baC <\/td>\n<td> <\/td>\n<\/tr>\n<tr>\n<td>RSH01<\/td>\n<td>Cantitatea de umiditate liber\u0103 fin\u0103 \u00een aerul de r\u0103cire nu mai mult de 2 g\/kg aer uscat<\/td>\n<td> <\/td>\n<\/tr>\n<\/table>\n<p><\/p>\n<h3>Proiectul sistemului de verificare a cerin\u021belor.<\/h3>\n<p><\/p>\n<p>Pentru fiecare cerin\u021b\u0103 de calcul exist\u0103 un algoritm de evaluare a conformit\u0103\u021bii parametrilor calcula\u021bi cu parametrii specifica\u021bi \u00een cerin\u021b\u0103. \u00cen linii mari, orice sistem de control con\u021bine \u00eentotdeauna algoritmi de verificare a cerin\u021belor, pur \u0219i simplu prin defini\u021bie. Chiar \u0219i orice regulator le con\u021bine. Dac\u0103 temperatura dep\u0103\u0219e\u0219te limitele, se porne\u0219te aerul condi\u021bionat. Astfel, prima etap\u0103 a oric\u0103rei regl\u0103ri este verificarea conformit\u0103\u021bii parametrilor cu cerin\u021bele.<\/p>\n<p><\/p>\n<p>\u0218i, av\u00e2nd \u00een vedere c\u0103 verificarea este un algoritm, se pot folosi acelea\u0219i resurse \u0219i instrumente pe care le folosim pentru a crea programe de control. De exemplu, mediu SimInTech permite crearea de pachete de proiecte care con\u021bin diverse p\u0103r\u021bi ale modelului, realizate sub form\u0103 de proiecte separate (modelul obiectului, modelul sistemului de control, modelul mediului etc.).<\/p>\n<p><\/p>\n<p>Proiectul de verificare a cerin\u021belor devine astfel un proiect similar de algoritmi \u0219i se conecteaz\u0103 la pachetul modelului. \u0218i, \u00een modul de modelare dinamic\u0103, efectueaz\u0103 analiza conformit\u0103\u021bii cerin\u021belor din specifica\u021bii.<\/p>\n<p><\/p>\n<p>Un posibil exemplu de prezentare a proiectului sistemului este ilustrat \u00een figura 1.<\/p>\n<p><\/p>\n<p><img decoding=\"async\" alt=\"Verificarea automat\u0103 a cerin\u021belor din specifica\u021bia tehnic\u0103 \u00een timpul model\u0103rii dinamice.\" src=\"\/wp-content\/uploads\/2020\/02\/e57fda1fb5b835a6ac961639db2b1749.jpg\" style=\"display:block;margin: 0 auto;\" \/><br \/>\n<i>Figura 1. Exemplu de prezentare a proiectului de verificare. <\/i><\/p>\n<p><\/p>\n<p>La fel ca pentru algoritmii de control, cerin\u021bele pot fi exprimate sub forma unui set de foi. Pentru a facilita lucrul cu algoritmii \u00een medii de modelare structural\u0103, cum ar fi SimInTech, Simulink, AmeSim, se utilizeaz\u0103 capacit\u0103\u021bile de creare a structurilor multi-nivel \u00een form\u0103 de submodele. Aceast\u0103 organizare permite gruparea diferitelor cerin\u021be \u00een seturi pentru a simplifica lucrul cu un ansamblu de cerin\u021be, a\u0219a cum se face pentru algoritmii de control (vezi figura 2).<\/p>\n<p><\/p>\n<p><img decoding=\"async\" alt=\"Verificarea automat\u0103 a cerin\u021belor din specifica\u021bia tehnic\u0103 \u00een timpul model\u0103rii dinamice.\" src=\"\/wp-content\/uploads\/2020\/02\/726ad4d5df1975131e71fc8a14ce71fe.jpg\" style=\"display:block;margin: 0 auto;\" \/><br \/>\n<i>Figura 2. Structura ierarhic\u0103 a modelului de verificare a cerin\u021belor. <\/i><\/p>\n<p><\/p>\n<p>De exemplu, \u00een cazul analizat, au fost identificate dou\u0103 grupuri: cerin\u021be pentru mediu \u0219i cerin\u021be direct pentru sistem. Prin urmare, se utilizeaz\u0103 o structur\u0103 de date bidimensional\u0103: dou\u0103 grupuri, fiecare dintre ele fiind o foaie a algoritmului.<\/p>\n<p><\/p>\n<p>Pentru conectarea datelor la model se folose\u0219te o schem\u0103 standard de formare a bazei de date a semnalelor, \u00een care sunt stocate datele pentru schimbul \u00eentre p\u0103r\u021bile proiectului.<\/p>\n<p><\/p>\n<p>La crearea \u0219i testarea software-ului, \u00een aceast\u0103 baz\u0103 sunt introduse m\u0103sur\u0103torile senzorilor (analogii senzorilor reale din sistem), care sunt utilizate de sistemul de control.<br \/>\n Pentru proiectul de testare, \u00een aceea\u0219i baz\u0103 de date pot fi salvate orice parametrii calcula\u021bi \u00een modelul dinamic, \u0219i astfel pot fi utiliza\u021bi pentru verificarea \u00eendeplinirii cerin\u021belor.<\/p>\n<p>\nModelul dinamic \u00een acest caz poate fi realizat \u00een orice sistem de modelare matematic\u0103 sau chiar sub forma unui program executabil. Singura cerin\u021b\u0103 este existen\u021ba interfe\u021belor software pentru livrarea datelor de simulare \u00een mediul extern.<\/p>\n<p><img decoding=\"async\" alt=\"Verificarea automat\u0103 a cerin\u021belor din specifica\u021bia tehnic\u0103 \u00een timpul model\u0103rii dinamice.\" src=\"\/wp-content\/uploads\/2020\/02\/ac56799b7a022325f72d0639cd85eba2.jpg\" style=\"display:block;margin: 0 auto;\" \/><br \/>\n<i>Figura 3. Conectarea proiectului de verificare la modelul complex. <\/i><\/p>\n<p><\/p>\n<p>Un exemplu de foaie de baz\u0103 pentru verificarea cerin\u021belor este prezentat \u00een figura 4. Din perspectiva dezvoltatorului, aceasta reprezint\u0103 o schem\u0103 de calcul obi\u0219nuit\u0103, \u00een care algoritmul de verificare a cerin\u021belor este prezentat grafic.<\/p>\n<p><\/p>\n<p><img decoding=\"async\" alt=\"Verificarea automat\u0103 a cerin\u021belor din specifica\u021bia tehnic\u0103 \u00een timpul model\u0103rii dinamice.\" src=\"\/wp-content\/uploads\/2020\/02\/467f3217a65e0b4a1def034ce75c747e.jpg\" style=\"display:block;margin: 0 auto;\" \/><br \/>\n<i>Figura 4. Foia de verificare a cerin\u021belor. <\/i><\/p>\n<p><\/p>\n<p>P\u0103r\u021bile principale ale foii de verificare sunt descrise \u00een figura 5. Algoritmul de verificare este format similar schemelor de calcul ale algoritmilor de control. \u00cen partea dreapt\u0103 se afl\u0103 un bloc care cite\u0219te semnalele din baza de date. \u00cen acest bloc se face apel la baza de date a semnalelor \u00een timpul model\u0103rii.<\/p>\n<p><\/p>\n<p>Semnalele primite sunt analizate pentru a determina condi\u021biile de verificare a cerin\u021belor. \u00cen cazul analizat, se efectueaz\u0103 o evaluare a altitudinii pentru a determina pozi\u021bia avionului (dac\u0103 se afl\u0103 pe pist\u0103 sau \u00een zbor). Pentru acest scop, pot fi utilizate \u0219i alte semnale \u0219i parametrii calcula\u021bi ai modelului.<\/p>\n<p><\/p>\n<p>Condi\u021biile de verificare \u0219i parametrii verifica\u021bi sunt transmise c\u0103tre modulele de verificare standardizate, unde se efectueaz\u0103 analiza acestor date \u00een raport cu cerin\u021bele stabilite. Rezultatele sunt \u00eenregistrate \u00een baza de date a semnalelor astfel \u00eenc\u00e2t s\u0103 poat\u0103 fi utilizate pentru formarea automat\u0103 a unui checklist.<\/p>\n<p><\/p>\n<p><img decoding=\"async\" alt=\"Verificarea automat\u0103 a cerin\u021belor din specifica\u021bia tehnic\u0103 \u00een timpul model\u0103rii dinamice.\" src=\"\/wp-content\/uploads\/2020\/02\/1aa7778f56190bf51c112e29eab8a13c.jpg\" style=\"display:block;margin: 0 auto;\" \/><br \/>\n<i>Figura 5. Structura foii de calcul pentru verificarea cerin\u021belor.<\/i><\/p>\n<p><\/p>\n<p>Ca parametri verifica\u021bi, nu este obligatoriu s\u0103 se foloseasc\u0103 semnalele din baza de date, care sunt gestionate de parametrii calcula\u021bi \u00een timpul model\u0103rii. Nimic nu \u00eempiedic\u0103, \u00een cadrul proiectului cerin\u021belor, realizarea de calcule suplimentare, la fel cum calcul\u0103m condi\u021biile de verificare.<\/p>\n<p><\/p>\n<p>De exemplu, o astfel de cerin\u021b\u0103:<\/p>\n<p><\/p>\n<p> <i>Num\u0103rul de activ\u0103ri ale sistemului de corectare \u00een timpul zborului c\u0103tre obiectiv nu trebuie s\u0103 dep\u0103\u0219easc\u0103 5, iar timpul total de func\u021bionare a sistemului de corectare nu trebuie s\u0103 dep\u0103\u0219easc\u0103 30 de secunde.<\/i><\/p>\n<p><\/p>\n<p>\u00cen acest caz, \u00een schema de calcul a proiectului cerin\u021belor se adaug\u0103 un algoritm pentru num\u0103rarea activ\u0103rilor \u0219i a timpului total de func\u021bionare.<\/p>\n<p><\/p>\n<h3>Modulul standard de verificare a cerin\u021belor.<\/h3>\n<p><\/p>\n<p>Fiecare modul standard de verificare a cerin\u021belor este destinat s\u0103 calculeze \u00eendeplinirea cerin\u021bei unui anumit tip. De exemplu, \u00een cerin\u021bele ambientale este prezent un interval de temperaturi de lucru ale aerului ambiental at\u00e2t pe pist\u0103, c\u00e2t \u0219i \u00een zbor. Acest modul trebuie s\u0103 primeasc\u0103 ca parametru temperatura aerului din model \u0219i s\u0103 determine dac\u0103 acest parametru acoper\u0103 intervalul de temperaturi specificat.\n<\/p>\n<p>Modulul con\u021bine dou\u0103 porturi de intrare, param \u0219i condition.<\/p>\n<p><\/p>\n<p>La primul port este furnizat parametrul verificat. \u00cen acest caz, \u201eTemperatura mediului extern\u201d.<\/p>\n<p><\/p>\n<p>La al doilea port este furnizat\u0103 o variabil\u0103 boolean\u0103 \u2013 condi\u021bia de \u00eendeplinire a verific\u0103rii.<\/p>\n<p><\/p>\n<p>Dac\u0103 la a doua intrare vine TRUE (1), atunci modulul efectueaz\u0103 calculul verific\u0103rii cerin\u021bei.<\/p>\n<p><\/p>\n<p>Dac\u0103 la a doua intrare se prime\u0219te FALSE (0), atunci condi\u021biile de control nu sunt \u00eendeplinite. Acest lucru este necesar pentru a putea lua \u00een considerare condi\u021biile de calcul. \u00cen cazul nostru, aceast\u0103 intrare este utilizat\u0103 pentru a activa sau dezactiva controlul \u00een func\u021bie de starea modelului. Dac\u0103 aeronava este pe teren \u00een timpul model\u0103rii, cerin\u021bele legate de zbor nu sunt verificate, \u0219i invers - dac\u0103 aeronava este \u00een zbor, cerin\u021bele legate de activitatea la sol nu sunt verificate.<\/p>\n<p><\/p>\n<p>Aceast\u0103 intrare poate fi folosit\u0103 \u0219i \u00een timpul configur\u0103rii modelului, de exemplu, \u00een etapa ini\u021bial\u0103 a calculului. Atunci c\u00e2nd modelul este adus \u00een starea dorit\u0103, blocurile de control sunt dezactivate, dar de \u00eendat\u0103 ce sistemul ajunge \u00een regimul de func\u021bionare dorit, blocurile de control sunt activate.<\/p>\n<p><\/p>\n<p>Ca parametri ai acestui bloc se stabilesc:<\/p>\n<p><\/p>\n<ul>\n<li>condi\u021biile limit\u0103: limitele superioare (UpLimit) \u0219i inferioare (DownLimit) ale intervalelor care trebuie verificate;<\/li>\n<li> timpul necesar de a\u0219teptare al sistemului la limitele de limit\u0103 (TimeInterval) \u00een secunde;<\/li>\n<li>identificatorul cerin\u021bei ReqName;<\/li>\n<li>posibilitatea de a dep\u0103\u0219i intervalul Out_range \u2013 o variabil\u0103 boolean\u0103 care determin\u0103 dac\u0103 dep\u0103\u0219irea limitei este considerat\u0103 o \u00eenc\u0103lcare a cerin\u021bei.<\/li>\n<\/ul>\n<p><\/p>\n<p>\u00cen unele cazuri, ie\u0219irea valorii verificate indic\u0103 c\u0103 sistemul are un rezervor \u0219i poate func\u021biona dincolo de intervalul de lucru. \u00cen alte cazuri, ie\u0219irea indic\u0103 c\u0103 sistemul nu reu\u0219e\u0219te s\u0103 men\u021bin\u0103 parametrii specifica\u021bi \u00een cadrul intervalului.<\/p>\n<p><\/p>\n<p><img decoding=\"async\" alt=\"Verificarea automat\u0103 a cerin\u021belor din specifica\u021bia tehnic\u0103 \u00een timpul model\u0103rii dinamice.\" src=\"\/wp-content\/uploads\/2020\/02\/3cd48fd6597d1ee11ecaea9931c3fbbb.jpg\" style=\"display:block;margin: 0 auto;\" \/><br \/>\n<i>Figura 6. Blocul tipic de control al propriet\u0103\u021bi pe schem\u0103 \u0219i parametrii s\u0103i.<\/i><\/p>\n<p><\/p>\n<p>Ca urmare a calculului acestui bloc, se genereaz\u0103 o variabil\u0103 Result, care poate lua urm\u0103toarele valori:<\/p>\n<p><\/p>\n<ul>\n<li>0 \u2013 rNone, valoare nedefinit\u0103;<\/li>\n<li>1 \u2013 rDone, cerin\u021ba este \u00eendeplinit\u0103;<\/li>\n<li>2 \u2013 rFault, cerin\u021ba nu este \u00eendeplinit\u0103.<\/li>\n<\/ul>\n<p><\/p>\n<p>Imaginea blocului con\u021bine:<\/p>\n<p><\/p>\n<ul>\n<li> textul identificatorului;<\/li>\n<li> afi\u0219\u0103ri numerice ale parametrilor limitelor de m\u0103surare;<\/li>\n<li> identificatorul de culoare al st\u0103rii parametrului.<\/li>\n<\/ul>\n<p><\/p>\n<p>\u00cen interiorul blocului ar putea exista o schem\u0103 logic\u0103 destul de complex\u0103.<\/p>\n<p>De exemplu, pentru a verifica intervalul de lucru al temperaturilor blocului prezentat \u00een figura 6, schema intern\u0103 este prezentat\u0103 \u00een figura 7.<\/p>\n<p><\/p>\n<p><img decoding=\"async\" alt=\"Verificarea automat\u0103 a cerin\u021belor din specifica\u021bia tehnic\u0103 \u00een timpul model\u0103rii dinamice.\" src=\"\/wp-content\/uploads\/2020\/02\/9ce085c82417fdbc5230056de37af65a.jpg\" style=\"display:block;margin: 0 auto;\" \/><br \/>\n<i>Figura 7. Schema intern\u0103 a blocului de determinare a intervalului de temperatur\u0103.<\/i><\/p>\n<p><\/p>\n<p>\u00cen interiorul blocului, schemele folosesc propriet\u0103\u021bi stabilite \u00een parametrii blocului.<br \/>\nPe l\u00e2ng\u0103 analiza conformit\u0103\u021bii cerin\u021belor, schema intern\u0103 a blocului con\u021bine un grafic necesar pentru a reda rezultatele simul\u0103rii. Acest grafic poate fi folosit at\u00e2t pentru vizualizare \u00een timpul calculului, c\u00e2t \u0219i pentru analiza rezultatelor dup\u0103 calcul.<\/p>\n<p><\/p>\n<p>Rezultatele calculelor sunt transmise la ie\u0219irea blocului \u0219i \u00een acela\u0219i timp sunt \u00eenregistrate \u00eentr-un fi\u0219ier comun de raport, care este creat pe baza rezultatelor \u00eentregului proiect. (vezi figura 8)<\/p>\n<p><\/p>\n<p>Exemplul unui raport creat pe baza rezultatelor simul\u0103rii este un fi\u0219ier html, generat conform unui format specificat. Formatul poate fi personalizat \u00een mod liber dup\u0103 standardele acceptate de organiza\u021bie.<\/p>\n<p><\/p>\n<p>\u00cen interiorul blocului, schemele folosesc propriet\u0103\u021bi stabilite \u00een parametrii blocului.<br \/>\nPe l\u00e2ng\u0103 analiza conformit\u0103\u021bii cerin\u021belor, schema intern\u0103 a blocului con\u021bine un grafic necesar pentru a reda rezultatele simul\u0103rii. Acest grafic poate fi folosit at\u00e2t pentru vizualizare \u00een timpul calculului, c\u00e2t \u0219i pentru analiza rezultatelor dup\u0103 calcul.<\/p>\n<p><\/p>\n<p>Rezultatele calculelor sunt transmise la ie\u0219irea blocului \u0219i \u00een acela\u0219i timp sunt \u00eenregistrate \u00eentr-un fi\u0219ier comun de raport, care este creat pe baza rezultatelor \u00eentregului proiect. (vezi figura 8)<\/p>\n<p><\/p>\n<p>Exemplul unui raport creat pe baza rezultatelor simul\u0103rii este un fi\u0219ier html, generat conform unui format specificat. Formatul poate fi personalizat \u00een mod liber dup\u0103 standardele acceptate de organiza\u021bie.<\/p>\n<p><\/p>\n<p><img decoding=\"async\" alt=\"Verificarea automat\u0103 a cerin\u021belor din specifica\u021bia tehnic\u0103 \u00een timpul model\u0103rii dinamice.\" src=\"\/wp-content\/uploads\/2020\/02\/8ff948417d799bce621e34c709154116.jpg\" style=\"display:block;margin: 0 auto;\" \/><br \/>\n<i>Figura 8. Exemplu de fi\u0219ier de raport pe baza rezultatelor simul\u0103rii.<\/i><\/p>\n<p><\/p>\n<p>\u00cen acest exemplu, configurarea formei raportului se efectueaz\u0103 direct \u00een propriet\u0103\u021bile proiectului, iar formatul din tabel este definit ca semnale globale ale proiectului. \u00cen acest caz, SimInTech rezolv\u0103 singur problema configur\u0103rii raportului, iar blocul de \u00eenregistrare a rezultatelor \u00een fi\u0219ier folose\u0219te aceste linii pentru a scrie \u00een fi\u0219ierul de raport.<\/p>\n<p><\/p>\n<p><img decoding=\"async\" alt=\"Verificarea automat\u0103 a cerin\u021belor din specifica\u021bia tehnic\u0103 \u00een timpul model\u0103rii dinamice.\" src=\"\/wp-content\/uploads\/2020\/02\/bbe363bf1d81d00aebb67ca29a35811b.jpg\" style=\"display:block;margin: 0 auto;\" \/><br \/>\n<i>Figura 9. Configurarea formatului raportului \u00een semnalele globale ale proiectului.<\/i><\/p>\n<p><\/p>\n<h3>Utilizarea bazei de date a semnalelor pentru cerin\u021be.<\/h3>\n<p><\/p>\n<p>Pentru automatizarea lucrului cu set\u0103rile propriet\u0103\u021bilor pentru fiecare bloc tipic, se creeaz\u0103 o structur\u0103 tipic\u0103 \u00een baza de date a semnalelor. (vezi figura 10)<\/p>\n<\/p>\n<p><img decoding=\"async\" alt=\"Verificarea automat\u0103 a cerin\u021belor din specifica\u021bia tehnic\u0103 \u00een timpul model\u0103rii dinamice.\" src=\"\/wp-content\/uploads\/2020\/02\/7e20a24ca5dadd2da6542325e964ec00.jpg\" style=\"display:block;margin: 0 auto;\" \/><br \/>\n<i>Figura 10. Exemplu de structur\u0103 a blocului de verificare a cerin\u021bei \u00een baza de date a semnalelor.<\/i><\/p>\n<p><\/p>\n<p>Baza de date a semnalelor asigur\u0103:<\/p>\n<p><\/p>\n<ul>\n<li> Stocarea tuturor parametrilor necesari cerin\u021belor sistemului.<\/li>\n<li> Vizualizarea convenabil\u0103 a cerin\u021belor existente \u00een proiect din parametrii specifica\u021bi \u0219i rezultatele curente ale simul\u0103rii.<\/li>\n<li> Configurarea unui bloc, a unui grup de blocuri folosind un limbaj de programare script. Modific\u0103rile din baza de date a semnalelor conduc la schimbarea valorilor propriet\u0103\u021bilor blocului \u00een schematic\u0103.<\/li>\n<li> Stocarea descrierilor textuale, a leg\u0103turilor c\u0103tre punctele din TDR sau a identificatorilor \u00een sistemul de management al cerin\u021belor.<\/li>\n<\/ul>\n<p><\/p>\n<p>Structurile bazei de date a semnalelor pentru cerin\u021be pot fi u\u0219or configurate pentru a func\u021biona cu un sistem extern de management al cerin\u021belor. Schema general\u0103 de interac\u021biune cu sistemele de management al cerin\u021belor este prezentat\u0103 \u00een figura 11.<\/p>\n<p><\/p>\n<p><img decoding=\"async\" alt=\"Verificarea automat\u0103 a cerin\u021belor din specifica\u021bia tehnic\u0103 \u00een timpul model\u0103rii dinamice.\" src=\"\/wp-content\/uploads\/2020\/02\/3f6d67b8160255fd39d0d8bedf8be655.jpg\" style=\"display:block;margin: 0 auto;\" \/><br \/>\n<i>Figura 11. Schema de interac\u021biune cu sistemul de management al cerin\u021belor.<\/i><\/p>\n<p><\/p>\n<p>Secven\u021ba de interac\u021biune a proiectului de testare SimInTech cu sistemul de gestionare a cerin\u021belor este urm\u0103toarea:<\/p>\n<p><\/p>\n<ol>\n<li> Specifica\u021biile tehnice sunt \u00eemp\u0103r\u021bite \u00een cerin\u021be.<\/li>\n<li> Se eviden\u021biaz\u0103 cerin\u021bele din specifica\u021biile tehnice care pot fi verificate prin modelarea matematic\u0103 a proceselor tehnice.<\/li>\n<li> Attributele cerin\u021belor eviden\u021biate sunt transmise \u00een baza de date a semnalelor SimInTech \u00een structuri de blocuri tipizate (de exemplu, temperatura maxim\u0103 \u0219i minim\u0103).<\/li>\n<li> \u00cen timpul calculului, datele structurilor sunt transmise \u00een schemele de calcul ale blocurilor, se efectueaz\u0103 analiza, iar rezultatele sunt salvate \u00een baza de date a semnalelor.<\/li>\n<li> Dup\u0103 finalizarea calculului, rezultatele analizei sunt transmise sistemului de gestionare a cerin\u021belor.<\/li>\n<\/ol>\n<p><\/p>\n<p>Etapele de lucru cu cerin\u021bele 3 - 5 pot fi repetate \u00een timpul procesului de proiectare, c\u00e2nd au loc modific\u0103ri \u00een construc\u021bie \u0219i\/sau cerin\u021be, \u0219i, prin urmare, este necesar\u0103 o verificare ulterioar\u0103 a impactului modific\u0103rilor efectuate.<\/p>\n<p><\/p>\n<h3>Concluzii.<\/h3>\n<p><\/p>\n<ul>\n<li> Prototipul creat al sistemului asigur\u0103 o reducere semnificativ\u0103 a timpului de analiz\u0103 a modelelor existente, \u00een ceea ce prive\u0219te conformitatea cu cerin\u021bele specifica\u021biei tehnice.<\/li>\n<li> Tehnologia de testare propus\u0103 utilizeaz\u0103 deja modele dinamice existente \u0219i poate fi utilizat\u0103 chiar \u0219i pentru orice modele dinamice, inclusiv cele realizate \u00een afara mediului SimInTech.<\/li>\n<li> Utilizarea organiz\u0103rii batch a datelor permite crearea de pachete de verificare a cerin\u021belor, simultan cu dezvoltarea modelelor, sau chiar utilizarea acestor pachete ca specifica\u021bie tehnic\u0103 pentru dezvoltarea modelelor.<\/li>\n<li> Tehnologia poate fi integrat\u0103 f\u0103r\u0103 costuri semnificative \u00een sistemele existente de gestionare a cerin\u021belor.<\/li>\n<\/ul>\n<p><\/p>\n<p>Pentru cei care au citit p\u00e2n\u0103 la cap\u0103t, <noindex><a rel=\"nofollow\" href=\"https:\/\/youtu.be\/be9qPox4AXk\">linkul c\u0103tre video-demo cu func\u021bionarea prototipului.<\/a><\/noindex><\/p>\n<p>Sursa: <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.2.1 - 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\/ro\/blog\/avtomaticheskaya-proverka-trebovanij-tz-v-proczesse-dinamicheskogo-modelirovaniya\" \/>\n\t<meta name=\"generator\" content=\"All in One SEO (AIOSEO) 5.0.2.1\" \/>\n\t\t<meta property=\"og:locale\" content=\"ro_RO\" \/>\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\/ro\/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\udd47Verificarea automat\u0103 a cerin\u021belor specifica\u021biei tehnice \u00een procesul model\u0103rii dinamice | ProHoster","description":"Continu\u00e2nd tema \u201eCare sunt dovezile voastre?\u201d, s\u0103 analiz\u0103m problema model\u0103rii matematice din alt unghi.","canonical_url":"https:\/\/prohoster.info\/ro\/blog\/avtomaticheskaya-proverka-trebovanij-tz-v-proczesse-dinamicheskogo-modelirovaniya","robots":"max-image-preview:large","keywords":"","webmasterTools":{"miscellaneous":""},"schema":null,"og:locale":"ro_RO","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\/ro\/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\/ro\/wp-json\/wp\/v2\/posts\/41257","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/prohoster.info\/ro\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/prohoster.info\/ro\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/prohoster.info\/ro\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/prohoster.info\/ro\/wp-json\/wp\/v2\/comments?post=41257"}],"version-history":[{"count":0,"href":"https:\/\/prohoster.info\/ro\/wp-json\/wp\/v2\/posts\/41257\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/prohoster.info\/ro\/wp-json\/wp\/v2\/media\/41258"}],"wp:attachment":[{"href":"https:\/\/prohoster.info\/ro\/wp-json\/wp\/v2\/media?parent=41257"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/prohoster.info\/ro\/wp-json\/wp\/v2\/categories?post=41257"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/prohoster.info\/ro\/wp-json\/wp\/v2\/tags?post=41257"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}