Реферат: Програма іспиту з професійно-орієнтованих дисциплін кваліфікації «Бакалавр комп’ютерних наук»

Програма іспиту з професійно-орієнтованих дисциплін
кваліфікації «Бакалавр комп’ютерних наук»


Організація баз даних та знань (В.А. Дьомін)

1. Архітектура баз даних

2. Логічні та фізичні моделі даних

3. Основні поняття і терміни реляційної бази даних

4. Проектування баз даних

5. Реляційна алгебра. Реляційне числення (на кортежах і на доменах).

6. Оператори SQL, їх визначнення

7. Визначення і зміст понять „транзакція”, "журналізація змін в БД "

8. Нормалізація відношень. Визначення нормальних форм.

9. Визначення цілостності БД.

10. Функціональні і багатозначні залежності у відношеннях.

11.Расподілені БД. Однородні, неоднородні, гетерогенні СУБД.

12. Основні принципи і поняття реалізації клиєнт-серверної технології.

Література:

К.Дж.Дейт. Введение в системы баз данных. – Диалектика, 2002.

Т. Конноли. Базы данных: проектирование, реализация - ВЛМ, 2000.

Берко А.Ю. Верес О.М. Організація баз даних: практичний курс. навч. посібник. – Львівська політехніка, 2003.



^ Системи штучного інтелекту (А. І. Парамонов)



Історія розвитку та галузі застосування штучного інтелекту.

Термінологія. Основні підходи до побудови систем штучного інтелекту.

Інтелектуальні агенти Види програмних агентів.

Пошук рішення проблеми у просторі становищ. Критерії оцінки стратегій пошуку.

Парадигма пошуку у просторі становищ. Стратегії сліпого пошуку.

Парадигма пошуку у просторі становищ. Стратегії евристичного пошуку.

Пошук в умовах протидії.

Мінімаксний алгоритм. Алгоритм альфа-бета відсічення.

Логічні агенти Історія розвитку експертних систем.

Поняття експертної системи.

Типи та архітектури експертних систем.

Представлення знань. Семантичні мережі. Пропозиціональні мережі. Схеми.

Продукційні моделі представлення знань. Продукційні правила.

Стратегії виведення у статичних експертних системах.

Логічне виведення у логіці першого порядку. Пряме логічне виведення.

Логічне виведення у логіці першого порядку. Зворотне логічне виведення.

Невизначеність. Аксіоми вірогідності.

Правило Байеса та його використання.

Імовірнісні міркування. Байесовська мережа.

Імовірнісні міркування. Семантика байесовської мережі.

Імовірнісне виведення у байесовських мережах.

Введення до теорії нечітких множин.

Механізми нечіткого виведення.

Гібридні моделі. Нечіткі експертні системи.

Перспективи розвитку штучного інтелекту


Література:

Стюарт Расел, Пітер Норвіг (S.J.Russell, P.Norvig) Штучний інтелект: Сучасний підхід. 2-е видання.: Пер. з англ. / М.: Вид-во «Діалектіка-Вільямс» – 2007 р. – 1408 стор.: мал.

Джордж Ф. Люгер Штучний інтелект: стратегії та методи вирішення складних проблем. 4-е видання / М.: Вид-во «Діалектіка-Вільямс» – 2003 р. – 864 стор.

Нільсон Н. Штучний інтелект. Методи пошуку рішень. / М.: Вид-во «Мир» – 1973 р. – 270 стор.

Джексон П. Введення до експертних систем, 3-е видання. / М.: Вид-во «Діалектіка-Вільямс» – 2001 р. – 624 стор.: мал.

Кофман А. Введення до теорії нечітких множин: пер. з франц. / М.: Радіо та зв'язок – 1982 р. – 432 стор.: мал.

Солсо Р. Когнитивна психологія (Серія «Майстри психології») / Спб.: Вид-во «Пітер» – 2002 р. – 592 стор.: мал.

Каргін А.О. Введення до інтелектуальних машин. Книга 1. Інтелектуальні регулятори /
А.О. Каргін. – Донецьк: Норд-Пресс, ДонНУ, 2010. – 526 стор.



Архітектура комп‘ютерів (В.М. Котенко)


Поняття конфігурації ЕОМ, архітектури ЕОМ.

Поняття архітектури процесора.

Структура 16-бітного процесора Intel 8088. Головні регістри.

Структура 16- бітного процесора Іntel 8088. Регістр прапорів.

Алгоритм роботи процесора Іntel 8088.

Процесор Іntel 8088. Мова Асемблер. Типи даних. Псевдооператори визначення даних.

