Mavzu: Matlabda interpolyatsiya va aproksimatsiya masalalarini tadqiq etish va yechish

Download 80.19 Kb.

bet	5/6
Sana	09.04.2023
Hajmi	80.19 Kb.
	#1346480

1 2 3 4 5 6

Bog'liq
2-Mustaqil ish mavzulari

Tahlil rejimi While tsiklining yaqinlashuvi

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	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:

1 2 3 4 5 6