Mavzu: Matlabda interpolyatsiya va aproksimatsiya masalalarini tadqiq etish va yechish
2-Mustaqil ish mavzulari
- Bu sahifa navigatsiya:
- Tahlil rejimi While tsiklining yaqinlashuvi
Ekstrapolyatsiya usuli parametri Clip.
Indeksni qidirish usuli parametri Linear searchyoki Binary search.
Kirish va chiqish signallari ikkalasi ham bir xil turdagi va ikkalasi ham butun sonli yoki qo'zg'almas nuqta tipidagidir.
Ushbu yaqinlashuv Simulink Design Verifier- ga testlarni sezilarli darajada tezroq yaratish imkonini beradi . Tejalgan vaqt sizning modelingizda qoniqarsiz sinov maqsadlariga ega bo'lganingizda talaffuz qilinadi.
Agar Simulink Design Verifier sizning modelingizga shunday yaqinlashtirishlarni qo'llasa, Simulink Design Verifier hisobotiga yaqinlashtirish tafsilotlari kiradi .
While Loops
Agar modelingiz yoki modelingizdagi Stateflow ® diagrammasi halqadan iborat bo‘lsa while, Simulink Design Verifier sikldan chiqishga imkon beruvchi konservativ doimiy chegarani aniqlashga harakat qiladi while. Agar dasturiy ta'minot doimiy chegarani topa olmasa, u whilepastadirga yaqinlashishni amalga oshiradi . Ushbu yaqinlashish bilan tahlil maqsadlarning haqiqiy yoki qoniqarsiz ekanligini isbotlamaydi va o'lik mantiqni isbotlamaydi. Yaratilgan tahlil hisoboti bu taxminni qayd etadi .
Quyidagi jadvalda tavsiflanganidek , whilepastadirga yaqinlashishning xatti-harakati tahlilning barcha usullarida mos keladi.
|
Tahlil rejimi |
While tsiklining yaqinlashuvi |
|
Dizayn xatolarini aniqlash |
whileLoop iteratsiyalar sonini 3 ga o'rnatadi . O'lik mantiq yoki haqiqiy maqsadlar haqida xabar bermaydi. |
|
Test ishini yaratish |
whileLoop iteratsiyalar sonini 3 ga o'rnatadi . Qoniqarsiz maqsadlar haqida xabar bermaydi. |
|
Mulkni isbotlash |
whileLoop iteratsiyalar sonini 3 ga oʻrnatadi . Toʻgʻri maqsadlar haqida xabar bermaydi. |
Download 80,19 Kb.
Do'stlaringiz bilan baham:
