Модельдер

1. Логикалық модель түсінігі
2. Реляциондық алгебра
3. Регрессиондық анализ
4. Пайдаланылған әдебиеттер

Модель (фр. modele, лат. modulus – өлшем)[1] – белгілі бір зерттелетін нысанның ой түсінігі арқылы немесе материалдық түрде жасалған шартты үлгісі (бейнесі, сұлбасы, сипаттамасы, т.б.). Модель мен түп нұсқаны бір-бірінен абсолютті түрде айыруға болмайды. Қарастырылып отырған құбылыс немесе процесс абстрактылық нысандар мен математикалық заңдылықтар түрінде берілетін модель математикалық модель деп аталады. Модельдің ең қарапайым түрі нысандарды көрнекі етіп сурет, кескін, сызба формасында графиктік түрде көрсету. Модельдің екінші түріне – нысандардың, процестер мен құбылыстардың ауызша (қандай да бір тілдің көмегімен) суреттелуі, сипатталуы жатады. Үшінші түрі –ақпараттық-логикалық модель, ауызша сипатталған нысанды кескіндеп көрсету (формалау). Төртінші түрі – динамиканың ішкі заңдарын, өзара әсерін, қасиеттерін көрсететін физикалық нысандардың, құбылыстар мен процестердің математикалық түрде сипатталуы. Мысалы, белгілі бір физикалық процестің уақыт ішінде өтуін баяндайтын дифференциялдық теңдеулер жүйесі осы процестің моделі деп аталады. Модель ұғымы логика, математика, физика, химия, кибернетика, лингвистика, т.б. ғылым салаларында қолданылады. Ғылымда модель ұғымы әдетте модель жасау әдісін қолдануға байланысты аталады. Алгебра мен математика логиканың тоғысқан жерінде арнаулы пән – модельдер теориясы қалыптасты.
Логикалық модельдеу. Жүйелерді құрудың алдында айтылған үрдісі өте қиынға түскені ғажап емес. Осыған орай белгілі бір қадамдар жасау қажет болды. Сонымен көптеген компаниялар әр түрлі бағытта осы проблдеманы шешуде жұмыс жасады. Мысалы, 60 жылдардыңсоңы мен 70 жылдардың басында функционалдық верификация үрдісін жасау үшін логикалық модельдеу түріндегі элементар жүйелер, арнайы программалар пайда болды.

1. Палташев Т.Т. Введение в проблему разработки и производства СБИС//Статья 2009 ж.
2. Палташев Т.Т., Матвеев М. Иерархия памяти в современных макропроцессорах. 2010 г. С. 36-52.
3. Максфилд К. Проектирование на ПЛИС. Курс молодого бойца. – М. Издательский дом «Додека-XXI», 2007. – 408 с.

Пән: Математика, Геометрия
Жұмыс түрі: Реферат
Тегін: Антиплагиат
Көлемі: 6 бет
Таңдаулыға:

Қазақстан Республикасы Білім және ғылым министрлігі
Семей қаласы Шәкәрім атындағы мемлекеттІк университеті

Автомптика және электротехника кафедрасы

СӨЖ
Тақырыбы: Логикалық модельдер. Реляциондық алгебра. Регрессиондық анализ. Алгебралық модельдер. Комбинаторлық бағдарламау

Орындаған: Габбаров А.Н Тобы: ВТ-305
Тексерген: Кожахметова Д.О

Семей 2015
Жоспар:
1. Логикалық модель түсінігі
2. Реляциондық алгебра
3. Регрессиондық анализ
4. Пайдаланылған әдебиеттер

