автореферат диссертации по информатике, вычислительной технике и управлению, 05.13.01, диссертация на тему:Е-сетевые средства моделирования и имитации теплоэнергетических процессов в задачах построения компьютерных тренажеров

Введение.

1. Принципы организации многофункционального компьютерного тренажера.

1.1. Требования, предъявляемые к средствам моделирования многофункционального компьютерного тренажера.

1.2. Выбор формализованной схемы математического моделирования сложных технических систем.

1.3. Математическое описание Е-сетевого аппарата моделирования.

1.4. Выводы по первой главе.

2. Синтез аналитико-имитационных моделей сложных систем, формализованных на базе Е-сетевого аппарата.

2.1. Базовые принципы построения EN модели технической системы.

2.2. Иерархическая организация Е-сетевой модели сложных технических систем.

2.3. Организация и принцип работы многофункциональных схем моделирования.

2.4. Принцип организация иерархической структуры со смешанным подчинением.

2.5. Организация многофункционального Е-сетевого шаблона в аналитико-имитационной модели.

2.6. Иерархическая макроструктура данных Е-сетевой аналитико-имитационной модели.

Выводы по второй главе.

3. Структурно-параметрический синтез Е-сетевой аналитико-имитационной модели.

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

3.2. Алгоритмы настройки аналитико-имитационной модели.

3.3. Архитектура подсистемы профилирования динамической моделей.

3.5. Выводы по третьей главе.

4. Структура и организация алгоритмических схем моделирования непрерывных процессов Е-сетевым аппаратом.

4.1. Структура алгоритмических схем моделирования непрерывных процессов.

4.2. Структура и алгоритмы функционирования базовых Е-сетевых макропереходов.

4.3. Реализация Е-сетевой схемы интерполяции.

4.4. Алгоритмические схемы моделирования, реализующие воспроизведение непрерывных процессов в системах с распределенными параметрами.

4.5. Представление сигналов в Е-сетевой модели.

4.6. Уменьшения вычислительной нагрузки Е-сетевой модели. Децимация потока фишек.

4.7. Выводы по четвертой главе.

5. Е-сетевая динамическая модель модель тепловой котельной.

5.1. Тепловая пиковая котельная как объект моделирования в многофункциональном компьютерном тренажере.

5.1.1. Технические характеристики водогрейного котла.

5.1.2. Паспортные данные котла КВГМ-100.

5.1.3. Система управления котлоагрегатом.

5.1.4. Задачи системы управления теплоэнергетического объекта управления - водогрейного котла КВГМ-100.

5.2. Динамическая модель пиковой котельной.

5.3. Анализ результатов моделирования.

5.4. Выводы по пятой главе.

Основными критериями качества функционирования системы управления энергетическим объектом является надежность и экономическая эффективность объекта энергетики, которая определяется многими факторами: особенностями оборудования, уровнем автоматизации, внешними условиями, квалификацией персонала и т. д. В значительной степени безотказность и безаварийность работы энергетического оборудования определяется качеством подготовки оперативного персонала. По данным международных и государственных организаций большинство аварий на сложных технических объектах (порядка 80%) [24,52] являются результатом неправильных действий обслуживающего персонала сложных технических систем. Человек обладает рядом уникальных характеристик, существенно отличающих его от других элементов контура управления объектом. Проблему надежности энергетического объекта следует рассматривать как проблему надежности и эффективности человеко-машинной (эргатической) системы. Исследования показывают, что эргатическая система является более надежной, по сравнению с автоматической. Однако, будучи введенной, в качестве подсистемы, в сложную систему она вносит некоторую неопределенность в поведение последней. В силу этого на предприятиях энергетики уделяют большое внимание подготовке оперативного персонала.

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

Одним из способов решения данной проблемы является подготовка оперативного персонала на тренажерных комплексах. В последние время большое распространение получили компьютерные тренажеры [32,58,76], как наиболее гибкие и мощные средства обучения и контроля знаний у обучаемых. В частности, для обучения персонала пиковых котельных предлагается использовать программный комплекс

-многофункциональный тренажер оператора водогрейного прямоточного котла КВГМ-50 (100). Данный тренажер должен осуществлять следующие функции:

