Модифіковано РАКЗ-моделі дедуктивного виводу диспетчерських рішень за рахунок введення алгоритмічних операторів фазифікації та дефазифікації та запропоновано оригінальні алгоритми, що дозволяють моделювати причинно-наслідкові міркування диспетчерів для комп'ютеризації прийняття рішень. Ророблено метод оцінки якості розкладів занять за ступенем виконання оптимізуючих вимог, що дозволяє найточніше оцінити якість розкладу занять. Нові моделі, методи та алгоритми реалізовано у вигляді прототипу ЕС "ШТУРМАН-Розклад".

  Скачати повний текст

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

  Скачати повний текст