Логикалық модель түсінігі
Модель (фр. modele, лат. modulus - өлшем)[1] - белгілі бір зерттелетін нысанның ой түсінігі арқылы немесе материалдық түрде жасалған шартты үлгісі (бейнесі, сұлбасы, сипаттамасы, т.б.). Модель мен түп нұсқаны бір-бірінен абсолютті түрде айыруға болмайды. Қарастырылып отырған құбылыс немесе процесс абстрактылық нысандар мен математикалық заңдылықтар түрінде берілетін модель математикалық модель деп аталады. Модельдің ең қарапайым түрі нысандарды көрнекі етіп сурет, кескін, сызба формасында графиктік түрде көрсету. Модельдің екінші түріне - нысандардың, процестер мен құбылыстардың ауызша (қандай да бір тілдің көмегімен) суреттелуі, сипатталуы жатады. Үшінші түрі - ақпараттық-логикалық модель, ауызша сипатталған нысанды кескіндеп көрсету (формалау). Төртінші түрі - динамиканың ішкі заңдарын, өзара әсерін, қасиеттерін көрсететін физикалық нысандардың, құбылыстар мен процестердің математикалық түрде сипатталуы. Мысалы, белгілі бір физикалық процестің уақыт ішінде өтуін баяндайтын дифференциялдық теңдеулер жүйесі осы процестің моделі деп аталады. Модель ұғымы логика, математика, физика, химия, кибернетика, лингвистика, т.б. ғылым салаларында қолданылады. Ғылымда модель ұғымы әдетте модель жасау әдісін қолдануға байланысты аталады. Алгебра мен математика логиканың тоғысқан жерінде арнаулы пән - модельдер теориясы қалыптасты.
Логикалық модельдеу. Жүйелерді құрудың алдында айтылған үрдісі өте қиынға түскені ғажап емес. Осыған орай белгілі бір қадамдар жасау қажет болды. Сонымен көптеген компаниялар әр түрлі бағытта осы проблдеманы шешуде жұмыс жасады. Мысалы, 60 жылдардыңсоңы мен 70 жылдардың басында функционалдық верификация үрдісін жасау үшін логикалық модельдеу түріндегі элементар жүйелер, арнайы программалар пайда болды.

Бұл схема логикалық вентильдер негізіндегі құрылғы. Логикалық вентильдер негізіндегі құрылғы деп логикалық вентильдер мен функциялар және олардың арасындағы байланыстарды қамтитын жиынтық схеманы түсінеді.
Логикалық модельдеуді орындау үшін, ең бірінші, инженерлерге сызбаның вентильдер қосылыстарының кестесі деп аталатын (gate-level netlist) мәтіндік сипатын жасау керек болды. Қазіргі дербес компьютерлердің шығуынан бұл мәтіндік сипат белгілі бір файлға жазылатын болды
Логикалық деңгей - бұл мәліметтерге деген абстрактылы көзқарас, мұнда мәліметтер нақты өмірде қалай көрінсе солай көрінеді. Логикалық деңгейде көрсетілген моделдер объектілері мәндер мен атрибуттар деп аталады. Мәліметтердің логикалық моделі басқа логикалық моделдің негізінде жасалуы мүмкін, мысалы, процестер моделдерінің негізінде. Мәліметтердің логикалық моделі әмбебап болып табылады және нақты жүзеге асып тұрған деректер қорын басқару жүйесімен (ДҚБЖ) байланыспайды. Мәліметтердің логикалық моделі оны тіркеуге жататын фактілер мен объектілерді сипаттайды. Мәндер арасында байланыс орнатылады, атрибуттар анықталады және мәліметтерді қалпына келтіру жүргізіледі.
Логикалық модель - ER-диаграмма негізінде реляциялық жүйелердің мүмкіндігі ескерілген мәліметтердің логикалық моделі, мәліметтер қоры кестелері арасындағы байланыс түрлерін анықтау.ER-диаграмманы тұрғызу үшін заттық аумақтың объектілерін, атрибуттық құрамын анықтау керек. Ғылыми - зерттеу бөлімінің деректер қорының логикалық моделі ERwin-да ортасында жасалып араларына байланыстар жүргізілді.
Кез келген деректер қорын құру үшін, құрушысы бірнеше модель жасайды. Бірінші модель - инфологиялық мәліметтер моделі. Бұл кезеңде деректер қорын құрушы пәндік аймақ туралы мәліметтер жинақтайды және сол жинақталған мәліметтерді табиғи тіл арқылы, кестелер арқылы, математикалық формулалар арқылы графикалар арқылы сипаттайды. Бұл кезде ДҚ құрушы ешқандай МҚБЖ қолданбайды. Екінші модель - мәліметтердің даталогиялық модулі - қандайда бір МҚБЖ тілінде ДҚ сипаттау. Үшінші модель - мәліметтердің физикалық моделі сипаттайды. Инфологиялық моделінің мақсаты жиналған модель ақпараттық жүйелік оны ДҚ қалай сақтайтындығын бейнелеу. Инфологиялық моделін иерарахиялық ER- диаграммалары немесе (ақпараттық модель) деп те атайды. Деректердің реляциялық моделдерінің графикалық бейнесінің жалпыға танылған түрі ER-диаграмма болып табылады. Мұндай диаграммада мән (кестелер) өзара ... жалғасы

Сіз бұл жұмысты біздің қосымшамыз арқылы толығымен тегін көре аласыз.