Zbekiston respublikasi axborot texnologiyalari

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.
  

Suzuvchi nuqtali ma'lumotlar turlari uchun ikki o'lchovli qidirish jadvallarini lineerlashtirish

Simulink Dizayn Verifier dasturiy suzuvchi-nuqta ma'lumotlar turlari uchun nochiziqli arifmetik qo'llab-quvvatlamaydi. Agar sizning modelingizda 2 o‘lchamli qidiruv jadvali bloklari yoki n = 2 bo‘lgan nD qidiruv jadvali bloklari mavjud bo‘lsa, unda quyidagi barcha xarakteristikalar mavjud bo‘lsa, dasturiy ta’minot har bir interpolyatsiya oralig‘iga tekisliklarni o‘rnatish orqali chiziqli interpolyatsiya bilan chiziqli bo‘lmagan ikki o‘lchovli interpolyatsiyaga yaqinlashadi.

Bloklash	Xususiyatlari
nD Qidiruv jadvali bloki, n = 2:	Interpolatsiya usuli parametri Linear. Ekstrapolyatsiya usuli parametri Clipyoki Linear. Kirish va chiqish signallari suzuvchi nuqtali ma'lumotlar turiga ega.

Yondashish bir va Integer uchun ikki o'lchovli qidirish jadvallar va Fixed-Point Data turlari
Agar sizning modelingizda quyidagi xususiyatlarga ega qidirish jadvallari mavjud bo'lsa, Simulink Design Verifier avtomatik ravishda dastlabki qidirish jadvalingizni har bir tegishli o'lchamda teng bo'lgan to'xtash nuqtalaridan tashkil topgan yangi qidirish jadvaliga aylantiradi.

Bloklash	Xususiyatlari
nD Qidiruv jadvali bloki, n = 1 yoki n = 2:	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 .

4. Simulink paketi asosida murakkab tizimlarni modellashtirish va boshqarish.

• 
  Simulink modellashtirishning eng ko'p vaqt talab qiladigan bosqichini avtomatlashtiradi: u berilgan funktsional diagrammani (modelni) tavsiflovchi algebraik va differentsial tenglamalarning murakkab tizimlarini tuzadi va hal qiladi, foydalanuvchi tomonidan yaratilgan virtual qurilmaning xatti-harakatlarini qulay va vizual nazorat qilishni ta'minlaydi - bu tahlil turini aniqlashtirish (agar kerak bo'lsa) va Simulinkni tizim yoki qurilmaning yaratilgan modelining simulyatsiya rejimida ishga tushirish uchun etarli.
  
• 
  Simulink paketining qiymati o'rganish va o'zgartirish uchun ochiq bo'lgan komponentlarning (bloklarning) keng kutubxonasida yotadi. U deyarli har qanday vaqtga bog'liq bo'lgan signal manbalarini, masshtablash, uzatish xarakteristikasining turli shakllariga ega chiziqli va chiziqli bo'lmagan konvertorlarni, kvantizatorni, integrallashtiruvchi va differentsial bloklarni va boshqalarni o'z ichiga oladi. Bundan tashqari, Simulink to'plami alohida ixtisoslashtirilgan kutubxonalarni o'z ichiga oladi, ulardan eng foydalisi: diskret xabarlarni uzatish tizimlarini simulyatsiya qilish paketi (Communications Blockset) va raqamli signallarni qayta ishlash tizimlarini simulyatsiya qilish uchun paket (DSP Blockset).
  

• 
  Tutsim va LabVIEW for Industrial Automation dasturlari kabi dinamik tizimlarni modellashtirish dasturlari uzoq vaqtdan beri ma'lum. Biroq, bunday vositalardan samarali foydalanish uchun yuqori tezlikda hal qiluvchilar talab qilinadi. MATLAB tizimining Simulink paketi bilan integratsiyalashuvi murakkab tizim va qurilmalarni dinamik va vaziyatli modellashtirish masalalarini yechishda eng zamonaviy matematik usullardan foydalanish uchun yangi imkoniyatlar ochadi.
  

• 
  Simulink grafik animatsiya vositalari simulyatsiya natijalarining vizual tasviri bilan virtual fizika laboratoriyalarini qurishga imkon beradi. Simulinkning imkoniyatlari fizika, elektrotexnika va radiotexnika, biologiya va fan va texnikaning boshqa sohalarida murakkab dinamik tizimlarni matematik modellashtirish muammolarini qamrab oladi. Bu ushbu paketning universitetlarda ham, ilmiy laboratoriyalarda ham mashhurligini tushuntiradi.
  

• 
  Simulink paketining muhim afzalligi - ixtiyoriy matematik ifodalarni bloklarga o'rnatish qobiliyatidir, bu Simulink paketi misollaridan foydalangan holda yoki oddiygina foydalanuvchi tomonidan modellashtirilgan tizimlar va qurilmalarning ishlashini tavsiflovchi yangi ifodalarni ko'rsatish orqali tipik muammolarni hal qilish imkonini beradi. Paketning muhim xususiyati tizim funktsiyalarini (S-funksiyalari) aniqlash va ularni Simulink kutubxonalariga kiritish qobiliyatidir. Shuni ham ta'kidlash kerakki, real vaqt rejimida qurilmalar va tizimlarni simulyatsiya qilish mumkin.
  

• 
  Dasturiy vosita sifatida Simulink odatiy vizual yo'naltirilgan dasturlash tilidir. Ishning barcha bosqichlarida, ayniqsa tizim modellarini tayyorlashda foydalanuvchi odatiy dasturlash bilan deyarli shug'ullanmaydi. Kodlardagi dastur komponentlarning tanlangan bloklarini, ularning ulanishlarini kiritish va komponentlar parametrlarini o'rnatish jarayonida avtomatik ravishda yaratiladi.
  
• 
  Simulinkning muhim afzalligi uning nafaqat MATLAB tizimi bilan, balki bir qator boshqa kengaytmalar paketlari bilan ham integratsiyalashuvidir, bu Simulink-dan deyarli har qanday simulyatsiya va hodisalarni modellashtirish masalalarini hal qilishda cheksiz imkoniyatlarni taqdim etadi.