Модели и алгоритмы управления в сложных техногенных системах тема диссертации и автореферата по ВАК РФ 05.13.01, кандидат технических наук Соловьева, Елена Валерьевна.

• Соловьева, Елена Валерьевна.
• кандидат технических наук
• 1999

Оглавление диссертации кандидат технических наук Соловьева, Елена Валерьевна.

Содержание

Введение

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.4. Метод реализации АЛУ и ПРАЛУ на языке БВВ

3.5. Транслятор с языка ПРАЛУ

Выводы

4. Моделирование случайных воздействий в ТГС

4.1. Конструктивные классы МЭФ

4.2. Классы базовых функций

4.3. Итерационные процедуры локальной аппроксимации функций

из класса т)

4.5. Алгоритм экспресс-анализа

Выводы

5. Версия интегрированной системы имитационного моделирования

5.1. Структура ИСИМ

5.2. Функции подсистемы ФЛМ

5.3. Функции подсистемы экологической экспертизы

5.4. Особенности использования ИСИМ в учебном процессе

5.5. Параметры результативности выполненных разработок

Выводы

Заключение

Литература

Приложение 1

Приложение 2

Приложение 3

Приложение 4

Введение диссертации (часть автореферата) на тему «Модели и алгоритмы управления в сложных техногенных системах»

Введение

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

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

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

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

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

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

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

Накопленный опыт решения отдельных задач управления практически не связан с целями экологической экспертизы, поэтому разработка формальных средств информационно-программного обеспечения процесса моделирования, предназначенных для комплексной автоматизации всех этапов от описания алгоритмов управления до подготовки экологического паспорта ТГС остаётся основной задачей новых информационных технологий.

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

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

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

В связи с этим в диссертации ставятся и решаются следующие задачи:

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

- разработка методов автоматизации программирования при решении задач логического управления ТГС;

- разработка программного обеспечения системы экологической экспертизы ТГС;

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

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

Научная новизна работы:

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

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

- разработан метод структурной декомпозиции Р-графов по аддитивным или мультипликативным критериям и даны априорные оценки эффективности практического применения структурной оптимизации;

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

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

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

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

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

- разработанные лингвистические средства устраняют ошибки операторов при переводе формального описания алгоритмов в программы устройств обработки логической информации;

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

- предложенная структурно- функциональная модель ТГС устраняет дефицит данных, раскрывающих причины влияния на окружающую среду во всех стадиях жизненного цикла системы;

- разработанные модели и методы реально использовались при обработке данных в экоинформационных внутрифирменных системах;

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

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

- математического и имитационного моделирования реальных агрегатов блоков и устройств ТГС;

- апробации методик расчета на конкретных примерах решения задач моделирования в экоинформационных внутрифирменных системах;

- сравнения альтернативных методик и процедур.

Реализация и внедрение результатов работы. Основные результаты исследований были получены в процессе проведения научно-исследовательских работ по региональной части комплексных программ "Конверсия научно-технического потенциала вузов" и "Конверсия и высокие технологии", проводимых Министерством образования России в 1992-2000 гг.

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

Основные программные средства логического моделирования приняты в отраслевой фонд алгоритмов и программ НИИ проблем высшей школы.

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

Основные результаты проведенных исследований были использованы в Институте космических исследований Министерства науки и Академии наук Республики Казахстан (г. Алматы), в Центре внедрения «Вымпел» (Байконур), в научно-внедренческом предприятии "Интерпракт" (г. Заречный).

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

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

Дальнейшее внедрение разработанных моделей и методов планируется проводить в рамках региональной комплексной программы энергоэкологической экспертизы, реализующей для демонстрационных зон основные положения Федерального закона "Об энергосбережении" №1552 от 20.03.96 г. и Федерального закона "Об экологической экспертизе" №174-ФЗ от 23.11.95 г.

Апробация работы. Основные результаты докладывались и обсуждались на международных, республиканских и региональных научно-технических конференциях и семинарах:

- международной конференции "Экологический мониторинг территории Казахстана" (г. Алматы и Байконур, 1993);

- международном форуме по проблемам науки, техники и образования (г. Москва, 1997);

- IV Всероссийской научной конференции студентов и аспирантов "Техническая кибернетика, радиоэлектроника и системы управления" (г. Таганрог, 1998);