- режим обучения и режим контроля действий оператора;

- исследование технологических процессов с требуемой детализацией и точностью имитации.

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

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

1) комплексный и оптимальный процесс обучения/контроля знаний обучаемого, выработку у операторов-диспетчеров и работников КИПиА навыков работы во внештатных ситуациях. Обучение должно включать в себя не только изучение алгоритмов действий по реализации технологического процесса, но и детальное изучение работы основного технологического оборудования;

2) имитацию технологического процесса и исследование работы компонентов энергосистемы с требуемой точностью в заданном масштабе времени;

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

Указанные требования к MKT приводят к необходимости построения сложной динамической модели с высокой степенью детализацией технологических процессов. Поэтому для реализации подобного класса тренажеров требуется:

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

2) обеспечить адекватность воспроизведения компьютерным тренажером технологических процессов в энергосистеме в заданном масштабе времени.

Ядром любого компьютерного тренажера является динамическая модель исследуемых технологических процессов. В сложных технических системах разработчик имеет дело с разнородными (гибридными) подсистемами, имеющих в свою очередь сложную пространственно-временную иерархическую структуру. Например, при построении модели котельной необходимо имитировать следующие процессы: радиационный и конвективный турбулентный нагрев теплоносителя, гидродинамические процессы в теплообменных трубах, физико-химические процессы горения топлива, многоконтурное автоматическое регулирование технологических параметров системы, воспроизведение, передачу и обработку информационных (управляющих) потоков, динамическое функционирование исполнительных механизмов и датчиков, имитация окружающей среды и т.д.

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

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

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

В связи с этим вполне обоснованной является цель диссертационной работы: разработка методологических основ и принципов построения дискретно-непрерывных динамических моделей сложных технических систем на базе методологии Е-сетевого имитационного моделирования, а также реализация механизмов, позволяющих осуществлять имитацию этими моделями процессов в теплоэнергетической системе в структуре многофункционального компьютерного тренажера реального времени. Диссертационная работа является частью исследований в рамках НИР, хозяйственного договора 22/00 (58) «Эксплуатация водогрейного котла» с ОАО «Тюменьэнерго».

Научная новизна работы заключается в следующем:

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

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

3. Разработаны методологические основы построения динамических моделей гибридных систем с использованием принципов «блочного» моделирования и аппарата гибридных автоматов на основе Е-сетевых (Е-net - EN) схем. Представленная методика основана на использовании механизмов иерархического взаимодействия элементов аналитико-имитационных моделей. Представлена организация Е-сетевых иерархических схем с использованием жестких и гибких структур, а также рассмотрена иерархическая структура модели с отношением одного нижестоящего элемента к совокупности вышестоящих элементов.

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

5. Разработана оригинальная методика построения системы профилирования динамической модели (ДМ), обеспечивающая структурно - параметрическую адаптацию ДМ, которая функционирует в режиме реального времени. Поиск приемлемого варианта модели, согласно выбранному режиму работы MKT, основана на алгоритме целенаправленного перебора вариантов моделей. Использование механизмов динамической настройки модели реализует коррекцию структуры модели во время функционирования тренажера.

6. Определены новые принципы реализации воспроизведения непрерывных процессов аппаратом Е-сетей с использованием технологии «блочного» программирования - Block Function Diagram (BDF). Построение ДМ непрерывных процессов основано на методе пространства состояний и реализуется с помощью Е-сетевой алгоритмической схемы моделирования (АСМ).

7. Создана оригинальная библиотека Е-сетевых макропереходов («сумматор», «интегратор», «интерполятор», «дифференциатор»), необходимых для реализации алгоритмических схем моделирования. Разработаны структурные схемы, алгоритмы и условия функционирования данных Е-сетевых схем.

Практическую значимость работы представляют:

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

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

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

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

Результаты работы использованы МУП «Лянторгоркомхоз» и ОАО "Тюменьэнерго" при создании многофункционального компьютерного тренажера для обучения обслуживания персонала пиковых котельных.

Апробация диссертационной работы

