CC BY
28
Известия ТРТУ
Тематический выпуск
Сочетание рекуррентного подхода с контрадукцией обеспечивает высокий уровень новизны синтезируемого решения. Для компьютерной поддержки различных стадий проектирования нами разработан целый ряд банков данных и ЭС.
УДК 519.8
А.П. Еремеев, Н.В. Чибиэова Учебно-методический комплекс проектирования систем реального времени в среде G2
Системы поддержки принятия решений реального времени (СППР РВ) - новое направление исследований, активно развиваемое в последние годы [1]. СППР РВ представляют собой человеко-машинные комплексы, предназначенные для оказания помощ лицам, принимающим решения, при решении плохо формализуемых задач управления сложными системами и процессами. Спецификой таких задач является: невозможность получения всей объективной информации, необходимой для решения, и использование субъективной, экспертной информации; данные задачи существенно комбинаторные, многие из них относятся к классу NP-полных; присутствие недетерминизма в процессе поиска решения; Необходимость коррекции и введения дополнительной информации в процессе решения, активное участие в нем человека; необходимость получения решения в условиях жестких временных ограничений. Перечисленные факторы не позволяют успешно использовать для решения таких задач строгие алгоритмические методы и модели.
На кафедре прикладной математики Московского энергетического института (Технического университета) на основе высокоэффективного инструментального средства конструирования экспертных систем реального времени G2 разрабатывается Учебно-методический комплекс проектирования СППР РВ для управления сложными техническими объектами и процессами на примере объектов энергетики С23. Комплекс реализуется на базе рабочей станции SUN Spare Station 10 в среде UNIX (SOLARIS) с использованием в качестве интеллектуальных терминалов пользователей IBM PC 386X486 с ОС WINDOWS.
ЛИТЕРАТУРА
1. Башлыков А .А., Еремеев А.П. Экспертные системы поддержки принятия решений в энергетике / Под ред. А,Ф. Дьякова.- М.: Изд-во МЭИ. 1994.- 216 с.
2. Башлыков А. А., Ватин В.Н., Еремеев А.П. Архитектура системы поддержки принятия решений оператором атомных станций, реализуемой средствами G2 // Экспертные системы реального времени/ Материалы семинара. М.: ЦРДЗ, 1995,- С. 86-93.
УДК 658.512
Н.С. Жукова, А.Д. Никифоров Методика разработки и расчета конструкций в машиностроении на примере автоматизированной системы выбора посадок
Конструирование новых эффективных и высококачественных изделий в машиностроении невозможно представить сегодня без широкого использования
материалы всероссийской конференции "интеллектуальные ^анг-уо
компьютеров на различных этапах проектирования от создания теоретической модели до испытаний опытных образцов. Подготовка современных инженеров-конструкторов должна обязательно включать в себя большой круг знаний и навыков компьютерного проектирования, включая вопросы математического моделирования и работы с большими информационными базами данных.
Большое количество расчетов, необходимое при разработке практически любого изделия, требует использования огромного объема справочной информации и различных стандартов. Временные затраты при этом составляют значительную часть времени разработки проекта. Разработанная авторами автоматизированная система выбора посадок различного типа во многом позволяет решить ряд перечисленных проблем. Система обеспечивает быстрый поиск необходимого стандарта ЕСКД, а также позволяет осуществить оптимальный и гибкий выбор посадки в зависимости от поставленных условий. Данные характеристики системы обеспечиваются эффективным алгоритмом поиска нужной информации, основанном на специальной матричной структуре хранения ключевых параметров стандарта, позволяющей быстро сделать требуемый выбор. Возможность доступа к ключевым параметрам на различных этапах поиска позволяет при желании, с одной стороны, оценить ожидаемый результат, а с другой - активно влиять на процесс выбора.
Автоматизированная система выбора посадок используется как в учебном процессе, что позволяет выполнять разработку учебных проектов на современном уровне, так и при расчетах реальных изделий.
УДК 658.012
Е.Ю. Головина Учебно-методический комплекс КМ моделирования сложноструктурированной предметной области
В настоящее время экспертные системы (ЭС) приобретают большую значимость в различных сферах деятельности человека. Одним из центральных звеньев ЭС является база знаний (БЗ), в основе которой лежит формальная модель проблемной области. Формализация проблемной области при построении ЭС является задачей большой степени сложности и важности, поскольку от правильного моделирование проблемной области зависит успех применения всей ЭС.
Для приобретения навыков студентами технических вузов при создании модели сложноструктурированнной проблемной области разработан лабораторный практикум "Формальная модель сложноструктурированнной проблемной области" по курсу "Экспертные системы и системы ИИ" для студентов специальности Прикладная математика Московского энергетического института (технического университета), базирующийся на системе КМ (Knowledge Model).
Основными компоненты системы КМ являются БЗ, которая служит для представления модели проблемной области (в качестве модели проблемной области выбрана гибридная модель, логическая составляющая которой основана на многоуровневой логике [1]); подсистема моделирования; подсистема управления моделями проблемных областей; подсистема просмотра IS-A и Part-of иерархий классов объектов и отношений; подсистема печати; компонента логического вывода, которая служит для получения, экстенсионалов отношений и атрибутов (фактов) выбранной проблемной области и для проверки информации, подставленной в модели проблемной области, на непротиворечивость.
