Автоматизированный синтез алгоритмических структур систем управления тема диссертации и автореферата по ВАК РФ 05.13.07, кандидат технических наук Рогов, Александр Юрьевич

• Рогов, Александр Юрьевич
• кандидат технических наук
• 1999

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

СОДЕРЖАНИЕ

Введение

Глава I. Литературный обзор и анализ проблемы

1.1. Выделение исследуемой проблемы

1.2. Определение понятий и аспекта исследования

1.3. Методики представления структур систем управления

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

1.5. Синтез и анализ структуры

1.6. Постановка задачи исследования

1.7. Выводы к главе I

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

2.1. Описание алгоритмических структур граф-схемами

2.2. Формализация синтезирующей системы

2.3. Правила стыковки связей

2.4. Формализация типов информации

2.5. Декомпозиция графа реализаций

2.6. Краткое описание методики

2.7. Выводы к главе II

Глава III. Ядро системы проектирования алгоритмических структур

3.1. Структура программного комплекса

3.2. Редактор графовых схем

3.3. Программа синтеза

3.4. Подсистема анализа графов

3.5. База граф-схем

3.6. Редактор правил подстановки

3.7. Подсистема загрузки и сохранения правил и графов

3.8. Выводы к главе III

Глава IV. Проектирование алгоритмической структуры системы управления технологическим процессом

4.1. Формализация типовых задач и процедур

цифрового управления

4.2. Описание установки каталитического риформинга

4.3. Описание процесса каталитического риформинга

4.4. Выделение параметров процесса и функций системы управления

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

4.6. Синтез алгоритмической структуры для второго реактора

4.7. Выводы к главе IV

Выводы по работе

Список литературы

Акты внедрения

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

ВВЕДЕНИЕ

В настоящее время, при автоматизации технологических процессов (ТП) в химической промышленности все более широкое распространение получают системы управления, построенные на базе микропроцессорной технике и управляющих вычислительных машин /1,2/. Основные функции таких систем управления реализуются программными средствами. При этом, одна управляющая машина может заменить функции многих локальных регуляторов. В практике проектирования, системы управления, реализующие функции управления технологическим процессом посредством программно реализованных модулей управления, называют цифровыми системами управления /3,4/.

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

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

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

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

Работы по алгоритмизации составляют 25-30% общего объема затрат на проектирование и определяют уровень качественных показателей проектируемой системы управления. Однако, в большинстве случаев, процесс разработки систем управления отождествляется с проблемой формализации отдельных задач управления и выбора методов их решения, т.е. разработки и унификации алгоритмических модулей, а этапу синтеза алгоритмической структуры не уделяется достаточного внимания. Такой подход оправдан при решении отдельных инженерных задач, поскольку в нем не учитываются взаимосвязи по информации и результатам решения между отдельными алгоритмическими модулями. Игнорирование этого обстоятельства приводит к увеличению затрат на разработку цифровой системы управления /8/.

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

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

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

При этом возникает необходимость в разработке эффективного математического аппарата для построения синтезирующих алгоритмов и анализа алгоритмических структур на предварительном этапе проектирования. Эффективным математическим аппаратом на этом этапе проектирования видится применение аппарата теории графов /9/, теории порождающих систем, теории алгоритмов /10/ и системного анализа /11,12/. Математическая теория систем располагают эффективными средствами описания, синтеза и анализа структурных компонент систем различной сложности.

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

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

Таким образом, целью диссертационной работы является:

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

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

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

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

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

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

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

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

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

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

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

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

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

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

• в научно-исследовательскую деятельность специального конструкторского бюро "Система" АООТ "Ленинец" ;

• в исследовательскую деятельность Белгородского центра новых информационных технологий ;

• в учебный процесс на кафедре автоматизации производственных процессов в Санкт-Петербургском государственном горном институте (техническом университете);

• в учебный процесс на кафедре систем автоматизированного проектирования и управления в Санкт-Петербургском государственном технологическом институте (техническом университете).

Основные результаты работы апробированы:

