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

• Ахметшин, Радик Фагимович
• кандидат технических наук
• 2004

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

ВВЕДЕНИЕ.

ГЛАВА 1. АНАЛИЗ ИНСТРУМЕНТАЛЬНЫХ СРЕДСТВ РАЗРАБОТКИ СППР

НА ОСНОВЕ ВСТРАИВАЕМЫХ ДИНАМИЧЕСКИХ МОДЕЛЕЙ.

1.1. Анализ особенностей ситуационного подхода.

1.2. Обзор иерархических ситуационных моделей.

1.3. Выбор цели и задач исследования.

Выводы к главе 1.

ГЛАВА 2. РАЗРАБОТКА ПОДХОДА.К ПОСТРОЕНИЮ ИСМ НА ОСНОВЕ АДИ.

2.1. Анализ предпосылок разработки асинхронной децентрализованной интерпретации ИСМ.

2.2. Анализ традиционного подхода к интерпретации ИСМ в АСПР.

2.3. Пример ИСМ организационного управления.

2.4. Сущность предлагаемого подхода к интерпретации ИСМ в АСПР.

Выводы к главе 2.

ГЛАВА 3. РАЗРАБОТКА ИНФОРМАЦИОННОГО И АЛГОРИТМИЧЕСКОГО

ОБЕСПЕЧЕНИЯ ИСМ НА ОСНОВЕ АДИ.

3.1. Разработка метода контроля текущего состояния ИСМ на основе АДИ.

3.2. Разработка алгоритмического обеспечения АДИ.

3.2.1. Алгоритмическое обеспечение корневого класса HiSM.

3.2.3. Класс Action.

3.2.5 Класс объектов Jump.

3.2.6. Использование алгоритмического обеспечения.

3.3 Программная реализация алгоритмического обеспечения АДИ.

3.3.1 Программная реализация корневого класса HiSM.

3.3.2 Программная реализация класса Sit.

3.3.3 Программная реализация класса Action.

3.3.4 Программная реализация класса Dive.

3.3.5 Программная реализация класса объектов Jump.

3.4 Выводы к главе 3.

ГЛАВА 4. ОРГАНИЗАЦИЯ ВЗАИМОДЕЙСТВИЯ ИСМ С ОБЪЕКТНЫМ

ИНТЕРФЕЙСОМ ПОЛЬЗОВАТЕЛЯ.

4.1 Концепция взаимодействия ИСМ с объектным интерфейсом пользователя.

4.1.1 Подход на основе независимой ИСМ и объектов-агентов.

4.1.2 Подход на основе встраивания объектов ИСМ в объекты интерфейса.

4.2 Разработка программного обеспечения взаимодействия ИСМ.

4.2.1 Программное обеспечение взаимодействия на основе объектов-агентов.

4.2.2 Программное обеспечение взаимодействия на основе встраиваемых объектов ИСМ.

Выводы к главе 4.

ГЛАВА 5. АПРОБАЦИЯ ИСМ С АДИ В СППР И ОЦЕНКА ЭФФЕКТИВНОСТИ

ИХ ПРИМЕНЕНИЯ.

5.1. Общие положения.

5.2 Задача формирования состава ГАК.

5.2.1 Общая характеристика задачи формирования состава ГАК и ее динамическая модель.

5.2.2 Интерфейс с пользователем.

5.2.3 Программирование и отладка модели.

5.3 Задача редактирования и верстки научного журнала «Вестник УГАТУ».

5.3.1 Общая характеристика задачи редактирования и верстки научного журнала и ее динамическая модель.

5.3.2 Интерфейс пользователя.

5.4. Анализ эффективности реализации АДИ ИСМ в СППР.

Выводы к главе 5.

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

Актуальность темы

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

