автореферат диссертации по информатике, вычислительной технике и управлению, 05.13.06, диссертация на тему:Методология построения и проектирования технического обеспечения АСУТП

доктора технических наук
Ахремчик, Олег Леонидович
город
Тверь
год
2008
специальность ВАК РФ
05.13.06
Автореферат по информатике, вычислительной технике и управлению на тему «Методология построения и проектирования технического обеспечения АСУТП»

Автореферат диссертации по теме "Методология построения и проектирования технического обеспечения АСУТП"

На правах рукописи

uüJ44B49G

АХРЕМЧИК Олег Леонидович

МЕТОДОЛОГИЯ ПОСТРОЕНИЯ И ПРОЕКТИРОВАНИЯ ТЕХНИЧЕСКОГО ОБЕСПЕЧЕНИЯ АСУТП

Специальность 05 13 06 Автоматизация и управление технологическими процессами и производствами (в промышленности)

Автореферат

диссертации на соискание ученой степени доктора технических наук

2 2 СЕН 2008

Тверь 2008

003446493

Работа выполнена в Тверском государственном техническом университете

Официальные оппоненты доктор технических наук, профессор

доктор технических наук, профессор

доктор технических наук, профессор

Балакирев В С МодяевА Д Григорьев В А

Ведущая организация Институт проблем управления им В А Трапезникова РАН

Защита состоится " " ОКИлЯр у 2008 г в 14 часов на заседании диссертационного совета Д 212 262 04 в Тверском государственном техническом университете по адресу 170026, г Тверь, наб Аф Никитина, 22 (ауд Ц-212)

С диссертацией можно ознакомиться в библиотеке Тверского государственного технического университета

Автореферат разослан "¿2. " 2008 г

Ученый секретарь диссертационного совета, Филатова II Н

д т н , профессор

ОБЩАЯ ХАРАКТЕРИСТИКА РАБОТЫ Актуальность проблемы Методология построения и проектирования технического обеспечения АСУТП предусматривает системное единство теории управления, элементов автоматики, проектирования систем управления (Колосов С П, Иващенко Н II, Солодовников В В , Плотников В Н, Яковлев А В и др) Многообразие форм и языков представления технического обеспечения в указанных областях, а также нарушение изоморфизма описаний технического обеспечения при их трансформации не позволяет обеспечить сокращение сроков разработки за счет автоматизации и интеллектуализации всех проектных процедур на разных этапах создания АСУТП и ее технического обеспечения

Реализация задач построения структур технического обеспечения как рассмотрение совокупности взаимосвязанных элементов различных уровней детализации (Цвиркун А Д , Мамиконов А Г , Кульба В В ) доведена до автоматизации формирования монтажных схем и наборов спецификаций по принципиальной схеме (Целищев Е С , Салин А Г , Никольский Н В ) Переход от функциональной схемы автоматизации технологического объекта к принципиальной схеме технического обеспечения осуществляется проектировщиком с использованием эвристик при полной автоматизации чертежных операций в ходе разработки комплекта документации

При разработке проектных описаний технического обеспечения в соответствии с установленными нормами (Клюев А С , Дубровский А X , Федоров 10 Н) в условиях быстрого обновления программно-технических средств требуется постоянная модернизация библиотек элементов и проверки возможности их использования в типовых решениях Появление новых элементов заставляет пересматривать используемые способы и критерии управления Время проектирования АСУТП и срок жизненного цикла составляющих ее элементов становятся соизмеримыми

Возникает противоречие, когда при испочьзовании методов и средств автоматизированного проектирования технического обеспечения АСУТП необходимы повышение абстракции моделей типовых проектных решении (Емельянов С В ) с одной стороны, и детализация свойств, обеспечивающих установление межэлементных связей на физическом уровне с другой стороны

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

Проблема связана с ограниченностью возможностей построения и рассмотрения быстроустаревающих вариантов технической реализации АСУТП (Шапиро Ю 3 , Балакирев В С , Емельянов С В и др ) при использовании эвристических приемов в ходе привязки и модернизации типовых проектных решений к особенностям объектов управления, затруднениями построения и рас-

смотрения многообразия вариантов межэлементных связей для ряда модификаций технических средств, модели которых (Колосов С П, Сотсков Б С) не позволяют осуществить автоматический синтез и преобразование схемных описаний подсистем АСУТП

Область исследования - автоматизированные системы управления непрерывными технологическими процессами (АСУТП), методы и средства проектирования технического обеспечения АСУТП на базе элементов электрической ветви государственной системы приборов

Объект исследования - техническое обеспечение АСУТП, процесс разработки схемных решений на начальных стадиях создания технического обеспечения АСУТП

Цель диссертационной работы - совершенствование существующей методологии построения и проектирования технического обеспечения АСУТП на основе разработки совокупности моделей, положений и методов, создающих предпосылки для автоматизации и интеллектуализации начальных стадий создания технического обеспечения АСУТП

Для достижения цели в работе осуществлялись постановка и решение основных исследовательских задач:

1) анализ существующей методологии построения и проектирования АСУТП, разработка и исследование набора структур АСУТП на примере непрерывной технологической линии, разработка способов управления технологической линией и ее участками, ориентированных на применение программно-технических средств автоматизации,

2) анализ принципов построения, моделей и форм представления описаний, методов и средств проектирования технического обеспечения АСУТП,

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

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

5) разработка моделей процесса проектирования технического обеспечения АСУТП, моделей и алгоритмов для автоматического построения и преобразования описаний функциональных и принципиальных схем технического обеспечения АСУТП в частично выбранном элементно-параметрическом базисе,

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

7) программная реализация концепций построения компьютерного ком-

плекса, разработка методик работы с ним и проведение на их базе экспериментальных исследований предложенных моделей и методов при решении задач проектирования подсистем технического обеспечения АСУТП

Научная новизна. В настоящей работе

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

2 Развита концепция извлечения, структуризации и формализации знаний в области технического обеспечения АСУТП на основе использования разработанной компьютерной системы, являющейся средой для реализации методов построения и проектирования технического обеспечения, функционирующей на базе системного единства связи понятия «структура» с определяющими понятиями «функция», «элемент», «сигнал», а также определяемым понятием «схема»

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

4 Разработан на основе теории множеств комплекс моделей технического обеспечения в виде иерархического описания уровней системного, подсистем, цепей, приборного и параметрического с организацией межуровневых переходов на базе отношений «часть-целое» и раскрытием каждого уровня с использованием отношений «род-вид», «иметь свойства», «иметь значения свойств», а также введением на системном и приборном уровнях классов свойств, характеризующих удобство проектирования АСУТП, особенности программирования, настройки и эксплуатации технических средств

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

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

ных цепей и видов сигналов в них с заданием шкал для представления как функций, так и сигналов на контактах входов-выходов элементов

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

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

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

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

Полученные технические решения и их программная реализации защищены тремя патентами РФ и тремя свидетельствами на программы для ЭВМ

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

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

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

1 Предложена и апробирована технология извлечения экспертных знаний в области построения и проектирования технического обеспечения АСУТП с применением компьютерной системы

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

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

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

5 Сформированы концептуальная схема и информационная база, зарегистрированные в едином реестре баз данных РФ и используемые при автоматическом синтезе описаний схем технического обеспечения АСУТП, показано, что продукционные правила, использующие данную базу обеспечивают генерацию вариантов согласующих связей при организации взаимодействия элементов на физическом уровне, превышающую возможности опытного специалиста

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

7 Разработаны и переданы в эксплуатацию действующие прототипы компьютерных комплексов, защищенных авторскими свидетельствами о регистрации программ для ЭВМ, обеспечивающих интеллектуализацию и автоматизацию прикладных задач построения и преобразования схемных решений по технической реализации измерительных и управляющих цепей технического обеспечения с аналоговыми и импульсными сигналами

8 Разработан набор учебно-тренировочных заданий для обучения начальным стадиям проектирования технического обеспечения АСУТП

На защиту выносятся:

1 Методика создания моделей знаний в области технического обеспечения АСУТП, основанная на применении компьютерной системы как составляющей технологии построения моделей, таксономии понятий, элементов и систематизация отношений рассматриваемой области, лежащие в основе построения компьютерной системы

2 Совокупность моделей технического обеспечения АСУТП, реализующего различные способы управления и представляющая иерархическое описание функций, структуры и свойств на уровнях системном, подсистем, цепей и элементов