• на конференции при Третьей Санкт-Петербургской Ассамблее молодых ученых и специалистов, проходившей в Санкт-Петербурге в декабре 1998 года ;

• на научно-технической конференции, посвященной памяти М.М. Сычева, проходившей в Санкт-Петербурге в мае 1997 года ;

• на конференции Математические методы в технике и технологиях (ММТТ-12), проходившей в Великом Новгороде в июне 1999 года.

Основными положениями диссертационной работы, выносимыми на защиту, являются:

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

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

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

Материалы диссертационной работы вошли в отчет о научно-исследовательской работе кафедры САПРиУ № ГР 02.9.70 004794 за 1996 год в разделы "Использование графовых операций для анализа и синтеза систем управления" (с. 110-151) и "Формализация описания технологического объекта управления с целью создания системы управления" (с. 5-50).

Результаты работы опубликованы:

• Разработка методов формализованного описания и расчета системы при проектировании комплекса технических средств / Сотников В.В., Халимон В.И., Песков И.А., Рогов А.Ю. // Школа Молодых Ученых при Международной конференции Математические методы в химии и химической технологии (ММХ-10): Тезисы докл.- Тула, 1996.- с. 61.

• Использование графовых моделей при проектировании систем управления дискретно-непрерывными процессами / Сотников В.В., Макарова Л.Ф., Тенишев Д.Ш., Рогов А.Ю. // Школа Молодых Ученых при Международной конференции Математические методы в химии и химической технологии (ММХ-10): Тезисы докл.- Тула, 1996.-с. 72.

• Использование графовых операций для анализа и синтеза систем управления: Отчет о НИР (промежут.) // СПбГТИ(ТУ); руководитель Сотников В.В.- № ГР 02.9.70 004794,- СПб., 1996.-е. 110-151.

• Формализация выбора функциональной структуры АСУТП / Халимон В.И., Рогов А.Ю., Казанкина Ю.В. // Научнотехническая конференция аспирантов СПбГТИ(ТУ) посвященная памяти М.М. Сычева: Тезисы докл.-СПб, 1997.-е. 150.

• Формализованный синтез информационно-логической структуры АСУ ТП / Сотников В.В., Халимон В.И., Рогов А.Ю. // XI Международная конференция молодых ученых по химии и химической технологии (МКХТ-97): Тезисы докл.- М., 1997.- с. 132.

• Автоматизированная система анализа структуры сложных систем / Халимон В.И., Зайцева B.C., Рогов А.Ю., Никитина Л.Н. // Программные и технические средства медико-биологических и технических систем: Сборник трудов.- Тверь, 1998.- с. 32-36.

• Автоматизированный синтез алгоритма системы управления технологическими процессами / Сотников В.В., Халимон В.И., Рогов А.Ю. // Международная конференция Компьютерное моделирование: Тезисы докл.- Белгород, 1998,- с. 97-103.

• Метод синтеза алгоритмической структуры АСУ / Рогов А.Ю., Халимон В.И. // Третья Санкт-Петербургская Ассамблея молодых ученых и специалистов: Тезисы докл.- СПб, 1998.- с. 67.

• Формализация выбора функциональных задач в САПР АСУ химико-технологическими процессами / Сотников В.В., Халимон В.И., Рогов А.Ю.//Статья деп. в ВИНИТИ 12.04.99,-СПб.,1999.- 11с.-№ 1115-В99

• Порождающая система как математический аппарат синтеза структур систем управления / Сотников В.В., Халимон В.И., Рогов А.Ю. // Международная конференция Математические методы в технике и технологиях (ММТТ-12): Тезисы докл.,ТомЗ,- Новгород, 1999.- с. 13-15.

• Автоматизированная система анализа структуры систем управления. / Зайцева B.C., Никитина Л.Н., Рогов А.Ю. // II научно-техническая конференция аспирантов СПбГТИ(ТУ) посвященная памяти М.М. Сычева: Тезисы докл.,Часть2.- СПб., 1999.- с. 116

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

выводы:

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

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

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

