автореферат диссертации по информатике, вычислительной технике и управлению, 05.13.06, диссертация на тему:Исследование системы управления распределенного инструментального комплекса для администрирования корпоративных АСУП

На правах рукописи

(У

ЛЕБЕДЕНКО ЕВГЕНИЙ ВИКТОРОВИЧ

ИССЛЕДОВАНИЕ СИСТЕМЫ УПРАВЛЕНИЯ РАСПРЕДЕЛЕННОГО ИНСТРУМЕНТАЛЬНОГО КОМПЛЕКСА ДЛЯ АДМИНИСТРИРОВАНИЯ КОРПОРАТИВНЫХ АСУП

Специальность 05.13 06 Автоматизация и управление технологическими процессами и производствами

(промышленность)

АВТОРЕФЕРАТ диссертации на соискание ученой степени кандидата технических наук

Орел 2007

003069784

Работа выполнена в Академии ФСО России

Научный руководитель- доктор технических наук, профессор

Пирогов Владимир Витальевич

Официальные оппоненты- доктор технических наук

Фисун Александр Павлович

кандидат технических наук Савина Ольга Александровна

Ведущая организация- Институт проблем информатики Российской академии наук (Орловский филиал)

Защита состоится 2007 г. в тасов на заседании диссертационного

Совета Д 212 182.01 при Орловском государственном техническом университете по адресу 302020, г Орел, Наугорское шоссе, 29 Факс: (0862)-41-98-18, (0862) - 41-66-84

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

Автореферат разослан /<?, ^^2007 г

Ученый секретарь диссертационного совета, доктор технических наук, профессор

А И Суздальцев

ОБЩАЯ ХАРАКТЕРИСТИКА РАБОТЫ

Актуальность темы. Для реализации гибкого производственного цикла, оперативно ориентирующегося на изменяющиеся потребности рынка и поддерживающего выпускаемую продукцию на всех этапах ее жизненного цикла, широко применяются автоматизированные системы управления производством (АСУП), базирующиеся, в том числе и на системах распределенной обработки информации Для АСУП важную роль играет служба административного управления (САУ), обеспечивающая постоянный контроль состояния АСУП для обеспечения поиска и устранения их «узких мест» по таким показателям как производительность, надежность, безопасность и тд Наиболее перспективной тенденцией при разработке таких САУ является включение в них функций адаптации к изменяющимся задачам АСУП Для этого в состав САУ включают распределенные инструментальные комплексы, в рамках которых динамически формируются оперативные моделирующие комплексы для выполнения оценки схем организации и процессов функционирования компонентов АСУП Этот подход привел к появлению ряда работ по разработке и исследованию распределенных инструментальных комплексов (работы Воробьева А. А, Баранова И Ю ), а также к формированию класса систем распределенного моделирования, которые поддерживаются промышленными и международными стандартами (HLA, ШЕЕ 1516)

Архитектурными свойствами распределенных инструментальных комплексов являются

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

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

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

\ 'Ь

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

Объект исследования диссертационной работы — система управления распределенного инструментального комплекса для администрирования корпоративных АСУП

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

Цель исследования - повышение эффективности администрирования корпоративных АСУП за счет разработки комплекса алгоритмов в системе управления распределенного инструментального комплекса для поддержки процесса распределенного моделирования

В соответствии с целью были определены задачи диссертационной работы

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

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

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

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

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

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

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

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

Положения, выносимые на защиту

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

2 Алгоритм поддержки процесса распределенного моделирования с учетом исключения исполнительных функциональных компонентов из состава оперативного моделирующего комплекса

3. Алгоритм поддержки процесса распределенного моделирования с учетом отказов управляющего функционального компонента

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

1 Предложен способ распределенной обработки информации с распределенным управлением, защищенный Патентом на изобретение РФ № 223113 от 20 06.2004 г

2 Предложен способ децентрализованного управления процессом распределенного моделирования и обработки данных, по которому принята к рассмотрению заявка на патент № 2006147037 от 9.01.2007 г.

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

Публикации. По теме диссертационных исследований опубликовано 26 работ. Из них 11 непосредственно по теме диссертационной работы.

Апробация. Основные положения диссертационной работы обсуждены на Международных конференциях "Информатизация правоохранительных систем (г. Москва, Академия управления МВД России, 1998-2000 г), Всероссийской научно-технической конференции "Проблемы создания и развития сетей связи специального назначения" (г. Орел, ВИПС, 1997, 1999, 2001, Академия ФСО РФ 2003, 2007 гг ), X военно-научной конференции (г. Санкт-Петербург, Академия Связи, 1998 г.), Научно-технической конференции «Защита информации в сетях и системах связи» (г. Пенза, 2000 г ), X и XI Международных открытых научных конференциях «Современные проблемы информатизации» (г Воронеж, ГТУ, 2005, 2006 гг.).

Реализация результатов.

1 «Модель организации процесса функционирования распределенного инструментального комплекса в штатном и нештатном режимах», отчет о НИР «РЭМС» Академия ФСО РФ, г. Орел, 2006 г., стр. 41-62.

2. Программно-технический прототип системы управления процессом распределенного гибридного моделирования для выбора коммуникационных средств АСУД ОАО ОКБ «Протон» (г. Орел)

3. Программная реализация серверной и клиентской частей гибкого инструментального комплекса и предложения по гибридному моделированию компонентов корпоративной ИВС МУП «Орелгорэлектротранс» (г. Орел).

4. Программно-аппаратная спецификация гибкого инструментального комплекса для выполнения процессов распределенного моделирования компонентов ИВС Московского государственного автомобильно-дорожного института^ Москва)

5 Реализация распределенного инструментального комплекса для организации процессов распределенного моделирования объектов ИВС Санкт-Петербургской государственной академии холода и пищевых технологий (г Санкт-Петербург)

Структура и объем работы Диссертация состоит из введения, четырех глав, заключения и четырех приложений. Диссертация содержит 176 стр, 47 рисунков, 9 таблиц Список литературы содержит 184 наименования

СОДЕРЖАНИЕ РАБОТЫ Во ВВЕДЕНИИ обосновывается актуальность работы, описываются объект и предмет исследования, формулируются цель и задачи диссертационной работы, перечисляются используемые в работе методы исследования, показывается научная новизна и практическая значимость результатов работы

В ПЕРВОЙ ГЛАВЕ «Распределенные инструментальные комплексы и их роль в администрировании корпоративных автоматизированных систем управления производством» определяется понятие распределенного инструментального комплекса в составе службы административного управления корпоративных автоматизированных систем управления производством (АСУП) В качестве примеров распределенных инструментальных комплексов рассматриваются комплексы для системы административного управления процессами настройки операционных систем и настройки и выбора основных компонентов вычислительных систем корпоративных АСУП (диссертационные работы Воробьева А А, Баранова И Ю ), комплекс инструментальных средств графической визуализации процессов представления, накопления и использования пакетных знаний «САТУРН-среда» (Институт динамики систем и теории управления СО РАН, Иркутск), а также комплексный стенд математического моделирования комплекса бортового оборудования летательных аппаратов (ОАО «ОКБ Сухого»)

Анализируется степень соответствия архитектуры рассматриваемых распределенных инструментальных комплексов стандартам систем распределенного моделирования IEEE 1516 и HLA

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

В ее рамках определяется прнятие оперативного моделирующего комплекса (ОМК), как совокупности функциональных компонентов распределенного инструментального комплекса и иерархии протоколов их взаимодействия, ди-

намически формируемой для обработки запроса Ъ на распределенное моделирование (рис. 2)

Упрая

функциональный компоиен I (УФК)

ШI 1 А(0

(Исполнительный функциональный

гг (ИФК)5

_________

Прием и интерпретация потока запросов на моделирование

тшрова

Т1

Формирование результатов обработка запросов

Декомпозиция запроса на частные запросы к ИФК

|{7АМ} {гни} {г™}

Планирование взаимодействия ИФК в оперативном моделирующем юмшкме (ОМК)

{алм}

М («ни}

формирование экземпляров моделей

» АМ.ИМ.НМ

Управление выполнением моделей на {ИФК} входящих в состав ОМК

исмс

формирование результатов выполнения частных запросов

(алы) {анм}

Управление транспортировкой данных межу УФК и ИФК, входящих в состав ОМК

I

Иерархия протоколов врнема/аередача данных

Рис 1 Функциональная модель системы управления распределенного инструментального комплекса

Источник запросов

САУАСУП

Оперативный

моделирующий

комплекс

А-т

г = (г, г, 2. СМ)

-И. „

А=(а, аг ат СМ)

ИФК)

ИФК,

ИФК.

Ряс 2 Модель оперативного моделирующего комплекса (ОМК)

Дано:

ОМК = (УФК, ИФК,

УФК, ИФК

) -

Определяются свойства системы

управления процессом распределенного моделирования, влияющие на его отказоустойчивость централизация функций управления процессом распределенного моделирования в управляющем функциональном компоненте (УФК) и наличие связей только между управляющим и исполнительными функциональными компонентами (ИФК).

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

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

Делается формальная постановка задачи исследования-

модель оперативного моделирующего

комплекса (рис. 2)-

УФК - управляющий функциональный компонент,

ИФК = (ИФКь ИФК2, .,ИФКП) - исполнительные функциональные компоненты,

гуфк, ифк— связи УФК и ИФК по данным

Функция УФК для штатного режима функционирования ОМ К

А = Р(Т), где

^ = (Апгтт, Алгдек, Алг^ан, Алг^ ) - функция обработки запроса Ъ в виде комплекса алгоритмов-

Аягинт — интерпретации АлгдеК — декомпозиции X на множество гр Алгтап — планирования обработки 2, Алгрез - формирования результата А

Z = (г,,г2, ,.гт, СМ) — запрос на распределенное моделирование, где 23 — частный подзапрос;

= , исх, ^рбр) — состав частного подзапроса Щ — тип модели или процедура ее порождения, с^исх — исходные данные для М}, %обр — время, требующееся на обработку г/,

