Методы и средства агрегативно-декомпозиционного синтеза многокомпонентных технических систем тема диссертации и автореферата по ВАК РФ 05.13.12, доктор технических наук Салин, Александр Григорьевич

• Салин, Александр Григорьевич
• доктор технических наук
• 2000

Оглавление диссертации доктор технических наук Салин, Александр Григорьевич

Введение.

Глава 1. Постановка задачи автоматизированного синтеза структур и анализ существующих технологий.

1.1. Формальное описание задачи синтеза структур сложных технических систем.

1.2. Технологии, методы и инструментальные средства синтеза структур на основе компоновки типовых проектных модулей и автоматизации отдельных проектных процедур.

1.3. Применение методов искусственного интеллекта в задачах синтеза структур сложных технических систем.

1.4. Выводы.

Глава 2. Логическая модель проекта и семантическая сеть фреймов как информационная основа синтеза структур и метод декомпозиции элементов.

2.1. Методика автоматизированного синтеза структур многокомпонентных технических систем.

2.2. Формальное описание логической модели проекта как информационной основы синтеза структур.

2.3. Метод синтеза структур на основе декомпозиции элементов и фреймового описания предметной области.

2.4. Процедура сортировки вариантов фрейма декомпозиции элементов по степени подходимости.

2.5. Выводы.

Глава 3. Агрегирование терминальных функций в технологии автоматизированного синтеза структур сложных систем.

3.1. Метод синтеза структур на основе агрегирования терминальных функций.

3.2. Процедура агрегирования однородных терминальных функций.

3.3. Процедура агрегирования терминальных функций различного типа.

3.4. Организация обучения САПР приемам работы проектировщика в части агрегирования терминальных функций.

3.5. Выводы.

Глава 4 Методы синтеза структур на основе агрегирования связей логической модели проекта и ее постсинтезной обработки.

4.1. Метод синтеза структур на основе агрегирования связей логической модели проекта.

4.2. Процедура слияния элементов ЛМП как составная часть процесса синтеза структур.

4.3. Свертка логической модели проекта как способ ее модификации.

4.4. Формирование задания на синтез и его ретрансляция в лингвистическое описание.

4.5. Выводы.

Глава 5. Автоматизация документирования логической модели проекта и агрегативно-декомпозиционный подход к решению различных задач ее построения.

5.1. Метод автоматизированного документирования логической модели проекта с помощью графических фреймов.

5.2. Процедура декомпозиции связей при синтезе структур.

5.3. Процедура врезки клеммников как составная часть процесса синтеза структур электротехнических систем.

5.4. Процедура разводки общих точек при синтезе структур.

5.5. Процедура-построения кабелей электротехнических систем как составная часть синтеза структур.

5.6. Выводы.

Глава 6. Программная реализация и практическое применение разработанной агрегативно-декомпозиционной технологии.

6.1. Организация программных средств автоматизированного синтеза структур сложных технических систем.

6.2. Лингвистическое обеспечение автоматизированного синтеза структур сложных технических систем.

6.3. Практическое применение разработанной технологии при автоматизированном проектировании систем контроля и управления.

6.4. Выводы.

Введение диссертации (часть автореферата) на тему «Методы и средства агрегативно-декомпозиционного синтеза многокомпонентных технических систем»

Постоянное возрастание требований к качеству проектирования сложных технических систем в энергетике и электротехнике, необходимость сокращения сроков и стоимости разработки проектов выдвинули проблему автоматизации проектирования сложных технических систем в ряд важнейших проблем науки и техники.

Особое значение эта проблема приобретает в условиях рыночной экономики, когда проектные и другие организации получают заказы на проектирование объектов в результате тендеров (торгов).

В настоящее время в процессе проектирования сложных систем имеется ряд трудно формализуемых этапов, которые нарушают системность процесса автоматизированного проектирования. Одной из наиболее сложных задач при проектировании технических систем является задача синтеза структуры проектируемой системы.

Существующие в настоящее время, как в нашей стране, так и за рубежом технологии автоматизированного проектирования структурно сложных многокомпонентных систем основаны или на автоматизации отдельных проектных процедур и операций, или на использовании типовых проектных модулей и сборке из них модели проекта или на ручном формировании модели проектируемой системы и ее дальнейшем использовании.

Эти технологии и поддерживающие их инструментальные и программные средства достаточно эффективны лишь при проектировании достаточно простых структур и не позволяют обеспечить сквозную автоматизацию процесса, проектирования, а, следовательно, существенно повысить производительность труда проектировщиков и качество проектов и сократить сроки проектирования.

Поэтому разработка комплекса методов автоматизированного синтеза структур многокомпонентных технических систем и поддерживающих их инструментальных средств представляет собой актуальную научно-техническую проблему. Ее теоретическое решение и практическая реализация в виде программных, информационных и организационных средств позволит обеспечить сквозную автоматизацию процесса проектирования структурно сложных технических систем, существенно повысить производительность труда проектировщиков и качество проектов, сократить сроки проектирования.

Целью работы является разработка, исследование и применение методов, алгоритмов и процедур автоматизированного синтеза структур многокомпонентных технических систем на основе представления предметной области в виде сети фреймов и ее гомоморфного отображения на логическую модель проекта.

Достижение указанной цели предполагает решение следующих задач:

1. Анализ существующих технологий и инструментальных средств синтеза структур многокомпонентных систем.

2. Разработка и реализация метода синтеза структур на основе декомпозиции элементов предметной области и их фреймового описания.

3. Разработка и реализация метода синтеза структур на основе агрегирования терминальных функций.

4. Разработка и реализация метода синтеза структур на основе агрегирования связей между элементами и функциями предметной области.

5. Разработка и реализация метода автоматизированного документирования синтезированной логической модели проекта на основе использования графических фреймов и их привязки к узлам сети ЛМП.

6. Применение разработанных методов для решения задачи декомпозиции функциональных связей.

7. Применение разработанных методов для решения задачи синтеза монтажного описания проектируемой системы в логической модели проекта.

8. Программная реализация разработанных методов и алгоритмов.

9. Создание баз данных и знаний для различных типов структурно сложных многокомпонентных технических систем.

10.Практическое применение и исследование разработанной технологии для различных видов структурно сложных систем.

В первой главе работы дается формальное описание задачи синтеза структур многокомпонентных технических систем с выделением четырех основных состояний проектируемой системы: техническое задание, функциональное, принципиальное и монтажное состояние. Дан обзор и анализ основных направлений в области синтеза структур сложных технических систем и рассмотрены вопросы применения методов искусственного интеллекта в задачах синтеза структур.

Во второй главе дано описание методики автоматизированного синтеза структур как последовательности трех этапов в соответствии с состояниями логической модели проекта. Дано описание семантической сети фреймов и логической модели проекта как информационной основы автоматизированного синтеза структур. Предложены метод синтеза структур на основе декомпозиции элементов предметной области и их фреймового описания и процедура сортировки вариантов фрейма декомпозиции элементов по степени подходимости. Приведены примеры из предметной области систем контроля технологических параметров.