3 Формальная система для автоматического построения описаний функ-

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

4 Модели и алгоритмы преобразования описаний функциональных схем технического обеспечения АСУТП в описания принципиальных схем

5 Архитектура и составляющие компьютерного комплекса, являющегося представителем нового класса компьютерных систем, ориентированных на интеллектуализацию и автоматизацию решения задач построения схемных описаний технического обеспечения АСУТП

Связь работы с научными темами и программами. Результаты работ получены в ходе проведения хоздоговорных НИР с ГУП «Союзвузприбор» (г Москва) по теме «Разработка учебно-тренажерного комплекса по судовым средствам автоматизации» (1989-1991 гг), с ОАО «Рыбтехцентр» (г Калининград) по теме «Исследование и разработка типовых схем автоматизации тепловых аппаратов рыбоконсервного производства» (1989-1990 гг ), госбюджетных НИР Калининградского государственного технического университета «Разработка экспертной системы оценки органолептических показателей качества пищевых продуктов» (1995-1997 гг ) и Тверского государственного технического университета (ТГТУ) «Научные основы разработки мультимедиа тренажеров на основе рефлексивного подхода» (2002-2006 гг, направление «Информационная деятельность» научно-исследовательской деятельности Высшей школы Российской Федерации)

Разработка составляющих модели проблемной области и методов их практической реализации в системе высшего профессионального образования выполнена в рамках федеральной целевой программы "Развитие единой образовательной информационной среды" (2001-2005 гг) и межвузовской комплексной программы «Наукоемкие технологии образования» по темам «Научные основы разработки мультимедийных тренажеров по техническим средствам автоматизации», «Поверка магнитного газоанализатора», «Лабораторный практикум по дисциплине «1ехнические средства автоматизации» на базе мультимедийных тренажеров» (2001-2004 гг )

Апробация работы. Результаты работ докладывались и обсуждались на

Всесоюзной конференции "Автоматизация технологических процессов и производств в пищевой промышленности" (г Москва, 1989), первом международном симпозиуме «Automatic control of ship propulsion and océan engineering systems» (г Гданьск, Польша, 1994), сессии комиссии D2/D3 международного института холода (г Гданьск, Польша, 1994), 19 международном конгрессе по охлаждению (г Гаага, Нидерланды, 1995), международных научно-практических и научно-технических конференциях "Математические методы в интеллектуальных информационных системах" (г Смоленск, 2002), "IEEE international conférence on advanced learnmg technologies" (г Казань, 2002), 2-ой и 4-ой "Дистанционное обучение - образовательная среда XXI века" (г Минск, 2002, г Тверь, 2004), «Компьютерные технологии в управлении, диагностике и образовании» (г Тверь, 2002), «Актуальные проблемы науки и образования» (г Пенза, 2003), «Information Theones and Applications» и «KDS07» (г Варна,

Болгария, 2004, 2007), 4-ой «Современные сложные системы управления СССУ-НТСБ» (г Тверь, 2004), 19-ой и 22-ой "АК'04", "ЛКШ", (п Дивномор-ское, 2004, 2007), 6-ои «Компьютерное моделирование 2005» (г Санкт-Петербург, 2005), 6-ой "Средства и системы автоматизации" (г Томск, 2005), 2-ой конференции по когнитивной науке «Со§8а2006» (г Санкт-Петербург, 2006), ХУП-ой "Применение новых технологий в образовании" (г Троицк, 2006), Х-ой «Системный анализ в проектировании и управлении» (I Санкт-Петербург, 2006), конференции федерации по обработке информации (МР) «Богисоп&ООб» (г Петрозаводск, 2006), УИ-ой "Традиции и педагогические новации в электротехническом образовании" (г Астрахань, 2006), "Информационные технологии в образовании, технике и медицине" (г Волгоград, 2006), 1Х-ой "Интеллектуальные системы и компьютерные науки" (г Москва, 2006), «Качество образования системы, технологии, инновации» (г Барнаул, 2007), 9-ой , 12-ой и 20-ой "Математические методы в технике и технологиях" (гг Тверь, 1995, Новгород, 1999, Ярославль, 2007), 4-ой конференции "Методы и средства управления технологическими процессами" (г Саранск, 2007), всероссийских научно-технических и научно-методических конференциях 1-ой "Автоматизация технологических процессов и управление производством на предприятиях пищевой промышленности" (г Москва, 1996), 9-ой конференции по искусственному интеллекту КИИ2004 (г Тверь, 2004), «Повышение качества непрерывного профессионального образования» (г Красноярск, 2006), 7-ой и 8-ой «Теоретические и прикладные вопросы современных информационных технологий» (г Улан-Удэ, 2006, 2007), ряде региональных конференций и семинаров (гг Киев, Калининград, Рязань, Тверь)

Высокий научно-технический уровень разработок отмечен дипломом 2 степени международного союза машиностроителей на 13 международной конференции «Машиностроение и техносфера XXI века», (г Донецк, Украина, 2006)

Компьютерные комплексы, реализованные на основе разработанных технологий, моделей и алгоритмов экспонировались на 4 и 5 выставках-ярмарках "Современная образовательная среда" (Москва, ВВЦ, 2002 - 2003 гг)

Внедрение результатов Результаты работ внедрены и используются при проектировании систем управления в ряде ведущих организаций (ООО «Ин-терПромАвтоматика», проектно-конструкторском бюро ООО «ПКБ автоматизации производства» (г Тверь) и др ) Научные и практические результаты переданы в эксплуатацию и используются при выполнении НИР и подготовке специалистов по направлению «Автоматизация и управление» в Тверском и Калининградском государственных технических университетах

Публикации. По теме диссертации опубликовано более 70 печатных научных работ, общим объемом около 30 печатных листов, в том числе две монографии Свыше 50 процентов публикаций выполнены без соавторов

Структура и объем работы. Диссертация состоит из введения, шести глав, заключения, списка использованной литературы и приложений Основное содержание работы изложено на 335 страницах машинописного текста, включающих 46 рисунков, 32 таблицы, 4 приложения, список использованной литературы (177 наименований)

СОДЕРЖАНИЕ РАБОТЫ Во введении обоснована актуальность темы диссертационной работы, в историческом ракурсе рассмотрены этапы научных исследований в области создания методологии построения и проектирования технического обеспечения АСУТП, сформулированы цель и задачи исследований, основные теоретические положения, определяющие научную новизну и выносимые на защиту Приводится краткое содержание работы по главам

В первой главе рассматривается существующая методология построения и проектирования АСУТП Анализируются возможные направления снижения сроков создания АСУТП

На начальных стадиях создания АСУТП используется методология, свойственная индивидуальному проектированию с применением методов инженерного синтеза на базе эвристических приемов Сокращение длительности процесса проектирования может достигаться как за счет сокращения длительности отдельных стадий (Мамиконов А Г, Цвиркун А Д, Кульба В В ), так и за счет предложенного автором применения программно-технических средств автоматизации с дополнительными функциями встроенной памяти и ведения архива на стадии обследования объекта, что позволяет объединить этапы обследования объекта и эскизного проектирования при внутреннем проектировании АСУТП и ее технического обеспечения

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

Основой существующей мешдологии построения АСУТП является системный подход (Скурихин В И, Смилянский Г Л), агрегативно-декомпозиционная технология (Цвиркун АД), метод последовательного синтеза моделей допустимых вариантов построения (Мамиконов А Г), принцип информационного взаимодействия элементов системы посредством передачи сигналов (Бусленко Н П), метод последовательных итераций (Мамиконов А Г , Балакирев ВС) Укрупненными этапами применения методологии являются (Стефани Е П.) исследование технологического процесса как объекта управления, построение математической модели объекта, формулирование целей управления, синтез алгоритмов управления, реализация решений по управлению на основе выбранного комплекса технических средств

В существующих методах синтеза структуры системы управления комплекс технических средств является заданным Формализация выбора базируется на базе А графа (И/ИЛИ дерева) и сводится к применению методов математического программирования или поиска допустимого подграфа на графовой модели В то же время задача генерации множества вершин графа при выборе тех-

нической реализации функциональной структуры АСУТП не решена Методы синтеза схем систем управления из набора априори известных элементов ориентированы на реализацию ал! оритмов логического управления, заданных булевыми функциями и графами переходов (Шалыто А А , Шидловский С В.) и не могут быть распространены на задачи синтеза технической структуры всех подсистем АСУТП