А = {а1га2,ат,СМ) - результат обработки 2, где а} — результат обработки частного подзапроса г/,

СМ — схема моделирования — определяет порядок передачи о, между ИФК при обработке

х, = — частный план, формируемый УФК для г-го ИФК, где

гт ,гк — список обрабатываемых г-м ИФК подзапросов

Функция /-го ИФК для штатного режима функционирования ОМ К где

/ = {Алг31а,Алгеы11,Алгрез) — функция обработки частного подзапроса в виде комплекса алгоритмов-

АлгЭКЗ — формирования экземпляра модели М], Алгвып - управление выполнением экземпляра модели М); Алгр(!3 — формирования а, — результата обработки Яу — результат выполнения частного плана х/, Модели нештатных режимов функционирования ОМК* 1. Исключение ИФК, из состава ОМК — если в течение ¡рбр УФК не получил результат ау

2 Отказ УФК — функциональный отказ программного обеспечения УФК и/или технический отказ вычислительной системы, на которой функционирует УФК.

Требуется

Модифицировать функциональную модель распределенного инструментального комплекса путем включения в состав УФК и ИФК комплекса алгоритмов поддержки процесса распределенного моделирования в условиях исключения ИФК из состава ОМК и отказов УФК

Ограничения:

1. Схема моделирования СМ в запросе Z — {zl,z2, ..zm,CM) задает только параллельную обработку подзапросов zr

2 В процессе обработки запроса Z УФК функционирует в условиях неопределенности относительно текущей производительности р ЭВМ, на которых функционируют ИФК.

3. ОМКщщ = 2 — минимальное число работоспособных функциональных компонентов OMR" должно быть не меньше двух (УФК=1 и ИФК=1)

ВТОРАЯ ГЛАВА «Разработка функциональной модели системы управления распределенного инструментального комплекса, учитывающей внештатные исключения функциональных компонентов» посвящена исследованию и выбору методов поддержки процесса распределенного моделирования, пригодных для применения в условиях исключения функциональных компонентов из состава ОМК, и разработке на их основе модифицированной функциональной модели системы управления распределенного инструментального комплекса.

По аналогии с отказоустойчивыми распределенными вычислительными системами рассматривается последовательность этапов восстановления процесса распределенного моделирования в случаях- исключения ИФК из состава ОМК (рис. 3), отказа УФК (рис 4)

Процесс распределенного моделирования в ОМК

Выявление факта исключения ИФК из состава ОМК

Исключение — ИФК из состава ОМК

Локализация проблемы определение исключенного ИФК

Реконфигурация ОМК формирование плана для новой и ОМК

В осстановление данных для обработки запроса

Возобновление процесса распределенного моделирования в _ОМК_

Рис 3 Этапы возобновления процесса распределенного моделирования при исключении ИФК из состава ОМК

Рис 4 Этапы возобновления процесса распределенного моделирования при отказе УФК

Этапы локализации проблемы, реконфигурации ОМК, восстановления данных для обработки запроса определяются как требующие разработки соответствующих алгоритмов

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

мые в таких технологиях как кластеры, Grid, организационные системы, муль-тиагентные системы (MAC)

На основе этого исследования, применительно к функциональной модели распределенного инструментального комплекса, обоснованно выбираются методы.

1. Для условия нештатного исключения ИФК из состава ОМК - итерационное перераспределение запросов по работоспособным ИФК на основе метода динамического программирования

2. Для условия отказа УФК — самоорганизации множества ИФК с целью выбора нового УФК на основе методов коллективного поведения автоматов, в частности однородных игр автоматов с переменной структурой.

С их учетом модифицируется система управления распределенного инструментального комплекса. Ее функциональная модель представлена на рис 5.

i

Управляющий функциональный компонент (УФК)

Прием я

интерпретация

потока запросов на

молелиоован ие

£

в Функциональный

Форм кровав ие результатов обработки запросов

Декомпозиция опроса нд частвьи запросы к ИФК

{»вы) («ны> |

Определение ИФК

| {ZAM) (Ztm) <Ьц> ИФК, +

ИФК» (ОМК)

Формирование экземпляров моделей

ляияня!

Мониторинг собсгвеавых моделей яж (ИФК)

ресурсов -........

Передача сведений о Формирование результатов

ресурсах

вжтоЖ^тж»

с (ИФК}

Управление транспортировкой дан них межу УФК и ИФК, входящих ■ сос тавОМК

Иерархии протоколов

Рис 5 Функциональная модель модифицированной системы управления распределенного инструментального комплекса

Разработанная модифицированная функциональная модель системы управления распределенного инструментального комплекса позволила определить дополнительные функции УФК и ИФК и типы данных, которыми эти компоненты обмениваются при поддержке процесса распределенного моделирования в условиях исключения ИФК из состава ОМК или отказа УФК. На их основе и на базе обоснованно выбранных методов осуществляется разработка алгоритмов, реализующих эти функции.

В ТРЕТЬЕЙ ГЛАВЕ «Разработка алгоритмов поддержки процесса распределенного моделирования, учитывающих исключения исполнительных функциональных компонентов и отказы управляющего функционального компонента» рассматриваются процессы разработки и оценки алгоритмов, поддерживающих процесс распределенного моделирования в нештатных ситуациях функционирования распределенного инструментального комплекса

Для реализации реконфигурации ОМК в условиях нештатного исключения из его состава ИФК применяется метод динамического программирования

В соответствии с ним функция ОМК А=¥(Х) дополняется алгоритмами

- определения ИФК, исключенного из состава ОМК;

- получения сообщений Бифк от множества работоспособных ИФК об их вычислительных ресурсах

- эффективного распределения подзапросов г„ по множеству работоспособных ИФК

При обнаружении исключения ИФК или подмножества ИФК УФК формирует новый план обработки запроса Хна основе сообщений Бифк от подмножества работоспособных ИФК. Так, при наличии в составе ОМК только одного ИФК, план будет рассчитан как X — хх, что определяет вырожденный до системы последовательного моделирования (СИМ) тип ОМК, а при 1<п<к, то есть, когда количество ИФК более одного, но меньше, чем количество подзапросов в запросе 2 план будет определен как X = тах[/ > где — сумма времен последовательного выполнения к, подзапросов г-м ИФК

По аналогии с организационными системами, оперативность реализации плана X определяется как стоимость выполнения запроса 2 и обозначается СРМг(0. Функция ОМК в этом случае определяется как разность между стоимостью выполнения запроса в СПМг(1) (последовательная обработка подзапросов одним ИФК) и ОМК2(0 (параллельная обработка подзапросов множеством ИФК в составе ОМК), которая должна быть максимизирована.

Для согласования t^ и вычислительных возможностей ИФК стоимость выполнения запроса выражается через имеющиеся у (-го ИФК ресурсы г„ присланные г-м ИФК в сообщении Sh<mc (рис 5) и измеряемые в MIPS-C, Тогда функция F(Z) принимает вид

F(Z) = CnMz(t) -OMKz(t) max

(1)

(2)

или

(3)

Выражение (3) соответствует формированию нового плана X, эффективно распределяющего подзапросы по множеству частных планов х, для имею-

щегося количества работоспособных ИФК Для реализации комплекса алгоритмов используется метод динамического программирования, на основе которого УФК при обнаружении исключения ИФК переходит к шагу объявления вакансии на выполнение необработанных подзапросов и получает сообщения Бифк от подмножества работоспособных ИФК Процесс объявления вакансий циклически повторяется до тех пор, пока ИФК не возвратят сведения о вычислительных ресурсах г, на основе которых в соответствии с выражением (3) УФК сформирует новые частные планы х,.

Разработанный алгоритм распределения подзапросов г, по работоспособным ИФК

представлен на рисунке 6

Обобщенный алгоритм поддержки процесса

распределенного модели-

рования с учетом исключения ИФК из состава ОМ К представлен на рисунке 7. Этап выявления факта исключения ИФК из состава ОМК и в алгоритме представлен блоками контроля работоспособности ИФК и сбора результатов моделирования

Дня оценки разработанного алгоритма был проведен двухфакторный эксперимент В качестве факторов использовались длительности подзапросов г, (фактор А), входящих в состав запроса 2, для которого формируется план, и вычислительные ресурсы г ИФК (фактор В). Заявилась

дачей эксперимента проверка гипотез (4).

о? = 0.

Но

Но о^-ОиНа

(4)

Гипотеза Щ длительность подзапросов /, и ресурсы г, ИФК не влияют на оптимальность сформированного плана Гипотеза Н\ — противоположное предпо-

Рис 6 Алгоритм распределения подзапросов г, по множеству работоспособных ИФК

предположение. На основе предположения о невозможности наличия влияний выбранных факторов на процесс функционирования алгоритма восстановления процесса распределенного моделирования в качестве базовой выбрана гипотеза Но Было выполнено 4 реплики двухфакторного эксперимента. Их результаты приведены в таблице 1

Рис 7 Алгоритм поддержки процесса распределенного моделирования с учетом исключения ИФК из состава ОМК

Анализ полученных данных показывает, что факторы А и В не влияют на соответствие стоимости формируемого плана X, так как во всех итерациях эксперимента были сформированы оптимальные планы со степенью соответствия =1. На основании чего можно сделать вывод о верности гипотез Н0.

Таблица 1

Степень соответствия стоимости сформированных в ходе эксперимента _планов идеальному плану_

Дисперсия г,

80 34 43

73

У1

Дисперсия /,

727 4*~

4*

4*

4*

685 4*

4*

36

4*

4*

4*

4*

4*

4*

16

16

16

340 4*

4*

4*

4*

16

321 4*

4*

4*

4*

16

361 4*

4*

4*

4*

24

24

24

24

16 уи= 96

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

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

Поскольку в ходе выполнения запроса Ъ только УФК имеет общий план выполнения запроса X = (хь. х„ . х„), а каждый ИФК имеет только частный план х, выполнения части запроса, то, в случае отказа УФК, каждый ИФК должен реализовать функцию сбора частных планов х, остальных ИФК с целью получения общего планами активации функций УФК

Для реализации этой функции применяются обоснованные ранее методы коллективного поведения автоматов Каждый ИФК рассматривается как линейный автомат с переменной структурой, выполняющий действия ¿2, <33 и функционирующий в переключающейся среде Е = (еь е2), где е] — среда, в которой ОМК функционирует без отказа УФК и множество ИФК выполняют действия с!| (этапы получения частного плана х,) и <12 (обработка частного плана х, и передача результатов УФК), а е2 — среда, в которой наблюдается отказ УФК и множество ИФК выполняют действие ё3 (выбор нового УФК). Закон переключения сред в! и е2 неизвестен В случае переключения среды Е в состояние е2 в качестве механизма взаимодействия ИФК использованы игры автоматов с ограниченным взаимодействием, являющиеся классом однородных игр В частности, использован метод случайного парного взаимодействия ИФК, при котором в коллективе из М ИФК в каждый момент времени происходит равновероятное их разбиение на -у пар и при этом в каждой паре происходит обмен информацией, такой, что кроме собственной информации ИФК может использовать номер состояния, номер действия и информацию о частном плане д:, партнера по паре Рассматривается ситуация, когда в некоторый момент времени Ц отказ УФК выявляют к ИФК (к > 0, к < М), после чего они переходят к действию с!з и вступают в случайное взаимодействие с одним из ИФК, адрес которого имеется в их плане х, . При этом в алгоритме взаимодействия пары ИФК предложена реализация игры Гура Б О), при которой ИФК в паре сравнивают адресную информацию из плана х1 . Стратегиями игры 8(1) являются 8(0 11 (выигрыш), если множество частных планов ИФК 1 в паре больше, чем у ИФК 2 ( х, (1) > х, (2) ) и Бф = — 1 (проигрыш) в противоположном случае Партия такой игры определяется набо]

где /'(г) — передача множества частных планов х, соседу по паре в слу-

чае = — 1, а /2(0 — получение множества частных планов X, от соседа по паре в случае Б^) — +1 Исходом такой игры будет-

+ = + + (6) где Б'ОгЫ) будет определять выигрыш одного ИФК в момент времени ^ а 82(1+1) проифыш другого На каждом шаге розыгрыша партии игры количество взаимодействующих пар ИФК будет сокращаться за счет отказа от взаимодействия проигравших ИФК В некоторый момент времени партию /(У останутся разыгрывать только два ИФК из коллектива, а все остальные перейдут в состояние отказа от взаимодействия. Исходом игры 8(^+1) будет получение одним из них всего множества частных планов х, , которые имели ИФК коллектива М, переход другого ИФК из пары в состояние отказа от взаимодействия. Таким образом, в момент времени ОМК перейдет в состояние, в котором он находился до отказа УФК ,

В общем виде алгоритм поддержки процесса распределенного моделирования с учетом отказов УФК, реализующий этот метод, представлен на рисунке 8

Разработанные

алгоритмы функции

реализуют поддержки

процесса распределенного моделирования, в условиях нештатной работы

распределенного инструментального комплекса, предложенные в модифицированной функциональной модели системы управления

распределенного инструментального комплекса

В ЧЕТВЕРТОЙ ГЛАВЕ «Разработка программной реализации модифицированной системы управления распределенного инструментального комплекса для оценки разработанных алгоритмов» выполняется комплекс задач, связанных с разработкой программной реализации модифицированной системы управления распределенным инструментальным комплексом с целью оценки качества разработанных алгоритмов поддержки процесса распределен-

Рис 8 Алгоритм поддержки процесса распределенного моделирования с учетом отказов УФК

ного моделирования Этапы проектирования программной реализации системы управления представлены разработкой— структурной схемы системы управления,

— инфологической и физической модели базы данных для хранения планов обработки запроса на распределенное моделирование X,

— интерфейсов «Пользователь - ОМК», «Администратор — ОМК», включая синтаксис языка формирования запросов на распределенное моделирование (ЯЗМ)

На основе функциональной модели модифицированной системы управления разработана ее структурная схема, используемая для разработки программных модулей (рис. 9).

1

Модуль управления процессом распределенного моделирования (УФК)

обработки запроса

Г

Оценка собственной нагрузки

рузки г

I I

Инм#*алиэация 1._. |

включения в 4—1жч—к. обояботку плана I I

I

Запуск системы моделирования

Модуль обработки данных (ИФК)

I

21

Г3"

Модуль поддержки процесса распределенного моделирования

Посылка _гч|

фпагое —Л

I

Основными структурными компонентами схемы являются

1) Модуль управления процессом распределенного моделирования, реализующий совокупность функций УФК.

2) Модуль обработки данных, реализующий совокупность функций ИФК.

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

4) Модуль связи, выполняющий функции интерфейса доступа к сетевой среде, в которой взаимодействуют элементы ОМК.

На основе разработанной структурой схемы была создана программная реализация системы управления распределенного инструментального комплекса. Она позволяет: — формировать ОМК, включающие до 21 экземпляра ИФК;

— динамически исключать до двадцати ИФК из состава ОМК;

— имитировать отказ УФК,

— фиксировать ^р запроса на распределенное моделирование;

— визуализировать этапы поддержки процесса распределенного моделирования в случаях исключения ИФК из состава ОМК и отказа УФК

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

Прием и интерпретация Ь_к)