В течение ряда лет в УГАТУ ведется разработка одного из классов дискретно-событийных моделей — так называемых иерархических ситуационных моделей (ИСМ). Модели этого класса не только описывают ситуационное пространство принятия решений на этапе проектирования и непосредственно используются для формирования управленческих воздействий в процессе управления. ИСМ размещаются в системе управления в качестве встроенной базы знаний, содержащей правила обнаружения и смены ситуаций и принятия управленческих решений ассоциированных с ситуациями. Разработан большой ассортимент как самих ИСМ, так и программных инструментальных средств их реализации, прежде всего, в технических системах, таких как летательные аппараты (В. В. Миронов, Н. И. Юсупова, Ю. Б. Головкин, Р. А. Ярцев, Л. Е. Гончар, О. Н. Сметанина, А. Н. Ситчихин).

Применение встроенных динамических моделей связанно с необходимостью реализации интерпретатора модели — специального программного обеспечения, осуществляющего контроль текущего состояния модели и на этой основе формирующего управляющие воздействия в контексте текущей ситуации. Традиционный подход к интерпретации ИСМ, который может быть назван синхронным централизованным, основан на применении централизованного интерпретатора, который циклически с достаточно высокой частотой выполняет обработку модели. Этот подход хорошо зарекомендовал себя в технических системах, организованных по принципу «единого цикла управления», в ходе которого производится считывание текущих показаний датчиков, решения разнообразных задач управления, формирование управляющих воздействий. В более сложно организованных вычислительных средах, предусматривающих распределенные активно действующие компоненты, сложные интерфейсы с пользователями, сложное взаимодействие с базами данных, применение синхронного централизованного подхода становится не эффективным. В подобных системах наряду с синхронным применяется асинхронный событийный подход, в основе которого лежит контроль событий.

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

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

Цель работы и задачи исследования

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

1) Концептуально-теоретический уровень: разработка общего подхода к построению объектно-ориентированных ИСМ с событийными предикатами на основе асинхронной децентрализованной интерпретации и его математического обеспечения.

2) Уровень проектирования: разработка информационного и алгоритмического обеспечения (структуры данных и алгоритмы) асинхронных децентрализованных ИСМ и их взаимодействия с интерфейсом пользователя.

3) Уровень применения', апробация объектно-ориентированных ИСМ на основе асинхронной децентрализованной интерпретации в реальных СППР и оценка эффективности их применения.

Методика исследования

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

Результаты, выносимые на защиту

На защиту выносятся:

1) Метод и математическое обеспечение децентрализованной асинхронной интерпретации ИСМ с учетом событийных предикатов ситуаций.

2) Метод и математическое обеспечение контроля текущего состояния ИСМ с однозначной идентификацией текущих объектов и связыванием их между собой при децентрализованной асинхронной интерпретации.

3) Метод и математическое обеспечение организации взаимодействия ИСМ с пользователем для повышения экономичности и снижения трудоемкости программной реализации модели.

Научная новизна и достоверность результатов

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

Практическая ценность и внедрение результатов

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

Результаты внедрены в виде программного обеспечения моделей СППР в учебном процессе УГАТУ и в научно-производственной фирме «РД Технология».

Связь с плановыми научными исследованиями

Работа выполнена в рамках плановых исследований кафедры АСУ УГАТУ по разработке иерархических ситуационных моделей и частично поддержана Федеральной целевой программой «Государственная поддержка интеграции высшего образования и фундаментальных наук».

Апробация и публикации

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

ГЛАВА 7. АНАЛИЗ ИНСТРУМЕНТАЛЬНЫХ СРЕДСТВ РАЗРАБОТКИ СППР НА ОСНОВЕ ВСТРАИВАЕМЫХ ДИНАМИЧЕСКИХ МОДЕЛЕЙ

В первой главе анализируется ситуационный подход для поддержки принятия решений. Приводится обзор ИСМ и методов их реализации. Обсуждаются событийные предикаты и возможности их реализации в ИСМ. Формулируются цель и задачи исследования.

Заключение диссертации по теме «Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей», Ахметшин, Радик Фагимович

Выводы к главе 5