4. Исследование проблемы позволили автору разработать методику автоматизированного синтеза алгоритмических структур систем управления и при этом:

• предложить способ формального описания правил стыковки граф-схем по информационным связям ;

• разработать и программно реализовать алгоритм работы синтезирующей системы;

• предложить и программно реализовать алгоритмы декомпозиции граф-схем на относительно автономные части ;

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

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

5. Проведенная апробация результатов показала эффективность предложенной методики. Результаты работы внедрены в научно-исследовательскую практику и в учебный процесс ВУЗов.

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

Список литературы

h Фритч В. Применение микропроцессоров в системах управления. / пер. с немец. Григорьева O.A. и Коробкова В.И.- М.: Мир, 1984.- 464 с.

2. Распределенные АСУТП // под ред. Левина A.A.- М.: Энергоатом-издат 1985,- 240 с.

3. Куо Б. Теория и проектирование цифровых систем управления. / пер. с англ. Дунаева В.Г.- М.: Машиностроение, 1986,- 448 с.

4. Шамриков Б.М. Основы цифровых систем управления.- М.: Машиностроение, 1985.- 296 с.

5. Кулик В.Т. Алгоритмизация объектов управления.- Киев: Наукова думка, 1968.- 364 с.

6. Липаев В.В., Колин К.К., Серебровский Л.А. Математическое обеспечение управляющих ЦВМ.- М.: Советское радио, 1972,- 528 с.

7. Автоматизированный синтез алгоритма системы управления технологическими процессами / Сотников В.В., Халимон В.И., Рогов А.Ю. // Международная конференция Компьютерное моделирование: Тезисы докл.- Белгород, 1998.- с. 97-103.

8. Голубятников В.А., Шувалов В.В. Автоматизация производственных процессов в химической промышленности.- М.: Химия, 1991.- 481 с.

9. Ope О. Теория графов. / пер. с англ. Врублевской И.Н.- М.: Наука, 1980.- 336 с.

Ю.Кузнецов О.П., Адельсон-Вельский Г.М. Дискретная математика для инженера,- М.: Энергоатомиздат, 1988,- 480 с.

1 ГФлейшман Б.С. Основы системологии.- М.: Радио и связь, 1982.-368 с.

12.Кафаров В.В. Системный анализ процессов химической технологии.-М.: Наука, 1986.- 356 с.

13.Общеотраслевые руководящие методические материалы по созданию систем автоматизированного проектирования (САПР). Редакция 1-78 / Гос. ком. по науки и технике,- М: ЦНИПИАСС, 1978,- 44 с.

14.Коваленко А.Н. САПР: Методология и формализованные методы: Учеб. пособие. / ЛГУ,- Л., 1988.- 92 с.

15.Мамиконов А.Г. Методы разработки автоматизированных систем управления.- М.: Энергия, 1973.- 336 с.

16. Евдокимов В.В., Рейнер В. А. Машинный синтез АСУ П.- М.: Статистика, 1980.- 222 с.

17.Дудников Е.Г., Левин A.A. Промышленные автоматизированные системы управления.- М.: Энергия, 1973.- 192 с.

18.Буяновский JI.A., Сывороткин Е.Г. Основы разработки управляющих систем в нефтяной промышленности. / Обзор /.- М.: ВНИИОЭНГ, 1966.- 62 с.

19.Формализация выбора функциональных задач в САПР АСУ химико-технологическими процессами / Сотников В.В., Халимон В.И., Рогов А.Ю. // Статья в ред. жур.- СПб., 1999,- 11 е.- деп. в ВИНИТИ 12.04.99 № 1115-В99.

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

21.Краснощеков П.С., Савин Г.И., Федоров В.В., Флеров Ю.А. Автоматизация проектирования сложных объектов машиностроения. // в жур. Автоматизация проектирования, 1996, № 1, с.3-12.

22. Гуд Г.Х., Макол Р.Э. Системотехника. Введение в проектирование больших систем. / пер. с англ. Трофимова К.Н.- М.: Советское радио, 1962,- 383 с.

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

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