Рассмотрение методологии проектирования АСУТП сводится к рассмотрению правил оформления и разработки проектной документации (Клюев А С , Федоров ЮН) Методология проектирования обогащается за счет применения методов и средств автоматизированного проектирования при разработке тезауруса и баз данных технических средств, средств генерирования возможных вариантов построения системы, набора моделей элементов системы и вариантов ее построения Работы в направлении создания баз данных (БД) типовых элементов АСУТП (Прангишвили И В , Амбарцумян А А) не учитывают в качестве основных свойства, предопределяющие синтез технической структуры

Рассмотрение информационных сигналов (Бусленко Н П) без детализации до уровня представления реальных электрических сигналов не решает проблемы типизации элементов с точки зрения видов сигналов, используемых при технической реализации функциональных задач АСУТП

Пути устранения указанных недостатков выявляются при выборе в качестве примера объекта управления линии по производству пищевых рыбных продуктов Объект является территориально распределенным технологическим оборудованием, связанным транспортными линиями, режимы работы которого зависят от вида сырья и ассортимента готовой продукции АСУ подобным технологическим оборудованием относятся к классу многоуровневых распределенных АСУ непрерывными технологическими линиями

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

Особенностями рассматриваемой АСУТП являются оснащение системы средствами автоматизации и контроля различных изготовителей, выпускаемых в разные периоды времени, в процессе эксплуатации АСУТП происходит быстрая модернизация приборов как локального, так и верхнего уровня управления, длительное время формирования показателей качества готового продукта, предъявляющее особые требования к отклонениям режимных параметров на локальных участках

На уровне технической реализации рассматриваемая система управления относится к системам с магистральной топологической структурой взаимодействия подсистем и блочно-модульным принципом реализации функционально-алгоритмической структуры Организация связи с измерительными и управляющими устройствами носит индивидуальный характер с преимущественной

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

В отличии от традиционного подхода (Солодовников В В ) при оценке критериев управления линией выделяются две критериальных составляющих Сг = Сгь t е [ to, t s], Cr = Cr2, t e [t s, tj], Cr,= t s,

Cr2 = ]£Ч1р,(х/1),и^),^(1)Д)Л ; (1)

0 1

где Cri - критерий управления технологическим оборудованием в режиме пуска, Сгг - критерий управления технологическим оборудованием в рабочем режиме, to - стартовый момент времени, ts - продолжительность пускового режима, (ti - ts) - продолжительность режима работы, р, - показатели качества выпускаемого продукта, q, - весовые коэффициенты, Xj, u,, z, - составляющие векторов управляемых, управляющих, контролируемых возмущающих воздействий, влияющих на i-ю составляющую, Т - интервал управления

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

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

Способ управления линией предполагает, что система управления изменяет состав технического обеспечения и структуру системы управления при невозможности обеспечения экстремума критерия управления (1) за счет функционирования систем стабилизации режимных параметров на отдельных участках и обеспечения контроля температуры в промежуточных точках (на участке набивки) Измененне достигается введением в состав оборудования дополнительного аппарата для охлаждения и системы управления аппаратом при невозможности обеспечить заданное значение режимного параметра (температуры продукта перед складированием) за счет координации работы всех локальных подсистем управления

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

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

И

технической реализации, снижающих эффективность и увеличивающих длительность работ по созданию АСУТП

Постановка задачи автоматического построения многообразия вариантов технической реализации способа управления и соответствующей ему функциональной структуры как составляющей задачи принятия решений при выборе технической структуры АСУТП в рассматриваемом примере позволяет расширить существующую методологию на область построения многообразия вариантов технической реализации Построение многообразия рассматривается в аспекте применения и расширения типовых проектных решений (Емельянов С В ) и их привязки к конкретному объекту управления с учетом индивидуальных особенностей объекта, предпочтений заказчика, изменения приборного ряда и модификаций программно-технических средств В качестве ограничений на техническую реализацию предлагается рассматривать бинарный запрет на сочетание структурных элементов при частично заданном элементно-параметрическом базисе

Во второй главе проводится анализ моделей и форм представления описаний технического обеспечения АСУТП и его элементов, методов, процесса и средств проектирования технического обеспечения

Модели системы управления при построении ее структуры характеризуются рангами неопределенности (Яковлев В Б) Предлагаемые модели, указывая направление интелтектуализации процедур и алгоритмов построения схемных описаний технического обеспечения, не позволяют обеспечить автоматическое формирование схемных описаний в связи с тем, что не раскрывают принципы и методы преобразования моделей друг в друга на основе детализации свойств элементов

Элементы автоматики при переходе от абстрактных к конкретным описаниям АСУТП и ее технического обеспечения подразделяются на функциональные, алгоритмические, конструктивные и собственно технические (Вопик Б Г ) Задача теоретико-множественного представления технических элементов авшматики впервые поставлена Колосовым С II (1958 г) и развита членом-корреспондентом АН СССР Сотсковым Б С , который выделил четыре базо вых признака функциональные задачи, конструктивная схема, статические и динамические характеристики, величина входной и выходной мощности Данные модели были ориентированы на применение методов теории автоматического управления при исследовании динамики создаваемой системы управления Учет мощности сигнала на входе-выходе как свойства элемента не позволяет гарантировать совместимость современных технических средств при передаче электрических сигналов в АСУТП

В основе построения моделей технических систем с использованием отношения соединения лежит понятие совместимости элементов (Бусленко Н П , Коваленко И Н, Лазарев И А)

I ={А,\ ВС,1}, 0={А/, В/, С/}, А,е {А,™}, А,е {А/1}, где I, О - входы и выходы элемента, А, В, С - условия, обеспечивающие пространственную, энергетическую, параметрическую совместимость элементов и потоков на входах-выходах

Данные модели не рассматривались применительно к разработке схемных описаний технической реализации АСУТП При выделении качественной и количественной совместимости элементов (Половинкин А И) в области физических принципов действия технических систем при рассмотрении технических средств автоматизации (Солодовников В В , Плотников В Н, Яковлев А В ) не рассматривались особенности технического обеспечения АСУТП, связанные с его иерархическим строением и необходимости меж- и внутриуровневого согласования взаимодействий

Анализ моделей представления знаний в средствах автоматизированного проектирования технического обеспечения показывает, что формирование моделей начинается с раскрытия объема базовых понятий при переходе от концептуальных к теоретико-множественным описаниям иерархически связанных составляющих (разработки ученых государственных университетов Санкт-Петербургского электротехнического, Вологодского технического, Ивановского энергетического)

Можно выделить несколько уровней описания технического обеспечения АСУТП, отличающихся средствами выражения базовых отношений и детализацией свойств объектов, обеспечивающих вступление в отношения Понятия, отношения и интерпретации одного уровня представляются в терминах разных языков (в том числе языков схем) Построение и трансляция описаний технического обеспечения на начальных стадиях создания системы осуществляется вручную с применением эвристик Отсутствуют форматьные модели, позволяющие осуществить автоматическую генерацию и преобразование функциональной структуры в заданном элементно-параметрическом базисе Данные особенности наряду с многовариантной реализацией функциональной структуры технического обеспечения АСУТП, многостадийностью разработки и необходимостью трансформации описаний проектируемой системы значительно осложняют задачу автоматического синтеза схемных описаний системы управления в выбранном базисе

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

В третьей главе рассматриваются процесс и методы построения моделей технического обеспечения с применением технологии инженерии знаний и искусственного интеллекта (Поспелов Д А , Вагин В Н, Осипов Г С , Ханзен Ф , Джонс К, Гаврилова Т. А и др) При реализации концепций извлечения, структуризации, формализации знаний предлагается использование компьютерной системы, являющейся не только инструментальным средством синтеза межэлементных связей, но и средой для применения методов автоматизированного проектирования При создании компьютерной системы осуществляется разработка таксономий понятий, элементов и систематизация отношений, по-

ложенных в ее основу

Известен подход использования технологии иаженерии знаний в области разработки АСУТП при типовой идентификации объекта (Пащенко Ф Ф ), который не затрагивает область построения схемных описаний технической структуры Исследования процесса извлечения знании в области АСУТП с использованием компьютерных систем (Швецов А H, Котов С С , Сорокин С И, Черепанов А В и др ) акцентируются на применении известных программных сред (Agent Builder, Visual Prolog) для моделирования систем управления также без ориентации на разработку и преобразование схемных описаний Предлагаемое развитие концепций создания моделей технического обеспечения предусматривает автоматический синтез межэлементных связей при разработке схем технической реализации проектных решении

