Automatic verificationis TOR requisita in processu simulationis dynamicae

Continuing thema "Quid est testimonium tuum?"Inspice problema mathematicum ex altera parte. Postquam persuasum habemus exemplar correspondere veris vitae homepunibus, quaestioni principali respondere possumus: "quidnam hic habemus?" Cum exemplar rei technicae creant, plerumque cupimus efficere ut hoc obiectum nostrae exspectationi occurrat. Ad hoc, processus dynamicae rationes peraguntur et effectus cum exigentiis comparatur. Hoc est gemina digitale, prototypum virtuale, etc. modum paulo guys qui, in scaena designandi, problema solvendum quomodo fac nos id quod instituimus consequi.

Quomodo celeriter fac ut ratio nostra prorsus id quod cogitamus, consilium nostrum volet vel innatat? Et si fugit, quam alte? Et si fluitat, quam altum?

Automatic verificationis TOR requisita in processu simulationis dynamicae

Articulus hic agit de automatione verificationis obsequii cum exigentiis aedificii technici cum dynamica genera systematum technicarum creandi. Exemplum, inspiciamus elementum specificationis technicae pro aircraft refrigerandi aeris.

Illas exigentias consideramus quae numero mathematice exprimi possunt et verificari secundum specificum exemplar calculi. Patet hanc partem generales tantum esse requisita pro quavis technica systemate, sed in iis inhibitis, quae tempus terimus, nervos et pecunias ad exempla dynamica objecti creandi.

Cum in forma documenti exigentias technicas describimus, plura genera diversorum requiritatum distingui possunt, quarum unaquaeque requirit diversos aditus ad formationem latis verificationis requisitorum perficiendi.

Exempli gratia: Vide parvam hanc necessitatem, sed Vestibulum vitae constitutum:

  1. Aeris atmosphaerici temperies in introitu ad systema curationis aquae;
    in raeda sors - a minus 35 ad 35 ;
    in fugam - a minus 35 ad 39 .
  2. Pressio stabilis aeris atmosphaerici in fuga est ab 700 ad 1013 GPa (ab 526 ad 760 mm Hg).
  3. Tota pressionis aeris in introitu ad SVO aeris attractio in volando est ab 754 ad 1200 GPa (ab 566 ad 1050 mm Hg).
  4. Frigus temperies aeris;
    in raeda sors - non plus quam 27 , in caudices technicis - non plus quam 29 ;
    in fuga - non plus quam 25 , pro technicis caudices - non plus quam 27 .
  5. Refrigerant aΓ«ris fluxus ;
    ortus - saltem DCCVIII kg / h,
    in fuga non minus quam 660 kg/h.
  6. Temperatus aer in cellis instrumenti non plus est quam 60 ΒΊΠ‘.
  7. Moles tenuis humoris liberi aeris in refrigerando non plus quam 2 g/kg aeris sicci.

Etiam in hoc limitato statuto requisita duo saltem genera sunt quae aliter in systemate tractari debent:

  • requiruntur ad operativa systematis condiciones (clausulae 1-3);
  • parametrica ad systema requisita (clausulae 3-7).

Ratio operating conditionibus requisitis
Condiciones externae ad systema in formando crescendo specificari possunt condiciones limites vel ex operatione systematis generalis.
In simulatione dynamica, necesse est ut praefinitas condiciones operativae processu simulationis operiantur.

Parametric ratio requisita
Haec requisita sunt parametri ab ipsa systemate provisa. In processu exemplaris, hos parametros consequi possumus ut proventus calculi, et fac ut in singulis calculi speciebus exigentias occurrant.

Requisita idem et coding

Ad facilitatem operandi cum requisitis, signis existentibus commendamus identificantem unicuique exigentiam assignando. Cum identificatores assignandi, valde optandum est ut una ratio coding adhibeatur.

Codex exigentiae simpliciter numerus esse potest, qui ordinem numeri exigentiae repraesentat, vel codicem continere potest pro specie exigentiae, codicem systematis vel unitatis cui applicatur, signum moduli, codicem locatum, ac aliud fectum excogitare potest. (Vide articulum ad usum modum translitterandi)

Tabula 1 simplex exemplum praescriptum coding praebet.

  1. codicem fontis praescriptum R-necessariae TK;
  2. Code type of requirements E - requirements - environmental parameters, or operating conditions
    S. - Ratio servata est;
  3. aircraft code 0 β€” quavis, G β€” parked, F β€” in fugam;
  4. corporis moduli genus code T - temperies, P - pressio, G - fluunt rate, humiditas H;
  5. Vide hujus mandati numerum.