25.Николаев В.И., Брук В.М. Системотехника: методы и приложения.-Л.: Машиностроение, 1985.- 199 с.

26.Мамиконов А.Г. Проектирование АСУ: Учебник для вузов,- М.: Высшая школа, 1987,- 303 с.

27.Общеотраслевые руководящие методические материалы по созданию АСУТП. / Гос. ком. по науки и технике.- М: Финансы и статистика, 1982.- 128 с.

28.Дворецкий A.C., Дитрих И.В., Данилина О.М. Вопросы типизации создания АСУ.- М: изд. Стандартов, 1981,- 223 с.

29.Стефани Е.П. Основы построения АСУТП.-М.: Энергоиздат,1982.-532с.

30.ГОСТ 24.003-84. Автоматизированные системы управления. Термины и определения.

31.Тимофеев Б.Б., Литвинов В.А. Технология обработки данных в АСУ П.- Киев: Техниса, 1978.- 175 с.

32.Сорико В.А. Систематизация задач управления в отрасли и их взаимодействие. // Проблемы развития автомобильного транспорта Украины,- Киев: Техника, 1975.- с.30-37.

33.Модин A.A. Основы разработки и развития АСУ,- М.: Наука, 1981.279 с.

34.Абдуллаев A.A. Принципы построения автоматизированных систем управления промышленными предприятиями с непрерывным характером производства.- М.: Энергия, 1975.- 439 с.

35.Линденбаум В.А., Этин Ю.Б., Рахманин Г.Д. Определение состава задач АСУП с использованием экспертных оценок. // Проблемы передачи данных в АСУ: I-всесоюз.науч.-техн.совещ.-Киев: ИК,1974.-220с.

36.Гальперин И.И. Синтез систем автоматики.- М.: Госэнергоиздат, I960.- 160 с.

37.Калман Р., Фалб П., Арбиб М. Очерки по математической теории систем. / пер. с англ. Напельбаума Э.Л.- M.: Мир, 1971,- 400 с.

38.Райцын Т.М. Синтез систем автоматического управления методом направленных графов.- Л.: Энергия, 1970.- 96 с.

39.Петров Б.Н. Избранные труды. Теория автоматического управления.-Tl.- M.: Наука, 1983,- 432 с.

40.Бутковский А.Г. На пути к геометризации управления // Теория и системы управления: изв.РАН.- М.: Наука, 1997, № 1,- с. 16-27.

41.Бутковский А.Г. Структурная теория распределенных систем,- М.: Наука, 1977.- 320 с.

42.Бутковский А.Г. Преобразование структурных схем распределенных систем с помощью ЭВМ. Алгоритм и его реализация.- М: 1985.- 32 с.

43.Кудрявцев В.Б., Алешин C.B., Подколзин A.C. Введение в теорию автоматов.- М.: Наука, 1985,- 319 с.

44.Глушков В.М. Синтез цифровых автоматов.-М.: Физматгиз,1962.-476с.

45.Бабак С.Ф., Ильясов Б.Г., Кабальнов Ю.С. Об одном подходе к построению структурной теории систем // Теория и системы управления: изв.РАН.- М.: Наука, 1995, № 2.- с.15-21.

46.Месарович М., Такахара Я. Общая теория систем: математические основы. / пер. с англ. Напельбаума Э.Л.- М.: Мир, 1978.- 311 с.

47.Мальцев А.И. Алгебраические системы.- М.: Наука, 1970.- 392 с.

48.Губанов В.А., Захаров В.В., Коваленко А.Н. Введение в системный анализ: Учебное пособие,- Л.: ЛГУ, 1988,- 232 с.

49,Орос С.Ю. Системы искусственного интеллекта и проектирование АСУ. // сб. Методы и алгоритмы оптимизации программного и технического обеспечения АСУ промышленного назначения,- Киев: КИА, 1990,-с. 63-68.

50.Таунсенд К., Фохт Д. Проектирование и программная реализация экспертных систем на персональных ЭВМ. / пер. с англ. Кондратенко В.А,- М.: Финансы и статистика, 1990,- 320 с.