В третьей главе предложен метод синтеза структур на основе агрегирования терминальных функций и фреймового представления знаний предметной области. Даны раздельные описания разработанного метода структур для случаев агрегирования однородных терминальных функций и терминальных функций различного типа. Предложен способ организации обучения САПР приемам работы проектировщика в части агрегирования терминальных функций для повышения степени автоматизации процесса проектирования. Приведены примеры из предметной области, как традиционных систем контроля технологических параметров, так и микропроцессорных.

В четвертой главе предложен метод синтеза структур на основе агрегирования связей между элементами предметной области и фреймового представления знаний. Приведены процедуры постсинтезной обработки логической модели проекта, обеспечивающие продление ее жизненного цикла и функциональную полноту самого процесса синтеза: слияния элементов предметной области, свертки логической модели проекта, автоматизированного формирования задания на синтез и ретрансляции логической модели проекта в лингвистическое описание. Приведены примеры из предметной области систем контроля технологических параметров.

В пятой главе предложен метод автоматизированного документирования синтезированной логической модели проекта на основе использования графических фреймов и их привязки к узлам сети ЛМП. Описан агре-гативно-декомпозиционный подход к задачам декомпозиции функциональных связей логической модели проекта и синтеза монтажного описания проектируемой системы в логической модели проекта, представляющего собой последовательное выполнение трех процедур: врезки клемм-ников, разводки общих точек и построения кабелей. Приведены примеры из предметной области систем контроля технологических параметров.

В шестой главе приведена организация программных средств автоматизированного синтеза структур. Приведена структура программной системы Mirage-ADT, реализующей предложенные методы. Описано лингвистическое обеспечение автоматизированного синтеза структур. Приведено формальное описание и примеры операторов языка YRD, являющегося основой лингвистического обеспечения. Рассмотрены вопросы практического применения разработанной технологии для автоматизированного проектирования систем контроля и управления. Даны конкретные предложения по структуре организационного обеспечения САПР при автоматизированном синтезе структур.

Научная новизна работы состоит в следующем:

1. Разработана концепция комплексной сквозной автоматизации процесса проектирования многокомпонентных технических систем путем автоматизированного синтеза ее структуры на основе представления предметной области в виде сети фреймов и ее гомоморфного отображения на логическую модель проекта.

2. Разработан метод синтеза структур на основе декомпозиции элементов предметной области и их фреймового описания.

3. Разработан метод синтеза структур на основе агрегирования терминальных функций.

4. Разработан метод синтеза структур на основе агрегирования связей между элементами области.

5. Разработан метод автоматизированного документирования синтезированной логической модели проекта на основе использования графических фреймов и их привязки к узлам сети ЛМП.

6. Предложен агрегативно-декомпозиционный подход к решению задачи декомпозиции функциональных связей.

7. Предложен агрегативно-декомпозиционный подход к решению задачи синтеза монтажного описания проектируемой системы в логической модели проекта.

Практическая ценность результатов работы заключается в следующем:

1. Разработанные методы и алгоритмы реализованы в программноинформационном инструментальном комплексе автоматизированного синтеза структур многокомпонентных технических систем.

2. Разработаны структуры и заполнены фреймами базы данных и знаний различных предметных областей структурно сложных технических систем: систем контроля технологических параметров, систем учета тепловой и электрической энергии, систем электроснабжения и систем электросвязи (городской проводной телефонии).

3. Проведено практическое применение разработанной технологии для разработки проектной документации различных энергетических и электротехнических объектов.

4. Проведенные исследования применения новой технологии показали повышение производительности труда проектировщиков в несколько раз одновременно с повышением качества проектов.

5. Универсальность разработанных инструментальных средств позволила применить их не только на стадии проектирования объекта, но и на стадиях монтажа, наладки и эксплуатации, продлив тем самым жизненный цикл логической модели проекта.

Реализация результатов работы.

Диссертационная работа начинала выполняться в соответствии с заданиями комплексных целевых программ ГКНТ (ОЦ.026) и ГКВТИ (0.80.02) СССР, связанными с разработкой методов синтеза структур технического обеспечения АСУТП. В дальнейшем она выполнялась в рамках программ ГОСКОМВУЗа РФ и МИНОБРАЗОВАНИЯ РФ: "Перспективные информационные технологии в высшем образовании" (подпрограмма "Информатизация проектирования"), "Конверсия и высокие технологии", "Перспективные разработки высшей школы в области производственных технологий" (подпрограмма "Интеллектуальные САПР").

Разработанная технология и реализующие ее программные средства внедрены в 12 различных проектных, монтажных, наладочных и эксплуатационных предприятиях и организациях: ЗАРУБЕЖЭНЕРГОПРОЕКТ г. Иваново; ТЕПЛОЭЛЕКТРОПРОЕКТ г. Москва; МОСЭНЕРГОПРОЕКТ г. Москва; УРАЛГИПРОМЕЗ, г. Екатеринбург; ЭНЕРГОСТРОЙМОНТАЖ г. Ярославль; СЕВЗАПВНИПИЭНЕРГОПРОМ г. С.-Петербург; УРАЛВНИ-ПИЭНЕРГОПРОМ г. Екатеринбург; НПО СИСТЕМОТЕХНИКА г. Иваново; ГОСНИИХЛОРПРОЕКТ г. Москва; ИВЭЛЕКТРОНАЛАДКА г. Иваново; ТЭЦ-1 г. Ярославль; ЭЛЕКТРОЦЕНТРОНАЛАДКА г. Москва.

Кроме этого разработанные методы и программно-информационно-методический комплекс внедрены в учебный процесс в ИГЭУ на кафедрах Систем управления в курсе «Автоматизация проектирования систем управления», Информационных технологий в курсе «Информационные технологии в системе научно-технической информации» и ВТ и САПР в курсе "Системы искусственного интеллекта".

В рамках разработанной технологии были выполнены многочисленные проекты сложных технических систем в энергетике и электротехнике, наиболее значимыми из которых являются: СКУ блока 330 МВт ТЭЦ Ме-лите-Ахлада во Флорине (Греция); СКУ ТЭС Рамин, блоки №5,6 по 300 МВт (Иран); СКУ ТЭС Костолац дубль-блок 100 МВт (Югославия); СКУ ТЭС Харта (Ирак) блоки 200 МВт;. АСУТП блока ПТУ 450 МВт СевероЗападная ТЭЦ г. С.-Петербург; АСУТП Мутновской Геотермальной ЭС (Камчатка); система контроля и телемеханики третьего теплового кольца г. Москвы, СКУ ГЭС-1 МОСЭНЕРГО; СКУ ВПУ ТЭС Нассирия (Ирак); СКУ ВПУ ТЭЦ-25 МОСЭНЕРГО; система учета энергоресурсов Нижегородской ГРЭС; система учета энергоресурсов Ивановской ТЭЦ-3; система учета энергоресурсов Ярославских тепловых сетей; АСУТП электрокотельной поселка Зейской ГЭС (Амурская область); системы регулирования блоков Йошкар-Олинской ТЭЦ-1 и Пензенской ТЭЦ-1; АСУТП К А N6 и

