Модельдер


Қазақстан Республикасы Білім және ғылым министрлігі
Семей қаласы Шәкәрім атындағы мемлекеттІк университеті
Автомптика және электротехника кафедрасы
СӨЖ
Тақырыбы: Логикалық модельдер. Реляциондық алгебра. Регрессиондық анализ. Алгебралық модельдер. Комбинаторлық бағдарламау
Орындаған: Габбаров А. Н Тобы: ВТ-305
Тексерген: Кожахметова Д. О
Семей 2015
Жоспар:
- Логикалық модель түсінігі
- Реляциондық алгебра
- Регрессиондық анализ
- Пайдаланылған әдебиеттер
Логикалық модель түсінігі
Модель (фр. modele , лат. modulus - өлшем) [1] - белгілі бір зерттелетін нысанның ой түсінігі арқылы немесе материалдық түрде жасалған шартты үлгісі (бейнесі, сұлбасы, сипаттамасы, т. б. ) . Модель мен түп нұсқаны бір-бірінен абсолютті түрде айыруға болмайды. Қарастырылып отырған құбылыс немесе процесс абстрактылық нысандар мен математикалық заңдылықтар түрінде берілетін модель математикалық модель деп аталады. Модельдің ең қарапайым түрі нысандарды көрнекі етіп сурет, кескін, сызба формасында графиктік түрде көрсету. Модельдің екінші түріне - нысандардың, процестер мен құбылыстардың ауызша (қандай да бір тілдің көмегімен) суреттелуі, сипатталуы жатады. Үшінші түрі -ақпараттық-логикалық модель, ауызша сипатталған нысанды кескіндеп көрсету (формалау) . Төртінші түрі - динамиканың ішкі заңдарын, өзара әсерін, қасиеттерін көрсететін физикалық нысандардың, құбылыстар мен процестердің математикалық түрде сипатталуы. Мысалы, белгілі бір физикалық процестің уақыт ішінде өтуін баяндайтын дифференциялдық теңдеулер жүйесі осы процестің моделі деп аталады. Модель ұғымы логика, математика, физика, химия, кибернетика, лингвистика, т. б. ғылым салаларында қолданылады. Ғылымда модель ұғымы әдетте модель жасау әдісін қолдануға байланысты аталады. Алгебра мен математика логиканың тоғысқан жерінде арнаулы пән - модельдер теориясы қалыптасты.
Логикалық модельдеу. Жүйелерді құрудың алдында айтылған үрдісі өте қиынға түскені ғажап емес. Осыған орай белгілі бір қадамдар жасау қажет болды. Сонымен көптеген компаниялар әр түрлі бағытта осы проблдеманы шешуде жұмыс жасады. Мысалы, 60 жылдардыңсоңы мен 70 жылдардың басында функционалдық верификация үрдісін жасау үшін логикалық модельдеу түріндегі элементар жүйелер, арнайы программалар пайда болды.
Бұл схема логикалық вентильдер негізіндегі құрылғы. Логикалық вентильдер негізіндегі құрылғы деп логикалық вентильдер мен функциялар және олардың арасындағы байланыстарды қамтитын жиынтық схеманы түсінеді.
Логикалық модельдеуді орындау үшін, ең бірінші, инженерлерге сызбаның вентильдер қосылыстарының кестесі деп аталатын (gate-level netlist) мәтіндік сипатын жасау керек болды. Қазіргі дербес компьютерлердің шығуынан бұл мәтіндік сипат белгілі бір файлға жазылатын болды
Логикалық деңгей - бұл мәліметтерге деген абстрактылы көзқарас, мұнда мәліметтер нақты өмірде қалай көрінсе солай көрінеді. Логикалық деңгейде көрсетілген моделдер объектілері мәндер мен атрибуттар деп аталады. Мәліметтердің логикалық моделі басқа логикалық моделдің негізінде жасалуы мүмкін, мысалы, процестер моделдерінің негізінде. Мәліметтердің логикалық моделі әмбебап болып табылады және нақты жүзеге асып тұрған деректер қорын басқару жүйесімен (ДҚБЖ) байланыспайды. Мәліметтердің логикалық моделі оны тіркеуге жататын фактілер мен объектілерді сипаттайды. Мәндер арасында байланыс орнатылады, атрибуттар анықталады және мәліметтерді қалпына келтіру жүргізіледі.
Логикалық модель - ER-диаграмма негізінде реляциялық жүйелердің мүмкіндігі ескерілген мәліметтердің логикалық моделі, мәліметтер қоры кестелері арасындағы байланыс түрлерін анықтау. ER-диаграмманы тұрғызу үшін заттық аумақтың объектілерін, атрибуттық құрамын анықтау керек. Ғылыми-зерттеу бөлімінің деректер қорының логикалық моделі ERwin-да ортасында жасалып араларына байланыстар жүргізілді.
Кез келген деректер қорын құру үшін, құрушысы бірнеше модель жасайды. Бірінші модель - инфологиялық мәліметтер моделі. Бұл кезеңде деректер қорын құрушы пәндік аймақ туралы мәліметтер жинақтайды және сол жинақталған мәліметтерді табиғи тіл арқылы, кестелер арқылы, математикалық формулалар арқылы графикалар арқылы сипаттайды. Бұл кезде ДҚ құрушы ешқандай МҚБЖ қолданбайды. Екінші модель - мәліметтердің даталогиялық модулі - қандайда бір МҚБЖ тілінде ДҚ сипаттау. Үшінші модель - мәліметтердің физикалық моделі сипаттайды. Инфологиялық моделінің мақсаты жиналған модель ақпараттық жүйелік оны ДҚ қалай сақтайтындығын бейнелеу. Инфологиялық моделін иерарахиялық ER- диаграммалары немесе (ақпараттық модель) деп те атайды. Деректердің реляциялық моделдерінің графикалық бейнесінің жалпыға танылған түрі ER-диаграмма болып табылады. Мұндай диаграммада мән (кестелер) өзара сызықтармен (байланыспен) байланысқан, тікбұрыш түрінде бейнеленеді. Мұндай графикалық көрсетілу деректер қорының құрылымын мәтіндік сипаттаумен салыстырғанда, түсініп қабылдауды жеңілдетеді.
Реляциондық алгебра
Реляциялық алгебра барлық әрекеттердің нәтижелерінің қатынастары болып табылады. Реляциялық алгебра тілі процедуралық болып табылады, ал реляциялық есептердің негізі матеметиклық логикалық бөлігі болып табылады. Реляциялық алгебрада процедуралық емес тіл болып табылады. Реляциялық алгебрада процедуралық емес тіл болып табылады
Бiрдей өлшемдi R1 және R2 сәйкес қатынастардың бiрiгуi R қатынасы деп аталады. Алғашқы қатынастың барлық элементтерiнен құрылады. (R=R1UR2) .
Бiрдей өлшемдi R1 және R2 сәйкес қатынастардың айырмасы R қатынасы деп аталады. R1-ге қатысты және R2-ге қатысты емес көптеген кортеждерден тұратын дене. R2(R=R1-R2) .
Бiрдей өлшемдi R1 және R2 екi сәйкес қатынастардың қиылысы R қатынасын тудырады. R1 және R2 қатынастарын да жататын кортеждерден тұратын дене. R=R1(R1-R2) .
k1 дәрежелi R1 қатынасы және k2 дәрежелi R2 қатынасының көбейтiндiсi, бiрдей есiмдi атрибуттары жоқ, алғашқы k1 кортеждер элементi R1 қатынасына, соңғы k2 элементi R2 қатынасына тиiстi. (R=R1*R2)
Реляциондық алгебраның арнайы операциялары.
f формуласы бойынша R қатынасының таңдауы дәл сондай атауы мен денесi бар жаңа қатынасты көрсетедi. Формуланы жазу үшiн атрибуттар атауы, константалар, логикалық операциялар (AND-және, OR-немесе, NOT-емес, WHERE-әзiрше), салыстыру операциялары және жақшалар қолданылады.
R қатынасының X, Y, …, Z(A[X, Y, …, Z] ) атрибуттарына проекциясы [X, Y, …, Z] көптiгi R қатынасының атрибуттар атауының толық тiзiмiнiң көптiк асты болып табылады. Проекция операциясының мәнi R қатынасынан белгiленген бағаналар таңдалып, белгiленген тәртiппен iрiктеледi. (R=Пi 1 , i 2 , …i r (R), мұнда R қатынасының бағаналар номiрi) .
R1 қатынасының A және B атрибуттары R2 қатынасының B атрибуттарына бөлiндiсi, A және B жай немесе күрделi атрибуттар, B атрибуты - бiр доменде анықталатын ортақ атрибут, R қатынасы A атауы және r кортежiнен тұратын қатынас. R=R1[B:B] R2, R қатынасының сызбасы R(A) болады.
C f (R1, R2) қосуы R1 және R2 қатынасының формула бойынша R қатынасын көрсетедi. Мұны R1 және R2 көбейту арқылы алуға болады. Формуланы жазу әдiсi сұрыптау операциясы сияқты. Егер f теңдiктiң арифметикалық операциясы болса, онда бұл операция экви қосу деп аталады.
Регрессиондық анализ
Түзетілген R2 -нің мәнділігін тексеру - бұл сонымен қатар тәуелді Y айнымалысы мен кез-келген Х1 тәуелсіз айнымалысының арасындағы байланыстың мәнділігін тексеру болып табылады. Расында, егер регрессионды модельде өзара байланыстың қалыптасуын түсіндірудің жоғары дәрежесі болса, тәуелді айнымалылардың өзгеруі тәуелсіз айнымалылардың өзгеруінің әсерінен болады. Сондықтан регрессиямен түсіндірілетін ауытқу квадраттарының сомасы (РКС) сол ауытқу квадраттарының сомасының (АКС) қалдық сомасына қатысты көбірек болады. Егер де модель аз мөлшерде түсініктеме берсе, тәуелді айнымалының өзгеруі қателік мәнінің өзгеруінен болады, және де АКС РКС-ке қатысты көбірек болады. Тексеру критерийлері есептеледі: R^2/((1-R^2) ) ((n-k) ) /(k-1) ∼F_(k-1, n-k ) (6. 44) Осылайша, тексерудің бұл критерийіде алымында k-1, бөлімінде n-k тәуелсіздік дәрежелері бар f-үлестірімі болады. Сандық мәні келесідей: F=0, 52/(1-0, 52) ∙[((51-3) ) /((3-1) ) ] =1, 0833∙24 =26 Бұл мақсат үшін Чоу тестін қолдануымызға болады: Чоу тесті үш этапта жүргізіледі: Мәліметтердің барлық қатары үшін регрессия теңдеуін есептейміз және ауытқулар квадраттарының қалдық сомасын (АКС) анықтаймыз. Оны АКС1 деп белгілейміз. Регрессионды модельді әртүрлі периодтар үшін жеке есептейміз және бұл периодтардағы өзіндік АКС - ын анықтаймыз.
... жалғасы- Іс жүргізу
- Автоматтандыру, Техника
- Алғашқы әскери дайындық
- Астрономия
- Ауыл шаруашылығы
- Банк ісі
- Бизнесті бағалау
- Биология
- Бухгалтерлік іс
- Валеология
- Ветеринария
- География
- Геология, Геофизика, Геодезия
- Дін
- Ет, сүт, шарап өнімдері
- Жалпы тарих
- Жер кадастрі, Жылжымайтын мүлік
- Журналистика
- Информатика
- Кеден ісі
- Маркетинг
- Математика, Геометрия
- Медицина
- Мемлекеттік басқару
- Менеджмент
- Мұнай, Газ
- Мұрағат ісі
- Мәдениеттану
- ОБЖ (Основы безопасности жизнедеятельности)
- Педагогика
- Полиграфия
- Психология
- Салық
- Саясаттану
- Сақтандыру
- Сертификаттау, стандарттау
- Социология, Демография
- Спорт
- Статистика
- Тілтану, Филология
- Тарихи тұлғалар
- Тау-кен ісі
- Транспорт
- Туризм
- Физика
- Философия
- Халықаралық қатынастар
- Химия
- Экология, Қоршаған ортаны қорғау
- Экономика
- Экономикалық география
- Электротехника
- Қазақстан тарихы
- Қаржы
- Құрылыс
- Құқық, Криминалистика
- Әдебиет
- Өнер, музыка
- Өнеркәсіп, Өндіріс
Қазақ тілінде жазылған рефераттар, курстық жұмыстар, дипломдық жұмыстар бойынша біздің қор #1 болып табылады.

Ақпарат
Қосымша
Email: info@stud.kz