Процесор Іntel 8088. Організація пам'яті. Суцільна й сегментна моделі. Псевдооператори визначення сегментів та процедур.

Процесор Іntel 8088. Режими адресації до пам'яті.

Система машинних команд процесора Іntel 8088. Типи команд. Команди пересилки даних.

Система машинних команд процесора Іntel 8088. Команди арифметики.

Система машинних команд процесора Іntel 8088. Команди передачі управління.

Система машинних команд процесора Іntel 8088. Логічні команди.

Система машинних команд процесора Іntel 8088. Команди маніпулювання бітами.

Система машинних команд процесора Іntel 8088. Команди обробки рядків.

Система машинних команд процесора Іntel 8088. Команди переривань.

Система машинних команд процесора Intel 8088. Команди управління роботою процесора.

Мова Асемблер процесора Іntel 8088. Макровизначення.

Арифметичний сопроцесор 8087. Типи даних.

Арифметичний сопроцесор 8087. Головні регістри.

Арифметичний сопроцесор 8087. Система команд.


Література:

Абель Питер. Язык АССЕМБЛЕРА для IBM РС и программирование. -М.: Высшая школа.-1992г.

Скэнлон Л. Персональные ЭВМ IBM PC и ХТ. Программирование на языке Ассемблера. -М.: Радио и связь.-1991г.

Джордейн Р. Справочник программиста персональных компьютеров типа IBM PC,XT и AT. -М.: Финансы и статистика. -1992г.



Системне програмування і операційні системи (В.М. Котенко)


Функції, що виконуються операційною системою.

Класифікація ОС за особливостями алгоритмів управління процесором.

Призначення мобільних операційних систем.

Системи пакетної обробки. Критерії ефективності.

Операційні системи, побудовані на базі мікроядерного підходу, і системи з монолітним ядром. Ефективність функціонування.

Концепція множинності прикладних середовищ .

Компоненти мережної операційної системи.

Редиректор. Виконувані функції.

Функції підсистеми керування процесами.

Стани процесу.

Дескриптор процесу.

Черги процесів. Структури для опису черг.

Алгоритми планування процесів, засновані на квантуванні.

Критичні секції. Способи забезпечення взаємного виключення при реалізації критичних секцій.

Алгоритм Дейкстра. Визначення примітивів P і V.

Монітор - засіб синхронізації процесів. Виклик процесами процедур монітора.

Нитки. Загальні ресурси.

Нитки. Власні ресурси.

Функції ОС по керуванню пам'яттю.

Віртуальний адресний простір процесу.

Завантажник, що переміщає. Перетворення віртуальної адреси у фізичну.

Методи розподілу пам'яті без використання дискового простору.

Метод розподілу пам'яті фіксованими розділами. Недолік методу.

Завдання підсистеми керування пам'яттю при реалізації методу розподілу пам'яті розмірами змінної величини.

Завдання, розв'язувані віртуальною пам'яттю.

Сторінковий розподіл пам'яті. Опис віртуального адресного простору процесу.

Сторінковий розподіл пам'яті. Час перетворення віртуальної адреси у фізичну.

Достоїнства сегментного розподілу пам'яті.

Сторінково-сегментний розподіл пам'яті.

Свопінг.

Кеш-пам'ять. Визначення.

Структура кеш-пам'яті.

Адресація в системі з кеш-пам'яттю.

Середній час доступу до даних у системі з кеш-пам'яттю.

Функції операційної системи при управління пристроями введення-виводу.

Механізм виконання введення - виводу операційною системою.

Шари програмного забезпечення введення - виводу операційної системи.

Функції незалежного від пристроїв шару програмного забезпечення введення-виводу.

Спулінг.

Структура запису каталогу операційної системи UNІX.

Логічна структура файлу в операційній системі UNІX.

Функції базового рівня файлової системи.

Проблеми при відображенні файлів в адресний простір виконуваного процесу.

Додавання драйвера до ланцюжка виклику деякого обладнання в сучасній багаторівневій архітектурі файлових систем.

Витіснення процесу, що працює в режимі системи, в Unіx SVR4.

Класи пріоритетів процесів в Unіx SVR4.

Величина пріоритету, призначуваного процесам поділу часу в Unіx SVR4.

Структура індексного дескриптора в Unіx SVR4.

Модель пам'яті в Unіx SVR4.

Індексні дескриптори спеціальних файлів в Unіx SVR4. Зв'язок ядра системи з драйверами.


Література:

Бек Л. Введение в системное программирование. -М.: Мир, 1988 г.

Джордейн Р. Справочник программиста персональных компьютеров типа IBM PC,XT и AT. -М.: Финансы и статистика. -1992г.