Результаты диссертационной работы докладывались и обсуждались на: всероссийской научной конференции «Северный регион: экономика и социокультурная динамика», проходившей в Сургуте в 2000 году; VII международной научно - практической конференции студентов, аспирантов, и молодых ученых «Современные техника и технологии» (Томск 2001); VI Международной открытой научной конференции «Современные проблемы информации в технике и технологиях» (Воронеж 2001); XIII Научно-технической конференции с участием зарубежных специалистов «Датчики и преобразователи информации систем измерения, контроля и управления» (Судак 2001); I Всероссийской научной internet -конференции "Компьютерное и математическое моделирование в естественных и технических науках» (январь-февраль 2001 года); III Международной конференции "Проблемы управления и моделирования в сложных системах» (Самара 2001); III научно-практической конференции «Современные средства и системы автоматизации» (Томск 2002); научных семинарах кафедры «Автоматики и компьютерных систем» Сургутского государственного университета.

Полнота изложения материалов диссертации в печатных работах

По материалам диссертации опубликовано 15 работ. Все основные материалы диссертации опубликованы в научной литературе, а практические результаты приведены в 1 отчете о научно-исследовательской работе.

1. Тараканов Д.В., Запевалов А.В., Калачев А.Г. Принципы построения компьютерных тренажеров для подготовки персонала пиковых котельных. Северный регион: экономика и социокультурная динамика: Сборник тезисов к всероссийской научной конференции. Ноябрь 2000, Ханты - Мансийск - Сургут/ Под ред. В.В. Мархинина, Г.И. Назина. -Сургут: Изд-во СурГУ №5, 2000. - С. 110-114.

2. Тараканов Д.В., Запевалов А.В., Емелин В.В. Повышение эффективности человеко-машинной системы в энергетике. Современные техника и технологии: Труды седьмой международной научно-практической конференции студентов, аспирантов, и молодых ученых. - Томск: Изд. ТПУ, 2001. - Т. 1. - С. 97-99.

3. Запевалов А.В., Тараканов Д.В. Организация структурно-параметрического синтеза аналитико-имитационной модели компьютерных тренажеров. Северный регион: наука, образование, культура: Научный и культурно-просветительский журнал.- Сургут: Дефис, 2002. - С. 22-27.

4. Тараканов Д.В. Структура и организация элементов моделирования динамических процессов в задачах профилирования аналитикоимитационных моделей. Научный и культурно-просветительский журнал.- Сургут: Дефис, 2002. - С. 28-31.

5. Тараканов Д.В., Гришмановский П.В., Емелин В.В. Режимы теплоэнергетических систем в имитационных моделях. Современные техника и технологии: Труды седьмой международной научно-практической конференции студентов, аспирантов, и молодых ученых. - Томск: Изд. ТПУ, 2001. - Т. 1. - С. 100-101.

6. Решетников Л.Л., Тараканов Д.В. Е-сетевое алгоритмическое моделирование технических систем. Компьютерное и математическое моделирование в естественных и технических науках: Материалы I Всероссийской научной internet - конференции (январь-февраль 2001 года)/ Гл. ред. Серии проф. А.А. Арзамасцев. Тамбов: Изд-во ТГУ им. Г.Р. Державина, 2001. - В.2. - С.22-24.

7. Тараканов Д.В., Калачев А.Г., Конев А.И. Аналитико-имитационная модель объектов управления теплоэнергетики. Современные проблемы информации в технике и технологиях: Труды VI Международной открытой научной конференции. - Воронеж: ВЭПИ, 2001. - С. 52.

8. Тараканов Д.В., Запевалов А.В. Аналитико-имитационная модель датчиков в компьютерном тренажере теплоэнергетической системы. Датчики и преобразователи информации систем измерения, контроля и управления. Сборник материалов XIII Научно-технической конференции с участием зарубежных специалистов. Под редакцией профессора В.Н. Азарова. М.: МГИЭМ, 2001. - С. 211-212.

9. Суровцова М.В., Тараканов Д.В. Аналитическая модель процессов нестационарного теплообмена в топочной камере водогрейных котлов. Научная молодежь - XXI веку: Сборник тезисов докладов межвузовской конференции молодых ученых. Сургут: Изд-во СурГУ, 2001.-С. 148.