51. Автоматизированное управление технологическими процессами: Учебное пособие. / под ред. Яковлева.- Л.: ЛГУ, 1988,- 224 с.

52.Автоматизированные системы управления непрерывными технологическими процессами: Учебное пособие. / Агеев Ю.М., Коновалов В.И., Мазурек Г.Ф., Скороспешкин В.Н.- Томск: ТПИ, 1987,- 95 с.

53.Козлик Г.А. Алгоритмические модели систем управления производством.- Киев: о-во "Знание", 1981. -38 с.

54.Тимофеев Б.Б., Козлик Г.А., Кулаков А.Ф. Алгоритмизация в автоматизированных системах управления.- Киев: Техника, 1972.- 240 с.

55.Козлик Г.А. Моделирование иерархических структур систем управления. // в сб.науч.тр. Математические модели сложных систем.- Киев: ИК, 1973,-с. 89-94.

56.Модин A.A., Зингер И.Е., Коротаев М.А. Исследование и анализ потоков информации на промышленных предприятиях.- М.: Наука, 1970.- 151с.

57.Садовников В.И., Эпштейн В.Л. Методы изучения и описания потоков информации. // в Алгоритмические методы исследования и разработки оперативных информационных систем, Вып.1.- М. ИПУ, 1970.- 67с.

58.Зыков A.A. Теория конечных графов.- Новосибирск: Наука, 1969.-543с.

59.Харари Ф. Теория графов. / пер. с англ. Козырева В.П.- М.: Мир, 1973.- 300 с.

60.Ловас Л., Пламмер М. Прикладные задачи теории графов.- М.: Мир, 1998.-496 с.

61.Кабулов В.К., Гуськов Г.Я., Магрупов Т.М. Концептуальное проектирование микроэлектронных вычислительных структур и систем.-Ташкент: Фан, 1989.- 224.

62.Кристофидес Н. Теория графов. Алгоритмический подход. / пер. с англ. Вершкова Э.В. и Коновальцева И.В.- М.: Мир, 1978.- 432 с.

бЗ.Эпштейн В.А. О приложении теории графов для описания и анализа схем потоков информации в управляющих системах. И Автоматика и телемеханика, 1965, № 8,- с. 1403-1409.

64.Сорико В.А. Этапно-функциональный метод определения базового комплекса задач управления. // Приборы и системы управления, 1976, № 12,-с. 11-15.

65.Кулагин В.П. Анализ моделей иерархических систем. // Автоматизация обработки первичных данных: межвуз.сб.науч.тр.- Пенза: ППИ, 1984, Вып.10.- с, 123-130.

66.Котов В.Е., Черкасова Л.А. Структурированные сети. // Кибернетика,

1981, № 4.- с.33-41.

67.Котов В.Е., Сабельфельд В.К. Теория схем программ,- М.: Наука, 1991,- 248 с.

68.Козлик Г.А. Алгоритмизация в АСУ, Киев: о-во "Знание", 1980.-24с.

69.Цвиркун А.Д. Структура сложных систем.- М.: Сов.радио, 1975.-199 с.

70.Потемкин И.С. Автоматизация синтеза функциональных схем.- М: Энергоиздат, 1981.- 88 с.

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

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

1982,- 200 с.

73.Лаппо С.С., Тарханеева H.A., Шейнгезихт В.В. Автоматизация проектирования структуры вычислительных систем и вычислительного процесса в АСУТП // в сб.науч.тр. Проектирование комплексно-автоматизированных производств,-Харьков: ХАИ, 1989.-е. 127-133.

74.Мамиконов А.Г., Цвиркун А.Д., Кульба В.В. Проектирование подсистем и звеньев АСУ,- М.: Высшая школа, 1975.- 248 с.

75.Мамиконов А.Г., Цвиркун А.Д., Кульба В.В. Модели и методы, используемые при создании автоматизированных систем / Автоматика и телемеханика, 1971, №7.-с. 116-131.

