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

  Завантажити