Ю.Тараканов Д.В., Запевалов А.В. Моделирование непрерывных процессов Е-сетевым имитационным аппаратом. Научная молодежь

XXI веку: Сборник тезисов докладов межвузовской конференции молодых ученых. Сургут: Изд-во СурГУ, 2001. - С. 150.

П.Решетников JI.JI., Тараканов Д.В. Использование Е-сетей при построении моделей объектов управления с непрерывным контролем параметров. Проблемы управления и моделирования в сложных системах: Труды III Международной конференции /Под ред.: акад. В.П. Мясникова, акад. Н.А. Кузнецова, проф. В.А. Виттиха.- Самара: Самарский научный центр РАН, 2001. - С. 515-520.

12. Тараканов Д.В. Использование средств профилирования при построении компьютерных тренажеров. Новые технологии в образовании. Сборник научных трудов международной электронной научной конференции. - Выпуск IV. - Воронеж: Государственное образовательное учреждение «Воронежский государственный педагогический университет», 2001. - С. 43-44.

13.Тараканов Д.В. Архитектура взаимодействия компонент системы аналитико-имитационной модели формализованной на основе Е-сетевого имитационного аппарата. Наука и образование XXI века: Сборник тезисов докладов. Второй окружной конференции молодых ученых ХМАО. ч.2. Сургут: Изд-во СурГУ, 2001. - С. 78-81.

14. Тараканов Д.В. Реализация макропереходов в Е-сетевых моделях динамических процессов. Наука и образование XXI века: Сборник тезисов докладов Второй окружной конференции молодых ученых ХМАО. 4.2. Сургут: Изд-во СурГУ, 2001.- С. 81-84.

15. Тараканов Д.В. Уравнение турбулентного переноса тепла в жидкости, текущей по парообменной трубе. Вестник Южно-уральского государственного университета, №4 (04), 2001. - С. 62-63.

Выводы по пятой главе:

Проведена апробация динамической модели теплоэнергетической системы (водогрейной котельной), которая включает в себя модель технологического объекта управления - котла КВГМ 100(50), и АСУ ТП «АМАКС». Апробирована система профилирования динамической модели, функционирующая в рамках многозадачного компьютерного тренажера реального времени, данная система обеспечивает своевременную адаптацию ДМ к изменяющимся режимам работы MKT.

Разработан и внедрен многофункциональный компьютерный тренажер реального времени теплоэнергетической системы в МУП «Лянторгоркомхоз», который обеспечивает процесс обучения/контроля

ЗАКЛЮЧЕНИЕ

В диссертационной работе рассмотрена и решена задача построения многофункционального компьютерного тренажера теплоэнергетической системы. Разработанный программный продукт обеспечивает выполнение широкого круга задач: обучение операторов управления технологическим процессом, исследование технологических процессов в системе и т. д. Предложена оригинальная система профилирования динамической модели, которая позволяет осуществлять адаптацию Е-сетевой модели к изменяющимся условиям функционирования и режимам работы тренажера, что позволяет функционировать MKT в требуемом масштабе времени. Кроме того, Е-сетевой формализм моделирования сложных технических систем позволяет значительно повысить эффективность построения непрерывно-дискретной модели, в том числе, за счет использования многофункциональной схемы моделирования, которая осуществляет имитацию различных элементов системы.

Результаты диссертационной работы заключаются в следующем:

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

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

3. Представлены методологические основы построения динамических моделей гибридных систем с использованием принципов «блочного» моделирования на базе EN схем. Данная методика основана на использовании механизмов иерархического взаимодействия элементов аналитико-имитационных моделей.

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

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

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

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

Создана оригинальная библиотека Е-сетевых макропереходов («сумматор», «интегратор», «интерполятор», «дифференциатор»), необходимых для реализации алгоритмических схем моделирования непрерывно-дискретных систем. Предлагаемая библиотека Е-сетевых компонентов позволяет имитировать технологические процессы в реальном масштабе времени.