флагов Г»чГ->1

Ведение Ал_1ча

диалога ¡¡ч-"!

______________' I__

Рис 9 Структурная схема системы управления распределенного инструментального комплекса

нештатного функционирования системы управления распределенного инструментального комплекса

В качестве меры отказоустойчивости из области надежности функционирования информационных систем обосновано выбран показатель — коэффициент сохранения эффективности К^

Приводится и обосновывается выражение для расчета К^,'

тс ™

где ¡о — время обработки запроса идеального с точки зрения отказоустойчивости ОМК, а ? — время обработки запроса оцениваемого ОМК

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

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

Программной реализацией системы управления сформированы планы X/ и х2 обработки запроса 2, определено /0 обработки запроса в ОМК, состоящем из пяти ИФК, при отсутствии нештатных ситуаций (таблица 2) и выполнены эксперименты по определению и расчету Кэф при следующих нештатных ситуациях-

1. Исключении ИФК № 2,3,4, 5 из состава ОМК

2. Имитации отказа УФК.

Графики зависимости К->ф от условий нештатных ситуаций выполнения планов X] и Х2 приведены на рисунках 10 и 11.

Таблица 2

Распределение ^р подзапросов в частных планах хг для пяти ИФК без их исключения из состава ОМК

№ ИФК 1обр обработки подзапросов ча- ибр обработки подзапросов

