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

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.

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

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

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

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

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

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

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

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

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

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

6. Перемінні.

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

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

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

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

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

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

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

14. Коментарі.

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

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

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

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

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

20. Рекурсія.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

35. Порівняння.

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

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

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

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

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

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

42. Вікна.

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

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

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

Література:

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

12. Функція QUOTE..

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

14. Функція CAR.

15. Функція CDR.

16. Функція CONS.

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

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

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

20. Функція EQ.

21. Функція EQL.

22. Предікат = .

23. Функція EQUAL.

24. Функція NULL.

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

26. Функція LIST.

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

28. Функція SET.

29. Функція SETQ.

30. Функція SETF.

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

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

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

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

35. Лямбда-виклик.

36. Обчислювання лямбда-викликів або лямбда-перетворень.

37. Об`єднання лямбда-викликів.

38. Лямбда-вираз – функція без імені.

39. Функція DEFUN.

40. Функція SYMBOL-FUNCTION.

41. Завдання параметрів в лямбда-списку.

42. Функція NLAMBDA.

43. Частини програми.

44. Керуючі структури Лиспу.

45. Функція LET.

46. Послідовні обчислювання: PROG1, PROG2 и PROGN.

47. Розвітлення обчислювань: умовна пропозиція COND.

48. Інші умовні пропозиції: IF, WHEN, UNLESS и CASE.

49. Циклічні обчислювання: пропозиція DO.

50. Пропозиції: PROG, GO, RETURN.

51. Інші циклічні структури.

52. Повторення скрізь ітерацію або рекурсію.

53. Форми динамічного припинення обчислювань: CATCH и THROW.

54. Склад лисповської пам`яті.

55. Подання значення.

56. CAR и CDR обирають поле покажчика.

57. CONS створює осередок та повертає на неї покажчик.

58. Спільні частини списків.

59. Логічне та фізичне порівняння.

60. Крапочна пара відповідає спис очному осередку.

61. Варіанти крапочного та списочного запису.

62. Керування пам`ятью та збірка сміття.

63. Обчислювання, які змінюють та не змінюють структуру.

64. Функції RPLACA и RPLACD.

65. Зміна структури може прискорити обчислювання.

66. У властивостей є ім`я та значення.

67. Системні та визначені властивості.

68. Читання властивостей.

69. Присвоювання властивості.

70. Видалення властивості.

71. Глобальні властивості.

72. Вод та вивід.

73. Функція READ.

74. Програма воду виділяє форми.

75. Макроси читання.