8. Проведена апробация динамической модели теплоэнергетической системы (водогрейной котельной), которая включает в себя модель технологического объекта управления - котла КВГМ 100(50), и АСУ ТП «АМАКС». Апробирована система профилирования динамической модели, функционирующая в рамках многозадачного компьютерного тренажера реального времени, данная система обеспечивает своевременную адаптацию ДМ к изменяющимся режимам работы MKT.

9. Разработан и внедрен многофункциональный компьютерный тренажер реального времени теплоэнергетической системы в МУП «Лянторгоркомхоз», который обеспечивает процесс обучения/контроля операторов и обслуживающего персона водогрейных котлов КВГМ 100(50), а также позволяющий производить имитационные эксперименты с целью модернизации технологического оборудования и повышения экономических показателей эффективности котельной.

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

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

1. Алгоритмическое моделирование: инструментальные средства и модели/Сб. научн. трудов/Отв. ред. В.В. Иванищев. СПб.: СПИИРАН, 1992. -205 с.

2. Андрюшков Ю.Т., Пранявичус Г.И. Е-сети, как средство формализованного описания вычислительных систем В кн.: Тез. докл. Всес. конф. «Вычислительные сети коммутации пакетов». Рига, 1978.-С. 170- 175.

3. Анисимов Б.В., Голубкин В.Н., Петраков С.В. Аналоговые и гибридные ЭВМ: Учебник для студ. Вузов спец. «Электрон, вычислит, машины».- М.: Высш. шк., 1986.-288 с

4. Армстронг Дж. Р. Моделирование цифровых систем на языке YHDL. Пер. с англ./ М.: Мир, 1992. 172 с.

5. Вопросы алгоритмического моделирования сложных систем/ Сб. научи. трудов/Отв. ред. В.В. Иванищев. JL: ЛИИАН, 1989-235с.

6. Гиг Дж. Ван. Прикладная общая теория систем. Пер. с англ.- М.: Мир, 1981 -336с.

7. Голдаев С.В., Ляшков Б.А. Основы математического моделирования в теплотехнике. ТПУ.1999. 106 с.

8. Горбатов В.А., Смирнов М.И., И.С. Хлытчиев. Логическое управление распределенными системами; Под ред. В. А. Горбатова. М.: Энергоатомиздат, 1991. - 288 с.

9. Гришмановский П. В. Предикатно-матричные сети в задачах анализа и синтеза систем управления. Дис. на соиск. уч. степени к.т.н. Томск. 2000. - 148 с.

10. Гультяев А.К. Имитационное моделирование в среде Windows: Практическое пособие. СПб.: КОРОНА принт, 1999. -288 с.

11. Дружинин В.В., Конторов Д.С. Системотехника- М.: Радио и связь, 1985.-200 с.

12. Дьяконов В.П. Справочник по применению системы PC MatLAB .М.: Физматлит, 1993. 113 с

13. Дьяконов В.П., Абраменкова И.В. MatLAB 5.0/5.3. Система символьной математики. М.: Нолиджб 1999. -640 с.

14. Дьяконов В. Simulink 4. Специальный справочник. СПб.: Питер, 2002. - 582 с.

15. Евстигнеев В.А. Анализ зависимостей: состояние проблемы. //Системная информатика: Сб. науч. тр. Новосибирск: Наука, 2000. - В.7: Проблемы теории и методологии создания параллельных распределенных систем, с 112-174.

16. Жукаускас А.А. Конвективный перенос в теплообменниках. М.: Наука. 1982.-472 с.

17. Запевалов А.В. Разработка и исследование метода моделирования и имитации сложных управляемых динамическихреконфигурируемых систем. Автореф. дис. канд. тех. наук. Томск 1995.- 25 с.

18. Зыков А.К. Паровые и водогрейные котлы: Справочное пособие. М.: Энергоатомиздат, 1987. 128 с.

19. Иванников А.Д. Моделирование микропроцессорных систем. М.: Энергоатомиздат, 1990. - 144 с.

20. Иващенко А.Г., Юрачковский Ю.П. Моделирование сложных систем по экспериментальным данным. М.: Радио и связь, 1987. -120 с.