1) Основной результат этой главы заключается в том, что апробация предложенного подхода к ИСМ на основе АДИ, проведенная для двух СГТПР, подтвердила его работоспособность и эффективность. Предложенные и разработанные в предыдущих главах концепции, методы, алгоритмическое и программное обеспечение работают так, как предполагалось, что позволяет сделать вывод о достоверности этих результатов.

2) Анализ эффективности реализации АДИ ИСМ в СППР выявил следующие преимущества использования предложенного подхода:

- возможность интерактивного управления активностью событийных предикатов ИСМ;

- упрощение программирования связи ИСМ с базами данных;

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

В целом в рассмотренных примерах это позволяет сократить время программирования в 2-3 раза.

ЗАКЛЮЧЕНИЕ

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

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

1) Метод и его математическое обеспечение для децентрализованной асинхронной интерпретации иерархических ситуационных моделей путем последовательной интерпретации предикативных связей при интерпретации элементов-ситуаций и рекурсивной интерпретации целевых ситуаций для активных связей, отличающиеся тем, что с целью учета событийных предикатов активности интерпретация элементов модели осуществляется путем вызовов методов самоинтерпретации соответствующих объектов, а интерпретация предикативного элемента выполняется в два этапа: на первом этапе обработчик ассоциированного события настраивается на вызов второго этапа, предусматривающего, в свою очередь, вызов интерпретации целевого элемента.

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

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

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

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

140

Список литературы диссертационного исследования кандидат технических наук Ахметшин, Радик Фагимович, 2004 год

1. Труды по иерархическим ситуационным моделям

2. Миронов В. В. Исследование и разработка системы управления JIA для предотвращения критических режимов в аварийных ситуациях: Дис. канд. техн. наук / Уфимск. авиац. ин-т. Уфа, 1978. ДСП. 145 с.

3. Миронов В.В., Юсупова Н.И. Методика построения полного множества критических ситуаций летательных аппаратов // Предотвращение авиационных происшествий в гражданской авиации: 3 Всесоюз. науч.-практ. конференция по безопасности полетов. Л.: ОЛАГА, 1982.

4. Головкин Ю.Б., Миронов В.В., Юсупова Н.И. Об оценивании состояния критических ситуаций сложных технических систем // Управление сложными техническими системами: Межвуз. науч. сб. Уфа, 1983. С. 126-133.

5. Головкин Ю.Б., Миронов В.В. Автоматический контроль развития критических ситуаций систем управления // Приборы и средства расчета проектирования нестационарных систем управления: Всесоюз. науч.-техн. конф. М.: МВТУ, 1984.

6. Головкин Ю.Б., Миронов В.В., Юсупова Н.И. Кодирование состояний при оценивании развития критических ситуаций // Управление сложными техническими системами: Межвуз. науч. сб. Уфа, 1984. №7. С. 65-72.

7. Головкин Ю.Б., Миронов В.В., Юсупова Н.И. Об алгоритмах управления по состоянию ситуации // Управление сложными технич. системами: Межвуз. науч. сб. Уфа, 1985. № 8. С. 107-111.

8. Головкин Ю.Б., Миронов В.В., Юсупова Н.И. Контроль развития особых ситуаций при управлении летательными аппаратами // Проблемы динамики управления и безопасности полетов: Всесоюз. науч.-технич. конф. Рига, 1985.

9. Миронов В.В., Юсупова Н.И. Избыточное кодирование при оценивании развития критических ситуаций // IX симп. по проблеме избыточности в информационных системах. Л.: ЛИАП, 1986.

10. Миронов В.В., Юсупова Н.И., Ярцев P.A. Координация подсистем управления на основе иерархической модели ситуаций // Декомпозиция и координация в сложных системах: Всесоюзн. научн.-техн. конф. Челябинск, 1986.

11. Головкин Ю.Б., Миронов В.В., Юсупова Н.И. Об автоматной модели динамической ситуации // Управление сложными техническими системами: Межвуз. науч. сб. Уфа, 1986. №9. С. 3-10.