76.Корбут A.A., Финкелыптейн Ю.Ю. Дискретное программирование.-М.: Наука, 1969.- 368 с.

77.Цвиркун А.Д., Кульба В.В. О распределении множества решаемых задач между различными узлами АСУ. // в сб. Информация и модели структур управления.- М.: Наука, 1972,- с. 204-215.

78.Цвиркун А.Д., Кульба В.В. О формализованном распределении множества решаемых задач между различными узлами систем управления. // Автоматика и телемеханика, 1970, № 9,- с. 79-85.

79.Месарович М., Мако Д., Такахара И. Теория иерархических многоуровневых систем. / пер. с англ. Шахнова И.Ф.- М.: Мир, 1973,- 344 с.

80.Кафаров В.В., Горбатов В.А., Павлов П.Г. Логическое управление технологическими процессами.- М.: Энергия, 1978.- 272 с.

81.Макаров В.В., Плютто В.П. Финякин Л.Н. Автоматизированные системы управления периодическими процессами: Учебное пособие.-М.: МХТИ, 1985.- 49 с.

82.Первозванский A.A., Гайцгори В.Г. Декомпозиция, агрегатирование и приближенная оптимизация.- М.: Наука, 1979.- 344 с.

83.Душник Ф.А., Лейбман А.Д. Метод декомпозиции системы задач, решаемых в АСУ. // в сб.статей Проблемы развития автомобильного транспорта Украины.- Киев: Техника, 1975.- с. 37-43.

84.Декомпозиционные методы проектирования систем. // сб.науч.тр. под ред. Кузьмина И.В.- Киев: ИК, 1988,- 98 с.

85.Автоматизация проектирования систем управления. // сб.статей под ред. Трапезникова В.А.- М.: Статистика, 1979.- 205 с.

86.Диденко К.И. Контурная декомпозиция систем управления. // Приборы и системы управления, 1982, № 5.- с. 16-18.

87.Минскер И.Н., Ицкович Э.Л. Методы анализа АСУ химико-технологическими процессами.- М.: Химия, 1990,- 120 с.

88.Нечипоренко В.И. Структурный анализ систем: (Эффективность и надежность).- М.: Сов. радио, 1977.- 214 с.

89.Нечипоренко В.И. Структурный анализ и методы построения надежных систем.- М.: Сов. радио, 1968.- 255 с.

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

91.Липаев В.В. Проектирование программных средств: Учебное пособие ML: Высшая школа, 1990,- 303 с.

92.Смальян Р. Теория формальных систем. / пер. с англ. Косовского Н.К. M.: Наука. 1981.- 207 с.

93.Мендельсон Э. Введение в математическую логику. / пер. с англ. Кабакова Ф.А.- М.: Наука, 1984.- 319 с.

94.Логический подход к искусственному интеллекту: от классической логики к логическому программированию: Пер. с франц. / Тейз А., Грибомон П., Луи Ж., и др.- М.: Мир, 1990.- 432 с.

95.В.Дж.Рейуорд-Смит Теория формальных языков. Вводный курс. / пер. с англ. Кузьмина Б.А.- М.: Радио и связь, 1988,- 129 с.

96.Ахо А., Ульман Дж. Теория синтаксического анализа, перевода и компиляции, / пер. с англ. Курочкина В.М.- Т1, М.: Мир, 1978,- 612 с.

97.Строганов Р.П. Управляющие машины и их применение.- М.: Высшая школа, 1986.- 240 с.

98 .Управляющие вычислительные машины в АСУ ТП / под ред. Харрисона Т.- Tl.- M.: Мир, 1975.- 531 с.

99.Мячев A.A. Организация управляющих вычислительных комплексов. М.: Энергия, 1980.- 272 с.

100.Колосов В.Г., Алексеев Б.Н., Некрасов С.П. Проектирование АСУ ТП на базе мини- и микро-ЭВМ: Учебное пособие,- Л.: изд.ЛПИ,1982.-80 с.

Ю1.Грубов В.И., Кирдан B.C. Справочник по ЭВМ и аналоговым устройствам.- Киев: Наукова думка, 1977.- 464 с.