21. Имитаторы и тренажеры в системах отладки АСУ ТП. А.Н. Романов, В.П. Жабеев М.: Энергоатомиздат 1982. 112 с.

22. Имитационное моделирование АСУТП: Сб. научных трудов/ Под ред. Ю.С. Вальденберга. М.: Энергоатомиздат, 1986. - 40 с.

23. Имитационное моделирование производственных систем/ Под. Ред. А.А. Вавилова.-М.: Машиностроение, Берлин: Техника, 1983. -416с.

24. Инструкция по эксплуатации котла типа КВГМ-100 с газовыми блоками БГ-5 и автоматической системой управления горелкам. Сургут, 1999. 45 с.

25. Кабалевский А.Н. Малые ЭВМ: функциональное проектирование. М.: Наука. Гл. ред. Физ. - мат. лит, 1986.-224 с.

26. Карасина Э.С., Невский А.С. и др. Расчет теплообмена в топочных камерах// Теплоэнергетика, Энергия, №2, 1968. С. 10-14.

27. Киндлер Е. Языки моделирования. Пер. с чеш. М.: Энергоатомиздат, 1985.-288 с.

28. Колесников Ю.Б., Сениченков Ю.Б. Визуальное моделирование сложных динамических систем. СПб.: Изд-во Мир и Семья & Интерлайн, 2000. - 242 с.

29. Корн Г., Корн Т. Справочник по математике для инженеров и научных работников. М.: Наука, 1974. - 830 с.

30. Колесников Ю.Б., Сениченков Ю.Б. Model Vision Stadium -инструмент для визуального объектно-ориентированного моделирования сложных динамических систем/Труды Международной научно-технической конференции. Гибридные системы. Model Vision Stadium 7 С. 5-46.

31. Костельцев В.И. Динамические свойства численных методов интегрирования систем обыкновенных дифференциальных уравнений: Препринт N23, Л.:ЛИИАН, 1986. - 62 с.

32. Костенко В.А., Смелянский P.JL, Трекин А.Г. Применение генетических алгоритмов для синтеза структур вычислительных систем реального времени. http://lvk.cs.msu.su/materials/tez sapr99 1 .html

33. Костин А.Е. Модели и алгоритмы организации распределенной обработки данных в информационно-управляющих системах/Дис. на соиск. уч. степени д.т.н., Москва, МИЭТ.-1989. 360 с.

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

35. Краснопрошина А.А., Репникова Н.Б., Ильченко А.А. Современный анализ систем управления с применением MatLAB, Simulink, Control System: -К.: «Коршчук», 1999.-160 с.

36. Кривоножко В.Е., Пропой А.И., Сеньков Р.В., Родченков И.В., Анохин П.М. Анализ эффективности функционирования сложных систем.// Автоматизация проектирования, №1, 1999. http://www.osp.ni/ap/l 999/0 l/02.htm/

37. Кутателадзе O.G. Теплопередача и гидродинамическое сопротивление: Справочное пособие. -М.: Энергоатомиздат, 1990. -367 с.

38. Лахин О.И., Скобелев П.О. Учебно-справочные мультимедиа-системы для газовиков и энергетиков. Тезисы докладов IX Российской научно-методической конференции «Пути и методы совершенствования учебного процесса», Самара. - 2000. - С. 5960.

39. Лескин А.А., Мальцев П.А., Спиридонов A.M. Сети Петри в моделировании и управлении. Л.: Наука, 1989. - 133 с.

40. Лившиц М.А., Коренова А.И. Исследование инерционности топочных устройств. «Теплоэнергетика», 1968. №2. - 217 с.

41. Литвинов В.В., Марьянович Т.П. Методы построения имитационных систем. Киев: Наукова думка, 1991. - 120 с.

42. Логическое управление распределенными системами/ В.А. Горбатов, М.И. Смирнов, И.С. Хлытчиев; Под ред. В.А. Горбатова. М.: Энергоатомиздат, 1991. - 288 с.

43. Лойцянский Л.Г. Механика жидкости и газа. М.: Наука, 1973, -730 с.

44. Максимей И.В. Имитационное моделирование на ЭВМ. М.: Радио и связь, 1988. - 323 с.

