استمرار موضوع "ما هو دليلك؟" ، انظر إلى مشكلة النمذجة الرياضية من ناحية أخرى. بعد أن تأكدنا من أن النموذج يتوافق مع حقيقة الحياة محلية الصنع ، يمكننا الإجابة على السؤال الأساسي: "ماذا لدينا هنا في الواقع؟". عند إنشاء نموذج لعنصر تقني ، نرغب عادةً في التأكد من أن هذا الكائن سيلبي توقعاتنا. لهذا ، يتم إجراء العمليات الحسابية الديناميكية ومقارنة النتيجة بالمتطلبات. هذا مزدوج رقمي ونموذج افتراضي وأكثر من ذلك. shnyah المألوف الذي في مرحلة التصميم يحل مشكلة كيفية التأكد من أننا نحصل على ما خططنا.
كيف يمكننا أن نتأكد بسرعة من أن نظامنا هو بالضبط ما نقوم بتصميمه ، فهل سيطير البناء أو يطفو؟ وإذا كانت تطير ، فما مدى ارتفاعها؟ وإذا كانت تطفو ، فكيف عمق؟
تتناول هذه المقالة أتمتة التحقق من متطلبات المبنى التقني عند إنشاء نماذج ديناميكية للأنظمة التقنية. كمثال ، لنلق نظرة على عنصر المواصفات الفنية لنظام تبريد الهواء للطائرة.
نحن نعتبر تلك المتطلبات التي يمكن التعبير عنها رقميًا والتحقق منها حسابيًا بناءً على نموذج حسابي محدد. من الواضح أن هذا ليس سوى جزء من المتطلبات العامة لأي نظام تقني ، ولكن بالتحقق منهم بالتحديد ننفق الوقت والأعصاب والمال على إنشاء نماذج ديناميكية للكائن.
, .
, , :
- :
− 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 , () , , .
.
, .