ID
commodum
Description parametri
REGT01 Temperatura aeris ambientis in introitu ad systema refrigerationis aquae: in sorte raeda - inde minus 35ΒΊΠ‘. usque ad 35 .
REFT01 Temperatura aeris atmosphaerica in introitu ad systema defensionis aeris: in fuga - ab minus 35 ad 39 ΒΊΠ‘.
REFP01 Static atmosphaerica aeris pressio in fuga est ab 700 ad 1013 hPa (ab 526 ad 760 mm Hg).
REFP02 Tota pressura aeris in introitu SVO in fugam aeris attractio est ab 754 ad 1200 hPa (ab 566 ad 1050 mm Hg).
RSGT01 Aeris refrigerationem temperiem: ubi ortus non plus quam XXVII
RSGT02 Temperies aeris refrigerantis: in raeda sorte, ad unitates technicas non plus quam 29
RSFT01 Temperatus aeris refrigerationis in fuga non plus quam 25 ΒΊΠ‘
RSFT02 Temperies aeris refrigerantis: in fuga, pro technicis unitates non plus quam 27
RSGG01 Refrigerium aeris fluxus: ortus non minus quam DCCVIII kg / h
RSFG01 Aeris refrigeratio fluxus: in fuga non minus quam 660 kg/h
RS0T01 Temperatus aer in cellis instrumenti non plus est quam 60
RSH01 Moles tenuis liquoris aeris in refrigeratione aeris non plus quam 2 g/kg aeris sicci

Requisita verificationis ratio design.

Utraque exigentia designandi algorithmus est ad perpendendas correspondentias parametri consilii et parametri in exigentia determinata. Per et magnum, quaelibet ratio temperandi algorithmos semper continet ad reprimenda requisita simpliciter per defaltam. Quos vel quis moderatius ea contineat. Si temperatura extra limites exit, aer Conditioner volvitur. Itaque primus cuiusvis ordinationis gradus inspiciendus est num ambitus metus sit.

Et cum verificationis algorithmus est, tum instrumentis ac instrumentis iisdem uti possumus quibus programmata moderandi utimur. Exempli gratia, SimInTech ambitus permittit vos creare sarcinas projectas in varias partes exemplaris, quae in singulis inceptis (obiectum exemplar, imperium systema exemplar, exemplar ambitus, etc.).

Requisita verificationis in hoc casu idem fit inceptum algorithmus et cum sarcina exemplaris coniungitur. Et in modo dynamico modeling analysin perficit pro obsequio cum specificationibus technicis requisitis.

Exemplum de ratione consiliorum possibilis in Figura 1 ostenditur.

Automatic verificationis TOR requisita in processu simulationis dynamicae
Figura 1. Exemplum de consilio verificationis project.

Velut algorithms ad imperium, requisita schedae pro statuto confici possunt. Ad commodum operandi cum algorithms in ambitus structurarum exemplaribus sicut SimInTech, Simulink, AmeSim, facultas multi-gradi structuras creandi in submodelis forma adhibetur. Haec organizationis efficit ut possibilia ad varios usus necessarios in disponendis ad simpliciorem laborem cum ordinatis exigentiis fiat, sicut algorithmarum moderatio fit (cf. Fig. 2).

Automatic verificationis TOR requisita in processu simulationis dynamicae
Figura 2. structura hierarchica requisitorum exemplar verificationis.

Exempli gratia, in proposito, duo coetus distinguuntur: requisita ad ambitum ac necessitatem directe ad rationem. Duplex igitur structura notula adhibenda est: duo volumina, quorum unumquodque folium algorithmus est.

Data ad exemplar coniungere, vexillum schema pro signo datorum generando adhibetur, quae notitias rerum inter partes rei commutationis praebet.

Cum programmationem creando et experiundo, lectiones sensoriorum (analogorum sensoriorum realium systematis) quae a systemate regimine adhibitae sunt, in hoc datorum collocantur.
Ad probationem projecti, parametri quosvis in exemplari dynamico computatos in eisdem datorum recondi possunt et sic ad reprimendam num requisita occurrant.

Hoc in casu, exemplar ipsum dynamicum exsecutioni mandari potest in quavis systemate mathematico vel etiam in forma programmatis exsecutabilis. Sola postulatio est praesentia programmatum programmatum ad emissas formas notitias ad ambitum externum.

Automatic verificationis TOR requisita in processu simulationis dynamicae
Figure 3. Coniungens verificationis project ad exemplar complexum.

Exemplum postulatorum fundamentalium chartarum verificationis exhibetur in Figura 4. Ex parte elit, est tabula conventionalis ratio in qua requisita algorithmus verificationis graphice exhibetur.

