Негізгі пішіннің жобасы мен модулінің бағдарламалық коды


• Логикалық модель түсінігі
• Реляциондық алгебра
• Регрессиондық анализ
Логикалық модельдеу. Жүйелерді құрудың алдында айтылған үрдісі өте қиынға түскені ғажап емес. Осыған орай белгілі бір қадамдар жасау қажет болды. Сонымен көптеген компаниялар әр түрлі бағытта осы проблдеманы шешуде жұмыс жасады. Мысалы, 60 жылдардыңсоңы мен 70 жылдардың басында функционалдық верификация үрдісін жасау үшін логикалық модельдеу түріндегі элементар жүйелер, арнайы программалар пайда болды.
.
Логикалық модельдеуді орындау үшін, ең бірінші, инженерлерге сызбаның вентильдер қосылыстарының кестесі деп аталатын (gate-level netlist) мәтіндік сипатын жасау керек болды. Қазіргі дербес компьютерлердің шығуынан бұл мәтіндік сипат белгілі бір файлға жазылатын болды
Логикалық деңгей – бұл мәліметтерге деген абстрактылы көзқарас, мұнда мәліметтер нақты өмірде қалай көрінсе солай көрінеді. Логикалық деңгейде көрсетілген моделдер объектілері мәндер мен атрибуттар деп аталады. Мәліметтердің логикалық моделі басқа логикалық моделдің негізінде жасалуы мүмкін, мысалы, процестер моделдерінің негізінде. Мәліметтердің логикалық моделі әмбебап болып табылады және нақты жүзеге асып тұрған деректер қорын басқару жүйесімен (ДҚБЖ) байланыспайды. Мәліметтердің логикалық моделі оны тіркеуге жататын фактілер мен объектілерді сипаттайды. Мәндер арасында байланыс орнатылады, атрибуттар анықталады және мәліметтерді қалпына келтіру жүргізіледі.
Логикалық модель – ER-диаграмма негізінде реляциялық жүйелердің мүмкіндігі ескерілген мәліметтердің логикалық моделі, мәліметтер қоры кестелері арасындағы байланыс түрлерін анықтау.ER-диаграмманы тұрғызу үшін заттық аумақтың объектілерін, атрибуттық құрамын анықтау керек. Ғылыми–зерттеу бөлімінің деректер қорының логикалық моделі ERwin-да ортасында жасалып араларына байланыстар жүргізілді.
Біріншіден модельдеу мақсаты тұрғысынан объектіні талдау қажет. Бұл сатыда объектінің модельдеу субъектісіне таныс барлық қасиеттері қарастырылады. Объектінің көптеген қасиеттері мен белгілерінің арасынан модельдеуде бейнелеуге тиісті қасиеттердің нақты болуы мүмкін.
Модельдеу мақсаты анықталған соң, модельдеу мақсаты тұрғысынан модельдеуші объектінің нақты белгілерін айқындау қажет.
1. Палташев Т.Т. Введение в проблему разработки и производства СБИС//Статья 2009 ж.
2. Палташев Т.Т., Матвеев М. Иерархия памяти в современных макропроцессорах. 2010 г. С. 36-52.
3. Максфилд К. Проектирование на ПЛИС. Курс молодого бойца. – М. Издательский дом «Додека-XXI», 2007. – 408 с.

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




ҚАЗАҚСТАН РЕСПУБЛИКАСЫНЫҢ ҒЫЛЫМ ЖӘНЕ БІЛІМ МИНИСТІРЛІГІ
СЕМЕЙ ҚАЛАСЫНЫҢ ШӘКӘРІМ АТЫНДАҒЫ МЕМЛЕКЕТТІК УНИВЕРСИТЕТІ

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

СӨЖ
Тақырыбы: Негізгі пішіннің жобасы мен модулінің бағдарламалық коды

Орындыған:Кусманов И.
Тексерген: Бекешова Г.Б
Топ: ВТ-305