стого плана Х[ частного плана х2

1 10

2 1 8

3 1 3

4 1 2

5 1 3

гов, А. А Воробьев // Материалы VII Международной конференции "Информатизация правоохранительных систем - 98" - Москва, Академия управления МВД России, 1998. -С.195-199.

3. Лебеденко, Е. В. Гибкий инструментальный комплекс для подготовки сетевых администраторов ИТКС /ЕВ Лебеденко, В. В. Пирогов, А А. Воробьев //Материалы X военно-научной конференции, - Санкт-Петербург, Академия связи, 1998 - С 122-123

4 Лебеденко, Е. В Архитектура гибкого инструментального комплекса для подготовки администраторов ИТКС / Е. В Лебеденко, А А Воробьев, Ф М. Дорохов, В.В. Афанасьев //Сборник научных трудов «Информационные технологии в деятельности органов внутренних дел» - Орел, ОрЮИ МВД РФ, 1998 - С 32-35.

5 Лебеденко, Е. В Функционально-логическая модель организации гибкого инструментального комплекса / Е. В Лебеденко, В В. Пирогов, А А. Воробьев, Д В. Христенко // Материалы VIII Международной конференции "Информатизация правоохранительных систем - 99". - Москва, Академия управления МВД России, 1999 - С 232-233.

6 Лебеденко, Е. В Распределенная система управления гибкого инструментального комплекса / Е. В Лебеденко, А А Воробьев // Сборник докладов IX Международной конференции "Информатизация правоохранительных систем" - Москва, Академия управления МВД России, 2000. - С. 18-24

7. Лебеденко, Е. В. Оценка возможности применения РГИК при тестировании производительности сетевых операционных систем /ЕВ Лебеденко, А. А. Воробьев // Сборник трудов Всероссийской научно-технической конференции "Новые информационные технологии в научных исследованиях и в образовании" -Рязань ГРТА,2000 - С73-74

8. Лебеденко, Е. В Сравнение альтернатив распределенных систем управления гибридным моделированием объектов корпоративных информационно-вычислительных сетей / Е. В Лебеденко, В. В Пирогов, А А Воробьев // Датчики и системы, 2002, № 4. - С 7-10

9 Лебеденко, Е. В Методика сравнительного анализа распределенных систем управления гибридным моделированием объектов КИВС /ЕВ Лебеденко, В. В. Пирогов, А А. Воробьев, И. Ю. Баранов // Сборник научных трудов. Выпуск № 14 - Орел, Академия ФАПСИ, 2003 - С.70-80.

10 Лебеденко, Е В Разработка алгоритма распределенного управления запросами на гибридное моделирование /ЕВ Лебеденко, Н. Н Покусин // Сборник трудов 11 Международной открытой научной конференции «Современные проблемы информатизации». - Воронеж, 2006 - С. 56-57.

11. Лебеденко, Е В. Разработка алгоритма оптимального планирования распределения запросов в системах распределенного моделирования // Системы управления и информационные технологии, 2007, 2(27) - С 240-243

Лебеденко Евгений Викторович Автореферат диссертации на соискание ученой степени к т н

Подписано в печать/£>.042007 г. Формат 30x42/4 Печать офсетная Уел печ л 1 Тираж 100 экз. Заказ № Отпечатано в типографии Академии ФСО России 302034, г Орел, ул. Приборостроительная 35

Список сокращений, условных обозначений и терминов.

Введение.

Глава 1. Распределенные инструментальные комплексы и их 15 роль в администрировании корпоративных автоматизированных систем управления производством.

1.1. Организация службы административного управления корпоративных АСУП.

1.1.1. Исследование технологий и схем организации современных корпоративных автоматизированных систем управления производством.

1.1.2. Особенности организации службы административного 20 управления корпоративных АСУП.

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

1.2.1. Архитектура распределенных инструментальных 24 комплексов.

1.2.1.1. Распределенные гибкие инструментальные комплексы 24 для администрирования компонентов АСУП.

1.2.1.2. Распределенные инструментальные комплексы для 29 поддержки проектирования сложных объектов.

1.2.1.3. Определение оперативного моделирующего 33 комплекса.

1.2.2. Распределенные инструментальные комплексы и 34 стандарты систем распределенного моделирования.

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

1.3.1. Функциональная модель оперативного моделирующего 41 комплекса.

1.4. Постановка задачи исследования.

1.4.1. Формальная постановка задачи исследования.

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

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

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

2.1.1. Процесс распределенного моделирования в условиях 49 исключения ИФК из состава ОМК.

2.1.2. Процесс распределенного моделирования в условиях 51 отказа УФК.

2.2. Этапы реализации отказоустойчивых процессов 52 распределенных вычислений.

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

2.2.2. Этапы поддержки процесса распределенного 54 моделирования.

2.2.2.1. Этапы поддержки процесса распределенного 55 моделирования в условиях нештатного исключения ИФК из состава ОМК.

2.2.2.2. Этапы поддержки процесса распределенного 56 моделирования в условиях отказа УФК.

2.3. Методы повышения отказоустойчивости распределенных 57 вычислительных процессов и процессов обработки данных.

2.3.1. Отказоустойчивость процесса распределенных 58 вычислений в кластерных технологиях.

2.3.2. Технологии отказоустойчивых распределенных 60 вычислений на основе Сп<1-систем.

2.3.3. Технологии повышения отказоустойчивости процесса 64 распределенных вычислений и обработки данных в организационных и мультиагентных системах.

2.3.3.1. Организация процесса распределенной обработки 65 данных в организационных системах.

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

2.3.4. Классификация методов повышения отказоустойчивости 69 распределенных вычислительных процессов и процессов обработки данных.

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

2.3.4.2. Выбор метода коллективного поведения автоматов для 72 решения задачи управления поддержкой процесса распределенного моделирования в условиях отказа

2.4. Разработка функциональной модели системы управления 74 распределенного инструментального комплекса, модифицированной для условий нештатного исключения или отказа функциональных компонентов ОМК.

2.4.1. Разработка диаграммы декомпозиции модели системы 75 управления распределенного инструментального комплекса.

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

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

ГЛАВА 3. Разработка алгоритмов поддержки процесса 80 распределенного моделирования, учитывающих исключения исполнительных функциональных компонентов и отказы управляющего функционального компонента.

3.1. Представление алгоритма планирования распределения 80 запросов в условиях нештатного исключения исполнительных функциональных компонентов.

3.1.1. Разработка методики расчета оптимального плана 81 обработки запроса на распределенное моделирование.

3.1.2. Разработка алгоритма расчета оптимального плана 86 обработки запроса на распределенное моделирование.

3.2. Разработка алгоритма реконфигурации ОМК на основе 89 метода динамического программирования.

3.2.1. Разработка алгоритма определения исключенного 90 ИФК.

3.2.2. Использование динамического программирования для 91 реализации алгоритма поддержки процесса распределенного моделирования в условиях нештатного исключения ИФК.

3.2.3. Разработка обобщенного алгоритма поддержки процесса 96 распределенного моделирования в условиях нештатного исключения ИФК.

3.3. Оценка качества разработанного алгоритма поддержки 98 процесса распределенного моделирования в условиях нештатного исключения ИФК.

3.3.1. Постановка задачи проведения статистического 99 эксперимента для оценки влияния исходных данных на разработанный алгоритм.

3.3.2. Выполнение эксперимента и оценка полученных результатов.

3.4. Разработка алгоритма поддержки процесса 106 распределенных вычислений в условиях отказа УФК.

3.4.1. Структура ОМК при отказе УФК.

3.4.2. Алгоритм восстановления функций отказавшего УФК 110 широковещательной рассылкой резервной копии плана.

3.4.3. Разработка алгоритма децентрализованного управления формирования общего плана на основе частных планов.

3.4.3.1. Игровые методы, реализуемые при коллективном 114 поведении автоматов.

3.4.4. Разработка алгоритма поддержки процесса 115 распределенного моделирования в условиях отказа УФК однородной игрой автоматов с переменной структурой.

3.4.4.1. Алгоритм обнаружения отказа УФК.

3.4.4.2. Алгоритм передачи функций УФК одному из ИФК.

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

ГЛАВА 4. Разработка программной реализации модифицированной системы управления распределенного инструментального комплекса для оценки разработанных алгоритмов.

4.1. Разработка структурной схемы системы управления 124 распределенного инструментального комплекса.

4.1.1. Пример взаимодействия компонентов структурной схемы 125 системы управления.

4.1.2. Пример децентрализованного управления 129 восстановлением функций УФК.

4.2. Разработка базы данных схемы обработки запроса на распределенное моделирование.

4.2.1. Оценка объема базы данных.

4.3. Разработка интерфейсов «пользователь - ОМК» и 135 «администратор - ОМК».

4.3.1. Пример сценария запроса на распределенное 138 моделирование.

4.3.2. Схема функционирования интерфейса «администратор - 139 ОМК».

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

4.4.1. Выбор показателя оценки качества разработанных 142 алгоритмов.

4.4.2. Экспериментальная оценка управления процессом 144 распределенного моделирования в условиях нештатного исключения функциональных компонентов ОМК.

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

Актуальность темы. Для реализации гибкого производственного цикла, оперативно ориентирующегося на изменяющиеся потребности рынка и поддерживающего выпускаемую продукцию на всех этапах ее жизненного цикла, широко применяются автоматизированные системы управления производством (АСУП), базирующиеся, в том числе и на системах распределенной обработки информации. Для АСУП важную роль играет служба административного управления (САУ), обеспечивающая постоянный контроль состояния АСУП для обеспечения поиска и устранения их «узких мест» по таким показателям как производительность, надежность, безопасность и т.д. Наиболее перспективной тенденцией при разработке таких САУ является включение в них функций адаптации к изменяющимся задачам АСУП. Для этого в состав САУ включают распределенные инструментальные комплексы, в рамках которых динамически формируются оперативные моделирующие комплексы для выполнения оценки схем организации и процессов функционирования компонентов АСУП. Этот подход привел к появлению ряда работ по разработке и исследованию распределенных инструментальных комплексов (работы Воробьева А. А., Баранова И. Ю.), а также к формированию класса систем распределенного моделирования, которые поддерживаются промышленными и международными стандартами (HLA, IEEE 1516).

Архитектурными свойствами распределенных инструментальных комплексов являются:

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

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

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

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

Объект исследования диссертационной работы - система управления распределенного инструментального комплекса для администрирования корпоративных АСУП.

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

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

В соответствии с целью были определены задачи диссертационной работы:

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

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

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

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

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

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

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

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

Положения, выносимые на защиту:

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

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

3. Алгоритм поддержки процесса распределенного моделирования с учетом отказов управляющего функционального компонента.

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

1. Предложен способ распределенной обработки информации с распределенным управлением, защищенный Патентом на изобретение РФ №

223113 от 20.06.2004 г.

2. Предложен способ децентрализованного управления процессом распределенного моделирования и обработки данных, по которому принята к рассмотрению заявка на патент № 2006147037 от 9.01.2007 г.

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

Публикации. По теме диссертационных исследований опубликовано 26 работ.

Апробация. Основные положения диссертационной работы обсуждены на Международных конференциях "Информатизация правоохранительных систем (г. Москва, Академия управления МВД России, 1998-2000 г.), Всероссийской научно-технической конференции "Проблемы создания и развития сетей связи специального назначения" (г. Орел, ВИПС, 1997, 1999,

2001, Академия ФСО РФ 2003, 2007 гг.), X военно-научной конференции (г. Санкт-Петербург, Академия Связи, 1998 г.), Научно-технической конференции «Защита информации в сетях и системах связи» (г. Пенза, 2000 г.), X и XI Международных открытых научных конференциях «Современные проблемы информатизации» (г. Воронеж, ГТУ, 2005, 2006 гг.).