N7 Ярославской ТЭЦ-1; СКУ ВПУ Владимирской ТЭЦ и другие.

Программный комплекс Mirage-ADT зарегистрирован в РОСПАТЕНТЕ РФ.

Основные функциональные и технологические возможности разработанного программно-информационного комплекса представлены на страничке «САПР Mirage-ADT» сайта ИГЭУ в Интернете.

Достоверность и обоснованность обеспечивается использованием теории сложных иерархических систем, моделей представления знаний теории искусственного эксперимента, методов дискретной математики а также внедрением разработанных программно-информационных средств в практику автоматизированного проектирования сложных технических систем в энергетике и электротехнике.

Личный вклад автора в решение проблемы. Настоящая диссертация является результатом многолетней работы, проводившейся под руководством и при непосредственном участии автора. Результаты, составляющие основное содержание диссертации, получены автором самостоятельно. В работах, опубликованных в соавторстве, автору принадлежат основные идеи в части автоматизированного синтеза структур сложных технических систем и их автоматизированного документирования.

Проблематикой структурного синтеза автор занимается еще со студенческих времен (тема дипломного проекта "Разработка подсистемы структурного синтеза моделей для САПР САУ и ее применение для исследования САУ парогенераторами Ново-Салаватской ТЭЦ БАШКИРЭНЕР-ГО", Иваново, ИЭИ, 1979 г.). В 80-х годах была предпринята попытка комплексного решения проблемы автоматизированного проектирования структурно-сложных систем в рамках комплексной целевой программы ОЦ.026. ГКНТ СССР. В рамках этой программы Челябинским политехническим институтом по техническим условиям Ивановского энергетического института был разработан ППП ДИПСТРУП для ЭВМ серии ЕС. Этот пакет позволял описывать предметную область в виде И-ИЛИ дерева с помощью формального аппарата контекстно-свободных грамматик. Попытки применить этот пакет для синтеза структур сложных технических систем в энергетике и электротехнике столкнулись с рядом трудностей. Во-первых, он не позволял синтезировать многофункциональные технические элементы, а во-вторых, теоретически не решалась задача декомпозиции функциональных связей в технические. Автором была сформулирована проблема и был предложен инструментарий синтеза технических структур на основе агрегирования функций в многофункциональные технические элементы и декомпозиции векторных связей на основе их семантического описания. Автором впервые было предложено использовать фреймовую модель для описания предметной области синтеза структур сложных технических систем. Предложенные методы были защищены в рамках кандидатской диссертации (тема диссертации "Разработка и исследование инструментальных средств синтеза технических структур сложных систем на примере АСУ ТП", Иваново, ИЭИ, 1990 г.). Предложенные методы были реализованы в рамках программной системы ДИСПР-КТС, ориентированной на ЭВМ серии ЕС. Предполагалось, что процедуры синтеза в монтажной части и документирования синтезированной модели будут решаться другими специализированными программными средствами в рамках интегрированной САПР. Однако существующие программные системы формирования монтажного описания и выдачи результатов в табличной форме по отраслевых стандартам не подходили для энергетики и электротехники. К тому же графическое документирование на ЭВМ серии ЕС было сильно затруднено. С появлением персональных компьютеров в начале 90-х годов автором был предложено для декомпозиции функций также использовать формальный аппарат фреймов. Также автором были предложены и реализованы основные операторы языка YRD (прототипом которого является язык МЕТР-2 ППП ДИПСТРУП), в том числе операторы "Вариант фрейма" и оператор "Отношение" для компактного описания предметной области. К этому времени процедуры синтеза монтажной части модели проекта решались специализированными программными средствами, которые требовали постоянной доработки в связи с изменением начальных условий. Автором было предложено использовать для синтеза модели проекта в монтажной части универсальный инструментарий, основанный на новом методе агрегирования связей предметной области и транзитном типе фрейма декомпозиции элементов. Для автоматизированного документирования синтезированной модели проекта автором был предложен метод, основанный на привязке графического фрейма к узлам семантической сети логической модели проекта и последующей автоматической трассировке связей модели проекта в поле чертежа. Затем автором была предложена и табличная трассировка связей модели проекта в поле чертежа.

Автором была предложена концепция формирования в процессе синтеза логической модели проекта и ее дальнейшее использование на следующих этапах жизненного цикла. Автором были предложены и реализованы различные виды свертки логической модели проекта, что обеспечило ее оперативную корректировку, как при проектировании, так и на следующих этапах ее жизненного цикла: монтажа, наладки и эксплуатации.

Автором были самостоятельно программно реализованы практически все предложенные методы синтеза структур и документирования синтезированной модели в форме графических документов в рамках программной системы Mirage-ADT (последняя версия 5.02). Также автором в составе программного комплекса Mirage-ADT предложена концепция и разработана программа автоматического порождения графических фреймов AutoFrame (последняя версия 2.0), позволяющая автоматически генерировать графические фреймы для документирования электротехнических систем по их текстовому описанию.

Кроме этого автором были описаны (заполнены и отлажены базы данных и знаний) следующие предметные области: системы контроля технологических параметров, системы учета тепловой и электрической энергии, системы электросвязи (городской телефонии), системы электроснабжения, разработка сметной документации.

Под руководством и при непосредственном участии автора выполнен ряд проектов сложных технических систем в энергетике и электротехнике с исследованием изменений в технологии проектирования с хронометражем выполнения различных проектных процедур и операций. Так проект системы учета тепловой энергии с числом точек контроля 140 (температура, давление, расход) был выполнен автором за 7 рабочих дней при нормативе свыше 3-х человеко-месяцев.

Апробация работы. Материалы диссертации представлены на следующих международных, всесоюзных, республиканских региональных конференциях и семинарах:

- IX, X, XI, XII научно-методические семинары "Автоматизация проектирования в энергетике и электротехнике» - Челябинск - Иваново - Новочеркасск - Иваново, 1985 - 1988 гг.;

- III Всесоюзная научно-техническая конференция по программному, алгоритмическому и техническому обеспечению АСУТП, Ташкент, 1985г.;

- XI Всесоюзное научно-техническое совещание по созданию и внедрению систем автоматического и автоматизированного управления технологическими процессами, Новгород, 1986г.;

- Всесоюзная научно-техническая конференция по состоянию и перспективам развития электротехнологии, Иваново, 1987г.;

- научно-технический семинар по теории и практике интегрированных САПР, Челябинск, 1988г.;

- III областная научно-техническая конференция молодых ученых, Иваново, 1989 г.;

- Всесоюзном научно-координационном совещании "Методы проектерования интегрированных АСУТП", Львов, 1988 г.;

