{"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\/da\/blog\/avtomaticheskaya-proverka-trebovanij-tz-v-proczesse-dinamicheskogo-modelirovaniya","title":{"rendered":"Automatisk kontrol af krav i teknisk specifikation under dynamisk modelleringsproces","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"<p>Forts\u00e6tter emnet <noindex><a rel=\"nofollow\" href=\"https:\/\/habr.com\/ru\/post\/466215\/\">\"Hvad er dine beviser?\"<\/a><\/noindex>, lad os se p\u00e5 problemet med matematisk modellering fra en anden vinkel. Efter vi har sikret os, at modellen svarer til den n\u00f8gne livsand, kan vi besvare det centrale sp\u00f8rgsm\u00e5l: \"Hvad har vi her egentlig?\" N\u00e5r vi skaber en model af et teknisk objekt, vil vi som regel sikre os, at dette objekt vil leve op til vores forventninger. Derfor udf\u00f8res der dynamiske beregninger af processerne, og resultatet sammenlignes med kravene. Det er her, den digitale tvilling, den virtuelle prototype og andre trends kommer ind, der i designfasen l\u00f8ser opgaven med, hvordan vi f\u00e5r det, vi har planlagt.<\/p>\n<p><\/p>\n<p>Hvordan kan vi hurtigt sikre, at vores system er det, vi designer, om det flyver eller sv\u00f8mmer, vores konstruktion? Og hvis det flyver, hvor h\u00f8jt? Og hvis det sv\u00f8mmer, hvor dybt?<\/p>\n<p>\n<img decoding=\"async\" alt=\"Automatisk kontrol af krav i teknisk specifikation under dynamisk modelleringsproces\" 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>Denne artikel handler om automatisering af kontrol over opfyldelsen af tekniske bygningers krav ved oprettelse af dynamiske modeller af tekniske systemer. Som eksempel vil vi se p\u00e5 et element af teknisk specifikation for et luftk\u00f8lesystem til luftfart\u00f8jer.<\/p>\n<p><\/p>\n<p>Vi ser p\u00e5 de krav, der kan udtrykkes numerisk og kontrolleres matematisk baseret p\u00e5 en konkret beregningsmodel. Det er klart, at dette kun er en del af de overordnede krav til ethvert teknisk system, men det er netop p\u00e5 deres kontrol, vi bruger tid, nerve og penge p\u00e5 at skabe dynamiske modeller af objektet.<\/p>\n<p><\/p>\n<p>Ved beskrivelse af tekniske krav i form af et dokument kan man skelne mellem flere typer forskellige krav, hvor hver kr\u00e6ver forskellige tilgange til oprettelse af automatisk kontrol over opfyldelsen af kravene.<\/p>\n<p><\/p>\n<p>Lad os eksempelvis se p\u00e5 et lille, men reelt s\u00e6t krav:<\/p>\n<p>\n<i><\/p>\n<ol>\n<li> Temperaturen af den omgivende luft ved indgangen til SVO:<br \/>\nved parkering \u2212 fra minus 35 til 35 \u00baC,<br \/>\nunder flyvning \u2212 fra minus 35 til 39 \u00baC.<\/li>\n<li> Det statiske tryk af den omgivende luft under flyvning \u2212 fra 700 til 1013 GPa (fra 526 til 760 mmHg).<\/li>\n<li> Det samlede tryk af luften ved indgangen til luftindtaget til SVO under flyvning \u2212 fra 754 til 1200 GPa (fra 566 til 1050 mmHg).<\/li>\n<li> Temperaturen af k\u00f8lelufte:<br \/>\np\u00e5 parkeringspladsen - h\u00f8jst 27 \u00baC, for tekniske blokke - h\u00f8jst 29 \u00baC,<br \/>\ni luften - h\u00f8jest 25 \u00baC, for tekniske blokke - h\u00f8jest 27 \u00baC.<\/li>\n<li> Forbrug af k\u00f8leluft:<br \/>\np\u00e5 parkeringspladsen - mindst 708 kg\/t,<br \/>\ni luften - mindst 660 kg\/t.<\/li>\n<li> Lufttemperaturen i instrumentrummene - h\u00f8jst 60 \u00baC.<\/li>\n<li> M\u00e6ngden af fint dispergeret frit fugt i k\u00f8leluften - h\u00f8jst 2 g\/kg t\u00f8r luft.<\/li>\n<\/ol>\n<p> <\/i><\/p>\n<p>Selv i et s\u00e5 begr\u00e6nset s\u00e6t krav kan der skelnes mellem mindst to kategorier, som skal behandles forskelligt i systemet:<\/p>\n<p><\/p>\n<ul>\n<li> krav til driftforholdene for systemet (pkt. 1-3);<\/li>\n<li> parameterkrav til systemet (pkt. 3-7).<\/li>\n<\/ul>\n<p><\/p>\n<p><i>Krav til driftforholdene for systemet<\/i><br \/>\nDe ydre forhold for det udviklede system under modellering kan angives som gr\u00e6nseforhold, eller som et resultat af det samlede systems arbejde.<br \/>\nVed dynamisk modellering skal det sikres, at de angivne driftsformer d\u00e6kkes af modelleringsprocessen.<\/p>\n<p><\/p>\n<p><i>Parameterkrav til systemet <\/i><br \/>\nDisse krav repr\u00e6senterer de parametre, der leveres af selve systemet. Under modelleringen kan vi f\u00e5 disse parametre som resultater af beregningen og sikre, at kravene er opfyldt i hver specifik beregning.<\/p>\n<p><\/p>\n<h3>Identifikation og kodning af krav<\/h3>\n<p><\/p>\n<p>For at lette arbejdet med kravene anbefaler eksisterende standarder at tildele en identifikator til hvert krav. Det er meget \u00f8nskeligt at anvende et ensartet kodningssystem. <\/p>\n<p><\/p>\n<p>Kravenummeret kan blot v\u00e6re et tal, der afspejler r\u00e6kkef\u00f8lgen af kravet, eller det kan indeholde en type kravkode, system- eller enhedskode, til hvilken det g\u00e6lder, parameterkode, placeringkode og meget mere, som ingeni\u00f8ren kan forestille sig. (se brugen af kodning i artiklen)<\/p>\n<p><\/p>\n<p>Tabel 1 viser et simpelt eksempel p\u00e5 kravkodning.<\/p>\n<p><\/p>\n<ol>\n<li> kildekode for krav R- krav til specifikation; <\/li>\n<li> typekode for krav E - krav - parametre for det ydre milj\u00f8 eller driftsforhold<br \/>\n S - krav leveret af systemet;<\/li>\n<li> flyets tilstandskode 0 - enhver, G - p\u00e5 jorden, F - i luften;<\/li>\n<li> kode for fysiske parameter typer T - temperatur, P - tryk, G - flow, luftfugtighed H;<\/li>\n<li> r\u00e6kkef\u00f8lgenummer for kravet.<\/li>\n<\/ol>\n<p><\/p>\n<table>\n<tr>\n<td><b>ID<br \/>\nKrav<\/b><\/td>\n<td><b>Description<\/b><\/td>\n<td><b>Parameter<\/b><\/td>\n<\/tr>\n<tr>\n<td>REGT01<\/td>\n<td>Omr\u00e5de temperatur for den omgivende luft ved indgangen til SVO: ved parkeringspladsen \u2014 fra minus 35\u00baC til 35 \u00baC.<\/td>\n<td><\/td>\n<\/tr>\n<tr>\n<td>REFT01<\/td>\n<td>Omr\u00e5de temperatur for den omgivende luft ved indgangen til SVO: under flyvning \u2014 fra minus 35 \u00baC til 39 \u00baC.<\/td>\n<td> <\/td>\n<\/tr>\n<tr>\n<td>REFP01<\/td>\n<td>Statisk tryk for den omgivende luft under flyvning fra 700 til 1013 hPa (fra 526 til 760 mm Hg).<\/td>\n<td> <\/td>\n<\/tr>\n<tr>\n<td>REFP02<\/td>\n<td>Totaltryk for luften ved indgangen til luftindtag i SVO under flyvning fra 754 til 1200 hPa (fra 566 til 1050 mm Hg).<\/td>\n<td> <\/td>\n<\/tr>\n<tr>\n<td>RSGT01<\/td>\n<td>Temperatur for k\u00f8lelufte: ved parkeringspladsen h\u00f8jst 27 \u00baC. <\/td>\n<td> <\/td>\n<\/tr>\n<tr>\n<td>RSGT02<\/td>\n<td>Temperatur for k\u00f8lelufte: ved parkeringspladsen, for tekniske blokke h\u00f8jst 29 \u00baC. <\/td>\n<td> <\/td>\n<\/tr>\n<tr>\n<td>RSFT01<\/td>\n<td>Temperatur for k\u00f8lelufte under flyvning h\u00f8jst 25 \u00baC. <\/td>\n<td> <\/td>\n<\/tr>\n<tr>\n<td>RSFT02<\/td>\n<td>Temperatur for k\u00f8lelufte: under flyvning, for tekniske blokke h\u00f8jst 27 \u00baC. <\/td>\n<td> <\/td>\n<\/tr>\n<tr>\n<td>RSGG01<\/td>\n<td>Flow for k\u00f8lelufte: ved parkeringspladsen mindst 708 kg\/t.<\/td>\n<td> <\/td>\n<\/tr>\n<tr>\n<td>RSFG01<\/td>\n<td>Flow for k\u00f8lelufte: under flyvning mindst 660 kg\/t.<\/td>\n<td> <\/td>\n<\/tr>\n<tr>\n<td>RS0T01<\/td>\n<td>Temperatur for luften i instrumentbr\u00f8ndene h\u00f8jst 60 \u00baC. <\/td>\n<td> <\/td>\n<\/tr>\n<tr>\n<td>RSH01<\/td>\n<td>M\u00e6ngden af finesporet frit vand i k\u00f8lelufte h\u00f8jst 2 g\/kg t\u00f8r luft.<\/td>\n<td> <\/td>\n<\/tr>\n<\/table>\n<p><\/p>\n<h3>Projekt for kravverifikationssystem.<\/h3>\n<p><\/p>\n<p>For hver beregnet krav findes der en algoritme til vurdering af overensstemmelse mellem de beregnede parametre og de angivne i kravet. Generelt indeholder ethvert kontrolsystem i sig selv altid algoritmer til kravverifikation som standard. Selv enhver regulerende instans indeholder dem. Hvis temperaturen overskrider gr\u00e6nsen, t\u00e6ndes klimaanl\u00e6gget. S\u00e5ledes er det f\u00f8rste skridt i enhver regulering \u2013 verificeringen af, at parametrene opfylder kravet.<\/p>\n<p><\/p>\n<p>Og da verificering er en algoritme, kan de samme v\u00e6rkt\u00f8jer, som vi bruger til at skabe kontrolprogrammer, anvendes. For eksempel g\u00f8r SimInTech-milj\u00f8et det muligt at oprette projektpakker, der indeholder forskellige dele af modellen, udf\u00f8rt som separate projekter (objektmodel, kontrolsystemmodel, milj\u00f8model osv.).<\/p>\n<p><\/p>\n<p>Projektet for kravverifikation bliver i dette tilf\u00e6lde et projekt med algoritmer og tilsluttes modelpakken. I dynamisk modelleringsmode udf\u00f8rer det en analyse af overensstemmelse med kravene i specifikationen.<\/p>\n<p><\/p>\n<p>Et muligt eksempel p\u00e5 pr\u00e6sentation af projektet for systemet er vist i figur 1.<\/p>\n<p><\/p>\n<p><img decoding=\"async\" alt=\"Automatisk kontrol af krav i teknisk specifikation under dynamisk modelleringsproces\" src=\"\/wp-content\/uploads\/2020\/02\/e57fda1fb5b835a6ac961639db2b1749.jpg\" style=\"display:block;margin: 0 auto;\" \/><br \/>\n<i>Figur 1. Eksempel p\u00e5 pr\u00e6sentation af kravverifikationsprojektet. <\/i><\/p>\n<p><\/p>\n<p>Ligesom for kontrolalgoritmer kan krav ogs\u00e5 pr\u00e6senteres i form af et s\u00e6t af ark. For at lette arbejdet med algoritmer i strukturelle modelleringsmilj\u00f8er som SimInTech, Simulink og AmeSim, benyttes mulighederne for at skabe hierarkiske strukturer i form af submodeller. Denne organisering g\u00f8r det muligt at gruppere forskellige krav i s\u00e6t for at forenkle arbejdet med m\u00e6ngden af krav, ligesom det g\u00f8res for kontrolalgoritmer (se fig. 2).<\/p>\n<p><\/p>\n<p><img decoding=\"async\" alt=\"Automatisk kontrol af krav i teknisk specifikation under dynamisk modelleringsproces\" src=\"\/wp-content\/uploads\/2020\/02\/726ad4d5df1975131e71fc8a14ce71fe.jpg\" style=\"display:block;margin: 0 auto;\" \/><br \/>\n<i>Figur 2. Hierarkisk struktur af kravtestmodel. <\/i><\/p>\n<p><\/p>\n<p>For eksempel er der i det betragtede tilf\u00e6lde identificeret to grupper: krav til milj\u00f8et og krav direkte til systemet. Derfor anvendes en to-niveau datastruktur: to grupper, hvor hver gruppe repr\u00e6senterer et ark i algoritmen.<\/p>\n<p><\/p>\n<p>Til at forbinde data med modellen anvendes en standard skema til dannelse af signaldatabaser, hvor data opbevares til udveksling mellem projektdelene.<\/p>\n<p><\/p>\n<p>N\u00e5r software skabes og tjekkes, placeres sensorafl\u00e6sninger (tilsvarende reelle sensorsystemer) i denne database, som anvendes af kontrolsystemet.<br \/>\n For testprojektet kan alle parametre, der beregnes i den dynamiske model, ogs\u00e5 gemmes i denne database og dermed bruges til at validere kravene.<\/p>\n<p>\nSelve den dynamiske model i dette tilf\u00e6lde kan udf\u00f8res i ethvert system til matematisk modellering eller endda som et eksekverbart program. Det eneste krav er, at der er programmeringsgr\u00e6nseflader til at videresende data fra simuleringen til den eksterne omverden.<\/p>\n<p><img decoding=\"async\" alt=\"Automatisk kontrol af krav i teknisk specifikation under dynamisk modelleringsproces\" src=\"\/wp-content\/uploads\/2020\/02\/ac56799b7a022325f72d0639cd85eba2.jpg\" style=\"display:block;margin: 0 auto;\" \/><br \/>\n<i>Figur 3. Forbindelse af kravtestprojekt til den komplekse model. <\/i><\/p>\n<p><\/p>\n<p>Et eksempel p\u00e5 et grundl\u00e6ggende kravtestark vises i figur 4. Set fra udviklerens synspunkt udg\u00f8r det en almindelig beregningsskema, hvor algoritmen til test af krav pr\u00e6senteres grafisk.<\/p>\n<p><\/p>\n<p><img decoding=\"async\" alt=\"Automatisk kontrol af krav i teknisk specifikation under dynamisk modelleringsproces\" src=\"\/wp-content\/uploads\/2020\/02\/467f3217a65e0b4a1def034ce75c747e.jpg\" style=\"display:block;margin: 0 auto;\" \/><br \/>\n<i>Figur 4. Kravtestark. <\/i><\/p>\n<p><\/p>\n<p>De vigtigste dele af kravtestarket er beskrevet i figur 5. Testalgoritmen dannes p\u00e5 samme m\u00e5de som beregningsskemaerne for kontrolalgoritmer. I h\u00f8jre side findes blokken til at l\u00e6se signaler fra databasen. I denne blok tilg\u00e5s signaldatabasen under simuleringen.<\/p>\n<p><\/p>\n<p>De modtagne signaler analyseres for at beregne betingelserne for at kontrollere kravene. I det foreliggende tilf\u00e6lde udf\u00f8res en analyse af h\u00f8jden for at bestemme flyets position (om det er st\u00e5ende eller i flyvning). Andre signaler og beregnede parametre fra modellen kan ogs\u00e5 anvendes til dette form\u00e5l.<\/p>\n<p><\/p>\n<p>Betingelserne for kontrollen og de kontrollerede parametre overf\u00f8res til standardiserede kontrolblokke, hvor analysen af disse parametre udf\u00f8res for at vurdere overensstemmelse med de fastsatte krav. Resultaterne gemmes i signaldatabasen p\u00e5 en m\u00e5de, s\u00e5 de kan anvendes til automatisk at generere en tjekliste.<\/p>\n<p><\/p>\n<p><img decoding=\"async\" alt=\"Automatisk kontrol af krav i teknisk specifikation under dynamisk modelleringsproces\" src=\"\/wp-content\/uploads\/2020\/02\/1aa7778f56190bf51c112e29eab8a13c.jpg\" style=\"display:block;margin: 0 auto;\" \/><br \/>\n<i>Figur 5. Strukturen af kontrolkravets beregningsark.<\/i><\/p>\n<p><\/p>\n<p>Det er ikke n\u00f8dvendigt at bruge signaler, der er indeholdt i databasen, som kontrollerede parametre, der styres af parametre, der beregnes under modelleringen. Der er intet til hinder for at udf\u00f8re yderligere beregninger inden for kravprojektet, ligesom vi beregner kontrolbetingelserne.<\/p>\n<p><\/p>\n<p>For eksempel, et s\u00e5dant krav:<\/p>\n<p><\/p>\n<p> <i>Antallet af aktiveringer af det korrigerende system under flyvningen til m\u00e5let m\u00e5 ikke overstige 5, og den samlede driftstid for det korrigerende system m\u00e5 ikke overstige 30 sekunder.<\/i><\/p>\n<p><\/p>\n<p>I dette tilf\u00e6lde tilf\u00f8jes en t\u00e6llealgoritme for antallet af aktiveringer og den samlede driftstid til beregningsskemaet for kravene.<\/p>\n<p><\/p>\n<h3>Standardkontrolblok for krav.<\/h3>\n<p><\/p>\n<p>Hver standard kontrolblok for krav er beregnet til at beregne opfyldelsen af et krav af en bestemt type. For eksempel, i kravene til omgivelserne er der et omr\u00e5de for de omgivende temperaturer under parkering og flyvning. Denne blok skal modtage lufttemperaturen i modellen som parameter og bestemme, om denne parameter d\u00e6kker det angivne temperaturinterval.\n<\/p>\n<p>Blokken indeholder to indgangsporte, param og condition.<\/p>\n<p><\/p>\n<p>Den f\u00f8rste modtager den kontrollerede parameter. I dette tilf\u00e6lde \"Temperatur i det omgivende milj\u00f8\".<\/p>\n<p><\/p>\n<p>Den anden port modtager en boolesk variabel \u2013 betingelsen for at udf\u00f8re kontrollen.<\/p>\n<p><\/p>\n<p>Hvis der p\u00e5 den anden indgang kommer TRUE (1), udf\u00f8rer blokken beregningen for kontrolkravet.<\/p>\n<p><\/p>\n<p>Hvis den anden indgang modtager FALSE (0), s\u00e5 opfyldes kontrolbetingelserne ikke. Dette er n\u00f8dvendigt, s\u00e5 betingelserne for beregningen kan tages i betragtning. I vores tilf\u00e6lde anvendes denne indgang til at aktivere eller deaktivere kontrollen afh\u00e6ngigt af modellens tilstand. Hvis flyet under modelleringen er p\u00e5 jorden, s\u00e5 kontrolleres de relevante krav til flyvning ikke, og omvendt - hvis flyet er i luften, s\u00e5 kontrolleres kravene vedr\u00f8rende parkering ikke.<\/p>\n<p><\/p>\n<p>Denne indgang kan ogs\u00e5 anvendes under indstillingen af modellen, for eksempel i den indledende beregningsfase. N\u00e5r modellen bringes i den n\u00f8dvendige tilstand, er kontrolblokke deaktiveret, men s\u00e5 snart systemet n\u00e5r den kr\u00e6vede driftsmode, aktiveres kontrolblokkene.<\/p>\n<p><\/p>\n<p>Som parametre for denne blok angives:<\/p>\n<p><\/p>\n<ul>\n<li>gr\u00e6nseforhold: den \u00f8verste (UpLimit) og den nederste (DownLimit) gr\u00e6nse for de omr\u00e5der, der skal kontrolleres;<\/li>\n<li> den kr\u00e6vede ventetid for systemet ved gr\u00e6nseomr\u00e5derne (TimeInterval) i sekunder;<\/li>\n<li>identifikatoren for kravet ReqName;<\/li>\n<li>tolerance for overskridelse af omr\u00e5det Out_range - en boolesk variabel, der angiver, om det er en overtr\u00e6delse af kravet, n\u00e5r v\u00e6rdien overskrider det kontrollerede omr\u00e5de.<\/li>\n<\/ul>\n<p><\/p>\n<p>I nogle tilf\u00e6lde betyder det at overskride den kontrollerede v\u00e6rdi, at systemet har overskud og kan arbejde uden for det arbejdsomr\u00e5de. I andre tilf\u00e6lde betyder overskridelse, at systemet ikke er i stand til at opretholde de angivne parametre inden for omr\u00e5det.<\/p>\n<p><\/p>\n<p><img decoding=\"async\" alt=\"Automatisk kontrol af krav i teknisk specifikation under dynamisk modelleringsproces\" src=\"\/wp-content\/uploads\/2020\/02\/3cd48fd6597d1ee11ecaea9931c3fbbb.jpg\" style=\"display:block;margin: 0 auto;\" \/><br \/>\n<i>Figur 6. Typisk kontrolblok for egenskaber i diagrammet og dens parametre.<\/i><\/p>\n<p><\/p>\n<p>Som resultat af beregningen af denne blok genereres der en variabel Result, som antager f\u00f8lgende v\u00e6rdier:<\/p>\n<p><\/p>\n<ul>\n<li>0 - rNone, v\u00e6rdien er ikke defineret;<\/li>\n<li>1 - rDone, kravet er opfyldt;<\/li>\n<li>2 - rFault, kravet er ikke opfyldt.<\/li>\n<\/ul>\n<p><\/p>\n<p>Blokdiagrammet indeholder:<\/p>\n<p><\/p>\n<ul>\n<li> tekstidentifikatoren;<\/li>\n<li> digitale visninger af m\u00e5legr\u00e6nseparametrene;<\/li>\n<li> farveidentifikatoren for parameterens tilstand.<\/li>\n<\/ul>\n<p><\/p>\n<p>Inden i blokken kan der v\u00e6re et ret komplekst logisk r\u00e6sonneringsschema.<\/p>\n<p>For eksempel, til kontrol af det arbejdsomr\u00e5de af temperaturerne i blokken, der er vist i figur 6, pr\u00e6senteres det indre schema i figur 7.<\/p>\n<p><\/p>\n<p><img decoding=\"async\" alt=\"Automatisk kontrol af krav i teknisk specifikation under dynamisk modelleringsproces\" src=\"\/wp-content\/uploads\/2020\/02\/9ce085c82417fdbc5230056de37af65a.jpg\" style=\"display:block;margin: 0 auto;\" \/><br \/>\n<i>Figur 7. Det indre schema for temperaturintervallet.<\/i><\/p>\n<p><\/p>\n<p>Inden i blokdiagrammet anvendes egenskaber defineret i blokparametrene.<br \/>\nUdover analysen af kravoverholdelse indeholder den interne blokdiagram en graf, der er n\u00f8dvendig for at vise resultaterne af simuleringen. Denne graf kan bruges b\u00e5de til visning under beregningerne og til analyse af resultaterne efter beregningen.<\/p>\n<p><\/p>\n<p>Beregningens resultater overf\u00f8res til blokken og gemmes samtidig i en samlet rapportfil, der oprettes baseret p\u00e5 resultaterne for hele projektet. (se fig. 8)<\/p>\n<p><\/p>\n<p>Et eksempel p\u00e5 en rapport, der er oprettet p\u00e5 baggrund af simulationsresultaterne, er en html-fil, der er oprettet i det angivne format. Formatet kan tilpasses frit til det format, der er accepteret i den specifikke organisation.<\/p>\n<p><\/p>\n<p>Inden i blokdiagrammet anvendes egenskaber defineret i blokparametrene.<br \/>\nUdover analysen af kravoverholdelse indeholder den interne blokdiagram en graf, der er n\u00f8dvendig for at vise resultaterne af simuleringen. Denne graf kan bruges b\u00e5de til visning under beregningerne og til analyse af resultaterne efter beregningen.<\/p>\n<p><\/p>\n<p>Beregningens resultater overf\u00f8res til blokken og gemmes samtidig i en samlet rapportfil, der oprettes baseret p\u00e5 resultaterne for hele projektet. (se fig. 8)<\/p>\n<p><\/p>\n<p>Et eksempel p\u00e5 en rapport, der er oprettet p\u00e5 baggrund af simulationsresultaterne, er en html-fil, der er oprettet i det angivne format. Formatet kan tilpasses frit til det format, der er accepteret i den specifikke organisation.<\/p>\n<p><\/p>\n<p><img decoding=\"async\" alt=\"Automatisk kontrol af krav i teknisk specifikation under dynamisk modelleringsproces\" src=\"\/wp-content\/uploads\/2020\/02\/8ff948417d799bce621e34c709154116.jpg\" style=\"display:block;margin: 0 auto;\" \/><br \/>\n<i>Figur 8. Eksempel p\u00e5 rapportfil baseret p\u00e5 simulationsresultater.<\/i><\/p>\n<p><\/p>\n<p>I dette eksempel udf\u00f8res indstillingen af rapportens formular direkte i projektets egenskaber, mens formatet i tabellen angives som globale signaler for projektet. I dette tilf\u00e6lde l\u00f8ser SimInTech selv opgaven med at indstille rapporten, og blokken til optagelse af resultater i filen bruger disse linjer til at skrive til rapportfilen.<\/p>\n<p><\/p>\n<p><img decoding=\"async\" alt=\"Automatisk kontrol af krav i teknisk specifikation under dynamisk modelleringsproces\" src=\"\/wp-content\/uploads\/2020\/02\/bbe363bf1d81d00aebb67ca29a35811b.jpg\" style=\"display:block;margin: 0 auto;\" \/><br \/>\n<i>Figur 9. Indstilling af rapportformat i projektets globale signaler<\/i><\/p>\n<p><\/p>\n<h3>Brug af signaldatabasen til krav.<\/h3>\n<p><\/p>\n<p>For at automatisere arbejdet med egenskaberne for hver standardblok oprettes en standardstruktur i signaldatabasen. (se fig. 10)<\/p>\n<\/p>\n<p><img decoding=\"async\" alt=\"Automatisk kontrol af krav i teknisk specifikation under dynamisk modelleringsproces\" src=\"\/wp-content\/uploads\/2020\/02\/7e20a24ca5dadd2da6542325e964ec00.jpg\" style=\"display:block;margin: 0 auto;\" \/><br \/>\n<i>Figur 10. Eksempel p\u00e5 struktur af kravcheckblok i signaldatabasen.<\/i><\/p>\n<p><\/p>\n<p>Signaldatabasen sikrer:<\/p>\n<p><\/p>\n<ul>\n<li> Opbevaring af alle n\u00f8dvendige parametre for systemkrav.<\/li>\n<li> Bekvem visning af eksisterende krav i projektet baseret p\u00e5 de angivne parametre og aktuelle simulationsresultater.<\/li>\n<li> Indstilling af en blok, gruppe af blokke ved hj\u00e6lp af et scriptsprog. \u00c6ndringer i signaldatabasen f\u00f8rer til \u00e6ndringer i blokens egenskabers v\u00e6rdier i diagrammet.<\/li>\n<li> Opbevaring af tekstbeskrivelser, links til punkter i kravspecifikationen eller identifikatorer i systemet til kravstyring.<\/li>\n<\/ul>\n<p><\/p>\n<p>Strukturerne i signaldatabasen for krav kan nemt tilpasses til at arbejde med et tredjepartssystem til kravstyring. Den generelle interaktionsskema med kravstyringssystemer pr\u00e6senteres i figur 11.<\/p>\n<p><\/p>\n<p><img decoding=\"async\" alt=\"Automatisk kontrol af krav i teknisk specifikation under dynamisk modelleringsproces\" src=\"\/wp-content\/uploads\/2020\/02\/3f6d67b8160255fd39d0d8bedf8be655.jpg\" style=\"display:block;margin: 0 auto;\" \/><br \/>\n<i>Figur 11. Skema for interaktion med kravstyringssystemet.<\/i><\/p>\n<p><\/p>\n<p>Sekvensen for interaktion mellem testprojektet SimInTech og kravstyringssystemet er som f\u00f8lger:<\/p>\n<p><\/p>\n<ol>\n<li> Det tekniske dokument opdeles i krav.<\/li>\n<li> Der identificeres krav i det tekniske dokument, som kan verificeres gennem matematisk modellering af tekniske processer.<\/li>\n<li> Attributterne for de identificerede krav overf\u00f8res til SimInTechs signaldatabase i strukturer af standardblokke (for eksempel maksimal og minimal temperatur).<\/li>\n<li> Under beregningsprocessen overf\u00f8res data fra strukturerne til beregningsskemaerne for blokkene, analysen udf\u00f8res, og resultaterne gemmes i signaldatabasen.<\/li>\n<li> Ved afslutningen af beregningen overf\u00f8res analyseresultaterne til kravstyringssystemet.<\/li>\n<\/ol>\n<p><\/p>\n<p>Trinene i arbejdet med kravene 3 \u2014 5 kan gentages under designprocessen, n\u00e5r der sker \u00e6ndringer i konstruktionen og\/eller kravene, og det derfor er n\u00f8dvendigt at gentage kontrollen af indflydelsen fra de foretagne \u00e6ndringer.<\/p>\n<p><\/p>\n<h3>Konklusioner.<\/h3>\n<p><\/p>\n<ul>\n<li> Den oprettede prototypesystem sikrer en betydelig reduktion i tiden til at analysere eksisterende modeller for overholdelse af kravene i det tekniske dokument.<\/li>\n<li> Den foresl\u00e5ede testteknologi anvender allerede eksisterende dynamiske modeller og kan bruges til enhver dynamisk model, herunder dem, der ikke er udf\u00f8rt i SimInTech-milj\u00f8et.<\/li>\n<li> Brugen af batch-databaseorganisering muligg\u00f8r oprettelse af kontrolpakker for krav parallelt med udviklingen af modellerne, eller endda at bruge disse pakker som tekniske dokumenter til modelludvikling.<\/li>\n<li> Teknologien kan integreres med eksisterende kravstyringssystemer uden v\u00e6sentlige omkostninger.<\/li>\n<\/ul>\n<p><\/p>\n<p>Til dem, der n\u00e5ede til slutningen, <noindex><a rel=\"nofollow\" href=\"https:\/\/youtu.be\/be9qPox4AXk\">henvisning til videoen med demonstration af prototypearbejdet.<\/a><\/noindex><\/p>\n<p>Kilde: <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.3 - 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\/da\/blog\/avtomaticheskaya-proverka-trebovanij-tz-v-proczesse-dinamicheskogo-modelirovaniya\" \/>\n\t\t<meta name=\"generator\" content=\"All in One SEO (AIOSEO) 5.0.3\" \/>\n\t\t<meta property=\"og:locale\" content=\"da_DK\" \/>\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\/da\/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\udd47Automatisk kontrol af krav i det tekniske dokument under dynamisk modellering | ProHoster","description":"For at forts\u00e6tte emnet \"Hvad er dine beviser?\", lad os se p\u00e5 problemet med matematisk modellering fra en anden vinkel.","canonical_url":"https:\/\/prohoster.info\/da\/blog\/avtomaticheskaya-proverka-trebovanij-tz-v-proczesse-dinamicheskogo-modelirovaniya","robots":"max-image-preview:large","keywords":"","webmasterTools":{"miscellaneous":""},"schema":null,"og:locale":"da_DK","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\/da\/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\/da\/wp-json\/wp\/v2\/posts\/41257","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/prohoster.info\/da\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/prohoster.info\/da\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/prohoster.info\/da\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/prohoster.info\/da\/wp-json\/wp\/v2\/comments?post=41257"}],"version-history":[{"count":0,"href":"https:\/\/prohoster.info\/da\/wp-json\/wp\/v2\/posts\/41257\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/prohoster.info\/da\/wp-json\/wp\/v2\/media\/41258"}],"wp:attachment":[{"href":"https:\/\/prohoster.info\/da\/wp-json\/wp\/v2\/media?parent=41257"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/prohoster.info\/da\/wp-json\/wp\/v2\/categories?post=41257"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/prohoster.info\/da\/wp-json\/wp\/v2\/tags?post=41257"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}