12. Юсупова Н.И., Миронов В.В., Головкин Ю.Б. Об автоматной модели ситуационного управления // Управление сложными технич. системами: Межвуз. науч. сб. Уфа, 1987. № 10. С. 99-111.

13. Головкин Ю. Б. Разработка математического обеспечения процессов автоматизированного управления бортовыми системами на основе ситуационных моделей: ДисС. канд. техн наук / Уфимск. авиац. ин-т. -Уфа, 1987.-203 С., ДСП.

14. Многоуровневое управление динамическими объектами / Васильев В. Гусев Ю. М., Ефанов В. Н., Крымский В. Г., Рутковский В. Ю., Семеран В. А. М.: Наука, 1987. 308 с.

15. Ярцев P.A., Миронов В.В. О синтезе ситуационной модели управления // Вопросы регулирования и управления в сложных системах: Межвуз. науч. сб. Уфа, 1989. С. 53-59.

16. Ярцев P.A., Миронов В.В. Иерархические процессы и их реализация // Вопросы управления и проектирования в информ. киберн. системах: Межвуз. науч. сб. Уфа, 1990. С. 179-186.

17. Миронов В.В., Ярцев P.A. Об автоматизации управления иерархическими процессами в сложных системах: Депон. в ВИНИТИ 30.09.91, №3822-В91. 83 С.

18. Гончар JI.E., Миронов В.В. Массивы иерархических процессов // Управление в сложных системах: Межвуз. науч. сб. Уфа, 1992. С. 15-23.

19. Миронов В.В., Петрова JI.E. Массивы иерархических процессов в моделях управления // Актуальные проблемы авиастроения: Юбил. науч.-техн. конф. Уфа: УГАТУ, 1992.

20. Миронов В.В. Петрова JI.E. Лингвистическое обеспечение для моделирования иерархических процессов // Разработка систем технического зрения и их применение в промышленности: Всесоюз. науч.-техн. конф. Уфа: УГАТУ, 1992.

21. Ярцев P.A., Миронов В.В. О проектировании АСУ БС JIA на основе ситуационных моделей // Актуальные проблемы авиастроения: Юбил. науч.-техн. конф. Уфа: УГАТУ, 1992.

22. Юсупова Н.И., Миронов В.В., Гончар JI. Е. Лингвистические средства моделирования иерархических процессов управления (статья) // Управление в экономических системах: Межвуз. науч. сб. Уфа, 1994. С. 44-49.

23. Юсупова Н.И., Гончар Л.Е., Миронов В.В. Лингвистические средства моделирования иерархических процессов (тезисы доклада) // Проблемы управления и навигации авиационно-космических систем: 3-я межведом, науч.-техн. конф. Киев, 1994.

24. Миронов В.В., Юсупова Н.И., Ильясов Б.Г. Иерархические модели процессов управления: описание, интерпретация и лингвистическое обеспечение. Уфа: УГАТУ, 1994. 152 С.

25. Юсупова Н.И., Гончар Л.Е., Миронов В.В. Транслятор моделей иерархических процессов: Св-во о per. прогр. для ЭВМ. РосАПО, 04.10.94. №940430.

26. Юсупова Н.И., Гончар Л.Е., Миронов В.В. Интерпретатор моделей иерархических процессов: Св-во о per. прогр. для ЭВМ. РосАПО, 04.10.94. №940431.

27. Юсупова Н.И., Гончар Л.Е., Миронов В.В. Транслятор и интерпретатор иерархических моделей (брошюра): Депон. в ВИНИТИ 16.02.95, № 455-В95.

28. Миронов В.В. Автоматизированная поддержка решений при управлении сложными техническими объектами в критических ситуациях (на примере бортовых систем летательного аппарата): диссертация д-ра техн. наук. Уфа: УГАТУ, 1995. С. 493-493.

