Mustaqil ish mavzu: Matlabda interpolyatsiya va aproksimatsiya masalalarini tadqiq etish va yechish

Download 91,45 Kb. bet 7/8 Sana 04.02.2022 Hajmi 91,45 Kb. #428903

Bu sahifa navigatsiya:

• Tahlil rejimi

Interpolatsiya usuli parametri Linear.

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

Download 91,45 Kb.

Do'stlaringiz bilan baham: