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

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.