Automatic verificationis TOR requisita in processu simulationis dynamicae
Figura 4. Requisita reprehendo sheet.

Partes principales schedae perscriptio describuntur in Figura 5. Perscriptio algorithmus similiter formatur ad schemata de regiminis algorithmorum ratione. In latere dextro est truncus legendi signa datorum. Hic clausus signum datorum per simulationem accesserit.

Acceptae significationes resolvuntur ad condiciones verificationis requisitas computandas. In hoc casu fit analysis altitudinis ad determinandam positionem aircraft (sive ortus sive in fuga). Ad hanc rem, aliis signis uti potes et exemplar parametri computare.

Conditiones verificationis et parametri repressus transferuntur ad regulas verificationis normas, in quibus hae parametri explicantur ad obsequium cum determinatis requisitis. Eventus in datorum signo ita memorantur ut ad maculosum generandum automatice adhiberi possint.

Automatic verificationis TOR requisita in processu simulationis dynamicae
Figure 5. Structura requisita calculi verificationis sheet.

Parametri probationes non necessario utuntur signis in datorum contentis, quae parametris in processu simulationis computatis reguntur. Nihil obstat quominus calculi additi intra schematis ambitum requirantur, sicut condiciones verificationis computamus.

Exempli gratia, postulatio;

Numerus activationum correctionis ratio in fuga in scopum 5 non excedere debet, et totum systema operandi tempus correctionis 30 secundis non excedere debet.

In hoc casu, algorithmus ad numerum astrorum computandum et tempus operandi totum additur schema de consilio requisitorum.

Typical verificationem obstructionum requisita.

Singula norma exigendi archa perscriptio destinatur ad calculandum impletionem cuiusdam generis exigentiae. Exempli gratia, requisita environmental ambientium temperaturas operantes amplis collocatis et in fuga comprehendunt. Hic stipes debet recipere temperiem aeris in exemplari ut modulo ac definire an hic modulus tegat determinatam temperiem range./p>

Clausus duos initus portus, param et conditionem continet.

Primum alitur modulo coercitus. In hoc casu, "temperatus externus".

Variabilis Boolean ad alterum portum praebetur - conditio perspiciendi faciendo.

Si VERA (1) recipitur in secundo initus, tunc stipes postulationem verificationis calculi exercet.

Si secunda initus FALSUM SIT (0), condiciones probatae non convenerunt. Hoc necessarium est ut condiciones calculi considerentur. In casu nostro, hoc initus adhibetur ut perscriptio secundum statum exemplaris possit vel disable. Si aircraft est in terra per simulationem, requisita ad fugam relata non sunt sedatus, et vice versa - si aircraft est in fuga, tunc requisita ad standum operandi non tardantur.

Hoc initus adhiberi potest etiam in archetypo constituendo, exempli gratia in calculi rudimento. Cum exemplar in statum debitum introducitur, schedulae repressoriae debilitatae sunt, sed cum primum ratio ad modum debiti operandi pervenerit, impedimenta emissa sunt.

Parametri huius scandali sunt:

  • limites limites: superior (UpLimit) et inferior (DownLimit) limites range qui coercendi sunt;
  • requiritur systema detectio temporis in terminis limitibus (TimeInterval) in secundis;
  • Request ID ReqName;
  • permissibilitas excessus extensionis Out_range est variabilis Boolean quae decernit an valorem range repressum excedens sit transgressio postulationis.

In quibusdam casibus probatio valoris output indicat systema aliquod marginem habere et extra ambitum operantem operari posse. In aliis casibus, output significat systema puncta intra ictum servare non posse.

Automatic verificationis TOR requisita in processu simulationis dynamicae
Figura 6. Proprietas typica perscriptio impedimentum in diagrammate eiusque parametris.

Propter calculi huius scandali variabilis eventus formatur in output, qui sequentes valores accipit:

  • 0 - rnon, valorem non definitum;
  • 1 - rDone, occurrit necessitas;
  • 2 - rFault, requisitio non occurrit.

Obstructionum imaginem continet:

  • identifier text;
  • digitales ostensiones mensurarum limites parametri;
  • color identifier parametri status.

Inter scandalum fortasse logica illatio circuii implicata esse potest.

Verbi gratia, ad reprimendam operativam extensionem unitatis in Figura VI demonstratur, ambitus internus ostenditur in Figura VII.

Automatic verificationis TOR requisita in processu simulationis dynamicae
Figura 7. Internum diagramma temperaturae determinatio unitatis unitatis.