Абель Питер. Язык ассемблера для IBM PC и программирования. -М.: Высшая школа. -1992г.



^ Основи дискретної математики (С.В. Сапунов)

1. Операції над множинами та їх властивості.

2. Поняття відносини. Властивості й види бінарних відносин.

3. Поняття функції. Сюр’єкція, ін'єкція, бієкция.

4. Основні поняття теорії графів. Дерева. Вершинні та реберні покриття.

5. Правильне розфарбування графа.

6. Елементи комбінаторики: комбінації, перестановки, розміщення. Властивості біноміальних коефіцієнтів.

7. Булеві функції. ДНФ, КНФ, поліном Жегалкина.

8. Функціональна повнота систем булевих функцій. Критерій Поста.

9. Мінімізація булевих функцій.

10. Скінченні автомати. Способи завдання автоматів.


Література:

1. Андерсон Д.А. Дискретная математика и комбинаторика. : Пер. с англ. – М.: Издательский дом «Вильямс», 2004. – 960 с.

2. Капітонова Ю.В., Кривий С.Л., Летичевський О.А., Луцький Г.М., Печорін М.К. Основи дискретної математики – К.: Наукова думка, 2002. – 581 с.

3. Судоплатов С.В., Овчинникова Е.В. Дискретная математика. – Инфра-М НГТУ, 2009. – 256 с.

4. Шоломов Л.А. Основы теории дискретных логических и вычислительных устройств. – М.: «Наука», 1980. – 400с.


^ Основи програмування та алгоритмічні мови(Т.Г. Петренко)

Тема 1. Послідовність розробки програми на ПЕОМ. Етапи підготовки та розв’язання задач на ПЕОМ. Мови програмування. Життєвий цикл програми. Структура середовища Borland-Pascal 7.0.

Тема 2. Основи алгоритмізації. Поняття алгоритму, властивості та засоби запису. Поняття змінної та операція присвоювання. Базові структури алгоритмів.

Тема 3. Вступ до мови Pascal. Загальна характеристика мови Pascal. Засоби опису синтаксису мови Pascal. Мова металінгвиністичних формул. РБНФ. Синтаксичні діаграми. Структура Pascal - програми. Стандарт мови та її розвиток у реалізаціях.

Тема 4. Типи даних мови Pascal і організація вводу-виводу. Представлення даних на мові Pascal. Базові типи даних. Організація вводу-виводу.

Тема 5. Обчислювані структури цілих, раціональних, дійсних та комплексних чисел, обчислювані структури нечислових послідовностей.

Тема 6. Формування виразів за допомогою мови Pascal. Типи виразів (числові, нечислові, логічні). Пріоритетність операцій. Префіксна, інфіксна та постфіксна форми запису виразів. Сумісність типів даних виразів.

Тема 7. Реалізація на Pascal базових структур алгоритмів. Організація лінійних, розгалужених і циклічних алгоритмів. Базові керуючі конструкції. Принципи структурного програмування. Обробка послідовностей даних.

Тема 8. Концепція типів мови Pascal. Загальна концепція типів мови Pascal. Діапазонні та перерахункові типи. Множені.

Тема 9. Обробка масивів даних. Організація та обробка масивів даних засобами мови Pascal. Типові алгоритми пошуку та впорядкування.

Тема 10. Проектування програми. Організація підпрограм. Опис і визначення процедур і функцій. Локальний та глобальний контекст програми. Розташування локальних змінних. Види параметрів підпрограм. Нетрадиційні засоби опису підпрограм. Організація процедурних параметрів.

Тема 11. Організація модулів. Стандартні бібліотечні модулі. Розробка власних бібліотечних модулів.

Тема 12. Рекурсія. Пряма та посередня рекурсія. Механізм рекурсії. Вибір між ітераційним та рекурсивним рішенням.

Тема 13. Файловий тип даних. Типи файлів. Етапи роботи з файлом. Операції над файлом.

Тема 14. Структури даних. Тип даних - запис. Варіантний запис. Оператор with.

Тема 15. Динамічна область пам’яті. Вказівники та адреса. Карта розподілу пам’яті під Pascal - програму. Операції з динамічною областю пам’яті.

Тема 16. Формування списків. Операції над списками. Стек. Черга. Дерево.


Література:

Окулов С.М. Основы программирования.- М.: ЮНИМЕДИАСТАЙЛ, 2002.-424с.:ил.

Окулов С.М. Программирование в алгоритмах./ С.М.Окулов.-М.: БИНОМ, Лаборатория знаний, 2002.-341с.:ил.



^ Об’єктно–орієнтоване програмування (Т.Г. Петренко)