Методика извлечения знаний в области построения технического обеспечения АСУТП базируется на разработанных алгоритмах понятийной формализации, извлечения знаний с применением компьютерной системы (ориентированы на выделение свойств элементов, необходимых для построения межэлементных связей), а также известных алгоритмах построения иерархий на основе динамических ядер и методе интроспекции По результатам анализа допущенных ошибок осуществляется коррекция правил вывода и модели элемента

На этапах концептуализации и структуризации анализируется переход от языковых терминов к схемной документации

Ex->Na->Sc, {Sc}1 Rcj= Dif(Scb Sc2, Sc3), Re2=Sim(Scb Sc2, Sc3), {Na} Na, = Sim (Na,), Na, = Dif (Nak), где Ex - примеры, автоматически генерируемые системой, Na„ NaJ; Nak -термины, используемые для кодирования основных понятий ц отношений, Scb Sc2, Sc3 - функциональные, принципиальные, монтажные схемы создаваемого технического обеспечения, Re - отношения, используемые при построении и преобразовании схем, Dif, Sim - операторы поиска различий и подобия

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

В ходе применения методики выявлена необходимость сочетания системного, приборного и параметрического уровней представления технического обес-

печения в базе данных компьютерной системы

В области проектирования технического обеспечения вершинами таксономии понятий на первом уровне рассмотрения являются выделенные в ходе проведения исследований метапонятия (первичные), система автоматизации и управления, техническое обеспечение, физический параметр, элемент, функция элемента, схема, техническое задание (ТЗ), сигнал, проектное решение, контур управления, критерий управления

Классификация отношений (Поспелов ДА) при систематизации отношений в области технического обеспечения АСУТП, расширяется композиционными отношениями Формирование композиционного отношения осуществляется как функциональные преобразования результатов входящих в него бинарных отношений. Пример композиционного отношения (отношение «измерять») можно представить

Ril =R21 »Rsi °R42(R43(Xj)) »R4l(R24(R22(RorR2s(X.,)))) где R - отношения R8i - «измерять», R2i - часть - целое, R25 - соответствия, R22 - соединяться с, R24 - настраиваться, R41 - иметь свойство, R43 - быть причиной, R42- целевого назначения, R5i - частичного порядка, R91 - род - вид Для установления связей выделяются отношения типа R = ссвойство Atr предназначено для связи элементов классов С1) и С12> На примере исследования отношения «соединяться с» при изменении языка описания выявлено, что отношение меняет свойства Atr(R*22) = {Atr,, Atr2}, Atr(Rn22) = {Atr2, Atr3}, Atr(R<1,22) Л Atr(Rn22) = {Atr2}, где Atr(R^22)> Atr(Rn22) - свойства отношения «соединяться с» на функциональной и принципиальной схемах, Atr! - несимметричность, Atr2 - нетранзитивность, Atr3 - симметричность

Это свидетельствует о необходимости формализации перехода между системами отношений при преобразовании описаний функциональных схем в описания принципиальных схем технического обеспечения При использовании подходов Хейеса Ф и Квиллиана М в ходе выделения и раскрытия понятия «элемент» технического обеспечения АСУТП последовательно применяются отношения «род-вид», «иметь свойства», «иметь значения свойств» (рис 1)

Решение задачи построения таксономии элементов производится на основе объектно-ориентированного подхода и сводится к поиску операюра преобразования универсума U в упорядоченный универсум SUB по набору отношений R и признаку классификации Ра

SUB = Т {U, R, Ра}, Рае {Рг„ Pr2, Prm}, где {R} - множество базовых отношений

Таксономия «элементы» представляет собой упорядоченный универсум, вершины которого соответствуют типам, подтипам и экземплярам элементов, а также их свойствам

Использование отношения «род-вид» на трех уровнях (например Сог специализированный контроллер, Со21~ - Термодат, Со3! - Термодат12), позволяет раскрыть содержание понятия "элемент", представляемого графом Gk (рис 1) Применение родо-видовых отношений приводит к выделению конкретно го технического элемента (например Еп - TepMOflaTl2/2P/lC/RS485) Выделение

своиств элементов (Агг) на нижних уровнях и соответствующего им числа концевых вершин графа, определяется из условий совместимости элементов и анализа альтернативных вариантов технического обеспечения АСУТП при организации физических связей При выделении свойств устанавливается и исследуется связь объема понятия «элемент» с признаками, е1 о определяющими При этом обеспечиваются минимум типа вершин дерева и минимум максимального удаления графа, соответствующего иерархии свойств, глубина детализации определяется числом типов вершин

Рис.1. Иерархическое представление понятия «элемент» при построении технического обеспечения АСУТП

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

В четвертой главе разрабатывается теоретико-множественное описание технического обеспечения АСУТП (обеспечивающего реализацию предложенных способов управления), предназначенное для реализации баз данных и знаний средств автоматизированного проектирования, используемых для сокращения сроков и повышения эффективности разработки технического обеспечения

АСУТП

Обобщенное описание технического обеспечения АСУТП задается

Би = <С, Б, Б, АН, Н>,

Сс

г.

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

Построение модели структуры сводится к определению компонентов технического обеспечения АСУТП и связей между ними

S(E) = EuC, E={EhwuESWUED(C4 )}, Сч = {С,, Сл >, (2)

где Е - набор элементов, С - набор связей, EHw - технические средства, Esw -программные модули, Ed - модули проектного описания и технической документации, Сц - набор связей между техническими элементами, С, - связи информационные, Cj - связи энергетические (питания)

Включение модулей ED в описание S(E) отражает рассмотрение элементов в ходе создания АСУТП в системном единстве через набор схемных описаний Структура технического обеспечения АСУТП при реализации Сц физически представляется в виде взаимосвязанных программируемых устройств, функционирующих в реальном времени Построение моделей (2) осуществляется с применением аппарата графовых моделей В отличии от моделей структур ЭВМ (Лебедев С А) матрица инцидентности графа, соответствующего S(E) при замыкании системы управления через объект или оператора имеет в каждом столбце минимум два ненулевых элемента и линейно зависимые строки

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

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

Su, Rcv SubcuSubjU SubRu SubDTuSubPSuSubD, где Su, - техническое обеспечение системы управления на i-м участке, Rcv- отношение включения, Subc, Subí, SubR, SubDT, SubPS, SubD - подсистемы измерения, контроля, сигнализации и индикации, регулирования и логического управления, передачи данных, энергопитания, аварийной защиты Среди свойств подсистем выделяются AtiySubeSu, AtT2j V (Е, eSub, EjG Sub) —> (E,e Su, EjSSu), i Ф}, Atr3 V Sub Fsub= const, FSUBe {i1}, Atr4 V Sub Ie{/},Oe{0}, где E - элементы в смысле (2), FSub - функция подсистемы, определяемая решаемой задачей, {F} - множество функций, {/}, {О} - множества входов, выходов подсистем

Свойства Atr3 подсистемы технического обеспечения наследуют свойства АСУТП По свойствам Atr¿ подсистемы отличаются друг от друга вариациями программно-технической реализации

Каждая подсистема представляется совокупностью цепей Suk Rev Chi и Ch2u и Chi, VF<= {F}, F-* Со, Со Rcv Ch,u Ch2u uChk, Ch = <N, Ef, , E , E,, E|,CbC2 ,C,¡, > Cnb Cl>,C,j = (Elt E,) где Ch - обозначение цепи, 1 число цепей 1-й подсистемы, Со - контур, к -число цепей, обеспечивающих реализацию одной функции посредством образования контура, N - тип цепи, Ef - начальный элемент, Е„ Ej - промежуточные элементы, E¡ - конечный элемент, C,¡ - межэлементная связь, С1 - замыкание в контуре (через объект, оператора, ЭВМ верхнего уровня)

