CC BY
42
БЗ ЭСППР РВ для удобства представления экспертных знаний и контроля семантической корректности имеет граф-схемное представление в виде решающих деревьев. Написан ряд модулей, оформленных в виде процедур 02, выполняющих функции семантического контроля: проверка наличия родительских и дочерних вершин для каждой вершины дерева (кроме, соответственно, начальной и терминальных вершин), выявление циклов на деревьях и тупиков, проверка вводимых продукционных правил и ситуаций на совместимость с ранее введенной информацией и т.д. Процедуры контроля вызываются динамически при возникновении событий, связанных с изменениями БЗ.
ЛИТЕРАТУРА
1. Динамические интеллектуальные системы в управлении и моделировании // Материалы семинара / Научи, рук. Э.В. Попов. М.: ЦРДЗ, 1995. 147 с.
2. Башлыков А. А., Вагин В.Н., Еремеев А.П. Экспертные системы поддержки интеллектуально деятельности операторов АЭС II Вестник МЭИ. М.: Изд-во МЭИ, N4,1995. С 27-36.
3. Башлыков А.А., Вагин В.Н., Еремеев А.Г1. Архитектура системы поддержки принятия решений операторами атомных станций, реализуемой средствами а II Экспертные системы реального времени / Материалы семинара. - М.: ЦРДЗ, 1995.
0.86-93 с.
УДК 658.52
Л.Н. Бутенко, Д.В. Бутенко, В. А. Камаев Индуктивное моделирование на ранних стадиях проектирования
технических систем
Многочисленные исследования концептуального проектирования показали, что главными трудностями в этом процессе являются неполнота используемой информации и необходимость обеспечения максимального уровня новизны. Эти требования ставят проектировщика в ситуацию, где применению индуктивных методов нет альтернативы.
Ранее нами было показано, что любая процедура проектирования технических систем (ГС) должна содержать следующие модули: модуль генерации целей, аналитический модуль, формирование системы объекта, модуль синтеза, модуль оценки полученных решений.
Рекуррентный подход, обеспечивающий в большой мере процессы самоорганизации, требует, чтобы на каждом уровне проводилось проектирование по процедурам в вышеприведенных модулях.
Наиболее эффективной стратегией синтеза вариантов нового технического решения мы считаем качественное моделирование, названное нами контрадукцией. По нашему мнению она лучше других стратегий поддерживает индуктивный вывод вследствие эффективной реализации главного принципа индукции принципа минимакса энтропии.
Контрадукция предполагает использование формы логического вывода в виде выявления, формирования и разрешения противоречия для получения вариантов решения элементов технических систем. Построение модели ТС с оппозиционно измененными параметрами позволяет выявить дерево противоречий на различных системных уровнях. С помощью фонда типовых эвристических приемов разрешения противоречий формируется массив проекций будущего концептуального технического решения по данному параметру, из которого посредством индуктивного вывода формируется идея новой ТС.
Известия ТРТУ
Тематический выпуск
Сочетание рекуррентного подхода с контрадукцией обеспечивает высокий уровень новизны синтезируемого решения. Для компьютерной поддержки различных стадий проектирования нами разработан целый ряд банков данных и ЭС.
УДК 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
Н.С. Жукова, А.Д. Никифоров Методика разработки и расчета конструкций в машиностроении на примере автоматизированной системы выбора посадок
Конструирование новых эффективных и высококачественных изделий в машиностроении невозможно представить сегодня без широкого использования
