{"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":"Verifikimi automatik i k\u00ebrkesave t\u00eb specifikimit teknik gjat\u00eb modelimit dinamik","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"<p>Duke vazhduar tem\u00ebn <noindex><a rel=\"nofollow\" href=\"https:\/\/habr.com\/ru\/post\/466215\/\">\u00abCilat jan\u00eb provat tuaja?\u00bb<\/a><\/noindex>, le ta shohim problemin e modelimit matematikor nga nj\u00eb k\u00ebndv\u00ebshtrim tjet\u00ebr. Pasi jemi bindur se modeli p\u00ebrputhet me realitetin praktik, mund t\u2019i p\u00ebrgjigjemi pyetjes kryesore: \u00ab\u00e7far\u00eb kemi, n\u00eb t\u00eb v\u00ebrtet\u00eb, k\u00ebtu?\u00bb. Kur krijojm\u00eb nj\u00eb model t\u00eb nj\u00eb objekti teknik, zakonisht duam t\u00eb sigurohemi q\u00eb ky objekt do t\u00eb p\u00ebrmbush\u00eb pritshm\u00ebrit\u00eb tona. Pik\u00ebrisht p\u00ebr k\u00ebt\u00eb kryhen llogaritjet dinamike t\u00eb proceseve dhe rezultati krahasohet me k\u00ebrkesat. Kjo \u00ebsht\u00eb ajo q\u00eb quhet binjak dixhital, prototip virtual dhe koncepte t\u00eb tjera moderne, t\u00eb cilat n\u00eb faz\u00ebn e projektimit zgjidhin detyr\u00ebn se si t\u00eb arrijm\u00eb pik\u00ebrisht at\u00eb q\u00eb kemi planifikuar.<\/p>\n<p><\/p>\n<p>Si mund t\u00eb sigurohemi shpejt q\u00eb sistemi yn\u00eb \u00ebsht\u00eb pik\u00ebrisht ai q\u00eb po projektojm\u00eb, n\u00ebse konstruksioni yn\u00eb do t\u00eb fluturoj\u00eb apo do t\u00eb notoj\u00eb? Dhe n\u00ebse do t\u00eb fluturoj\u00eb, sa lart? E n\u00ebse do t\u00eb notoj\u00eb, sa thell\u00eb?<\/p>\n<p>\n<img decoding=\"async\" alt=\"Verifikimi automatik i k\u00ebrkesave t\u00eb specifikimit teknik 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 specifikimit teknik gjat\u00eb krijimit t\u00eb modeleve dinamike t\u00eb sistemeve teknike. Si shembull, do t\u00eb shohim nj\u00eb element t\u00eb specifikimit teknik p\u00ebr sistemin e ftohjes me aj\u00ebr t\u00eb nj\u00eb mjeti fluturues.<\/p>\n<p><\/p>\n<p>Po shqyrtojm\u00eb ato k\u00ebrkesa q\u00eb mund t\u00eb shprehen numerikisht dhe t\u00eb verifikohen matematikisht mbi baz\u00ebn e nj\u00eb modeli konkret llogarit\u00ebs. \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 shpenzojm\u00eb koh\u00eb, energji dhe para p\u00ebr krijimin e modeleve dinamike t\u00eb objektit.<\/p>\n<p><\/p>\n<p>Gjat\u00eb p\u00ebrshkrimit t\u00eb k\u00ebrkesave teknike n\u00eb form\u00ebn e nj\u00eb dokumenti, mund t\u00eb dallohen disa lloje k\u00ebrkesash t\u00eb ndryshme, secila prej t\u00eb cilave k\u00ebrkon qasje t\u00eb ndryshme p\u00ebr krijimin 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 k\u00ebt\u00eb grup t\u00eb vog\u00ebl, por real, k\u00ebrkesash:<\/p>\n<p>\n<i><\/p>\n<ol>\n<li> Temperatura e ajrit atmosferik n\u00eb hyrje t\u00eb SVO:<br \/>\nn\u00eb q\u00ebndrim \u2212 nga minus 35 deri n\u00eb 35 \u00baC,<br \/>\nn\u00eb fluturim \u2212 nga minus 35 deri n\u00eb 39 \u00baC.<\/li>\n<li> Presioni statik i ajrit atmosferik gjat\u00eb fluturimit \u2212 nga 700 deri n\u00eb 1013 GPa (nga 526 deri n\u00eb 760 mmHg).<\/li>\n<li> Presioni total i ajrit n\u00eb hyrje t\u00eb marrjes s\u00eb ajrit t\u00eb SVO gjat\u00eb fluturimit \u2212 nga 754 deri n\u00eb 1200 GPa (nga 566 deri n\u00eb 1050 mmHg).<\/li>\n<li> Temperatura e ajrit ftoh\u00ebs:<br \/>\nn\u00eb parkim \u2212 jo m\u00eb shum\u00eb se 27 \u00ba\u0421, p\u00ebr blloqet teknike \u2212 jo m\u00eb shum\u00eb se 29 \u00ba\u0421,<br \/>\nn\u00eb fluturim \u2212 jo m\u00eb shum\u00eb se 25 \u00ba\u0421, p\u00ebr blloqet teknike \u2212 jo m\u00eb shum\u00eb se 27 \u00ba\u0421.<\/li>\n<li> Konsumi i ajrit ftoh\u00ebs:<br \/>\nn\u00eb parkim \u2212 jo m\u00eb pak se 708 kg\/or\u00eb,<br \/>\nn\u00eb fluturim \u2212 jo m\u00eb pak se 660 kg\/or\u00eb.<\/li>\n<li> Temperatura e ajrit n\u00eb ndarjet e pajisjeve \u2212 jo m\u00eb shum\u00eb se 60 \u00ba\u0421.<\/li>\n<li> Sasia e lag\u00ebshtis\u00eb s\u00eb lir\u00eb me grimca t\u00eb im\u00ebta n\u00eb ajrin ftoh\u00ebs \u2212 jo m\u00eb shum\u00eb se 2 g\/kg aj\u00ebr i that\u00eb.<\/li>\n<\/ol>\n<p> <\/i><\/p>\n<p>Edhe n\u00eb nj\u00eb grup kaq 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 p\u00ebr kushtet e funksionimit t\u00eb sistemit (pikat 1-3);<\/li>\n<li> k\u00ebrkesat parametrike p\u00ebr sistemin (pikat 3-7).<\/li>\n<\/ul>\n<p><\/p>\n<p><i>K\u00ebrkesat p\u00ebr kushtet e funksionimit t\u00eb sistemit<\/i><br \/>\nKushtet e jashtme p\u00ebr sistemin q\u00eb po zhvillohet, gjat\u00eb modelimit mund t\u00eb p\u00ebrcaktohen si kushte kufitare ose si rezultat i funksionimit t\u00eb sistemit t\u00eb p\u00ebrgjithsh\u00ebm.<br \/>\nGjat\u00eb modelimit dinamik, \u00ebsht\u00eb e nevojshme t\u00eb verifikohet q\u00eb regjimet e p\u00ebrcaktuara t\u00eb funksionimit mbulohen nga procesi i modelimit.<\/p>\n<p><\/p>\n<p><i>K\u00ebrkesat parametrike p\u00ebr sistemin <\/i><br \/>\nK\u00ebto k\u00ebrkesa p\u00ebrfaq\u00ebsojn\u00eb parametrat q\u00eb sigurohen nga vet\u00eb sistemi. Gjat\u00eb procesit t\u00eb modelimit, ne mund t'i marrim k\u00ebta parametra si rezultate t\u00eb llogaritjes dhe t\u00eb verifikojm\u00eb q\u00eb k\u00ebrkesat plot\u00ebsohen n\u00eb \u00e7do llogaritje konkrete.<\/p>\n<p><\/p>\n<h3>Identifikimi dhe kodimi i k\u00ebrkesave<\/h3>\n<p><\/p>\n<p>P\u00ebr leht\u00ebsi n\u00eb pun\u00ebn me k\u00ebrkesat, standardet ekzistuese rekomandojn\u00eb caktimin e nj\u00eb identifikuesi p\u00ebr \u00e7do k\u00ebrkes\u00eb. Gjat\u00eb caktimit t\u00eb identifikuesve, \u00ebsht\u00eb shum\u00eb e d\u00ebshirueshme t\u00eb p\u00ebrdoret nj\u00eb sistem i unifikuar 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 rendin e k\u00ebrkes\u00ebs, por mund t\u00eb p\u00ebrmbaj\u00eb edhe kodin e llojit t\u00eb k\u00ebrkes\u00ebs, kodin e sistemit ose t\u00eb agregatit ndaj t\u00eb cilit zbatohet, kodin e parametrit, kodin e vendndodhjes dhe shum\u00eb elemente t\u00eb tjera q\u00eb nj\u00eb inxhinier mund t\u00eb imagjinoj\u00eb. (p\u00ebr nj\u00eb variant t\u00eb p\u00ebrdorimit t\u00eb kodimit, shihni artikullin)<\/p>\n<p><\/p>\n<p>N\u00eb tabel\u00ebn 1 jepet nj\u00eb shembull i thjesht\u00eb i kodimit t\u00eb k\u00ebrkesave.<\/p>\n<p><\/p>\n<ol>\n<li> kodi i burimit t\u00eb k\u00ebrkesave R- k\u00ebrkesat e specifikimit teknik; <\/li>\n<li> kodi i llojit t\u00eb k\u00ebrkesave E \u2013 k\u00ebrkesat p\u00ebr parametrat e mjedisit t\u00eb jasht\u00ebm, 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 gjendje, G \u2013 n\u00eb parkim, F \u2013 n\u00eb fluturim;<\/li>\n<li> kodi i llojit t\u00eb parametrave fizik\u00eb T \u2013 temperatura, P \u2013 presioni, G \u2013 rrjedha, H \u2013 lag\u00ebshtia;<\/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 tok\u00eb \u2014 nga minus 35\u00ba\u0421 deri n\u00eb 35 \u00ba\u0421.<\/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 \u00ba\u0421 deri n\u00eb 39 \u00ba\u0421.<\/td>\n<td> <\/td>\n<\/tr>\n<tr>\n<td>REFP01<\/td>\n<td>Presioni statik i ajrit atmosferik n\u00eb fluturim nga 700 deri n\u00eb 1013 gPa (nga 526 deri n\u00eb 760 mm Hg).<\/td>\n<td> <\/td>\n<\/tr>\n<tr>\n<td>REFP02<\/td>\n<td>Presioni i plot\u00eb i ajrit n\u00eb hyrje t\u00eb marr\u00ebsit t\u00eb ajrit t\u00eb SVO n\u00eb fluturim nga 754 deri n\u00eb 1200 gPa (nga 566 deri n\u00eb 1050 mm Hg).<\/td>\n<td> <\/td>\n<\/tr>\n<tr>\n<td>RSGT01<\/td>\n<td>Temperatura e ajrit ftoh\u00ebs: n\u00eb tok\u00eb jo m\u00eb shum\u00eb se 27 \u00ba\u0421 <\/td>\n<td> <\/td>\n<\/tr>\n<tr>\n<td>RSGT02<\/td>\n<td>Temperatura e ajrit ftoh\u00ebs: n\u00eb tok\u00eb, p\u00ebr blloqet teknike jo m\u00eb shum\u00eb se 29 \u00ba\u0421 <\/td>\n<td> <\/td>\n<\/tr>\n<tr>\n<td>RSFT01<\/td>\n<td>Temperatura e ajrit ftoh\u00ebs n\u00eb fluturim jo m\u00eb shum\u00eb se 25 \u00ba\u0421 <\/td>\n<td> <\/td>\n<\/tr>\n<tr>\n<td>RSFT02<\/td>\n<td>Temperatura e ajrit ftoh\u00ebs: n\u00eb fluturim, p\u00ebr blloqet teknike jo m\u00eb shum\u00eb se 27 \u00ba\u0421 <\/td>\n<td> <\/td>\n<\/tr>\n<tr>\n<td>RSGG01<\/td>\n<td>Prurja e ajrit ftoh\u00ebs: n\u00eb tok\u00eb jo m\u00eb pak se 708 kg\/or\u00eb<\/td>\n<td> <\/td>\n<\/tr>\n<tr>\n<td>RSFG01<\/td>\n<td>Prurja e ajrit ftoh\u00ebs: n\u00eb fluturim jo m\u00eb pak se 660 kg\/or\u00eb<\/td>\n<td> <\/td>\n<\/tr>\n<tr>\n<td>RS0T01<\/td>\n<td>Temperatura e ajrit n\u00eb ndarjet e instrumenteve jo m\u00eb shum\u00eb se 60 \u00ba\u0421 <\/td>\n<td> <\/td>\n<\/tr>\n<tr>\n<td>RSH01<\/td>\n<td>Sasia e lag\u00ebshtis\u00eb s\u00eb lir\u00eb me grimca t\u00eb im\u00ebta n\u00eb ajrin ftoh\u00ebs jo m\u00eb shum\u00eb se 2 g\/kg aj\u00ebr 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 llogarit\u00ebse ekziston nj\u00eb algorit\u00ebm p\u00ebr vler\u00ebsimin e p\u00ebrputhshm\u00ebris\u00eb midis parametrave t\u00eb llogaritur dhe parametrave t\u00eb p\u00ebrcaktuar n\u00eb k\u00ebrkes\u00eb. N\u00eb thelb, \u00e7do sistem kontrolli p\u00ebrmban gjithmon\u00eb algoritme t\u00eb verifikimit t\u00eb k\u00ebrkesave si pjes\u00eb t\u00eb funksionimit t\u00eb tij standard. Edhe \u00e7do rregullator i p\u00ebrmban ato. N\u00ebse temperatura del jasht\u00eb kufijve, aktivizohet kondicioneri. K\u00ebshtu, faza e par\u00eb e \u00e7do rregullimi \u00ebsht\u00eb verifikimi i p\u00ebrputhshm\u00ebris\u00eb s\u00eb parametrave me k\u00ebrkes\u00ebn.<\/p>\n<p><\/p>\n<p>Dhe meq\u00eb 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 krijimin e programeve t\u00eb kontrollit. P\u00ebr shembull, mjedisi SimInTech mund\u00ebson 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 kontrollit, modeli i mjedisit rrethues etj.).<\/p>\n<p><\/p>\n<p>N\u00eb k\u00ebt\u00eb rast, projekti i verifikimit t\u00eb k\u00ebrkesave b\u00ebhet nj\u00eb projekt algoritmesh si \u00e7do tjet\u00ebr dhe lidhet me paket\u00ebn e modelit. N\u00eb regjimin e modelimit dinamik ai kryen analiz\u00ebn e p\u00ebrputhshm\u00ebris\u00eb me k\u00ebrkesat e detyr\u00ebs teknike.<\/p>\n<p><\/p>\n<p>Nj\u00eb shembull i mundsh\u00ebm i paraqitjes s\u00eb projektit t\u00eb sistemit \u00ebsht\u00eb dh\u00ebn\u00eb n\u00eb figur\u00ebn 1.<\/p>\n<p><\/p>\n<p><img decoding=\"async\" alt=\"Verifikimi automatik i k\u00ebrkesave t\u00eb specifikimit teknik gjat\u00eb modelimit dinamik\" src=\"\/wp-content\/uploads\/2020\/02\/e57fda1fb5b835a6ac961639db2b1749.jpg\" style=\"display:block;margin: 0 auto;\" \/><br \/>\n<i>Figura 1. Shembull i paraqitjes s\u00eb projektit t\u00eb verifikimit. <\/i><\/p>\n<p><\/p>\n<p>Ashtu si p\u00ebr algoritmet e kontrollit, k\u00ebrkesat mund t\u00eb organizohen n\u00eb form\u00ebn e nj\u00eb grupi flet\u00ebsh. P\u00ebr leht\u00ebsi n\u00eb pun\u00ebn me algoritmet n\u00eb mjedise t\u00eb modelimit strukturor si SimInTech, Simulink, AmeSim, p\u00ebrdoren mund\u00ebsit\u00eb e krijimit t\u00eb strukturave shum\u00ebnivel\u00ebshe n\u00eb form\u00ebn e n\u00ebnmodeleve. Kjo organizim b\u00ebn t\u00eb mundur grupimin e k\u00ebrkesave t\u00eb ndryshme n\u00eb paketa p\u00ebr t\u00eb thjeshtuar pun\u00ebn me v\u00ebllimin e k\u00ebrkesave, nj\u00ebsoj si\u00e7 b\u00ebhet p\u00ebr algoritmet e kontrollit (shih fig. 2).<\/p>\n<p><\/p>\n<p><img decoding=\"async\" alt=\"Verifikimi automatik i k\u00ebrkesave t\u00eb specifikimit teknik 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 ve\u00e7uar dy grupe: k\u00ebrkesat p\u00ebr mjedisin dhe k\u00ebrkesat drejtp\u00ebrdrejt p\u00ebr sistemin. Prandaj p\u00ebrdoret nj\u00eb struktur\u00eb t\u00eb dh\u00ebnash me dy nivele: dy grupe, secili prej t\u00eb cil\u00ebve \u00ebsht\u00eb nj\u00eb flet\u00eb e algoritmit.<\/p>\n<p><\/p>\n<p>P\u00ebr lidhjen e t\u00eb dh\u00ebnave me modelin p\u00ebrdoret skema standarde e formimit t\u00eb baz\u00ebs s\u00eb t\u00eb dh\u00ebnave t\u00eb sinjaleve, n\u00eb t\u00eb cil\u00ebn ruhen t\u00eb dh\u00ebnat p\u00ebr shk\u00ebmbimin nd\u00ebrmjet 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 (analoge t\u00eb sensor\u00ebve real\u00eb t\u00eb sistemit), t\u00eb cilat p\u00ebrdoren nga sistemi i kontrollit.<br \/>\n P\u00ebr projektin e testimit, n\u00eb k\u00ebt\u00eb baz\u00eb t\u00eb dh\u00ebnash mund t\u00eb ruhen gjithashtu \u00e7do paramet\u00ebr i llogaritur n\u00eb modelin dinamik dhe, n\u00eb k\u00ebt\u00eb m\u00ebnyr\u00eb, t\u00eb p\u00ebrdoret p\u00ebr t\u00eb verifikuar p\u00ebrmbushjen e k\u00ebrkesave.<\/p>\n<p>\nVet\u00eb modeli dinamik n\u00eb k\u00ebt\u00eb rast mund t\u00eb realizohet n\u00eb \u00e7do sistem t\u00eb modelimit matematikor ose edhe n\u00eb form\u00ebn e nj\u00eb programi ekzekutues. K\u00ebrkesa e vetme \u00ebsht\u00eb prania e nd\u00ebrfaqeve programore p\u00ebr d\u00ebrgimin e t\u00eb dh\u00ebnave t\u00eb modelimit n\u00eb mjedisin e jasht\u00ebm.<\/p>\n<p><img decoding=\"async\" alt=\"Verifikimi automatik i k\u00ebrkesave t\u00eb specifikimit teknik 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 e integruar. <\/i><\/p>\n<p><\/p>\n<p>Nj\u00eb shembull i flet\u00ebs baz\u00eb t\u00eb verifikimit t\u00eb k\u00ebrkesave paraqitet n\u00eb figur\u00ebn 4. Nga k\u00ebndv\u00ebshtrimi i zhvilluesit, ajo paraqet nj\u00eb skem\u00eb t\u00eb zakonshme llogarit\u00ebse, ku algoritmi i verifikimit t\u00eb k\u00ebrkesave \u00ebsht\u00eb paraqitur n\u00eb form\u00eb grafike.<\/p>\n<p><\/p>\n<p><img decoding=\"async\" alt=\"Verifikimi automatik i k\u00ebrkesave t\u00eb specifikimit teknik 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 p\u00ebrshkruhen n\u00eb figur\u00ebn 5. Algoritmi i verifikimit formohet n\u00eb m\u00ebnyr\u00eb t\u00eb ngjashme me skemat llogarit\u00ebse t\u00eb algoritmeve t\u00eb kontrollit. N\u00eb an\u00ebn e djatht\u00eb ndodhet blloku i leximit t\u00eb sinjaleve nga baza e t\u00eb dh\u00ebnave. N\u00eb k\u00ebt\u00eb bllok kryhet qasja n\u00eb baz\u00ebn e t\u00eb dh\u00ebnave t\u00eb sinjaleve gjat\u00eb modelimit.<\/p>\n<p><\/p>\n<p>Sinjalet e marra analizohen p\u00ebr t\u00eb p\u00ebrcaktuar kushtet e verifikimit t\u00eb k\u00ebrkesave. N\u00eb rastin n\u00eb shqyrtim, analizohet lart\u00ebsia p\u00ebr t\u00eb p\u00ebrcaktuar pozicionin e avionit (n\u00ebse ndodhet n\u00eb parkim apo n\u00eb fluturim). P\u00ebr k\u00ebt\u00eb q\u00ebllim mund t\u00eb p\u00ebrdoren edhe sinjale t\u00eb tjera dhe parametra t\u00eb modelit t\u00eb llogaritur.<\/p>\n<p><\/p>\n<p>Kushtet e verifikimit dhe parametrat q\u00eb kontrollohen d\u00ebrgohen te blloqet standarde t\u00eb verifikimit, ku analizohet p\u00ebrputhshm\u00ebria e k\u00ebtyre parametrave me k\u00ebrkesat e p\u00ebrcaktuara. Rezultatet regjistrohen n\u00eb baz\u00ebn e t\u00eb dh\u00ebnave t\u00eb sinjaleve n\u00eb m\u00ebnyr\u00eb q\u00eb t\u00eb mund t\u00eb p\u00ebrdoren p\u00ebr gjenerimin automatik t\u00eb checklist-it.<\/p>\n<p><\/p>\n<p><img decoding=\"async\" alt=\"Verifikimi automatik i k\u00ebrkesave t\u00eb specifikimit teknik 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 s\u00eb llogaritjes p\u00ebr verifikimin e k\u00ebrkesave.<\/i><\/p>\n<p><\/p>\n<p>Si parametra t\u00eb verifikimit nuk \u00ebsht\u00eb e domosdoshme t\u00eb p\u00ebrdoren vet\u00ebm sinjalet q\u00eb ndodhen n\u00eb baz\u00ebn e t\u00eb dh\u00ebnave dhe q\u00eb kontrollohen nga parametrat e llogaritur gjat\u00eb modelimit. Asgj\u00eb nuk pengon q\u00eb brenda projektit t\u00eb k\u00ebrkesave t\u00eb kryhen llogaritje shtes\u00eb, ashtu si\u00e7 llogarisim 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 t\u00eb korrigjimit gjat\u00eb fluturimit drejt objektivit nuk duhet t\u00eb kaloj\u00eb 5, nd\u00ebrsa koha totale e funksionimit t\u00eb sistemit t\u00eb korrigjimit 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 i 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 projektuar p\u00ebr t\u00eb llogaritur p\u00ebrmbushjen e nj\u00eb k\u00ebrkese t\u00eb nj\u00eb lloji t\u00eb caktuar. P\u00ebr shembull, k\u00ebrkesat p\u00ebr mjedisin p\u00ebrfshijn\u00eb intervalin e temperaturave t\u00eb pun\u00ebs s\u00eb ajrit t\u00eb ambientit n\u00eb parkim dhe n\u00eb fluturim. 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 paramet\u00ebr e mbulon intervalin e p\u00ebrcaktuar t\u00eb temperaturave.<\/p>\n<\/p>\n<p>Blloku p\u00ebrmban dy porta hyr\u00ebse, param dhe condition.<\/p>\n<p><\/p>\n<p>N\u00eb t\u00eb par\u00ebn jepet parametri q\u00eb verifikohet. N\u00eb k\u00ebt\u00eb rast, \u00abTemperatura e mjedisit t\u00eb jasht\u00ebm\u00bb.<\/p>\n<p><\/p>\n<p>N\u00eb port\u00ebn e dyt\u00eb jepet nj\u00eb variab\u00ebl booleane \u2013 kushti p\u00ebr kryerjen e verifikimit.<\/p>\n<p><\/p>\n<p>N\u00ebse n\u00eb hyrjen e dyt\u00eb vjen TRUE (1), at\u00ebher\u00eb blloku kryen llogaritjen e verifikimit t\u00eb k\u00ebrkes\u00ebs.<\/p>\n<p><\/p>\n<p>N\u00ebse n\u00eb hyrjen e dyt\u00eb vjen vlera FALSE (0), at\u00ebher\u00eb kushtet e kontrollit nuk ekzekutohen. Kjo \u00ebsht\u00eb e nevojshme q\u00eb t\u00eb mund t\u00eb merren parasysh kushtet e llogaritjes. N\u00eb rastin ton\u00eb, kjo hyrje p\u00ebrdoret p\u00ebr t\u00eb aktivizuar ose \u00e7aktivizuar kontrollin n\u00eb var\u00ebsi t\u00eb gjendjes s\u00eb modelit. N\u00ebse LA gjat\u00eb modelimit ndodhet n\u00eb tok\u00eb, at\u00ebher\u00eb k\u00ebrkesat q\u00eb lidhen me fluturimin nuk kontrollohen dhe, anasjelltas, n\u00ebse LA \u00ebsht\u00eb n\u00eb fluturim, nuk kontrollohen k\u00ebrkesat q\u00eb lidhen me funksionimin gjat\u00eb q\u00ebndrimit n\u00eb parkim.<\/p>\n<p><\/p>\n<p>Kjo hyrje mund t\u00eb p\u00ebrdoret gjithashtu gjat\u00eb konfigurimit t\u00eb modelit, p\u00ebr shembull n\u00eb faz\u00ebn fillestare t\u00eb llogaritjes. Kur modeli sillet n\u00eb gjendjen e k\u00ebrkuar, blloqet e kontrollit jan\u00eb t\u00eb \u00e7aktivizuara, por sapo sistemi kalon n\u00eb regjimin e k\u00ebrkuar t\u00eb pun\u00ebs, blloqet e kontrollit aktivizohen.<\/p>\n<p><\/p>\n<p>Si parametra t\u00eb k\u00ebtij blloku p\u00ebrcaktohen:<\/p>\n<p><\/p>\n<ul>\n<li>kushtet kufitare: kufiri i sip\u00ebrm (UpLimit) dhe kufiri i posht\u00ebm (DownLimit) t\u00eb diapazoneve q\u00eb duhet t\u00eb kontrollohen;<\/li>\n<li> koha e k\u00ebrkuar e q\u00ebndrimit t\u00eb sistemit n\u00eb diapazonet kufitare (TimeInterval) n\u00eb sekonda;<\/li>\n<li>identifikuesi i k\u00ebrkes\u00ebs ReqName;<\/li>\n<li>lejueshm\u00ebria e daljes jasht\u00eb diapazonit Out_range \u2013 nj\u00eb variab\u00ebl booleane q\u00eb p\u00ebrcakton n\u00ebse dalja e vler\u00ebs jasht\u00eb diapazonit q\u00eb kontrollohet p\u00ebrb\u00ebn shkelje t\u00eb k\u00ebrkes\u00ebs.<\/li>\n<\/ul>\n<p><\/p>\n<p>N\u00eb disa raste, dalja e vler\u00ebs s\u00eb kontrolluar tregon se sistemi ka rezerv\u00eb dhe mund t\u00eb punoj\u00eb jasht\u00eb kufijve t\u00eb diapazonit t\u00eb pun\u00ebs. N\u00eb raste t\u00eb tjera, dalja tregon se sistemi nuk arrin t\u2019i mbaj\u00eb parametrat e caktuar brenda diapazonit.<\/p>\n<p><\/p>\n<p><img decoding=\"async\" alt=\"Verifikimi automatik i k\u00ebrkesave t\u00eb specifikimit teknik gjat\u00eb modelimit dinamik\" src=\"\/wp-content\/uploads\/2020\/02\/3cd48fd6597d1ee11ecaea9931c3fbbb.jpg\" style=\"display:block;margin: 0 auto;\" \/><br \/>\n<i>Figura 6. Blloku tipik i kontrollit t\u00eb vetis\u00eb n\u00eb skem\u00eb dhe parametrat e tij.<\/i><\/p>\n<p><\/p>\n<p>Si rezultat i llogaritjes s\u00eb k\u00ebtij blloku, n\u00eb dalje 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 p\u00ebrcaktuar;<\/li>\n<li>1 \u2013 rDone, k\u00ebrkesa p\u00ebrmbushet;<\/li>\n<li>2 \u2013 rFault, k\u00ebrkesa nuk p\u00ebrmbushet.<\/li>\n<\/ul>\n<p><\/p>\n<p>Paraqitja e bllokut p\u00ebrmban:<\/p>\n<p><\/p>\n<ul>\n<li> tekstin e identifikuesit;<\/li>\n<li> paraqitjet numerike t\u00eb parametrave t\u00eb kufijve t\u00eb matjes;<\/li>\n<li> identifikuesin me ngjyra t\u00eb gjendjes s\u00eb parametrit.<\/li>\n<\/ul>\n<p><\/p>\n<p>Brenda bllokut mund t\u00eb ndodhet nj\u00eb skem\u00eb mjaft komplekse e nxjerrjes logjike.<\/p>\n<p>P\u00ebr shembull, p\u00ebr kontrollin e diapazonit t\u00eb pun\u00ebs s\u00eb temperatur\u00ebs s\u00eb bllokut, t\u00eb paraqitur n\u00eb figur\u00ebn 6, skema e brendshme \u00ebsht\u00eb treguar n\u00eb figur\u00ebn 7.<\/p>\n<p><\/p>\n<p><img decoding=\"async\" alt=\"Verifikimi automatik i k\u00ebrkesave t\u00eb specifikimit teknik 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 bllokut p\u00ebr p\u00ebrcaktimin e diapazonit t\u00eb temperatur\u00ebs.<\/i><\/p>\n<p><\/p>\n<p>Brenda bllokut t\u00eb skem\u00ebs p\u00ebrdoren vetit\u00eb e p\u00ebrcaktuara n\u00eb parametrat e bllokut.<br \/>\nP\u00ebrve\u00e7 analiz\u00ebs s\u00eb p\u00ebrputhshm\u00ebris\u00eb me k\u00ebrkesat, skema e brendshme e bllokut p\u00ebrmban edhe nj\u00eb grafik, i nevojsh\u00ebm p\u00ebr shfaqjen e rezultateve t\u00eb modelimit. Ky grafik mund t\u00eb p\u00ebrdoret si p\u00ebr ndjekje gjat\u00eb llogaritjes, ashtu edhe p\u00ebr analiz\u00ebn e rezultateve pas p\u00ebrfundimit t\u00eb saj.<\/p>\n<p><\/p>\n<p>Rezultatet e llogaritjes d\u00ebrgohen n\u00eb daljen e bllokut dhe nj\u00ebkoh\u00ebsisht regjistrohen n\u00eb skedarin e p\u00ebrgjithsh\u00ebm t\u00eb raportit, i cili krijohet mbi baz\u00ebn e rezultateve t\u00eb t\u00eb gjith\u00eb projektit. (shih fig. 8)<\/p>\n<p><\/p>\n<p>Nj\u00eb shembull raporti t\u00eb krijuar nga rezultatet e modelimit \u00ebsht\u00eb nj\u00eb skedar html, i gjeneruar sipas nj\u00eb formati t\u00eb p\u00ebrcaktuar. Formati mund t\u00eb p\u00ebrshtatet lirisht sipas standardit t\u00eb miratuar n\u00eb nj\u00eb organizat\u00eb t\u00eb caktuar.<\/p>\n<p><\/p>\n<p>Brenda bllokut t\u00eb skem\u00ebs p\u00ebrdoren vetit\u00eb e p\u00ebrcaktuara n\u00eb parametrat e bllokut.<br \/>\nP\u00ebrve\u00e7 analiz\u00ebs s\u00eb p\u00ebrputhshm\u00ebris\u00eb me k\u00ebrkesat, skema e brendshme e bllokut p\u00ebrmban edhe nj\u00eb grafik, i nevojsh\u00ebm p\u00ebr shfaqjen e rezultateve t\u00eb modelimit. Ky grafik mund t\u00eb p\u00ebrdoret si p\u00ebr ndjekje gjat\u00eb llogaritjes, ashtu edhe p\u00ebr analiz\u00ebn e rezultateve pas p\u00ebrfundimit t\u00eb saj.<\/p>\n<p><\/p>\n<p>Rezultatet e llogaritjes d\u00ebrgohen n\u00eb daljen e bllokut dhe nj\u00ebkoh\u00ebsisht regjistrohen n\u00eb skedarin e p\u00ebrgjithsh\u00ebm t\u00eb raportit, i cili krijohet mbi baz\u00ebn e rezultateve t\u00eb t\u00eb gjith\u00eb projektit. (shih fig. 8)<\/p>\n<p><\/p>\n<p>Nj\u00eb shembull raporti t\u00eb krijuar nga rezultatet e modelimit \u00ebsht\u00eb nj\u00eb skedar html, i gjeneruar sipas nj\u00eb formati t\u00eb p\u00ebrcaktuar. Formati mund t\u00eb p\u00ebrshtatet lirisht sipas standardit t\u00eb miratuar n\u00eb nj\u00eb organizat\u00eb t\u00eb caktuar.<\/p>\n<p><\/p>\n<p><img decoding=\"async\" alt=\"Verifikimi automatik i k\u00ebrkesave t\u00eb specifikimit teknik gjat\u00eb modelimit dinamik\" src=\"\/wp-content\/uploads\/2020\/02\/8ff948417d799bce621e34c709154116.jpg\" style=\"display:block;margin: 0 auto;\" \/><br \/>\n<i>Figura 8. Shembull i skedarit t\u00eb raportit mbi rezultatet e modelimit.<\/i><\/p>\n<p><\/p>\n<p>N\u00eb k\u00ebt\u00eb shembull, konfigurimi i form\u00ebs s\u00eb raportit kryhet drejtp\u00ebrdrejt n\u00eb vetit\u00eb e projektit, nd\u00ebrsa formati n\u00eb tabel\u00eb p\u00ebrcaktohet si sinjale globale t\u00eb projektit. N\u00eb k\u00ebt\u00eb rast, SimInTech e zgjidh vet\u00eb detyr\u00ebn e konfigurimit t\u00eb raportit, nd\u00ebrsa blloku i regjistrimit t\u00eb rezultateve n\u00eb skedar i p\u00ebrdor k\u00ebto rreshta p\u00ebr t\u2019i shkruar n\u00eb skedarin e raportit.<\/p>\n<p><\/p>\n<p><img decoding=\"async\" alt=\"Verifikimi automatik i k\u00ebrkesave t\u00eb specifikimit teknik 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 cil\u00ebsimet e vetive, p\u00ebr \u00e7do bllok tipik krijohet nj\u00eb struktur\u00eb standarde n\u00eb baz\u00ebn e t\u00eb dh\u00ebnave t\u00eb sinjaleve. (shih fig. 10)<\/p>\n<\/p>\n<p><img decoding=\"async\" alt=\"Verifikimi automatik i k\u00ebrkesave t\u00eb specifikimit teknik gjat\u00eb modelimit dinamik\" src=\"\/wp-content\/uploads\/2020\/02\/7e20a24ca5dadd2da6542325e964ec00.jpg\" style=\"display:block;margin: 0 auto;\" \/><br \/>\n<i>Figura 10. Shembull i struktur\u00ebs s\u00eb bllokut t\u00eb kontrollit t\u00eb k\u00ebrkes\u00ebs 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 gjith\u00eb parametrave t\u00eb nevojsh\u00ebm t\u00eb k\u00ebrkesave p\u00ebr sistemin.<\/li>\n<li> Shqyrtim t\u00eb p\u00ebrshtatsh\u00ebm t\u00eb k\u00ebrkesave ekzistuese n\u00eb projekt bazuar n\u00eb parametrat e p\u00ebrcaktuar dhe rezultatet aktuale t\u00eb modelimit.<\/li>\n<li> Konfigurimin e nj\u00eb blloku ose t\u00eb nj\u00eb grupi blloqesh me p\u00ebrdorimin e nj\u00eb gjuhe programimi skriptesh. Ndryshimet n\u00eb baz\u00ebn e t\u00eb dh\u00ebnave t\u00eb sinjaleve sjellin ndryshimin e vlerave t\u00eb vetive t\u00eb bllokut n\u00eb skem\u00eb.<\/li>\n<li> Ruajtjen e p\u00ebrshkrimeve tekstuale, lidhjeve me pikat e detyr\u00ebs teknike 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 p\u00ebrshtaten leht\u00ebsisht p\u00ebr pun\u00eb me nj\u00eb sistem t\u00eb jasht\u00ebm t\u00eb menaxhimit t\u00eb k\u00ebrkesave. Skema 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=\"Verifikimi automatik i k\u00ebrkesave t\u00eb specifikimit teknik gjat\u00eb modelimit dinamik\" src=\"\/wp-content\/uploads\/2020\/02\/3f6d67b8160255fd39d0d8bedf8be655.jpg\" style=\"display:block;margin: 0 auto;\" \/><br \/>\n<i>Figura 11. Skema 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 testues SimInTech me sistemin e menaxhimit t\u00eb k\u00ebrkesave \u00ebsht\u00eb si vijon:<\/p>\n<p><\/p>\n<ol>\n<li> Specifikimi teknik ndahet n\u00eb k\u00ebrkesa.<\/li>\n<li> Ve\u00e7ohen ato k\u00ebrkesa t\u00eb specifikimit teknik q\u00eb mund t\u00eb verifikohen p\u00ebrmes modelimit matematik t\u00eb proceseve teknike.<\/li>\n<li> Atributet e k\u00ebrkesave t\u00eb p\u00ebrzgjedhura d\u00ebrgohen n\u00eb baz\u00ebn e t\u00eb dh\u00ebnave t\u00eb sinjaleve t\u00eb SimInTech n\u00eb strukturat e blloqeve tipike (p\u00ebr shembull, temperatura maksimale dhe minimale).<\/li>\n<li> Gjat\u00eb procesit t\u00eb llogaritjes, t\u00eb dh\u00ebnat e strukturave kalojn\u00eb n\u00eb skemat llogarit\u00ebse t\u00eb blloqeve, kryhet analiza dhe rezultatet ruhen 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 d\u00ebrgohen n\u00eb sistemin e menaxhimit t\u00eb k\u00ebrkesave.<\/li>\n<\/ol>\n<p><\/p>\n<p>Fazat 3\u20145 t\u00eb pun\u00ebs me k\u00ebrkesat mund t\u00eb p\u00ebrs\u00ebriten gjat\u00eb procesit t\u00eb projektimit, kur ndodhin ndryshime n\u00eb konstruksion dhe\/ose n\u00eb k\u00ebrkesa dhe, p\u00ebr rrjedhoj\u00eb, nevojitet nj\u00eb verifikim i p\u00ebrs\u00ebritur 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 ulje t\u00eb ndjeshme t\u00eb koh\u00ebs s\u00eb analiz\u00ebs s\u00eb modeleve ekzistuese p\u00ebr pajtueshm\u00ebrin\u00eb me k\u00ebrkesat e specifikimit teknik.<\/li>\n<li> Teknologjia e propozuar e testimit p\u00ebrdor modele dinamike tashm\u00eb ekzistuese dhe mund t\u00eb p\u00ebrdoret edhe p\u00ebr \u00e7do model dinamik, p\u00ebrfshir\u00eb ato q\u00eb nuk jan\u00eb krijuar n\u00eb mjedisin SimInTech.<\/li>\n<li> P\u00ebrdorimi i organizimit paketor t\u00eb t\u00eb dh\u00ebnave lejon krijimin e paketave p\u00ebr verifikimin e k\u00ebrkesave paralelisht me zhvillimin e modeleve, ose edhe p\u00ebrdorimin e k\u00ebtyre paketave si specifikim teknik p\u00ebr zhvillimin e modeleve.<\/li>\n<li> Teknologjia mund t\u00eb integrohet me sistemet ekzistuese t\u00eb menaxhimit t\u00eb k\u00ebrkesave pa kosto t\u00eb konsiderueshme.<\/li>\n<\/ul>\n<p><\/p>\n<p>P\u00ebr ata q\u00eb lexuan deri n\u00eb fund, <noindex><a rel=\"nofollow\" href=\"https:\/\/youtu.be\/be9qPox4AXk\">lidhja p\u00ebr videon me demonstrimin 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.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\/sq\/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=\"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\udd47Verifikimi automatik i k\u00ebrkesave t\u00eb specifikimit teknik gjat\u00eb modelimit dinamik | ProHoster","description":"Duke vazhduar tem\u00ebn \u00abCilat jan\u00eb provat tuaja?\u00bb, ta shohim problemin e modelimit matematik 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}]}}