Тема 1. Алфавіт і лексеми мови С++. Ідентифікатори, роздільники, операції, коментарі мови. Базові типи даних. Константи базових типів. Склад вираження на С++. Особливість вираження в С++.

Тема 2. Пріоритетність операцій і порядок обробки операндів у С++. Правила перетворень значень операндів з одного типу в іншій для операцій у С++ і порядок автоматичного приведення типів у вираженні на С++. Операція перетворення типу в С++.

Тема 3. Керуючі оператори мови С++. Організації розгалуження й циклу. Оператори, що розширюють можливості передачі керування.

Тема 4. Особливості мови С++. Структура програми на С++. Команди препроцесору. Організація функцій у С++.

Тема 5. Область дії змінної в С++. Класи пам'яті в С++. Організація вводу - виводу в С та С++. Бібліотеки stdio.h і iostream.h.

Тема 6. Властивості консольного додатку в середовищі Visual C++ 6.0. Склад проекту консольного додатку. Етапи розробки.

Тема 7. Поняття покажчика в С++. Типи покажчиків. Операції над покажчиками. Поняття посилання. Відмінності в оголошенні й використанні посилання й покажчика. Робота з динамічною областю пам'яті.

Тема 8. Організація структурованих типів у мові С++. Рядки, масиви, перерахування, структури, об'єднання, поля біт. Спосіб зберігання, види доступу до елементів. Організації зберігання й обробки в статичній і динамічній пам'яті.

Тема 9. Поняття інкапсуляції, класу й об'єкту. Принципи відділення інтерфейсу від реалізації. Специфікатори доступу public, private, protected.

Тема 10. Особливості оголошення й використання функцій - членів (методів) класу. Доступ до методів; функції-члени, що вбудовуються. Перевантажені функції – члени. Перевизначення й приховання методів класу. Оператор дозволу області видимості.

Тема 11. Особливості оголошення й використання даних - членів класу. Доступ до даних. Оператор дозволу області видимості. Використання конструкторів для ініціалізації даних класу. Явні й неявні конструктори. Конструктори за замовчуванням. Перевантажені конструктори; конструктори, що копіюють. Конструктори конструкторів.

Тема 12. Особливості оголошення й використання деструкторів класу. Явні й неявні деструктори. Переваги використання віртуальних деструкторів. Використання деструкторів при роботі з масивом об'єктів класу.

Тема 13. Поняття спадкування. Схеми взаємодії об'єктів. Формальний запис визначення спадкування. Типи спадкування. Види спадкування.

Тема 14. Поняття поліморфізму. Форми прояву поліморфізму. Призначення й особливості віртуальних функцій. "Раніше" і "пізніше" зв'язування. Переваги динамічного зв'язування. Абстрактні класи.

Тема 15. Поняття шаблону. Шаблонова функція й шаблоновий клас. Особливості компіляції шаблонових функцій і класів. Шаблони й статичні елементи.

Тема 16. Організація дружніх функцій і класів. Особливості дружності для шаблонів. Види дружності для функцій і для класів.

Тема 17. Особливості реалізації облікових структур на С++. Організація односкерованого й двухскерованого списків й базові операції з такими списками.

Тема 18. Стандартна бібліотека С++. Склад бібліотеки й коротка характеристика розділів бібліотеки.

Тема 19. Основні терміни бібліотеки STL. Поняття контейнеру й схема організації контейнеру. Ієрархія контейнерних класів STL. Поняття ітератору й ієрархія ітераторів. Поняття алгоритму, аллокатору, адаптеру.

Тема 20. Послідовні контейнери. Організація роботи з вектором, списком і деком засобами STL.

Тема 21. Асоціативні контейнери. Організація роботи з відображеннями (деревами, безлічами) засобами STL.

Тема 22. Групи алгоритмів в STL. Немутаційні алгоритми і їхні групи. Алгоритм пошуку find(). Мутаційні алгоритми і їхні групи. Алгоритм злиття merge().

Тема 23. Класи виняткових ситуацій. Ціль класів виняткових ситуацій і ієрархія стандартних виняткових ситуацій. Обробка логічних помилок і помилок виконання.

Тема 24. Робота з файлами в С++. Властивості обробки елементів пам’яті –файлу, каталогу, диску.

Литература:

Страструп Б. Язык программирования С++. 3-е изд./Пер. с англ.-СПб.; М.: «Невский Диалект» - «Издательство БИНОМ», 1999 г.-991 с., ил.

Шаммас Н.К. Основы С++ и объектно-ориентированного программирования. – К.: Диалектика, 1996. –448с., ил.



