- •«Технологии искусственного интеллекта в асутп»
- •Оглавление
- •1. Сферы применения экспертных систем реального времени (эсрв) в задачах асутп 6
- •2. Промышленные внедрения эсрв в асутп 18
- •3. Инструментальные средства синтеза эсрв 134
- •Список сокращений
- •1. Сферы применения экспертных систем реального времени (эсрв) в задачах асутп
- •2. Промышленные внедрения эсрв в асутп
- •2.1. Микро-эсрв интеллектуальных оконечных устройств
- •Полевая шина
- •2.2. Применение эсрв в контроллерном слое асутп
- •2.2.1. Мини-эсрв в контроллерах фирмы Fisher-Rosemount
- •2.3. Эсрв верхнего уровня асутп
- •2.3.1. Система свбу
- •2.3.2. Система спек
- •2.3.3. Система «компакс»
- •4. Модуль базы данных выполняет функции:
- •Модуль формирования отчетов по состояниям Агрегатов и Планированию ремонтов
- •2.4. Использование эсрв в комплексных решениях
- •2.4.1. Решения корпорации Siemens
- •2.4.2. Концепции Plant Intelligence корпорации Wonderware
- •2.4.3. Модели Plant Intelligence и ipm корпорации ge Fanuc
- •2.4.4. Комплексные решения Emerson
- •3. Инструментальные средства синтеза эсрв
- •3.1. Среды разработки и эксплуатации эсрв
- •3.1.1. Платформа g2
- •3.1.2. Система sdb
- •3.1.3. Инструментальная среда «оператор»
- •3.1.3.1. Язык представления знаний абис
- •1) Особенности дедуктивной системы, реализованной в языке abis
- •1.1) Общая структура системы
- •1.2) Предложения языка и база данных
- •1.3) Управление работой дедуктивной системы
- •1.4) Метод согласования
- •2) Структура языка abis
- •2.1) Базовые типы данных
- •2.2) Правила
- •2.3) Структура программы на языке abis
- •3) Логика выполнения программы на языке abis
- •3.1) Выполнение программы на уровне модулей
- •3.2) Выполнение программы на уровне правил
- •3.3) Обработка условия
- •3.4) Текущая достоверность
- •3.5) Обработка следствия правила
- •3.6) Выполнение оператора согласования в условии правила
- •3.6.1) Выполнение оператора согласования без квантора или с квантором all.
- •3.7) Особенности использования переменных при обработке правила
- •3.2. Разработка эсрв на базе универсальных языков высокого уровня
- •3.2.1. Инструментальный комплекс ais
- •Заключение
- •Управление предприятием Сервер бд асуп Сервер приложений эс а6
- •Мини-эсрв а2
- •Управление
- •Производством
- •Управление
- •Процессом
- •Управление
- •Оборудованием
- •Клиент эсрв а2
- •Клиент эсрв а4
- •Сервер приложений эсрв а4
- •Клиент эсрв а4
- •Эсрв а3
- •Микро-эсрв а1
- •Бд асутп
- •Сервер бд асуп Управление предприятием Координатор-агент а2 Координатор-агент а2
- •Агент а1
- •Агент а1
- •Агент а1
- •Координатор-агент а1
- •Агент а2
- •Координатор- агент а1
- •Агент а1
- •Шлюзовой агент а2
- •Агент а2
- •Агент а2
- •Приложений асуп
- •Агент коммуни-каций а1
- •Приложений асутп
- •Управление
- •Производством
- •Управление
- •Процессом
- •Управление
- •Оборудованием
- •Бд асутп
- •Список литературы
Список литературы
Литература к главе 1
Искусственный интеллект: В 3 кн. Кн. 1. Системы общения и экспертные системы: Справочник / Под ред. Э.В.Попова. - М.: Радио и связь, 1990. - 464с.
Искусственный интеллект: В 3 кн. Кн.2. Модели и методы: Справочник / Под ред. Д.А.Поспелова - М.: Радио и связь, 1990. - 304с.
Искусственный интеллект: В 3 кн. Кн.3. Программные и аппаратные средства: Справочник / Под ред. В.Н.Захарова, В.Ф.Хорошевского. - М.: Радио и связь, 1990. - 368с.
Stuart J. Russell, Peter Norvig. Artificial Intelligence: A Modern Approach (2nd Edition). Prentice Hall; 2nd edition, 2002. 1132 p.
Люгер Д. Искусственный интеллект - М.: Мир, 2003. 690 с.
Попов Э. В., Фоминых И. Б., Кисель Е. Б., Шапт М. Д. Статические и динамические экспертные системы - М.: Финансы и статистика, 1996, 320 с.
Гаврилова Т.А., Хорошевский В.Ф. Базы знаний интеллектуальных систем - СПб: Питер, 2001. 384 с.
Кузин Е.С. Информационно-сложные задачи и технология их решения // Новости искусственного интеллекта, №1, 2003, с. 24-29.
Аверкин А. Н., Батыршин И. З., Блишун А. Ф., Силов В. Б., Тарасов В. Б. Нечеткие множества в моделях управления и искусственного интеллекта - М.: Наука, 1986.
Макаров И.М., Топчиев Ю.И. Робототехника. История и перспективы - М.: Наука, МАИ, 2003. 350 с.
Giarratano J.C. Expert Systems: Principles and Programming. Brooks Cole; 3 edition, 1998,624 p
А.В. Архипов, Д.А. Иванов, В.Н. Юрьев. Моделирование производственных сетей на основе мультиагентного подхода. Системный анализ в проектировании и управлении: Труды VIII международной научно-практической конференции: Ч.2.- СПб.: СПбГПУ, 2004
Захаров В.Н., Ульянов С.В. Нечеткие модели интеллектуальных промышленных регуляторов и систем управления. I. Научно-организационные, технико-экономические и прикладные аспекты // Изв. АН. Техническая кибернетика. - 1992. - N5. - с.171-196
Захаров В.Н., Ульянов С.В. Нечеткие модели интеллектуальных промышленных регуляторов и систем управления. II. Эволюция и принципы построения // Изв. АН. Техническая кибернетика. - 1993. - N4. - с.189-205.
Захаров В.Н., Ульянов С.В. Нечеткие модели интеллектуальных промышленных регуляторов и систем управления. IV. Имитационное моделирование // Изв. АН. Техническая кибернетика. - 1994. - N5. - с.168-210
Кузьмин В.Б., Травкин С.И. Теория нечетких множеств в задачах управления и принципах устройства нечетких процессоров: Обзор зарубежной литературы // Автоматика и телемеханика. - 1992. - N11
Гершуни Д.С. Планирование вычислений в системах жесткого реального времени (обзор и перспективы) // Вычислительная техника. Системы. Управление. - 1991. - Вып.6. - с.4-51.
Барский А.Б. Параллельные процессы в вычислительных системах. Планирование и организация. - М.: Радио и связь, 1990. - 256с
Н.В. Гуцалов, В.В. Никифоров. Анализ выполнимости составных задач в системах реального времени, Труды СПИИРАН, вып.2, том 1, – СПб: СПИИРАН – 2004
Вагин В.Н., Еремеев А.П. Конструирование интеллектуальных систем поддержки принятия решений реального времени //Труды Международной конференции Интеллектуальное управление: новые интеллектуальные технологии в задачах управления (ICIT'99) Переславль-Залесский, 6-9 декабря 1999 г., 1999.
Гудилов В.В. Аппаратная реализация генетических алгоритмов. //Десятая национальная конференция по искусственному интеллекту с международным участием КИИ-2006 (25-28 сентября 2006 г., Обнинск): Труды конференции. В 3-т., М: Физматлит, 2006.
Колесников А.В. Гибридные интеллектуальные системы для поддержки принятия решений //Труды Международной конференции Интеллектуальное управление: новые интеллектуальные технологии в задачах управления (ICIT'99) Переславль-Залесский, 6-9 декабря 1999 г., 1999.
Курейчик В.М., Родзин С.И. Эволюционные вычисления: генетическое и эволюционное программирование //Новости искусственного интеллекта №5, 2003.
Тарасов В.Б. Управление знаниями в сетях предприятий //Новости искусственного интеллекта №3, 2003
Федунов Б.Е. Бортовые оперативно советующие экспертные системы для антропоцентрических объектов //Изв. РАН. ТиСУ. №6, 2003.
Федунов Б.Е. Бортовые оперативно советующие экспертные системы тактических самолетов пятого поколения (обзор по материалам зарубежной печати). – М., НИЦ ГосНИИАС, 2002.
Мусарев Л.М., Федунов Б.Е. Структура бортовых алгоритмов целераспределения на борту группы самолетов //Изв. РАН, ТиСУ, 2001.№6.
Финн В.К. Об интеллектуальном анализе данных //Новости искусственного интеллекта №3, 2004.
Ярушкина Н.Г. Нечеткие нейронные сети. Новости искусственного интеллекта № 2-3 01.- М.: МЭИ (ТУ), кафедра прикладной информатики, 2001.- 47-51 с
Сергей Бобровский «JAUS: стандарт на разработку военных и мирных роботов». PC Week/ RE, № 38/2004, с. 48.
Фоминых И.Б. Принципы построения гибридных интеллектуальных систем реального времени. Международный конгресс "Искусственный интеллект в XXI веке". – М.: Физ.-мат.литер. 2001. – с.524-533.
Власенко С.В. Методы и средства автоматизированной разработки экспертных систем реального времени // Изв. СПбГЭТУ (ЛЭТИ): Сб. науч. тр. – СПб: СПбГЭТУ, 1998. - Вып.1. – с.15-18.
Литература к главе 2
Афонин В. Л., Крайнев А. Ф., Ковалев В. Е., Ляхов Д. М., Слепцов В. В. Обрабатывающее оборудование нового поколения. Концепция проектирования - М.: Машиностроение, 2001, 256с
Тельнов Ю.Ф. Интеллектуальные информационные системы в экономике/ Уч.пособие, изд. 2-е - М.: "Синтез", 1999.
Вагин В.Н., Оськин П.В. Использование многоагентного подхода в диагностике на основе моделей устройств. //Десятая национальная конференция по искусственному интеллекту с международным участием КИИ-2006 (25-28 сентября 2006 г., Обнинск): Труды конференции. В 3-т., М: Физматлит, 2006.
Валькман Ю.Р., Майстренко С.А. Метазнания-средство эффективного управления распределенными знаниями корпоративных систем. //Десятая национальная конференция по искусственному интеллекту с международным участием КИИ-2006 (25-28 сентября 2006 г., Обнинск): Труды конференции. В 3-т., М: Физматлит, 2006.
Городецкий В.И.,Грушинский М.С.,Хабалов А.В. Многоагентные системы (обзор) //Новости искусственного интеллекта №2, 1998
Горнев В.Ф., Тарасов В.Б. О проектах и мероприятиях по Международной программе "Интеллектуальные производственные системы" //Автоматизация проектирования №2, 1999, с.42-46.
Емельянов В.В. Многоагентная модель управления потоком производственных ресурсов //Труды Международной конференции Интеллектуальное управление: новые интеллектуальные технологии в задачах управления (ICIT'99) Переславль-Залесский, 6-9 декабря 1999 г., 1999.
Котенко И.В., Станкевич Л.А. Командная работа агентов в реальном времени //Новости искусственного интеллекта №3, 2003.
Куриленко И.Е. Повышение эффективности алгоритмов вывода для системы временных рассуждений. //Десятая национальная конференция по искусственному интеллекту с международным участием КИИ-2006 (25-28 сентября 2006 г., Обнинск): Труды конференции. В 3-т., М: Физматлит, 2006.
Стернин М.Ю., Шепелев Г.И. Метод прелставления знаний в интеллектуальных системах поддержки экспертных решений //Новости искусственного интеллекта №4, 2003.
Тарасов В.Б. Агенты, многоагентные системы, виртуальные сообщества: стратегическое направление в информатике и искусственном интеллекте //Новости искусственного интеллекта №2, 1998
Артемьева И.Л. Многоуровневые модели предметных областей и методы их разработки. //Десятая национальная конференция по искусственному интеллекту с международным участием КИИ-2006 (25-28 сентября 2006 г., Обнинск): Труды конференции. В 3-т., М: Физматлит, 2006.
С.Мекид. Повышение структурного интеллекта кластеров датчиков в промышленном производстве // Датчики и системы №4, 2007.
Nahm Y.-E., Ishikawa H. A hybrid multi-agent system architecture for enterprise integration using computer networks // Robotics and Computer-Integrated Manufacturing. — June 2005. — Vol. 21, Issue 3. — P. 217—234.
Hauptmann P. R. Selected examples of intelligent (micro) sensor systems: state-of-the-art and tendencies // Measurement Sci. Technol. — 2006. — Vol. 17, N 3. — P. 459—466.
Tian G. Y., Zhao Z. X., Baines R. W. A fieldbus-based intelligent sensor // Mechatronics. — 2000. — Vol. 10. — P. 835—849
Стецюра Г. Г. Сети интеллектуальных датчиков и исполнительных устройств // Датчики и системы №11, 2005.
Интеллектуальные системы обработки информации на основе нейросетевых технологий: Учеб. пособие. / Ю.И. Зозуля, Уфимск. гос. авиац. техн. ун-т. -Уфа 2000. -138 с
Описание комплекса технических средств СВБУ (КТС СВБУ) и типовых решений). 00229530.51505.001.П9.02.2. Институт проблем управления РАН. СВБУ АСУ ТП АЭС. 2002
Рабочее программное обеспечение и конфигуратор (РПО и К). Руководство системного программиста. 460.0229530.00001-02 32 01. Институт проблем управления РАН. СВБУ АСУ ТП АЭС. 2002
О.Синенко, Н.Куцевич, В.Леньшин. Об интеграции АСУП и АСУТП в единую систему управления предприятием // Промышленные контроллеры и АСУ №10, 2000.
Дульнева В.В., Терлецкий М.Ю Новый iFIX 3.5 и концепция оперативного управления производством компании GE Fanuc Automation // Промышленные АСУ и Контроллеры №5, 2004
Дульнева В.В., Терлецкий М.Ю. Intelligent Production Management – современная концепция интегрированной системы управления производством // Автоматизация в промышленности №1, 2003
Демченко Д.А., Ланский В.Б., Третьяков С.А. Распределенная управляющая сетевая платформа. Построение систем автоматизации зданий // Автоматизация в промышленности №10, 2006.
Костюков В.Н., Костюков А.В., Бойченко С.Н., Костюков Ал.В. АСУ БЭР КОМПАКС - новый класс системы безопасной ресурсосберегающей эксплуатации оборудования. // "Нефть России"специальный выпуск "Информационные технологии, средства автоматизации и поддержки принятия решений в нефтегазовом комплексе". - М., 2004. - С. 29-30.
Масолкин С.И., Промыслов В.Г., Менгазетдинов Н.Э. Диагностика программно технических средств с использованием интеллектуальных агентов // Труды II Международной конференции «Идентификация систем и задачи управления» SICPRO ’03 Москва 29-31 января 2003г.
Литература к главе 3
Рыбина Г.В. Инструментарий для разработки экспертных систем: проблемы и тенденции // Научная сессия МИФИ-2004, том 3, с. 36-38.
Ефимов Е.И. Решатели интеллектуальных задач. - М.: Наука, 1982. - 320с.
Ярушкина Н.Г. Основы теории нечетких и гибридных систем Учебное пособие, М.: Финансы и статистика, 2004. 320 c.
Вагин В.Н. Знание в интеллектуальных системах //Новости искусственного интеллекта №6, 2002
Еремеев А.П., Троицкий В.В. Представление временных и причинно-следственных зависимостей с системах поддержки принятия решений реального времени семиотического типа //Перспективные информационные технологии и интеллектуальные системы №3, 2000
Кобринский Б.А. Извлечение экспертных знаний: групповой вариант //Новости искусственного интеллекта №3, 2004, с.58-66
Осипов Г.С. От ситуационного управления к прикладной семиотике //Новости искусственного интеллекта №6, 2002
Поспелов Д.А. Ситуационное управление: теория и практика , М.: Наука. -Гл. ред. физ.-мат. лит., 1986, -288с.
Журавлев А.Е., Опарин Г.А., Феоктистов Д.Г. Инструментальные средства построения и эксплуатации гибридных экспертных систем вычислительного типа // Вычислительные технологии: Сб. науч. тр., Новосибирск, 1993. - т.2. - N6. - с.13-26.
Яловец А.Л. О некоторых свойствах логико-вычислительной семантической сети. //Десятая национальная конференция по искусственному интеллекту с международным участием КИИ-2006 (25-28 сентября 2006 г., Обнинск): Труды конференции. В 3-т., М: Физматлит, 2006.
Экспертные системы авиационно-космического назначения: Учеб. пособие (гипертекст) / Никитин А.В., Зеленский М.Г., Панков А.В. и др. / СПб ГААП. - СПб., 1993. - 90с.
Емельянов В.В., Ясиновский С.И. Введение в интеллектуальное имитационное моделирование сложных дискретных систем и процессов. Язык РДО. М.: АНВИК, 1998.
Тыугу Э.Х. Концептуальное программирование. - М.: Наука. Глав. ред. физ.-мат. лит-ры, 1984. - 256с.
Бывайков М.Е., Зуенков М.А., Коршунов А.С., Смирнов В.Б., Полетыкин А.Г., Промыслов В.Г. Система «Оператор» и ее применение для управления исследовательскими и промышленными ядерными установками. //Труды института проблем управления РАН. 1996.
Яисновский С.И. SDBuilder: интеллектуальная гибридная система имитационного моделирования и управления сложными дискретными системами // Автоматизация в промышленности №7, 2006.
Бывайков М.Е., Полетыкин А.Г., Байбулатов А.А. Язык логического программирования - ABIS. Труды Института проблем управления РАН, том XXIV, 2004
Частиков А. П., Гаврилова Т. А., Белов Д. Л. Разработка экспертных систем. Среда CLIPS - BHV-Санкт-Петербург, 2003 г., 606 стр.
Еремеев А.П., Троицкий В.В. Модели представления временных зависимостей в интеллектуальных системах поддержки принятия решений // Изв. РАН. ТиСУ. 2003. №5. С. 75-88.
Яковлев В.Б., Власенко С.В. Методика автоматизированного синтеза экспертных систем реального времени // Интеллектуальные системы: Сб. тр. Второго международного симпозиума. - М.: РУДН-ПАИМС, 1996. - т.2. - с.12-17.
Власенко С.В., Родионов В.Д., Тельпт О.Р., Уткин М.А., Яковлев В.Б. Технология автоматизированного проектирования алгоритмического и программного обеспечения бортовых систем управления полетом // Оборонная техника. - М., 1995. - № 9-10. - с.35-39.
Власенко С.В. Специализированное лингвистическое обеспечение комплекса средств поддержки проектирования интеллектуальных систем управления // Управление в социальных, экономических и технических системах: Тез. докл. межреспубликанской научн. конф. - Кисловодск.: КУАООП РФ, 1998. - с.70-74.
Яковлев В.Б., Власенко С.В. Технология автоматизированной разработки встроенных экспертных систем // Первая международная конференция по мехатронике и робототехнике «МиР’2000»: Сб. трудов. СПб.: НПО Омега БФ Омега, 2000. – с.390-393.
Яковлев В.Б., Власенко С.В. Технология синтеза ситуационных экспертных систем реального времени // «Радиоэлектроника и связь». - Вып. 1/15. – 2000
Электронные информационные источники
К главе 1
www.raai.org
www.hpl.hp.com
www.ipsj.or.jp/katsudou/museum/
К главе 2
www.mdpi.org
www.datsys.ru
www.asutp.ru
www.mayak-pkf.ru
www.dynamics.ru
www.easydeltav.com
www.emersonprocess.com
www.frsystems.com
www.siemens.com
www.indusoft.ru
www.pcweek.ru
www.mka.ru
www.cta.ru
www.invensys.com
http://us.wonderware.com
www.datamicro.ru
К главе 3
www.asucontrol.ru
www.avtprom.ru
www.syrus.ru
www31.ipu.rssi.ru
www.gensym.com
http://solutions.sun.com
www.ksce.com
www.haley.com
www.attar.com
www.platinum.com
www.ai-cbr.org
www.cs.cmu.edu
technology.nasa.gov
www.multilogic.com
www.termika.ru
www.ilog.com
www.comdale.com
http://inf.susu.ac.ru
http://asutp.interface.ru
