Розсоха Сергій Володимирович. Моделі та методи інженерії нечітких квантів знань для дедуктивного виводу рішень в експертній системі при складанні розкладів у ВНЗ : Дис... канд. наук: 05.13.06 - 2007.
Анотація до роботи:
Розсоха С. В. Моделі та методи інженерії нечітких квантів знань для дедуктивного виводу рішень в експертній системі при складанні розкладів у ВНЗ. – Рукопис.
Дисертація на здобуття наукового ступеня кандидата технічних наук за спеціальністю 05.13.06 – автоматизовані системи управління та прогресивні інформаційні технології. Національний аерокосмічний університет ім. М.Є. Жуковського «ХАІ», Харків, 2006.
Дисертацію присвячено питанням автоматизації підтримки прийняття рішень при складанні розкладів занять в умовах -невизначеності. Для вирішення задачі підтримки прийняття диспетчерських рішень було використано РАКЗ-метод подання знань та маніпулювання ними. У цілях підвищення ефективності прийняття рішень РАКЗ-методом в умовах -невизначеності запропоновано метод нечіткого дедуктивного виводу, що спирається на заздалегідь побудовану базу нечітких квантів знань та математичний і логічний апарат теорії нечітких множин. Модифіковано РАКЗ-моделі дедуктивного виводу диспетчерських рішень за рахунок введення алгоритмічних операторів фазифікації та дефазифікаціі та запропановані оригінальні алгоритми, що дозволяють моделювати причинно-наслідкові міркування диспетчерів для комп’ютеризації прийняття рішень. Розроблено метод оцінки якості розкладів занять за ступенем виконання оптимізуючих вимог, що дозволяє найточніше оцінити якість розкладу занять. В дисертації запропоновано моделі, методи і алгоритми, реалізовані у вигляді прототипу ЕС «ШТУРМАН-Розклад».
Дисертація містить вирішення науково-прикладної задачі розробки моделей, методів та інформаційної технології для дедуктивного виводу рішень при складанні розкладів занять засобами інженерії квантів знань в умовах -невизначеності.
Проведене дослідження підтверджує актуальність всіх аспектів порушених в дисертаційній темі, відповідає поставленим меті та задачам, окреслює шляхи практичної реалізації одержаних результатів. Розроблені в дисертації моделі, методи і алгоритми реалізовані у вигляді ЕС «ШТУРМАН-Розклад» для підтримки прийняття диспетчерських рішень при складанні розкладів занять у ВНЗ.
У рамках дисертаційної роботи досягнуто таких основних результатів:
Проведено огляд і аналіз методів і засобів комп’ютерної підтримки прийняття диспетчерських рішень при складанні розкладів занять у ВНЗ і сформульвано задачі дисертаційної роботи.
Розроблено РАКЗ-метод дедуктивного виводу рішень за умов -невизначеності при складанні розкладів, який на відміну від існуючих використовує заздалегідь побудовану базу нечітких квантів знань і грунтується на застосуванні k-знань з нечіткою логікою Заде, що дозволяє підвищити оперативність прийняття рішень і знизити ймовірність помилкового рішення на контрольних даних.
Удосконалено РАКЗ-модель дедуктивного виводу диспетчерських рішень шляхом введення алгоритмічних операторів фазифікації та дефазифікації для нечіткого дедуктивного виводу k-знань із БkЗ, що забезпечує адекватність диспетчерських рішень, які приймаються за умов -невизначеності.
Дістали подальшого розвитку моделі та методи інженерії знань завдяки запропонованим РАКЗ-моделям і методам нечіткого дедуктивного виводу рішень, що дозволило значно розширити відомий клас задач за рахунок тих, які ефективно роз’язуються РАКЗ-методом.
Запропоновано методику оцінювання якості навчального розкладу, яка на відміну від існуючих базується на використанні апарату радіальних метричних діаграм, що дозволило отримати узагальнену і добре візуалізовану оцінку виконання окремих вимог до розкладу, групп вимог і в цілому якості розкладу.
Розроблено алгоритми реалізації нечіткого дедуктивного виводу ідентифікаційних і прогнозних рішень, які базуються на запропонованих моделях і методах інженерії знань, що дозволяє моделювати причинно-наслідкові міркування, спираючись на нечітку базу квантів знань.
З використанням об’єктно-орієнтованого інструментального засобу Microsoft Visual Studio 2003 на базі розроблених моделей, методів і алгоритмів створено ЕС «ШТУРМАН-Розклад», за допомогою якої успішно вирішені тестові та реальні задачі складання розкладів занять та іспитів для Національного аерокосмічного університету ім. М.Є. Жуковського, а також експерементально доведено достовірність і ефективність дисертаційних розробок.
Результати дисертаційної роботи впроваджені та використовуються в роботі навчально-методичного відділу Національного аерокосмічного університету ім. М.Є. Жуковського для створення розкладів занять на денній і заочній формах навчання та іспитів всього університету.
Результати експерементальних досліджень показали, що розклади занять складенні з використанням запропонованих у дисертації моделей та методів є кращими, ніж розклади, що складаються традиційними засобами, за такими показниками: з розкладу виключено ситуації, що не допускаються і заважають проведеню занять (накладки викладачів, аудиторій, груп); у розкладі відсутні «вікна» у студентів; зростає ефективність використання аудиторного фонду і викладацького складу ВНЗ.
Публікації автора:
Россоха С.В., Соханюк И.Е. Проблема поддержки принятия диспетчерских решений при планировании расписаний учебных занятий в техническом университете // Искусственный интеллект. - 2003. - №4. - С. 349 - 355.
Россоха С.В. Знаниеориентированный метод автоматизированного синтеза расписаний учебных занятий // Открытые информационные и компьютерные интегрированные технологии. –Х.: Нац. аэрокосм. ун-т «ХАИ», 2005. - Вып. 29. – С. 149 - 154.
Россоха С.В. Поддержка принятия решений при синтезе учебных расписаний // Вестник НТУ "ХПИ". Тематический выпуск: Системный анализ, управление и информационные технологии. – Х.: НТУ "ХПИ", 2005. – №59. – С. 177 - 182.
Сироджа И.Б., Россоха С.В. Нечеткий дедуктивный вывод в системе квантов знаний для поддержки принятия решений в условиях -неопределенности// Открытые информационные и компьютерные интегрированные технологии – Х.: Нац. аэрокосм. ун-т «ХАИ», 2006. - Вып. 30. – С. 50 – 56.
Сироджа И.Б.,Россоха И.Е. Россоха С.В. Интеллектуальная информационная технология поддержки принятия диспетчерских решений // Открытые информационные и компьютерные интегрированные технологии.– Харьков: Нац. аэрокосм. ун-т «ХАИ», 2006. - Вып. 32. – С. 114 – 118.
Россоха С.В., Россоха И.Е. Модели и методы поддержки принятия решений диспетчером технического университета // Международная научно-техническая конференция «Интегрированные компьютерные технологии в машиностроении», ИКТМ`2003. - Х: Нац. аэрокосм. ун-т им. «ХАИ», 2003.- С. 265.
Россоха С.В., Россоха И.Е. Система рационального планирования расписания учебных занятий в ВУЗе // Международная конференция по автоматическому управлению “Автоматика-2004”. - К.: Нац. ун-т пищевых технологий, 2004. – С. 78.
Россоха С.В. Методы вывода в знаниеориентированных системах поддержки принятия решений // Международная научно-техническая конференция «Интегрированные компьютерные технологии в машиностроении», ИКТМ`2004. - Х.: Нац. аэрокосм. ун-т «ХАИ», 2004. – С. 380.
Россоха С.В., Россоха И.Е. Поддержка принятия решений в многокритериальной задаче планирования учебных расписаний // Международная научно-техническая конференция ИКТМ`2005. – Х.: Нац. аэрокосм. ун-т «ХАИ», 2005. – С. 413.