Continuando con el tema, "¿Cuál es su evidencia?" Por otro lado, mire el problema del modelado matemático. Después de haber comprobado que el modelo corresponde a la verdad de la vida hecha en casa, podemos responder a la pregunta básica: "¿qué, de hecho, tenemos aquí?". Al crear un modelo de un objeto técnico, generalmente queremos asegurarnos de que este objeto cumpla con nuestras expectativas. Para ello, se realizan cálculos dinámicos de procesos y el resultado se compara con los requisitos. Este es un doble digital, un prototipo virtual y más. shnyah de moda que en la etapa de diseño resuelve el problema de cómo asegurarse de que obtengamos lo que planeamos.
¿Cómo podemos asegurarnos rápidamente de que nuestro sistema es exactamente lo que estamos diseñando? ¿Volará o flotará nuestra construcción? Y si vuela, ¿qué tan alto? Y si flota, ¿qué tan profundo?
Este artículo analiza la automatización de verificar los requisitos de un edificio técnico al crear modelos dinámicos de sistemas técnicos. Como ejemplo, veamos un elemento de las especificaciones técnicas para el sistema de enfriamiento de aire de una aeronave.
Consideramos aquellos requisitos que pueden expresarse numéricamente y verificarse matemáticamente en función de un modelo de cálculo específico. Está claro que esto es solo una parte de los requisitos generales para cualquier sistema técnico, pero es en su verificación que gastamos tiempo, nervios y dinero en la creación de modelos dinámicos del objeto.
, .
, , :
- :
− 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. .
, : . : , .
, .
( ), .
, , .
El modelo dinámico en este caso se puede realizar en cualquier sistema de modelado matemático o incluso en forma de un programa ejecutable. El único requisito es la disponibilidad de interfaces de programa para la salida de datos de modelado al entorno externo.
Figura 3. Conexión del proyecto de verificación al modelo integrado.
En la Figura 4 se muestra un ejemplo de una hoja de verificación de requisitos básicos. Desde el punto de vista del desarrollador, es un esquema de cálculo habitual, en el que el algoritmo de verificación de requisitos se presenta en forma gráfica.
Figura 4. Hoja de verificación de requisitos.
Las partes principales de la hoja de verificación se describen en la Figura 5. El algoritmo de verificación se forma de manera similar a los esquemas de diseño de algoritmos de control. En el lado derecho está el bloque para leer las señales de la base de datos. En este bloque, se accede a la base de datos de señales durante la simulación.
. ( ). .
, . , .
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 , () , , .
.
, .