При переходе к автоматическому синтезу связей в системе контуры теряются как понятия, поэтому необходима фиксация принадлежности цепи определенному контуру Связи цепи, наряду с элементами, определяют ее свойства и не изменяются при любых преобразованиях, производимых без разрыва связей В случае, если связь имеет узел (место соединения трех и более элементов) при синтезе технической структуры в данное место устанавливается элемент из класса клеммных соединителей предложенной таксономии элементов Область значений для множества типов цепей задается {N} = {Chi, Ch2, Ch3, Ch4, Ch5}, где N - тип цепи, Chb Ch2, Chi, Ch4, Chs - цепи измерения, управления, сигнализации, передачи данных, питания Свойства цепи формально определяются

Atrch = {Name, AtrCh°, AtrCh\ , AtrCh6}, AtrCh° Ch ={Cha, Chd}, Afro,1 Ch Rcv ET,& & En, Atrch2 FCh= const, AtrCh3 FChl Ф FChj, '/j, AtrCh4 V Ch 3 I, О, I e {/}, О € {О}, Atrch5 Ch = {Chac, Chdc), Atrch6 Chac ={Chad, Chac3}, где Name - имя цепи, Cha, Ch¿ - цепи с аналоговым и дискретным информационными сигналами, к - число типов элементов в цепи, Feh - функция цепи, Ет, -элементы из класса Т„ Chac, Ch de - цепи переменного и постоянного тока, Chacb ChaC3 - однофазные и трехфазные цепи

Свойства Atrch0, Atta,5, Atta,6 задают виды сигналов в цепи При построении процедуры автоматического синтеза цепей принимаются допущения распределение функций между элементами цепи в процессе проектирования не меняется, множество элементов для построения цепей и набор их признаков заданы

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

Промышленный контроллер является составляющей большинства цепей

подсистем технического обеспечения АСУТП, поэтому в работе расширение модели элемента проводилось для малоканального контроллера:

Мт = <Айг, Б, А1ё>,

где: Аьг - теоретико-множественная (атрибутивная), Б - функционально-логическая, А^ - структурно-алгоритмическая составляющие модели.

В результате анализа свойств современных контроллеров они разделяются на двенадцать групп:

АЬг = {Айпкь Аипк2,..., Аи:пк11, Айпкп}, где: Айгпк),,..., , АйгПК12 - свойства: отражающие основные и дополнительные функции контроллера; описывающие входы контроллера и выходы контроллера: экономические показатели; определяющие особенности программирования; энергопотребления; надежности; конструктивного исполнения; метрологические; определяющие особенности настройки; характеризующие особенности эксплуатации; характеризующие изготовителя контроллера.

Введены группы свойств, характеризующие особенности эксплуатации АйГпкп (трудоемкость монтажа, изучения, настройки и др.); особенности настройки АЬгпкю (связаны с возможностью взаимодействия с оператором как с пульта оператора, так и с использованием ЭВМ).

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

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

Factor 1

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

Па основе применения эквимаксных методов вращения матрицы для двух новых нормированных факторов получены значения коэффициентов kt при их

представлении в виде аддитивного сочетания исходных свойств (табл)

Г, = к, Ай'пк, + к2 Ай-2пк1 + + к,А1г'пч где Ли1™], Ай^пк] - нижняя и верхняя граница диапазона измеряехмых темпера тур, АИ*\К9 - класс точности, Ай-4пк4- цена изготовителя, А1г5 входов-выходов

пк2, А1Г пк2 " ЧИСЛО

Таблица

Значения коэффициентов факторной модели

Фактор АЬг'щц АЧ2Ш1 Аи-Зпк9 А1Г4пк4 Агг5ПК2 АИ'пй

Р1 0 437 0 026 0 394 0 93 0 964 0 957

-0 778 0 919 -0 189 | 0 22 -0 102 -0 046

Подобный подход позволяет выделить доминирующие признаки при подборе и оценке элемента в выделенной по функциональному признаку группе технических средств Например, фактор Бь позволяющий оценить свыше 50 процентов разброса исходных свойств отражает комбинированное влияние стоимости и числа входов-выходов контроллера (АЬг4ПК4, АН „к2, А1г6пк2)

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

Структурно-алгоритмическая модель контроллера отражает последовательность перевода контроллера из состояния в состояние

Т Со-сТ.С^, (3)

где Т - набор операций, которые отражают смысл процедуры преобразования обобщенных функционально-логических модулей в программные модули в составе системы управления, С0 - Сю - состояния контроллера, 1=1, ,10- номер операции и состояния, Т[, Т2 - установки типа выходов и типа входов, Тз -выбор закона регулирования и/или способа формирования сигнала сигнализации, Т4 - установка сетевого адреса, Т5, Т6, Т7, Тз, Т9 - настройки уставок, соответствия «вход-выход», параметров закона преобразования «вход-выход», параметров модулей, дополнительных функций (таймер, разрешение, встроенная память и др), Тю - перевод контроллера в рабочее состояние

Операции группы Т] - Т5 являются инвариантными к типу контроллера и предшествуют операциям из группы Т7 - Т9 Внутри каждой группы операции могут выполняться в произвольном порядке

Разработанное теоретико-множественное описание технического обеспечения АСУТП представляет собой иерархическую организацию над которой осуществляется построение метода автоматического синтеза межэлементных связей при разработке схемных описаний

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

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

Дедуктивная система, описывающая процесс проектирования технического обеспечения АСУТП, представляется набором положений и утверждений Положения отражают организацию информационных, энергетических и конструктивных связей между элементами технического обеспечения при реализации заданных функций Утверждения устанавливают способы установления связей и сравнения вариантов технического обеспечения на основе достижения требуемой степени детализации при разработке схемных описаний

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

Алфавит формальной системы включает элементы четырех типов, содержащих контур в виде прямоугольника, цифры от 0 до 9, стрелки и обозначения входов-выходов над ними Данный алфавит ориентирован на схемотехническую реализацию технического обеспечения на приборном уровне (в отличии от алфавита, используемого при схемотехническом построении самих приборов (Казанцев Ю М)) и отличается от алфавита функциональных схем автоматизации (Клюев АС) наличием обозначений входов-выходов (I, О)

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

- каждому элементу устанавливается в соответствие технический элемент, задающий значения для переменных I, О и правила их преобразования,

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

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

- при одноточечном соединении двух элементов переменные должны быть противоположны (двойственны),

- значения переменных I и О соединяемых элементов должны представляться в одной шкале, определенной видом сигнала в цепи,

- для соединяемых элементов правила соответствия интервалов изменения значений I и О, измеренных в количественных шкалах, определяются типом цепи

Конкретизация отношений, отражающих установление и детализацию межэлементных связей, в нотации Бэкуса-Наура представляется

8 = {Е}и{СЬСе(Е1,ЕД{Ё} = {ЕьЕ2, ,Е„ ,ЕП},

Е, = NAME„{C} s{Cb C2, C3, }, Cj= NAMQ, VNAMe 3{Atrb Atr2) , Atrm}, 3 Atr, = IFI, IEl = I„ I, = v, v V2 v Wn, 3 Atr, s Ob, Oe, s 0„ 0, = W, v W2 v v Wn, С = {(О,, ВД, (Oa RcIji), }, где {E}, {С} - множества элементов и межэлементных связей, Е„ Ej- элементы системы, NAMEl, NAMq - имена элемента и связи, V, - вид сигнала для входа I, элемента Е,, W, - вид сигнала для выхода О, элемента Е„ Atr - свойства элементов, Rc - отношение соединения

Задание доменов атрибутам входов и выходов приводит к выражениям V V,' 3 SCALE ,J = {VUJ,V12J, ,VlrJ},V V2< 3 SCALE 2J = {V21\V22\ ,v2p>}, 3 SCALE 3J - {V31J,V32J, AV}, 3 SCALE3k с V3e [ Vm,m Vmax], SCALE, s [MU], V W,1 3 SCALE / = {WUJ,WI2\ ,Wlr'}, V W2J 3 SCALE 2J = {W21J,W22J, ,W2pJ}, 3 SCALE з1 = {W3I),W32,) ,W3iJ}, 3 SCALE3k с W3e [ Wrat„ WmJ, где SCALE, - шкала для представления сигнала на соответствующем входе или выходе, MU - единицы измерения в данной шкале

На основе предложенных видов шкал для представления значений входов-выходов элементов разработана база данных технических средств автоматизации, используемая при автоматическом построении межэлементных связей, зарегистрированная в едином реестре баз данных РФ Выделяется три вида шкал количественная [MU] - единицы измерения физической переменной на входе-выходе, количественная [MUi]+[MU2] - шкалы для представления составляющих дискретных релейных и импульсных сигналов (напряжения и тока в цепи при замыкании и размыкании)), качественная [QU] - для представления статической характеристики датчика или стандарта передачи сигнала, регламентирующего его физические характеристики (например - 50М, ХК, RS232 и др )

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

