Помощь в написании студенческих работ
Антистрессовый сервис

Разработка, исследование и внедрение автоматизированной системы контроля и управления газодобывающего комплекса: На примере предприятия «Надымгазпром»

Диссертация: Разработка, исследование и внедрение автоматизированной системы контроля и управления газодобывающего комплекса: На примере предприятия «Надымгазпром»
ДиссертацияПомощь в написанииУзнать стоимостьмоей работы

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

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

Содержание

  • ГЛАВА 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 *

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

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

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

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

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

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

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

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

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.

4.4.ВЫВОДЫ.

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

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

ЗАКЛЮЧЕНИЕ

.

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

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

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

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

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

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

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

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

Показать весь текст

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

  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 гос.рег.11 8509S1079.
  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, с. 208 247.
  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, с. 172 215.
  53. Ч. Взаимодействующие последовательные процессы.- Пер. с англ. М.: Мир, 1989.- 264 с.
  54. Теория систем и методы системного анализа в управлении и связи /В.Н.Волкова, Б. А. Воронков, А. А. Денисов и др. -М., Радио и связь, 1983. -248с.
  55. В.Н. Языки и средства спецификации программ (обзор).- В кн.: Требования и спецификации в разработке программ. М.: Мир, 1984, с. 285 344.
  56. Ю.Г., Борщев A.B., Рудаков В. В. О корректности параллельных алгоритмов. Программирование, 1986, № 4, с.5−16.
  57. Д. Структурный анализ (SA): язык для передачи понимания.- В кн.: Требования и спецификации в разработке программ. М.: Мир, 1984, с. 240 284.
  58. В.Н. Спецификация программ: понятийные средства и их организация.- Новосибирск: наука, 1987.- 240 с.
  59. Дж. Теория сетей Петри и моделирование систем. М.: Мир, 1984.-264 с.
  60. В.Е. Алгебра регулярных сетей Петри.- Кибернетика, 1980, № 5, с. 10.18
  61. Н.П., Калашников В. В., Коваленко И. Н. Лекции по теории сложных систем.- М., «Сов. Радио», 1973, 440 с.
  62. JI.JI. Разработка методов формализованного анализа ПО систем реального времени. Отчет СКБ ВТ ЖАН ЭССР, 1981, гос. per. № 81 080 862, 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. 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. 427 436
  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.
Заполнить форму текущей работой

Сессия? Спокойно!