Mavzu: Matlabda interpolyatsiya va aproksimatsiya masalalarini tadqiq etish va yechish

Aproksimatsiya – tahlil qilish taxminlari

Simulink ^® Dizayn tekshirgichga ™ dasturi urinishlar maqsadlarga erishish uchun kirishlar va parametrlarini ishlab chiqarish uchun. Biroq, dasturiy ta'minotni izlash uchun cheksiz ko'p qiymatlar bo'lishi mumkin. Tahlil uchun oqilona chegaralarni yaratish uchun dasturiy ta'minot tahlilni soddalashtirish uchun taxminiy amallarni bajaradi. Dasturiy ta'minot Simulink Design Verifier HTML hisobotining Tahlil ma'lumotlari bo'limida bajarilgan har qanday taxminiy ma'lumotlarni yozib oladi . Ushbu bobning tavsifi uchun Tahlil ma'lumotlari bo'limiga qarang .
Dasturiy ta'minot taxminiy ma'lumotlardan foydalanganda tahlil natijalarini diqqat bilan ko'rib chiqing. Qaysi bloklar yoki quyi tizimlar dasturiy ta'minotning taxminiy ma'lumotlarni bajarishiga sabab bo'lganini aniqlash uchun modelingizni baholang.
Kamdan-kam hollarda, yaqinlashtirish test maqsadlariga erisha olmaydigan yoki dizayn xatosini ko'rsatmaydigan test holatlariga yoki isbotlash maqsadlarini soxtalashtirishga muvaffaq bo'lmaydigan qarama-qarshi misollarga olib kelishi mumkin. Misol uchun, dasturiy ta'minot chegaradan oshib, maqsadga erishishi kerak bo'lgan sinov holati signalini ishlab chiqardi deylik; suzuvchi nuqtali yaxlitlash xatosi bu signalning chegara qiymatiga erishishiga to'sqinlik qilishi mumkin.

Taxminlovchilar turlari

Simulink Dizayn Verifier u modelini tahlil qachon dasturlar Quyidagi taxminan qadriyatlar bajaradi:

• 
  Suzuvchi nuqtani ratsional songa aylantirish
  
• 
  Suzuvchi nuqtali ma'lumotlar turlari uchun ikki o'lchovli qidirish jadvallarini lineerlashtirish
  
• 
  Yondashish bir va Integer uchun ikki o'lchovli qidirish jadvallar va Fixed-Point Data turlari
  
• 
  While Loops
  

Suzuvchi nuqtani ratsional songa aylantirish

Ba'zi hollarda Simulink Design Verifier dasturi suzuvchi nuqtali sonlarning chiziqli arifmetikasini cheksiz aniqlikdagi ratsional sonlar bilan yaqinlashtirish orqali soddalashtiradi. Dasturiy ta'minot ushbu qiymatlar orasidagi mantiqiy munosabatlar maqsadlarga qanday ta'sir qilishini aniqlaydi. Ushbu tahlil dasturiy ta'minotga odatda o'rnatilgan boshqaruv dizaynlarida mavjud bo'lgan nazorat mantiqini qo'llab-quvvatlash imkonini beradi.
Agar sizning modelingiz signallarda, kirish qiymatlarida yoki blok parametrlarida suzuvchi nuqta qiymatlarini o'z ichiga olsa, Simulink Design Verifier tahlil qilishdan oldin ba'zi qiymatlarni oqilona raqamlarga o'zgartiradi. Ushbu yaqinlashuvlar natijasida:

• 
  Yakunlash xatosi hisobga olinmaydi.
  
• 
  O'zgaruvchan nuqtali raqamlarning yuqori va pastki chegaralari hisobga olinmaydi.
  
• 
  Agar sizning modelingiz suzuvchi nuqta qiymatlarini butun son qiymatlariga aylantirsa, butun son ko'rinishi model uchun yaratilgan testlarga ta'sir qilishi mumkin. Ba'zi kamdan-kam hollarda yaratilgan testlar suzuvchi nuqta qiymatlari bilan bog'liq maqsadlarga javob bermasligi mumkin.