V(E,,E,) 0,е {AtrE,}, I, е {AtrEj},0, н W„ I^VJf W1RHVJ—»■ (О, Rc I,) = FALSE—»(E„Ej) -((E„ Er), (Er, E,)), (4) где Rh - отношение несоответствия, отражающее непосредственную несовместимость технических элементов, Ег - дополнительный элемент, зависящий от типа цепи и устанавливаемый в разрыве связи дчя обеспечения совместимости соединяемых элементов

Элементы Ег подбираются по правилам, соответствующим типу цепи и виду сигналов в ней В ходе исследований в рассмотрение было принято три вида сигналов аналоговые, дискретные релейные, дискретные импульсные, и три вида цепей измерительные, управляющие, сигнализации

Детализация модели элемента осуществляется до рассмотрения конструктивных свойств

Fe={F,,F2, ,Fi, , Fv}, F| —> О1, = G (Ij), V С [MU(0,)]= [MU(Ij)],

E, Rev So! &So2& &Sok, So, Rcv CI1, &Cll2& &Clj &Cl'n, So = <NameSo, AtrSo>, NameSo ={XS1, XR1, XI, , XSN, XRN,XN), где Fe - множество функций элемента, v - число функций, G - оператор преобразования входов в выходы элемента, So, - разъем, 1=1, , к, к - число

разъемов элемента, С1\ - j-й контакт i-oro разъема, п - число контактов, AtrSo -свойства разъема У

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

О, s uj=1ncij, Ij" ик=ГС1ь CI = < Sign, NameSo, Num, Atra >, Ch = Cha—»Atrcl = (DuvDO, Ch = Chd- > Atrcl = (Du&D,), С =Coc-> Atra = D[MUh где Сое - взаимосвязь системы с ОС на границе раздела, Sign - обозначение элемента с именем «Ñame» на схеме, соответствующее классу таксономии, к которому относится элемент, D(j, Di - диапазон изменения сигналов на входах -выходах в шкалах [MUi], [MU2]

При переходе с уровня элементов на уровень контактов цепь получает свойство четности числа контактов q, входящих в ее состав

V Ch £Cl,=q, q = 2n, n = 1, 2, , N Генерация множества вариантов практической реализации цепей технического обеспечения является проверкой допустимости операции конкатенации в алгебраической системе, включающей множества функций, свойств входов-выходов элементов

Продукционное правило проверки допустимости межэлементной связи в цепн зависит не только от вида сигнала, но и типа цепи Che {Ch,}, Ch =Cha (FE1 = FE2)& (DlMU]1 < D(MU]2 )v (Din<DU2) v (D„ < DI2) (5) При множественности значений функций входа-выхода

{Fe,}c {FF2}, FE,e {Fei}, FE2 6 {FE2}, Cha ► FE1 = FE2. (6)

В случае ложности выражения (6) производится последовательное выполнение операций конкатенации

{Ei){T,}&{T,}{E2}, Со=(Е,, Е2)—> ({0E1},{IE2})-({UC1},{UC1}), (7) где {Т,} - множество элементов класса таксономии элементов, соответствующее типу цепи и межэлементной связи

Выражение (7) расширяется до наборов

Е,Епрь Епр,Е2, Е,Епр2, Епр2Е2, , E,Enpk, Епр^Е2, Enpj е {Т,} Допустимость расширения проверяется с использованием продукции (5) При изменении типа цепи или вида сигнала в ней продукция меняется

Che{Ch2},

Ch=Chd(FE,=FE2)&(DU2<Dul)&(DI2<DIi)&(Dpsu<Db1)&(DpslJ=DU2)&(DI2<DpSI), (8) где Ei - регулятор, Е2 - исполнительное устройство, PS - источник питания в дискретной цепи

Cht {Chi},

Ch=Chd (Fe, = FE2) & (DU2 < Dui) &(D,2 < D„)& (DPSU = DU2) & (Dr2 < DPSi), (9) где Ei - датчик-реле, E2 -регулятор

Алгоритм построения многообразия межэлементных связей на основе (4)-(9) в отличии от известных (Цвиркун А Д Салин АГ) выделяет перевод функций в функциональную структуру в частично заданном базисе и декомпозицию связей при агрегировании элементов, необходимую для представления принципиальной схемы

Алгоритм преобразования описания функциональной схемы технического обеспечения АСУТП в описание принципиальной электрической включает

шаг 1 Для каждого соединения контактов элементов осуществляется проверка согласования формы, мощности и вида передаваемого сигнала

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

Шаг 3 Учет условий конструктивной совместимости, введение в состав системы клеммников, соединителей, элементов защиты электрических цепей Шаг 4 Формирование перечня элементов и таблиц межэлементных связей Шаг 5 Проверка потребности элемента в энергии, выделение элементов для подачи энергии, выделение входов и выходов для обмена энергией, проверка энергетической совместимости входов-выходов, добавление связей питания Шаг 6 Детализация связей питания до контактов

Пример фрагмента функциональной схемы технического обеспечения системы управления температурой (рис За) включает ИП, НП - измерительные и нормирующие преобразователи, РП - микроконтроллер, ИУ - исполнительное устройство Трансформация функциональной схемы в принципиальную производится детализацией связей соответствующего ей орграфа (рис 36), добавлением в граф вершин, соответствующих обеспечению потребностей элементов системы в энергии (рис Зв) и добавлением вершин, соответствующих техническим устройствам для обеспечения конструктивной совместимости (рис Зг) В качестве элементно-параметрического базиса в примере использован блок контроллера Р130 БК1-П-01-14 (РП), исполнительный механизм МЭ040 (ИУ), термоэлектрический преобразователь 1ХК 9414 (ИП1, ИГО), которые соответствуют вершинам 3, 4, 1,2 графов В ходе синтеза схемных описаний технического обеспечения на основе продукций (5), (8) и (9) происходит установка дополнительных элементов (НП1, НП2, усилителя выходного сигнала (на рис За не показан)), соответствующих вершинам За 36, Зс графа Вершина 5 графа соответствует источнику питания

Исследования операций преобразования схемных описаний позволили сформулировать и доказать теорему нуль-граф, вершины которого соответствуют вершинам таксономии элементов, является инвариантом для всех моделей технической структуры АСУТП Действительно если М0-М5 - модели технического обеспечения, отражающие его структуру (рис 3), то {1, 2, 3, 4)еМс, {1, 2,3,4]£М„ {1, 2, 3,4}еМ2, {1,2, 3,4}еМ3, {1,2, 3,4}еМ4, {1,2, 3,4}еМ5, те УМ, {1, 2, 3,4}=сош1, 1= 0, 1, ,5

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

а также в зависимости от вида цепи, в состав которой входят элементы

\\'„ <У, или > V,

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

Рассмотрение предложенных продукций показывает, что они применимы в случае биекции соответствия множеств входов и выходов В случае использования технических средств с универсальным входом нарушается инъектив-ность соответствия Восстановление инъективности производится посредством применения процедур настройки программно-технического средства на определенный тип входного сигнала в соответствии с шагами, определенными моделью (3)

Шестая глава посвящена планированию, проведению и анализу результатов экспериментальных исследований, направленных на апробацию и определение степени достоверности предложенных моделей и методов Для проведения исследований разрабатывается архитектура и программная реализация составляющих специализированного компьютерного комплекса (КК), обеспечивающего интеллектуализацию и автоматизацию прикладных задач построения описаний межэлементных связей при разработке функциональных и принципиальных схем подсистем технического обеспечения АСУТП Результаты автоматического синтеза многообразия вариантов технической реализации сопоставляются с экспертными решениями, полученными при выполнении реальных проектов

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