- региональной конференции "Научно-исследовательская деятельность и ее роль в подготовке специалистов в техническом Вузе" (г. Новосибирск, 1995);

- региональной конференции "Проблемы эффективности высшего технического образования" (г. Рыбинск, 1997);

- ежегодных конференциях Президиума АН РК и Института космических исследований МН и АН РК (г. Алматы, 1992-1993);

- ежегодных конференциях Пензенской государственной архитектурно-строительной академии (г. Пенза, 1995-1997)

По теме диссертации опубликовано 11 печатных работ. Объем и структура диссертации. Диссертация состоит из введения, пяти разделов, заключения, списка литературы и приложения. Основная часть содержит 120 страниц машинописного текста, 19 рисунков и 3 таблицы.

В первом разделе на основе анализа особенностей технологического объекта и требований экологического стиля проектирования сделан вывод о необходимости интегрированного использования функциональных моделей ОЭ и логических алгоритмов управления (АЛУ). Приводятся примеры функциональных графов для объектов различных классов, а также проводится сравнение с основными сетевыми моделями. В терминах предложенных средств интерпретации формулируется общая задача моделирования ТГС.

Во втором разделе разрабатываются методы функционально-логического синтеза имитационной модели ТГС. Формулируется конструктивный метод декомпозиции матрицы инцидентности функционального гиперграфа. Разрабатываются технологические аспекты синтеза вычисляемого гиперграфа, основанные на теоретических и практических разработках в области программных конфигураций сложных систем.

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

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

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

В заключении обобщаются основные теоретические и практические результаты, полученные в диссертационной работе.

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

1. Структурно-функциональная модель ТГС

Методика моделирования в значительной степени определяется характеристиками ТГС, оформленными в техническом задании на разработку. В качестве главной цели большинства такого рода технических заданий выступает безопасность эксплуатации, а экологическая доминанта в явном виде практически не фигурирует. Фрагмент техногенной системы, взятый в своём феноменальном изолированном от природы состоянии, выявляет незавершённость и неполноту математического анализа [1]. Поиск компромисса между стремлением создать систему с наилучшими эксплуатационными параметрами и требованием минимизации техногенных воздействий обусловливает необходимость совместного рассмотрения самых различных аспектов моделирования [2,3,4].

Экологический анализ процессов и инфраструктуры ТГС требует чёткого определения, разграничения и учёта отдельных производственных этапов и функций инфраструктуры [5]. Такой подход, охватывая крайне широкий спектр знаний из различных областей науки и техники, приводит к созданию "интегрированных моделей " построения архитектуры системы, логического управления и анализа физико-химических процессов и явлений. Несмотря на большое разнообразие ТГС, все они обладают общими существенными свойствами, а в процессах экологического анализа и проектирования инфраструктуры этих систем можно выделить общие этапы, что позволяет провести "интегрирование знаний" в форме математического и программного обеспечения моделирования [6].

1.1. Особенности объекта моделирования

ТГС рассматривается как дискретно-непрерывная динамическая система с конечным числом состояний, обладающая следующими существенными свойствами:

- наличием в физико-химических процессах функционирования явно выраженных временных фаз, в течение которых происходят изменения состояний, сообщаемые системе управления;

- наличием изменений внешней среды, вносящих возмущения в функционирование технологических объектов;

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

- невозможностью проведения натурного эксперимента на всем комплексе технологических объектов для исследования поведения ТГС во всех возможных ситуациях;

- возможностью одновременного выполнения переходов в нескольких технологических процессах (]параллельностью);

- отсутствием ограничений на относительную длительность выполнения переходов (асинхронностъю);

- зависимостью параметров технологических объектов и переходов от многочисленных неконтролируемых факторов (,недетерминированностью);

- необходимостью определять антропогенные воздействия продукции ТГС на всех стадиях изготовления, использования и утилизации (экологичностъю );

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

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

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

