Разработка, исследование и внедрение автоматизированной системы контроля и управления газодобывающего комплекса: На примере предприятия "Надымгазпром" тема диссертации и автореферата по ВАК РФ 05.13.16, кандидат технических наук Чугунов, Владимир Семенович

  • Чугунов, Владимир Семенович
  • кандидат технических науккандидат технических наук
  • 2000, Новосибирск
  • Специальность ВАК РФ05.13.16
  • Количество страниц 154
Чугунов, Владимир Семенович. Разработка, исследование и внедрение автоматизированной системы контроля и управления газодобывающего комплекса: На примере предприятия "Надымгазпром": дис. кандидат технических наук: 05.13.16 - Применение вычислительной техники, математического моделирования и математических методов в научных исследованиях (по отраслям наук). Новосибирск. 2000. 154 с.

Оглавление диссертации кандидат технических наук Чугунов, Владимир Семенович

ВВЕДЕНИЕ

ГЛАВА 1. ОСОБЕННОСТИ АВТОМАТИЗИРОВАННОЙ СИСТЕМЫ УПРАВЛЕНИЯ КРУПНЫМ ТЕХНОЛОГИЧЕСКИМ КОМПЛЕКСОМ ДОБЫЧИ ГАЗА В ОСЛОЖНЕННЫХ УСЛОВИЯХ ЭКСПЛУАТАЦИИ КРАЙНЕГО СЕВЕРА

1.1. Общая структура и особенности управления крупным газодобывающим комплексом Крайнего Севера в осложненных условиях эксплуатации

1.2. Комплекс программ контроля и оптимизации для уровня АСДУ по добыче газа

1.3. Основные виды неопределенности, характерные для процесса контроля и управления газодобывающим комплексом Крайнего Севера в осложненных условиях эксплуатации

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

1.5. Выводы

ГЛАВА 2. ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ ИНФОРМАЦИОННО-СОВЕТУЮЩЕЙ СИСТЕМЫ ГАЗОДОБЫВАЮЩИХ ОБЪЕДИНЕНИЙ

2.1. Расчет и оптимизация трехуровневой системы газодобычи месторождения Медвежье

2.2. Идентификация параметров газосборных сетей

2.3. Оптимизация режимов работы сетевого межпромыслового коллектора

2.4. Выводы

ГЛАВА 3. РАСЧЕТ, КОНТРОЛЬ, ИДЕНТИФИКАЦИЯ И УПРАВЛЕНИЕ СИСТЕМОЙ ГАЗОСНАЖЕНИЯ В УСЛОВИЯХ НЕОПРЕДЕЛЕННОСТИ С

ИСПОЛЬЗОВАНИЕМ ТЕОРИИ НЕЧЕТКИХ МНОЖЕСТВ

3.1. Возможности применения теории нечетких множеств для описания различных видов неопределенности

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

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

3.4.Возможности структурной идентификации газосборных сетей

3.5.Выводы

ГЛАВА 4. ПРОЕКТИРОВАНИЕ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ РАСПРЕДЕЛЁННЫХ СИСТЕМ ГАЗОДОБЫВАЮЩИХ ПРЕДПРИЯТИЙ

4.1. Концептуальная модель встроенной системы

4.2. Спецификации и ошибки программных систем

4.3. Формальная модель программного обеспечения системы управления 126 *

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

Введение диссертации (часть автореферата) на тему «Разработка, исследование и внедрение автоматизированной системы контроля и управления газодобывающего комплекса: На примере предприятия "Надымгазпром"»

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

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

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

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

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

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

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

Основные задачи исследования и методы их решения.

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

2. Определение основных видов неопределенности управления многоуровневыми иерархическими газодобывающими комплексами Крайнего Севера.

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

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

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

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

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

Научная новизна работы.

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

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

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

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

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

3. Предложенный метод специфицирования программных систем реального времени внедрён на предприятии «Надымгазпром» и используется для разработки распределённых программных систем (в частности с его использованием создан комплекс программ управления пассажирскими авиаперевозками).

Связь с научно-исследовательской тематикой.

