Poursuivant le sujet, "Quelle est votre preuve?" , regardez le problème de la modélisation mathématique d'autre part. Après avoir vérifié que le modèle correspond à la vérité de la vie faite maison, nous pouvons répondre à la question de base: «qu'est-ce que nous avons en fait ici?». En créant une maquette d'un objet technique, nous voulons généralement nous assurer que cet objet répondra à nos attentes. Pour cela, des calculs dynamiques des processus sont effectués et le résultat est comparé aux exigences. Il s'agit d'un double numérique, d'un prototype virtuel et plus encore. shnyah à la mode qui, au stade de la conception, résout le problème de savoir comment obtenir ce que nous avons prévu.
Comment pouvons-nous nous assurer rapidement que notre système est exactement ce que nous concevons, notre construction volera-t-elle ou flottera-t-elle? Et s'il vole alors à quelle hauteur? Et s'il flotte, à quelle profondeur?
Cet article traite de l'automatisation de la vérification des exigences d'un bâtiment technique lors de la création de modèles dynamiques de systèmes techniques. À titre d'exemple, examinons un élément des spécifications techniques du système de refroidissement par air d'un avion.
Nous considérons ces exigences qui peuvent être exprimées numériquement et vérifiées mathématiquement sur la base d'un modèle de calcul spécifique. Il est clair que ce n'est qu'une partie des exigences générales de tout système technique, mais c'est précisément sur leur vérification que nous passons du temps, des nerfs et de l'argent à créer des modèles dynamiques de l'objet.
, .
, , :
- :
− 35 35 º,
− 35 39 º. - − 700 1013 ( 526 760 . .).
- − 754 1200 ( 566 1050 . .).
- :
− 27 º, − 29 º,
− 25 º, − 27 º. - :
− 708 /,
− 660 /. - − 60 º.
- − 2 / .
, - :
, .
, .
, . , .
. .
, , , , , , , . ( )
1 .
- R- ;
- – – ,
S — ; - 0 – , G – , F – ;
- T – , P – , G – , H;
- .
.
. , . . , . , – .
– , , . , SimInTech , , ( , , ..).
. .
1.
1. .
. SimInTech, Simulink, AmeSim . , (. . 2).
2. .
, : . : , .
, .
( ), .
, , .
Dans ce cas, le modèle dynamique lui-même peut être exécuté dans n'importe quel système de modélisation mathématique ou même sous la forme d'un programme exécutable. La seule exigence est la disponibilité d'interfaces de programme pour la sortie des données de modélisation vers l'environnement externe.
Figure 3. Connexion du projet de vérification au modèle intégré.
Un exemple de feuille de vérification des exigences de base est illustré à la figure 4. Du point de vue du développeur, il s'agit d'un schéma de calcul habituel, dans lequel l'algorithme de vérification des exigences est présenté sous forme graphique.
Figure 4. Feuille de vérification des exigences.
Les principales parties de la feuille de contrôle sont décrites dans la figure 5. L'algorithme de contrôle est formé de manière similaire aux schémas de conception des algorithmes de contrôle. Sur le côté droit se trouve le bloc de lecture des signaux de la base de données. Dans ce bloc, la base de données des signaux est accessible pendant la simulation.
. ( ). .
, . , .
5. .
, , , . , .
, :
5, 30 .
.
.
. , . ./p>
, param condition.
. « ».
– .
TRUE (1), .
FALSE (0), . , . , . , , – , , .
, . , , , .
:
- : (UpLimit) (DownLimit) , ;
- (TimeInterval) ;
- ReqName;
- Out_range – , , .
, . , .
6. .
Result, :
- 0 – rNone, ;
- 1 – rDone, ;
- 2 – rFault, .
:
.
, , 6, 7.
7. .
, .
, . , .
, . (. . 8)
, , html, . , .
, .
, . , .
, . (. . 8)
, , html, . , .
8. .
, . SimInTech , .
9.
.
. (. . 10)
10. .
, :
, 11.
11. .
SimInTech :
- .
- , .
- SimInTech (, ).
- , .
- .
3 — 5 , () , , .
.
, .