Організація та функціювання ЕОМ та систем (Т.Г. Петренко)


1. Призначення і склад апаратного забезпечення IBM PC. Характеристики пристроїв.

2. Призначення і склад програмного забезпечення IBM PC.

3. Робота з текстовим терміналом в Windows XP. Особливості консольної програми.

4. Призначення, особливості і склад ОС MS-DOS.

5. Поняття файлової системи MS-DOS. Файл, каталог, логічний диск. Вимоги до імен логічних елементів пам'яті в MS-DOS.

6. Команди користувача MS-DOS.

7. Призначення та особливості програм - файлових менеджерів (Norton commander, Volkov Commander, Total Commander 6.53, Far Manager). Особливості роботи з елементами довгострокової пам'яті у файлових менеджерах.

8. Настройки користувача в файлових менеджерах по роботі з устаткуванням і самими програмами.

9. Антивірусні програми. Призначення і порядок роботи. Програма Avira AntiVir Personal-Free AntiVirus.

10. Призначення, особливості і склад ОС Windows XP. Порядок завантаження. Режими роботи.

11. Організація довідкової системи ОС Windows XP.

12. Призначення і склад реєстру. Операції з реєстром.

13. Операції з об'єктами графічного інтерфейсу ОС Windows XP і особливості програми Провідник.

14. Настройки користувача ОС Windows XP по роботі з графічною оболонкою і апаратним забезпеченням.

15. Самоналагоджувальна архітектура (Plug and Play) в ОС Windows XP.

16. Файлові системи Windows XP. Вимоги до імен логічних елементів пам'яті в Windows XP.

17. Стандартні програми Windows XP

18. Службові програми Windows XP.

19. Робота з графічною інформацією в Windows XP на прикладі редактора Paint.

20. Робота з текстовою інформацією в Windows XP на прикладі редакторів WordPad, NOTEPAD, Word.

21. Обмін між додатками в Windows XP. Зв'язування і вбудовування даних в складних документах.


Література:

Андреев А.Г.и др. MS Windows ХР Home Edition и Professional. Русские версии в подлиннике, BHV, 2007

2. Белью Дж. Официальный учебный курс MS: Поддержка пользователей и диагностика настольных приложений в операционной системе MS Windows ХР (70-272). + CD, Эком, 2007

^ Системний аналіз і проектування комп'ютерних інформаційних систем
(А. І. Парамонов)



Основні поняття системного аналізу.

Системи та моделювання. Формування загальних уявлень про систему.

Основні поняття технології проектування інформаційних систем.

Склад команди розробників програмного продукту. Обов'язки кожного фахівця в команді розробників.

Життєвий цикл і стадії розробки програмного забезпечення. Моделі життєвого циклу розробки.

Організація розробки інформаційних систем.

Поняття CASE– технологій. Складові CASE– технологій. Мова UML.

Поняття «Перспектива тестування» і властивості «перспективи тестування». Поняття «тестувальник», вимоги до тестувальника. Перевірки, ревізії і контрольні прогони. Цілі тестування і рамки тестування.

Підготовка і виконання першої серії тестів. Перший цикл тестування. Другий цикл тестування.

Стадії планування і тестування на етапі планування.

Стадії проектування і тестування на етапі проектування.

Методи тестування на етапі проектування. Наради аналітиків. Аналіз псевдокоду.

Методи тестування на етапі проектування. Тестування "скляного ящика" на стадії кодування. Тестування програмних шляхів; критерії обхвату. Тестування частин проти тестування цілого.

Методи тестування на етапі проектування. Структурне тестування проти функціонального. Низхідне тестування проти висхідного.

Методи тестування. Статичне тестування. Навмисні помилки: псевдовідладка і мутаційне тестування. Аналіз продуктивності.

Опис процедури тестування "чорного ящика" на етапах розробки ПЗ. Планування. Приймальне тестування. Перевірка стабільності програми.

Функціональне і системне тестування, звірка і атестація продукту. Бета-тестування. Тестування цілісності продукту і тестування поширюваних копій. Остаточне приймання і сертифікація.

Опис тестів, що проводяться при функціональному і системному тестуванні для технології «чорного ящика». Перша група тестів. Друга група тестів. Третя група тестів.

Програмні помилки. Категорії програмних помилок.

Документування і аналіз помилок.

Автоматизація процесу тестування. Базові інструменти тестувальника. Автоматизація приймального і регресійного тестування.

Автоматизація процесу тестування. Засоби для тестування "скляного ящика".

Оцінка якості програмного продукту. Підходи, характеристики, стандарти.

Тестування інтерфейсу на різних етапах розробки ПЗ.

