{"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\/sq\/blog\/avtomaticheskaya-proverka-trebovanij-tz-v-proczesse-dinamicheskogo-modelirovaniya","title":{"rendered":"Kontrolli automatik i k\u00ebrkesave t\u00eb TZ-s\u00eb gjat\u00eb modelimit dinamik","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"<p>Duke vazhdojm\u00eb tem\u00ebn <noindex><a rel=\"nofollow\" href=\"https:\/\/habr.com\/ru\/post\/466215\/\">\u00abCilat jan\u00eb provat tuaja?\u00bb<\/a><\/noindex>, le t\u00eb shohim problemin e modelimit matematikor nga nj\u00eb k\u00ebndv\u00ebshtrim tjet\u00ebr. Pasi t\u00eb ket\u00eb p\u00ebrfunduar q\u00eb modeli i p\u00ebrket realitetit t\u00eb jet\u00ebs, mund t\u00eb p\u00ebrgjigjemi n\u00eb pyetjen kryesore: \u00ab\u00e7far\u00eb kemi k\u00ebtu, n\u00eb t\u00eb v\u00ebrtet\u00eb?\u00bb. Kur krijojm\u00eb nj\u00eb model t\u00eb nj\u00eb objekti teknik, zakonisht d\u00ebshirojm\u00eb t\u00eb sigurohemi q\u00eb ky objekt do t\u00eb p\u00ebrmbush\u00eb pritshm\u00ebrit\u00eb tona. P\u00ebr k\u00ebt\u00eb b\u00ebhen llogaritjet dinamikore t\u00eb proceseve dhe rezultati krahasohet me k\u00ebrkesat. Kjo \u00ebsht\u00eb ajo q\u00eb quhet binjak dixhital, prototip virtual dhe gj\u00ebra t\u00eb tjera moderne, t\u00eb cilat n\u00eb faz\u00ebn e projektimit zgjidhin detyr\u00ebn se si t\u00eb arrijm\u00eb t\u00eb kemi at\u00eb q\u00eb kemi planifikuar.<\/p>\n<p><\/p>\n<p>Si mund ta sigurojm\u00eb shpejt q\u00eb sistemi yn\u00eb \u00ebsht\u00eb pik\u00ebrisht ajo q\u00eb po projektojm\u00eb, do t\u00eb fluturoj\u00eb apo do t\u00eb notoj\u00eb, nd\u00ebrtimi yn\u00eb? N\u00ebse fluturon, sa lart? N\u00ebse noton, sa thell\u00eb?<\/p>\n<p>\n<img decoding=\"async\" alt=\"Kontrolli automatik i k\u00ebrkesave t\u00eb TZ-s\u00eb gjat\u00eb modelimit dinamik\" 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>N\u00eb k\u00ebt\u00eb artikull shqyrtohet automatizimi i verifikimit t\u00eb p\u00ebrmbushjes s\u00eb k\u00ebrkesave t\u00eb nj\u00eb nd\u00ebrtese teknike gjat\u00eb krijimit t\u00eb modeleve dinamikore t\u00eb sistemeve teknike. Si nj\u00eb shembull, le t\u00eb shohim nj\u00eb element t\u00eb detyr\u00ebs teknike p\u00ebr sistemin e ftohjes me aj\u00ebr t\u00eb nj\u00eb aparati fluturues.<\/p>\n<p><\/p>\n<p>Ne shqyrtojm\u00eb ato k\u00ebrkesa q\u00eb mund t\u00eb shprehen num\u00ebrish dhe t\u00eb verifikohen matematikisht mbi baz\u00ebn e nj\u00eb modeli t\u00eb caktuar llogaritar. \u00cbsht\u00eb e qart\u00eb se kjo \u00ebsht\u00eb vet\u00ebm nj\u00eb pjes\u00eb e k\u00ebrkesave t\u00eb p\u00ebrgjithshme p\u00ebr \u00e7do sistem teknik, por pik\u00ebrisht p\u00ebr verifikimin e tyre ne shpenzojm\u00eb koh\u00eb, nerva dhe para p\u00ebr t\u00eb krijuar modele dinamike t\u00eb objektit.<\/p>\n<p><\/p>\n<p>Kur p\u00ebrshkruhen k\u00ebrkesat teknike n\u00eb form\u00ebn e dokumenteve, mund t\u00eb distinctoren disa lloje t\u00eb ndryshme k\u00ebrkesash, \u00e7do nj\u00ebra prej t\u00eb cilave k\u00ebrkon qasje t\u00eb ndryshme p\u00ebr formimin e verifikimit automatik t\u00eb p\u00ebrmbushjes s\u00eb k\u00ebrkesave.<\/p>\n<p><\/p>\n<p>P\u00ebr shembull, le t\u00eb shqyrtojm\u00eb nj\u00eb grup t\u00eb vog\u00ebl, por t\u00eb v\u00ebrtet\u00eb k\u00ebrkesash:<\/p>\n<p>\n<i><\/p>\n<ol>\n<li> Temperatura e ajrit atmosferik n\u00eb hyrje t\u00eb sistemit t\u00eb ftohjes me aj\u00ebr:<br \/>\nn\u00eb parkim - nga minus 35 deri n\u00eb 35 \u00baC,<br \/>\nn\u00eb fluturim - nga minus 35 deri n\u00eb 39 \u00baC.<\/li>\n<li> Presioni statik i ajrit atmosferik n\u00eb fluturim - nga 700 deri n\u00eb 1013 GPa (nga 526 deri n\u00eb 760 mm Hg).<\/li>\n<li> Presioni i plot\u00eb i ajrit n\u00eb hyrje t\u00eb pomp\u00ebs s\u00eb ajrit n\u00eb fluturim - nga 754 deri n\u00eb 1200 GPa (nga 566 deri n\u00eb 1050 mm Hg).<\/li>\n<li> Temperatura e ajrit t\u00eb ftohjes:<br \/>\nn\u00eb parkim - jo m\u00eb shum\u00eb se 27 \u00baC, p\u00ebr blloqet teknike - jo m\u00eb shum\u00eb se 29 \u00baC,<br \/>\nn\u00eb fluturim \u2212 jo m\u00eb shum\u00eb se 25 \u00baC, p\u00ebr blloqet teknike \u2212 jo m\u00eb shum\u00eb se 27 \u00baC.<\/li>\n<li> Shpenzimi i ajrit t\u00eb ftohjes:<br \/>\nn\u00eb parkim \u2212 jo m\u00eb pak se 708 kg\/h,<br \/>\nn\u00eb fluturim \u2212 jo m\u00eb pak se 660 kg\/h.<\/li>\n<li> Temperatura e ajrit n\u00eb ndarjet e instrumenteve \u2212 jo m\u00eb shum\u00eb se 60 \u00baC.<\/li>\n<li> Sasia e lag\u00ebshtir\u00ebs s\u00eb im\u00ebt t\u00eb lir\u00eb n\u00eb ajrin e ftohjes \u2212 jo m\u00eb shum\u00eb se 2 g\/kg ajri t\u00eb that\u00eb.<\/li>\n<\/ol>\n<p> <\/i><\/p>\n<p>Edhe n\u00eb nj\u00eb set t\u00eb till\u00eb t\u00eb kufizuar k\u00ebrkesash, mund t\u00eb dallohen t\u00eb pakt\u00ebn dy kategori q\u00eb duhet t\u00eb trajtohen ndryshe n\u00eb sistem:<\/p>\n<p><\/p>\n<ul>\n<li> k\u00ebrkesat e kushteve t\u00eb funksionimit t\u00eb sistemit (n\u00ebnpika 1-3);<\/li>\n<li> k\u00ebrkesat parametrike ndaj sistemit (n\u00ebnpika 3-7).<\/li>\n<\/ul>\n<p><\/p>\n<p><i>K\u00ebrkesat e kushteve t\u00eb funksionimit t\u00eb sistemit<\/i><br \/>\nKushtet ekstreme p\u00ebr sistemin n\u00eb zhvillim mund t\u00eb p\u00ebrcaktohen si kushte kufizuese, ose si rezultat i funksionimit t\u00eb p\u00ebrgjithsh\u00ebm t\u00eb sistemit.<br \/>\nN\u00eb modelimin dinamik \u00ebsht\u00eb e nevojshme t\u00eb sigurohet q\u00eb regjimet e caktuara t\u00eb funksionimit p\u00ebrfshihen n\u00eb procesin e modelimit.<\/p>\n<p><\/p>\n<p><i>K\u00ebrkesat parametrike ndaj sistemit <\/i><br \/>\nK\u00ebto k\u00ebrkesa p\u00ebrb\u00ebjn\u00eb parametrat q\u00eb sigurohen nga vet\u00eb sistemi. Gjat\u00eb procesit t\u00eb modelimit ne mund t\u00eb marim k\u00ebto parametra si rezultate t\u00eb llogaritjes dhe t\u00eb sigurohemi q\u00eb k\u00ebrkesat plot\u00ebsohen n\u00eb \u00e7do llogaritje t\u00eb ve\u00e7ant\u00eb.<\/p>\n<p><\/p>\n<h3>Identifikimi dhe kodifikimi i k\u00ebrkesave<\/h3>\n<p><\/p>\n<p>P\u00ebr leht\u00ebsi n\u00eb pun\u00eb me k\u00ebrkesat, standartet ekzistuese rekomandojn\u00eb caktimin e nj\u00eb identifikatori p\u00ebr secil\u00ebn k\u00ebrkes\u00eb. Kur caktohen identifikator\u00eb, \u00ebsht\u00eb shum\u00eb e d\u00ebshirueshme t\u00eb p\u00ebrdoret nj\u00eb sistem i njejt\u00eb kodimi. <\/p>\n<p><\/p>\n<p>Kodi i k\u00ebrkes\u00ebs mund t\u00eb jet\u00eb thjesht nj\u00eb num\u00ebr q\u00eb pasqyron numrin rendor t\u00eb k\u00ebrkes\u00ebs, ose mund t\u00eb p\u00ebrmbaj\u00eb kodin e tipit t\u00eb k\u00ebrkes\u00ebs, kodin e sistemit ose agregatit t\u00eb cilit i referohet, kodin e parametrave, kodin e vendndodhjes dhe shum\u00eb m\u00eb tep\u00ebr q\u00eb inxhinieri mund t\u00eb imagjinoj\u00eb. (p\u00ebr nj\u00eb shembull t\u00eb p\u00ebrdorimit t\u00eb kodifikimit shiko artikullin)<\/p>\n<p><\/p>\n<p>N\u00eb tabel\u00ebn 1 \u00ebsht\u00eb paraqitur nj\u00eb shembull i thjesht\u00eb i kodifikimit t\u00eb k\u00ebrkesave.<\/p>\n<p><\/p>\n<ol>\n<li> kodi i burimit t\u00eb k\u00ebrkesave R - k\u00ebrkesat e PZ; <\/li>\n<li> kodi i tipit t\u00eb k\u00ebrkesave E \u2013 k\u00ebrkesat \u2013 parametrat e mjedisit, ose kushtet e funksionimit<br \/>\n S \u2014 k\u00ebrkesat q\u00eb sigurohen nga sistemi;<\/li>\n<li> kodi i gjendjes s\u00eb avionit 0 \u2013 \u00e7do gj\u00eb, G \u2013 n\u00eb parkim, F \u2013 n\u00eb fluturim;<\/li>\n<li> kodi i tipit t\u00eb parametrave fizike T \u2013 temperatura, P \u2013 presioni, G \u2013 shpenzimi, lag\u00ebshtia H;<\/li>\n<li> numri rendor i k\u00ebrkes\u00ebs.<\/li>\n<\/ol>\n<p><\/p>\n<table>\n<tr>\n<td><b>ID<br \/>\nK\u00ebrkesat<\/b><\/td>\n<td><b>P\u00ebrshkrimi<\/b><\/td>\n<td><b>Parametri<\/b><\/td>\n<\/tr>\n<tr>\n<td>REGT01<\/td>\n<td>Temperatura e ajrit atmosferik n\u00eb hyrje t\u00eb SVO: n\u00eb parkim \u2014 nga minus 35\u00baC deri n\u00eb 35 \u00baC.<\/td>\n<td><\/td>\n<\/tr>\n<tr>\n<td>REFT01<\/td>\n<td>Temperatura e ajrit atmosferik n\u00eb hyrje t\u00eb SVO: n\u00eb fluturim \u2014 nga minus 35 \u00baC deri n\u00eb 39 \u00baC.<\/td>\n<td> <\/td>\n<\/tr>\n<tr>\n<td>REFP01<\/td>\n<td>Tensioni statik i ajrit atmosferik n\u00eb fluturim nga 700 deri n\u00eb 1013 hPa (nga 526 deri n\u00eb 760 mmHg).<\/td>\n<td> <\/td>\n<\/tr>\n<tr>\n<td>REFP02<\/td>\n<td>Tensioni total i ajrit n\u00eb hyrje t\u00eb filtrit t\u00eb ajrit SVO n\u00eb fluturim nga 754 deri n\u00eb 1200 hPa (nga 566 deri n\u00eb 1050 mmHg).<\/td>\n<td> <\/td>\n<\/tr>\n<tr>\n<td>RSGT01<\/td>\n<td>Temperatura e ajrit t\u00eb ftohjes: n\u00eb parkim jo m\u00eb shum\u00eb se 27 \u00baC. <\/td>\n<td> <\/td>\n<\/tr>\n<tr>\n<td>RSGT02<\/td>\n<td>Temperatura e ajrit t\u00eb ftohjes: n\u00eb parkim, p\u00ebr bloket teknike jo m\u00eb shum\u00eb se 29 \u00baC. <\/td>\n<td> <\/td>\n<\/tr>\n<tr>\n<td>RSFT01<\/td>\n<td>Temperatura e ajrit t\u00eb ftohjes n\u00eb fluturim jo m\u00eb shum\u00eb se 25 \u00baC. <\/td>\n<td> <\/td>\n<\/tr>\n<tr>\n<td>RSFT02<\/td>\n<td>Temperatura e ajrit t\u00eb ftohjes: n\u00eb fluturim, p\u00ebr bloket teknike jo m\u00eb shum\u00eb se 27 \u00baC. <\/td>\n<td> <\/td>\n<\/tr>\n<tr>\n<td>RSGG01<\/td>\n<td>Shkalla e fluksit t\u00eb ajrit t\u00eb ftohjes: n\u00eb parkim jo m\u00eb pak se 708 kg\/h.<\/td>\n<td> <\/td>\n<\/tr>\n<tr>\n<td>RSFG01<\/td>\n<td>Shkalla e fluksit t\u00eb ajrit t\u00eb ftohjes: n\u00eb fluturim jo m\u00eb pak se 660 kg\/h.<\/td>\n<td> <\/td>\n<\/tr>\n<tr>\n<td>RS0T01<\/td>\n<td>Temperatura e ajrit n\u00eb sallat e instrumenteve jo m\u00eb shum\u00eb se 60 \u00baC. <\/td>\n<td> <\/td>\n<\/tr>\n<tr>\n<td>RSH01<\/td>\n<td>Sasia e lag\u00ebshtis\u00eb shum\u00eb t\u00eb im\u00ebt n\u00eb ajrin e ftohjes jo m\u00eb shum\u00eb se 2 g\/kg ajri t\u00eb that\u00eb.<\/td>\n<td> <\/td>\n<\/tr>\n<\/table>\n<p><\/p>\n<h3>Projekti i sistemit t\u00eb verifikimit t\u00eb k\u00ebrkesave.<\/h3>\n<p><\/p>\n<p>P\u00ebr \u00e7do k\u00ebrkes\u00eb t\u00eb llogaritur ekziston nj\u00eb algorit\u00ebm p\u00ebr vler\u00ebsimin e p\u00ebrputhshm\u00ebris\u00eb s\u00eb parametrave t\u00eb llogaritur dhe atyre t\u00eb caktuara n\u00eb k\u00ebrkes\u00eb. N\u00eb thelb, \u00e7do sistem menaxhimi gjithmon\u00eb p\u00ebrmban algoritme verifikimi k\u00ebrkesash thjesht si nj\u00eb rregull. Edhe \u00e7do rregullator i p\u00ebrmban ato. N\u00ebse temperatura kalon kufirin, kondicioneri ndizet. Pra, faza e par\u00eb e \u00e7do rregullimi \u00ebsht\u00eb kontrolli i p\u00ebrputhshm\u00ebris\u00eb s\u00eb parametrave me k\u00ebrkes\u00ebn.<\/p>\n<p><\/p>\n<p>Dhe pasi verifikimi \u00ebsht\u00eb nj\u00eb algorit\u00ebm, mund t\u00eb p\u00ebrdoren t\u00eb nj\u00ebjtat mjete dhe instrumente q\u00eb p\u00ebrdorim p\u00ebr t\u00eb krijuar programe menaxhimi. P\u00ebr shembull, mjedisi SimInTech lejon krijimin e paketave t\u00eb projekteve q\u00eb p\u00ebrmbajn\u00eb pjes\u00eb t\u00eb ndryshme t\u00eb modelit, t\u00eb realizuara si projekte t\u00eb ve\u00e7anta (modeli i objektit, modeli i sistemit t\u00eb menaxhimit, modeli i ambientit etj.).<\/p>\n<p><\/p>\n<p>Projekti i verifikimit t\u00eb k\u00ebrkesave n\u00eb k\u00ebt\u00eb rast b\u00ebhet nj\u00eb projekt algoritmetik dhe lidhet me paket\u00ebn e modelit. N\u00eb m\u00ebnyr\u00eb dinamike, ai realizon analiz\u00eb t\u00eb p\u00ebrputhshm\u00ebris\u00eb me k\u00ebrkesat e specifikimit teknik.<\/p>\n<p><\/p>\n<p>Nj\u00eb shembull i mundsh\u00ebm p\u00ebr p\u00ebrshkrimin e projektit t\u00eb sistemit \u00ebsht\u00eb paraqitur n\u00eb figur\u00ebn 1.<\/p>\n<p><\/p>\n<p><img decoding=\"async\" alt=\"Kontrolli automatik i k\u00ebrkesave t\u00eb TZ-s\u00eb gjat\u00eb modelimit dinamik\" src=\"\/wp-content\/uploads\/2020\/02\/e57fda1fb5b835a6ac961639db2b1749.jpg\" style=\"display:block;margin: 0 auto;\" \/><br \/>\n<i>Figura 1. Shembulli i p\u00ebrshkrimit t\u00eb projektit t\u00eb verifikimit. <\/i><\/p>\n<p><\/p>\n<p>Po t\u00eb nj\u00ebjt\u00ebn m\u00ebnyr\u00eb si p\u00ebr algoritmet e menaxhimit, k\u00ebrkesat mund t\u00eb paraqiten si nj\u00eb set flet\u00ebsh. P\u00ebr leht\u00ebsin\u00eb e pun\u00ebs me algoritmet n\u00eb mjediset e modelimit strukturor si SimInTech, Simulink, AmeSim, p\u00ebrdoren mund\u00ebsit\u00eb e krijimit t\u00eb strukturave shum\u00eb-nivel\u00ebshe n\u00eb form\u00ebn e n\u00ebnmodeleve. Kjo organizim lejon grupimin e k\u00ebrkesave t\u00eb ndryshme n\u00eb sete p\u00ebr t\u00eb simplifikuar pun\u00ebn me masivin e k\u00ebrkesave, ashtu si\u00e7 b\u00ebhet p\u00ebr algoritmet e menaxhimit (shih. figur\u00ebn 2).<\/p>\n<p><\/p>\n<p><img decoding=\"async\" alt=\"Kontrolli automatik i k\u00ebrkesave t\u00eb TZ-s\u00eb gjat\u00eb modelimit dinamik\" src=\"\/wp-content\/uploads\/2020\/02\/726ad4d5df1975131e71fc8a14ce71fe.jpg\" style=\"display:block;margin: 0 auto;\" \/><br \/>\n<i>Figura 2. Struktura hierarkike e modelit t\u00eb verifikimit t\u00eb k\u00ebrkesave. <\/i><\/p>\n<p><\/p>\n<p>P\u00ebr shembull, n\u00eb rastin n\u00eb shqyrtim jan\u00eb identifikuar dy grupe: k\u00ebrkesa p\u00ebr ambientin dhe k\u00ebrkesa direkte p\u00ebr sistemin. Prandaj p\u00ebrdoret nj\u00eb struktur\u00eb t\u00eb dh\u00ebnash me dy nivele: dy grupe, secila prej t\u00eb cilave \u00ebsht\u00eb nj\u00eb flet\u00eb algoritmi.<\/p>\n<p><\/p>\n<p>P\u00ebr t'i lidhur t\u00eb dh\u00ebnat me modelin, p\u00ebrdoret nj\u00eb skem\u00eb standarde e formimit t\u00eb baz\u00ebs s\u00eb t\u00eb dh\u00ebnave t\u00eb sinjaleve, ku ruhen t\u00eb dh\u00ebnat p\u00ebr shk\u00ebmbimin midis pjes\u00ebve t\u00eb projektit.<\/p>\n<p><\/p>\n<p>Gjat\u00eb krijimit dhe testimit t\u00eb softuerit, n\u00eb k\u00ebt\u00eb baz\u00eb vendosen leximet e sensor\u00ebve (analog\u00ebt e sensor\u00ebve real\u00eb t\u00eb sistemit), q\u00eb p\u00ebrdoren nga sistemi i menaxhimit.<br \/>\n P\u00ebr projektin e testimit, n\u00eb t\u00eb nj\u00ebjt\u00ebn baz\u00eb t\u00eb dh\u00ebnash mund t\u00eb ruhet \u00e7do parametrar, q\u00eb llogaritet n\u00eb modelin dinamik, dhe k\u00ebshtu t\u00eb p\u00ebrdoret p\u00ebr verifikimin e p\u00ebrmbushjes s\u00eb k\u00ebrkesave.<\/p>\n<p>\nModeli dinamik n\u00eb k\u00ebt\u00eb rast mund t\u00eb realizohet n\u00eb \u00e7do sistem modelimi matematikor ose madje si nj\u00eb program ekzekutues. K\u00ebrkesa e vetme \u00ebsht\u00eb q\u00eb t\u00eb ekzistojn\u00eb nd\u00ebrfaqe programore p\u00ebr t\u00eb nxjerr\u00eb t\u00eb dh\u00ebna p\u00ebr modelimin n\u00eb ambientin e jasht\u00ebm.<\/p>\n<p><img decoding=\"async\" alt=\"Kontrolli automatik i k\u00ebrkesave t\u00eb TZ-s\u00eb gjat\u00eb modelimit dinamik\" src=\"\/wp-content\/uploads\/2020\/02\/ac56799b7a022325f72d0639cd85eba2.jpg\" style=\"display:block;margin: 0 auto;\" \/><br \/>\n<i>Figura 3. Lidhja e projektit t\u00eb verifikimit me modelin kompleks. <\/i><\/p>\n<p><\/p>\n<p>Shembulli i flet\u00ebs baz\u00eb t\u00eb verifikimit t\u00eb k\u00ebrkesave p\u00ebrfaq\u00ebsohet n\u00eb figur\u00ebn 4. Nga k\u00ebndv\u00ebshtrimi i zhvilluesit, ajo paraqet nj\u00eb skem\u00eb t\u00eb zakonshme llogarit\u00ebse, n\u00eb t\u00eb cil\u00ebn n\u00eb m\u00ebnyr\u00eb grafike paraqitet algoritmi i verifikimit t\u00eb k\u00ebrkesave.<\/p>\n<p><\/p>\n<p><img decoding=\"async\" alt=\"Kontrolli automatik i k\u00ebrkesave t\u00eb TZ-s\u00eb gjat\u00eb modelimit dinamik\" src=\"\/wp-content\/uploads\/2020\/02\/467f3217a65e0b4a1def034ce75c747e.jpg\" style=\"display:block;margin: 0 auto;\" \/><br \/>\n<i>Figura 4. Fleta e verifikimit t\u00eb k\u00ebrkesave. <\/i><\/p>\n<p><\/p>\n<p>Pjes\u00ebt kryesore t\u00eb flet\u00ebs s\u00eb verifikimit jan\u00eb p\u00ebrshkruar n\u00eb figur\u00ebn 5. Algoritmi i verifikimit formohet n\u00eb m\u00ebnyr\u00eb t\u00eb ngjashme me skemat llogaritative t\u00eb algoritmeve t\u00eb menaxhimit. N\u00eb an\u00ebn e djatht\u00ebs ndodhet blloku i leximit t\u00eb sinjaleve nga baza e t\u00eb dh\u00ebnave. N\u00eb k\u00ebt\u00eb bllok ndodh qasja n\u00eb baz\u00ebn e t\u00eb dh\u00ebnave t\u00eb sinjaleve gjat\u00eb modelimit.<\/p>\n<p><\/p>\n<p>Signalet e marr\u00eb jan\u00eb analizuar p\u00ebr t\u00eb llogaritur kushtet e verifikimit t\u00eb k\u00ebrkesave. N\u00eb k\u00ebt\u00eb rast, b\u00ebhet analiza e lart\u00ebsis\u00eb p\u00ebr t\u00eb p\u00ebrcaktuar pozitat e avionit (n\u00ebse ndodhet n\u00eb q\u00ebndrim apo n\u00eb fluturim). P\u00ebr k\u00ebt\u00eb q\u00ebllim, mund t\u00eb p\u00ebrdoren edhe sinjalet e tjera dhe parametrat e modelit t\u00eb llogaritur.<\/p>\n<p><\/p>\n<p>Kushtet e verifikimit dhe parametrat e verifikuar transmetohen n\u00eb blloket standarde t\u00eb verifikimit, ku kryhet analiza e t\u00eb dh\u00ebnave t\u00eb k\u00ebtyre parametrave p\u00ebr p\u00ebrputhshm\u00ebri me k\u00ebrkesat e caktuara. Rezultatet regjistrohen n\u00eb baz\u00ebn e t\u00eb dh\u00ebnave t\u00eb signaleve n\u00eb nj\u00eb m\u00ebnyr\u00eb q\u00eb mund t\u00eb p\u00ebrdoren p\u00ebr formimin automatik t\u00eb nj\u00eb liste kontrolli.<\/p>\n<p><\/p>\n<p><img decoding=\"async\" alt=\"Kontrolli automatik i k\u00ebrkesave t\u00eb TZ-s\u00eb gjat\u00eb modelimit dinamik\" src=\"\/wp-content\/uploads\/2020\/02\/1aa7778f56190bf51c112e29eab8a13c.jpg\" style=\"display:block;margin: 0 auto;\" \/><br \/>\n<i>Figura 5. Struktura e flet\u00ebs t\u00eb llogaritjes s\u00eb verifikimit t\u00eb k\u00ebrkesave.<\/i><\/p>\n<p><\/p>\n<p>P\u00ebr parametrat e verifikimit, nuk \u00ebsht\u00eb e nevojshme t\u00eb p\u00ebrdoren vet\u00ebm sinjalet q\u00eb ndodhen n\u00eb baz\u00ebn e t\u00eb dh\u00ebnave, t\u00eb cilat drejtohen nga parametrat e llogaritur gjat\u00eb procesit t\u00eb modelimit. Asgj\u00eb nuk e pengon projektimin e llogarive t\u00eb tjera si\u00e7 b\u00ebjm\u00eb p\u00ebr kushtet e verifikimit.<\/p>\n<p><\/p>\n<p>P\u00ebr shembull, nj\u00eb k\u00ebrkes\u00eb e till\u00eb:<\/p>\n<p><\/p>\n<p> <i>Numri i aktivizimeve t\u00eb sistemit korrigjues gjat\u00eb fluturimit drejt q\u00ebllimit nuk duhet t\u00eb kaloj\u00eb numrin 5, dhe koha totale e funksionimit t\u00eb sistemit korrigjues nuk duhet t\u00eb kaloj\u00eb 30 sekonda.<\/i><\/p>\n<p><\/p>\n<p>N\u00eb k\u00ebt\u00eb rast, n\u00eb skem\u00ebn llogarit\u00ebse t\u00eb projektit t\u00eb k\u00ebrkesave, shtohet algoritmi i num\u00ebrimit t\u00eb aktivizimeve dhe koh\u00ebs totale t\u00eb funksionimit.<\/p>\n<p><\/p>\n<h3>Blloku standard i verifikimit t\u00eb k\u00ebrkesave.<\/h3>\n<p><\/p>\n<p>\u00c7do bllok standard i verifikimit t\u00eb k\u00ebrkesave \u00ebsht\u00eb i destinuar p\u00ebr llogaritjen e p\u00ebrmbushjes s\u00eb nj\u00eb k\u00ebrkese t\u00eb caktuar. P\u00ebr shembull, n\u00eb k\u00ebrkesat p\u00ebr ambientin, paraqitet nj\u00eb gam\u00eb temperaturash punuese t\u00eb ajrit ambient gjat\u00eb q\u00ebndrimit dhe fluturimit. Ky bllok duhet t\u00eb marr\u00eb si paramet\u00ebr temperatur\u00ebn e ajrit n\u00eb model dhe t\u00eb p\u00ebrcaktoj\u00eb n\u00ebse ky parametr mbulon gam\u00ebn e k\u00ebrkuar t\u00eb temperatur\u00ebs.\n<\/p>\n<p>Blloku ka dy porte hyr\u00ebse, param dhe condition.<\/p>\n<p><\/p>\n<p>N\u00eb portin e par\u00eb shkon parametri i verifikuar. N\u00eb k\u00ebt\u00eb rast, \"Temperatura e ambientit t\u00eb jasht\u00ebm\".<\/p>\n<p><\/p>\n<p>N\u00eb portin e dyt\u00eb shkon nj\u00eb variable logjike \u2013 kushti i p\u00ebrmbushjes s\u00eb verifikimit.<\/p>\n<p><\/p>\n<p>N\u00ebse n\u00eb hyrjen e dyt\u00eb arrin TRUE (1), at\u00ebher\u00eb blloku kryen llogaritjen e verifikimit t\u00eb k\u00ebrkes\u00ebs.<\/p>\n<p><\/p>\n<p>N\u00ebse hyrja e dyt\u00eb merr FALSE (0), at\u00ebher\u00eb kushtet e kontrollit nuk p\u00ebrmbushen. Kjo \u00ebsht\u00eb e nevojshme q\u00eb t\u00eb mund t\u00eb merret parasysh kushtet e llogaritjes. N\u00eb rastin ton\u00eb, kjo hyrje p\u00ebrdoret p\u00ebr t\u00eb aktivizuar ose \u00e7aktivizuar kontrollin n\u00eb p\u00ebrputhje me gjendjen e modelit. N\u00ebse AI \u00ebsht\u00eb n\u00eb tok\u00eb gjat\u00eb modelimit, k\u00ebrkesat lidhur me fluturimin nuk kontrollohen, dhe anasjelltas - n\u00ebse AI \u00ebsht\u00eb n\u00eb fluturim, nuk kontrollohen k\u00ebrkesat q\u00eb lidhen me operacionin n\u00eb parkim.<\/p>\n<p><\/p>\n<p>Kjo hyrje gjithashtu mund t\u00eb p\u00ebrdoret gjat\u00eb konfigurimit t\u00eb modelit, p\u00ebr shembull n\u00eb faz\u00ebn fillestare t\u00eb llogaritjes. Kur modeli vendoset n\u00eb gjendjen e k\u00ebrkuar, bloket e kontrollit jan\u00eb t\u00eb \u00e7aktivizuara, por sapo sistemi arrin m\u00ebnyr\u00ebn e k\u00ebrkuar t\u00eb funksionimit, bloket e kontrollit aktivizohen.<\/p>\n<p><\/p>\n<p>Si parametra t\u00eb k\u00ebtij bloku caktohen:<\/p>\n<p><\/p>\n<ul>\n<li>kushtet kufizuese: kufiri m\u00eb i lart\u00eb (UpLimit) dhe kufiri m\u00eb i ul\u00ebt (DownLimit) t\u00eb intervaleve q\u00eb duhet t\u00eb kontrollohen;<\/li>\n<li> koha e k\u00ebrkuar e q\u00ebndrimit t\u00eb sistemit n\u00eb intervalet kufizuese (TimeInterval) n\u00eb sekonda;<\/li>\n<li>identifikatori i k\u00ebrkes\u00ebs ReqName;<\/li>\n<li>pranueshm\u00ebria e daljes jasht\u00eb intervalit Out_range - nj\u00eb variab\u00ebl booleane q\u00eb p\u00ebrcakton n\u00ebse dalja e vler\u00ebs p\u00ebrjashtohet p\u00ebrmbushjen e k\u00ebrkes\u00ebs.<\/li>\n<\/ul>\n<p><\/p>\n<p>N\u00eb disa raste, dalja e vler\u00ebs s\u00eb kontrolluar do t\u00eb thot\u00eb se sistemi ka rezerva dhe mund t\u00eb funksionoj\u00eb jasht\u00eb intervalit t\u00eb pun\u00ebs. N\u00eb raste t\u00eb tjera, dalja do t\u00eb thot\u00eb se sistemi nuk arrin t\u00eb mbaj\u00eb parametrat e caktuar brenda intervalit.<\/p>\n<p><\/p>\n<p><img decoding=\"async\" alt=\"Kontrolli automatik i k\u00ebrkesave t\u00eb TZ-s\u00eb gjat\u00eb modelimit dinamik\" src=\"\/wp-content\/uploads\/2020\/02\/3cd48fd6597d1ee11ecaea9931c3fbbb.jpg\" style=\"display:block;margin: 0 auto;\" \/><br \/>\n<i>Figura 6. Bloku tipik i kontrollit t\u00eb pron\u00ebs n\u00eb diagram dhe parametrat e tij.<\/i><\/p>\n<p><\/p>\n<p>Si rezultat i llogaritjes s\u00eb k\u00ebtij bloku, formohet variabla Result, e cila merr vlerat e m\u00ebposhtme:<\/p>\n<p><\/p>\n<ul>\n<li>0 \u2013 rNone, vlera nuk \u00ebsht\u00eb e p\u00ebrcaktuar;<\/li>\n<li>1 \u2013 rDone, k\u00ebrkesa plot\u00ebsohet;<\/li>\n<li>2 \u2013 rFault, k\u00ebrkesa nuk plot\u00ebsohet.<\/li>\n<\/ul>\n<p><\/p>\n<p>Imazhi i blokut p\u00ebrfshin:<\/p>\n<p><\/p>\n<ul>\n<li> tekstin e identifikatorit;<\/li>\n<li> shfaqjet numerike t\u00eb parametrave t\u00eb kufijve t\u00eb matjes;<\/li>\n<li> identifikuesin e ngjyr\u00ebs s\u00eb gjendjes s\u00eb parametrave.<\/li>\n<\/ul>\n<p><\/p>\n<p>Brenda blokut mund t\u00eb ndodhen skema t\u00eb mjaftueshme komplekse t\u00eb p\u00ebrfundimit logjik.<\/p>\n<p>P\u00ebr shembull, p\u00ebr t\u00eb kontrolluar intervalin e temperaturave t\u00eb blokut t\u00eb ilustruar n\u00eb figur\u00ebn 6, skema e brendshme paraqitet n\u00eb figur\u00ebn 7.<\/p>\n<p><\/p>\n<p><img decoding=\"async\" alt=\"Kontrolli automatik i k\u00ebrkesave t\u00eb TZ-s\u00eb gjat\u00eb modelimit dinamik\" src=\"\/wp-content\/uploads\/2020\/02\/9ce085c82417fdbc5230056de37af65a.jpg\" style=\"display:block;margin: 0 auto;\" \/><br \/>\n<i>Figura 7. Skema e brendshme e blokut p\u00ebr p\u00ebrcaktimin e intervalit t\u00eb temperaturave.<\/i><\/p>\n<p><\/p>\n<p>Brenda skem\u00ebs s\u00eb blokut p\u00ebrdoren pron\u00ebsi, t\u00eb caktuara n\u00eb parametrat e blokut.<br \/>\nP\u00ebrve\u00e7 analiz\u00ebs s\u00eb p\u00ebrputhshm\u00ebris\u00eb me k\u00ebrkesat, skema e brendshme e bllokut p\u00ebrmban nj\u00eb grafik, i nevojsh\u00ebm p\u00ebr paraqitjen e rezultateve t\u00eb modelimit. Ky grafik mund t\u00eb p\u00ebrdoret si p\u00ebr shikimin gjat\u00eb llogaritjes, ashtu edhe p\u00ebr analiz\u00ebn e rezultateve pas llogaritjes.<\/p>\n<p><\/p>\n<p>Rezultatet e llogaritjes d\u00ebrgohen n\u00eb daljen e bllokut dhe nj\u00ebkoh\u00ebsisht regjistrohen n\u00eb nj\u00eb skedar t\u00eb p\u00ebrgjithsh\u00ebm raporti, i cili krijohet mbi baz\u00ebn e rezultateve p\u00ebr t\u00eb gjith\u00eb projektin. (shih. fig. 8)<\/p>\n<p><\/p>\n<p>Shembulli i raportit, i krijuar sipas rezultateve t\u00eb modelimit, \u00ebsht\u00eb nj\u00eb skedar html, i krijuar sipas nj\u00eb formati t\u00eb caktuar. Formati mund t\u00eb konfigurohet n\u00eb m\u00ebnyr\u00eb arbitrare n\u00eb formatin e pranuar n\u00eb organizat\u00eb p\u00ebrkat\u00ebse.<\/p>\n<p><\/p>\n<p>Brenda skem\u00ebs s\u00eb blokut p\u00ebrdoren pron\u00ebsi, t\u00eb caktuara n\u00eb parametrat e blokut.<br \/>\nP\u00ebrve\u00e7 analiz\u00ebs s\u00eb p\u00ebrputhshm\u00ebris\u00eb me k\u00ebrkesat, skema e brendshme e bllokut p\u00ebrmban nj\u00eb grafik, i nevojsh\u00ebm p\u00ebr paraqitjen e rezultateve t\u00eb modelimit. Ky grafik mund t\u00eb p\u00ebrdoret si p\u00ebr shikimin gjat\u00eb llogaritjes, ashtu edhe p\u00ebr analiz\u00ebn e rezultateve pas llogaritjes.<\/p>\n<p><\/p>\n<p>Rezultatet e llogaritjes d\u00ebrgohen n\u00eb daljen e bllokut dhe nj\u00ebkoh\u00ebsisht regjistrohen n\u00eb nj\u00eb skedar t\u00eb p\u00ebrgjithsh\u00ebm raporti, i cili krijohet mbi baz\u00ebn e rezultateve p\u00ebr t\u00eb gjith\u00eb projektin. (shih. fig. 8)<\/p>\n<p><\/p>\n<p>Shembulli i raportit, i krijuar sipas rezultateve t\u00eb modelimit, \u00ebsht\u00eb nj\u00eb skedar html, i krijuar sipas nj\u00eb formati t\u00eb caktuar. Formati mund t\u00eb konfigurohet n\u00eb m\u00ebnyr\u00eb arbitrare n\u00eb formatin e pranuar n\u00eb organizat\u00eb p\u00ebrkat\u00ebse.<\/p>\n<p><\/p>\n<p><img decoding=\"async\" alt=\"Kontrolli automatik i k\u00ebrkesave t\u00eb TZ-s\u00eb gjat\u00eb modelimit dinamik\" src=\"\/wp-content\/uploads\/2020\/02\/8ff948417d799bce621e34c709154116.jpg\" style=\"display:block;margin: 0 auto;\" \/><br \/>\n<i>Figura 8. Shembulli i skedarit t\u00eb raportit sipas rezultateve t\u00eb modelimit.<\/i><\/p>\n<p><\/p>\n<p>N\u00eb k\u00ebt\u00eb shembull, konfigurimi i formatit t\u00eb raportit b\u00ebhet direkt n\u00eb pron\u00ebsit\u00eb e projektit, nd\u00ebrsa formati n\u00eb tabel\u00eb caktohet si sinjale globale t\u00eb projektit. N\u00eb k\u00ebt\u00eb rast, SimInTech vet\u00eb zgjidh problemin e konfigurimit t\u00eb raportit, dhe blloku i regjistrimit t\u00eb rezultateve n\u00eb skedar p\u00ebrdor k\u00ebto rrjeshta p\u00ebr t\u00eb shkruar n\u00eb skedarin e raportit.<\/p>\n<p><\/p>\n<p><img decoding=\"async\" alt=\"Kontrolli automatik i k\u00ebrkesave t\u00eb TZ-s\u00eb gjat\u00eb modelimit dinamik\" src=\"\/wp-content\/uploads\/2020\/02\/bbe363bf1d81d00aebb67ca29a35811b.jpg\" style=\"display:block;margin: 0 auto;\" \/><br \/>\n<i>Figura 9. Konfigurimi i formatit t\u00eb raportit n\u00eb sinjalet globale t\u00eb projektit<\/i><\/p>\n<p><\/p>\n<h3>P\u00ebrdorimi i baz\u00ebs s\u00eb t\u00eb dh\u00ebnave t\u00eb sinjaleve p\u00ebr k\u00ebrkesat.<\/h3>\n<p><\/p>\n<p>P\u00ebr automatizimin e pun\u00ebs me konfigurimet e pron\u00ebsive p\u00ebr \u00e7do bllok tipik, krijohet nj\u00eb struktur\u00eb tipike n\u00eb baz\u00ebn e t\u00eb dh\u00ebnave t\u00eb sinjaleve. (shih. fig. 10)<\/p>\n<\/p>\n<p><img decoding=\"async\" alt=\"Kontrolli automatik i k\u00ebrkesave t\u00eb TZ-s\u00eb gjat\u00eb modelimit dinamik\" src=\"\/wp-content\/uploads\/2020\/02\/7e20a24ca5dadd2da6542325e964ec00.jpg\" style=\"display:block;margin: 0 auto;\" \/><br \/>\n<i>Figura 10. Shembulli i struktur\u00ebs s\u00eb bllokut t\u00eb verifikimit t\u00eb k\u00ebrkesave n\u00eb baz\u00ebn e t\u00eb dh\u00ebnave t\u00eb sinjaleve.<\/i><\/p>\n<p><\/p>\n<p>Baza e t\u00eb dh\u00ebnave t\u00eb sinjaleve siguron:<\/p>\n<p><\/p>\n<ul>\n<li> Ruajtjen e t\u00eb gjitha parametrave t\u00eb nevojsh\u00ebm p\u00ebr k\u00ebrkesat ndaj sistemit.<\/li>\n<li> Shikimin e leht\u00eb t\u00eb k\u00ebrkesave ekzistuese n\u00eb projekt nga parametrat e caktuar dhe rezultatet aktuale t\u00eb modelimit.<\/li>\n<li> Konfigurimin e nj\u00eb blloku, grupi bllokesh duke p\u00ebrdorur nj\u00eb gjuh\u00eb programimi skenar\u00ebsh. Ndryshimet n\u00eb baz\u00ebn e t\u00eb dh\u00ebnave t\u00eb sinjaleve \u00e7ojn\u00eb n\u00eb ndryshimin e vlerave t\u00eb pron\u00ebsive t\u00eb bllokut n\u00eb skem\u00eb.<\/li>\n<li> Ruajtjen e p\u00ebrshkrimeve tekstuale, lidhjeve me pikat e TDR ose identifikuesve n\u00eb sistemin e menaxhimit t\u00eb k\u00ebrkesave.<\/li>\n<\/ul>\n<p><\/p>\n<p>Strukturat e baz\u00ebs s\u00eb t\u00eb dh\u00ebnave t\u00eb sinjaleve p\u00ebr k\u00ebrkesat mund t\u00eb konfigurohen leht\u00ebsisht p\u00ebr t\u00eb punuar me nj\u00eb sistem t\u00eb jasht\u00ebm t\u00eb menaxhimit t\u00eb k\u00ebrkesave. Schema e p\u00ebrgjithshme e nd\u00ebrveprimit me sistemet e menaxhimit t\u00eb k\u00ebrkesave paraqitet n\u00eb figur\u00ebn 11.<\/p>\n<p><\/p>\n<p><img decoding=\"async\" alt=\"Kontrolli automatik i k\u00ebrkesave t\u00eb TZ-s\u00eb gjat\u00eb modelimit dinamik\" src=\"\/wp-content\/uploads\/2020\/02\/3f6d67b8160255fd39d0d8bedf8be655.jpg\" style=\"display:block;margin: 0 auto;\" \/><br \/>\n<i>Figura 11. Schema e nd\u00ebrveprimit me sistemin e menaxhimit t\u00eb k\u00ebrkesave.<\/i><\/p>\n<p><\/p>\n<p>Sekuenca e nd\u00ebrveprimit t\u00eb projektit provues SimInTech me sistemin e menaxhimit t\u00eb k\u00ebrkesave \u00ebsht\u00eb si vijon:<\/p>\n<p><\/p>\n<ol>\n<li> Dokumenti i k\u00ebrkes\u00ebs ndahet n\u00eb k\u00ebrkesa.<\/li>\n<li> Identifikohen k\u00ebrkesat e dokumentit t\u00eb k\u00ebrkes\u00ebs q\u00eb mund t\u00eb verifikohen n\u00ebp\u00ebrmjet modelimit matematikor t\u00eb proceseve teknike.<\/li>\n<li> Atributet e k\u00ebrkesave t\u00eb identifikuara transmetohen n\u00eb baz\u00ebn e t\u00eb dh\u00ebnave t\u00eb sinjaleve SimInTech n\u00eb struktura t\u00eb blloqeve tipike (p.sh., temperatura maksimale dhe minimale).<\/li>\n<li> N\u00eb procesin e llogaritjes, t\u00eb dh\u00ebnat e strukturave d\u00ebrgohen n\u00eb skemat llogarit\u00ebse t\u00eb blloqeve, b\u00ebhet analiza dhe rezultatet ruhet n\u00eb baz\u00ebn e t\u00eb dh\u00ebnave t\u00eb sinjaleve.<\/li>\n<li> Pas p\u00ebrfundimit t\u00eb llogaritjes, rezultatet e analiz\u00ebs transmetohen n\u00eb sistemin e menaxhimit t\u00eb k\u00ebrkesave.<\/li>\n<\/ol>\n<p><\/p>\n<p>Fazat e pun\u00ebs me k\u00ebrkesat 3 \u2013 5 mund t\u00eb p\u00ebrs\u00ebriten gjat\u00eb procesit t\u00eb projektimit, kur ndodhin ndryshime n\u00eb nd\u00ebrtim dhe (ose) k\u00ebrkesa, dhe p\u00ebr pasoj\u00eb, \u00ebsht\u00eb e nevojshme nj\u00eb verifikim i ri i ndikimit t\u00eb ndryshimeve t\u00eb b\u00ebra.<\/p>\n<p><\/p>\n<h3>P\u00ebrfundime.<\/h3>\n<p><\/p>\n<ul>\n<li> Prototipi i krijuar i sistemit siguron nj\u00eb reduktim t\u00eb konsideruesh\u00ebm t\u00eb koh\u00ebs s\u00eb analiz\u00ebs s\u00eb modeleve ekzistuese p\u00ebr sa i p\u00ebrket p\u00ebrputhjes me k\u00ebrkesat e dokumentit t\u00eb k\u00ebrkes\u00ebs.<\/li>\n<li> Teknologjia e propozuar p\u00ebr testimin p\u00ebrdor modelet dinamike ekzistuese dhe mund t\u00eb p\u00ebrdoret madje edhe p\u00ebr t\u00eb gjitha modelet dinamike, p\u00ebrfshir\u00eb ato t\u00eb kryera jo n\u00eb ambientin SimInTech.<\/li>\n<li> P\u00ebrdorimi i organizimit n\u00eb grupe t\u00eb t\u00eb dh\u00ebnave lejon krijimin e paketave p\u00ebr verifikimin e k\u00ebrkesave, paralelisht me zhvillimin e modeleve, ose madje p\u00ebrdorimin e k\u00ebtyre paketave si nj\u00eb k\u00ebrkes\u00eb teknike p\u00ebr zhvillimin e modeleve.<\/li>\n<li> Teknologjia mund t\u00eb integrohet pa shpenzime t\u00eb konsiderueshme me sistemet ekzistuese t\u00eb menaxhimit t\u00eb k\u00ebrkesave.<\/li>\n<\/ul>\n<p><\/p>\n<p>P\u00ebr ata q\u00eb e lexuan deri n\u00eb fund, <noindex><a rel=\"nofollow\" href=\"https:\/\/youtu.be\/be9qPox4AXk\">linku p\u00ebr videon me demostrimin e funksionimit t\u00eb prototipit.<\/a><\/noindex><\/p>\n<p>Burimi: <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.0.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\/sq\/blog\/avtomaticheskaya-proverka-trebovanij-tz-v-proczesse-dinamicheskogo-modelirovaniya\" \/>\n\t<meta name=\"generator\" content=\"All in One SEO (AIOSEO) 5.0.0.1\" \/>\n\t\t<meta property=\"og:locale\" content=\"sq_AL\" \/>\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\/sq\/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\udd47Kontrolli automatik i k\u00ebrkesave t\u00eb dokumentit t\u00eb k\u00ebrkes\u00ebs gjat\u00eb modelimit dinamik | ProHoster","description":"Duke vazhdojm\u00eb me tem\u00ebn \"Cilat jan\u00eb provat tuaja?\", le t\u00eb shohim problemin e modelimit matematikor nga nj\u00eb k\u00ebndv\u00ebshtrim tjet\u00ebr.","canonical_url":"https:\/\/prohoster.info\/sq\/blog\/avtomaticheskaya-proverka-trebovanij-tz-v-proczesse-dinamicheskogo-modelirovaniya","robots":"max-image-preview:large","keywords":"","webmasterTools":{"miscellaneous":""},"schema":null,"og:locale":"sq_AL","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\/sq\/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\/sq\/wp-json\/wp\/v2\/posts\/41257","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/prohoster.info\/sq\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/prohoster.info\/sq\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/prohoster.info\/sq\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/prohoster.info\/sq\/wp-json\/wp\/v2\/comments?post=41257"}],"version-history":[{"count":0,"href":"https:\/\/prohoster.info\/sq\/wp-json\/wp\/v2\/posts\/41257\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/prohoster.info\/sq\/wp-json\/wp\/v2\/media\/41258"}],"wp:attachment":[{"href":"https:\/\/prohoster.info\/sq\/wp-json\/wp\/v2\/media?parent=41257"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/prohoster.info\/sq\/wp-json\/wp\/v2\/categories?post=41257"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/prohoster.info\/sq\/wp-json\/wp\/v2\/tags?post=41257"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}