Все работы проводились в рамках проблемы "Создать и ввести в эксплуатацию многоуровневую автоматизированную систему управления Западно- Сибирским территориально- производственным комплексом по добыче и транспорту газа (АСУ ЗС ТТПС" (задание 03.03 проблема 0.80.36" по постановлению ГКНТ СССР и Госплана СССР от 12 декабря 1980 года Т 427/248, "Комплексной целевой программе развития АСУ ЗС ТПК на ХШ пятилетку" Мингазпрома и согласно совместному приказу Мингазпрома и Минприбора Т 147/237 "О создании автоматизированных систем управления на важнейших объектах газовой промышленности Западной Сибири". Апробация работы. Основное содержание диссертационной работы докладывалось на заседаниях НТС ОАО «Газпром» в 1996-1998 г.г., а также НТС предприятия «Надымгазпром» в 1994-1998 г.г., а также на отраслевых семинарах и совещаниях.

Структура и объем работы. Диссертация состоит из введения, четырех глав и содержит 154 странице текста, 8 рисунков, 14 таблиц, список литературы из 109

Похожие диссертационные работы по специальности «Применение вычислительной техники, математического моделирования и математических методов в научных исследованиях (по отраслям наук)», 05.13.16 шифр ВАК

Заключение диссертации по теме «Применение вычислительной техники, математического моделирования и математических методов в научных исследованиях (по отраслям наук)», Чугунов, Владимир Семенович

4.4.ВЫВОДЫ

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

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

ЗАКЛЮЧЕНИЕ

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

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

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

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

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

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

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

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

Список литературы диссертационного исследования кандидат технических наук Чугунов, Владимир Семенович, 2000 год

1. Алтунин А.Е., Чугунов B.C. Структура и особенности управления системой добычи газа. - М.:ИРЦ Газпром. НТС «Геология, бурение, разработка и эксплуатация газовых и газоконденсатных месторождений на суше и на шельфе», № 11-12, 1998, с.27-31

2. Чугунов B.C. Комплекс программ контроля и оптимизации для уровня АСДУ по добыче газа. М.:ИРЦ Газпром. НТС «Геология, бурение, разработка и эксплуатация газовых и газоконденсатных месторождений на суше и на шельфе», № Ц-12, 1998, с.21-24

3. Алтунин А.Е.,Семухин М.В.Дутырев А.Л.Дрел Л.Д., Цыбульник В.Н., Губин Е.Б. Инструкция по расчету и оптимизации сетевых газосборных систем.- Тюмень, 1987.- 69 с.

4. Алтунин А.Е., Чуклеев С.Н., Семухин М.В., Крел Л.Д. Методическое руководство по технологическим расчетам сложных систем газодобычи при неточных параметрах.- Тюмень, 1984,- 48 с.

5. Заде Л.А. Понятие лингвистической переменной и его применение к принятию приближенных решений. М. Мир, 1976.

6. Борисов А.Н., и др. Модели принятия решений на основе лингвистической переменной. Рига: Зинатне, 1982.-256 с.

7. Моисеев H.H. Элементы теории оптимальных систем. М.: Наука, 1975.528 с.

8. Цыпкин Я.З. Адаптивные методы выбора решений в условиях неопределенности. -Автоматика и телемеханика, 1976, N 4, с.78-91.

9. Фельдбаум A.A. Основы теории оптимальных автоматических систем. М.: Наука, 1966.

10. Кандель А.,Байатт У.Дж. Нечеткие множества, нечеткая алгебра, нечеткая статистика.- Труды американского общества инженеров-радиоэлектроников, 1978, т.66, N12, с.37-61.

11. Маргулов Р.Д., Тагиев В.Г., Гергедава Ш.К. Организация управления газодобывающим предприятием. М.: Недра, 1981.

12. Хьюбер Дж.П. Робастность в статистике. М.: Мир, 1984.-304 с.

13. Кашьян Р.Л., Рао А.Р. Построение динамических стохастических моделей по экспериментальным данным.- М.: Наука, 1983.-384 с.

14. Нечеткие множества и теория возможностей. Последние достижения. М.: Радио и связь, 1986.- 408 с.

15. Негойце К. Применение теории систем к проблемам управления. М.: Мир, 1981.- 179 с.

16. Тихонов А.Н. и др. Регуляризующие алгоритмы и априорная информация. М.: Наука, 1983.- 200 с.

17. Месарович М., ТакахараЯ. Общая теория систем. М.: Мир, 1978.

18. Павловский Ю.Н. Агрегирование сложных моделей и построение иерархических систем управления. В сб.: Исследование операций. М.: ВЦ АН СССР, 1974, Вып. 4, с. 3-38.

19. Петков П.И., Димитров З.И., Иванов М.С. Иерархичные децентрализованные системы управления. София: Техника, 1985.-136 с.

20. Алиев P.A., Либерзон М.И. Методы и алгоритмы координации в промышленных системах управления. М.: Радио и связь, 1987.-208 с.

21. Алиев P.A.,Либерзон М.И. Безытеративные алгоритмы координации в двухуровневых системах. -Известия АН СССР. Техническая кибернетика, N 3, 1986, с. 163-166.

22. Алтунин А.Е. Исследование и разработка методов принятия решений в многоуровневых иерархических системах газовой промышленности. Автореферат канд. дисс., МИНХиГП им. И.М. Губкина, М., 1979.-23 с.

23. Поспелов Г.С. и др. Процедуры и алгоритмы формирования комплексных программ. М.: Наука, 1985.- 424 с.

24. Нурминский Е.,Балабанов Т. Декомпозиция энергетической модели высокой размерности. Отчет ВНИИСИ, 1985, N гос.рег.118509S1079.

25. Михалевич B.C. и др. Алгоритм согласования решений в распределенной системе взаимосвязанных задач с линейными моделями.-Кибернетика, 1988,N 3, с.1-8.

26. Алтунин А.Е., Чугунов B.C. Идентификация параметров газосборных сетей. М.:ИРЦ Газпром. НТС «Геология, бурение, разработка и эксплуатация газовых и газоконденсатных месторождений на суше и на шельфе», № 2, 1999, с.32-37

27. Сухарев М.Г., Ставровский Е.Р. Оптимизация систем транспорта газа. М.: Недра, 1975.

28. Алтунин А.Е., Чугунов B.C. Оптимизацмя режимов работы сетевого коллектора. М.:ИРЦ Газпром. НТС «Геология, бурение, разработка и эксплуатация газовых и газоконденсатных месторождений на суше и на шельфе», № 11-12, 1998, с.24-27

29. Кучин Б.Л., Алтунин А.Е. Управление системой газоснабжения в осложненных условиях эксплуатации. -М.: Недра, 1987.- 209 с.

30. Кучин Б.Л., Алтунин А.Е. Автоматизированные информационные системы объектов газоснабжения. -М.: Недра, 1989.-199 с.

31. Заде Л.А. Размытые множества и их применение в распознавании образов и кластер-анализе. -В сб.: Классификация и кластер. М.:Мир,1980, с. 208247.

32. Борщевич В.И., Ботнарь В.И. Нечеткое моделирование и проблемы его интерпретации. Кишинев: КПИ, 1984.-13 с. (Рукопись депонирована в МолдНИИНТИ, N 462М-84Деп. от 14.09.1984).

33. Пфанцагль И. Теория измерений. М.: Мир, 1976.- 166 с.

34. Фишберн П. Теория полезности для принятия решений. М.: Наука, 1978.

35. ЬСини Р.Л., Райфа X. Принятие решений при многих критериях: предпочтения и замещения. М.: Радио и связь, 1981.-560с.

36. Норвич A.M., Турксен И.Б. Фундаментальное измерение нечеткости.- Всб.: Нечеткие множества и теория возможностей. М.: Радио и связь, 1986, с. 54-64.

37. Норвич А.М., Турксен И.Б. Построение функций принадлежности. -В сб.: Нечеткие множества и теория возможностей. М.: Радио и связь, 1986, с. 64-71.

38. Ягер P.P. Множества уровня для оценки принадлежности нечетких подмножеств.- В сб.: Нечеткие множества и теория возможностей. М:Радио и связь, 1986, с. 71-78.

39. Кофман А. Введение в теорию нечетких множеств. М.:Радио и связь, 1982.- 432 с.

40. Орловский С.А. Проблемы принятия решений при нечеткой исходной информации. М.: Наука, 1981.

41. Закиров С.Н. и др. Прогнозирование и регулирование разработки газовых месторождений.- М.: Недра, 1984.- 295 с.

42. Кейн JI.A. Искусственный интеллект в обрабатывающих отраслях промышленности.- Нефть, газ и нефтехимия за рубежом, 1986, N9, с. 117-122.

43. Алтунин А.Е., Чуклеев С.Н., Семухин М.В. ,Крел Л.Д. Методические рекомендации по применению теории нечеткости в процессах контроля и управления объектами газоснабжения. Тюмень, 1983.- 136 с.

44. Моисеев H.H. Математические задачи системного анализа. М.: Наука, 1981.-488 с.

45. Кейн В.М. Оптимизация систем управления по минимаксному критерию.- М.: Наука, 1985.- 248 с.

46. Орлов А.И. Устойчивость в социально-экономических моделях. М.: Наука, 1979.

47. Шапиро Д.И. Принятие решений в системах организационного управления: использование расплывчатых категорий. М.:Энергоатомиздат, 1983.184 с.

48. Гусев JI.A., Смирнова И.М. Размытые множества. Теория и приложения (обзор). Автоматика и телемеханика, 1973, N 5, с. 66-85.

49. Бокша В.В., Силов В.Б. Нечеткое целевое управление системами сзаданным конечным состоянием. Автоматика, 1985, N 3, с. 3-8.

50. Алексеев A.B. Проблемы разработки математического обеспечения выполнения нечетких алгоритмов. -В сб.: Модели выбора альтернатив в нечеткой среде.- Рига, 1984, с. 79-82.

51. Алексеев A.B. Применение нечеткой математики в задачах принятия решений. -В сб.: Метооды и системы принятия решений. Рига: РПИ, 1983, с. 38.

52. Беллман Р., Заде JI. Принятие решений в расплывчатых условиях В сб.: Вопросы анализа и процедуры принятия решений. М.: Мир, 1976,с. 172215.

53. Хоар Ч. Взаимодействующие последовательные процессы.- Пер. с англ. М.: Мир, 1989.- 264 с.

54. Теория систем и методы системного анализа в управлении и связи /В.Н.Волкова,Б.А.Воронков,А.А.Денисов и др. -М., Радио и связь, 1983. -248с.

55. Агафонов В.Н. Языки и средства спецификации программ (обзор).- В кн.: Требования и спецификации в разработке программ. М.: Мир, 1984, с. 285344.

56. Карпов Ю.Г., Борщев A.B., Рудаков В.В. О корректности параллельных алгоритмов. Программирование, 1986, № 4, с.5-16.

57. Росс Д. Структурный анализ (SA): язык для передачи понимания.- В кн.: Требования и спецификации в разработке программ. М.: Мир, 1984, с. 240284.

58. Агафонов В.Н. Спецификация программ: понятийные средства и их организация.- Новосибирск: наука, 1987.- 240 с.

59. Питерсон Дж. Теория сетей Петри и моделирование систем. М.: Мир, 1984.-264 с.

60. Котов В.Е. Алгебра регулярных сетей Петри.- Кибернетика, 1980, №5, с.10.18

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

62. Мытус JI.JI. Разработка методов формализованного анализа ПО систем реального времени. Отчет СКБ ВТ ЖАН ЭССР, 1981, гос. per. № 81080862, 73 с.

63. Мытус JI.JI. Модель программного обеспечения распределенных систем управления // Программирование, 1983, № 3, с. 46-54.

64. Мытус JI.JI. Особенности моделирования программного обеспечения многопроцессорных встроенных систем.- Изв. АН СССР, Техническая кибернетика, № 4, 1985, с. 149-155.

65. Мытус JI.JI., Чугунов B.C., Артемьева Н.И., Козлов В.А., Федоровский M.JI. Выбор формального метода спецификации программного обеспечения систем управления дискретно-непрерывными производствами. // УСиМ. 1985, № 2, с. 11-15

66. Чугунов B.C. Максимова Т.Ю. Зернюкова JI.H. Принципы построения языка спецификации поведения встроенных систем. В сб. «Микропроцессорные комплексы для управления технологическими процессами.» Тезисы докладов. М. «Информприбор», 1987, с. 60-61

67. Чугунов B.C. Специфицирование поведения встроенных систем. В сб. «Микропроцессорные комплексы для управления технологическими процессами.» Тезисы докладов. М. « Информприбор», 1987, с. 57-58

68. Баулин В.П. Чугунов B.C. Технология специфицирования программных средств. В сб. «Пути совершенствования разработки программных и автоматизированных систем» Тезисы докладов к Всесоюзной научно-технической конференции. Свердл., 1989, с. 143

69. Чугунов B.C. Применение формального метода при проектировании распределенных систем управления предприятием.- В сб.: "Повышение эффективности освоения газовых месторождений Крайнего Севера.- М.: Наука,1997, с. 532-540.

70. Dubois D., Prade H. Operations on fuzzy numbers. Int. J. System sci., 1978, v.5, N2, p. 613-626.

71. Venkatesan M. Development and storage of interpretive structural models.-IEEE Trans. Syst. Man and Cybern., 1984, N3, p. 550-556.

72. Bonissone P.P., Tong R.M. Editorial: reasoning with uncertainty in expert systems.- Int. J. Man-Mach. Stad., 1985, N3, p. 241-250.

73. Mamdani E.H., Efstathion H.J. Higher-order logics for handling uncertainty in expert systems.- Int." J. ManMach. Stud., 1985, N3, p. 243-259.

74. Kickert W.Y.M. and oth. Application of Fuzzy Controller in a Warm Water Plent.- Automatica, 1976, v. 12, N4, p. 301-308.

75. Atsushi Degawa. Улучшение методов обнаружения и подавления "плохой" информации при оценке состояния энергосистем.- Дэнки гаккай ромбуси, Trans.Inst.Elec.Eng.Jap., 1984, N2, 69-76(яп.).

76. Leitmann G. Deterministic control of uncertain systems.- Mat. Model. Sci. and Technol.,4th Int. Conf. Zurich, 15-17 Aug. 1983, New York, 1983, p. 1-9.

77. Findeisen W., Malinowski K. Two-level control and coordination for dinamisal systems.- Archiwum automatiki i telemechaniki, Т. XXIV, N 1, p. 3-27.

78. Due G., Drouin M., Mariton M., Abou-Kandil H. Une nouvelle methode de decomposition-coordination.- Application a la compensation des systemes multivariables.- APII, 1985, N 3, p. 227-242.

79. Yager R.R. Fuzzy sets, probilities, and decision.- J. of Cybern., 1980, N 10, p.1.18.

80. Funy J.W., Fu K.S. An axiomatic approach to rational decision making in a fuzzy environment.- Fuzzy Sets and Their Application to Cognitive and Decision Processes, New York, 1975, p. 227-257.

81. Goguen Y.A. The logic of inexact concepts.- Synthese, v.19, p. 329-373.

82. Uehara K., Taguchi E. Интерфейс преобразователя аналоговых сигналов в сигналы логики размытых множеств.- Дэнси цусин таккай ромбунси, Trans. Inst. Electron, and Commun. Eng. Jap., 1984, N 4, p. 391-396.

83. Togai M.,Watanabe H. A VLSI implementation of fuzzy iference engine.-2nd Conf. Artif. Intell. Appl., Miami Beach, Fla, Dec.11-13, 1985. Washington, D.C., 1985, p. 192-197.

84. Prade H. A computional approach to approximate and plausible reasoning with applications to expert systems.- IEEE Trans.Pattern Anal, and Mach. Intel., 1985, N3, p. 260-283.

85. Willaeys D. Some of the properties of fuzzy discretisation.- Fuzzy Inf., IF AC Symp. Marseille, 19-21 July, 1983. Oxford, 1984, p. 61-69.

86. Chang S.S.L. Application of fuzzy set theory to economics.- Kybernetes, 1977, v.6, p. 203-208.

87. Kitowski J. Zastosowanie relacyjnych rownan rozmytych.- Zesz. nauk. AGH: Autom., 1984, N37,107 s.

88. Motus L. Semantics and implementation problems of interprocess communication in a DCCS specification // Proc. 6th IFAC Workshop on DCCS.Monterey (Calif.): Pergamon press, 1986.

89. Tanaka H., Asai K. Fuzzy solution in fuzzy linear pogramming problems.-IEEE Trans. Syst. Maan and Cybern., 1984, N2, pp. 325-328.

90. Dubois D., Prade H. Fuzzy sets and systems: Theory and applications.-New York: Acad.Press, 1980.- 394 p.

91. Dubois D., Prade H. Systems of linear fuzzy constraints.- Fuzzy Sets and Systems, 1980, v.3, N1, p. 37-48.

92. Gladden G.R. Stop Life Cycle, I want to get off.- Software Engineering Notes, vol. 7, no.2, April 1982, pp. 35-39

93. Matsumoto Y. A Software Design Methodology: Bridge from Requirements Specification to Software Design.- Japan Annual Reviews in Electronics, Computers and Telecommunications, 1982, pp. 175-192

94. Zave P. An operational approach to requirements specification for embedded systems.- IEEE Transaction on Software Engineering, vol. 8, № 3,1982, pp. 250-269

95. Stay J.F. HIPO and integrated program design. IBM System Journal, 1976, №2, pp. 143-155.

96. Teichroew D., Hershey E.A., PSL/PSA a computer aided technique for structured documentation and analysis of information processing systems.- IEEE Transaction on Software Engineering, vol. SE-3, 1,1977, pp.41-18.

97. Furia N J. A comparative evaluation of RSL/REVS and PSL/PSA applied to digital flight control systems.- AIAA 2nd Computers in Aerospace Conference, Los Angeles, 1979, pp. 330-337

98. Ludewig J. Process Control Software Specification in PCSL.- Proc. Of IF AC Real-Time Programming Workshop, Leibnitz, Austria, 14-16 Apr. 1980, pp. 122-131

99. Ludewig J. ESPRESO a system for Process Control Software specification.- IEEE Transaction on Software Engineering, vol. 9, № 4, 1983, pp. 427436

100. Campbell R.H. Path Expression for Real-Time Programming.- Proc. Workshop on Tally for Embedded Computing System Software, NASA Conference Publication 2064, Nov. 7-8, 1978, pp .29-32

101. Schwartz, R., Melliar-Smith P.M. Temporal Logic Specification on Distributed Systems.- 2nd Intern. Conf. On Distributed Computing Systems, Paris/France, 1981, pp. 446-454

102. Laventhal M.S. Syncronization specifications for data abstractions.- IEEE Conference on Specifications of Reliable Software, 1979, pp. 119-125

103. Nader A. Petri Nets for Real Time Control Algorithms Decomposition.-Distributed Computer Control Systems, Proc. of the IF AC Workshop, ed. by T.Harrison, Tampa, Fla, 2-4 Oct 1979, pp 57-68

104. Quirk W.J., Gilbert R. The formal specification of the requirements of complex real-time systems. Harwell, AERE, 1977, Report no. 8602, 57 pp.

105. Motus L., Kaaremees K. A model based design of distributed computer control system software // Proc. 4th IF AC Workshop on DCCS. Monterey (Calif.): Pergamon press, 1983, p. 93-101.

106. Motus L., Tchugunov V., Artemyeva N. Selection of the formal model for athbatch chemical process control system's software specification. Preprints of 9 IF AC World Congress, Budapest, Hungary, 1984, vol. 3, pp 196-201.

107. Integrated Computer-Aided Manufacturing (ICAM) Report: Function Modelling Manual (IDEFO).- contract no.F33612-78-C-5158,Softegh, Inc., 1981, 420p.

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