Ю2.Абдуллаев Д.А. Оперативная обработка измерительной информации в автоматизированных системах управления.- Ташкент: ФАН, 1985,128 с.

ЮЗ.Абдуллаев A.A. Дискретные средства преобразования и сбора измерительной информации.- М.: Машиностроение, 1982,- 145 с.

104.Ицхокин Я.С. Импульсные и цифровые устройства.- М.: Советское радио, 1973.-591 с.

105.Вычислительные машины, системы и сети: Учебник / под ред. Пятибратова А.П.- М.: Финансы и статистика, 1991.- 400 с.

106.Общесистемное проектирование АСУ реального времени. / под ред. Шабалина В.А.- М.: Радио и связь, 1984.- 232 с.

Ю7.Кофман А. Введение в прикладную комбинаторику. / пер. с фран. Мякишева В.П. и Тараканова В.Е.- М.: Наука, 1975.- 480 с.

Ю8.Трой Д. Программирование на языке Си для персонального компьютера IBMPC. / пер. с англ. Кузьмина Б.А,- М.: Радио и связь, 1991.- 432 с.

Ю9.Уэйт М., Прата С., Мартин Д. Язык Си. Руководство для начинающих. / пер. с англ. Гориновича JI.H. и Явниловича B.C.- М.: Мир, 1988,- 512 с.

ПО.Керниган Б., Ритчи Д. Язык программирования СИ. / пер. с англ. Штаркмана B.C.- М.: Финансы и статистика, 1992.- 272 с.

111 .Страуструп Б. Язык программирования С++. / пер. с англ.- М.: Радио и связь, 1991.- 352 с.

112.Неформальное введение в С++ и Turbo Vision.- СПб.: Петрополь, 1992- 383 с.

ПЗ.Вирт Н. "Алгоритмы+структуры данных=программы".- М.: Мир, 1985.-406 с.

114.Фигурнов В.Э. IBM PC для пользователя.- М.: Финансы и статистика, КомпьютерПресс, 1991,- 288 с.

И5.Просиз Дж. Управление памятью в DOS5 / пер. с англ. Моисеенко К.Б.- М.: Мир, 1994,- 240 с.

116.Шапиро Ю.З. АСУ химическими производствами. Унифицированные решения.- М.: Химия, 1983.- 224 с.

1 П.Пономарева К.В., Кузьмин Л.Г. Информационное обеспечение АСУ.-М.: Высшая школа, 1991.- 222 с.

118.Дроздов В.Н., Мирошкин И.В., Скорубский И.В. Системы автоматизированного управления с микроЭВМ.- Л.: Машиностроение, 1989.284 с.

119.Ицкович Э.Л., Трахтенгерц Э.А. Алгоритмы ценрализованного контроля и управления производством,- М.: Советское радио, 1967,- 352 с.

120.Ицкович Э.Л. Контроль производства с помощью вычислительных машин.- М.: Энергия, 1975.- 416 с.

121.Амосов A.A., Дубинский Ю.А., Копченова Н.В. Вычислительные методы для инженеров: Учебное пособие.- М.: Высшая школа, 1994.544 с.

122.Солодовников В.В. Статистическая динамика линейных систем автоматического управления.- М.: Физматгиз, i960,- 655 с.

123.Новосельцева Ж.А. Априорная информация в задачах оптимальной фильтрации. // Автоматика и телемеханика, 1967, № 8.- с. 144-160.

124. Ли Т.Г., Адаме Г.Э., Гейнз У.М. Управление процессами с помощью вычислительных машин. Моделирование и оптимизация. / пер. с англ. Мудрова В.И.- М.: Советское радио, 1972,- 312 с.

125.Куропаткин П.В. Теория автоматического управления: Учебное пособие.- М.: Высшая школа, 1973.- 528 с.

126.Изерман Р. Цифровые системы управления. / пер. с англ. Забродина С.П.- М.: Мир, 1984.-541 с.