45. Маликов В.Т., Кветный Р.Н. Вычислительные методы и применение ЭВМ: Учеб. пособие. К.: Вьпца шк. Головное изд-во, 1989.-213 с.

46. Месаревич М., Мако Д., Такахара И. Теория иерархических многоуровневых систем. -М.: Мир, 1973. 344 с.

47. Методы математического моделирования теплосиловых систем. Пбд ред. JI.C. Попырина. Новосибирск: Наука, Сибирское отделение. 1976. 318 с.

48. Окольнишников В.В. Система моделирования распределенных систем реального времени//Труды ИВМиМГ СО РАН. Сер. «Системное моделирование». Вып. 4(22). Новосибирск. 1997. С. 129-140.

49. Острейковский В.А. Теория систем: Учебное пособие для вузов по спец. «Автом. сист. обр. информ. и упр.».- М.: Высшая шк., 1997. -240 с.

50. Павловский Ю.Н. Имитационные модели и системы. М.: ФАЗИС: ВЦ РАН, 2000. - 134 с.

51. Пасканов В.М., Полежаев В.И., Чудов J1.A. Численное моделирование процессов тепло- и массообмена. М.: Наука, 1984. -276 с.

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

53. Полляк Ю.Г. Вероятностное моделирование на ЭВМ. М.: Наука, 1971.-339 с.

54. Попырин JI.C. Математическое моделирование и оптимизация теплоэнергетических установок. М.: Энергия, 1978. - 416 с.

55. Пранявичус Г.И. Модели и методы исследования вычислительных систем. Вильнюс: Мокслас,1982. 228 с.

56. Пранявичус Г.И., Шваните Д.Ю. Применение Е- сетей при создании имитационных моделей. Математика и математическое моделирование. Вильнюс, 1980, - В.4. - С. 68-72.

57. Растригин JI.A. Случайный поиск в задачах оптимизации многопараметрических систем. Рига, изд-во Зинатне, 1965. 190 с.

58. Ридж Р., Праусниц Дж., Шервуд Т. Свойства газов и жидкостей: Справ. Пособие/ Пер. с англ. под ред. Б.И. Соколова. 3-е изд., перераб. и доп. JL: Химия, 1982. - 592 с.

59. Роддатис К.Ф. Котельные установки. М.: Энергия, 1977. - 432 с.

60. Ротач В.Я. Расчет динамики промышленных автоматических систем регулирования. М.: Энергия, 1973. 440 с.

61. Рубашкин А.С. Компьютерные тренажеры для оператора тепловых электростанций //Теплоэнергетика. 1995, №10 С.37-43.

62. Саати Т. Принятие решений. Метод анализа иерархий: Пер. с анг. М.: Радио и связь, 1993. 320 с.

63. Савин Г.И. Системное моделирование сложных процессов. М.: ФАЗИС: ВЦ РАН, 2000. - 276 с.

64. Самарский А.А. Теория разностных схем. М.: Наука, 1977. - 656 с.

65. Самарский А.А., Михайлов А.П., Математическое моделирование: Идеи. Методы. Примеры. М.: Наука, 1997. - 320 с.

66. Самарский А.А., Вабищевич П.Н. Численные методы решения задач конвекции-диффузии. М.: Эдиториал УРСС, 1999. 248 с.

67. Сиразетдинов Т.К. Методы решения многокритериальных задач синтеза технических систем. М.: Машиностроение, 1988. - 320 с.

68. Советов Б.Я., Яковлев С.А. Моделирование систем: Учеб. Для вузов по спец. «Автоматизир. системы обработки информ. и упр.».- 2-е изд., перераб. И доп. М.: Высш. шк., 1998. - 319 с.

69. Справочник по теории автоматического управления /Под ред. А.А. Красновского. М.: Наука 1987. - 712 с.

70. Справочник по точным решениям уравнений тепло и массопереноса/ А.Д. Полянин, А.В. Вязмин, А.И. Журов, Д.А. Казенин. - М.: Факториал, 1998. - 368 с.

71. Теория выбора и принятия решений/И.М. Макаров, Т.М. Виноградская, А.А. Рубчинский, В.Б. Соколов. М.: Наука, 1982. - 328 с.

