Fortsetzung des Themas "Was sind Ihre Beweise?" Schauen Sie sich andererseits das Problem der mathematischen Modellierung an. Nachdem wir festgestellt haben, dass das Modell der hausgemachten Wahrheit des Lebens entspricht, können wir die grundlegende Frage beantworten: „Was haben wir eigentlich hier?“. Wenn wir ein Modell eines technischen Objekts erstellen, möchten wir normalerweise sicherstellen, dass dieses Objekt unseren Erwartungen entspricht. Dazu werden dynamische Prozessberechnungen durchgeführt und das Ergebnis mit den Anforderungen verglichen. Dies ist ein digitales Doppel, ein virtueller Prototyp und mehr. modische shnyah, die in der Entwurfsphase das Problem lösen, wie wir sicherstellen können, dass wir das bekommen, was wir geplant haben.
Wie können wir schnell sicherstellen, dass unser System genau das ist, was wir entwerfen, wird unsere Konstruktion fliegen oder schweben? Und wenn es fliegt, wie hoch dann? Und wenn es schwimmt, wie tief dann?
Dieser Artikel beschreibt die Automatisierung der Überprüfung der Anforderungen eines technischen Gebäudes beim Erstellen dynamischer Modelle technischer Systeme. Schauen wir uns als Beispiel ein Element der technischen Spezifikationen für das Luftkühlsystem eines Flugzeugs an.
Wir betrachten die Anforderungen, die numerisch ausgedrückt und basierend auf einem bestimmten Berechnungsmodell mathematisch verifiziert werden können. Es ist klar, dass dies nur ein Teil der allgemeinen Anforderungen an ein technisches System ist, aber gerade bei deren Überprüfung investieren wir Zeit, Nerven und Geld in die Erstellung dynamischer Modelle des Objekts.
, .
, , :
- :
− 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. .
, : . : , .
, .
( ), .
, , .
Das dynamische Modell selbst kann in diesem Fall in jedem mathematischen Modellierungssystem oder sogar in Form eines ausführbaren Programms ausgeführt werden. Die einzige Voraussetzung ist die Verfügbarkeit von Programmschnittstellen für die Ausgabe von Modellierungsdaten an die externe Umgebung.
Abbildung 3. Verbindung des Verifizierungsprojekts mit dem integrierten Modell.
Ein Beispiel für ein Basisanforderungsprüfblatt ist in Abbildung 4 dargestellt. Aus Entwicklersicht handelt es sich um ein übliches Berechnungsschema, bei dem der Anforderungsprüfungsalgorithmus in grafischer Form dargestellt wird.
Abbildung 4. Anforderungsüberprüfungsblatt.
Die Hauptteile des Prüfblatts sind in Abbildung 5 beschrieben. Der Prüfalgorithmus ist ähnlich wie die Entwurfsschemata von Steueralgorithmen aufgebaut. Auf der rechten Seite befindet sich der Block zum Lesen von Signalen aus der Datenbank. In diesem Block wird während der Simulation auf die Signaldatenbank zugegriffen.
. ( ). .
, . , .
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 , () , , .
.
, .