29. Гончар Л.Е., Миронов В.В. Массивы иерархических процессов (статья) // Управление в сложных системах: Межвуз. науч. сб. Уфа: 1995. С. 15— 23.

30. Юсупова Н.И., Гончар Л.Е., Миронов В.В. Принципы организации внутреннего представления иерархических моделей (статья) // Управление в сложных системах: Межвуз. науч. сб. Уфа, 1995. С. 100— 107.

31. Юсупова Н.И., Ильясов Б.Г., Миронов В.В. Модели критических ситуаций для интеллектуального управления (статья): 2-я азиатско-тихоокеанская конф. по управлению и измерению. Вон-Чон-Гинь, Китай: 1995.32 С.

32. Миронов В.В., Юсупова Н. И., Сметанина О.Н. Модели управления в условиях неопределенности критических ситуаций (тезисы доклада) // Непрерывно-логические методы и модели в науке, технике и экономике: Междунар. науч.-техн. конф. Пенза: ПТИ, 1995.

33. Гончар Л. Е. Алгоритмическое и лингвистическое обеспечение автоматизированного управления бортовыми системами ЛА на основе иерархических моделей: Дисс. канд. техн. наук / Уфимск. авиац. ин-т. Уфа, 1995.224 с.

34. Миронов В. В. Автоматизированная поддержка решений при управлении сложными техническими объектами в критических ситуациях (на примере бортовых систем летательного аппарата): Дис. д-ра техн. наук / Уфимск. гос. авиац. техн. ун-т. Уфа, 1995. ДСП. 179 с.

35. Миронов В. В. Методология построения системы управления, функционирующей в критических ситуациях / Рукопись депонир. в ВИНИТИ 16.02.95, № 455-В95. М. 33 с.

36. Миронов В.В., Юсупова Н.И., Сметанина О.Н Помехоустойчивая интерпретация иерархических ситуационных моделей (статья) // Интеллектуальные автономные системы: Междунар. науч. изд-е. Уфа-Карлсруэ, 1996.

37. Миронов В.В., Юсупова Н.И., Ильясов Б.Г. Модели критических ситуаций при управлении техническими объектами. Уфа: УНЦ РАН, 1996. 48 С.

38. Миронов В.В., Юсупова Н.И., Сметанина О.Н Об обеспечении помехоустойчивости иерархических ситуационных моделей управления (статья) // Управление в сложных системах: Межвуз. науч. сб. Уфа: УГАТУ, 1998. С. 115-138.

39. Кусимов С.Т., Ильясов Б.Г., Васильев В.И., Кабалыюв Ю.С., Крымский В.Г., Миронов В.В. Управление динамическими системами вусловиях неопределенности. М.: Наука, 1998. 452 С.

40. Юсупова Н. И. Основы ситуационного подхода к управлению техническими объектами в условиях помех и критических ситуаций: Дис. д-ра. техн наук / Уфимск. авиац. ин-т. Уфа, 1998. - 327 С.

41. Юсупова Н.И., Сметанина О.Н., Миронов В.В. Симулятор ситуационных процессов управления в условиях помех: Св-во о per. прогр. для ЭВМ. РосАПО, 23.01.98. № 980168.

42. Миронов В.В., Юсупова Н.И., Сметанина О.Н. Разработка программных средств реализации ситуационных моделей (тезисы доклада) // Интеллектуальное управление в сложных системах: Матер, респ. науч.-техн. конф. Уфа: УГАТУ, 1999. С. 82-84.

43. Гончар JI.E., Миронов В.В., Юсупова Н.И., Шахмаметова Г.Р. Реализация ситуационных моделей управления сложными техническими объектами в среде MATLAB (статья на англ. языке): Тр. Российско-китайского сем. Уфа: УГАТУ, 1999. С. 130-132.

44. Гончар JI.E., Миронов В.В., Юсупова Н.И. Иерархические модели ситуаций и их реализация (статья на англ. языке): Тр. Российско-китайского сем, Уфа: УГАТУ, 1999. С. 125-128.

