Continuando o tópico, "Qual é a sua evidência?" , observe o problema da modelagem matemática, por outro lado. Depois de termos verificado que o modelo corresponde à verdade caseira da vida, podemos responder à pergunta básica: “o que de fato temos aqui?”. Criando um modelo de um objeto técnico, geralmente queremos garantir que esse objeto atenda às nossas expectativas. Para isso, são realizados cálculos dinâmicos de processos e o resultado é comparado com os requisitos. Este é um duplo digital, um protótipo virtual e muito mais. shnyah da moda que, na fase de design, resolve o problema de como garantir que obtemos o que planejamos.
Como podemos garantir rapidamente que nosso sistema é exatamente o que estamos projetando? Será que nossa construção voará ou flutuará? E se ele voa, então quão alto? E se flutuar, então quão profundo?
Este artigo discute a automação da verificação dos requisitos de um edifício técnico ao criar modelos dinâmicos de sistemas técnicos. Como exemplo, vejamos um elemento das especificações técnicas para o sistema de refrigeração de ar de uma aeronave.
Consideramos os requisitos que podem ser expressos numericamente e verificados matematicamente com base em um modelo de cálculo específico. É claro que isso é apenas parte dos requisitos gerais de qualquer sistema técnico, mas é precisamente na verificação deles que gastamos tempo, nervos e dinheiro na criação de modelos dinâmicos do 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. .
, : . : , .
, .
( ), .
, , .
O próprio modelo dinâmico, nesse caso, pode ser executado em qualquer sistema de modelagem matemática ou mesmo na forma de um programa executável. O único requisito é a disponibilidade de interfaces de programa para a saída de dados de modelagem para o ambiente externo.
Figura 3. Conexão do projeto de verificação ao modelo integrado.
Um exemplo de uma folha de verificação de requisitos básicos é mostrado na Figura 4. Do ponto de vista do desenvolvedor, é um esquema de cálculo usual, no qual o algoritmo de verificação de requisitos é apresentado em forma gráfica.
Figura 4. Folha de verificação de requisitos.
As principais partes da folha de verificação estão descritas na Figura 5. O algoritmo de verificação é formado de maneira semelhante aos esquemas de design dos algoritmos de controle. No lado direito está o bloco para leitura de sinais do banco de dados. Nesse bloco, o banco de dados de sinais é acessado durante a simulação.
. ( ). .
, . , .
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 , () , , .
.
, .