2015-2016 оқу жылы

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

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

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

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

Семей 2015

Жоспар:

* Логикалық модель түсінігі
* Реляциондық алгебра
* Регрессиондық анализ

Пайдаланылған әдебиеттер

Логикалық модель
Логикалық модельдеу. Жүйелерді құрудың алдында айтылған үрдісі өте қиынға түскені ғажап емес. Осыған орай белгілі бір қадамдар жасау қажет болды. Сонымен көптеген компаниялар әр түрлі бағытта осы проблдеманы шешуде жұмыс жасады. Мысалы, 60 жылдардыңсоңы мен 70 жылдардың басында функционалдық верификация үрдісін жасау үшін логикалық модельдеу түріндегі элементар жүйелер, арнайы программалар пайда болды.
.
Логикалық модельдеуді орындау үшін, ең бірінші, инженерлерге сызбаның вентильдер қосылыстарының кестесі деп аталатын (gate-level netlist) мәтіндік сипатын жасау керек болды. Қазіргі дербес компьютерлердің шығуынан бұл мәтіндік сипат белгілі бір файлға жазылатын болды
Логикалық деңгей - бұл мәліметтерге деген абстрактылы көзқарас, мұнда мәліметтер нақты өмірде қалай көрінсе солай көрінеді. Логикалық деңгейде көрсетілген моделдер объектілері мәндер мен атрибуттар деп аталады. Мәліметтердің логикалық моделі басқа логикалық моделдің негізінде жасалуы мүмкін, мысалы, процестер моделдерінің негізінде. Мәліметтердің логикалық моделі әмбебап болып табылады және нақты жүзеге асып тұрған деректер қорын басқару жүйесімен (ДҚБЖ) байланыспайды. Мәліметтердің логикалық моделі оны тіркеуге жататын фактілер мен объектілерді сипаттайды. Мәндер арасында байланыс орнатылады, атрибуттар анықталады және мәліметтерді қалпына келтіру жүргізіледі.
Логикалық модель - ER-диаграмма негізінде реляциялық жүйелердің мүмкіндігі ескерілген мәліметтердің логикалық моделі, мәліметтер қоры кестелері арасындағы байланыс түрлерін анықтау.ER-диаграмманы тұрғызу үшін заттық аумақтың объектілерін, атрибуттық құрамын анықтау керек. Ғылыми - зерттеу бөлімінің деректер қорының логикалық моделі ERwin-да ортасында жасалып араларына байланыстар жүргізілді.
Біріншіден модельдеу мақсаты тұрғысынан объектіні талдау қажет. Бұл сатыда объектінің модельдеу субъектісіне таныс барлық қасиеттері қарастырылады. Объектінің көптеген қасиеттері мен белгілерінің арасынан модельдеуде бейнелеуге тиісті қасиеттердің нақты болуы мүмкін.
Модельдеу мақсаты анықталған соң, модельдеу мақсаты тұрғысынан модельдеуші объектінің нақты белгілерін айқындау қажет.
Бұл белгілердің:
* Объектінің сыртқы түріне;
* Объектінің құрылымына;
* Объектінің күйіне
қатысы болуы мүмкін.
Модельдеу мақсатының түрліше болуына байланысты барлық жағдайлар үшін белгілерді, қасиеттерді, қатынастарды ерекшелейтін бірдей белгіленген тәсіл қазір жоқ.
Нақты белгілердің дұрыс және толық ерекшеленуі құрылған модельдеудің берілген мақсатына сәйкестенеді, яғни оның модельдеу мақсатына адекватылығына тәуелді болады. Модельдің адекваттылығы модельдеу объектісінде нақты ерекшеленген белгілердің қандай да бір формада бейнеленуіне тәуелді болады. Адекваттылық - модельдеудің негізгі түсініктерінің бірі.
Модельдеу объектісінің ерекшеленген белгілерін ұсыну формаларын таңдау - модельдеу практикасының келесі сатысы болып табылады. Модельдерді ұсынуда формалаудың: сөздік сипаттама, сызба, кесте, формула, схема, алгоритм, компьютерлік бағдарлама сияқты түрлерінің қолданылуы мүмкін.
Объектінің ерекшеленген қасиеттері мен белгілерінің бейнелеу формасы таңдалған соң, таңдалған формадағы ерекшеленген қасиеттерге байланысты формалдау жұмысына кірісу қажет.
Формалдау процессі, мысалы математикалық модель бұйымның жиналу сызбасын құруда өзіндік ерекшеліктері мен сатыларына иелік етеді.
Формалдау сатысының нәтижесі ақпараттық модель болады.
Модельдеу процесін аяқтау туралы айтпас бұрын құрылған модельдің модельдеу мақсатына және объектіге адекваттылығын тексеру қажет. Құрылған модельде мақсатқа сәйкес қайшылықтар кездессе, сызбаны түзету, бағдарламаға өзгерістер енгізу, қолданылатын формулаларды нақтылау әрекеттерін орындап, модельдің дәлдігін қайта тексеру қажет.
Алынған модельдің модельдеу объектісінің бейнелену адекваттылығына талдау жасап, модельдеу мақсатына жету - модельдеудің соңғы сатысы. Модельдеу сатыларының арасындағы өзара байланысы 6-суретте көрсетілген.

