Разработка, исследование и внедрение автоматизированной системы контроля и управления газодобывающего комплекса: На примере предприятия "Надымгазпром" тема диссертации и автореферата по ВАК РФ 05.13.16, кандидат технических наук Чугунов, Владимир Семенович
- Специальность ВАК РФ05.13.16
- Количество страниц 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 шифр ВАК
Нечеткие методы идентификации и управления процессами нефтегазодобычи2002 год, кандидат технических наук Алтунин, Евгений Александрович
Методологические основы анализа и обработки нечеткой информации на нефтегазодобывающих предприятиях2008 год, доктор технических наук Семухин, Михаил Викторович
Создание многоуровневых информационно-управляющих систем реального времени на основе методов оптимизации и математического моделирования2007 год, доктор технических наук Костюков, Валентин Ефимович
Совершенствование методов управления системой добычи газа на основе рационального использования пластовой энергии2012 год, кандидат технических наук Скоробогач, Михаил Александрович
Моделирование и исследование режимов функционирования комплекса технологических объектов газодобывающего предприятия1999 год, кандидат технических наук Ваулина, Елена Васильевна
Введение диссертации (часть автореферата) на тему «Разработка, исследование и внедрение автоматизированной системы контроля и управления газодобывающего комплекса: На примере предприятия "Надымгазпром"»
Актуальность проблемы. Одной из ведущих отраслей топливно-энергетического комплекса страны является газовая промышленность. Крупнейшим объединением по добыче газа является Надымгазпром. Управление таким крупным и рассредоточенным объектом осложняется значительной погрешностью замеров технологических параметров, наличием различных видов неопределенности и необходимостью координации решений, принимаемых на каждом уровне иерархической системы контроля и управления газодобывающего региона.
Разработка конструктивных методов контроля и управления сложными иерархическими системами газоснабжения в условиях неопределенности значительно отстает от потребностей практики, что приводит к существенному снижению эффективности и надежности работы системы газоснабжения.
Существование неопределённости характеристик технологических объектов газодобывающего комплекса обусловлено помимо прочего, их встроенностью в окружающую среду так же, как система управления является встроенной в технологические объекты. Следовательно, алгоритмы управления технологическими процессами газоснабжения должны строиться на основе методов, учитывающих неопределённость характеристик технологических объектов.
Существующие алгоритмы принятия решений в системах газоснабжения чаще всего являются детерминированными или ориентированы только на один конкретный вид неопределенности (интервальный, вероятностный, лингвистический). При этом применение конкретного математического аппарата (статистических методов, теории игр, теории полезности и т.д.) для принятия решений позволяет отразить в модели лишь отдельные виды данных, приводит к острому дефициту в информации конкретного типа и безвозвратной потере информации других типов.
Следует отметить, что несмотря на существование большого числа программных комплексов, созданных для расчета и оптимизации режимов работы газопроводов, коллекторов и газовых залежей, отсутствуют комплексы программ, работающие в общих условиях неопределенности, при большой размерности и сложности моделей, при наличии сетевых газопроводов.
Разработка программного обеспечения (ПО) встроенных систем осложняется несовершенством средств и методов построения спецификаций ПО. Это несовершенство обусловлено "соотношением неопределённостей" специфицирования: спецификации, излагающие задачу в наиболее ясных и понятных терминах, плохо приспособлены для формального доказательства требуемых свойств ПО, и наоборот, формальные описания задач программирования трудно интерпретируются в терминах и понятиях прикладной области. Цель работы. Повышение качества управления основным производством газодобывающего предприятия за счёт использования:
- идей и методов теории организации, моделей, алгоритмов и программ для расчета, контроля и управления многоуровневыми автоматизированными системами добычи и межпромыслового транспорта газа в условиях различных видов неопределенности информации; методов и средств разработки программного обеспечения, обеспечивающих заданное поведение распределённых систем управления.
Основные задачи исследования и методы их решения.
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 шифр ВАК
Научно-методические основы многоуровневого моделирования и оптимизации развития систем газоснабжения2003 год, доктор технических наук Илькевич, Николай Иванович
Система поддержки принятия решений при автоматизированном оперативно-диспетчерском управлении объектами добычи и транспорта газа2008 год, кандидат технических наук Балабанов, Александр Анатольевич
Теория и практика проектирования систем управления объектами газовой отрасли2009 год, доктор технических наук Радкевич, Валерий Васильевич
Контроль и управление комплексом взаимодействующих газовых скважин в условиях неопределенности конструктивно-технологических параметров2006 год, кандидат технических наук Кузнецов, Сергей Анатольевич
Методический подход к оценке системной надежности газодобывающих комплексов: На примере Медвежьего газового месторождения2002 год, кандидат технических наук Березнякова, Елена Ивановна
Заключение диссертации по теме «Применение вычислительной техники, математического моделирования и математических методов в научных исследованиях (по отраслям наук)», Чугунов, Владимир Семенович
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 файлах диссертаций и авторефератов, которые мы доставляем, подобных ошибок нет.