Автоматизація процесу тестування. Сучасний стан питання.

Література:

1. Калянов Г.Н. Структурний системний аналіз / М.: Вид-во «Лорі» – 1997 р.

2. Губанов В.А., Захаров В.В., Коваленко А.Н. Введення в системний аналіз / Л.: Вид-во Ленінградського ун-та – 1988 р. – 232 стор.

3. Макконнелл Стів Професійна розробка програмного забезпечення / Вид-во "Символ-Плюс" – 2007 р. – 240 стор.

4. Ліпаєв Владимир. Процеси і стандарти життєвого циклу складних програмних засобів. Довідник / Вид-во "Синтег" – 2006 р. – 276 стор.

5. Федоров Н.В. Проектування інформаційних систем на основі сучасних case-технологій. Навчальний посібник / М.: Вид-во "МГИУ" – 2007 р. – 287 стор.

6. Уокер Ройс Управління процесом створення програмного забеспечення / М.: Изд-во "Лорі" – 2007 р. – 426 стор.

^ Чисельні методи в інформатиці (В. К. Толстих)



Поняття інтерполяції й наближення для дискретно заданої функції.

Метод прогону й метод Гаусса для рішення систем лінійних рівнянь.

Квадратурні формули чисельного інтегрування, точність методів.

Чисельне диференціювання, точність чисельного диференціювання з урахуванням обчислювальних погрішностей.

Чисельні методи рішення звичайного диференціального рівняння.

Чисельні методи рішення нелінійного рівняння.

Методи мінімізації одномірної функції (градієнтний метод, метод Ньютона).

Поняття явних і неявних кінцево-різницевих схем рішення диференціальних рівнянь.

Література:

Самарский А.А., Гулин А.В. Численные методы / Учебн. пособие- М.: Наука, 1989.- 430с.

Бахвалов Н.С., Жидков Н.П. Кобельков Г.М. Численные методы / Учебн. пособие- М.: Наука, 1988.- 631с.
^


Моделювання систем (Н. В. Румянцев)



Поняття складної системи. Приклади найпоширеніших складних систем.

Чинники, діючі на процес функціонування складної системи.

Задачі дослідження складних систем.

Методи аналізу складних систем.

Класифікація задач теорії розкладів.

Форма представлення розкладів.

Критерії оцінки розкладів.

Поняття інтервалу черговості. Незалежність інтервалу черговості від часу.

Теорема про впорядкованість робіт в системі з однією машиною.

Впорядкування робіт відповідно до критерію S.

Впорядкування робіт відповідно до критерію .

Впорядкування робіт відповідно до критерію мінімуму тривалості проходження робіт (Критерій ).

Впорядкування робіт відповідно до директивних термінів.

Впорядкування робіт в системі з двома машинами. Задача Джонсона.

Задача Джонсона для трьох і більш машин. Метод гілок і меж.

Задача Джонсона для трьох і більш машин. Метод послідовного конструювання плану.

Класифікація моделей управління запасами. Основні елементи задач оптимального управління запасами.

Детерміновані моделі управління запасами на підприємстві. Модель Уїлсона.

Детерміновані моделі управління запасами на підприємстві. Модель з постійною поставкою товару, без дефіциту.

Детерміновані моделі управління запасами на підприємстві. Модель з миттєвою поставкою товару і дефіцитом.

Детерміновані моделі управління запасами на підприємстві. Узагальнена однопродуктова модель з постійною поставкою товару і дефіцитом.

Модель з випадковим попитом без витрат на зберігання (Задача заміни устаткування).

Модель з випадковим попитом і витратами на зберігання.

багатопродуктові детерміновані моделі управління запасами.

Моделі, описувані марківськими ланцюгами з дискретним часом.

Марківський процес з безперервним часом. Обчислення ймовірностей станів.

Процеси загибелі і розмноження. Стаціонарна ймовірності станів і умови їх існування.

Вживання процесів загибелі і розмноження до аналізу систем масового обслуговування.

Аналіз найпростіших моделей систем масового обслуговування. Система типа М/М/n/0.

Аналіз найпростіших моделей систем масового обслуговування. Система типа М/М/1.

Аналіз найпростіших моделей систем масового обслуговування. Система з одним приладом і найпростішими параметрами. Система типа М/М/n.

Замкнуті системи масового обслуговування.

Література:

Танаев В.С., Шкурба В.В. Введение в теорию расписаний. – М.: Наука, 1975. – 256 с.

Конвей Р.В., Максвелл В.Л., Миллер Л.В. Теория расисаний. – М.: Наука, 1975. – 360 с.

