Melanjutkan topik, "Apa bukti Anda?" , lihatlah masalah pemodelan matematika di sisi lain. Setelah kita memastikan bahwa modelnya sesuai dengan kebenaran kehidupan buatan sendiri, kita dapat menjawab pertanyaan dasar: "apa, sebenarnya, yang kita miliki di sini?". Membuat model objek teknis, kami biasanya ingin memastikan bahwa objek ini akan memenuhi harapan kami. Untuk ini, perhitungan dinamis dari proses dilakukan dan hasilnya dibandingkan dengan persyaratan. Ini adalah digital ganda, prototipe virtual dan banyak lagi. shnyah modis yang pada tahap desain memecahkan masalah bagaimana memastikan bahwa kita mendapatkan apa yang kita rencanakan.
Bagaimana kita dapat dengan cepat memastikan bahwa sistem kita persis seperti apa yang kita rancang, apakah konstruksi kita akan terbang atau mengambang? Dan jika ia terbang maka seberapa tinggi? Dan jika itu mengapung, lalu seberapa dalam?
Artikel ini membahas otomatisasi memverifikasi persyaratan bangunan teknis ketika membuat model sistem teknis yang dinamis. Sebagai contoh, mari kita lihat elemen spesifikasi teknis untuk sistem pendingin udara pesawat.
Kami mempertimbangkan persyaratan yang dapat dinyatakan secara numerik dan diverifikasi secara matematis berdasarkan model perhitungan tertentu. Jelas bahwa ini hanya bagian dari persyaratan umum untuk sistem teknis apa pun, tetapi pada verifikasi mereka kita menghabiskan waktu, keberanian dan uang untuk membuat model objek yang dinamis.
, .
, , :
- :
− 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. .
, : . : , .
, .
( ), .
, , .
Model dinamis itu sendiri dalam hal ini dapat dilakukan dalam sistem pemodelan matematika atau bahkan dalam bentuk program yang dapat dieksekusi. Satu-satunya persyaratan adalah ketersediaan antarmuka program untuk output data pemodelan ke lingkungan eksternal.
Gambar 3. Koneksi proyek verifikasi ke model terintegrasi.
Contoh lembar pemeriksaan persyaratan dasar ditunjukkan pada Gambar 4. Dari sudut pandang pengembang, ini adalah skema perhitungan biasa, di mana algoritma pemeriksaan persyaratan disajikan dalam bentuk grafis.
Gambar 4. Lembar verifikasi persyaratan.
Bagian utama dari lembar pemeriksaan dijelaskan pada Gambar 5. Algoritma cek dibentuk mirip dengan skema desain algoritma kontrol. Di sisi kanan adalah blok untuk membaca sinyal dari database. Di blok ini, basis data sinyal diakses selama simulasi.
. ( ). .
, . , .
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 , () , , .
.
, .