127.Плютто В.П., Путинцев В.А., Глумов В.М. Практикум по теории автоматического управления химико-технологическими процессами. Цифровые системы: Учебное пособие.- М.: Химия, 1989,- 168 с.

128.Мита Ц., Хара С., Кондо Р. Введение в цифровое управление.- М.: Мир, 1994,- 256 с.

129.Введенский A.A. Термодинамические расчеты нефтехимических процессов.- Л.: Гостоптехиздат, i960.- 576 с.

130.Жоров Ю.М. Моделирование физико-химических процессов в нефтепереработке и нефтехимии,- М.: Химия, 1978.- 376 с.

131.Влияние фракционного состава сырья на выход и октановое число бензина каталитического риформинга. / Маслянский Г.Н., Шапиро Р.Н., Панникова Г.Ф. и др. // Химия и технология топлив и масел,- М.: Химия, 1981, №9, с. 12-15.

УТВЕРЖДАЮ

Зам. Генерального директора

СКБ «Система»

Ш/ €КВ

Акт

Любарский В.О,. / ■

1999 г.

внедрения в исследовательскую работу программного продукта для исследования систем управления графовыми методами

Мы, ниже подписавшиеся, представители СКБ «Система» и кафедры систем автоматизированного проектирования и управления Санкт-Петербургского государственного технологического института (технического университета), настоящим актом свидетельствуем, что разработанное, при выполнении диссертационной работы аспиранта кафедры систем автоматизированного проектирования и управления Санкт-Петербургского технологического института (технического университета) Рогова А.Ю., программное обеспечение для решения задач анализа и синтеза алгоритмических структур систем управления посредством графовых методов, приняты для внедрения в исследователькую деятельность.

От СКБ «Система»:

начальник отдела 6220 нач. лаборатории 6223

Николаев П.В. Усачев А.В.

От Санкт-Петербургского государственного^хнологического института (технического университета):

д.т.н., проф. к.т.н., доц. аспирант

3

дгО

Сотников В.В. Халимон В.И. Рогов А.Ю.

РЖДАЮ .

тор Белгородского а новых информа-Технсшогий

Колтунов Л.

И.

19 99г.

Акт

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

Мы, ниже подписавшиеся, представители Белгородского областного центра новых информационных технологий и кафедры систем автоматизированного проектирования и управления Санкт-Петербургского государственного технологического института (технического университета) , составили настоящий акт о том, что нами принято для внедрения в научных разработках БелЦНИТа следующее программное обеспечение, содержащееся в диссертационной работе Рогова А.Ю. на тему «Автоматизированный синтез алгоритмических структур систем управления»:

1.Программный пакет для автоматизированного синтеза алгоритмической структуры КЗз-Г^ег;

2.Оболочка для ввода, редактирования, преобразования и ахчализа графов Р^га!:.

От Белгородского центра новых информационных технологий:

технический директор

начальник отдела программных средств

Постольский Г.В,

Краморенко И.Л.

От Санкт-Петербургского государственного технологического института (технического ...университета) :

д.т.н., профессор к.т.н., доцент аспирант

АЛ-

Г

Сотников В.В. Халимон В.И. Рогов А.Ю.

Акт

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

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

От Санкт-Петербургского государственного горного института (технического университета):

Заведующий кафедрой автоматизации -у-//

производственных процессов, д.т.н., Проскуряков P.M.

Заведующий кафедрой обогащения ___

полезных ископаемых д.т.н., проф. ^V^}- Тихонов О.Н.

д.т.н., проф. Jhili " Школьников А.Д.

д.т.н., проф. /TjM / Кордаков В.Н.

От Санкт-Петербургского государственного технологического идатитута (технического

университета): /jn) /-"

д.т.н., проф. / [цу / уботников В.В.

к.т.н., доц. ^--^^^лалимон В.И.

аспирант Рогов А.Ю.

Согласовано Проректор по учебной работе СПбГТИ(ТУ) С.А.Сувор™

Утверждаю

а

Акт

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

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

От Инженеоно-кибеонетического От касЬедоы САПР и У