45. Ситчихин А.Н., Миронов В.В. Иерархические ситуационные модели с предысторией (статья) // Управление в сложных системах. Уфа: УГАТУ, 1999. С. 55-68.

46. Ситчихин А.Н., Миронов В.В., Юсупова Н.И. Иерархические ситуационные модели, учитывающие предысторию (статья на англ. языке): Тр. междунар. сем. по компьютерным наукам и информационным технологиям. Уфа: УГАТУ, 2000. Т. 2. С. 323-328.

47. Ситчихин А.Н., Миронов В.В., Юсупова Н.И Об иерархических ситуационных моделях с предысторией (тезисы доклада) // Математическое моделирование в естественных и гуманитарных науках: Тез. докл. Воронеж: ВГУ, 2000. С. 153.

48. Миронов В.В., Ахметшин Р.Ф. О децентрализованной интерпретации иерархических ситуационных моделей (статья) // Теоретическая информатика 2000: от теории к практике: Тр. междунар. конф. Уфа: УГАТУ, 2000. С. 50-54.

49. Ситчихин А.Н., Миронов В.В. Алгоритмическое обеспечение ретроспективных иерархических ситуационных моделей (статья) //

50. Управление в сложных системах. Уфа: УГАТУ, 2001.

51. Юсупова Н.И., Миронов В.В. «Электронный инструктор»: от «безумной идеи» к теории критических ситуаций // Мир авионики. 2003. № 2. С. 3439.

52. Труды автора по теме диссертации

53. Миронов В.В., Ахметшин Р.Ф. О децентрализованной интерпретации иерархических ситуационных моделей // Теоретическая информатика 2000: от теории к практике: Тр. междунар. конф. Уфа: УГАТУ, 2000. С. 50-54.

54. Mironov V.V., Akhmetshin R.F. Hierarchical situational models with decentralized interpreting // Computer Science and Information Technologies (CSIT '2000): Proc. of the 2nd Int. Workshop. Ufa, Russia, 2000. V. 3. P. 2931.

55. Миронов B.B., Ситчихин A.H., Ахметшин Р.Ф. Объектно-реля-ционная реализация иерархических ситуационных моделей в вычислительной среде // Вестник УГАТУ. 2001. № 1 (3). С. 185-189.

56. Свид-во № 2001610673 об офиц. рег. программ для ЭВМ. Набор классов RHSM 1.0 для задания ретроспективных иерархические ситуационные моделей в среде Visual FoxPro / В.В. Миронов, А.Н. Ситчихин, Р.Ф. Ахметшин. Роспатент, 2001.

57. Ахметшин Р.Ф., Юсупова Н.И., Миронов В.В., Сметашша О.Н. Информационное обеспечение для помехоустойчивого ситуационного управления техническими объектами // Принятие решений в условиях неопределенности: Межвуз. науч. сб. Уфа: УГАТУ, 2002. С. 8-15.

58. Миронов В.В., Ахметшин Р.Ф. Асинхронная децентрализованная интерпретация иерархических ситуационных моделей // Вестник УГАТУ. 2003. Т. 4, № 1.С. 108-116.1461. Общий раздел

59. Berthomieu В., Diaz M. Modelling and verification of time dependent systems using time Petri nets // IEEE Transact, on Software. Eng., 1991.Vol. 17, N. 3.p. 259-273.

60. Jensen K. Coloured Petri nets: Basic concepts, analysis methods and practical use. Vol. 1. Basic concepts. Berlin a. o: Springer-Verlag, 1996.

61. Jensen K. Coloured Petri nets: Basic concepts, analysis methods and practical use. Vol. 2. Analysis methods.Berlin a. o.: Springer-Verlag, 1996.

62. Jensen K. Coloured Petri nets: Basic concepts, analysis methods and practical use. Vol. 3. Practical use. Berlin a. o.: Springer-Verlag, 1997.

