Модельдер

1. Логикалық модель түсінігі
2. Реляциондық алгебра
3. Регрессиондық анализ
4. Пайдаланылған әдебиеттер
Модель (фр. modele, лат. modulus – өлшем)[1] – белгілі бір зерттелетін нысанның ой түсінігі арқылы немесе материалдық түрде жасалған шартты үлгісі (бейнесі, сұлбасы, сипаттамасы, т.б.). Модель мен түп нұсқаны бір-бірінен абсолютті түрде айыруға болмайды. Қарастырылып отырған құбылыс немесе процесс абстрактылық нысандар мен математикалық заңдылықтар түрінде берілетін модель математикалық модель деп аталады. Модельдің ең қарапайым түрі нысандарды көрнекі етіп сурет, кескін, сызба формасында графиктік түрде көрсету. Модельдің екінші түріне – нысандардың, процестер мен құбылыстардың ауызша (қандай да бір тілдің көмегімен) суреттелуі, сипатталуы жатады. Үшінші түрі –ақпараттық-логикалық модель, ауызша сипатталған нысанды кескіндеп көрсету (формалау). Төртінші түрі – динамиканың ішкі заңдарын, өзара әсерін, қасиеттерін көрсететін физикалық нысандардың, құбылыстар мен процестердің математикалық түрде сипатталуы. Мысалы, белгілі бір физикалық процестің уақыт ішінде өтуін баяндайтын дифференциялдық теңдеулер жүйесі осы процестің моделі деп аталады. Модель ұғымы логика, математика, физика, химия, кибернетика, лингвистика, т.б. ғылым салаларында қолданылады. Ғылымда модель ұғымы әдетте модель жасау әдісін қолдануға байланысты аталады. Алгебра мен математика логиканың тоғысқан жерінде арнаулы пән – модельдер теориясы қалыптасты.
Логикалық модельдеу. Жүйелерді құрудың алдында айтылған үрдісі өте қиынға түскені ғажап емес. Осыған орай белгілі бір қадамдар жасау қажет болды. Сонымен көптеген компаниялар әр түрлі бағытта осы проблдеманы шешуде жұмыс жасады. Мысалы, 60 жылдардыңсоңы мен 70 жылдардың басында функционалдық верификация үрдісін жасау үшін логикалық модельдеу түріндегі элементар жүйелер, арнайы программалар пайда болды.
1. Палташев Т.Т. Введение в проблему разработки и производства СБИС//Статья 2009 ж.
2. Палташев Т.Т., Матвеев М. Иерархия памяти в современных макропроцессорах. 2010 г. С. 36-52.
3. Максфилд К. Проектирование на ПЛИС. Курс молодого бойца. – М. Издательский дом «Додека-XXI», 2007. – 408 с.
        
        Қазақстан Республикасы Білім және ғылым министрлігі