- Научно-техническом совещании по разработке интегрированной САПР АСУТП для черной металлургии, Свердловск, 1988 г.;

- Республиканской научно-технической конференции "Использование вычислительной техники и САПР в научно-исследовательских и опытно-конструкторских работах", Владимир, 1989 г.;

- Международная конференция по компьютерной графике "КОГРАФ-96", Н.Новгород, 1996 г.;

- Международная конференция "Современное состояние, проблемы и перспективы развития Российской экономики. Кондратьевские чтения", Иваново, 1996 г.;

- II,III Республиканская электронная научная конференция "Современные проблемы информатизации", Воронеж, 1997, 1998 гг.;

- Международная научно-техническая конференция "Информационная среда вуза", Иваново, 1997, 2000 г.;

- Международная научно-техническая конференция "Управление в технических системах", Ковров, 1998 г.;

- Юбилейная научно-техническая конференция "Передовой опыт и основные направления повышения эффективности и надежности ТЭС", Вол-гореченск, 1999 г.;

- Международная научно-техническая конференция VIII,IX Бенардо-совские чтения, Иваново, 1997, 1999 гг.;

- Международная техническая конференция "Природоохранные мероприятия на Российских ТЭЦ". Конференция по результатам пилотного проекта ERUS 9309 в рамках программы TACIS, Москва, ноябрь 1998 г., С.-Петербург, декабрь 1998 г.

Публикации. Содержание основных положений диссертации отражено в 56 печатных работах. В том числе: 1 монография, 2 методических указания, 9 статей в центральных журналах (в том числе 3 в зарубежных),

Заключение диссертации по теме «Системы автоматизации проектирования (по отраслям)», Салин, Александр Григорьевич

6.4.Выводы

6.4.1. Разработанные программные средства позволяют осуществлять синтез структур различных статически сложных многокомпонентных технических систем.

6.4.2. Организация данных обеспечивает гибкую последовательность проектных процедур и операций.

6.4.3. Язык описания структур YRD обеспечивает лингвистическую интерпретацию, как узлов семантической сети фреймов, так и задания на синтез логической модели проекта.

6.4.4. Применение разработанных программных средств позволяет сократить сроки выполнения проектных работ, а также повысить качество проектов за счет возможности многовариантного проектирования и уменьшения ошибок, неизбежных при неавтоматизированном проектировании.

ЗАКЛЮЧЕНИЕ

В результате проведенных исследований решены основные проблемы комплексной сквозной автоматизации процесса проектирования многокомпонентных технических систем на основе автоматизированного синтеза структур. Разработаны совокупность методов автоматизированного синтеза и поддерживающие их инс грументальные средства. Создан программно-информационный комплекс, реализующий разработанные методы и алгоритмы. Основные результаты, полученные в работе, сводятся к следующему:

1. Разработана концепция комплексной сквозной автоматизации процесса проектирования структурно сложных технических систем путем автоматизированного синтеза ее структуры на основе представления предметной области в виде сети фреймов и ее гомоморфного отображения на логическую модель проекта.

2. Разработан метод синтеза структур на основе декомпозиции элементов предметной области и их фреймового описания.

3. Разработан метод синтеза структур на основе агрегирования терминальных функций.

4. Разработан метод синтеза структур на основе агрегирования связей между элементами области.

5. Разработан метод автоматизированного документирования синтезированной логической модели проекта на основе использования графических фреймов и их привязки к узлам сети ЛМП.

6. Предложен агрегативно-декомпозиционный подход к решению задачи декомпозиции функциональных связей. Предложен агрегативно-декомпозиционный подход к решению задачи синтеза монтажного описания проектируемой системы в логической модели проекта.

264

Результаты выполненной работы получили следующее применение:

• Разработанная технология и реализующие ее программные средства внедрены в промышленную эксплуатацию в 12 различных проектных, .монтажных, наладочных и эксплуатационных предприятиях и организациях: ЗАРУБЕЖЭНЕРГОПРОЕКТ г. Иваново; ТЕПЛОЭЛЕКТРОПРОЕКТ г. Москва; МОСЭНЕРГОПРОЕКТ г. Москва; УРАЛГИПРОМЕЗ, г. Екатеринбург; ЭНЕРГОСТРОЙ-МОНТАЖ г. Ярославль; СЕВЗАПВНИГШЭНЕРГОПРОМ г. С.Петербург; УРАЛВНИПИЭНЕРГОПРОМ г. Екатеринбург; НПО СИСТЕМОТЕХНИКА г. Иваново; ГОСНИИХЛОРПРОЕКТ г. Москва; ИВЭЛЕКТРОНАЛАДКА г. Иваново; ТЭЦ-1 г. Ярославль; ЭЛЕКТРОЦЕНТРОНАЛАДКА г. Москва.

• Разработанные методы и программно-информационно-методический комплекс внедрены в учебный процесс в ИГЭУ на кафедрах Систем управления в курсе «Автоматизация проектирования систем управления» , Информационных технологий в курсе «Информационные технологии с системах научно-технической информации» и ВТ и САПР в курсе "Системы искусственного интеллекта".

Результаты внедрения подтверждаются соответствующими актами.

Список литературы диссертационного исследования доктор технических наук Салин, Александр Григорьевич, 2000 год

1. Autumated desing for concurrent engineering/ Darr Timothy P., Birmingam William P.//1.EE Expert.-1994.-9, №5.-p.35-42.

2. Dermott J.Mc, Rl.A Rule-Based Configurer of Computer Systems//Artificial Intillegence, 1982, vol.19, №1, p.39-88.

3. Dermott J.Mc, Rl's formative years, 1981, AI Magazine,2.

4. E.S. Tselishchev, A.G.Salm, V.V.Sedov, A.V.Kozlov, V.N.Nikol'skii Intelligent Technology for Automated Design of Monitoring and Control Systems// VGB PowerTech.International Journal for Power Plant Technology, Germany, № 6,1999, p.33-37.

5. Futura H., Tuk-sand Tao T.P. Structural engineering application of expert system // CAD. 1985. Vol. 17. № 9. P. 410-419.

6. Levin M.Sh., Towards Combinatorial Models of Synthesis, Technical Report 96-1-002, The University of Aizu, 1996.

7. Levin M.Sh., "Improvement of Decomposable Systems". Advances in Concurrent Engineering, 3rd ISPE Intl. Conf. on Concurrent Engineering, Toronto, 1996, 319-325.

8. Metodology of the Creation of Machinery as a Basis of Presentation of Knowledge in the CAD-Systems. Y.M. Solomentsev, G.D. Volkova. International Conference. Information Technology in Design. EWITD'94 Proceeding.

9. Minsky M. A Framework for Presenting Knowledge//AI Memo 306. MIT. June, 1974.

10. Process descruiption as the basis for control system design/Tommila Teemu//Autom.Meth.and Toolsmg 90,s:Conf.Helsmki, 18-20 Sept., 1990: Abstr-Helsinki, 1990,pl6.