72. Теория моделей в процессах управления/ Б.Н. Петров, Г.М. Уланов, И.И. Гольденблат, С.В. Ульянов. М.: Наука, 1978. - 216 с.

73. Теория систем с переменной структурой/ С.В. Емельянов, В.И. Уткин, В.А. Таран и др.; по ред. С.В. Емельянова М.: Наука, 1970 -592 с.

74. Тепловой расчет котлов: (нормативный метод).-3-е изд., перераб. И доп.-СПб., 1998-256 с.

75. Технология системного моделирования /Е.Ф. Аврамчук, А.А. Вавилов, С.В. Емельянов и др.; Под общ. ред. С.В. Емельянова и др. -М.: Машиностроение; Берлин: Техник, 1988. 312 с.

76. Трудоношин В.А., Пивоварова Н.В. Математические модели технических объектов-Минск: Выш. шк., 1988. 159 с.

77. Тыугу Э.Х. Концептуальное программирование. М.: Наука, 1984. -256 с.

78. Урмаев А.С. Основы моделирования на аналоговых вычислительных машинах. Главная редакция физико-математической литературы изд-ва «Наука». М., 1978. 271 с.

79. Фактор неопределенности при принятии оптимальных решений в больших системах энергетики. Под ред. J1.C. Беляева, А.П. Меренкова и JI.C. Попырина. Иркутск, изд. Сибирского энергетического ин-та СО АН СССР, 1974, Т. 1,-253 е.; Т.З. - 166 с.

80. Хамитов Г.П. Имитация случайных процессов. Иркутск: издательство университета, 1983. 217 с.

81. Цапко Г.П. Е-сетевой метод информационно-логического проектирования бортовых комплексов управления Томск; изд. ТПУ.- 104 с.

82. Шеннон Р. Имитационное моделирование систем-Искусство и наука.-М.: Мир, 1978. 418 с.

83. Штеттер X. Анализ методов дискретизации для обыкновенных дифференциальных уравнений /Пер. с англ. М.: Мир, 1978 - 142 с.

84. Чайя J1. Элементарные причинно-следственные структуры.//Системная информатика: Сб. науч. тр. Новосибирск: Наука, 2000.-В. 7: Проблемы теории и методологии создания параллельных распределенных систем. - С. 7-81.

85. Booch G., Jacobson I., Rumbaugh J. The Unified Modeling Language for Object-Oriented Development: Documentation Set Version 1.1. September 1997.

86. Best E., Fernandez C. Non-sequential processes, a Petri net view //EATCS Monographs on Theoretical Computer Science. Berlin a.o.:1988.-N 13.

87. Czaja L. A Calculus of net // Kibernetica I Sistemnyj Analiz. 1993. -N.2.

88. Czaja L. Minimal/Maximal Time Cause-Effect Structures // Fund. Inform.- 1998.-Vol. 33.-p. 1-16.

89. Kusmirek A. Axiomatic characterization and some properties of processes in cause-effect nets (Levi's lemma, pumping lemma and others): M. Sc. Thesis (in Polish). Warsaw University, 1996.

90. Maggiolo-Shettini A., Matteuci G. Processes in cause/effect systems // Fundamenta Informaticae. (To appear).

91. Mazurkiewicz A. Trace theory // Petry Nets, Applications and Relationship to other Models of Concurrency Berlin a.o.:1987 - p. 279 - 324. - (Lect. Notes Comput. Sci.; Vol. 255).

92. Nguyen Due Ha. General description of CAD for cause-affect nets (in Polish).- RP. I. 09 Project: Internal Report, Institute of Informatics, Warsaw Univ., 1991.

93. Nutt G.J. Evaluation nets for computer system performance analysis. -In AFIPS FJCC, 1972, vol. 41, N1, p. 279-286.

94. Raczunans M. Algebra of processes by cause-effect structures Ph.D. thesis (in Polish) (to be completed in 1998). Wasaw Univ.

95. Thierry Post, Jaap Sponk. Performance Benchmarking using interactive data envelopment analysis// European journal of operational research, vol. 115, 1999, p. 472-487.