继续讨论“您的证据是什么？”另一方面，请看数学建模问题。在确定模型对应于自制的生活真理之后，我们可以回答以下基本问题：“实际上，我们在这里拥有什么？”。创建技术对象的模型时，我们通常希望确保该对象符合我们的期望。为此，对过程进行动态计算，并将结果与要求进行比较。这是一个数字双打，虚拟原型等等。时髦的时髦人士，在设计阶段解决了如何确保我们获得计划的问题。
我们如何迅速确保我们的系统与我们正在设计的系统完全相同，我们的建筑会飞还是浮？如果飞得那么高呢？如果漂浮，那么深度有多深？
本文讨论了在创建技术系统的动态模型时自动验证技术建筑物的要求。例如，让我们看一看飞机空气冷却系统的技术规范中的一个元素。
我们考虑可以基于特定计算模型以数字方式表达和数学验证的那些要求。显然，这只是任何技术系统的一般要求的一部分，但正是在他们的验证上，我们花费时间，精力和金钱来创建对象的动态模型。
, .
, , :
- :
− 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. .
, : . : , .
, .
( ), .
, , .
在这种情况下，动态模型本身可以在任何数学建模系统中执行，甚至可以以可执行程序的形式执行。唯一的要求是程序接口的可用性，以便将建模数据输出到外部环境。
图3.验证项目与集成模型的连接。
基本需求检查表的示例如图4所示。从开发人员的角度来看，这是一种常见的计算方案，其中需求检查算法以图形形式表示。
图4.需求验证表。
检查表的主要部分在图5中进行了描述。检查算法的形成与控制算法的设计方案相似。右侧是用于从数据库读取信号的块。在此块中，在仿真期间访问信号数据库。
. ( ). .
, . , .
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 , () , , .
.
, .