Уровень баз данных содержит базы данных технических заданий на проектирование, типовых проектных решений, структурных схем подсистем технического обеспечения, технических элементов, правил логического вывода Уровень подсистем для оценки сложностей технической реализации включает три типа программных средств для подбора вариантов и оценки сложностей при монтаже технического обеспечения АСУТП и прокладке кабельных трасс (с интерфейсом в виде 2D изображения монтажного пространства и реалистичных изображений технических средств), для выбора отдельных технических средств и схем подключения внешних устройств к ним (с интерфейсом в виде изображения технических средств на принципиальной схеме и упрощенного изображения подключаемых к ним внешних устройств), для оценки сложности процедур программирования технических средств с использованием модели (3) для работы в составе технического обеспечения (с интерфейсом в виде изображения клавиатуры и панели индикации, применяемых для настройки и программирования технического средства)

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

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

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

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

Программная реализация имеет три модификации Первая - для автоматизации и интеллектуализации прикладных задач создания схемных описаний технического обеспечения АСУТП, вторая - для автоматизации создания вариантов заданий и проверки решений Последняя модификация является элементом технологии извлечения знаний для построения моделей технического обеспечения АСУТП Работа КК происходит в пассивном диалоговом режиме, точками ветвления которого являются задание элементно-параметрического базиса, выбор варианта функциональной схемы из автоматически сгенерированного многообразия, сохранение результатов

На основе разработанных в работе теоретико-множественных описаний создана и заполнена база данных технических средств автоматизации (БД) для КК, зарегистрированная в реестре баз данных РФ Информация об элементе содержит поля "Название", "Число основных каналов", "Число вспомогательных каналов", "Потребляемый ток", "Энергозависимость", "Функции преобразования", "Разъемы", "Название разъема", "Тип разъема", "Номер", "Номер канала", "Назначение", "Тип контакта", "Параметры контакта (номер, номер канала, назначение, тип, параметры изменения сигнала, соответствие контактов)"

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

Экспериментальные исследования проводились по тридцати четырем вариантам элементно-параметрического базиса для семи видов обобщенных функциональных структур 1ехнического обеспечения На рис 4 приводятся результаты автоматического синтеза структруы, представленной на рис За в описания связей функциональной схемы (ФС) и описания связей на принципиальной схеме (ПЭС)

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

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

Таблица межэлементных-связей-в САУ

Таблица со единений- элемент си в САиУ

|11 ТХК9414 ] -> ¡2 6 БУТ 10 ХК

¡2 6 БУТ10-ХК | -> ¡2 7 КБСЗ

|2 7 КБСЗ | -> |14 ЕК1 мод 14

¡2/^ТХК9414 -> ¡2 6 БУТ10 ХК

¿6БУТ10ХЕС ] -> ¡2 7 КБСЗ

ФС

7КБСЗ |-> ¡14 БЮ мод 14 Обозначение элементов

14 ЕК1 мод 14 - блок контроллера РЬмиконт-РТЗО модификация 14

2 б-^УТЮ ХК - блок усилителей сигналов от термопар ХК (V) БУТ1С

2 8КБС1-КБСЮ

2 7 КБСЗ - клетно^лочный соединитель КБСЗ

• 11 ТХК9414 - термоэнекгрический преобразователь температуры 9414

Элемента Контакт Контакт' Адреса

11ТХК 9414 XII XI 2 XI 3 XI 2 2 6 БУ110 ХК V

2 6 БУТ10 ХК XI 2 XI 3 Х2 * гзкБС^

пэс

2 8КБС1 Х21 Х2 2 XII XI2 27К

2 7 КБСЗ XI1 XI 2 Х21 Х22 14Б1«/ мод 14

2.5 ТХК 9414 XI ] |Х15 XI 2 ¡XI б г б бупо ХК

2 5 БУТ10 ХК XI .5 XI6 Х2 * 2ВКБС1

2 3КБС1 Х23 Х24 XI3 XI 4 2 7 КБСЗ

27КБ СЗ XI3 XI4 Х215 Х216 14БК] мод 14

2.5ТХК9414 - термозлестрический * преобразователь температуры 9414 Рис.4. Результаты автоматической генерации цепей функциональных м принципиальных схем подсистемы регу лирования температуры

Методика работы с компьютерным комплексом включает запуск программы, соединение с сервером, создание набора технических заданий, запуск редактора структурных схем, создание структуры технического обеспечения АСУТП, выбор элементно-параметрического базиса из базы данных осуществление автоматического синтеза цепей, выбор одного из допустимых вариантов функциональной структуры в заданном элементно-параметрическом базисе, автоматическую трансформацию описаний цепей функциональной схемы в табличное представление цепей принципиальной схемы, сохранение результатов

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

Опыт эксплуатации программных средств, входящих в состав КК в процессе учебного проектирования подсистем измерения и управления температуры, расхода, давления, уровня (период 2000-2007 гг), показал, что для пятнадцати типоз выделенных широко распространенных ошибок, допускаемых при проектировании технического обеспечения в результате применения КК наряду с

количественным уменьшением числа ошибок (в два раза) достигается качественный результат - резко (в четыре и более раз) снижается число проектантов, допустивших три и более ошибок

Оценка трудозатрат на применение программной реализации предложенных моделей и методов показала, что при сохранении качества проектных решений на уровне экспертных время на разработку схемных описаний технического обеспечения АСУТП сокращается в 3-7 раз в зависимости от вида подсистем и выбранного элементно-параметрического базиса

ОСНОВНЫЕ РЕЗУЛЬТАТЫ

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

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

2) Произведено расширение методологии построения и проектирования АСУТП из области разработки математического описания объекта управления, выбора способа управления, синтеза функциональной структуры системы управления и определения настроек регуляторов, на область автоматического построения многообразия вариантов технической реализации, позволяющее интерпретировать задачи синтеза технической структуры АСУТП в виде графовых моделей, соответствующих схемам технического обеспечения, с учетом иерархичности построения и многообразия языков описания АСУТП

3) Развита концепция извлечения, структуризации и формализации знаний в области технического обеспечения АСУТП на основе использования разработанной компьютерной системы, являющейся средой для реализации методов построения и проектирования технического обеспечения, функционирующей на базе системного единства связи понятия «структура» с определяющими понятиями «функция», «элемент», «сигнал», а также определяемым понятием «схема»

4) Рассмотрена инвариантная часть функциональной структуры технического обеспечения и соответствующих ей проектных описаний в виде вершин так-

сономии элементов, раскрывающей представление функции элемента через соответствие множеств входов-выходов и множеств физических контактов разъемов элемента

5) Выделен класс композиционных отношений в области технического обеспечения АСУТП с вариациеи свойств в виде нарушения симметричности и изменения размерности межэлементных связей входящего в композицию отношения соединения при изменении формы представления проектных описаний технического обеспечения

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

7) Разработаны модели технического обеспечения в виде иерархического описания уровней системного, подсистем, цепей, приборного и параметрического с организацией межуровневых переходов на базе отношений «часть-целое» и раскрытием каждого уровня с использованием отношений «род-вид», «иметь свойства», «иметь значения свойств», раскрывающие необходимость учета связи непосредственно не сопрягаемых уровней цепей и свойств элементов, осуществляемой представлением свойств с использованием введенных шкал для значений сигналов

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

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

10) Разработаны алгоритмы построения и преобразования схемных описаний технического обеспечения и их программная реализация, учитывающие свойства информационной, электрической и конструктивной совместимости элементов при автоматической трансформации описаний функциональных схем в набор таблиц соединений элементов, соответствующих принципиальным схемам технического обеспечения

11) Предложены архитектура, методики применения и программная реали-

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

ОСНОВНЫЕ РЕЗУЛЬТАТЫ ОПУБЛИКОВАНЫ в изданиях, входящих в перечень ВАК РФ

1 Ахремчик О Л Программная система функционального проектирования аппаратных комплексов АСУТП//Программные продукты и системы -2007 - №2, с 39-41

2 Ахремчик О Л Модель промышленного малоканального контроллера// Промышленные АСУ и контроллеры - 2005 - № 12, с 51-54

3 Ахремчик О Л Некоторые тенденции в области создания и применения промышленной автоматики// Промышленные АСУ и контроллеры -2006 -№11, с 4-7

4 Ахремчик О Л Основы технологии построения моделей объекта проектирования для дистанционного обучения// Известия Томского политехнического университета -2007 -14 1 (Т 310), с 290-294

5 Ахремчик О Л Особенности логической структуры системы управления на базе малоканального контроллера// Промышленные АСУ и контроллеры - 2006 - № 4, с 37 - 39

6 Ахремчик О Л Унификация разработки функциональных схем АСУ// Промышленные АСУ и контроллеры - 2006 - №9, с 9 -11