управления ряд трудноразрешимых задач [7,8]. Объективная реальность, неоднократно подтвержденная экспериментально, состоит в том, что после сдачи крупных программных проектов (сотни тысяч объектных команд) в них остаются десятки ошибок, выявляемых во время сопровождения и эксплуатации. Так, уже хрестоматийными стали результаты периодических инспекций операционной системы ОС-360, всякий раз выявлявшие до тысячи ошибок. ОС-ЗбО удовлетворительно работала, имея тысячи ошибочных инструкций, однако, если вести речь об ответственной технологической системе, то последствия даже одной программной ошибки могут оказаться катастрофическими. По-видимому, объективно существует предел сложности системы, по достижении которого дальнейший рост или совершенствование становятся невозможными при существующей технологии моделирования, так как существенно возрастает вероятность внесения новых ошибок при исправлении старых или расширении системы. Вообще говоря, проблема "барьера сложности" относится к фундаментальным и трудным вопросам общей теории познания. В самом общем виде вопрос о допустимой сложности системы, некоторое качество которой подлежит определению (например, правильность), можно поставить так:

доказательство какой длины уверенно воспринимается как правильное или очевидное, и при какой длине оно становится практически недоступным для понимая, то есть в свою очередь, требующим доказательства правильности?

В самом деле, объем тестов, тестовых задач и других "доказательств правильности" модели, в принципе, может значительно превзойти объем самой модели. Следовательно, возможны ошибки при рассмотрении и интерпретации доказательств. Каков же выход из этого прочного круга? Пока этот вопрос не решен, остается надеяться только на совершенствование технологии моделирования.

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

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

1.2. Структурно-функциональная модель

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

К таким параметрам можно отнести режимы технологических процессов, а также величины, характеризующие безаварийный и экологический режимы работы.

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

Для адекватного отображения рассмотренных в разделе 1.1 особенностей системы предлагается воспользоваться интегрированной моделью в

форме функционального гиперграфа (в дальнейшем р-граф)

= или

где V и й ■ множества функциональных вершин и функциональных гиперребер, соответственно.

Нокк'йстшш ни окружающую среЛу По пЬчн пыич #м./ч ч. ыпчт и грсОы

1ПМММ1 1ПМММ1

Т с х н о л о г и ч е с к и й о б ъ с к т

11спо. щи I е. п.пыс мехами ты

1

Заключение диссертации по теме «Системный анализ, управление и обработка информации (по отраслям)», Соловьева, Елена Валерьевна.

Выводы

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

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

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

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

- подсистема экологической экспертизы, используя результаты работы подсистемы ФЛМ и накопленную в архивах ИСИМ экологическую информацию, выполняет все необходимые расчеты от инвентаризации вредных выбросов до составления экологического паспорта;

- разработанное математическое, методическое и программное обеспечение ИСИМ позволяет использовать практические результаты, как непосредственно в производственном цикле, так и в учебном процессе подготовки специалистов по проектированию и эксплуатации ТГС;

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

Заключение

В диссертации решен ряд задач теории и практики разработки программного обеспечения управления ТГС и прогнозирования экологических воздействий.

К основным теоретическим результатам, полученным в диссертации относятся:

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

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

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

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

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

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

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

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

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

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

Список литературы диссертационного исследования кандидат технических наук Соловьева, Елена Валерьевна., 1999 год

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

1. Вейль Г. Математическое мышление: Пер. с англ. и нем. /Под ред. Б.В. Бирюкова и А.Н. Паршина - М.: Наука. Гл. ред. Физ.-мат. лит., 1989,400с.

2. Захаров В.Н., Поспелов Д.А., Хазацкий В.Е. Системы управления. Задания. Проектирование. Реализация. М.: Энергия, 1972, 344с.

3. Норенков И.П., Маничев В.Б. Системы автоматизированного проектирования электронной и вычислительной аппаратуры. М.: Высшая школа. 1983, 272с.

4. Прангишвили И.В. Основные тенденции развития АСУ энергетическими объектами. ПСУ, 1989, №10, с.8-12

5. Цюсг Р., Шлатгер А., Рюэгг-Штюрм Й. Экологическая информация на предприятии. Проблемы, теория и практика управления, 1997, №6, с.78-82

6. Диденко В.П. Автоматизация проектирования систем на концептуальном уровне // Прикладная информатика, 1985, с.26-40

7. "Разработка автоматизированной системы информационного обеспечения испытаний космических комплексов". ". Гос. per. №01.90.0006230, Часть 2, Ленинск, филиал "Восход" МАИ, 1990, 182с.

8. "Разработка методик проведения экспертизы экологической обстановки региона". Гос. per. №01.90.0009924, Ленинск, филиал "Восход" МАИ, 1989, 126с.

