Автоматизация настройки и сопровождения логики в системах автоматизированного проектирования на основе объектно-дедуктивной модели

СОДЕРЖАНИЕ
Введение.
1. Анализ состояния вопроса.
Модели и реализация логики в существующих АС
Анализ архитектурных решений АС.
Выводы и результаты.
2. Разработка объектнодедуктивной модели логики
Анализ прототипов.
Объектнодедуктивная модель интеграционной логики.
Выводы и результаты.
3. Разработка и реализация машины вывода ОДМЛ.
Анализ стандартной вычислительной модели логической программы
Представление структур данных в машине вывода ОДМЛ
Реализация компонентов объектного подхода.
Архитектура интерпретатора ОДМЛ
Лингвистические средства ОДМЛ.
Выводы
4. Практическое применение средств автоматизации проектирования и
сопровождения интеграционной логики.
Использование ОДМЛ в составе системы ЕксПзСЗ 7 при решении задачи
оптимизации раскладки электрических кабелей по полкам.
Использование ОДМЛ в составе инструментального комплекса ЮШИУС.
Выводы
Заключение.
Список литературы