11. Rychmer M.D. Expert system for engineering design // Experts. January 1985. Vol. 2. №1. p. 30-44.

12. The Role of IT in Handling the Information Requirements of the Design Team. Stephen I. Culley, Andrew W. Court, Christopher A. Kekahon. International Conference. Information Technology in Design. EWITD'94 Proceeding.

13. Zeitsparende Systemstrukturirung in der Prozesleittechnik. Graf Otto, Wettach Stefan. "Siemens Energ.und Autom.", 1987, 9, Spec."Hannover-Messe Ind.1987", 25-27.

14. A MIMO control system desing expert advisor. Walker Robert A., Badgett Melvin E., Kosut Robert L., Shan Sinil C.'AiAA Guid.Navig.and Contr.Conf.,Williamsburg.,Va, Aug. 18-20, 1086, Collect Tech.Pap." New York, N.Y., S.a.938-944.

15. An expert system for control systems desing. LeVan David 0."18th Asilomar Conf. Circuits, Syst. And Comput. Pacific Grove., Calif., Nov.5-7, 1984, Conf Rec." Washington, D.C., 1985, 252-256.

16. Автоматизация поискового конструирования. (Искуственый интеллект в машинном проектировании) / Под ред. А. И. Половинкина. Радио и связь.-1981.-344 с.

17. Автоматизация проектирования АСУ / А. Г. Мамиконов, А. Д. Цвик-рун, В. В. Кульба.-М.: Энергия, 1981.-432 с.

18. Айгнер М. Комбинаторная теория.-М.:Мир, 1982.-558 с.

19. Алгебраическая теория автоматов, языков и полугрупп/Пер.с англ., под ред. М.Арбиба.-М.:Статистика, 1975.-335 с.

20. Алгоритмы оптимизации проектных решений/Под ред. А. И. Половинкина. М.: Энергия.-1976.-264 с.

21. АСУ ТП. Теория и технология автоматизированного проектирования/В. И. Скурихин, В.В. Дубровский, В. Б. Шифрин, Н. Г. Бизюк. Киев : Наукова думка, 1988.-284 с.

22. Ахо А., Ульман Дж. Теория синтаксического анализа и компиляции.-М.: Мир, 1978,- 343 с.

23. Байдун В.В., Бунин А.И. Языки и системы представления знаний.-М.:МЭИ, 1994.

24. Баклан И.В. Вопросы формализации представления знаний в САПР сложных систем управления. Киевский политехи. Институт, Киев, 1987, с.20.

25. Боровский А.В., Салин А.Г., Турянский И.Л., Целищев Е.С. Автоматизация проектирования комплекса технических средств АСУТП//Сталь, 1989, N5, с. 88-90.

26. Бородулин Ю.Б., Гусев В.А., Кондрашин А.В., Чапцов Р.П. Архитектура и принципы построения базовой системы автоматизированного проектирования объектов электроники и энергетики.-Известия вузов, Электромеханика, 1978, № 9, с. 919-922.

27. Бусленко И.П.Моделирование сложных систем.-М.:Наука,1968.-356с.

28. Бусленко И.П.Моделирование сложных систем.-М.:Наука, 1978.-400с.

29. Бусленко И.П., Калашников В.В., Коваленко И.Н. Лекции по теории сложных систем. М.:Советское радио, 1973.-440 с.

30. Буч Г. Объектно-ориентированное проектирование с примерами применения/Пер. с англ.;Под ред. Артамошкина А.Н.-М.Конкорд, 1992.-519с.

31. Гарбарчук В.И. Проблемы автоматизации проектирования и пути их решения.-Киев. .УкрНИИНТИ, 1981.

32. Гинзбург М.Д. Обработка и распознавание сложной графической информации в интегрированной системе автоматизированного проектирования "Сапфир-92'7Управляющие системы и машины, 1995.-№3. с.72-77.

33. Гинзбург М.Д. Разработка современной интерактивной технологии проектирования систем автоматизации технологических процессов/ Автоматизация и современные технологии, 1992. №12. с. 10-15.

34. Гинзбург М.Д. Технология проектирования схем систем автоматизации технологических процессов в АРМ "Сапфир 9Г7Управляющие системы и машины, 1992.-№9.-с. 74-79.

35. ГОСТ 34.201-89. Информационная технология. Комплекс стандартов на автоматизированные системы. Виды, комплектность и обозначение документов при создании автоматизированных систем, 1991.

36. ГОСТ 34.601-90. Информационная технология. Комплекс стандартов на автоматизированные системы. Автоматизированные системы. Стадии разработки. 1991.

37. Гриценко В.И., Поныпин Б.Н. Информационная технология: вопросы развития и применения.-Киев.Наукова думка, 1988.-268 с.

38. Давиденко К.Я. Современное состояние автоматизации проектирования АСУ ТП., М.: Машиностроение, 1985.-65 с.

39. Демидевич Б.П., Марон И.А. Основы вычислительной математики.-М.:Наука, 1966.-664 с.

40. Дмитров В.И., Норенков И.П. STEP и CALS технологии // Информационные технологии/1998, №5, с.38-43.

41. Елизарова Н.Н., Целищев Е.С., Салин А.Г. Методические указания к лабораторным работам по курсу "Информационные технологии в СИТИ". Иваново, ИГЭУ, 1999, 51 с.

42. Жданов А. А., Шадринцев И. С., Запускалов В. Г., Рябцов В. К. и др. Применение методов теории информации для структурного анализа и синтеза дискретных устройств и систем управления. Ред. ж. Приборы и системы управления. Деп. № 2945., М.: 1984,- 9 с.

43. Интеллектуализация ЭВМ/Е.С.Кузин, А.И.Ройтман, И.Б.Фоминых и др.; под.ред. Ю.М.Смирнова.-М.:Высшая школа, 1989.-159 с.

44. Интеллектуальные системы автоматизированного проектирования больших и сверхбольших интегральных микросхем/В.А.Мищенко, Л.М.Городецкий, Л.И.Гурский и др.;Под ред. В.А.Мищенко.-М.:Радио и связь, 1988.-272 с.

45. Информационные объекты ISO 10303/Дмитров В.И., Макаренков Ю.М.//Автоматизация проектирования, 1997, №2.

46. Касти Дж. Большие системы. Связность, сложность и катастрофы/Пер с англ.; Под ред. Ю.П.Гупало и А.А.Пионтковского.-М.Мир, 1982.-115 с.

47. Керн Г., Керн Т. Справочник по математике.-М.Наука, 1977.-832 с.

48. Клещев А.С. Фреймы//Представление знаний в человеко-машинных и робототехнических системах. -М.: ВИНИТИ, 1984.-т.с.-с.122-135.

49. Клир Дж. Системология. Автоматизация решения системных задач/Пер. с англ.; Под ред. Горлина А.И.-М.:Радио и связь, 1990.-539 с.

