Дріс. АЖЖ-ды математикалы амтамасыз ету
Математикалы амтамасыз етуге (М) жобаланушы объектілерді матматикалы моделі, автоматтандырылан жобалау кезінде пайдаланылатын жобалау процедураларын орындау дістері мен алгоритмі біріктіріледі.
М компоненттері жобалауды р иерархиялы дегейіне ана тн базалы математикалы аппаратпен аныталады.
Микродегейде типтік математикалы модельдер жер жадайына байланысты жеке ндіргіштермен дифференциалды тедеулермен крсетілген. Кеістікті дискеритазиялаумен крсетілген рсат беру макродегей модельдеріне туге ммкіндік береді. Кейде жинаталан деп аталатын макродегей модельдері алгебралы жне кдімгі дифференциалды тедеулер болып табылады. Себебі бл жерде згермелі туелсіз болып тек уаыт ана алады. Жекелеген компоненттерді (детальдарды) сипаттауды арапайымдандыру дерістер модельдерін компоненттер саны бірнеше мыа жететін ондырылардан, приборлардан, механикалы тйіндардан зерттеуге ммкіндік береді.
Зерттеліп отыран жйедегі компоненттер саны кейбір тменгі дегейден асан жадайда,макродегейдегі жйе моделіні крделілігі айтадан лкен болып шыа келеді. Сондытан ажетті рсат беруді ескере отырып, функциональды-логикалы дегейге теді. Бл дегейде сас (здіксіз) дерістерді зерттеу шін беруші ызмет аппаратын немесе зерттеу объектісі дискретті деріс, яни жадайды дискретті кптігімен болатын деріс болып табылса, математикалылогика жне соы автомат аппараты пайдаланылады.
АЖЖ-даы математикалы модельдер мен санды дістерге ойылатын талаптар. М-а ойылатын негізгі талаптар адекваттылы, длдік, немділік.
Модель объектіні кейбір асиеттерін жаындатып ана бейнелейді. Егер объектіні тапсырылан асиетін ыайлы длдікпен бейнелесе, онда адекватты орын алады. Длдік деп объекті мен модельді бір атаулы асиеттерін баалауды сйкестік дрежесі тсіндіріледі.
немділік (есептеу немділігі) модельді іске асыруа ажет болатын ресурстар шыынымен аныталады. АЖЖ-да математикалы модель олданылатындытан арыарай гіме сол математикалы модельдерді сипаттамасы туралы болады жне немділік машина уаыты мен жадысыны шыындарымен сипатталады.
Адекваттылы крсетілетін асиеттер тізімімен жне облыстарымен бааланады. Адекваттылы облысы- оны шегінде модель ателіктер рсат етілген шеберде алатын параметрлер кеістігіндегі облыс. Мысалы, деталь бетіні линеаризленген моделіні адекватты облысы тесіздік жйесімен аныталады.
Жобалау маршрутында модельдерді алыптастыру процедурасыны орны. Талдау кезіндегі есептеу дерісі модельді алыптастыру жне оны зерттеу кезедерінен трады. з кезегінде модельді алыптастыруа екі процедура енеді: біріншіден, жекелеген компоненттерді моделін даярлау, екіншіден, компонент моделінен жйе моделін алыптастыру.
Осы процедураларды біріншісі наты объектілерді жобалау маршрутынан тыс типтік компоненттерге атысты орындалады. детте, компонент моделін, модельдер мен нысандарды АЖЖ-а сынанда ойылатын талаптарды білетін, олданбалы облыстардаы мамандар даярлайды. АЖЖ-даы модельдерді даярлаушылара кмек ретінде модельдерді экспериментальды деуге арналан талдау программалары тріндегі дістеме мен кмекші ралдар беріледі. Жасалан модельдер талдауды олданбалы программаларыны модельдеріні кітапханасына енгізіледі.
р жаа объектіні жобалауды маршрутында екінші процедура (4-сурет) – компоненттерді кітапханалы моделін пайдаланатын жйе модельдері алыптастырылады. детте бл процедура талдауды алдын-ала жасалан программаларына енггізілген алгоритм бойынша автоматты трде орындалады. Мндай программаларды мысалдары трлі осымшаларда, е алдымен жалпы машина жасау жне радиотехника салаларында бар.
4-сурет. Жобалау маршруттарында модельдерді алыптастыру процедураларыны орны
Макродегейдегі талдау процедураларындаы математикалы модельдер
Модельдерді бастапы тедеулері. Макродегейдегі объектілердегі дерістерді бастапы математикалы сипаттамасы кдімгі дифференциалды жне алгебралы тедеулерді жйелерімен берілген. Практикалы тапсырмалардаы оларды тртіптеріні типтік мні кезінде осындай жйелерді талдаушылы шешімдерін алу ммкін емес, сондытан АЖЖ-да кбіне алгоритмикалы модельдер пайдаланылады.
Макродегейде объектілерді математикалы моделін алыптастыруда бастапы болып компонентті жне топологиялы тедеулер табылады.
Компонентті тедеулер деп элементтерді (компоненттерді) асиетін сипаттайтын тедеулер аталады. Басаша айтанда, бл – элементтерді математикалы модельдеріні (ЭММ) тедеулері.
Топологиялы тедеулер модельденуші жйе рамындаы зара байланысты сипаттайды.
Наты физикалы жйені компонентті жне топологиялы тедеулеріні жиынтыы жйені бастапы математикалы моделін (ЖММ) крсетеді.
Математикалы модельдерге ойылатын талаптар:
· мбебапты;
· адекваттылы;
· длдік;
· немділік.
ММ мбебапты дегейі наты объекті асиеттеріні модельде толы крінуін сипаттайды.
ММ длдігі наты объекті параметрлеріні мні мен ММ баалауы кмегімен есептелген сол параметрлер мніні сйкестік дрежесімен бааланады.
ММ адекваттыы-объектіні асиетін тапсырылан ателіктен жоары бейнелемеу абілеті. ММ адекваттыы,детте сырты параметрлерді шектеулі облысында – адекватты облысында (АО) ана орын алады.
Модельді немділігі есептеу ресурстарыны(уаыты мен жадысы),оны іске асыруа жмсаан шыындарымен сипатталады.