9. Петрунин В.Н., Соловьёва Е.В., Соловьёв В.В. Имитационное моделирование техногенных систем. //Техническая кибернетика, радиоэлектроника и системы управления: Сб. тезисов докладов IV Всероссийской конференции студентов и аспирантов. - Таганрог, ТРТУ, 1998, с.364

10. Клюев A.C. и др. Проектирование систем автоматизации технологических процессов: Справочное пособие / Клюев A.C., Глазов Б.В., Дубровский А.Х.; Под ред. А.С.Клюева. - М.: Энергия, 1980. - 512с.

11. Сердюк В. К., Толяренко Н. В., Хлебникова H.H. Транспортные средства обеспечения космических программ. Итоги науки и техники ВИНИТИ. Ракетостроение и космическая техника. 1990, №11, с.273

12. Криогенные системы. Учебник для вузов по курсу "Криогенная техника" / А.М.Архаров, В.П.Беляков, Е.И.Микулин и др. М: Машиностроение, 1987, 536с.

13. Баррон Р.Ф. Криогенные системы. М.: Энергоатомиздат. 1989. 408с.

14. ОСТ 92-4046-77. Алгоритмы работы технологических систем.

16. Совершенствование программирования алгоритмов управления технологическими комплексами/ В.В. Соловьёв. - Технический прогресс в отраслевой промышленности. Сер. Организация производства и прогрессивная технология в приборостроении. М.: ЦНИИатоминформ. 1990. Вып.6.

17. Соловьёва Е.В., Соловьёв В.В.. Моделирование асинхронных дискретно-непрерывных технологических систем// Научно-исследовательская деятельность и ее роль в подготовке специалистов в техническом вузе: Сб. тезисов докладов региональной научно-методической конференции профессорско-преподавательского состава. -Пенза, ПГАСА, 1997, с.30

18. РТМ 26-04-23-81. Общие технические требования при эксплуатации систем хранения и транспортировки жидкого водорода.

19. Алексеев В.П. и др. Расчет и моделирование аппаратов криогенных установок. Л.: Энергоатомиздат. 1987, 280с.

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

21. "Исследование логических алгоритмов управления технологическим процессом и программного обеспечения специализированной ЭВМ". Гос. per. №01.90.0006230, Часть 1, Ленинск, филиал "Восход" МАИ, 1989, 202с.

22.Bredt Т. Analysis of Parallel Systems. Technical Report 7. Digital Systems Laboratory. Stanford. California. August 1970, pp.59: IEEE Transactions on Computers, C-20, № 11, 1971, p.1403-1407

23. Commoner F., Holt A., Even S., Pnuel A., Marked directed Graphs. Juornal of Computer and System Sciences, 5, №5, 1971, p.511-523

24. Karp R., Miller R., Properties of a Model for Parallel Computation: Determinacy, Termination and Queneing. SIAM Juornal of Applied Math, 14, №6, 1966, p.1390-1411

25. Bruno J., Colfman E., Hosken W., Consistency of Synchronization Nets Uning P and V Operations. Proceedings of the 13th Annual Sumposium on Switching and Automata Theory. New York: IEEE, October 1972, p.71-77

26. Riddle W. The Modeling and Analysis of Supervisory Systems. Technical Report STAN-CS-72-271, Computer Science Department, Stanford University, Stanford, California, March 1972, pp.174

27. Cerf V., Fernandez E., E., Gostelow K., Volansky S. Formal Control Flow Properties of a Model of Computation. Report ENG-7178, Computer Science department, University of California, Los Angeles, California, December 1971, pp.81

28. Karp R., Miller R„ Parallel Program Schemata. RC-2053, IBM, T. J. Watson Research Center, Yorktown Heights, New Uork, 1968, pp.54

29. Keller R. Vector Replacemeht Systems: A Formalism for Modeling Asynchronous Systems. Technical report 117, Computer Science Laboratory, Princeton University, Princeton, New Jersey, January 1974, pp.57

30. Прангишвили И.В. Концептуальные основы построения современных АСУТП и АСУП. Приборы и системы управления. 1989, №4, с.5-7

31. Кафаров В.В., Ветохин В.Н., Макаров В.В. Гибкие производственные системы в химической промышленности . Синтез и управление.