50. Комарцева Л.Г. Поисковое конструирование распределенных вычислительных систем с использованием генетического алгорит-ма//Информационные технологии / 2000, № 5, с.25-30.

51. Кондрашин А.В., Салин А.Г., Целищев Е.С. Методы синтеза технической структуры АСУТП и их программная реализа-ция//Тез.докл.Всесоюзн. научно-техн. конф. по состоянию и персп. разв. электротехнол.-Иваново, 1987, с. 125.

52. Кондрашин А.В., Салин А.Г., Целищев Е.С. Технология проектирования систем локальной автоматики в АСУТП на базе диалоговых средств ДИСПР-КТС//Тез.докл. XII научно-мет. семинара по ав-том.проектир.в энерг.и электр.-Иваново, 1988, с.10-16.

53. Корячко В.П., Курейчик В.М., Норенков И.П. Теоретические основы САПР.-М.:Энергоатомиздат, 1987.-400 с.

54. Красилов А. За горизонтом экспертных систем //Открытые системы/ 1996, №6.

55. Кристофер Дж. Методы проектирования.-М.:Мир, 1986.

56. Крон Г. Исследование сложных систем по частям диакопти-ка,М.,1972.

57. Кузьмин П.К., Норенков И.П., Трудношин В.А. Компонентно-ориентированные технологии в САПР //Информационные технологии / 2000, №3,с.13-16.

58. Кузин Л.Т. Основы кибернетики.-Т.2: Основы кибернетических моделей,- М.:Энергия, 1979,- 584 с.

59. Левин М.Ш. Комбинаторное проектирование систем //Автоматизация проектирования/1997, №4

60. Липский В. Комбинаторика для программистов: Пер. с польск,-М.:Мир, 1988.- 213 с.

61. Литвинов В.В. Математическое обеспечение проектирования вычислительных систем и сетей. Киев: Техника, 1982.-176 с.

62. Мамиконов А. Г. Основы построения АСУ: учебник для вузов.-М.:Высшая школа, 1981.-248 с.

63. Мамиконов А. Г., Цвикрун А. Д., Кульба В. В. Автоматизация проек-тироваия АСУ. М.:Энергоиздат, 1981.-328 с.

64. Матвеев Л.Г., Павлов И.О., Ошивалов А.В. Представление знаний с использованием сетей фреймов в информационных технологиях выбо-ра//Информационные технологии/ 1997, № 10, с.27-30.

65. Месарович М., Мако Д., Такахара Я. Теория иерархических многоуровневых систем. М.: Мир, 1973.-343 с.

66. Месарович М., Такахара Я. Общая теория систем: математические основы. М.:Мир, 1978.-312 с.

67. Методы анализа и синтеза структур управляющих систем/Б.Г.Волик, Б.Б.Буянов, Н.В.Лубков и др.:Под ред. Б.Г.Волика.-М.:Энергоатомиздат, 1988.-296 с.

68. Михалевич B.C., Волкович В.Л. Вычислительные методы исследования и проектирования сложных систем.-М.:Наука, 1982.

69. Муртаф Б. Современное линейное программирование: Пер.с англ. -М.: Мир, 1984.-224 с.

70. Мякишев Дм. Объектно-ориентированное проектирование на основе эталонных моделей/Юткрытые системы/ 1998, N3.

71. Наумов Н.А. Некоторые вопросы структурного проектирования. Перепринт М.: НПМ АН СССР, вып. 142, 1979.-76 с.

72. Наумович М.С. Решение задач смешанного целочисленного линейного программирования методом ветвей и границ/Математическое обеспечение ЕС ЭВМ, 1979, вып.21, с.22-27.

73. Никольский В.Н., Целищев Е.С., Салин А.Г. Прокладка трасс при изготовлении графических документов/ЛГезисы международной конференции по компьютерной графике "КОГРАФ-96", Н.Новгород, 1996, с. 111113.

74. Новохатько Ю.А., Целищев Е.С., Салин А.Г. Использование объектно-ориентированного подхода при проектировании фреймовой модели знаний/Тез.докл.междунар.научно-техн. конф. VIII Бенардосовские чтения, Иваново, 1997, с. 57-58.

75. Норенков И.П. Введение в автоматизированное проектирование технических устройств и ситем.-М.:Высшая школа, 1980.-311 с.

76. Норенков И.П. Генетический алгоритм структурного синтеза проектных решений//Информационные технологии / 1998, № 1, с.9-13.

77. Общее описание системы автоматизированного проектирования комплекса технических средств локальной автоматики (ДИСПР-КТС)/Кондрашин А.В., Целищев Е.С., Салин А.Г.//Отчет ИЭИ, №ГР0183002692, Иваново, 1984, 55 с.

78. Объектно-ориентированный подход и интеграция знаний/Дмитров В.И., Макаренков Ю.М.//Автоматизация проектирования, 1997, №2.

79. Оптимизация структур данных в АСУ/А.Г.Мамиконов, А.А.Алымов, В.В.Кульба и др.-М.:Наука, 1988.-256 с.

80. Оре О. Теория графов.-М.:Наука, 1980.-336 с.

81. Основные элементы языка Express/Дмитров В.И., Макаренков Ю.М.//Автоматизация проектирования, 1997, №2.

82. Основы кибернетики. Математические основы кибернетики/Под ред. Пупкова К.А.-М.: Высшая школа, 1974.-416 с.91.0суча С. Обработка знаний: Пер. с япон,- М.:Мир, 1989, 293 с.

83. Петренко А.И., Семенков О.И. Основы построения систем автоматизированного проектирования . Киев, Высшая школа, 1984,- 296 с.

84. Половинкин. А. И. Методы инженерного творчества. Волгоград. : ВПИ, 1984.-366 с.

85. Попов Э.В. Экспертные системы: решение неформализованных задач в диалоге с ЭВМ.-М.:Наука, 1987.-288 с.

86. Поспелов Д.А. Логико-лингвистические модели в системах управления.-М.:Энергоиздат, 1981.-231 с.

87. Поспелов Г.С., Ириков В.А. Программно-целевое планирование и управление. М.:Сов.радио, 1976.

88. Построение экспертных систем: Пер. с англ./Под ред. Ф.Хейес-Рота, Д.Уотермана, Д.Лената.-М.:, Мир, 1987.

89. Проектирование систем автоматизации технологических процессов / Клюев А.С., Глазов Б.В., Дубровский А.Х.: Под ред. Клюева А.С.-М.: Энергия, 1980.-512 с.

90. Разработка и внедрение систем автоматизированного проектирования АСУ ТП магистральных газопроводов. (САПР автоматики и телемеханики САПФИР-84). Отчет о НИР Научно-иссл. и прект.-констр. ин-т АСУ транспорт, газа. Инв. № 02860051425. Харьков, 1985, 76 с.

91. Разработка УИ САПР электротехнических устройств и систем (САПР ЭТУС). Отчет о НИР. М.: Изд. МЭИ, № г.р. 01830022411, 1984, 64 с.