63. Vernadat F. Control and monitoring of complex manufacturing systems using situation and casual knowledge // Proc. of the 1st Conf. Artificial Intelligence and Expert Systems in Manufacturing. IFS. 1990. P. 271-280.

64. Аджиев В. "MineSet — визуальный инструмент аналитика" // "Открытые системы", № 3(23), 1997.

65. Андронова О. Управление регионом на основе СЦ ГЛО. Компьютер информ, 1998, №5.

66. Бекренев В. Ситуационные центры и социально—экономическое моделирование. // Управление персоналом, 2000, №12.

67. Буч Г. Объектно-ориентированное проектирование- М.: Конкорд, 1992.-519 с.

68. Горшенин В. Ситуационное управление как основа устойчивого развития государства. http://www.nasledie.ru/oboz/N5-697/5-602.HTM., 2000.

69. Дейт К. Введение в системы баз данных: Пер. с англ. — 6 изд. — Киев: Диалектика, 1998. 848 с.

70. Дунаев С. Доступ к базам данных и техника работы в сети. Практические приемы современного программирования. М.: ДИАЛОГ МИФИ, 1999. 416 с.

71. Зверев Г. Н. Основы теоретической информатики: Учеб. пособие. Т. 1—7. Уфимск. гос. авиац. техн. ун-т. Уфа, 1996-1997. 92 с.

72. Зиндер Е.З. Бизнес-реинжиниринг и технологии системного проектирования. Учебное пособие. М.: Центр Информационных Технологий., 1996

73. Калянов Г.Н. Консалтинг при автоматизации предприятий: Науч. -правкт. изд-е. М.: СИНТЕГ, 1997. 316 с.

74. Каптерев А.И. Разработка механизмов ситуационного управления профессионализацией как аспект деятельности системы обновления социальной практики, www.gntb.ru, 1999.

75. Клыков Ю.И. Семиотические основы ситуационного управления. М.: МИФИ, 1974. 220 с.

76. Клыков Ю.И. Ситуационное управление большими системами. М.: Энергия, 1974. 213 с.

77. Когаловский М.Р. Энциклопедия технологий баз данных. М.: Финансы и статистика, 2002. 800 с.

78. Колесов А. Управление предприятием из Ситуационного центра. PC Week, 2000, № 47.

79. Котов В. Е. Сети Петри. М.: Наука, 1984.

80. Котов В.Е. Сети Петри. М: ."Наука", Глав. ред. физ-мат. лит., 1984.

81. Криницкий Н.А. Алгоритмы и роботы. — Москва: Радио и связь, 1983. -167 с.

82. Кудряшов В.Н. Концепция системы информационной безопасности ситуационных центров // Проблемы информационной безопасности, 1999, №4

83. Куликов Г.Г., Набатов А.Н., Речкалов А.В. и др. Автоматизированные проектирования информационно-управляющих систем. Проектирование экспертных систем на основе системного моделирования. Уфа: УГАТУ, 1999.223 с.

84. Лапинский И. На повестке дня ситуационные центры. PC Week, 2000, №44

85. Макет интегрированной системы ситуационного моделирования: Отчет по НИР Х21—2002/МГУП; Рук. Ю.Н.Филиппович — М., 2002.

86. Марковские модели сложных динамических систем: идентификация, моделирование и контроль состояния / Г. Г. Куликов, П. Дж. Флеминг, Т. В. Брейкин и др. Уфа: УГАТУ, 1998. 104 с.

87. Многоуровневое управление динамическими объектами / Васильев В. Гусев Ю. М., Ефанов В. Н., Крымский В. Г., Рутковский В. Ю., Семеран

88. B. А. М. Наука, 1987. 308 с.

89. Монахова Е. Идея ситуационных центров овладевает массами, PC Week, 1999, №4

90. Научно-практическая конференция "Ситуационные центры — решения и проблемы. Взгляд экспертов" 30-31 октября 2002. Тезисы выступлений. М. Polymedia, 63 с.