Информатика, управление, вычислительная техника. -М.: Машиностроение, 1987, с.166-198.

32. Корячко В.П. и др. Теоретические основы САПР. М.: Энергоатомиз-дат, 1987, 400с.

34. Горбушин В.П. Методы математического моделирования и проблемы обеспечения надежности потенциально опасных технических систем. УСиМ, 1989, №4, с.3-6

35. Горбачев B.C., Игнатьев В.А., Сергеева Е. А. Имитационное моделирование в работотехнике и ГПС. Зарубежная радиотехника. 1989, №3, с.39-46

36.Федосеев C.B. Использование сетевых моделей для синтеза задач анализа ситуаций и логического управления объектами химической технологии. Приборы и системы управления. 1989, №7, с. 1-3

37. Новиков H.H. Проектирование и конструкция ракетно-космических систем. Астронавтика и ракетостроение, 1990, №34, с.5-25

38. "Разработка и исследование средств имитационного моделирования РКК изд. 206ГК". Гос.рег. №01.90.0006230, Часть 3, Ленинск, филиал "Восход" МАИ, 1991, 216с.

39. Мурога С. Системное проектирование сверхбольших интегральных схем: В 2-х кн. Кн. 2. Пер. с англ. - М.: Мир, 1985, 290с.

40. Леман М.М. Программы, жизненные циклы и законы эволюции программного обеспечения // ТИИЭР, 1980, Т. 68, №9, с.26-44

41. Горбунов-Посадов М.М. Конфигурации программ. Рецепты безболезненных изменений. - 2-е изд., испр. и доп. - М.: Малип, 1994, 272с.

42. Петрунин В.Н., Соловьёва Е.В., Соловьёв В.В. Функционально-логическое моделирование технологических. //Новые информационные системы. Разработка и аспекты применения: Сб. тезисов докладов I Всероссийской конференции молодых учёных и аспирантов. - Таганрог, ТРТУ, 1998

43. Башлыков A.A., Колотов Ю.Н. Принципы построения и проектирования перспективных АСУ ТП . Информатика, управление, вычислительная техника. -М.: Машиностроение, 1987, с.228-269

44. Трахтенброт Б.А. Алгоритмы и вычислительные автоматы. - М.: "Сов. радио", 1974, 200с.

45. Малеева А.Г., Соловьёв В.В. Метод повышения уровня типизации в опытном производстве. "Вопросы радиоэлектроники", Серия АСУ, вып.1, 1980

46. Малеева А.Г., Соловьёв В.В., Щербань А.Б. Об одном подходе к задачам идентификации структур. "Вопросы радиоэлектроники", Серия АСУ, вып.З, 1981

47. Соловьёв В.В., Усачёв Ю.В. Оптимизация пакета прикладных программ САПР на основе эквивалентных преобразований. "Вопросы радиоэлектроники", Серия АСУ, вып.4, 1982

48. Малеева А.Г., Соловьёв В.В. Щербань А.Б. Формальный метод оптимизации алгоритмических структур САПР. "Вопросы радиоэлектроники", серия АСУ, вып.З, 1982

49. Юдицкий С.А. и др. Проектирование дискретных систем автоматики. М.: Машиностроение, 1980, 132с.

50. Бадман O.J1. Синтез асинхронного микропрограммного управления параллельными процессами. Кибернетика, 1980, № 1, с. 42-47

51. Кириллов В.Ю., Нижник В.В. Пакет программ работы с сетями Петри для персональных ЭВМ, УСиМ, 1989, №4, с.48-51

52. Бадман O.JL Поведенческие свойства сетей Петри. Изд.АН СССР Техническая кибернетика, 1987, № 5

53. Бунько Е.Б., Юдицкий С.А. Программная реализация сетей Петри в асинхронных устройствах логического управления. Автоматика и телемеханика, 1983, с. 109 -119

54. Руднев В.В. Системы взаимосвязанных графов и алгоритмическое программирование дискретных управляющих устройств. Автоматика и телемеханика, 1979, № 7, с. 122-129

55. Иванников А.Д. Решение систем логических уравнений при функционировании микропроцессорной аппаратуры // Электронная техника. Сер. 3. Микроэлектроника, 1985, Вып. 3, с.81-87