Бусленко Н.П., Калашников В.В., Коваленко И.Н. Лекции по теории сложных систем. - М.: Изд-во «Советское радио», 1973. – 440 с.

Костевич Л.С., Лапко А.А. Теория игр. Исследование операций. – Минск: Вышэйшая школа, 1982. – 283 с.



^ Технології інженерії знань (Гаркуша В.В)

1.Випадкова величина. Дискретні і безупинні випадкові величини. Закон розподілу імовірностей дискретної випадкової величини. Біноміальний розподіл.

2. Розподіл Пуассона. Найпростіший потік подій. Математичне чекання дискретної випадкової величини. Вероятностний зміст математичного чекання. Властивості математичного чекання.

3. Дисперсія дискретної випадкової величини. Формула для обчислення дисперсії. Властивості дисперсії. Дисперсія числа появ події в незалежних іспитах.

4. Середнє квадратичне відхилення. Середнє квадратичне відхилення суми взаємно незалежних випадкових величин. Початкові і центральні теоретичні моменти.

5 Нерівність Чебишева. Теорема Чебышева. Сутність теореми Чебишева. Значення теореми Чебишева для практики.

6. Теорема Бернуллі.

7. Визначення функції розподілу. Властивості функції розподілу. Графік функції розподілу.. Перебування функції розподілу по відомій щільності розподілу. Властивості щільності розподілу.

8. Числові характеристики безупинних випадкових величин.

9. Нормальний розподіл. Нормальна крива. Вплив параметрів нормального розподілу на форму нормальної кривої.

10. Формулювання центральної граничної теореми.

11. Оцінка відхилення теоретичного розподілу від нормального. Асиметрія й ексцес

12. Функція одного випадкового аргументу і її розподіл. Математичне чекання функції одного випадкового аргументу.

13. Функція двох випадкових аргументів. Розподіл суми

незалежних доданків

14. Розподіл "хи квадрат". Розподіл Стьюдента. Розподіл Фішера- Снедекора.

15. Генеральна і вибіркова сукупності. Повторна і безповторна вибірки. Репрезентативна вибірка. Способи добору. Статистичний розподіл вибірки.

16. Емпірична функція розподілу. Полігон і гістограма. Незміщені, ефективні і заможні оцінки.

17. Генеральна середня. . Вибіркова середня. Оцінка генеральної середньої по вибірковій середні. Стійкість вибіркових середніх. Групова і загальна середні. Відхилення від загальної середньої.

18. Генеральна дисперсія . Вибіркова дисперсія. Формула для обчислення дисперсії. Групова, внутрігрупова. міжгрупова і загальна

дисперсії. Додавання дисперсій. Оцінка генеральної дисперсії по виправленої вибірковій. Точність оцінки, довірча імовірність (надійність). Довірчий інтервал.

18. Умовні варіанти . Звичайні, початкові і центральні емпіричні моменти . Умовні емпіричні моменти. Відшукання центральних моментів по умовним. Метод добутків для обчислення вибіркових середньої і дисперсії. Зведення первісних варіантів до рівновіддаленого. Емпіричні і що вирівнюють (теоретичні) частоти.

19. Побудова нормальної кривої по досвідченим даним. Оцінка відхилення емпіричного розподілу від нормального. Асиметрія й ексцес.

20. Вибіркові рівняння регресії. Відшукання параметрів вибіркового рівняння прямої лінії середньоквадратичної регресії по незгрупованим даним. Кореляційна таблиця. Відшукання параметрів вибіркового рівняння прямої лінії регресії по згрупованим даним

21. Вибірковий коефіцієнт кореляції. Методика обчислення вибіркового коефіцієнта кореляції. Вибіркове кореляційне відношення. Властивості вибіркового кореляційного відношення.

Найпростіші випадки криволінійної кореляції. Поняття про множинну кореляцію.

22. Статистична гіпотеза. Нульова і конкуруюча, проста і складна гіпотези. Помилки першого і другого роду. Статистичний критерій перевірки нульової гіпотези. Значення критерію, що спостерігається. Критична область. Область прийняття гіпотези. Критичні крапки. Відшукання правобічної критичної області. Відшукання лівосторонньої і двосторонній критичних областей. Потужність критерію.

23. Порівняння двох дисперсій нормальних генеральних сукупностей.

Порівняння двох середніх нормальних генеральних сукупностей, дисперсії яких відомі (незалежні вибірки). Перевірка гіпотези в значимості вибіркового коефіцієнта кореляції.

