Разработка и исследование графоаналитических моделей алгоритмов управления технологическими процессами
Диссертация
Автоматизированные системы управления технологическими процессами (АСУ ТП) составляют на сегодняшний день основу управления сложным промышленным производством, осуществляя контроль за состояниями процессов и оборудования и обеспечивая обслуживающий персонал необходимой информацией. Создание АСУ ТП для сложных технологических производств и предприятий с повышенным риском является одним из основных… Читать ещё >
Содержание
- Глава 1. Применение современных технологий проектирования для систем диспетчерского управления
- 1. 1. Обоснование разработки СИП
- 1. 2. Общая структура SCAD, А — системы и ее особенности
- 1. 3. Области применения SCADA-систем
- 1. 4. Методологии построения СИП
- 1. 4. 1. Методология функциональной модели оператора (Operator Function Model — OFM)
- 1. 4. 2. Методология проектирования диалогового управления (Interactive Monitoring and Control -IMaC)
- 1. 4. 3. Методология накопления знаний (Case-Based Reasoning -CBR)
- 1. 4. 4. Методология пошаговой автоматизации (Incremental Automation Methodology — IA)
- 2. 1. Пример описания технологической системы
- 2. 2. Основные определения
- 2. 2. 1. Иерархическая модель многошагового процесса
- 2. 2. 2. Графоаналитическая форма модели процесса
- 2. 3. Представление поведения процесса в виде ГФ
- 2. 3. 1. Описание примера ГФ процесса
- 2. 3. 2. Процедура структуризации LC процесса
- 2. 4. Оптимизация жизненных циклов процессов
- 3. 1. Критерии корректности описания процесса
- 3. 2. Моделирующая сеть ГФ
- 3. 3. Методика проверки ГФ порцесса на корректность
- 3. 3. 1. Методика проверки
- 3. 3. 2. Уменьшение сложности анализа динамических моделей
- 4. 1. Основные свойства объектно-ориентированной системы
- 4. 1. 1. Отношения между объектами
- 4. 2. Архитектура СИП и основные этапы ее разработки
- 4. 2. 1. Общая архитектура СИП
- 4. 2. 2. Конструирование объектов
- 4. 2. 3. Проектирование реализации
- 4. 2. 4. Проектирование данных
- 4. 2. 5. Использование среды ООП для создания пользовательского интерфейса СИП
- 4. 3. Функционирование СИП
Список литературы
- В., Амбарцумян А. А. Основы построения АСУ сложными технологическими процессами. М. Энергоатомиздат, 1994.
- Bainbridge L. Ironies of automation // J. Rasmussen, K. Duncan, & J. Leplat (Eds.), New Technology and Human Error. New York: John Wiley & Sons Ltd., 1987, pp. 271−283.
- Sheridan T.B. Telerobotics, Automation, and Human Supervisory Control. Cambridge, Massachusetts: The MIT Press, 1992.
- Прагишвили И.В., Ильюков В. Д. и др. Постановка комплекса задач интеллектуализированной системы информационной поддержки операторов АЭС // Моделирование и контроль технологических процессов АЭС. М.: Институт Проблем Управления, 1991, с.5−27.
- Mitchell С.М. GT-MSOCC: Operator models, model-based displays, and intelligent aiding // W. B. Rouse (Ed.), Human/technology interaction in complex systems. Greenwich, CT: JAI Press Inc. 1996, Vol. 8, pp. 67−172.
- Прангишвили И.В., Амбарцумян А. А. Научные основы построения АСУ ТП сложных энергетических систем. М.: Наука, 1992.
- Питерсон Дж. Теория сетей Петри и моделирование систем. Пер. с англ., М.: Мир, 1984, 260с.
- Курата Д. Работа с объектами в Microsoft VB4.0 М. СК Пресс, 1997.
- Жарко Е.Ф., Ильюков В. Д. и др. Опыт разработки систем информационной поддержки операторов АЭС // Принятие решения при управлении сложными объектами: системы, методы, алгоритмы. М.: Институт Проблем Управления, 1997, вып.4, с.7−3 5.
- Юдицкий С.А., Магергут В. З. Логическое управление дискретными процессами. М.: Машиностроение, 1987, 175с.
- Endsley M.R., Kiris Е.О. The out-of-the-loop performance problem and level of control in automation // Human Factors, 1995, № 37(2), pp. 381−394.
- Бабиков B.M., Панасенко И. М. Роль человеческого фактора в обеспечении безопасности АЭС // Атомная техника за рубежом. 1989, № 12,с.З-10.
- Wickens C.D., Kessel С. Failure detection in dynamic systems // J. Rasmussen & W. B. Rouse (Eds.), Human Detection and Diagnosis of System Failures. New York: Plenum Press, 1981, pp. 155−169.
- Машин B.A. Компьютеризированные системы поддержки операторов АЭС (психологические проблемы) // Электрические станции. 1995, № 7, с.2−7.
- Rasmussen J. Information processing and human-machine interaction: An approach to cognitive engineering. New York: North Holland, 1986.17Аншина М. Л. Предприятие как единый объект автоматизации. Размышления на тему // и системы связи, № 1, 1998, с.48−55.
- Кунцевич Н. Компонентные технологии в системах промышленной автоматизации // Открытые системы, 1999, № 4.19Альперович И., Толмасская И. АСУ ТП из коробки // Компьютерная неделя № 8 (82), 1997.
- Ицкович Э.Л. и др. Опыт использования открытых SCADA-программ // Промышленные АСУ и контроллеры. 1999, № 11, с.36−38.
- Леонтьев С.А. Комплексы программ FIX для верхнего уровня систем контроля и управления // Автоматизированные системы, М.: «Диалог-Инвест», 1998.
- Амбарцумян А.А., Искра С. А. и др. Структура системы автоматизированного проектирования логического управления, реализуемого на программируемых контроллерах // Проектирование устройств логического управления. М.: Наука, 1984.
- Искра С.А., Невзоров В.Н. Программное обеспечение трансляции исходного описания во внутреннюю модель алгоритма управления в 111 III
- ФОРУМ-2″ // Тезисы докладов на конф. Проблемы создания программного обеспечения комплексной автоматизации. Калинин, НПО ЦПС, 1987, с. 104 106.
- Амбарцумян А.А., Искра С. А. САПР управления технологическими линиями // Тезисы докладов на конф. «Системы автоматизированного проектирования и их информационное обеспечение». М., ЦНИИТЭИ приборостроения, 1985.
- Амбарцумян А.А. и др. Проблемно-ориентированный язык описания поведения систем логического управления ФОРУМ-М // Проектирование устройств логического управления. М.: Наука, 1984.
- Искра С.А. Программное обеспечение САПР систем логического управления ФОРУМ-М // Тезисы докладов на XXX Конференции молодых ученых ИПУ, 1984.
- Sanders, M.S., McCormick, E.J. Human factors in engineering and design. New York: McGraw Hill, 1987.
- Thurman D.A., Mitchell C.M. A design methodology for operator displays of highly automated supervisory control systems // Proceedings of the 6th IFAC/IFIP/IFOR/SEA Symposium on Analysis, Design, and Evaluation of Man Machine Systems, Boston, MA, 1995.
- Thurman D.A. The interactive monitoring and control (IMaC) design methodology: application and empirical results // Proceedings of the 41st Annual Meeting of the Human Factors and Ergonomics Society, Albuquerque, NM, 1997.
- Hutchins E.L., Hollan J.D., Norman D.A. Direct manipulation interfaces // D.A. Norman & S.W. Draper (Eds.), User centered system design. Hillsdale, NJ: Lawrence Erlbaum Associates, 1986, pp. 87−124.
- Norman D.A. The psychology of everyday things. New York: Basic Books, 1988.
- Klein G.A. A Recognition-Primed Decision (RPD) Model of Rapid Decision Making // G.A. Klein, J. Orasanu, R. Calderwood, & С. E. Zsambok, (Eds.)
- Decision Making in Action: Models and Methods. Norwood, NJ: Ablex Publishing Corp, 1993, pp. 138−147 .
- Калянов Г. Н. CASE структурный системный анализ. M.: «ЛОРИ», 1996, 242с.
- Буч Г. Объектно-ориентированное проектирование с примерами применения. Пер. с англ. Киев: «Диалектика», 1993.
- Амбарцумян А.А., Искра С. А. Структурированные модели систем логического управления // Тезисы докладов на IX Всесоюзное совещание по проблемам управления, Ереван, 1983.
- Коваленко В. Современные индустриальные системы // Открытые системы, 1997, № 5, с.29−34.
- Оре О. Теория графов. Пер. с англ., М.: Наука, 1968, 352с.
- Юдицкий С.А., Кутанов А. Т. Технология проектирования архитектуры информационно-управляющих систем. // Препринт ИПУ, М. 1993.
- Шлеер С., Меллор С. Объектно-ориентированный анализ: моделирование мира в состояниях. Пер. с англ., Киев: «Диалектика», 1993.
- Судов Е. Информационная поддержка жизненного цикла продукта // PC Week/RE 1998.
- Искра С.А. Применение объектного подхода к анализу диспетчерского управления сложными технологическими системами // Тезисы докладов на межд. конференцию по проблемам управления. М., ИПУ, 1999.
- Амбарцумян А.А., Потехин А. И., Запольских Е. Н. Программируемые логические контроллеры и их применение // Измерения. Контроль. Автоматизация, 1979, № 4, с. 17−25.
- Мишель Ж., Лоржо К., Эспью Б. Программируемые контроллеры: Пер. с франц., М.: Машиностроение, 1986, 172с.
- Баранов С.И. Синтез микропрограммных автоматов. Л.: Энергия, 1974, 216с.
- Шоу А. Логическое проектирование операционных систем. Пер. с англ., М.: Мир, 1981,360с.
- Шоломов JI.A. Основы теории дискретных логических и вычислительных устройств. М.: Наука, 1980, 400с.
- Гаврилов М.А. Применение теории конечных автоматов при проектировании дискретных устройств // Проблемы управления и теории конечных автоматов, 1975, № 3, с.451−470.
- Гилл А. Введение в теорию конечных автоматов., Пер. с англ., М.: Мир, 1966, 270с.
- Кузнецов О.П., Адельсон-Вельский Г.М. Дискретная математика для инженера. М.: Энергоатомиздат, 1988, 480с.
- Искра С.А. Метод проектирования быстродействующей управляющей программы с регулярной структурой // Труды XI Всесоюзного совещания по проблемам управления, Ташкент, 1989, с.491 492.
- Искра С.А. Минимизация состояний структурированных конечных автоматов // Системы автоматизированного контроля и управления судовыми процессами. Ленинград, ЛИВТ, 1988.
- Искра С.А. Метод минимизации числа состояний структурированных конечных автоматов // Тезисы докладов XXX Всесоюзной Школы-семинара им. М. А. Гаврилова. Кишинев, 1988, с.60−61.
- Амбарцумян A.A., Пороцкий JI.B., Девятериков В. А. Модель локального управления и ее коррректность в распределенных системах управления // Системы автоматизированного контроля и управления судовым процессом. Л.: ЛИВТ, 1988, с.157−171.
- Семенов A.C. Использование объектно-эволюционного анализа при решении задач технологического типа. // АР № 3, 1998.
- Ахо А., Хопкрофт Дж., Ульман Дж. Построение и анализ вычислительных алгоритмов. М.: Мир, 1979, 536с.
- Закревский А.Д. Проверка корректности параллельных алгоритмов логического управления // Программирование, 1987, № 5, с.31−35.
- Анишев П.А. Редукция сетей Петри // Архитектура вычислительных систем с программируемой структурой. Новосибирск, Вып.82, 1980, с.41−53.134
- Марка Д., Оуэн М. К. Методология структурного анализа и проектирования. М.: «Метатехнология», 1993.
- Аджиев В. Объектная ориентация: философия и футурология // Открытые системы. 1996 № 6 (20), с. 40−45 .
- Маклаков C.B. Bpwin и Erwin CASE-средства разработки информационных систем. М.: «Диалог-МИФИ», 1999.
- Гайсарян С.С. Объектно-ориентированные технологии прикладных программных систем. Уч. пособие. М.: МГУ, Центр Информационных технологий, 1996.
- Волик Б.Г. Автоматизация управления подводными лодками. // Автоматика и телемеханика. 1999, № 6, с.23−30.
- Искра С.А. Анализ графоаналитических моделей алгоритмов управления технологическими процессами //Тезисы докладов (в печати) на XXXIV Школе-семинаре им. М. А. Гаврилова. Приднестровский гос. Университет им. Т. Г. Шевченко, Тирасполь, 2000.
- Котик М.А., Емельянов A.M. природа ошибок человека оператора. М.: «Транспорт», 1993.
- Искра С.А. Графоаналитическая форма представления моделимногошагового технологического процесса // ВИНИТИ, М., 2001, деп. № 72482O0S.
- Искра С.А. Анализ корректности графоаналитической формы описания технологических процессов // ВИНИТИ, М., 2001, деп. № 723 ~S200i.