56. Ковалев Е.К., Костюк B.C., Руденко А.А. Диалоговый комплекс программ на мини-Эвм цифровых БИС, представленных на вентильно-функциональном уровне// Электронная техника. Сер. 3. Микроэлектроника, 1987, Вып. 1, с.61-66

57. Новиков С.В., Бахирев А.В. Учебно-исследовательская САПР программируемых логических устройств ( краткое сообщение ). УСиМ, 1990, №1, с.99-101

58.Teitelbaum Т., Reps Т. The Cornell program synthesizer: a syntax-directed programming environment //Comm. ACM. 1981, v.24, №9, p.563-573

59. Kempf J. Numerical software tools in C. - Englewood Cliffs (N.J.): Prentice-Hall, 1987, 261p.

60. Parnas D.L. On the criteria to be used in decomposing systems into modules // Comm. ACM. 1972, v.15, №12, p.1052-1058

61. Юдицкий C.A., Магергут В.З. Логическое управление дискретными процессами. - М.: Машиностроение. 1987, 175с.

62. Варшавский В.И. и др. Автоматное управление асинхронными процессами в ЭВМ и дискретных системах. М., Наука, 1986

63. Закревский А.Д. Проверка корректности параллельных алгоритмов логического управления. - Программирование , 1987, №5, с.31-35

64. Методы параллельного микропрограммирования / Под ред. О.Л.Бандман. СО АН СССР. Ин-т математики, 1981, с. 44-65

65. Соловьев В.В., Соловьева Е.В., Горбачев О.В. Учебная система моделирования сложных технологических процессов// Научно-

исследовательская деятельность и ее роль в подготовке специалистов в техническом вузе: Сб. тезисов докладов региональной научно-методической конференции профессорско-преподавательского состава. -Пенза, ПГАСА, 1995, с.22

66. Хмелевской Б.Г., Соловьева Е.В. Соловьев В.В. Учебно-методический комплекс моделирования криогенных систем заправки транспортных космических средств // Труды Международного Форума по проблемам науки, техники и образования./Под редакцией: В.П.Савиных, В.В.Вишневского.- М.: Академия наук о Земле, 1997, с. 138-140

67. Закревский А.Д. Языки логического управления // Препринт, Ин-т техн. кибернетики АН БССР. Минск: 1988. N 15. 54с.

68. "Кросстранслятор учебной системы имитационного моделирования сложных технологических комплексов (версия 03). Описание примене-ния.2066608.00003-0131 01, Центр "Вымпел", Алма-атинский ОС ВОИР АН Каз. ССР и народного образования, 1991, 39с.

69. I. Stocker, I. Ramck CSTS: Ein Software-Test-system für den TornadoAutopiloten. DGLR - Symposium, Köln, 25-26 Oct., 1983

70. Кондратьев К.Я., Донченко В.К., Лосев К.С., Фролов А.К. Экология - экономика - политика. - СПб.: Научный центр РАН, 1996, 827с.

71. Расторгуев В.В. Интерактивное учебное пособие "Информационные технологии экологической безопасности", Email: wr@srces. samson. spb. su, 1998

72. R. Chentouf, C. Jutten, M. Maignan, M.Kanevski, Incremental neural networks for function approcximation. Nuclear Instruments and Methods in Physics research. A389, 1997, pp.268-270

73. Соловьева E.B. Повышение надежности логического управления потенциально опасными технологическими комплексами// Сб. тезисов региональной научно-технической конференции. - Пенза, ПГТУ, 1997

74. Соловьева Е.В., Соловьев B.B. Система прогнозирования загрязнений окружающей среды при эксплуатации транспортных средств// Сб. тезисов докладов региональной научно-методической конференции профессорско-преподавательского состава. - Самара, 1996

75. Соловьев В.В., Тужилов И.В., Соловьева Е.В. Вычислительно-измерительный комплекс прогнозирования загрязнений окружающей среды при запусках космических транспортных средств// Экологический мониторинг территории Казахстана: Сб. докладов международной научно-технической конференции. - Ленинск, ИКИ АН PK, 1993

76. Вермишев Ю.Х. Методы автоматического поиска решений при проектировании сложных технических систем. - М.: Радио и связь, 1982, 152с.

77. Лазарев В.Г., Пийль Е.И. Синтез управляющих автоматов. -М.: Энергия, 1978-С.408.

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