24. Перевірка гіпотези про однорідність двох вибірок. Однофакторний дисперсійний аналіз. Загальна, факторна і залишкова суми квадратів відхилень. Зв'язок між загальною, факторною і залишковою сумами. Загальна, факторна і залишкова дисперсії. Двохфакторний аналіз.

25. Дискримінантний аналіз. Область застосування. Задачі дискримінантного аналізу. . Дискриминантные функції і їхній розрахунок. Функції, що класифікують. Класифікація об'єктів за допомогою відстані.

26. Задачі і методи кластерного аналізу. Алгоритм послідовної кластеризації. число кластерів, дендрограми.


Література:

1. Горяинов В.Б. Математическая статистика. – М.: “Высшая школа”, 2001.

Ивченко Г.И. . Математическая статистика. – М.: “Мир”, 2001 1989.

Гмурман В.Е. Теория вероятностей и математическая статистика . – М.: “Высшая школа”, 2005.

Тюрин Ю.Н., Макаров А.А. Статистический анализ данных на компьютере. – М.: “Инфра”, 1998.

Дюк В.. Компьютерная психодиагностика. СПБ: Питер,1994.



ЛОГІЧНЕ ПРОГРАМУВАННЯ (Єпік М.О)


Мова ПРОЛОГ – мова штучного інтелекту.

Практичні додатки ПРОЛОзі.

Відміни ПРОЛОзі від інших мов програмування.

Система Turbo Prolog v. 2.0.

Структура програми на ПРОЛОзі.

Перемінні.

Об`єкти та відношення.

Домени та предикати.

Складні цілі.

Анонімні перемінні.

Знаходження рішень для складних цілей.

Використання заперечень.

Стандартні предикати.

Коментарі.

Вільні та сполучні перемінні.

Стандартні типи доменів.

складні об`єкти.

Декларація доменів для складних об`єктів.

Спуск по рівнях.

Рекурсія.

Рекурсивні об`єкти.

Списки у ПРОЛОзі.

Члени списку.

Виписування елементів списку.

Додання одного списку до іншого, декларативне та процедурне програмування.

Застосування предикату.

Установлення відповідності, уніфікація термів.

Алгоритм уніфікації.

Управління пошуком рішень.

Використання предикату fail.

Запобігання повернення, елемент скасування.

Використання скасування для запобігання повернення до попередньої підцілі правила.

Використання скасування для запобігання повернення до наступної підцілі правила.

Порядок обчислювання арифметичних виразів у ПРОЛОзі.

Порівняння.

Умови для рівності.

Арифметичні функції та предикати.

Простий вод та вивід. Запис.

Простий вод та вивід. Читання.

Налагодження та трасировка.

Завдання атрибутів екранного дисплею.

Вікна.

Читання та запис при роботі з вікнами.

Графіка у Турбо ПРОЛОзі.

Команди «Графіки з черепахою».


Література:

Макаллистер Дж. Искусственный интеллект и Пролог на Микро-ЭВМ. – М.: Машиностроение, 1990.

Заде Л.А. Понятие лингвистической переменной и его применение к приятию приближенных решений. –М.: мир, 1976.

Кофман А. Введение в теорию нечетких множеств. – М.: радио и связь, 1982.

Логический подход к искусственному интеллекту. От классической логики к логическому программированию. – М.: Мир, 1990.

Осуга С. Обработка знаний. – М.: Мир, 1989.

Єпік М.О. Курс лекцій “Логічне програмування”. Електронна копія.

Єпік М.О. Методичні вказівки щодо виконання лабораторних робіт з курсу “Логічне програмування”. Електронна копія.



ФУНКЦІОНАЛЬНЕ ПРОГРАМУВАННЯ (Єпік М.О)


Використання символів.

Числа є константами.

Логічні значення Т й NIL.

Константи та перемінні.

Побудова списків з атомів й підсписків.

Порожній список.

Функція – відображення між множинами.

Тип аргументів та функцій.

Визначення та виклик функції.

Єдинообразна префіксна нотація.

Ієрархія викликів.

Функція QUOTE..

Основні функції обробки списків.

Функція CAR.

Функція CDR.

Функція CONS.

Зв`язок між функціями CAR, CDR й CONS.

Що перевіряє предікат.

Предікат АТОМ.

Функція EQ.

Функція EQL.

Предікат = .

Функція EQUAL.

Функція NULL.

Вкладені виклики CAR та CDR.

Функція LIST.

Значення константи.

Функція SET.

Функція SETQ.

Функція SETF.

Побічний ефект псевдофункції.

Інтерпретатор EVAL.

Основний цикл: READ-EVAL-PRINT.

Лямбда-вираз.

Лямбда-виклик.
еще рефераты
Еще работы по разное