91. Новоженов Ю.В. Объектно-ориентированные технологии разработки сложных программных систем. Москва, 1996.

92. Окунишникова Е. В., Чурина Т. Г. Способ построения раскрашенных сетей Петри, моделирующих Estelle-спецификации // Проблемы спецификации и верификации параллельных систем.Новосибирск, 1995.1. C. 95-123.

93. Парфенова М.Я. Анализ целей обратной связи в автоматизированных системах принятия решений // Новые направления в теории систем с обратной связью: Тез. докл. I совещ. М.: РАН, 1993. С. 86-87.

94. Питерсон Дж. Теория сетей Петри и моделирование систем. — М. Мир, 1984. 168 с.

95. Погодин M.B. Ситуационное управление.// Сайт региональных хозяйственных связей, www.pti.ru, 1998.

96. Поспелов Д.А. Ситуационное управление: теория и практика. М.: Наука, 1986. 288 с.

97. Проблемы управления сложными динамическими объектами в критических ситуациях на основе знаний / P.A. Бадамшин, Б.Г. Ильясов, JI.P. Черняховская. М.: Машиностроение, 2003. 240 с.

98. Райков А.Н. Ситуационная комната для поддержки корпоративных решений. Открытые системы, 1999, № 7-8.

99. Райков А.Н. Ситуационная комната коммерческого банка. Информационное общество, 1998, №6.

100. Ш.Саймон А.Р. Стратегические технологии баз данных. М.: Финансы и статистика, 1999. 479 с.

101. Ситуационный центр "КАНТ". Описание системы. БалтикСофт, 2002. http://ioffic.com/book8.htm

102. Ситуационный центр Министерства природных ресурсов РФ.// Описание системы, http://inform.mnr.gov.ru, 2002

103. Ситуационный центр российской консалтинговой компании "Глобал С.Консалтинг", входящей в корпорацию "Группа". Описание системы, http://www.polymedia.ru, 2002.

104. Терещенко И.С. Региональный ситуационный центр. Информационные процессы и системы, 2000, № 10.

105. Фаулер М., Скотт К. UML в кратком изложении. Применение стандартного языка объектного моделирования. М.: Мир, 1999. 191 с.

106. Филиппович А.Ю. Интеграция ситуационного, имитационного и экспертного моделирования. М., 2003, 310 с.

107. Филиппович А.Ю., Сейфулин А.И. Ситуационное управление в полиграфии.// Проблемы построения и эксплуатации систем обработки информации и управления: Сб. статей Вып.4 Под ред. В.М.Черненького. М.: Изд-во ООО "Эликс+", 2002.С. 146-151.

108. Филиппович А.Ю., Сейфулин А.И., Саушкин А.Е. Макет программного комплекса полиграфического ситуационного центра.// Проблемы полиграфии и издательского дела. 2002, №З.С.41-62.

109. Фридман А.Я., Олейник А.Г., Матвеев П.И. Ситуационные СППР муниципального управления. Институт информатики КНЦ РАМ, Апатиты, доклад МГИС'99.

110. Шлеер С., Меллор С. Объектно-ориентированный анализ: моделирование мира в состояниях. Киев: "Диалектика", 1993.

111. Зав. кафедрой АСУ д-р техн. наук, проф.

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

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

114. Ведущий специалист по информационным технологиям канд. техн. наукt- У —1. О.Н. Сметанина

115. СПИСОК ИСПОЛЬЗУЕМЫХ СОКРАЩЕНИЙ

116. АДИ — асинхронно-децентрализованная интерпретация;

117. АСППР автоматизированные системы поддержки принятия решений;1. БД база данных;

118. ГАК — государственная аттестационная комиссия.

119. ИСМ иерархические ситуационные модели;1. ЛА летательные аппараты;

120. ПТС память текущего состояния;

121. СППР системы поддержки принятия решений;

122. СЦИ — синхронная централизованная интерпретация;