6
7
8
5
4
3
2
1

6-сурет. Модельдеу сатыларының арасындағы байданысты көрсету схемасы

Қазіргі кезде әрбір жағдайда объектінің қандай белгілі қасиеттерінің нақты қасиет ретінде қарастырылатыны туралы әмбебап анықтамалық ереже жоқ.
Модельдеу шарты мүмкіндік берсе түрлі қасиеттерінің құрамымен бірнеше модельдер құрып, олардың объектіні модельдеу мақсатына адекваттылығын бағылау қажет.
Формалдау - модельдеу объектісінің нақты қасиеттері мен белгілерін таңдалған формаға келтіру.
Ақпараттық модельдерді бейнелеу формасының сөздік сипаттама, кесте, сурет, алгоритм, сызба түрінде болуы мүмкін.

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

Реляциондық алгебра
Реляциялық алгебра барлық әрекеттердің нәтижелерінің қатынастары болып табылады. Реляциялық алгебра тілі процедуралық болып табылады, ал реляциялық есептердің негізі матеметиклық логикалық бөлігі болып табылады. Реляциялық алгебрада процедуралық емес тіл болып табылады. Реляциялық алгебрада процедуралық емес тіл болып табылады
Бiрдей өлшемдi R1 және R2 сәйкес қатынастардың бiрiгуi R қатынасы деп аталады. Алғашқы қатынастың барлық элементтерiнен құрылады. (R=R1UR2).
Бiрдей өлшемдi R1 және ... жалғасы
Ұқсас жұмыстар
Бағдарламалық құралдарды стандарттау мен сертификаттау
Қабылдау оптикалық модулінің қызметі
Аквинат жобасы
Бағдарламалық қамтаманың сапасы
WEB - сайттар түрлері, жобалау кезеңдері. Бағдарламалық жабдықты таңдау
Дайындық тобына арналған бағдарламалық материал
Бағдарламалық қамсыздандыруды орнықтыру
Бағдарламалық оқыту әдісі
Қоғамдағы бағдарламалық қамсыздандыру
Бағдарламалық қамтамасыздандыру беріктігінің есебі
Пәндер

Қазақ тілінде жазылған рефераттар, курстық жұмыстар, дипломдық жұмыстар бойынша біздің қор №1 болып табылады.

Байланыс

Qazaqstan
Phone: 777 614 50 20
WhatsApp: 777 614 50 20
Email: info@stud.kz
Көмек / Помощь
Арайлым
Біз міндетті түрде жауап береміз!
Мы обязательно ответим!
Жіберу / Отправить

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

Email: info@stud.kz

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

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