76. Символи зберігаються у списку об`єктів.

77. Пакети або простір імен.

78. Функція PRINT.

79. Функції PRIN1 и PRINC.

80. Функція TERPRI.

81. Функція FORMAT.

82. Використання файлів.

83. Функція LOAD.

Література:

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

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

3. Цикритзис Д., Лоховски Ф. Модели данных. – М.: Финансы и статистика, 1996.

4. Э. Хювенен, Й. Сеппянен. Мир Лиспа. Методы и системы программирования. В 2-х томах. – М.: Мир, 1990.

5. А. Тей, П. Грибом он, Ж. Луи др.. Под ред. Г.П. Гаврилова. Логический поход к искусственному интеллекту. – М.: Мир, 1990.

6. Цаленко М.Ш. Моделирование семантики в бызых даннях. – М.: Наука, 1988.

ТЕХНОЛОГІЇ ПРОГРАМУВАННЯ ТА СТВОРЕННЯ ПРОГРАМНИХ ПРОДУКТІВ (Т.В.Шарій)

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

2. Екстремальне програмування.

3. Модульна декомпозиція. Типи зв'язності та зчеплення модулів.

4. Фундаментальні патерни програмування. Патерн делегування.

5. Композиція, агрегація, спадкування. Інтерфейси.

6. Породжуючі патерни.

7. Структурні патерни.

8. Патерни поведінки.

9. Централізовані й розподілені системи контролю версій.

10. Суть і задачі рефакторінгу. Проблемні фрагменти коду.

11. Прийоми рефакторінгу. Складання методів.

12. Прийоми рефакторінгу. Спрощення викликів методів. Переміщення даних і методів.

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

14. Вирішення задач узагальнення на етапі рефакторінгу.

15. Антипатерни програмування.

Література:

1. Орлов С. Технологии разработки программного обеспечения. - СПб.: Питер, 2002. - 464с.: ил.

2. Мартин Р. Чистый код: Создание, анализ и рефакторинг. Библиотека программиста. - СПб.: Питер, 2010. - 464с.: ил.

3. Гамма Э., Хелм Р., Джонсон Р., Влиссидес Дж. Приемы объектно-ориентированного проектирования. Паттерны проектирования. - СПб.: Питер, 2001. - 368с.: ил.

4. Фаулер М. Рефакторинг: улучшение существующего существующего кода. - СПб.: Символ-плюс, 2003. - 432с.

5. Кериевски Дж. Рефакторинг с использованием шаблонов. - М.: ООО "И.Д.Вильямс", 2006. - 400с.

6.TortoiseSVN - Инструкция по применению [Электронный ресурс] / URL: http://sourceforge.net/projects/tortoisesvn/files/1.6.16/Documentation/TortoiseSVN-1.6.16-ru.pdf/download.

Комп'ютерні мережі (Г.Т. Ломонос)

1.Локальні й глобальні обчислювальні мережі. Топології мереж. Широкосмугова й вузькосмугова передача. Напівдуплексна й повнодуплексна передача. Сегменти й магістралі. Однорангові й клієнт - серверні мережі.

2. Еталонна модель OSI. Інкапсуляція даних. Фізичний рівень. Канальний рівень. Формат кадра. Керування доступом до середовища. Специфікації фізичного рівня. Мережний рівень. Адресація. Фрагментація, Маршрутизація.

3. Мережне встаткування. Мережні підключення. Мости, комутатори, маршрутизатори й шлюзи.

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

5. Канальний рівень, Технологія CSMA / CD, Мережі Ethernet. Локальні мережі на поділюваному середовищу, Ethernet на коаксіальному кабелі, Ethernet на кручений парі,Мережі Token Ring і FDDI. Переваги і недоліки поділюваного середовища

6. Транспортний рівень

7. Сеансовий рівень

8. Представницький рівень

9. Прикладний рівень

10. Стандартні стеки протоколів

11. Найпростіший випадок локальної комп'ютерної мережі. Спільне використання ресурсів. Доступ до периферійного пристрою через мережу, Передача даних по лініях зв'язку. 12.Мережеве програмне забезпечення. Мережеві служби та сервіси. Мережева операційна система. Мережеві програми.

13. Основи адресації , типи адрес і перетворення адрес.

14. Класова модель IP-адресації, класи IP-мереж 15. Безкласова модель IP-адресації, маска змінної довжини. Призначення IP-адрес 16. Віртуальні локальні мережі. Користувальницькі фільтри 17. Логічне поділ мережі на віртуальні локальні мережі 18. Комутовані мережі Ethernet. Принцип роботи комутаторів Ethernet. Протокол STP.

19. Бездротові локальні мережі, Стандарти IEEE 802.11 20. Протокол міжмережевої взаємодії. Формат IP-пакета. 21.Таблиця маршрутизації, Маршрутизація без масок,

22. Взаємодія протоколів IP, ARP, Ethernet і DNS.

23.Структуризація мереж на основі масок. Маршрутизація з масками,

24.CIDR і маршрутизація.

25.Фрагментація IP-пакетів

26.Протоколи транспортного рівня TCP і UDP. Порти і сокети 27. Протокол UDP 28. Протокол TCP і TCP-сегменти. Логічні сполуки - основа надійності TCP. 29. Протоколи маршрутизації. Загальні властивості протоколів маршрутизації 30. Протокол OSPF. Взаємодія протоколів маршрутизації 31. Допоміжні протоколи і кошти стека TCP / IP. 32 Протокол ICMP. Утиліти traceroute, ping, netstat

Література:

1. Microsoft Corporation. Компьютерные сети. Учебный курс/Пер. с англ. – М.: Издательско-торговый дом «Русская Редакция», 2002. – 704стр.

2. Палмер М., Синклер Р.Б. Проектирование и внедрение компьютерных сетей. Учебный курс. – 2-е изд.. – СПб.: , 2004г. – 752с.

3. Спортак Марк. Компьютерные сети и сетевые технологии: Пер. с англ. – СПб.: ООО «ДиаСофтЮП», 2005. – 720 с.

4. Холме Дэн, Томас Орин. Управление и поддержка Microsoft Windows Server 2003. Учебный курс MCSA/MCSE/ Пер. с англ. – М.: Издательско-торговый дом «Русская

редакция», 2004. – 448 стр.

5. Олифер В.Г., Олифер Н.А. Основы компьютерных сетей. – СПб.: Питер, 2009. –352с.

6. Абрамов В.О., Клименко С.Ю. Базові технології комп’ютерних мереж: навчальний посібгник.-

Київ. , 2011 -291с

Методи й засоби комп'ютерних технологій (Г.Т. Ломонос)

1. Функціональна структура систем SCADA 2. Інструментальна система ТРЕЙС МОУД 3. Редактор бази каналів 4. Редактор представлення даних 5. Редактор шаблонів 6. Виконавчі модулі 7. Монітор реального часу, його функції

8. Поняття проекту в ТРЕЙС МОУД, структура проекту 9. Графічна частина проекту в ТРЕЙС МОУД 10. База каналів, її структура 11. Механізми автопостроения баз каналів 12. Визначення каналу в ТРЕЙС МОУД 13. Основних значення змінних каналу 14. Процедури каналу 15. Процедури для обробки даних і формування значень каналів 16. Класифікація каналів

17. Атрибути каналу 18. Вид вистави параметрів каналів 19. Мови програмування алгоритмів у ТРЕЙС МОУД 20. Мова функціональних блоків ТРЕЙС МОУД 21. Мова інструкцій (Технотемно,темно,тесно,тесно,техн. IL) 22. Архівування в ТРЕЙС МОУД 23. Організація запису даних у СПАД 24. Глобальний архів 25. Обмін з базами даних і бізнес- додатками 26. Можливості інструментів ТРЕЙС МОУД для створення розподілених систем керування й моніторингу.

Література:

1. Голенищев, Эдуард Павлович. Информационное обеспечение систем управления : [Учеб. пособие] / Э. П. Голенищев, И. В. Клименко. - Ростов н/Д : Феникс, 2003. - 350 с.

2. Сопряжение ПК с внешними устройствами. Пер. с англ.-М.: ДМК Пресс, 2001.-320с.

3.Справочная система ТРЕЙС МОУД.

4.Ломонос Г.Т. Математическая обработка данных в системах SCADA: учебно-мето. пособие по курсу ”Методы и средства компьютерных информационных технологий”- Донец. нац. ун. – Донецк, 2010. – 88с.