Семей қаласы Шәкәрім атындағы ... ... және ... ... ... ... Реляциондық алгебра. Регрессиондық анализ. Алгебралық модельдер. Комбинаторлық бағдарламау
Орындаған: Габбаров А.Н ... ВТ-305 ... ... Д.О
Семей 2015
Жоспар:
* Логикалық модель түсінігі
* Реляциондық алгебра
* Регрессиондық анализ
* Пайдаланылған әдебиеттер
Логикалық модель түсінігі
Модель (фр. modele, лат. modulus - ... - ... бір ... ... ой ... ... ... материалдық түрде жасалған шартты үлгісі (бейнесі, сұлбасы, сипаттамасы, т.б.). Модель мен түп нұсқаны ... ... ... ... ... Қарастырылып отырған құбылыс немесе процесс абстрактылық нысандар мен математикалық заңдылықтар түрінде берілетін модель ... ... деп ... ... ең ... түрі нысандарды көрнекі етіп сурет, кескін, сызба формасында графиктік түрде көрсету. Модельдің екінші түріне - ... ... мен ... ауызша (қандай да бір тілдің көмегімен) суреттелуі, ... ... ... түрі - ... модель, ауызша сипатталған нысанды кескіндеп көрсету (формалау). ... түрі - ... ішкі ... ... ... қасиеттерін көрсететін физикалық нысандардың, құбылыстар мен процестердің математикалық түрде сипатталуы. Мысалы, белгілі бір ... ... ... ... ... ... ... теңдеулер жүйесі осы процестің моделі деп аталады. Модель ұғымы ... ... ... ... ... лингвистика, т.б. ғылым салаларында қолданылады. Ғылымда модель ұғымы әдетте модель жасау әдісін ... ... ... ... мен ... ... тоғысқан жерінде арнаулы пән - модельдер теориясы қалыптасты.
Логикалық модельдеу. Жүйелерді құрудың алдында айтылған үрдісі өте ... ... ... ... ... орай белгілі бір қадамдар жасау қажет болды. ... ... ... әр ... бағытта осы проблдеманы шешуде жұмыс жасады. Мысалы, 60 ... мен 70 ... ... ... ... ... жасау үшін логикалық модельдеу түріндегі элементар жүйелер, арнайы программалар пайда болды.
Бұл схема логикалық вентильдер негізіндегі құрылғы. ... ... ... ... деп логикалық вентильдер мен функциялар және олардың арасындағы байланыстарды қамтитын жиынтық схеманы түсінеді.
Логикалық модельдеуді ... ... ең ... ... сызбаның вентильдер қосылыстарының кестесі деп аталатын (gate-level netlist) мәтіндік сипатын жасау керек болды. Қазіргі дербес компьютерлердің шығуынан бұл ... ... ... бір файлға жазылатын болды
Логикалық деңгей - бұл мәліметтерге ... ... ... ... ... ... өмірде қалай көрінсе солай көрінеді. Логикалық деңгейде көрсетілген моделдер объектілері мәндер мен атрибуттар деп аталады. Мәліметтердің ... ... ... ... ... ... ... мүмкін, мысалы, процестер моделдерінің негізінде. Мәліметтердің логикалық моделі әмбебап болып ... және ... ... асып ... ... ... ... жүйесімен (ДҚБЖ) байланыспайды. Мәліметтердің логикалық моделі оны тіркеуге жататын фактілер мен ... ... ... арасында байланыс орнатылады, атрибуттар анықталады және мәліметтерді қалпына келтіру жүргізіледі.
Логикалық ... - ... ... реляциялық жүйелердің мүмкіндігі ескерілген мәліметтердің логикалық моделі, мәліметтер қоры кестелері арасындағы байланыс түрлерін анықтау.ER-диаграмманы тұрғызу үшін ... ... ... ... ... ... керек. Ғылыми - зерттеу бөлімінің деректер қорының логикалық моделі ERwin-да ортасында жасалып араларына байланыстар жүргізілді.
Кез ... ... ... құру ... ... бірнеше модель жасайды. Бірінші модель - инфологиялық мәліметтер моделі. Бұл кезеңде деректер қорын құрушы ... ... ... ... ... және сол ... мәліметтерді табиғи тіл арқылы, кестелер арқылы, математикалық формулалар арқылы графикалар арқылы сипаттайды. Бұл ... ДҚ ... ... МҚБЖ ... ... ... - ... даталогиялық модулі - қандайда бір МҚБЖ тілінде ДҚ сипаттау. Үшінші модель - мәліметтердің физикалық моделі сипаттайды. Инфологиялық ... ... ... ... ақпараттық жүйелік оны ДҚ қалай сақтайтындығын бейнелеу. ... ... ... ER- ... немесе (ақпараттық модель) деп те атайды. Деректердің реляциялық моделдерінің графикалық бейнесінің жалпыға танылған түрі ... ... ... ... ... мән ... өзара сызықтармен (байланыспен) байланысқан, тікбұрыш түрінде бейнеленеді. ... ... ... ... қорының құрылымын мәтіндік сипаттаумен салыстырғанда, түсініп қабылдауды жеңілдетеді.
Реляциондық алгебра
Реляциялық алгебра барлық әрекеттердің нәтижелерінің қатынастары болып табылады. Реляциялық алгебра тілі ... ... ... ал ... есептердің негізі матеметиклық логикалық бөлігі болып табылады. Реляциялық алгебрада процедуралық емес тіл ... ... ... алгебрада процедуралық емес тіл болып табылады
Бiрдей өлшемдi R1 және R2 сәйкес қатынастардың бiрiгуi R ... деп ... ... ... ... ... ... (R=R1UR2).
Бiрдей өлшемдi R1 және R2 сәйкес қатынастардың айырмасы R қатынасы деп аталады. R1-ге қатысты және R2-ге қатысты емес көптеген кортеждерден ... ... ... ... ... 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 ... R2 ... ... (R=R1*R2)
Реляциондық алгебраның арнайы операциялары.
f формуласы бойынша R қатынасының таңдауы дәл ... ... мен ... бар жаңа ... көрсетедi. Формуланы жазу үшiн атрибуттар атауы, константалар, логикалық операциялар (AND-және, ... ... ... салыстыру операциялары және жақшалар қолданылады.
R қатынасының X,Y,...,Z(A[X,Y,...,Z]) атрибуттарына проекциясы [X,Y,...,Z] көптiгi R қатынасының атрибуттар атауының толық тiзiмiнiң ... асты ... ... ... ... мәнi R қатынасынан белгiленген бағаналар таңдалып, белгiленген тәртiппен iрiктеледi. (R=Пi1,i2,...ir(R), мұнда R қатынасының бағаналар номiрi).
R1 қатынасының A және B ... R2 ... B ... ... A және B жай ... ... ... B атрибуты - бiр доменде анықталатын ортақ атрибут, R қатынасы A атауы және r ... ... ... ... ... ... R(A) болады.
Cf (R1, R2) қосуы R1 және R2 ... ... ... R ... ... Мұны 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 тәуелсіздік дәрежелері бар ... ... ... мәні ... ... =26 Бұл ... үшін Чоу тестін қолдануымызға болады: Чоу тесті үш этапта жүргізіледі: Мәліметтердің барлық қатары үшін регрессия теңдеуін есептейміз және ауытқулар ... ... ... (АКС) ... Оны АКС1 деп ... ... модельді әртүрлі периодтар үшін жеке есептейміз және бұл периодтардағы өзіндік АКС - ын ... n және m ... екі ... бар деп ... АКС2 және АКС3 ... болады. Чоу критерийін келесідей жолмен есептейік:
((〖СКО〗_(1 )- 〖СКО〗_(2 ) -〖СКО〗_3 )∕κ)/((〖СКО〗_(2 ... , (6.45) ... n және m - ... ... ... ... Чоу ... алымында k тәуелсіздік дәрежесі,бөлімінде m+n-2k тәуелсіздік дәрежесі бар F-үлестірімі болады.
Пайдалнылған ... ... Т.Т. ... в ... ... и ... ... 2009 ж.
* Палташев Т.Т., Матвеев М. Иерархия памяти в современных макропроцессорах. 2010 г. С. ... ... К. ... на ... Курс ... бойца. - М. Издательский дом , 2007. - 408 с.

Пән: Математика, Геометрия
Жұмыс түрі: Реферат
Көлемі: 4 бет
Бұл жұмыстың бағасы: 300 теңге









Ұқсас жұмыстар
Тақырыб Бет саны
Аддитивті және мультипликативті модельдер7 бет
Аударма модельдері20 бет
Банктік ісінің дамуын болжамдаудың түрлері мен модельдері43 бет
Бағаны тұрақтандырудың модельдері6 бет
Гaлaктикaлaр топтaлуының моделдері5 бет
Дамытушы және қалыпқа келтіруші жұмыстардың модельдері5 бет
Дискреттік модельдер. Теоретико-графтық программалау. CASE- технологиясы. Детерминделген модельдер9 бет
Дискреттік модельдер. Теоретико-графтық программалау. Реинжиниринг. Детерминирленген модельдер8 бет
Есептеу модельдері3 бет
Еңбек қолдаудың инновациялық модельдері25 бет


+ тегін презентациялар
Пәндер
Көмек / Помощь
Арайлым
Біз міндетті түрде жауап береміз!
Мы обязательно ответим!
Жіберу / Отправить


Зарабатывайте вместе с нами

Рахмет!
Хабарлама жіберілді. / Сообщение отправлено.

Сіз үшін аптасына 5 күн жұмыс істейміз.
Жұмыс уақыты 09:00 - 18:00

Мы работаем для Вас 5 дней в неделю.
Время работы 09:00 - 18:00

Email: info@stud.kz

Phone: 777 614 50 20
Жабу / Закрыть

Көмек / Помощь