{"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\/pl\/blog\/avtomaticheskaya-proverka-trebovanij-tz-v-proczesse-dinamicheskogo-modelirovaniya","title":{"rendered":"Automatyczna weryfikacja wymaga\u0144 TZ w procesie modelowania dynamicznego","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"<p>Kontynuuj\u0105c temat <noindex><a rel=\"nofollow\" href=\"https:\/\/habr.com\/ru\/post\/466215\/\">\u201eJakie s\u0105 twoje dowody?\u201d<\/a><\/noindex>, spojrzymy na problem modelowania matematycznego z innej strony. Po upewnieniu si\u0119, \u017ce model odpowiada surowej prawdzie \u017cycia, mo\u017cna odpowiedzie\u0107 na zasadnicze pytanie: \u201eco tak naprawd\u0119 mamy?\u201d. Tworz\u0105c model obiektu technicznego, zazwyczaj chcemy si\u0119 upewni\u0107, \u017ce ten obiekt spe\u0142ni nasze oczekiwania. W tym celu przeprowadza si\u0119 dynamiczne obliczenia proces\u00f3w, a wyniki por\u00f3wnuje si\u0119 z wymaganiami. To jest cyfrowy bli\u017aniak, wirtualny prototyp i inne modne gad\u017cety, kt\u00f3re na etapie projektowania rozwi\u0105zuj\u0105 problem, jak sprawi\u0107, aby\u015bmy otrzymali to, co planowali\u015bmy.<\/p>\n<p><\/p>\n<p>Jak szybko upewni\u0107 si\u0119, \u017ce nasz system to dok\u0142adnie to, co projektujemy, czy poleci, czy pop\u0142ynie nasza konstrukcja? A je\u015bli poleci, to jak wysoko? A je\u015bli pop\u0142ynie, to jak g\u0142\u0119boko?<\/p>\n<p>\n<img decoding=\"async\" alt=\"Automatyczna weryfikacja wymaga\u0144 TZ w procesie modelowania dynamicznego\" 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>W artykule rozwa\u017cana jest automatyzacja weryfikacji spe\u0142niania wymaga\u0144 technicznych budynku przy tworzeniu dynamicznych modeli system\u00f3w technicznych. Jako przyk\u0142ad przyjrzyjmy si\u0119 elementowi specyfikacji technicznej dla systemu ch\u0142odzenia powietrzem statku powietrznego.<\/p>\n<p><\/p>\n<p>Rozwa\u017camy takie wymagania, kt\u00f3re mo\u017cna wyrazi\u0107 liczbowo i zweryfikowa\u0107 matematycznie na podstawie konkretnego modelu obliczeniowego. Oczywi\u015bcie to tylko cz\u0119\u015b\u0107 og\u00f3lnych wymaga\u0144 dla ka\u017cdego systemu technicznego, ale dok\u0142adnie na ich weryfikacj\u0119 po\u015bwi\u0119camy czas, nerwy i pieni\u0105dze na tworzenie dynamicznych modeli obiektu.<\/p>\n<p><\/p>\n<p>Przy opisie wymaga\u0144 technicznych w formie dokumentu mo\u017cna wyr\u00f3\u017cni\u0107 kilka rodzaj\u00f3w r\u00f3\u017cnych wymaga\u0144, z kt\u00f3rych ka\u017cde wymaga r\u00f3\u017cnych podej\u015b\u0107 do automatycznej weryfikacji ich spe\u0142nienia.<\/p>\n<p><\/p>\n<p>Na przyk\u0142ad, rozwa\u017cmy taki ma\u0142y, ale rzeczywisty zbi\u00f3r wymaga\u0144:<\/p>\n<p>\n<i><\/p>\n<ol>\n<li> Temperatura atmosferycznego powietrza na wej\u015bciu do SVO:<br \/>\nna postoju \u2212 od minus 35 do 35 \u00baC,<br \/>\nw locie \u2212 od minus 35 do 39 \u00baC.<\/li>\n<li> Statyczne ci\u015bnienie atmosferycznego powietrza w locie \u2212 od 700 do 1013 hPa (od 526 do 760 mm rt. st.).<\/li>\n<li> Ca\u0142kowite ci\u015bnienie powietrza na wej\u015bciu do wlotu SVO w locie \u2212 od 754 do 1200 hPa (od 566 do 1050 mm rt. st.).<\/li>\n<li> Temperatura powietrza ch\u0142odz\u0105cego:<br \/>\nna postoju \u2212 nie wi\u0119cej ni\u017c 27 \u00baC, dla blok\u00f3w technicznych \u2212 nie wi\u0119cej ni\u017c 29 \u00baC,<br \/>\nw locie \u2212 nie wi\u0119cej ni\u017c 25 \u00baC, dla blok\u00f3w technicznych \u2212 nie wi\u0119cej ni\u017c 27 \u00baC.<\/li>\n<li> Zu\u017cycie powietrza ch\u0142odz\u0105cego:<br \/>\nna postoju \u2212 nie mniej ni\u017c 708 kg\/h,<br \/>\nw locie \u2212 nie mniej ni\u017c 660 kg\/h.<\/li>\n<li> Temperatura powietrza w przedzia\u0142ach przyrz\u0105d\u00f3w \u2212 nie wi\u0119cej ni\u017c 60 \u00baC.<\/li>\n<li> Ilo\u015b\u0107 drobno rozpylonej swobodnej wilgoci w powietrzu ch\u0142odz\u0105cym \u2212 nie wi\u0119cej ni\u017c 2 g\/kg suchego powietrza.<\/li>\n<\/ol>\n<p> <\/i><\/p>\n<p>Nawet w tak ograniczonym zestawie wymaga\u0144 mo\u017cna wyr\u00f3\u017cni\u0107 co najmniej dwie kategorie, kt\u00f3re nale\u017cy r\u00f3\u017cnie przetwarza\u0107 w systemie:<\/p>\n<p><\/p>\n<ul>\n<li> wymagania dotycz\u0105ce warunk\u00f3w eksploatacji systemu (pkt 1-3);<\/li>\n<li> wymagania parametryczne systemu (pkt 3-7).<\/li>\n<\/ul>\n<p><\/p>\n<p><i>Wymagania dotycz\u0105ce warunk\u00f3w eksploatacji systemu<\/i><br \/>\nZewn\u0119trzne warunki dla opracowanego systemu podczas modelowania mog\u0105 by\u0107 okre\u015blane jako warunki brzegowe lub jako wynik dzia\u0142ania og\u00f3lnego systemu.<br \/>\nPodczas dynamicznego modelowania nale\u017cy upewni\u0107 si\u0119, \u017ce okre\u015blone tryby pracy s\u0105 pokrywane przez proces modelowania.<\/p>\n<p><\/p>\n<p><i>Wymagania parametryczne systemu <\/i><br \/>\nTe wymagania stanowi\u0105 parametry zapewniane przez sam system. W trakcie modelowania mo\u017cemy uzyska\u0107 te parametry jako wyniki oblicze\u0144 i upewni\u0107 si\u0119, \u017ce wymagania s\u0105 spe\u0142nione w ka\u017cdym konkretnym obliczeniu.<\/p>\n<p><\/p>\n<h3>Identyfikacja i kodowanie wymaga\u0144<\/h3>\n<p><\/p>\n<p>Dla wygody pracy z wymaganiami istniej\u0105ce standardy zalecaj\u0105 przypisywanie identyfikatora ka\u017cdemu wymaganiu. Przy przypisywaniu identyfikator\u00f3w bardzo po\u017c\u0105dane jest u\u017cycie jednolitego systemu kodowania. <\/p>\n<p><\/p>\n<p>Kod wymagania mo\u017ce by\u0107 po prostu numerem, kt\u00f3ry odzwierciedla porz\u0105dkowy numer wymagania, lub mo\u017ce zawiera\u0107 kod typu wymagania, kod systemu lub agregatu, do kt\u00f3rego jest stosowany, kod parametru, kod lokalizacji i wiele innych, co mo\u017ce sobie wyobrazi\u0107 in\u017cynier. (przyk\u0142ad u\u017cycia kodowania zobacz w artykule)<\/p>\n<p><\/p>\n<p>W tabeli 1 przedstawiono prosty przyk\u0142ad kodowania wymaga\u0144.<\/p>\n<p><\/p>\n<ol>\n<li> kod \u017ar\u00f3d\u0142a wymaga\u0144 R - wymagania T\u017b; <\/li>\n<li> kod typu wymaga\u0144 E \u2013 wymagania \u2013 parametry zewn\u0119trznego \u015brodowiska, lub warunki eksploatacji<br \/>\n S \u2013 wymagania zapewniane przez system;<\/li>\n<li> kod stanu samolotu 0 \u2013 dowolny, G \u2013 na postoju, F \u2013 w locie;<\/li>\n<li> kod typu parametr\u00f3w fizycznych T \u2013 temperatura, P \u2013 ci\u015bnienie, G \u2013 przep\u0142yw, wilgotno\u015b\u0107 H;<\/li>\n<li> numer porz\u0105dkowy wymagania.<\/li>\n<\/ol>\n<p><\/p>\n<table>\n<tr>\n<td><b>ID<br \/>\nWymagania<\/b><\/td>\n<td><b>Opis<\/b><\/td>\n<td><b>Parametr<\/b><\/td>\n<\/tr>\n<tr>\n<td>REGT01<\/td>\n<td>Temperatura powietrza atmosferycznego na wej\u015bciu do SVO: podczas postoju \u2014 od minus 35\u00baC do 35 \u00baC.<\/td>\n<td><\/td>\n<\/tr>\n<tr>\n<td>REFT01<\/td>\n<td>Temperatura powietrza atmosferycznego na wej\u015bciu do SVO: w locie \u2014 od minus 35 \u00baC do 39 \u00baC.<\/td>\n<td> <\/td>\n<\/tr>\n<tr>\n<td>REFP01<\/td>\n<td>Ci\u015bnienie statyczne powietrza atmosferycznego w locie 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>Ci\u015bnienie ca\u0142kowite powietrza na wej\u015bciu do wlotu SVO w locie 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>Temperatura powietrza ch\u0142odz\u0105cego: podczas postoju nie wi\u0119cej ni\u017c 27 \u00baC. <\/td>\n<td> <\/td>\n<\/tr>\n<tr>\n<td>RSGT02<\/td>\n<td>Temperatura powietrza ch\u0142odz\u0105cego: podczas postoju, dla blok\u00f3w technicznych nie wi\u0119cej ni\u017c 29 \u00baC. <\/td>\n<td> <\/td>\n<\/tr>\n<tr>\n<td>RSFT01<\/td>\n<td>Temperatura powietrza ch\u0142odz\u0105cego w locie nie wi\u0119cej ni\u017c 25 \u00baC. <\/td>\n<td> <\/td>\n<\/tr>\n<tr>\n<td>RSFT02<\/td>\n<td>Temperatura powietrza ch\u0142odz\u0105cego: w locie, dla blok\u00f3w technicznych nie wi\u0119cej ni\u017c 27 \u00baC. <\/td>\n<td> <\/td>\n<\/tr>\n<tr>\n<td>RSGG01<\/td>\n<td>Przep\u0142yw powietrza ch\u0142odz\u0105cego: podczas postoju nie mniej ni\u017c 708 kg\/h.<\/td>\n<td> <\/td>\n<\/tr>\n<tr>\n<td>RSFG01<\/td>\n<td>Przep\u0142yw powietrza ch\u0142odz\u0105cego: w locie nie mniej ni\u017c 660 kg\/h.<\/td>\n<td> <\/td>\n<\/tr>\n<tr>\n<td>RS0T01<\/td>\n<td>Temperatura powietrza w komorach przyrz\u0105d\u00f3w nie wi\u0119cej ni\u017c 60 \u00baC. <\/td>\n<td> <\/td>\n<\/tr>\n<tr>\n<td>RSH01<\/td>\n<td>Ilo\u015b\u0107 drobno rozproszonej wolnej wilgoci w powietrzu ch\u0142odz\u0105cym nie wi\u0119cej ni\u017c 2 g\/kg suchego powietrza.<\/td>\n<td> <\/td>\n<\/tr>\n<\/table>\n<p><\/p>\n<h3>Projekt systemu weryfikacji wymaga\u0144.<\/h3>\n<p><\/p>\n<p>Dla ka\u017cdego obliczeniowego wymagania istnieje algorytm oceny zgodno\u015bci obliczonych parametr\u00f3w z wymaganymi w specyfikacji. Generalnie ka\u017cda system zarz\u0105dzania zawsze zawiera w sobie algorytmy weryfikacji wymaga\u0144 po prostu z definicji. Nawet ka\u017cdy regulator je zawiera. Gdy temperatura przekracza okre\u015blone granice, w\u0142\u0105czany jest klimatyzator. W ten spos\u00f3b pierwszy etap ka\u017cdego nadzoru to weryfikacja zgodno\u015bci parametr\u00f3w z wymaganiem.<\/p>\n<p><\/p>\n<p>A skoro weryfikacja to algorytm, mo\u017cna wykorzysta\u0107 te same narz\u0119dzia i instrumenty, kt\u00f3re u\u017cywamy do tworzenia program\u00f3w zarz\u0105dzania. Na przyk\u0142ad \u015brodowisko SimInTech umo\u017cliwia tworzenie pakiet\u00f3w projektowych, kt\u00f3re zawieraj\u0105 r\u00f3\u017cne cz\u0119\u015bci modelu, wykonane jako osobne projekty (model obiektu, model systemu zarz\u0105dzania, model \u015brodowiska itd.).<\/p>\n<p><\/p>\n<p>Projekt weryfikacji wymaga\u0144 w tym przypadku staje si\u0119 takim samym projektem algorytm\u00f3w i \u0142\u0105czy si\u0119 z pakietem modelu. A w trybie modelowania dynamicznego przeprowadza analiz\u0119 zgodno\u015bci wymaga\u0144 z TZ.<\/p>\n<p><\/p>\n<p>Mo\u017cliwy przyk\u0142ad prezentacji projektu systemu zosta\u0142 przedstawiony na rysunku 1.<\/p>\n<p><\/p>\n<p><img decoding=\"async\" alt=\"Automatyczna weryfikacja wymaga\u0144 TZ w procesie modelowania dynamicznego\" src=\"\/wp-content\/uploads\/2020\/02\/e57fda1fb5b835a6ac961639db2b1749.jpg\" style=\"display:block;margin: 0 auto;\" \/><br \/>\n<i>Rysunek 1. Przyk\u0142ad prezentacji projektu weryfikacji. <\/i><\/p>\n<p><\/p>\n<p>Podobnie jak do algorytm\u00f3w sterowania, wymagania mo\u017cna zorganizowa\u0107 w formie zestawu dokument\u00f3w. Dla u\u0142atwienia pracy z algorytmami w \u015brodowiskach modelowania strukturalnego, takich jak SimInTech, Simulink, AmeSim, wykorzystuje si\u0119 mo\u017cliwo\u015bci tworzenia struktur wielopoziomowych w postaci submodeli. Taka organizacja pozwala grupowa\u0107 r\u00f3\u017cne wymagania w zestawy, co upraszcza prac\u0119 z masywem wymaga\u0144, jak w przypadku algorytm\u00f3w sterowania (zob. rys. 2).<\/p>\n<p><\/p>\n<p><img decoding=\"async\" alt=\"Automatyczna weryfikacja wymaga\u0144 TZ w procesie modelowania dynamicznego\" src=\"\/wp-content\/uploads\/2020\/02\/726ad4d5df1975131e71fc8a14ce71fe.jpg\" style=\"display:block;margin: 0 auto;\" \/><br \/>\n<i>Rysunek 2. Hierarchiczna struktura modelu weryfikacji wymaga\u0144. <\/i><\/p>\n<p><\/p>\n<p>Na przyk\u0142ad, w rozwa\u017canym przypadku wyr\u00f3\u017cniono dwie grupy: wymagania dotycz\u0105ce otoczenia oraz wymagania bezpo\u015brednio zwi\u0105zane z systemem. Dlatego wykorzystuje si\u0119 dwupoziomow\u0105 struktur\u0119 danych: dwie grupy, z kt\u00f3rych ka\u017cda jest list\u0105 algorytmu.<\/p>\n<p><\/p>\n<p>Do pod\u0142\u0105czenia danych do modelu u\u017cywana jest standardowa schemat tworzenia bazy danych sygna\u0142\u00f3w, w kt\u00f3rej przechowywane s\u0105 dane do wymiany mi\u0119dzy cz\u0119\u015bciami projektu.<\/p>\n<p><\/p>\n<p>Podczas tworzenia i testowania oprogramowania do tej bazy umieszczane s\u0105 odczyty czujnik\u00f3w (odpowiadaj\u0105cych rzeczywistym czujnikom systemu), kt\u00f3re s\u0105 wykorzystywane przez system sterowania.<br \/>\n W kontek\u015bcie projektu testowania w tej samej bazie danych mog\u0105 by\u0107 przechowywane dowolne parametry obliczane w dynamicznym modelu, a tym samym wykorzystywane do weryfikacji spe\u0142nienia wymaga\u0144.<\/p>\n<p>\nSam dynamiczny model w tym przypadku mo\u017ce by\u0107 realizowany w dowolnym systemie modelowania matematycznego lub nawet w formie programu wykonywalnego. Jedynym wymaganiem jest wyst\u0119powanie interfejs\u00f3w programowych do przekazywania danych o modelowaniu do zewn\u0119trznego \u015brodowiska.<\/p>\n<p><img decoding=\"async\" alt=\"Automatyczna weryfikacja wymaga\u0144 TZ w procesie modelowania dynamicznego\" src=\"\/wp-content\/uploads\/2020\/02\/ac56799b7a022325f72d0639cd85eba2.jpg\" style=\"display:block;margin: 0 auto;\" \/><br \/>\n<i>Rysunek 3. Pod\u0142\u0105czenie projektu weryfikacji do z\u0142o\u017conego modelu. <\/i><\/p>\n<p><\/p>\n<p>Przyk\u0142ad podstawowego arkusza weryfikacji wymaga\u0144 przedstawiono na rysunku 4. Z punktu widzenia programisty, jest to zwyk\u0142y schemat obliczeniowy, na kt\u00f3rym w formie graficznej przedstawiono algorytm weryfikacji wymaga\u0144.<\/p>\n<p><\/p>\n<p><img decoding=\"async\" alt=\"Automatyczna weryfikacja wymaga\u0144 TZ w procesie modelowania dynamicznego\" src=\"\/wp-content\/uploads\/2020\/02\/467f3217a65e0b4a1def034ce75c747e.jpg\" style=\"display:block;margin: 0 auto;\" \/><br \/>\n<i>Rysunek 4. Arkusz weryfikacji wymaga\u0144. <\/i><\/p>\n<p><\/p>\n<p>G\u0142\u00f3wne cz\u0119\u015bci arkusza weryfikacji opisano na rysunku 5. Algorytm weryfikacji formu\u0142uje si\u0119 analogicznie do schemat\u00f3w obliczeniowych algorytm\u00f3w sterowania. W prawej cz\u0119\u015bci znajduje si\u0119 blok odczytu sygna\u0142\u00f3w z bazy danych. W tym bloku nast\u0119puje odwo\u0142anie do bazy danych sygna\u0142\u00f3w podczas modelowania.<\/p>\n<p><\/p>\n<p>Otrzymane sygna\u0142y s\u0105 analizowane w celu obliczenia warunk\u00f3w weryfikacji wymaga\u0144. W badanym przypadku przeprowadzana jest analiza wysoko\u015bci, aby okre\u015bli\u0107 po\u0142o\u017cenie samolotu (czy znajduje si\u0119 na postoju, czy w locie). Do tego celu mo\u017cna u\u017cywa\u0107 r\u00f3wnie\u017c innych sygna\u0142\u00f3w i obliczanych parametr\u00f3w modelu.<\/p>\n<p><\/p>\n<p>Warunki weryfikacji i sprawdzane parametry s\u0105 przekazywane do standardowych blok\u00f3w weryfikacyjnych, w kt\u00f3rych odbywa si\u0119 analiza danych tych parametr\u00f3w pod k\u0105tem zgodno\u015bci z zadanymi wymaganiami. Wyniki s\u0105 zapisywane w bazie danych sygna\u0142\u00f3w w taki spos\u00f3b, aby mo\u017cna je by\u0142o wykorzysta\u0107 do automatycznego tworzenia list kontrolnych.<\/p>\n<p><\/p>\n<p><img decoding=\"async\" alt=\"Automatyczna weryfikacja wymaga\u0144 TZ w procesie modelowania dynamicznego\" src=\"\/wp-content\/uploads\/2020\/02\/1aa7778f56190bf51c112e29eab8a13c.jpg\" style=\"display:block;margin: 0 auto;\" \/><br \/>\n<i>Rysunek 5. Struktura arkusza obliczeniowego weryfikacji wymaga\u0144.<\/i><\/p>\n<p><\/p>\n<p>Jako sprawdzane parametry niekoniecznie musz\u0105 by\u0107 u\u017cywane sygna\u0142y znajduj\u0105ce si\u0119 w bazie danych, kt\u00f3rymi zarz\u0105dzaj\u0105 parametry, obliczane w trakcie modelowania. Nic nie stoi na przeszkodzie, aby w ramach projektu wymaga\u0144 przeprowadzi\u0107 dodatkowe obliczenia, tak jak obliczamy warunki weryfikacji.<\/p>\n<p><\/p>\n<p>Na przyk\u0142ad takie wymaganie:<\/p>\n<p><\/p>\n<p> <i>Liczba w\u0142\u0105cze\u0144 systemu korekcyjnego w trakcie lotu do celu nie powinna przekracza\u0107 5, a \u0142\u0105czny czas pracy systemu korekcyjnego nie powinien by\u0107 d\u0142u\u017cszy ni\u017c 30 sekund.<\/i><\/p>\n<p><\/p>\n<p>W takim przypadku do obliczeniowego schematu projektu wymaga\u0144 dodawany jest algorytm licznika liczby w\u0142\u0105cze\u0144 i \u0142\u0105cznego czasu pracy.<\/p>\n<p><\/p>\n<h3>Standardowy blok weryfikacji wymaga\u0144.<\/h3>\n<p><\/p>\n<p>Ka\u017cdy standardowy blok weryfikacji wymaga\u0144 jest przeznaczony do obliczania spe\u0142nienia wymogu okre\u015blonego rodzaju. Na przyk\u0142ad w wymaganiach dotycz\u0105cych \u015brodowiska wyst\u0119puje zakres roboczych temperatur otoczenia w czasie postoju i w locie. Ten blok powinien otrzyma\u0107 jako parametr temperatur\u0119 powietrza w modelu i okre\u015bli\u0107, czy ten parametr pokrywa zadany zakres temperatur.\n<\/p>\n<p>Blok zawiera dwa porty wej\u015bciowe, param i condition.<\/p>\n<p><\/p>\n<p>Na pierwszy port podawany jest sprawdzany parametr. W tym przypadku jest to \u201eTemperatura otoczenia\u201d.<\/p>\n<p><\/p>\n<p>Na drugi port podawana jest zmienna logiczna \u2013 warunek wykonania weryfikacji.<\/p>\n<p><\/p>\n<p>Je\u017celi na drugi wej\u015bcie dociera TRUE (1), to blok wykonuje obliczenie weryfikacji wymaga\u0144.<\/p>\n<p><\/p>\n<p>Je\u015bli drugi wej\u015bcie otrzymuje FALSE (0), to warunki sprawdzania nie s\u0105 spe\u0142nione. Jest to niezb\u0119dne, aby mo\u017cna by\u0142o uwzgl\u0119dni\u0107 warunki oblicze\u0144. W naszym przypadku to wej\u015bcie jest u\u017cywane do w\u0142\u0105czania lub wy\u0142\u0105czania kontroli w zale\u017cno\u015bci od stanu modelu. Je\u015bli statek powietrzny podczas modelowania znajduje si\u0119 na ziemi, to wymagania dotycz\u0105ce lotu nie s\u0105 sprawdzane, i odwrotnie \u2013 je\u015bli statek powietrzny jest w powietrzu, to nie s\u0105 sprawdzane wymagania zwi\u0105zane z prac\u0105 na postoju.<\/p>\n<p><\/p>\n<p>To wej\u015bcie mo\u017cna r\u00f3wnie\u017c wykorzysta\u0107 podczas konfigurowania modelu, na przyk\u0142ad na pocz\u0105tkowym etapie oblicze\u0144. Gdy model jest dostosowywany do wymaganych warunk\u00f3w, bloki kontrolne s\u0105 wy\u0142\u0105czone, ale gdy tylko system osi\u0105ga wymagany tryb pracy, bloki kontrolne s\u0105 w\u0142\u0105czane.<\/p>\n<p><\/p>\n<p>Parametrami tego bloku s\u0105:<\/p>\n<p><\/p>\n<ul>\n<li>warunki brzegowe: g\u00f3rny (UpLimit) i dolny (DownLimit) zakres, kt\u00f3ry powinien by\u0107 sprawdzony;<\/li>\n<li> wymagany czas utrzymania systemu w granicach brzegowych (TimeInterval) w sekundach;<\/li>\n<li>identyfikator wymagania ReqName;<\/li>\n<li>dozwolenie na przekroczenie zakresu Out_range \u2013 zmienna boolean, kt\u00f3ra okre\u015bla, czy naruszenie wymaga\u0144 nast\u0119puje w wyniku przekroczenia warto\u015bci poza sprawdzany zakres.<\/li>\n<\/ul>\n<p><\/p>\n<p>W niekt\u00f3rych przypadkach przekroczenie sprawdzanej warto\u015bci oznacza, \u017ce system ma zapas i mo\u017ce dzia\u0142a\u0107 poza zakresem roboczym. W innych przypadkach przekroczenie oznacza, \u017ce system nie jest w stanie utrzyma\u0107 wymaganych parametr\u00f3w w ramach zakresu.<\/p>\n<p><\/p>\n<p><img decoding=\"async\" alt=\"Automatyczna weryfikacja wymaga\u0144 TZ w procesie modelowania dynamicznego\" src=\"\/wp-content\/uploads\/2020\/02\/3cd48fd6597d1ee11ecaea9931c3fbbb.jpg\" style=\"display:block;margin: 0 auto;\" \/><br \/>\n<i>Rysunek 6. Typowy blok sprawdzania w\u0142a\u015bciwo\u015bci na schemacie oraz jego parametry.<\/i><\/p>\n<p><\/p>\n<p>W wyniku oblicze\u0144 tego bloku na wyj\u015bciu powstaje zmienna Result, kt\u00f3ra przyjmuje nast\u0119puj\u0105ce warto\u015bci:<\/p>\n<p><\/p>\n<ul>\n<li>0 \u2013 rNone, warto\u015b\u0107 nieokre\u015blona;<\/li>\n<li>1 \u2013 rDone, wymaganie spe\u0142nione;<\/li>\n<li>2 \u2013 rFault, wymaganie niespe\u0142nione.<\/li>\n<\/ul>\n<p><\/p>\n<p>Obraz bloku zawiera:<\/p>\n<p><\/p>\n<ul>\n<li> tekst identyfikatora;<\/li>\n<li> cyfrowe wy\u015bwietlenia parametr\u00f3w granic pomiarowych;<\/li>\n<li> kolorowy identyfikator stanu parametru.<\/li>\n<\/ul>\n<p><\/p>\n<p>Wewn\u0105trz bloku mo\u017ce znajdowa\u0107 si\u0119 do\u015b\u0107 skomplikowany schemat wnioskowania logicznego.<\/p>\n<p>Na przyk\u0142ad, aby sprawdzi\u0107 roboczy zakres temperatur bloku przedstawionego na rysunku 6, wewn\u0119trzny schemat przedstawiony jest na rysunku 7.<\/p>\n<p><\/p>\n<p><img decoding=\"async\" alt=\"Automatyczna weryfikacja wymaga\u0144 TZ w procesie modelowania dynamicznego\" src=\"\/wp-content\/uploads\/2020\/02\/9ce085c82417fdbc5230056de37af65a.jpg\" style=\"display:block;margin: 0 auto;\" \/><br \/>\n<i>Rysunek 7. Wewn\u0119trzny schemat bloku okre\u015blania zakresu temperatur.<\/i><\/p>\n<p><\/p>\n<p>Wewn\u0105trz bloku schematy u\u017cywaj\u0105 w\u0142a\u015bciwo\u015bci okre\u015blonych w parametrach bloku.<br \/>\nOpr\u00f3cz analizy zgodno\u015bci wymaga\u0144, wewn\u0119trzny schemat bloku zawiera wykres, kt\u00f3ry jest potrzebny do przedstawienia wynik\u00f3w symulacji. Ten wykres mo\u017ce by\u0107 u\u017cyty zar\u00f3wno do podgl\u0105du w czasie oblicze\u0144, jak i do analizy wynik\u00f3w po obliczeniach.<\/p>\n<p><\/p>\n<p>Wyniki oblicze\u0144 s\u0105 przekazywane na wyj\u015bcie bloku i jednocze\u015bnie zapisywane do wsp\u00f3lnego pliku raportu, kt\u00f3ry jest tworzony na podstawie wynik\u00f3w w ca\u0142ym projekcie. (zob. rys. 8)<\/p>\n<p><\/p>\n<p>Przyk\u0142ad raportu utworzonego na podstawie wynik\u00f3w symulacji to plik html, utworzony zgodnie z okre\u015blonym formatem. Format mo\u017ce by\u0107 dowolnie dostosowany do formatu przyj\u0119tego w konkretnej organizacji.<\/p>\n<p><\/p>\n<p>Wewn\u0105trz bloku schematy u\u017cywaj\u0105 w\u0142a\u015bciwo\u015bci okre\u015blonych w parametrach bloku.<br \/>\nOpr\u00f3cz analizy zgodno\u015bci wymaga\u0144, wewn\u0119trzny schemat bloku zawiera wykres, kt\u00f3ry jest potrzebny do przedstawienia wynik\u00f3w symulacji. Ten wykres mo\u017ce by\u0107 u\u017cyty zar\u00f3wno do podgl\u0105du w czasie oblicze\u0144, jak i do analizy wynik\u00f3w po obliczeniach.<\/p>\n<p><\/p>\n<p>Wyniki oblicze\u0144 s\u0105 przekazywane na wyj\u015bcie bloku i jednocze\u015bnie zapisywane do wsp\u00f3lnego pliku raportu, kt\u00f3ry jest tworzony na podstawie wynik\u00f3w w ca\u0142ym projekcie. (zob. rys. 8)<\/p>\n<p><\/p>\n<p>Przyk\u0142ad raportu utworzonego na podstawie wynik\u00f3w symulacji to plik html, utworzony zgodnie z okre\u015blonym formatem. Format mo\u017ce by\u0107 dowolnie dostosowany do formatu przyj\u0119tego w konkretnej organizacji.<\/p>\n<p><\/p>\n<p><img decoding=\"async\" alt=\"Automatyczna weryfikacja wymaga\u0144 TZ w procesie modelowania dynamicznego\" src=\"\/wp-content\/uploads\/2020\/02\/8ff948417d799bce621e34c709154116.jpg\" style=\"display:block;margin: 0 auto;\" \/><br \/>\n<i>Rysunek 8. Przyk\u0142ad pliku raportu z wynikami symulacji.<\/i><\/p>\n<p><\/p>\n<p>W tym przyk\u0142adzie konfiguracja formy raportu jest realizowana bezpo\u015brednio w w\u0142a\u015bciwo\u015bciach projektu, a format jest okre\u015blany w tabeli jako globalne sygna\u0142y projektu. W takim przypadku SimInTech sam rozwi\u0105zuje zadanie konfiguracji raportu, a blok zapisu wynik\u00f3w do pliku wykorzystuje te wiersze do zapisu w pliku raportu.<\/p>\n<p><\/p>\n<p><img decoding=\"async\" alt=\"Automatyczna weryfikacja wymaga\u0144 TZ w procesie modelowania dynamicznego\" src=\"\/wp-content\/uploads\/2020\/02\/bbe363bf1d81d00aebb67ca29a35811b.jpg\" style=\"display:block;margin: 0 auto;\" \/><br \/>\n<i>Rysunek 9. Konfiguracja formatu raportu w globalnych sygna\u0142ach projektu.<\/i><\/p>\n<p><\/p>\n<h3>Wykorzystanie bazy danych sygna\u0142\u00f3w dla wymaga\u0144.<\/h3>\n<p><\/p>\n<p>Dla automatyzacji pracy z ustawieniami w\u0142a\u015bciwo\u015bci dla ka\u017cdego typowego bloku tworzona jest typowa struktura w bazie danych sygna\u0142\u00f3w. (zob. rys. 10)<\/p>\n<\/p>\n<p><img decoding=\"async\" alt=\"Automatyczna weryfikacja wymaga\u0144 TZ w procesie modelowania dynamicznego\" src=\"\/wp-content\/uploads\/2020\/02\/7e20a24ca5dadd2da6542325e964ec00.jpg\" style=\"display:block;margin: 0 auto;\" \/><br \/>\n<i>Rysunek 10. Przyk\u0142ad struktury bloku weryfikacji wymaga\u0144 w bazie danych sygna\u0142\u00f3w.<\/i><\/p>\n<p><\/p>\n<p>Baza danych sygna\u0142\u00f3w zapewnia:<\/p>\n<p><\/p>\n<ul>\n<li> Przechowywanie wszystkich niezb\u0119dnych parametr\u00f3w wymaga\u0144 systemowych.<\/li>\n<li> Wygodny podgl\u0105d istniej\u0105cych w projekcie wymaga\u0144 z okre\u015blonych parametr\u00f3w i bie\u017c\u0105cych wynik\u00f3w symulacji.<\/li>\n<li> Konfiguracj\u0119 jednego bloku, grupy blok\u00f3w z wykorzystaniem j\u0119zyka skryptowego. Zmiany w bazie danych sygna\u0142\u00f3w prowadz\u0105 do zmiany warto\u015bci w\u0142a\u015bciwo\u015bci bloku na schemacie.<\/li>\n<li> Przechowywanie opis\u00f3w tekstowych, odwo\u0142a\u0144 do punkt\u00f3w w specyfikacji wymaga\u0144 lub identyfikator\u00f3w w systemie zarz\u0105dzania wymaganiami.<\/li>\n<\/ul>\n<p><\/p>\n<p>Struktury bazy danych sygna\u0142\u00f3w dla wymaga\u0144 mog\u0105 by\u0107 \u0142atwo dostosowane do wsp\u00f3\u0142pracy z zewn\u0119trznym systemem zarz\u0105dzania wymaganiami. Og\u00f3lny schemat interakcji z systemami zarz\u0105dzania wymaganiami przedstawiono na rysunku 11.<\/p>\n<p><\/p>\n<p><img decoding=\"async\" alt=\"Automatyczna weryfikacja wymaga\u0144 TZ w procesie modelowania dynamicznego\" src=\"\/wp-content\/uploads\/2020\/02\/3f6d67b8160255fd39d0d8bedf8be655.jpg\" style=\"display:block;margin: 0 auto;\" \/><br \/>\n<i>Rysunek 11. Schemat interakcji z systemem zarz\u0105dzania wymaganiami.<\/i><\/p>\n<p><\/p>\n<p>Sekwencja interakcji testowego projektu SimInTech z systemem zarz\u0105dzania wymaganiami jest nast\u0119puj\u0105ca:<\/p>\n<p><\/p>\n<ol>\n<li> Dokumentacja techniczna jest dzielona na wymagania.<\/li>\n<li> Wyodr\u0119bniane s\u0105 takie wymagania dokumentacji technicznej, kt\u00f3re mog\u0105 by\u0107 weryfikowane poprzez matematyczne modelowanie proces\u00f3w technicznych.<\/li>\n<li> Atrybuty wyodr\u0119bnionych wymaga\u0144 s\u0105 przekazywane do bazy danych sygna\u0142\u00f3w SimInTech w strukturach standardowych blok\u00f3w (na przyk\u0142ad maksymalna i minimalna temperatura).<\/li>\n<li> W trakcie oblicze\u0144 dane struktur s\u0105 przekazywane do schemat\u00f3w obliczeniowych blok\u00f3w, przeprowadzana jest analiza, a wyniki s\u0105 zapisywane w bazie danych sygna\u0142\u00f3w.<\/li>\n<li> Po zako\u0144czeniu oblicze\u0144 wyniki analizy s\u0105 przekazywane do systemu zarz\u0105dzania wymaganiami.<\/li>\n<\/ol>\n<p><\/p>\n<p>Etapy pracy z wymaganiami 3\u20135 mog\u0105 by\u0107 powtarzane w trakcie procesu projektowania, gdy zachodz\u0105 zmiany w konstrukcji i (lub) wymaganiach i, w zwi\u0105zku z tym, konieczna jest ponowna weryfikacja wp\u0142ywu wprowadzonych zmian.<\/p>\n<p><\/p>\n<h3>Wnioski.<\/h3>\n<p><\/p>\n<ul>\n<li> Stworzony prototyp systemu zapewnia znaczn\u0105 redukcj\u0119 czasu analizy istniej\u0105cych modeli pod k\u0105tem zgodno\u015bci z wymaganiami dokumentacji technicznej.<\/li>\n<li> Proponowana technologia testowania wykorzystuje ju\u017c istniej\u0105ce modele dynamiczne i mo\u017ce by\u0107 stosowana nawet dla wszelkich modeli dynamicznych, w tym wykonanych nie w \u015brodowisku SimInTech.<\/li>\n<li> Wykorzystanie pakietowej organizacji danych pozwala na tworzenie pakiet\u00f3w weryfikacji wymaga\u0144 r\u00f3wnolegle z opracowywaniem modeli, a nawet wykorzystanie tych pakiet\u00f3w jako dokumentacji technicznej do opracowania modeli.<\/li>\n<li> Technologia mo\u017ce by\u0107 zintegrowana z istniej\u0105cymi systemami zarz\u0105dzania wymaganiami bez znacznych koszt\u00f3w.<\/li>\n<\/ul>\n<p><\/p>\n<p>Dla tych, kt\u00f3rzy przeczytali do ko\u0144ca, <noindex><a rel=\"nofollow\" href=\"https:\/\/youtu.be\/be9qPox4AXk\">link do wideo z prezentacj\u0105 dzia\u0142ania prototypu.<\/a><\/noindex><\/p>\n<p>\u0179r\u00f3d\u0142o: <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 - 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\/pl\/blog\/avtomaticheskaya-proverka-trebovanij-tz-v-proczesse-dinamicheskogo-modelirovaniya\" \/>\n\t<meta name=\"generator\" content=\"All in One SEO (AIOSEO) 5.0.2\" \/>\n\t\t<meta property=\"og:locale\" content=\"pl_PL\" \/>\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\/pl\/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\udd47Automatyczna weryfikacja wymaga\u0144 dokumentacji technicznej w procesie dynamicznego modelowania | ProHoster","description":"Kontynuuj\u0105c temat \u201eJakie s\u0105 twoje dowody?\u201d, przyjrzyjmy si\u0119 problemowi matematycznego modelowania z innej perspektywy.","canonical_url":"https:\/\/prohoster.info\/pl\/blog\/avtomaticheskaya-proverka-trebovanij-tz-v-proczesse-dinamicheskogo-modelirovaniya","robots":"max-image-preview:large","keywords":"","webmasterTools":{"miscellaneous":""},"schema":null,"og:locale":"pl_PL","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\/pl\/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\/pl\/wp-json\/wp\/v2\/posts\/41257","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/prohoster.info\/pl\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/prohoster.info\/pl\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/prohoster.info\/pl\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/prohoster.info\/pl\/wp-json\/wp\/v2\/comments?post=41257"}],"version-history":[{"count":0,"href":"https:\/\/prohoster.info\/pl\/wp-json\/wp\/v2\/posts\/41257\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/prohoster.info\/pl\/wp-json\/wp\/v2\/media\/41258"}],"wp:attachment":[{"href":"https:\/\/prohoster.info\/pl\/wp-json\/wp\/v2\/media?parent=41257"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/prohoster.info\/pl\/wp-json\/wp\/v2\/categories?post=41257"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/prohoster.info\/pl\/wp-json\/wp\/v2\/tags?post=41257"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}