92. Родин С.Р., Эрлих А.И. Интерактивная система блочного моделирования технических систем. Вопросы информационной теории и практики, 1981, №46, с.67-73.

93. Родин С.Р., Швалев А.П., Эрлих А.И. МАВР диалоговая система моделирования альтернатив и выбора решений, In book: Artifical Intelligence and Information-Control Systems of. Robots, The 2-nd International Conference, Smolenice, 1982, pp 205-207.

94. Рубан В.Я., Кирилюк П И., Дедиков Э.А. Системное проектирование АСУ,- Киев: Техника, 1983,- 136 с.

95. Салин А.Г. Декомпозиция связей при автоматизированном проектировании АСУТП //IV республиканская научно-техническая конференция по использованию выч. техники и САПР в научно-иссл. и опытно-констр. работах: Тез.Докл., Владимир, 1989, с.85.

96. Салин А.Г., Целищев Е.С., Мошкарин А.В. и др. Технология проектирования тепловых электростанций и методы ее компьютеризации.-М.:Энергоатомиздат, 1997.-234 с.

97. Салин А.Г., Целищев Е.С. База данных и знаний о приборах и системах управления и ее применение при автоматизации проектирования АСУТП//Приборы и системы управления, N6, 1997, с.20-22.

98. Салин А.Г., Целищев Е.С., Елизарова Н.Н. Сквозная автоматизация проектирования систем контроля и управления//Современные проблемы информатизации. Тезисы докладов II Республиканской электронной научной конференции. Воронеж, 1997, с.98.

99. Салин А.Г., Целищев Е.С. Интегрированная САПР систем контроля и управления и верхнего уровня АСУТП//Тез.докл. III Между-нар.электр.науч.техн.конф. Современные проблемы информатизации, Воронеж, 1998, с. 41-42.

100. Ш. Салин А.Г., Цепшцев Е.С. Проектирование систем локальной автоматики на базе диалоговых средств ДИСПР-КТС//Тез.докл. Областной научно-техн.конф.молод.уч.,Иваново, 1986, с.258.

101. Салин А.Г., Целищев Е.С., Елизарова Н.Н. Проектирование офисных систем в рамках агрегативно-декомпозиционных технологии/Современные проблемы информатизации. Тезисы докладов II Республиканской электронной научной конференции. Воронеж, 1997, с. 122.

102. Салин А.Г. Разработка и исследование инструментальных средств синтеза технических структур сложных систем (на примере АСУ ТП)//Автореферат кандидатской диссертации/Иваново, 1990.

103. Салин А.Г., Целищев Е.С. Использование агрегативно- декомпозиционной технологии при автоматизированной разработке смет на монтаж оборудования в части АСУТП//Управление в технических системах. Материалы науч.-техн.конф., Ковров, 1998, с.90.

104. Салин А.Г., Целищев Е.С. Инструментальные средства обеспечения диалога при создании САПР АСУТП//Системы автомати-зир.проектирован, и обучения, Иваново, 1987, с.76.

105. Салин А.Г., Целищев Е.С. Система автоматизированного проектирования структур технического обеспечения АСУТП (САПР-СТО)//Тез.докл. III областной научно-техн. конф. молодых ученых, Иваново, 1988, с.23.

106. Салин А.Г., Целищев Е.С., Шемякин А.Н. Автоматизация проектирования монтажной части систем контроля и управления//Системы управления и информационные технологии. Меж-вуз.сб.науч.тр.,Воронеж,1998,с.136-141.

107. Салин А.Г., Целищев Е С., Шемякин А.Н. Система автоматизированного проектирования Mirage-ADT/Описэние применения, руководство пользователя, Иваново, 1999, 108 с.

108. Салин А.Г. Программа автоматического порождения графических фреймов AutoFrame-ADT/Руководство пользователя, Иваново, 1999, 22 с.

109. Салин А.Г., Целищев Е.С., Елизарова Н.Н. Опыт проектирования офисных систем в рамках агрегативно-декомпозиционных техноло-гий//Создание и развитие информационной Среды вуза: состояние и перспективы. Сборник статей к конференции. Иваново. 1997, с.34.

110. Салин А.Г., Целищев Е.С. Многошаговая автоматизация принятия решений при проектировании сложных систем//Тез.докл. III Между-нар.электр.науч.технжонф. Современные проблемы информатизации, Воронеж, 1998, с. 41-42.

111. Сандлер Н.М., Целищев Е.С., Салин А.Г., Разработка и исследование метода автоматизированного проектирования сложных систем ТЭС на основе фреймовой сети//Теплоэнергетика, N10, 2000, с. 66-70.

112. Сигорский В.П. Математический аппарат инженера.-Киев:Техника, 1975.-768 с.

113. Система автоматизированного проектирования комплекса технических средств локальной автоматики ДИСПР-КТС. Госфонд алгоритмов и программ СССР. № г.р. 50850000883.-Калинин, 1984.

114. Скурихин В.И., Дубровский В.В., Шифрин В.Б. АСУ ТП. Автоматизация проектирования комплекса средств автоматики.-Киев:Наукова думка, 1981.-343 с.

115. Скурихин В.И., Шифрин В.Б. Конструирование КТС АСУ ТП в САПР из типовых проектных модулей.-В кн.: Автоматизация поискового конструирования и подготовка инженерных кадров. Тезисы докладов III-ей всесоюзной конференции, Иваново, ИЭИ,-1983,- с. 14-15.

116. Словарь по кибернетике/Под ред. Глушкова В.М.-Киев, Главная редакция УСЭ, 1979.-623 с.

117. Смирнов О.Л., Падалко С.Н.Диявский С.А. САПР: формирование и функционирование проектных модулей.-М.Машиностроение, 1987.-272с.

118. Советов Б.Я. Информационная технология.-М.:Высшая школа, 1994.-368 с.

119. Солодовников В.В., Тумаркин В.И. Теория сложности и проектирование систем управления.-М.:Наука, 1990.-164 с.

120. Справочник проектировщика автоматизированных систем управления технологическими процессами/Под. ред. Г. Л. Смилянского. М. : Машиностроение, 1983.-528 с.

121. Суворов Г.Г. Синтез структуры технических объектов на основе модели базы знаний//Сб.науч.трудов № 127.-М.: Изд.МЭИ, 1987,- с.40-49.

122. Суворов Г.Г., Суворова Л.Г. Моделирования процесса принятия решений в структурном проектировании. В кн. Труды МЭИ, вып. 24.-М.: Изд. МЭИ, 1984.-с. 35-39.

123. Технология проектирования систем локальной автоматики в АСУТП на базе диалоговых средств ДИСПР-КТС//Кондрашин А.В., Белов А.А., Целищев Е.С., Салин А.Г// Отчет ИЭИ, №ГР01820030003, Иваново, 1985.-60 с.