79. Амбарцумян A.B. Проблемно-ориентированный знак ФОРУМ и комплекс машинных процедур синтеза дискретных управляющих устройств технологическим оборудованием машиностроения. Минск. Наука и техника. 1972-72-75с.

80. Экологические проблемы Северо-Запада России и пути их решения. /Под ред. С.Г. Инге-Вечтомова, К.Я. Кондратьева и А.К. Фролова - СПб., 1997, 528с.

81. Федеральный закон "Об экологической экспертизе" от 23 ноября 1995г. №174-ФЗ (с изменениями от 15 апреля 1998г.)

82. Экодинамика и экологический мониторинг Санкт-Петербургского региона в контексте глобальных изменений. /Под ред. К.Я. Кондратьева и А.К. Фролова - СПб.: Наука, 1996, 442с.

83. Приказ Госкомэкологии РФ "Об утверждении "Перечня нормативных документов, рекомендуемых к использованию при проведении

государственной экологической экспертизы, а также при составлении экологического обоснования хозяйственной и иной деятельности" от 25 сентября 1997г. №397

84. Сборник методик по расчёту выбросов в атмосферу загрязняющих веществ различными производствами. УНВ Госкомгидромета, 1986

85. Указания по расчёту валовых выбросов загрязняющих веществ в атмосферу от стационарных источников предприятий гражданской авиации. ГПИ и НИИГА "Аэропроект", 1987

86. Методика расчёта выделений вредных веществ в атмосферу от технологического оборудования авторемонтных предприятий МО СССР (РД 694-008-89). В/ч 52694, 1990

87. Методика проведения инвентаризации выбросов загрязняющих веществ в атмосферу автотранспортными предприятиями АТП (расчётным методом). НИИАТ, 1991

88. Сборник нормативно-методических и аналитических материалов по разработке и реализации экологических программ всех уровней. МинприродыРоссии, 1994

89. Охрана природы. Экологический паспорт промышленного предприятия. Основные положения. ГОСТ 17.0.0.04-90

90. Дополнения к Методике проведения инвентаризации выбросов загрязняющих веществ в атмосферу автотранспортными предприятиями АТП (расчётным методом). НИИАТ, 1992

91. Иовенко О.В., Пермий В.М. Организация программного обеспечения специализированной обучающей системы. УСиМ.-1990-№2-с. 119-122.

92. Епифанов В.И. Компрессорные и расширительные турбомашины радиального типа. М.: Машиностроение, 1984-376с.

93. Железнякова И.И., Маринов М.Т., Навасардян С.С. Микрокомпьютерный инструментальный комплекс для разработки автоматизированных обучающих курсов. УСиМ.-1990-№1-с.116-119.

94. Соловьев В.В., Соловьева Е.В., Горбачев О.В. Пакет учебных электронных справочников// Научно-исследовательская деятельность и ее роль в подготовке специалистов в техническом вузе: Сб. тезисов докладов региональной научно-методической конференции профессорско-преподавательского состава. - Пенза, ПГАСА, 1995, с. 18.

95. Хмелевской Б.Г., Соловьева Е.В. Соловьев В.В. Лабораторный практикум по моделированию криогенных систем // Проблемы эффективности высшего технического образования: Сб. тезисов докладов региональной научно-методической конференции профессорско-преподавательского состава .- Рыбинск, РГТУ, 1997, с. 19.

96. Краснощеков П.С. и др. Информатика и проектирование. / П.С. Красногцеков, A.A. Петров, В.В. Федоров. - М.: Знание, 1986, 48с.

97. Соловьева Е.В., Соловьев В.В. Организация научно-исследовательской работы студентов по экологическим информационным системам в строительстве // Научно-исследовательская деятельность и ее роль в подготовке специалистов в техническом вузе: Сб. тезисов докладов региональной научно-методической конференции профессорско-преподавательского состава. - Новосибирск, НГАСА, 1995, с.27-28.

98. Херштатт К., Зоммерплаттс Т. Метод лучших показателей в научных исследованиях и разработках. Проблемы теории и практики управления, №3, 1996, с.98-102

99. Онищенко И. Оценка результативности научных программ ведомствами США. Проблемы теории и практики управления, №5, 1996, с. 101-105