Intra scandalum ambitum, proprietates parametri in trunco ​​specificatae adhibentur.
Praeter analysin obsequium cum requisitis, internus schematismus clausus continet graphum necessarium ad proventus simulationis exhibendos. Haec graphia adhiberi potest tum ad videndum in calculo tum ad solvendas eventus post calculum.

Proventus calculi ad output clausus transmittuntur et simul in tabella relationis generalis referuntur, qui in eventus totius rei innixus est. (Fig. 8)

Exemplum relationis quae factae secundum simulationem consequitur, fasciculus HTML modum creatus est secundum datam formam. Forma ex arbitrio configurari potest cum forma accepta a ordinatione particulari.

Intra scandalum ambitum, proprietates parametri in trunco ​​specificatae adhibentur.
Praeter analysin obsequium cum requisitis, internus schematismus clausus continet graphum necessarium ad proventus simulationis exhibendos. Haec graphia adhiberi potest tum ad videndum in calculo tum ad solvendas eventus post calculum.

Proventus calculi ad output clausus transmittuntur et simul in tabella relationis generalis referuntur, qui in eventus totius rei innixus est. (Fig. 8)

Exemplum relationis quae factae secundum simulationem consequitur, fasciculus HTML modum creatus est secundum datam formam. Forma ex arbitrio configurari potest cum forma accepta a ordinatione particulari.

Automatic verificationis TOR requisita in processu simulationis dynamicae
Figure 8. Exemplum relationis fasciculi ex simulatione proventuum.

In hoc exemplo, forma relationis in proprietatibus projectionis directe configuratur, et forma in mensa ponitur sicut signum propositi globalis. In hoc casu, SimInTech ipsum problema solvendi relationis solvit, et scandalum scribendorum eventuum lima utitur his lineis ad tabellam relationis scribendam.

Automatic verificationis TOR requisita in processu simulationis dynamicae
Figure 9. Profecti fama forma in global project annuit

Dato signo usus ad requisita.

Ad opus automate cum fundis proprietatis, norma structura creatur in signo datorum pro singulis scandalo typico. (Fig. 10)

Automatic verificationis TOR requisita in processu simulationis dynamicae
Figura 10. Exemplum structurae exigentiae perscriptio clausus in signo datorum.

Dat signum database:

  • Condicionem omnium necessariarum parametri systematis requisitis.
  • Opportunus inspiciendus exsistentiae project requisita e parametris determinatis et proventuum exemplarium currentium.
  • Ponere unum truncum vel coetus caudices utendi lingua programmandi scripto. Mutationes in signo datorum ducunt ut mutationes in clausurarum rerum bonarum in schemate.
  • Repono descriptiones textus, nexus cum technica specierum rerum vel identificantium in exigentiis systematis administrationis.

Insigne datorum structurae pro requisitis facile configurari possunt ad operandum cum tertiae partis requisitis ratio administrationis. Commune diagramma commercii cum requisitis systematis administrationis exhibetur in Figura XI.

Automatic verificationis TOR requisita in processu simulationis dynamicae
Figura 11. Diagramma commercii cum requisitis administrandi ratio.

Sequentia commercii inter consilium SimInTech et exigentiam systematis temperandi hoc modo est:

  1. Conditiones attritae sunt in requisita.
  2. Requisita specificationum technicarum notantur quae mathematicis formis processuum technicis verificari possunt.
  3. Attributa requisitorum delectarum signo datorum SimInTech transferuntur in structura caudices vexillum (exempli gratia, temperaturae maximae et minimae).
  4. In processu calculi, structura data transfertur ad degrammata designanda, analysis conficitur et eventus reponuntur in signo datorum dato.
  5. Postquam calculus perfectus est, eventus analysis ad exigentias systematis administrationis transfertur.

Requisita gradus 3 per 5 iterari possunt in processu consilio, cum mutationes ad consilium et/vel necessitates fiunt et ictum mutationum manifestandae sunt.

Erit perfectius fundamentum.

  • Prototypum creatum systematis significantem reductionem praebet tempore analyseos exemplorum exsistentium ad obsequium requisitis specificationum technicarum.
  • Proposita probatio technologiae utitur iam exstantibus dynamicis exemplaribus et adhiberi potest etiam ad aliqua exempla dynamica, etiam quae non fiunt in ambitu SimInTech.
  • Usura batch datae organizationis permittit te ut exigentias verificationis in parallelis ad exemplar evolutionis efficias, vel etiam his fasciculis utere ut technicae notiones ad exemplar evolutionis.
  • technicae artes integrari possunt cum exsistentibus exigentiis administrationis systematis sine insignibus gratuitis.

Nam legentibus in fine; link to a video showing quomodo prototypum operatur.

Source: www.habr.com