124. Тимченко А.А., Родионов А.А. Основы информатики системного проектирования объектов новой техники.-Киев:Наукова думка, 1991.-152 с.

125. Тищенко Н.М. Введение в проектирование систем управления.-М.:Энергоатомиздат, 1986.-248 с.

126. Уайт П. Управление исследованиями и разработками:Пер.с англ./Под ред.Д.Н.Бобрышева. М.Экономика, 1982.

127. Уэно X., Исидзука М. Представление и использование знаний: Пер. с япон. М.:Мир, 1989.-220 с.

128. Уинстон П. Искусственный интеллект,- М.: Мир, 1980,- 520 с.

129. Харари Ф. Теория графов.-М.Мир, 1973.-300 с.

130. Хорошевский В.Ф. PIES технология и инструментарий PIES Workbench для разработки систем и основных характеристик.(обзор). Новости искусственного интеллекта, 1995, №2.

131. Цвиркун А.Д. Основы синтеза структуры сложных систем.-М.:Наука, 1982.-200 с.

132. Целищев Е.С., Салин А.Г. Автоматизация документирования табличных форм при проектировании систем управления//Современные проблемы информатизации. Тезисы докладов II Республиканской электронной научной конференции. Воронеж, 1997, с.46.

133. Целищев Е.С., Салин А.Г. Автоматизация проектных процедур монтажной части систем контроля и управления ТЭС//Повышение эффективности работы ТЭС и энергосистем. Труды ИГЭУ. Выпуск I. Иваново, 1997, с.219-222.

134. Целищев Е.С., Салин А.Г. Агрегативно-декомпозиционная технология синтеза структурно-сложных технических систем//Автоматизация и современные технологии, N6, 1997, с.13-17.

135. Целищев Е.С., Салин А.Г. Агрегативно-декомпозиционная технология автоматизации проектирования систем контроля и управле-ния//Управление в технических системах. Материалы науч.-техн.конф., Ковров, 1998, с.88-89.

136. Целищев Е.С., Салин А.Г. К вопросу о формировании технического задания при проектировании СКУ в рамках АДТ-технологии//Повышение эффективности работы ТЭС и энергосистем. Труды ИГЭУ. Выпуск II. Иваново, 1998,с.231-235.

137. Целищев Е.С., Салин А.Г. Новый подход развития САПР в проектных институтах энергетического профиля//Управление в технических системах. Материалы науч.-техн.конф., Ковров, 1998, с.85-87.

138. Целищев Е.С., Салин А.Г. О новом подходе к автоматизации проектирования систем контроля и управления ТЭС//Повышение эффективности работы ТЭС и энергосистем. Труды ИГЭУ. Выпуск I. Иваново, 1997, с.215-218.

139. Целищев Е.С., Салин А.Г. Построение единой модели проекта системы управления на основе фреймов//Тезисы международной конференции "Современное состояние, проблемы и перспективы развития российской экономики. Кондратьевские чтения", 1996, с.142-144.

140. Целищев Е.С., Салин А.Г., Козлов С.А., Никольский Н.В. Опыт применения АДТ-технологии автоматизированного проектирования систем контроля и управления ТЭС//Теплоэнергетика, N2, 1999, с.40-43.

141. Целищев Е.С., Салин А.Г., Мошкарин А.В., Сандлер Н.М. Разработка агрегативно-декомпозиционный метода автоматизированного проектирования сложных систем ТЭС на основе фреймовой се-ти//Депон.ВИНИТИ, 04.10.99., N2981-B99, 23 с.

142. Целищев Е.С., Салин А.Г., Никольский В.Н. Интеллектуальная технология автоматизированного проектирования систем контроля и управ-ления//Управляющие системы и машины, N6, 1998, с.27-35.

143. Целищев Е.С., Салин А.Г., Никольский Н.В. Агрегативно-декомпозиционная технология автоматизированного проектирования систем контроля и управления ТЭС//Теплоэнергетика, 1997, N10, с.38-42.

144. Целищев Е.С., Салин А.Г., Сандлер Н.М., Козлов А.В. К вопросу о концепции развития САПР в проектных организациях энергетического профиля// Информационные технологии моделирования и управления. Межвуз. сб. науч. тр., Воронеж, 1998, с.42-46.

145. Целищев Е.С., Салин А.Г., Никольский Н.В., Сандлер Н.М. Использование агрегативно-декомпозиционной технологии при проектировании систем контроля и управления//Управляющие системы и машины, 1999, N5, с. 92-95.

146. Целищев Е.С., Салин А.Г. Методические указания по применению системы автоматизированного проектирования структуры и состава комплекса технических средств локальной автоматики (ДИСПР-КТС). Иваново, ИЭИ, 1986, 40 с.

147. Чапцов Р.П., Мельников А.В., Афанасьев А.И., Диалоговая система автоматизированного проектирования технических структур АСУ ТП.-М.МВТУ, 1984.-357 с.

148. Чичварин Н.В. Экспертные компоненты САПР,-М.Машиностроение, 1991.-240 с.

149. Шаров А.А. Биосемиотика: функционально-эволюционных подход к анализу смысла информации. НТИ. Сер. 2. Информационные процессы и системы. 1990 № 12.

150. Шемякин А.Н., Целищев Е.С., Салин А.Г. Фреймовая модель представления знаний предметной области АСУТП/ Тез.докл. междунар. на-учно-техн. конф. VIII Бенардосовские чтения, Иваново, 1997, с. 56.

151. Шеннон К. Работы по теории информации и кибернетике/Под ред. Р.Л.Добрушина, 0,Б.Лупанова.-М.:Иностр.лит-ра,1963.-830 с.

152. Экспертные сиотемы/УПринципы работы и примеры: Пер. с англ./А.Брукинг, П.Джонс, Ф.Кокс и др.; Под ред. Р.Форсайта.- М.: Радио и связь, 1987.-224 с.

153. Элти Дж., Кумбс М. Экспертные системы: концепции и примеры/ Пер. с англ. и предисл.Б.И.Шитикова.-М.:Финансы и статистика, 1987,191 с.

154. Энкарначо Ж., Шлехтендаль Э. Автоматизированное проектирование. Основные понятия и архитектура систем : Пер. с англ. М:Радио и связь, 1986.

155. Энциклопедия кибернетики. Киев: Главная редакция украинской советской энциклопедии. 1974, т. 1, 608 е.; т.2, 624 с.

156. Салин А.Г. Слияние элементов логической модели проекта как составная часть процесса синтеза структур//Информационная среда вуза. Сборник докладов к конференции. Иваново. 2000, с.225-228.

157. Салин А.Г. Свертка логической модели проекта при автоматизированном синтезе структур//Информационная среда вуза. Сборник докладов к конференции. Иваново. 2000, с.228-230.

158. Салин А.Г. Сортировка вариантов фрейма декомпозиции по степени подходимости//Информационная среда вуза. Сборник докладов к конференции. Иваново. 2000, с.231-233.