7 Ахремчик О Л Использование приборов "Термодат" для получения динамических характеристик тепловых объектов// Промышленные АСУ и контроллеры - 2007 -№2, с 36-38

8 Ахремчик О Л Исследование приборного ряда регуляторов температуры для биомедицинских приложений// Известия Таганрогского государственного радиотехнического университета - 2006 - № 11 (66), с 36-38

9 Ахремчик О Л, Сердобинцев С П , Семенов А А Автоматизация линии по производству пресервов// Рыбное хозяйство - 1992 -№5, с 35-37

Патенты, изобретения

10 Ахремчик О Л, Сердобинцев С П Способ управления процессом дефростащш мороженых пищевых продуктов Патент России, N 2016518// Официальный бюллетень «Изобретения Полезные модели» - 1994 - № 14, с 9

11 Ахремчик О Л , Сердобинцев С П Линия для производства пресервов из разделанной рыбы АС N 1824151// Официальный бюллетень «Изобретения Полезные модели» - 1993 - № 24, с 19

12 Ахремчик О Л Устройство для автоматической дезодорации помещений / Заявка на изобретение №97110352 // Официальный бюллетень «Изобретения Полезные модели» - 1999 -№16, с 65

Монографии

13 Ахремчик О Л Эвристические приемы проектирования локальных систем автоматизации - Тверь, издательство Тверского государственного технического университета, 2006 - 160 с

14 Филатова Н Н, Ахремчик О Л, Вавилова Н И Проектирование тренажерных комптсксов для технического образования - Тверь, издательство Тверского государ-

ственного технического университета, 2005 - 160 с

Программы для ЭВМ

15 Система проектирования функциональных схем/ Филатова H H, Бодрин А В, АхремчикО Л, Куприянов О В Программа для ЭВМ №2007612724 - Зар в реестре программ для ЭВМ 22 06 07

16 Технические средства автоматизации/ Филатова H H, Бодрин А В , Ахремчик О Л, Куприянов О В База данных № 2007620224 - Зар в реестре баз данных 27 06 07

17 Филатова H H , Бодрина H И , Ахремчик О JI Техническая реализация схем автоматизации Программа для ЭВМ № 2008610006 - Зар в реестре программ для ЭВМ 9 0108

Публикации в сборниках трудов, материалах конференций

18 Ахремчик О JI Оценка возможностей применения модификаций технических средств автоматизации при построении АСУТГО/ Сб материалов 4 межд конф "Методы и средства управления технологическими процессами", Саранск, изд-во МордГУ, 2007 - С 163-165

19 Ахремчик О JI Подход к созданию информационной базы в области технического обеспечения АСУТП // Материалы шестой всероссийской научно-практической конференции "Современные информационные технологии в науке, образовании и практике" - Оренбург, ИПК ГОУ ОГУ, 2007 - С 423 - 424

20 Ахремчик О J1 Формальная система для функционального проектирования технического обеспечения АСУТП// Сб трудов 20 межд конф "Математические методы в технике и технологиях", Ярославль, изд-во ЯГТУ, 2007 - Т 7 С 180 -181

21 Ахремчик О Л , Филатова H H Построение тренажерного комплекса для обучения проектированию АСУТП// Труды 22 межд научн-техн конф "AIS'07" и "CAD07" - Москва, Физматлиг, 2007 Т 1 С 224 - 228

22 Филатова H H , Ахремчик О Л , Куприянов О В Автоматический синтез функциональных схем// Сб материалов XIII межд конф KDS, Varna, Bulgary - Sofia, FOI ITHEA, 2007 V 1 P 338 - 345

23 Ахремчик О Л Особенности представления АСУТП при формировании целостного образа в процессе обучения // Материалы 13 межд конф "Современное образование содержание, технологии, качество" - С-Пб , Л ЭТИ, 2007 - Т1 С 159-160

24 Ахремчик О Л Выделение классификационных признаков данных для интеллектуальных учебных САПР// Материалы 8 Всероссийской научно-техн конф "Теоретические и прикладные вопросы современных информационных технологий", Улан-Удэ, изд-во ВСГТУ, 2007 -С 217-218

25 Ахремчик О Л Интроспективная методология в парадигме извлечения специальных знаний для обучения специалистов по проектированию// Материалы межд науч-но-практ конф «Качество образования системы, технологии, инновации», Барнаул, изд-во АлтГТУ, 2007 - С 169-170

26 АхремчикО Л Построение таксономии "элементы" для интетлектуальных систем автоматизированного проектирования// Сб трудов IX межд конф "Интеллектуальные системы и компьютерные науки", Москва, изд-во мех мат факультета МГУ, 2006 - Т 2,4 1 С 51 -53

27 Ахремчик О Л , Филатова H H , Куприянов О В Программный комплекс для подготовки учебных заданий на проектирование систем управления// Материалы межд конф "Информационные технологии в образовании, технике и медицине", Волгоград, ВГТУ, 2006 - С 33-34

28 Ахремчик О Л Система автоматизации как составляющая машин сельскохозяйст-

венного назначения// Сборник трудов межд XIII научно-техн конф «Машиностроение и техносфера XXI века» -Донецк ДонНТУ 2006 Т1 С 55-58

29 Ахремчик О JI Применение метода анализа иерархий при проектировании систем автоматизации// Сб научных трудов " Компьютерные технологии в > правлении, медицине, образовании" - Тверь, 2006 - С 5 - 7

30 Akhremchik О L Designing of the computing system for the automated control of production processes // The materials of IFIP world conference on perspectives on soviet and russian computing, 3 - 7 July 2006, Russia, Petrozavodsk, 2006 - Part 1 P 112-115

31 Ахремчик О JI Задачи перехода к формальным процедурам при функциональном проектировании систем управления// Сб труд X межд научно-практ конф «Системный анализ в проектировании и управлении» - С -Петербург, изд-во политехнического университета, 2006 - С 152 -154

32 Ахремчик О J1 Формирование иерархий для проектирования систем управления технологическими процессами// Сб тез докладов 2 межд конф по когнитивной науке CogSci2006 -С -Пб , С -Петербургский гос университет, 2006 - Т 2 С 565 - 566

33 Ахремчик О JI, Бодрин А В Фреймовый подход к созданию моделей систем автоматизации// Сб. научных трудов " Компьютерные технологии в управлении и диагностике " - Тверь, 2004 - С 112 - 114

34 Akhremchik О L , Kiselev А N , Gromilin V, A Designing of the automated monitoring system of the electric power for a hothouse enterprise// Proc of 5th int Carpatian control conference ICCC2004, Zakopane, Poland, May 25 - 28, 2004 - V 2 - P 205 - 208

35 Ахремчик О JI, Бодрин А В , Филатова H Н Автоматическая генерация знаковых моделей измерительных цепей// Материалы 4 межд конф "Современные сложные системы управления СССУ-НТС8'04" - Тверь, 2004 - С 26-28

36 Ахремчик О J1 Выбор интерфейса физического уровня открытых систем//Сб научных трудов "Программные и технические средства медико-биологических и технических систем" - Тверь, 1998 - С 96 - 98

37 Ахремчик О Л Нечетко-множественный подход к принятию решений в АСУ качеством пищевых продуктов// Сб материалов всероссийской научно-практ конф "Автоматизация технологических процессов и управление производством на предприятиях пищевой промышленности" - Москва, 1996 - С 3 - 4

38 Akhremchik О L , Scrdobmzcv S Р Control of lihtsalt product refrigeration// Papers of international conference of the international institute of refrigeration, Gdansk, Poland, 1994

39 Ахремчик О JI Адаптивное управление линией по производству малосоленых продуктов// С б тез докл научно-техн конф КТИРПиХ - Калининград, 1993 - С 18

40 Ахремчик О JI, Сердобинцев С П Система управления линией по производству бланшированных рыбных консервов// Тез докл Всесоюзн конф «Автоматизация технол процессов и производств в пищевой промышленности" - М 1989 - С 54

Материалы по пп 7 и 4 списка публикаций подписаны к печати в декабре и октябре 2006 г (в период вхождения изданий в перечень ведущих рецензируемых научных изданий)

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

Подписано в печать 10 07 08 Физпечл2,0 Заказ №64 Тираж 120 экз Типография Тверского государственного технического университета 170026, г Тверь, наб А Никитина, 22