Реализация результатов.

1. «Модель организации процесса функционирования распределенного инструментального комплекса в штатном и нештатном режимах», отчет о НИР «РЭМС» Академия ФСО РФ, г. Орел, 2006 г., стр. 41-62.

2. Программно-технический прототип системы управления процессом распределенного гибридного моделирования для выбора коммуникационных средств АСУД ОАО ОКБ «Протон» (г. Орел).

3. Программная реализация серверной и клиентской частей гибкого инструментального комплекса и предложения по гибридному моделированию компонентов корпоративной ИВС МУП «Орелгорэлектротранс» (г. Орел).

Структура и объем работы. Диссертация состоит из введения, четырех глав, заключения и четырех приложений. Диссертация содержит 174 стр., 48 рисунков, 12 таблиц. Список литературы содержит 184 наименования.

ВЫВОДЫ:

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

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

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

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

ЗАКЛЮЧЕНИЕ

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

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

2. Исследованы методы обеспечения отказоустойчивости процессов распределенных вычислений и обработки данных в кластерах, (Зпё-системах, организационных системах и мультиагентных системах. Обоснованно выбраны методы динамического программирования и однородных игр автоматов с переменной структурой в качестве базы алгоритмов обеспечения поддержки процесса распределенного моделирования.

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

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

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

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

1. Альперович Т.А., Баранов В.В., Давыдов А.Н., Сергеев С.К., Судов Е.В., Черпаков Б.И. Компьютерно-интегрированные производства и CALS-технологии в машиностроении: Учебное пособие / Под ред. Б.И. Черпакова. -М.: ГУЛ "ВИМИ", 1999. -512 с.

2. NATO CALS Handbook, March 2000, Brussels

3. CALS (Поддержка жизненного цикла продукции): Руководство по применению / Министерство экономики РФ; НИЦ CALS-технологий "Прикладная логистика"; ГУП "ВИМИ", 1999. 44 с.

4. Дмитров В.И. Опыт внедрения CALS за рубежом // Автоматизация проектирования. 1997. - №1. - 5 с.

5. Потехин И.П. Логистика и компьютеризированные интегрированные производства // Автоматизация и современные технологии. 1995. - №2. - С.34-36.

6. Горнев В.Ф., Емельянов В.В. Овсянников М.В. Оперативное управление в ГПС. М.: Машиностроение, 1990. 256 с.

7. Уайт О. У. Управление производством и материальными запасами в век ЭВМ. М.: Прогресс, 1978. - 302 с.

8. Васильев В.Н. Организация, управление и экономика гибкого интегрированного производства в машиностроении. М.: Машиностроение, 1986.-312 с.

9. Черпаков Б.И. Интегрированная АСУ автоматизированных производств. М.: ЭНИМС, 1992. - 304 с.

10. Черпаков Б.И., Судов Е.В. Интегрированная система управления автоматизированным заводом // СТИН. 1994. №6. - С.5-9.

11. ГОСТ Р ИСО 9004 2000. Системы менеджмента качества. Рекомендации по улучшению деятельности. - М.: Издательство стандартов, 2000.

12. Р50-1-031-2001. "Информационные технологии поддержки жизненного цикла продукции. Терминологический словарь. Часть 1. Стадии жизненного цикла продукции". М.: Госстандарт РФ, 2001.

13. Гладкий A.A. Компьютер для бухгалтера. СПб.: Питер, 2005,435 с.

14. Н.Кузнецов В., Засорин С. 1С: Предприятие. Бухгалтерский и налоговый учет. М.: ТехБук, 2006, - 424 с.

15. Киркпатрик Дж. М. AutoCAD. Фундаментальный курс. Черчение, моделирование и прикладное проектирование. М.: КУДИЦ-Образ, 2006, -744 с.

16. Терехов А.Н., Кияев В.И., Комаров С.Н. Принципы информатизации системы управления в Санкт-петербургском государственном университете. Вестник Санкт-петербургского университета. Серия 8, Вып. 2 (№16), 2004 г.

17. Алферов М.В., Кузин В.Е. Реинжиниринг и новые формы интеграции промышленных предприятий. Сборник трудов Всеросийской научно-практической конференции «Современный менеджмент в условиях становления рыночной экономики в России». 1998г. С 23-28.

18. Иванов Д. Логистика. Стратегическая кооперация. М.: «Вершина», 2006 г., 176 стр.

19. Громов А., Каменова М., Старыгин А. Управление бизнес-процессами на основе технологии Workflow. //Открытые системы. 1997. -№1.-4 с.

20. Дубова Н. Системы управления производственной информацией. // Открытые системы, № 3,1996 г., С. 15-18.

21. Соколов Р. Реализация PDM-технологии в программной системе VERTEX APPAREL. // Открытые системы, № 9, 2000 г., С 32-44.

22. Корпоративная распределенная система управления производством в реальном времени "МЕГА". http://www.intekufa.ru/megasvsi.htm.

23. Oracle Enterprise GRID программная инфраструктура центра обработки данных // The Economist - June 2001 - 12 с.

24. Бобровский С. Поговорим о grid. // PCWeek, 2006, № 37 (547), С.52.53.

25. Технология GRID путь из клетки // Компьютерра - июль 2003 №7 -23 с.

26. Коваленко В., Корягин Д. Эволюция и проблемы Grid // Открытые системы. № 1. 2003 г. С. 27-33.

27. Foster I., Kesselman С., Nick J.M., Tuecke S. The physiology of the GRID — an open GRID services architecture for distributed systems integration, 2002. — http://www.globus.org/research/papers/ogsa.pdf.

28. Каменщиков M.A. Сервисы GRID, как объекты стандартизации. Журнал радиоэлектроники № 12,2002 г., С. 24-47.

29. Krauter К., Buyya R., Maheswaran М. A Taxonomy and Survey of GRID Resource Management Systems and Distributed Computing // Software-Practice and Experience, John Wiley & Sons, Ltd. — 2001. — P. 1-10.

30. Grid Computing. Making the Global Infrastructure a Reality. Edited by F. Berman, G.Fox, T.Hey. Wiley, 2003. - 1012 p.

31. Куссуль H.H., Шелестов А.Ю., Лобунец А.Г. Применение методов операционного анализа для оценки производительности GRID-систем // Кибернетика и вычислительная техника. — 2004. — Выпуск 144. — С. 3-19.

32. Куссуль Н.Н., Шелестов А.Ю., Корбаков М.Б., Кравченко А.Н., HiyeH Тхань Фыонг. Построение карты облачности с использованием параллельного алгоритма марковской сегментации // Кибернетика и вычислительная техника. — 2005. — № 1. — С. 125-130.

33. Genesereth M.R., Ketchpel S.P. Software agents.- Communications of the ACM, 1994. V. 37, # 7. - Pp. 48 - 53.

34. Bradshaw J.M. An introduction to software agents.- Software Agents / Ed. J.M.Bradshaw. Cambridge, MA: AAAI/MIT Press, 1996. - Pp. in preparation.

35. Городецкий В.И. Свойства моделей координации поведения агентов и модель планирования на основе аукциона. DIAMAS' 97, Ст.-Петербург, 1997.

36. Искусственный интеллект. Справочник, книга 2., Модели и методы, Москва, "Радио и связь", 1990.

37. Смирнов А.В., Шерематов Л.Б. Многоагентная технология проектирования сложных систем // Автоматизация проектирования, № 3, 1998 г.

38. Куссуль Н.Н., Шелестов А.Ю., Скакун С.В., Лобунец А.Г.Технология GRID и агентный подход к проектированию сложных систем // Кибернетика и вычислительная техника. — 2004. — Вып. 143. — С. 55-68.

39. Decker К., Sycara К., and Williamson М. Middle-agents for the internet. In Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence (IJCAI-97), Nagoya, Japan, 1997.

40. Barbuceanu M. and M. S. Fox. COOL A Language for Describing Coordination in Multi-Agent Systems. In V. Lesser (ed) Proceedings of First International Conference on Multi-Agent Systems, AAAI Press/The MIT Press, pp. 17-24.

41. Bellifemine F., Poggi A., Rimassa G. JADE A FIPA-compliant agent framework. CSELT, DII - University of Parma, 1999.

42. Величкевич С. Использование Грид-технологий для построения распределенных САПР. Сборник трудов Международной конференции RELARN-2005. С. 18-25.

43. Куликов Д., Салин А. Г., Шемякин А. Н. AutomatiCS Lite: 3D-компоновка щитов, внутренний и внешний монтаж. // CADmaster №1 2003, -С. 12-17.

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

45. Окольнишников В.В. Представление времени в имитационном моделировании. Вычислительные технологии. Том 10, № 5,2005 г.

46. Таненбаум Э. Современные ОС. Спб.: Питер, 2004 - 1040с.:ил.

47. Олифер В.Г., Олифер Н.А. Сетевые операционные системы. -СПб.: Питер, 2001.-544с.

48. Корнеев В.Д. Параллельное программирование в MPI. Новосибирск: Изд-во СО РАН, 2000 г.

49. Казаков Ю.П., Смелянский PJI. Об организации распределенного имитационного моделирования. // Программирование № 2,1994 г. С. 45-63.

50. High Level Architecture Object Model Template Specification. Version 1.3. U.S. Department of Defense. February, 1998 (27 July 1998 Document Release).

51. IEEE Std P1516. IEEE Standard for Modeling and Simulation (M&S) High Level Architecture (HLA) Framework and Rules. N.Y.: Institute of Electrical and Electronics Engineers, Inc., 2000.

52. IEEE Std P1516.3. IEEE Standard for Modeling and Simulation (M&S) High Level Architecture (HLA) Federation Development and Execution Process. N.Y.: Institute of Electrical and Electronics Engineers, Inc., 2000.

53. Терентьев С. В. Об одном подходе к построению имитационной модели производственного процесса // Материалы Всероссийской научно-практической конференции ИММОД-2003- СПб., 2003. Т.1. - С. 185-189.

54. Маркелов А. Проект SETI@Home. Расставляем Сети на внеземной разум. // Upgrade № 7 / 2004 (149), С. 34 - 36.

55. Kunze М. The CrossGRID project. // Сборник трудов VIII Международной конференции АСАТ'2002. С. 43 - 56.

56. Варшавский В.И. Коллективное поведение автоматов. Главная редакция физико-математической литературы изд-ва «Наука», М. 1973 г.

57. Якобовский М.В. Распределенные системы и сети. Учебное пособие. М.: МГТУ «Станкин», 2000. - 118 с.

58. Ремизов О. Веб-сервисы в гетерогенных средах. // http://www.citforum.ru/internet/webservice/heterogeneous, 2004.

59. Растригин JI.A. Адаптация сложных систем. Рига: Зинанте. 1.981 г.

60. Подчукаев В. А. Теория автоматического управления (аналитические методы). М.: ФИЗМАТЛИТ, 2004, - 392 с.

61. Харари Ф. Теория графов. М.: Мир, 1973.

62. Гришанов Г.М., Павлов О.В. Исследование систем управления: Учебное пособие / Самар. гос. аэрокосм. ун-т. Самара, 2005,128 с.

63. Короткое Э.М. Исследование систем управления: Учебник. М.: Издательско-консалтинговая компания «Дека», 2000. - 285 с.

64. Новиков Д.А. Стимулирование в организационных системах. М.: Синтег, 2003. - 312 с.

65. Пятибратов А.П., Гудыно Л.П ., Кириченко A.A. Вычислительные системы, сети и телекоммуникации: Учебник; Под ред. А.П. Пятибратова.-М.: Финансы и статистика, 1998.- 400 е.: ил.

66. Тарков М.С. Децентрализованное управление ресурсами и заданиями в живучих распределенных вычислительных системах // Автометрия. 2005, том 41, № 5, С. 18-27.

67. Опарин Г.А., Феоктистов А.Г. Инструментальная распределенная вычислительная САТУРН-среда // Программные продукты и системы. -2002,-№2.-С. 27-30

68. Опарин Г.А., Феоктистов А.Г., Новопашин А.П Вопросы организации взаимодействия вычислительных модулей в распределенной интеллектной САТУРН-среде // Вычислительные технологии. Т.8. Вестник КазНУ. - №3. - Совместный выпуск. - 2003. - 4.2. - С.307-315.

69. Феоктистов А.Г., Миньков С.А. Децентрализованное управление вычислениями в распределенной мультиагентной среде // Сборник трудов Международной конференции RELARN-2005. С. 34-38.

70. Варшавский В. И., Поспелов Д. А. Оркестр играет без дирижера: размышления об эволюции некоторых технических систем и управлении ими. М.: Наука. Главная редакция физико-математической литературы, 1984.-208 с.

71. Шилейко A.B. Коллективное поведение автоматов. М.: «Знание», 1975, - 64 с.

72. Поспелов Д. А. Игры и автоматы.—М.: Л.: Энергия, 1966,134 с.

73. Щекотихин В.М., Пирогов В.В., Лебеденко Е.В., Христенко Д.В. Концепция интегрированной информационно-моделирующей сети. Сборник научных трудов ВИПС. Орел.: - 1997. С. 8 - 22.

74. Воробьев A.A., Лебеденко Е.В., Христенко Д.В. Гибридное моделирование объектов ИТКС при подготовке специалистов САУ // Материалы всероссийской научно-технической конференции "Проблемы создания и развития ИТКС СН. Часть 1. ВИПС, Орел, 1997.- Зс.

75. Пирогов В.В., Лебеденко Е.В. Информационно-моделирующая сеть и обучение. Бюллетень научно-практической конференции ВИПС «Проблемы информатизации и гуманизации высшей школы». Орел.: -1997. С. 2-12.

76. Воробьев А. А. Разработка интеллектуальной системы административного управления процессами настройки операционных систем АСУП. // Диссертация на соискание ученой степени кандидата технических наук. 2005.

77. Гришаков В.Г., Воробьев A.A., Молчанов A.B., Лебеденко Е.В. Архитектура распределенной базы моделей сети гибких инструментальных комплексов//Депонированная в ВИНИТИ УДК 681.3 (072.8) 681.854, 1999. -17с.

78. Пирогов В.В., Воробьев A.A., Лебеденко Е.В. Сравнение альтернатив распределенных систем управления гибридным моделированиемобъектов корпоративных информационно-вычислительных сетей // Журнал Датчики и системы. Москва, 2002 г. № 4. - С.7-10.

79. Флореску Д., Леви А., Мендельсон А. Технологии баз данных для World-Wide Web: обзор. // СУБД № 04-05,1998, С. 34 - 47.

80. Кирсанов Д. Microsoft+Internet=ActiveX. // Мир Internet №11, 1996, -С. 18-24.

81. Сергеев А. Технология Baikonur Web Application Server -архитектура клиент-сервер для Intranet-систем доступа к корпоративным базам данных. // СУБД № 5-6 1996, С. 44-51.

82. Воробьев А.А., Баранов И.Ю. Сравнительный анализ объектно-ориентированных технологий DCOM и CORBA // Сборник материалов 3-й Всероссийской научной конференции «Проблемы создания и развития ИТКС СН». Орёл: Академия ФАПСИ, 2003. Часть 2. - С. 83-85.

83. Воробьев А.А., Киселев Д.А., Степанов А.Ю. Архитектура распределенной системы моделирования сетевых операционных систем // Сборник научных докладов. Орел, ОрЮИ МВД РФ, 2001.- 2 с.

84. Пирогов В.В., Лебеденко Е.В., Гришаков В.Г. Способ распределенной обработки данных с распределенным управлением. Патент на изобретение № 2231113 от 20.06.2004 г.

85. Кальянов Г.Н. CASE. Структурный системный анализ (автоматизация и применение). М.: Издательство «Лори». - 1996. - 242 с.

86. Судов Е.В., Серов A.A. Оценка возможности использования радиальных последовательных интерфейсов при построении АСУ производственными участками // Интегрированная АСУ автоматизированных производств, Сборник научных трудов ЭНИМС. М., 1992. - С.233-239.

87. Кульгин М. Технологии корпоративных сетей. Спб: Издательство "Питер", 1999. -699 е.: ил

88. Брюхов Д., Задорожный В., Калиниченко Л. и др. Интероперабельные информационные системы: архитектуры и технологии. // СУБД. 1995.-№4.

89. Французов Д. Оценка производительности вычислительных систем //Открытые системы. 1996. - № 2. - С.58-66.

90. Юдицкий С.А., Кутанов А.Т., Методология структурного анализа и логического проектирования сложных информационно-управляющих систем // Приборы и системы управления. 1994. - №4. - С.15-25.

91. Каменнова М.С. Системный подход к проектированию сложных систем // Журнал д-ра Добба. 1993. - №1. - С.9-14.

92. Гэйн К., Сарсон Т. Структурный системный анализ: средства и методы. В 2-х частях. Пер. с англ. Под ред. A.B. Козлинского. -М.: Эйтекс. 1993.-320 с.

93. Литвак Б.Г. Экспертная информация: Методы получения и анализа. М.: Радио и связь, 1982. - 184 с.

94. Наумов А.Н., Вендров A.M., Иванов В.К. и др. Системы управления базами данных и базами знаний. М.: Финансы и статистика. -1991.-352 с.

95. Гаврилова Т. А., Хорошевский В.Ф. Базы знаний интеллектуальных систем. Спб.: Издательство: "Питер", 2001. - 384 с.

96. Павлов С.Н. Системы искусственного интеллекта: Учебное методическое пособие. Томск: Томский межвузовский центр дистанционного образования, 2002. - 93 с.

97. Шафран В. Создание Web-страниц. Самоучитель. Спб.: Издательство: "Питер", 2000. - 310 с.

98. Гук М. Аппаратные средства IBM PC. Энциклопедия -Спб.: Издательство "Питер", 2000. 816 е.: ил.

99. Грей К., Ларсон Э.Управление проектами. Практическое руководство. М.: Издательство: Дело и Сервис, 2003. - 528 с.

100. Воробьев A.A., Лебеденко Е.В., Афанасьев В.В.Распределенный гибкий инструментальный комплекс для процедурного изучения ИТКС // Сборник научных трудов ученых Орловской области. Вып. 4. т. 1.1998.-С.421-428

101. Пирогов В.В., Воробьев A.A., Лебеденко Е.В. Гибкий инструментальный комплекс для подготовки сетевых администраторов ИТКС //Материалы X военно-научной конференции. Санкт-Петербург. Академия связи. 1998.- С.122-123.

102. Стандарты ISO 7498-4 и МСЭ-Т Х.700.

103. Тони Редмонд Управление сервером Exchange 2000 / Издательство Открытые Системы, журнал "Windows 2000 Magazine". №2. -2001.

104. Практическая диагностика сетей. Электронный документ компании Prolan. http://www.prolan.ru/pdf/iptest/PracticeDiagnostics.pdf

105. Пирогов В.В, Фисун А.П., Воробьев A.A., Джевага К.А. Задачи обеспечения информационной безопасности сети ГИК // Материалы научно-технической конференции «Защита информации в сетях и системах связи». НИЭИ. Пенза, 2000. - С.ЗЗ.

106. Пирогов В.В, Фисун А.П., Воробьев A.A., Джевага К.А. Анализ подходов обеспечения информационной безопасности сети ГИК // Материалы научно-технической конференции «Защита информации в сетях и системах связи». НИЭИ. Пенза, 2000. - С.34.

107. Крейнек С. Интернет Энциклопедия. Спб.: Питер, 1999.560с.

108. Гуц А.К. Математическая логика и теория алгоритмов: Учебное пособие. Омск.: Издательство Наследие. Диалог-Сибирь. 2003. 108 с.

109. Таненбаум Э., Стен М.ван. Распределенные системы. Принципы и парадигмы. Спб.: Питер, 2003. - 877 с.

110. Бенькович Е.С., Колесов Ю.Б., Сениченков Ю.Б. Практическое моделирование динамических систем Спб.: БХВ-Петербург, 2002.-464 с.

111. Гордон Я. Компьютерные вирусы без секретов. М.: Издательство: Новый издательский дом, 2004. - 319 с.

112. Фишберн Питер С. Теория полезности для принятия решения. М.: Наука, 1978. - 352 с.

113. Метакидес Г., Нероуд А., Принципы логики и логического программирования. М.: Издательство "Факториал", 1998. - 288 с.

114. Корнышев Ю. Н., Пшеничников А. П., Харкевич А. Д. Теория телетрафика: учебник для вузов. М.: Радио и связь, 1996. - 272 с.

115. Воробьев А.А., Лебеденко Е.В. Распределенная система управления гибкого инструментального комплекса // Сборник докладов IX Международной конференции "Информатизация правоохранительных систем". Москва, Академия управления МВД России 2000.- 6с.

116. Гришаков В.Г., Воробьев А.А., Молчанов А.В., Лебеденко Е.В. Архитектура распределенной базы моделей сети гибких инструментальных комплексов // Депонированная в ВИНИТИ УДК 681.3 (072.8) 681.854,1999.-17с.

117. Воробьев А.А., Пирогов В.В. Архитектура распределенной системы администрирования сетевых операционных систем // Материалы научно-технической конференции "Проблемы развития ИТКС CH. Академия ФАПСИ. Орел, 2001. - С.254-256.

118. Роберт Дж. Оберг. Технология СОМ+. Основы и программирование. СПб.: BHV, 2000. - 430 с.

119. Бокс Д. Сущность технологии СОМ. Библиотека программиста. Спб.: Питер, 2001. - 400 с.

120. Трельсен Э. Модель СОМ и применение ATL 3.0: Пер. с англ. Спб.: BHV - Санкт-Петербург, 2000. - 928 с.

121. Андреев А.Г. и др. Microsoft Windows 2000 Server. Русская версия / Под общ. ред. Чекмарева А.Н и Вишнякова Д.Б. Спб.: БХВ -Петербург, 2003. - 960с.

122. Слама Д., Джейсон К., Перри Р. Корпоративные системы на основе CORBA.: Пер. с англ.: Уч. пос.-М.: Издательский дом "Вильяме", 2000. 368 е.: ил.

123. Хармон Э. Разработка СОМ приложений в среде Delphi: Пер. с англ.: Уч. пос. - М.: Издательский дом «Вильяме», 2000. - 464 с.

124. Карлбертсон Р., Браун К., Быстрое тестирование.: Пер. с англ.- М.: «Вильяме», 2002. -384 с.:ил.

125. Воробьев А.А., Баранов И.Ю. Сравнительный анализ объектно-ориентированных технологий DCOM и CORBA // Сборник материалов 3-й Всероссийской научной конференции «Проблемы создания и развития ИТКС СН». Орёл: Академия ФАПСИ, 2003. Часть 2. - С. 83-85.

126. R. Orfali и D. Harkey "Client/server Programming with Java and CORBA", second edition, Wiley, 1998.

127. Object Management Group Common Object Request Broker: Architecture and Specification, Revisión 2.1, August 1997.

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

129. Калянов Г.Н. CASE: Компьютерное проектирование программного обеспечения. -М.: НЦИЭ ИнтерЭВМ, 1990.- 115 с.

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

131. А.М. Вендров CASE-технологии. Современные методы и средства проектирования информационных систем М.: Citforum, 1998.

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

133. Маклаков С.В. BPwin и Erwin М.: ЗАО «Издательство БИНОМ», 2001. - 496 е.: ил.

134. Трофимов С.A. CASE технологии: практическая работа в Rational Rose - М.: ЗАО «Издательство БИНОМ», 2001 г. - 272 е.: ил.

135. Гома X. UML. Проектирование систем реального времени, параллельных и распределенных приложений: Пер. с англ. М.: ДМК Пресс, 2002.-704 е.: ил.

136. Ресурсы Microsoft Backoffice: Exchange Server и Systems Management Server: Пер. с англ. Спб.: BHV - Санкт- Петербург, 1998. -1008 с.

137. Thomas J/ Schriber. An Introdution to Simulation Using GPSS/H. John Wile & Sons. 1991. ISBN, 0-471-04334-6. P. 425.

138. Чеботарёв А. Семь вещей, которые нужно знать о VMWare и VirtualPC. // Компьютеры + программы, Изд. Комиздат. 2003. - № 3.

139. Воробьев А.А., Киселев Д.А., Степанов А.Ю. Архитектура распределенной системы моделирования сетевых операционных систем // Сборник научных докладов. Орел, ОрЮИ МВД РФ, 2001.- 2 с.

140. Краковяк С. Основы организации и функционирования ОС ЭВМ: Пер. с франц. М.: Мир, 1988. - 480 с.

141. Лоули Д. Максвелл А. Факторный анализ как статистический метод. -М.: Мир, 1968. -144 с.

142. Блохин В.Г. и др. Современный эксперимент: подготовка, проведение, анализ результатов. М.: Радио и связь. - 1997. - 230 с.

143. Броверман Э.М., Фломтольц Э. Структурные методы обработки эмпирических данных. М.: Наука, 1983. - 464 с.

144. Гмурман В.Е. Теория вероятностей и математическая статистика. Изд. 4-е, доп. Учебн. пособие для вузов. М., «Высшая школа», 1972.-368 с.

145. Монтгомери Д.К. Планирование эксперимента и анализ данных: Пер. с англ. Л.: Судостроение, 1980. - 384 с.

146. Пирогов В.В., Воробьев A.A., Лебеденко Е.В. Сравнение альтернатив распределенных систем управления гибридным моделированием объектов корпоративных информационно-вычислительных сетей // Журнал Датчики и системы. Москва, 2002 г. № 4. - С.7-10.

147. Пирогов В.В., Воробьев A.A., Баранов И.Ю., Лебеденко Е.В. Методика сравнительного анализа распределенных систем управления гибридным моделированием объектов КИВС // Сборник научных трудов. Выпуск № 14 Орел, Академия ФАПСИ. 2003. - С.70-80.

148. Петухов Г.Б. Основы теории эффективности целенаправленных процессов. Часть 1. Методология, методы, модели. СПб.: МО СССР, 1989.- 660 с.

149. Ланне A.A., Улахович Д. А. Многокритериальная оптимизация. Л.: ВАС, 1984. - 94с.

150. Кукушкин A.A. Теоретические основы автоматизированного управления. Часть 1. Основы анализа и оценки сложных систем. Орел.: ВИПС, 1998. - 254 с.

151. Кузьмичев А. Д., Радкевич И. А., Смирнов А.Д. Автоматизация экспериментальных исследований. М.: Наука. - 1983. - 392 с.

152. Макгрегор Д., Сайке Д. Тестирование объектно-ориентированного программного обеспечения. Практическое пособие: пер. с англ.- К.: «ТИД ДС», 2002. -432 с.

153. Брюхов Д., Задорожный В., Калиниченко JI. и др. Интероперабельные информационные системы: архитектуры и технологии. // СУБД. 1995.-№4.

154. Дьяконов В .П., Абраменкова И.В. MathCad 8 PRO в математике, физике и Internet. M., издательство Нолидж, 1999. 502 с.

155. Советов Б.Я., С.А. Яковлев Моделирование систем. М.: Высшая школа, 1998. - 319 с.

156. Шрайбер Т. Дж. Моделирование на GPSS PC: Пер. с англ. -М.: Мир, 1979, 592 с

157. Мартин Дж. Вычислительные сети и распределенная обработка данных. Программное обеспечение, методы и архитектура. М.: Финансы и статистика. - 1985. - 256 с.

158. Дьяконов В.П. Internet. Настольная книга пользователя -М.:Солон, 1999. 576 с.

159. Хопгер К., Введение в логическое программирование. М.: Мир, 1988. - 348 с.

160. Венцель Е.С. Исследование операций. М.: «Советсткое радио», 1975.-552 с.

161. Taxa, Хэмди, А. Введение в исследование операций. М.: Издательский дом «Вильяме», 2001. - 912 с.

162. Блохин В.Г., Глудкин О.П., Гуров А.И., Ханин М.А. Современный эксперимент: подготовка, проведение, анализ результатов. -М.: Радио и связь, 1997. 232 с.

163. Иванов А.Ю., Полковников С.П., Ходасевич Г.Б. Военно-технические основы построения и математическое моделирование перспективных средств и комплексов автоматизации. СПб.: ВАС, 1997. -419 с.

164. Додонов А.Г., Кузнецова М.Г., Горбачик Е.С. Введение в теорию живучести вычислительных систем. Киев: Наук, думка, 1990. - 184 с.

165. Движение A.A. Отказоустойчивость свойство, обеспечивающее постоянную работоспособность цифровых систем. //ТИИЭР. -1978. - Т.66, № 10, С. 5-25.

166. Поспелов И.Г. Разработка и исследование методов анализа и обеспечения отказоустойчивости управляющих иерархических вычислительных систем реального времени. Автореферат диссертации на соискание ученой степени кандидата технических наук. М.: 2002.

167. Баранов И. Ю. Исследование гибкого инструментального комплекса для интеллектуальной системы административного управления в корпоративных АСУП. Диссертация на соискание ученой степени кандидат технических наук. -Орел., 2006.

168. Матвеев А. Кластеры как средство повышения отказоустойчивости систем. // Открытые системы, № 6,2001, С. 12-26.

169. Цикл поиска минимальной загрузки

170. РСЕхеЫогТаЫе. Ыв1Ыате:= Ыатеэ^ит.пит Конецпит номер наименее загруженной ЭВМ; занесение имени новой ЭВМ-исполнителя в БД1. ДИС.018.ПБ.М

171. Изм. Лист Лй докум. Подпись Дата1. Разраб. Лебеденко Е. 1. Провер.

172. Т. Контр. Лист 1 | Листов 11. Рук. КП Академия ФСО 1. Н. Контр. тяивьоээии172

173. РСЕжесцЦхгТаЫе РСШ:Тей(1851. РгосеиТаЫе

174. ЫлИмпе: Тнй(18) 1РА<Игеи:Та1(15)

175. РгосеиТуре: Тей(18) РгосеиШ: Тнй(18)

176. СотрЬсайоп: Рпойу:Ву1е Емик ОЬЕ ОДеОт1. ГцясаРгосеяТаЫе1. РгосеиТуре: Тнй(18)

177. РгосеиТуреИате: Т«Л(18) КгюипеТ^ре: Тей(18) ЕегйТуре: Тнй(18)♦1. АшяптеШО1. МоткяТаЫе

178. РгосеиВевпТтк: ИгаШте \ГтиаГОше: Ьоад Ьйевег РгосеиЕшЛоте: Тщс/Гппс1. О 0 01. АсЗАЯНШО1.

179. Система управления распределенного инструментального комплекса информационной базы. Описа-ние внутримашинной информационной базы. Физическая структура1. Лит.1. Масса1. Масштаб1. Лист 1 \ Листов 11. Рук. КП1. И. Контр.1. Академия ФСО

180. СПЕЦИФИКАЦИЯ ЯЗЫКА ЗАПРОСОВ НА МОДЕЛИРОВАНИЕ.

181. Olli г vi ol' Нлгмлчмпп Синтаксис II м'амг.1 1'ы

182. СЛОЖИТЬ Сложение двух переменных сложить(М1 ,Мг)#Мз М„М2- складываемые переменные; Мз~ переменная, в которую помещается результат;

183. ВЫЧЕСТЬ Вычитание вычесть(М 1 ,Мг)#Мз МЬМ2 переменные (М,-М2); Мз - переменная, в которую помещается результат;

184. УМНОЖИТЬ Умножение двух переменных умножить(М1 ,Мг)#Мз М1М2- умножаемые переменные; Мз переменная, в которую помещается результат;

185. РАЗДЕЛИТЬ Деление разделить(М. ,Мг)#Мз М1М2-переменные

186. М,/М2); Мз~ переменная, в которую помещается результат;

187. ПОКАЗАТЬ Вставка значения переменной в результирующий отчет показать#М<подпись>-N М- переменная для вставки; подпись выводимое обозначение переменной; N — номер графика;

188. РАВНО Присваивание равно<Х>#М Х- числовое значение; М- переменная, в которую необходимо поместить значение;

189. ЦИКЛ Цикловая конструкция запроса -оператор помещается в 1 строку запроса и остальной текст выполняется как тело цикла, при этом цикловой переменной является #00 цикл X Х- количество повторов (переменная #00 изменяет свое значение от 1 до X);

190. ПЕРЕХОДЫ МЕЖДУ СОСТОЯНИЯМИ ПИ

191. Перехох Событие Действие субъекта Форма Объект Субъект Методы

192. РО Запуск приложения- диспетчера до Рогт1 Рогт1 Пользователь, Диспетчер задач ОС АррНсаИоп.Сгеа1еРогш (ТРогт1, Рогт1)

193. Р1 Истечение времени отображения формы- заставки МатРогт МатРогт. МатОВСпс! Система АррНсаиоп.Сгеа1еРогт (ТМатРогт, МатРогт); установить фокус на МатРогт-МатОВОпё

194. Р2 Вызов окна изменения предустановок дю РгеГегРогт РгеГегРопп. веШрСпс! Оператор PrefeгForm.ShowModal; установить фокус на РгеГегРогт. БеШрСпс!

195. РЗ Отказ от изменения предустановок дп МатРогт МатРогт. МатОВСпс! Оператор PreferFoпn.Close; установить фокус на МатРогт.МатБВОпс1

196. Р4 Внесены изменения в предустановки системы Д1 РгеГегРогт РгеГегРогт. СапсеШш Оператор События изменения содержимого РгеГегРогт. 8еШрОп<1

197. Р5 Форма изменения предустановок закрыта с сохранением или без сохранения изменений Д5,Д6 МатРогт МатРогт. МатОВСтс! Оператор Запись информации в файл предустановок (возможно); РгеГегРогт.С1ове; установить фокус на МаМЪгт.МатОВСпс!

198. Р6 Создание слепка состояния системы да МашБогт МатРогт. Бгаи^Ваг Оператор Сохранение файла слепка; МатРогт. 81аШ5Ваг1.8тф1еТех1:= 'создан слепок.'

199. Р7 Вызов справки по работе с системой до МоРогт МоРогт. IпfoWeb Оператор InfoForm.ShowModal, установить фокус на МоРогт.Мо\УеЬ

200. Р8 Завершение просмотра справки Д4 МатРогт МатРогт. МатОВСМ Оператор МоРогт.С1озе; установить фокус на Ма1пРогт.МатОВСп(1

201. Р9 Вызов подробной информации о процессе моделирования Д7 АсШМоРогт А<1(1МоРогт. АёсЮВОпё Оператор AddInfoForm.ShowModal; установить фокус на АааМоРогт.АёсЮВ(}пё

202. Р10 Завершено отображение подробной информации о процессе моделирования Д8 МатРогт МатРогт. МатОВСпё Оператор AddInfoForm.Close; установить фокус на MainForm.MainDBGrid

203. Р11 Изменено содержимое отображаемой подробной Д12 АсИМоРогт АёёМоРогт. СЬескЗЬои!^ Оператор Событие OnChange объекта AddInfoFoпп.CheckShowList; БОЬ-запросы на выборку информации из таблиц базы

204. Переход Событие Действие субъекта Форма Объект Субъект Методыинформации данных

205. Р12 Попытка завершения работы приложения Д9 С1ове01а1о£ С1оБе01а1о§. НоЕхкВШ Оператор С1о8еВ1а1о£.81ктМо<1а1; установить фокус на С1о8еО!а1оя.ИоЕхкВй1

206. Р13 Отказ от завершения работы приложения Д13 МатБогт МатРогш. МатОВОпё Оператор С1о5еВ1а1о§.С1оБе; установить фокус на МатРогт.МаиШВСпс!

207. Р14 Подтверждение завершения работы приложения Д14 Оператор АррНса1юп.Тегтта1е