автореферат диссертации по информатике, вычислительной технике и управлению, 05.13.13, диссертация на тему:Методы оптимизации показателей качества цифровых промышленных сетей на основе моделей GERT

На правах ру^рписи

ООЗОВЭ222

КРАВЧУК Николай Владимирович

МЕТОДЫ ОПТИМИЗАЦИИ ПОКАЗАТЕЛЕЙ КАЧЕСТВА ЦИФРОВЫХ ПРОМЫШЛЕННЫХ СЕТЕЙ НА ОСНОВЕ МОДЕЛЕЙ СЕКТ

Специальность

05 13 13 - Телекоммуникационные системы и компьютерные сети

Автореферат диссертации на соискание ученой степени кандидата технических наук

Рязань 2007

003069222

Работа выполнена на кафедре систем автоматизированного проектирования вычислительных средств (САПР ВС) Рязанского государственного радиотехнического университета

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

Шибанов Александр Петрович

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

Белов Владимир Викторович

кандидат технических наук, доцент Кокорин Николай Иванович

Ведущая организация: ГНИИ ИТТ «Информика», г. Москва

Защита состоится «24» мая 2007 г в 11 часов на заседании диссертационного совета Д212 21102 в Рязанском государственном радиотехническом университете по адресу г Рязань, ул Гагарина, д 59/1

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

Автореферат разослан «¿£» сиф^ 2007 г

Отзывы на автореферат в двух экземплярах, заверенные печатью организации, просим направлять по адресу 390005, г Рязань, ул Гагарина, д 59/1, Рязанский государственный радиотехнический университет

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

И А Телков

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

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

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

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

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

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

• на среднем и низшем уровнях ЦПС стали активно использоваться беспроводные технологии,

• внедрение в ЦПС вышеуказанных новых сетевых технологий обусловило появление в сети новых видов информационных потоков,

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

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

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

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

Вопросам анализа промышленных сетей и систем управления испытаниями сложных технических объектов посвящены работы Баканова А С, Вишневского В М, Ляхова А И, Богуславского JIБ, Шевчика К С и других авторов Рассматриваются актуальные проблемы проектирования беспроводных сетей с централизованным и децентрализованным управлением, при высокой нагрузке и в условиях помех, локальных сетей с многопроцессорными серверами Работы Брехова О М, Максимова А П, Корнеенковой А В , Крапивного А В, Николаева НС и др посвящены вопросам аналитической оценки производительности и надежности управляющих вычислительных комплексов реального времени В работах Корячко В П рассмотрены проблемы автоматизированного проектирования специализированных структур для испытаний сложных объектов Практическими вопросами построения образцов нового поколения АСУТП и АСУП на базе ЦПС занимались Зату-ливер Ю С, Топорищев А В , Михалевич И Ф , Сычев К И, Лузин В Ю , Низамутдинов О Б , Белковский С В , Топорков В В , Blake S , Black D , Etschberger К , Floyd S , Jacobson V и многие другие авторы

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

Работа выполнена при финансовой поддержке Российского фонда фундаментальных исследований в форме гранта, шифр 07-07-0146а

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

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

• анализ структуры ЦПС и характера передаваемого в них трафика,

• исследование существующих методов моделирования и оптимизации ЦПС,

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

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

• разработка эффективных методов оптимизации отдельных подсистем при итерационном характере процесса оптимизации всей ЦПС,

• проведение экспериментальной проверки корректности разработанных методов

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

Научная новизна. Научная новизна исследований состоит в следующем

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

• Найдено разложение GERT-сети на совокупность параллельно соединенных частичных графов GERT-сети, каждый из которых имеет только один простой путь из источника в сток, что позволяет выявить неявный параллелизм протоколов и алгоритмов и упростить дальнейший анализ цифровой промышленной сети

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

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

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

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

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

Результаты, полученные в диссертационной работе, внедрены в Научно-исследовательском институте газоразрядных приборов ОАО «ПЛАЗМА» (г Рязань) при производстве изделий специального назначения, в ОАО завод «Красное знамя» (г Рязань) при проектировании сети инженерных служб предприятия, при проведении учебного процесса в ГОУВПО Рязанском государственном радиотехническом университете

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

1 Методика оптимизации протоколов и программ цифровых промышленных сетей на основе анализа распределений времени прохождения пакетов с использованием моделей GERT

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

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

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

5 Метод построения структурированной GERT-сети из частичных графов, для времени прохождения которых выполняется свойство аддитивности

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

Апробация результатов диссертации. Результаты, полученные в ходе работы над диссертацией, докладывались на 4 всероссийских и межвузовских конференциях "Научная сессия МИФИ", 2006, на VIII всероссийской конференции "Новые информационные технологии в научных исследованиях и в образовании" Рязань РГРТА, 2003, на XI всероссийской научно-технической конференции студентов, молодых ученых и специалистов, Рязань РГРТУ, 2006, на 31-й Межвузовской научно-практической конференции "Хранить

Публикации. Основные результаты диссертации опубликованы в 12 работах, в том числе в ведущих научных журналах и изданиях, выпускаемых в Российской Федерации и утвержденных ВАК РФ для изложения основных научных результатов диссертаций на соискание ученой степени доктора наук - 1 статья, кандидата наук - 1 статья Опубликованы материалы 4 докладов всероссийских и межвузовских конференций, издано 6 статей в межвузовских сборниках научных трудов

Структура и объем диссертации. Диссертация состоит из введения, пяти глав, заключения, библиографического списка (120 источников), изложенных на 145 страницах (содержит 10 таблиц, 73 рисунка), и 2 приложений Общий объем диссертации 160 страниц

СОДЕРЖАНИЕ РАБОТЫ

Общая характеристика работы содержит основные сведения о работе Во введении обоснована актуальность темы диссертационной работы и приведена ее структура

Первая глава посвящена анализу существующих методов моделирования и оптимизации ЦПС

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

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

Сформулированы задачи, решаемые в рамках диссертационной работы Показано, что с учетом специфики поставленных задач для моделирования протоколов и программ цифровых промышленных сетей целесообразно использовать ориентированные графы на основе производящих функций моментов, получившие название "метод графической оценки и анализа систем" (GERT, Graphtcal Evaluation andReview Technique)

Вторая глава посвящена методам синхронизации каналов ЦПС Постановка задачи Для общего времени задержки передачи пакетов "из конца - в конец" канала определяется резерв времени Z, в пределах которого выделяются реально существующие задержки в г-м канале связи Т (или в

параллельном пути) и некий остающийся запас ^, причем 2-Т^ Для

каждого из каналов (физического в агрегированном канале или виртуального в одном физическом канале) величина г разная, что позволяет производить

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

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

Назовем такой подканал опорным подканалом Для подканала / должно

выполняться /я^ 1Ср+ < 2, где а — среднеквадратичное откло-

нение, а к определяет величину интервала, в который случайное время передачи пакета попадает с заданной вероятностью (например, в интервал "трех сигм" или "четырех сигм") Для параметров опорного канала должно выполняться г0 й г1, | ка0 151 ка1 |, где индексом "о" отмечен опорный канал

При проведении оптимизации агрегированного канала варьируются значения резервов г , г = 1,/, г Ф о, так, чтобы выполнить условия Упг ^ « т 0 ,

ксг

и ка0 , здесь / - число каналов, имеющих резерв времени

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

/

мизации / = 2 (г -г ) —>тш

1 = 1 1 0

при ограничениях на неотрицательные переменные

г +\ка \<2 1 юр I

г >г I о

ксг < кст

о 1

,(/6 У)

где г0 - варьируемый резерв передачи пакета по опорном}' каналу,

гг - варьируемый резерв передачи пакета по каналу, отличного от опорного,

11Ср - среднее значение реально существующей задержки в г-м канале,

?/ - среднеквадратичное отклонение случайное время передачи пакета по /-му каналу,

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

/ - число каналов, имеющих резерв времени

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

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

1) в изменении среднего времени передачи по подканалу в сторону уменьшения или увеличения Уменьшения времени передачи можно достигнуть путем установки оборудования с большим быстродействием Это требует и дополнительных материальных затрат. Поэтому среднее время передачи через канал связи сначала нужно стремиться изменить так, чтобы оно стало равным аналогичной величине опорного канала;

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

С учетом специфики решаемой задачи введены ограничения на структуру вЕИТ-сети По своей структуре вЕЯТ-сеть является ориентированным графом о{х, и ), где X есть множество узлов СЕИТ-сети, а и есть множество упорядоченных пар элементов изХ {/ = {(*,>>)}, называемых ветвями СЕЯТ-сети Пара узлов хну может быть соединена несколькими параллельными ветвями вида ( х,у ), т е ОЕЯТ-сеть О (х, V ) является мульти-графом

Сеть GERT и) определим как совокупность:

• частичных GERT-сетей Я^tj' ^¡j ^¡j где ' ~ номеР

канала, j - номер частичной GERT-сети данного канала,

• частичных сетей Е , состоящих из ветвей (вместе с их концами),

входящих в л'-/-пути GERT-сети /-го канала, и соединяющих частичные сети

Н , источники и стоки, Ч

• частичной сети F , состоящей из возвратных ветвей (вместе с их

/

концами) GERT-сети /-го канала

На рисунке 1 показана модель транка, состоящего из двух каналов

О -входы подграфов, • - выходы подграфов

Рис 1 - Пример графа ОСХ, и)

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

Введено понятие частичного графа GERT-ceти, порожденного некоторым простым ¿-/-путем, как совокупность ветвей и узлов простого ¿'-/-пути, а также ветвей и узлов петель первого порядка, которые достижимы из рассматриваемого простого ¿-/-пути Частичный граф, порожденный /-м простым

[5-/1

путем, обозначен через О^ ' Сформулирована и доказана теорема об эквивалентном представлении GERT-ceти через множество частичных графов, поровденных простыми ¿--/-путями

Теорема. ОККТ-сеть может быть эквивалентно представлена совокупностью параллельно соединенных частичных графов аПП-сети, порожденных простыми ьЧ-путялш

Рассмотрен пример разложения ОЕЛТ-сети, изображенной на рис. 2 В сети имеется три простых 5-?-пути (1, 2), (2, 3), (3, 4), (1, 2), (2, 3), (3, 6), (6, 4), (1,5), (5,6), (6, 4)

Рис 2 вЕЛТ-сеть с тремя простыми «-¿-путями

Показано, что данная СЕЯТ-сегь может быть представлена в виде совокупности параллельно соединенных частичных графов О = Оз*-^ (рисунки 3, а, б, в соответственно)

В О

Рис 3 Разложение исходной СЕИТ-сети на частичные графы

Предложен метод синхронизации каналов на основе данного разложения путь с максимальным средним временем прохождения принимается за опорный В остальные пути вводятся задержки для выравнивания средних значений распределений Каждая из ветвей (3,4), (3,6), (1,5) входит только в один

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

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

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

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

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

Предложен метод оценки пригодности некоторой точки протокола в качестве контрольной на основе СЕЯТ-сетей

• частичные графы, порожденные простыми ^-/-путями, отражают траектории движения пакетов от начала к концу программы

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

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

• возврат осуществляется к предыдущей контрольной точке Предлагается решение задачи расстановки контрольных точек на основе

построения модели программы из типовых подфрагментов или частей фрагментов В главе представлено множество типовых подфрагментов, модели-

рующих наиболее распространенные в протоколах ЦПС операции При необходимости библиотека подфрагментов может быть дополнена

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

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

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

1 На основе статистических данных (например, анализа log файлов) выполняется моделирование всей системы для первоначальной оценки ее вероятностно-временных характеристик

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

3 Вырабатываются рекомендации по совершенствованию некоторого процесса, например, изменение параметров отдельных операций, замена их на другие операции или (и) изменение последовательности и вероятности их выполнения

4 Выполняется моделирование вероятностно-временных характеристик выбранного процесса после изменения его параметров или структуры Вычисляются математическое ожидание, дисперсия выходной величины GERT-сети и дается оценка полученных результатов Если они все еще не являются удовлетворительными применительно к данному процессу, то выполняется переход на п 3 В противном случае - переход на п 5

5 Выполняется моделирование GERT-сети целиком Если нужные характеристики еще не достигнуты, то выполняется переход на п 2 Иначе -конец оптимизации сети

Введено понятие GERT-сети с непрерывным временем, имеющей группы ветвей Gj,. ,G?,... составляющих вместе с соединяющими их

узлами частичные графы Каждая группа G; = -- содержит ветви,

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

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

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

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

Рассмотрены два варианта постановки задачи оптимизации компонент сети

1 СЕЛТ-сеть строится из частичных графов, каждый из которых содержит ветви групп й или С Должно соблюдаться соотношение t(~. = г ~ + ?—-, где / ~, ^ - времена выполнения соответствующих час-

^ с о с? С/

тичных графов При нахождении распределения величины Г ~ производящие

и

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

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

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

2 СЕИТ-сеть содержит в себе группы ветвей С^,. , О^ Выполнение условия аддитивности выходных величин частичных графов, составленных из ветвей групп б и в , не требуется Итерационный процесс варьирования

значений параметров частичного графа, порожденного ветвями группы в ,

будем проводить, оперируя не с распределениями выходных случайных величин частичных графов 01 и О , а с первыми моментами этих распределений Никаких ограничений на структуру СЕЯТ-сети не накладывается

В первом варианте постановки задачи вЕКТ-сеть строится из типовых фрагментов Для выходных величин частичных графов, состоящих из ветвей групп О и О , выполняются условия аддитивности Известно, что произвольная СЕЯТ-сеть может быть построена из типовых фрагментов последо-

вательных ветвей, параллельных ветвей и элементарного частичного графа "ветвь и петля"

Показано, что для фрагмента, состоящего из двух последовательных ветвей, и фрагмента "ветвь и петля" условие аддитивности величин / ~ и

С О

выполняется Для фрагмента, состоящего из параллельных ветвей, условие аддитивности не выполняются

Использование для моделирования и оптимизации структур и режимов СЕЯТ-сетей, составленных из простейших фрагментов, таких как '"последовательная ветвь" и "ветвь с петлей", позволяет проводить многократное изменение проектных параметров одной части моделируемой системы при условии, что время задержки передачи пакета в остальных ее частях характеризуется известным распределением вероятностей На основе фрагмента типа "ветвь с петлей" можно строить более сложные модели и оптимизировать системы с вложенными циклами

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

t— не требуется Рассматривается СЕЯТ-сегь, представляющая собой час-

О

тичный граф О ^ ', порожденный /-м простым „•¡•-¿-путем Предваритель-

("«-/]

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

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

частичного графа, состоящего из ветвей множества О

В рамках решения поставленной задачи сформулирована и доказана

(«-Л

Теорема. Среднее время прохождения частичного графа О' 1 СЕ11Т-

сети можно представить в виде суммы средних времен прохождения каждой ветви, взятых с некоторъши постоянными коэффициентами

где ц - среднее время прохождения порождающего «-/-пути,

, 72> • • >' дг - средние времена прохождения всех ветвей «-/-пути,

а ^ а - постоянные коэффициенты

Показана справедливость данной теоремы и для ОЕ11Т-сетей, в которых имеются ветви, характеризующиеся сложными распределениями

Пятая глава посвящена экспериментальной проверке предложенных в предыдущих главах методов Для проведения эксперимента использовалась система сбора измерительной информации Алгоритм ее работы моделировался СЕЯТ-сетью На основе анализа статистических данных о времени выполнения соответствующих участков программы были определены распределения времени прохождения ветвей СЕЯТ-модели

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

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

• уменьшение на 18 % интервала срабатывания сторожевого таймера, что повышает эффективность его использования,

• полное восстановление данных после сбоя в режиме контроля по сторожевому таймеру при увеличении времени работы алгоритма на 20,6 %

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

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

ОСНОВНЫЕ РЕЗУЛЬТАТЫ И ВЫВОДЫ

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

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

2 Доказана теорема о возможности эквивалентного преобразования вЕКТ-сети в множество параллельных частичных графов, каждый из которых имеет только один простой путь из источника в сток Использование данного результата позволяет существенно упростить анализ параллельных процессов передачи информации в режиме реального времени

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

14

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

4 Предложен метод построения структурированной вЕЛТ-сети из частичных графов, для времени прохождения которых выполняется свойство аддитивности Метод позволяет повысить эффективность процесса оптимизации отдельных подсистем, описываемых вЕЛТ-сетями, а в конечном итоге и всей системы в целом, при итерационном характере процесса параметрической оптимизации цифровой промышленной сети

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

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

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

Применение на практике новых научных результатов, полученных при проведении исследований, позволяет улучшить показатели качества ЦПС, сократить сроки проектирования протоколов, алгоритмов и программ ЦПС, а также уменьшить затрату материальных и человеческих ресурсов Полученные новые научные результаты могут быть использованы и при создании высокоскоростных участков глобальных сетей общего пользования, например сети образования и науки Л1ЖКе1

ПУБЛИКАЦИИ ПО ТЕМЕ ДИССЕРТАЦИИ

1 Автоматизированный комплекс обработки телеметрической информации / Кузин В А , Кравчук Н В , Шибанов А П и др // Вестник Самарского аэрокосмического университета № 1 2003 С 146-153

2 Шибанов А П, Кравчук Н В Использование моделей GERT при оптимизации компьютерных сетей//Вестник Рязан гос радиотехн ун-т Вып 20 2007

3 Кравчук Н В Использование прокси-сервера для увеличения числа клиентов автоматизированного комплекса обработки телеметрической информации // Межвуз сб науч трудов "Новые информационные технологии". 2003 С 50 - 54

4 Кравчук Н В Комплекс обработки телеметрической информации // Новые информационные технологии в научных исследованиях и в образовании Тез докл. восьмой всеросс конф Рязань РГРТА, 2003

5 Кравчук Н В Метод нахождения контрольных точек программ протоколов// Межвуз сб науч трудов "Информационные технологии в образовании" Рязань, 2006 С 81-85

6 Кравчук Н В Метод обеспечения показателей качества передачи агрегированного канала // Межвуз сб науч. трудов "Информационные технологии в образовании и науке" Рязань, 2006 С 49-51

7 Кравчук Н В Метод обеспечения показателей качества работы агрегированного канала на основе математического моделирования // Новые информационные технологии в научных исследованиях и в образовании Тезисы докладов XI всероссийской научно-технической конференции студентов, молодых ученых и специалистов Рязань РГРТУ, 2006

8 Кравчук Н В Модель агрегированного канала связи между коммутаторами промышленной сети // Научная сессия МИФИ-2006 Сб науч трудов Т 15 Конференция "Молодежь и наука" М МИФИ, 2006

9 Кравчук Н В Проектирование программного обеспечения автоматизированного комплекса обработки телеметрической информации // Материалы 31-й Межвузовской научно-практической конференции "Хранить традиции Готовить профессионалов Растить патриотов" Рязань РВВКУС, 2006

10 Кравчук Н В Способ эквивалентного представления GERT-сети через параллельно соединяемые сети // Межвуз сб науч. трудов "Информационные технологии в образовании и науке" Рязань, 2006 С 44-49

11 Кравчук Н В , Марков Д А Web-технологии как средство реализации процессов управления в системах сбора и обработки телеметрической информации // Межвуз сб науч трудов "Новые информационные технологии", 2004 С 25 - 28

12 Шибанов А П, Шибанов В А , Шибанова О А, Кравчук, Н В Использование системы GERT для моделирования информационных процессов в образовательных телекоммуникациях // Телекоммуникации и информатизация образования 2006 № 3

КРАВЧУК Николай Владимирович

МЕТОДЫ ОПТИМИЗАЦИИ ПОКАЗАТЕЛЕЙ КАЧЕСТВА ЦИФРОВЫХ ПРОМЫШЛЕННЫХ СЕТЕЙ НА ОСНОВЕ МОДЕЛЕЙ GERT

АВТОРЕФЕРАТ

диссертации на соискание ученой степени кандидата технических наук

Подписано в печать 15 05 2007 г Формат 60x84 1/16 Бумага для множительных аппаратов Печать офсетная Гарнитура Times Уел печ л 1,0 Уч-изд л 1,0 Тираж 100 экз

Рязанский государственный радиотехнический университет 390005, Рязань, ул. Гагарина, д 59/1

Редакционно-издательский центр РГРТУ

Отпечатано в ООО «Полиграфия» г Рязань, ул Почтовая, 61

ВВЕДЕНИЕ.

ГЛАВА 1. АНАЛИЗ ПРОБЛЕМ ПОВЫШЕНИЯ ПОКАЗАТЕЛЕЙ КАЧЕСТВА ЦИФРОВЫХ ПРОМЫШЛЕННЫХ СЕТЕЙ.

1.1. ОСНОВНЫЕ ФАКТОРЫ, ОПРЕДЕЛЯЮЩИЕ ПРОФИЛИ НАГРУЗКИ ЦИФРОВЫХ ПРОМЫШЛЕННЫХ СЕТЕЙ.

1.2. ОБРАБОТКА ИНФОРМАЦИИ ОБ ИСПЫТАНИЯХ СЛОЖНЫХ ТЕХНИЧЕСКИХ ОБЪЕКТОВ.

1.3. МЕТОДЫ ОПТИМИЗАЦИИ ЦИФРОВЫХ ПРОМЫШЛЕННЫХ СЕТЕЙ.

1.4. МЕТОДЫ МОДЕЛИРОВАНИЯ ЦИФРОВЫХ.ПРОМЫШЛЕННЫХ СЕТЕЙ.

1.5. ВЫВОДЫ И ОСНОВНЫЕ ЗАДАЧИ ИССЛЕДОВАНИЙ.

ГЛАВА 2. МЕТОДЫ СИНХРОНИЗАЦИИ КАНАЛОВ ЦИФРОВОЙ ПРОМЫШЛЕННОЙ СЕТИ.

2.1. ВВЕДЕНИЕ.

2.2. ПОСТАНОВКА ЗАДАЧИ.

2.3. ОЕИТ-МОДЕЛИ КАНАЛА ЦИФРОВОЙ ПРОМЫШЛЕННОЙ СЕТИ

2.4. СИНХРОНИЗАЦИЯ РАБОТЫ ПРОТОКОЛА ОТДЕЛЬНОГО КАНАЛА.

2.5. МОДЕЛИ СИНХРОНИЗАЦИИ РАБОТЫ КАНАЛА, СОСТОЯЩЕГО ИЗ ЧАСТИЧНОЫХ СЕТЕЙ Я,. И ЧАСТИЧНОЙ СЕТИ Е{.

2.6. МОДЕЛИ СИНХРОНИЗАЦИИ КАНАЛА, СОСТОЯЩЕГО ИЗ.

ЧАСТИЧНЫХ СЕТЕЙ Я,7 И ЧАСТИЧНЫХ СЕТЕЙ Е1 И ^.

2.7. МОДЕЛИ СИНХРОНИЗАЦИИ РАБОТЫ ОТДЕЛЬНЫХ БЛОКОВ (УСТРОЙСТВ) КАНАЛА.

2.8. ОСНОВНЫЕ РЕЗУЛЬТАТЫ.

ГЛАВА 3. МЕТОД ПОВЫШЕНИЯ НАДЕЖНОСТИ ПРОТОКОЛОВ И ПРОГРАММ ЦПС НА ОСНОВЕ ОРГАНИЗАЦИИ КОНТРОЛЬНЫХ ТОЧЕК.

3.1. ВВЕДЕНИЕ.

3.2. ПОСТАНОВКА ЗАДАЧИ.

3.3. ОРГАНИЗАЦИЯ КОНТРОЛЬНЫХ ТОЧЕК ПРОГРАММЫ С

ИСПОЛЬЗОВАНИЕМ ОБОБЩЕННЫХ СТОХАСТИЧЕСКИХ

ГРАФОВЫХ МОДЕЛЕЙ.

3.4. ПРИМЕР ОРГАНИЗАЦИИ КОНТРОЛЬНЫХ ТОЧЕК.

3.5. ОСНОВНЫЕ РЕЗУЛЬТАТЫ.

ГЛАВА 4. МЕТОДЫ НАСТРОЙКИ ЦИФРОВЫХ ПРОМЫШЛЕННЫХ СЕТЕЙ НА ОСНОВЕ МОДЕЛЕЙ вЕШ1.

4.1. МОДЕЛИРОВАНИЕ ЦИФРОВЫХ ПРОМЫШЛЕННЫХ СЕТЕЙ НА

ОСНОВЕ МОДЕЛЕЙ вЕЯТ.

4.2. вЕЯТ-СЕТИ С РАЗНЫМИ ГРУППАМИ ВЕТВЕЙ.

4.3. ПОСТАНОВКА И РЕШЕНИЕ ЗАДАЧИ.

4.4. ОСНОВНЫЕ РЕЗУЛЬТАТЫ.

5. ЭКСПЕРИМЕНТАЛЬНАЯ ПРОВЕРКА МЕТОДА ПОВЫШЕНИЯ НАДЕЖНОСТИ ФУНКЦИОНИРОВАНИЯ ПРОТОКОЛОВ И ПРОГРАММ ЦПС.

5.1. ПОСТАНОВКА ЗАДАЧИ.

5.2. ОПИСАНИЕ ЭКСПЕРИМЕНТА.

5.3. АНАЛИЗ ПОЛУЧЕННЫХ РЕЗУЛЬТАТОВ.

5.4. ВЫВОДЫ.

Актуальность работы. В настоящее время известно большое число теоретических исследований, рассматривающих различные вопросы проектирования систем управления АСУТП и сложными техническими системами. Можно выделить, например, работы Баканова A.C., Вишневского В.М., Ляхова А.И., Богуславского Л.Б., Шевчика К.С. по проектированию беспроводных сетей с централизованным и децентрализованным управлением, при высокой нагрузке и в условиях помех, локальных сетей с многопроцессорными серверами и т.д.; Брехова О.М., Максимова А.П., Корнеенковой A.B., Крапивного A.B., Николаева Н.С. и др. - по вопросам аналитической оценки производительности и надежности управляющих вычислительных комплексов реального времени; Корячко В.П. по проблемам автоматизированного проектирования специализированных структур для испытаний сложных объектов и многих других авторов. По проблемам построения эффективных систем передачи и обработки телеметрической информации при летных испытаниях ракетно-космической техники следует отметить работы Воронцова В.Л. Практическими вопросами построения образцов нового поколения АСУТП и АСУП на базе ЦПС занимались Затуливер Ю.С., Топорищев A.B., Михале-вич И.Ф., Сычев К.И., Лузин В.Ю., Низамутдинов О.Б., Белковский C.B., Топорков В.В., Blake S, Black D., Etschberger К., Floyd S., Jacobson V. и многие другие авторы.

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

В последние несколько лет в развитии промышленных сетей отчетливо выявились следующие тенденции: произошел отказ от традиционных схем построения с выраженным ядром, в котором сосредоточены основные вычислительные мощности, а к исполнительному оборудованию тянется множество кабельных соединений. Такие решения не удовлетворяют современным требованиям по масштабируемости сети, надежности и отказоустойчивости, обеспечению безопасности, а самое главное - не гарантируют выполнение требований по быстродействию для трафика реального времени - передачи голоса, видео- и команд управления, объем которого постоянно возрастает; произошел переход к распределенной обработке информации с активным использованием промышленных локальных сетей, перепрограммируемых в процессе работы микроконтроллеров, микропроцессоров и интеллектуальных датчиков; для управления производственными и технологическими процессами активно используется сеть Internet, в том числе и в режиме реального времени; для построения центральной части ЦПС крупных предприятий и сложных технических комплексов используются самые современные высокоскоростные канальные технологии, такие как технология синхронной цифровой иерархии SDH/SONET, технология уплотненного волнового мультиплексирования DWDM, технологии 10 Gigabit Ethernet и Metro Ethernet. Для повышения скорости передачи маршрутизаторы сети Internet работают по новой высокоскоростной технологии MPLS; на среднем и низшем уровнях ЦПС стали активно использоваться беспроводные технологии, такие как WiFi, WiMAX, GSM, 3G и т.п.; внедрение в ЦПС вышеуказанных новых сетевых технологий обусловило появление в сети новых видов информационных потоков: информации от видеокамер, предназначенных для наблюдения за ходом испытаний сложных изделий, за ходом технологического процесса, перемещением роботов и т.п.; передачи экстренных голосовых сообщений; передачи в реальном времени шифрованной речи и видео; видеоклипов, файлов большой длины от цифровых фотоаппаратов, программ оперативной перезагрузки флэш-памяти управляющего оборудования и т.д.; дополнительную нагрузку на сеть создают распределенные по сети компоненты информационной защиты, некоторые из которых также генерируют потоки реального времени, например при передаче экстренных сообщений о признаках обнаружения атаках злоумышленников; все большие масштабы принимает внедрение комплексных решений крупных фирм - системных интеграторов, например проект SCADA TRACE MODE 6. Системы такого рода характеризуются очень большой функциональностью, интегрируют работу всех служб крупного предприятия, а в методологическом плане вписываются в концепцию CALS-технологии.

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

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

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

Для достижения нужных показателей качества производится оптимизация структуры компьютерной сети. Данная задача является чрезвычайно сложной, поскольку на показатели качества сети влияют такие основные параметры протоколов передачи, как время доступа к общей среде передачи (для неперегруженной сети), величина тайм-аута неподтвержденных пакетов, установленное значение максимальной длины кадра в промежуточной сети MTU, доля служебной информации в пакете, время жизни пакета TTL и т.д. Если эти величины брать как варьируемые переменные, то задача оптимизации сети становится чисто комбинаторной с экспоненциальным временем решения [58]. Попытка решить ее путем натурного моделирования, обречена на неудачу, так как изменение только одного из параметров требует перезагрузки компьютера. Параметрами целевой функции являются основные показатели качества для наиболее важных приложений, например, среднее время задержки при передаче пакетов и ее вариация, среднее значение и вариация интервалов между пакетами и т.д.

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

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

В последнее время решение проблем обеспечения показателей качества в сетях реального времени наметилось в рамках высокоскоростной технологии коммутации меток MPLS. Эта технология должна совместить достоинства сети Internet с развитыми возможностями ее приложений, таких, как Web-, электронная почта и широкими возможностями масштабирования, и достоинства сетей с виртуальными каналами, таких как frame relay и ATM с их высокой скоростью передачи и защищенностью. Сети такого рода должны обеспечивать резервирование полосы пропускания, инжиниринг трафика, обеспечивающий параллельную и сбалансированную передачу трафика через маршрутизаторы MPLS по многим путям, и, в конечном итоге - решение задачи оптимизации сети, так, как это формулируется в работе [58] с учетом варьирования параметров протоколов в отдельных звеньях сети. Решения этой проблемы возлагается на расположенные вне сети автоматизированные комплексы, включающие в свой состав средства имитационного моделирования.

Даже краткий анализ особенностей предаваемого в ЦПС трафика и предварительного рассмотрения показателей качества говорит о том, что в этих сетях возникают такие же проблемы оптимизации, что и в сетях MPLS и Metro Ethernet. Более того, отдельные сегменты, как MPLS, так и Metro Ethernet могут использоваться в центральной части ЦПС.

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

Работа выполнена при финансовой поддержке Российского фонда фундаментальных исследований в форме гранта, шифр 07-07-0146а.

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

Задачи исследований. Для достижения целей диссертационной работы необходимо решение следующих задач:

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

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

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

4. Разработки методов повышения эффективности оптимизации отдельных подсистем ЦПС, описываемых ориентированными графами, при итерационном характере процесса оптимизации.

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

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

Публикации. По итогам исследований опубликовано 12 работ, в том числе в ведущих научных журналах и изданиях, выпускаемых в Российской Федерации и утвержденных ВАК РФ для изложения основных научных результатов диссертаций: на соискание ученой степени доктора наук - 1 статья, кандидата наук - 1 статья. Опубликованы материалы 4 докладов всероссийских и межвузовских конференций; издано 6 статей в межвузовских сборниках научных трудов.

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

Разработка численных методов нахождения распределений выходных величин GERT-сетей принадлежат Шибанову А.П., программ моделирования GERT-сетей и системы имитационного моделирования - Шибанову В.А.

Апробация работы. Результаты настоящей работы докладывались и обсуждались на 4 всероссийских и межвузовских конференциях: "Научная сессия МИФИ" 2006; на VIII всероссийской конференции "Новые информационные технологии в научных исследованиях и в образовании". Рязань: РГРТА, 2003; на XI Всероссийской научно-технической конференции студентов, молодых ученых и специалистов; Рязань: РГРТУ; на 31-й Межвузовской научно-практической конференции "Хранить традиции. Готовить профессионалов. Растить патриотов". Рязань: РВВКУС. 2006.

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

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

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

2. Найдено разложение GERT-сети на совокупность параллельно соединенных частичных графов GERT-сети, порожденных простыми s-t-путями, что позволяет выявлять неявный параллелизм протоколов и алгоритмов и упростить дальнейший анализ цифровой промышленной сети.

3. На основе применения моделей GERT предложен метод синхронизации процесса передачи пакетов в цифровой промышленной сети, а, соответственно, и показателей качества сети, за счет использования запасов времени передачи по разным параллельным путям.

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

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

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

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

• при разработке протоколов, алгоритмов и программ телекоммуникаций высокоскоростных сетей с коммутацией меток MPLS;

• при создании систем передачи и обработки телеметрической и траекторией информации;

• при создании промышленных сетей на основе стандартов сотовых сетей GSM, беспроводных сетей WiFi, WiNAX, G3 и т.п.;

• при разработке комплексных систем управления производством и технологическими процессами на основе ЦПС Interbus, Profibus, Foundation Fieldbus, промышленного Ethernet и т.д.

Реализация и внедрение результатов работы. Результаты исследований внедрены в ОАО НИИ ГРП «Плазма», г. Рязань, при проектировании программ микроконтроллеров для управления промышленным оборудованием, а также в ОАО завод «Красное знамя» (г.Рязань) при проектировании сети инженерных служб предприятия.

Результаты, полученные в диссертационной работе, внедрены в учебный процесс студентов специальности 220300 в ГОУВПО Рязанском государственном радиотехническом университете.

Копии актов о внедрении результатов диссертационной работы приведены в Приложении 2.

Структура работы. Диссертация содержит 145 страниц основного текста и состоит из введения, пяти глав, заключения, библиографического списка из 120 наименований и 2 приложений на 16 страницах. В диссертацию включено 73 рисунка и 10 таблиц.

Основные результаты диссертации опубликованы в следующих работах: [1,45, 46,47, 48, 49, 50, 51, 52, 91].

ЗАКЛЮЧЕНИЕ

В результате выполнения исследований по теме диссертации разработаны теоретические положения и алгоритмы, позволяющие повысить показатели качества цифровых промышленных сетей нового поколения при передаче информации, чувствительной к задержкам. Разработаны новые научные подходы и рекомендации по проведения параметрической и структурной оптимизации протоколов, алгоритмов и программ функционирования цифровых промышленных сетей: предложена методика изменения параметров протоколов, алгоритмов и программ цифровых промышленных сетей на основе анализа распределений времени прохождения пакетов по различным параллельным путям. Методика обеспечивает проведение итерационного процесса улучшения формы распределения - уменьшение "хвостов распределения", сведение многомодального распределения к одномодальному, изменение коэффициентов ассиметрии и эксцесса до желательных значений, точную оценку вероятностных нормативных времен процесса передачи информационных пакетов; доказана теорема о возможности эквивалентного преобразования СЕЯТ-сети на множество параллельных частичных графов, каждый из которых имеет только один простой путь из источника я в сток Использование данного результата позволяет существенно упростить анализ параллельных процессов передачи информации в режиме реального времени; предложен метод синхронизации процесса передачи информационных пакетов, критичных к задержкам, по множеству параллельных путей. Метод основан на расчете имеющихся запасов времени передачи и состоит в ведении задержек на некоторых путях для выравнивания средних времен передачи и их дисперсий по разным параллельным путям. Предварительно может быть выполнено сведение многомодальных распределений к одномодальным, уменьшение "хвостов" распределений и внесены другие необходимые изменения в форму распределения. Метод основан только на введении задержек (если не считать факультативные функции, связанные с изменением формы кривой распределения) и не требует дополнительных затрат на приобретение оборудования с большим быстродействием; предложен метод построения структурированной ОЕЯТ-сети из частичных графов, для времен прохождения которых выполняется свойство аддитивности. Метод позволяет повысить эффективность процесса оптимизации отдельных подсистем, описываемых вЕЯТ-сетями, а в конечном итоге и всей системы в целом, при итерационном характере процесса параметрической оптимизации цифровой промышленной сети. доказана теорема о возможности представления среднего времени передачи вЕЯТ-сети или любой ее частичной подсети через линейную комбинацию средних времен прохождения отдельных ветвей. Дается способ нахождения коэффициентов при переменных, в том числе и при использовании сложных распределений, характеризующих время прохождения ветви вЕЯТ-сети. На основе доказанной теоремы предложены алгоритмы оптимизации подсистем цифровой промышленной сети, описываемых вЕЯТ-сетями, без наложения ограничений на их структуру. предложен метод повышения надежности протоколов и программ ЦПС на основе организации контрольных точек в программах или микропрограммах оборудования цифровой промышленной сети. Метод позволяет существенно повысить надежность работы протоколов и управляющего оборудования цифровой промышленной сети, работающей в условиях воздействия помех при практическом сохранении ее вероятностно-временных характеристик. выполнена экспериментальная проверка разработанных теоретических положений, алгоритмов методик и рекомендаций, которая подтвердила корректность доказанных теорем, сходимость алгоритмов, оценки их характеристик по трудоемкости и расходу памяти, адекватность применения моделей.

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

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

Разработанные методы внедрены в ОАО НИИ ГРП «Плазма», г. Рязань, при проектировании программ микроконтроллеров для управления промышленным оборудованием,, в ОАО завод «Красное знамя» (г.Рязань) при проектировании сети инженерных служб предприятия, а также на кафедре САПР ВС Рязанского государственного радиотехнического университета в учебный процесс.

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

1. Автоматизированный комплекс обработки телеметрической информации / Кузин В.А., Кравчук Н.В., Шибанов А.П. и др. // Вестник Самарского аэрокосмического университета. № 1. 2003. С. 146- 153.

2. Альперович И. iFIX в XXI веке // Промышленные АСУ и контроллеры. 2002. № 1.

3. Анзимиров JI.B. ТРЕИС МОУД и технологическая революция в промышленной автоматике // Приборы и системы. Управление, контроль, диагностика, 2001. № 4.

4. Анзимиров JI.B., Айзин B.C., Фридлянд A.B. Trace Mode 5 для Windows NT: новое поколение SCADA-систем // Приборы и системы. Управление, контроль, диагностика, 1998. №11.

5. Анзимиров JI.B., Медведев O.A., Айзин B.C. Технология ТРЕИС МОУД для крупномасштабных АСУТП // Приборы и системы. Управление, контроль, диагностика, 2001. № 1.

6. Артемов Н. И., Низамутдинов О.Б., Гордеев М.В. и др. Принципы построения промышленных микроконтроллерных сетей в стандартах Profibus и P-NET. Пермь: ПГТУ, НИИУМС, 1996.

7. Балавин М.А., Кузнецов O.A., Зимин В.А. Проблемы создания интегрированной системы управления технологическими процессами и электроснабжением // Приборы и системы. Управление, контроль, диагностика, 2002. № 10. С. 4-8.

8. Балашов В.В., Капитонова А.П., Костенко В.В. и др. Метод и средства оценки времени выполнения оптимизированных программ // Программирование. 1999. № 5. С. 52 61.

9. Белковский C.B. Обзор систем автоматизации ведущих фирм, представленных на российском рынке. // Межвуз. сборн. науч. трудов. Пермь. ПТГУ. НИИУМС, 1998.

10. Белковский C.B., Файзрахманов P.A. Информационная модель синтеза структуры распределенных АСУТП на основе промышленных сетей // Пермь. ПТГУ. НИИУМС.

11. П.Березин B.B. Повышение пропускной способности реализации аппаратного стека протоколов TCP/IP // Приборы и системы. Управление, контроль, диагностика, 2004. № 7. С. 26 29.

12. Бывайлов М.Е., Жарко Е.Ф., Менгазетдинов А.Г., Полетынин И.В. Прангишвили И.В., Промыслов В.Г. Опыт проектирования и внедрения системы верхнего блочного уровня АСУ ТП АЭС // Автоматика и телемеханика. № 5. 2006.

13. Васенин В.А. Гарантированное качество обслуживания в компьютерных сетях: модели и сценарии реализации // Автоматика и телемеханика. №3.2006. С. 121-130.

14. Веселов A.A. Моделирование устройств цифровой схемотехники на основе расширения сетей Петри // Приборы и системы. Управление, контроль, диагностика, 2004. № 8. С. 29 39.

15. Вишневский В.М., Гузаков H.H., А.И. Ляхов. Оценка максимальной производительности беспроводного доступа в Интернет // Автоматика и телемеханика. № 9. 2004. С. 52 70.

16. Воеводин В.В. Воеводин Вл.В. Параллельные вычисления. СПб. БХВ.-Петербург. 2002. 608 с.

17. Воронцов B.JI. Алгоритмы получения обобщенных данных телеизмерений при летных испытаниях ракетно-космической техники // Приборы и системы. Управление, контроль, диагностика, 1998. № 6.

18. Воронцов B.JI. Анализ возможностей повышения достоверности при исключении данных некоторых каналов разнесения из процесса получения обобщенных данных // Приборы и системы. Управление, контроль, диагностика, 2002. № 9.

19. Воронцов B.JI. Анализ условий и возможностей обеспечения достоверности данных алгоритмами получения обобщенных данных // Приборы и системы. Управление, контроль, диагностика, 2002. № 6.

20. Воронцов B.JI. Анализ факторов, влияющих на достоверность, обеспечиваемую алгоритмами получения обобщенных данных // Приборы и системы. Управление, контроль, диагностика, 2000. № 12.

21. Воронцов B.JI. Об оценке эффективности разнесенного приема телеметрической информации при летных испытаниях ракетно-космической техники // Приборы и системы. Управление, контроль, диагностика, 2003. № 7.

22. Воропаев В.И., Любкин С.М., Голенко-Гинзбург Д.И. Модели принятия решений для обобщенных альтернативных стохастических сетей // Автоматика и телемеханика, № 10. 1999. С. 144 152.

23. Воропаев В.И., Любкин С.М., Резер B.C., Голенко-Гинзбург Д.И. Построение оптимальной организационной структуры проекта // Автоматика и телемеханика, № 6. 2000. С. 133 142.

24. Голенко-Гинзбург Д.И., Любкин С.М., Резер B.C. Анализ устойчивых законов распределения продолжительности операций в стохастических сетевых проектах // Автоматика и телемеханика, № 12. 2000. С. 147 161.

25. Головкин Б.А. Расчет характеристик и планирование параллельных вычислительных процессов. М.: Радио и связь, 1983. 272 с.

26. Дитрих Д., Артемов Н.И., Низамутдинов О.Б., Белковский C.B. Fieldbus-концепция построения систем промышленной автоматизации // Приборы и системы. Управление, Контроль, Диагностика. 2000. №11.

27. Дрейзин В.Э., Ишков П.Н. Проблемы создания АСУТП на базе современных программно-технических комплексов // Приборы и системы. Управление, контроль, диагностика, 2002. № 12. С. 1-5.

28. Еналиев A.M., Игнатущенко В.В. Помазов Е.В. и др. Методы математического прогнозирования времени выполнения сложных наборов задач в параллельных вычислительных системах с распределенной архитектурой // Автоматика и телемеханика. 2002. № 10. С. 154 176.

29. Затуливер Ю.С. К единому полю компьютерной информации в концепции исчисления древовидных структур // Труды ин-та пробл. управл. РАН. 2002. T. XVIII.

30. Затуливер Ю.С. Компьютерная информация в модели исчисления древовидных структур // Труды II междун. конф. "Идентификация систем изадачи управления" SICPRO'2003. M.: ин-т пробл. управл. Им В.А. Трапезникова РАН, 2003.

31. Затуливер Ю.С., Хлатян Т.Г. ПАРСЕК язык конвейерного исчисления древовидных структур с открытой интерпретацией. Стендовый вариант системы программирования. М.: Ин-тут пробл. управл. РАН. 1997.

32. Зюбин В.Е. Гипер-автомат математическая модель сложных алгоритмов управления. Институт автоматики и электрометрии СО РАН. E-mail: zyubin@iae.nsk.su.

33. Зюбин В.Е. Программирование ПЖ: стандарт МЭК 61131-3 и возможные альтернативы // Промышленные АСУ и контроллеры, 2005. № 11. С. 31-35.

34. Ибрагимов Б.Г. Многофункциональные абонентские терминалы в системе управления передачей информации // Приборы и системы. Управление, контроль, диагностика, 2002. № 6. С. 24 26.

35. Иванов А.Н., Золотарев C.B. Построение АСУ ТП на базе концепции открытых систем // www.interface.ru/mrp3/st013.htm, 2000.

36. Информационно-управляющие системы для подвижных объектов. Семинары ASK Lab 2001 / Под. общ. Ред. М.Б. Сергеева. СПб.: Политехника, 2002.

37. Карелин А.Н., Карелин E.H. Методы повышения надежности информационных систем // Приборы и системы. Управление, контроль, диагностика, 2003. №10. С. 1-14.

38. Князев Е.Г., Тарасюк М.В. Повышение эффективности маскировки трафика в сетях пакетной коммутации с многоуровневым доступом // Информационные технологии. 2004. № 1. С. 43 45.

39. Коваль Д.И. Опыт использования спутниковых каналов связи автоматизированной системы коммерческого учета электроэнергии // Приборы и системы. Управление, контроль, диагностика, 2005. № 3. С. 15-16.

40. Кольдичева Ю. Маршрутизация с российским шифрованием // www.osp.ru/issues/rub/1156032/1072627.html.

41. Корячко В.П., Шибанов А.П., Шибанов В.А. Численный метод нахождения закона распределения выходных величин ОЕЯТ-сети // Информационные технологии, № 7. 2001. С. 16-21.

42. Костюченко В.А. Задача построения расписания при совместном проектировании аппаратных и программных средств // Программирование. № 3.2002. С. 64-80.

43. Кравчук Н.В. Использование прокси-сервера для увеличения числа клиентов автоматизированного комплекса обработки телеметрической информации // Межвуз. сб. науч. трудов "Новые информационные технологии". 2003. С. 50-54.

44. Кравчук Н.В. Комплекс обработки телеметрической информации // Новые информационные технологии в научных исследованиях и в образовании: Тез. докл. восьмой всеросс. конф. Рязань: РГРТА, 2003.

45. Кравчук Н.В. Метод нахождения контрольных точек программ протоколов// Межвуз. сб. науч. трудов "Информационные технологии в образовании", Рязань. 2006. С. 81 85.

46. Кравчук Н.В. Метод обеспечения показателей качества передачи агрегированного канала // Межвуз. сб. науч. трудов "Информационные технологии в образовании и науке", Рязань. 2006. С. 49 51.

47. Кравчук Н.В. Модель агрегированного канала связи между коммутаторами промышленной сети // Научная сессия МИФИ-2006. Сб. науч. трудов. Т.15. Конференция "Молодежь и наука". М.:МИФИ, 2006.

48. Кравчук Н.В. Способ эквивалентного представления ОЕЯТ-сети через параллельно соединяемые сети // Межвуз. сб. науч. трудов "Информационные технологии в образовании и науке", Рязань. 2006. С. 44 49.

49. Кравчук Н.В., Марков Д.А. Web-технологии как средство реализации процессов управления в системах сбора и обработки телеметрической информации // Межвуз. сб. науч. трудов "Новые информационные технологии", 2004. С. 25 28.

50. Кунцевич H.A. Factory Suite 2000 в автоматизации промышленного производства // Приборы и системы. Управление, контроль, диагностика, 1999. №5.

51. Митин Г.П. Как выбрать программируемый логический контроллер // Мир компьютерной автоматизации, 2000. № 1.

52. Михалевич И.Ф., Сычев К.И., Лузин В.Ю. Оптимизация пропускной способности корпоративных сетей связи. //www.elsv.ru/files/archive/arch03-10.htm

53. Низамутдинов О.Б., Белковский C.B., Постановка задачи синтеза оптимальной структуры распределенных АСУТП. // Сборник научных трудов. Пермь. НИИУМС, 2002.

54. О контроле верности телеизмерений быстроменяющихся параметров при летных испытаниях ракетно-космической техники // Приборы и системы. Управление, контроль, диагностика, 2004. № 3. С. 49 55.

55. Олифер В.Г., Олифер H.A. Средства анализа и оптимизации локальных сетей, http://www.d-link.ru/technology/olifer.php.

56. Онищенко А.П. Программные средства повышения эффективности работы производства // Приборы и системы. Управление, контроль, диагностика, 2002. № 4.

57. Остроух A.B. Автоматизация управления строительного предприятия // Приборы и системы. Управление, контроль, диагностика, 2004. № 7. С. 16-18.

58. Разработка и испытание системы распределенных вычислений для сжатия цифрового видео в реальном времени / Затуливер Ю.С., Фищенко Е.А., Артамонов С.Е. и др. // Приборы и системы. Управление, контроль, диагностика, 2006. № 1. С. 27 32.

59. Самсонов A.B. Интеграция лабораторных и технологических данных новый уровень в понимании производственных процессов // Промышленные АСУ и Контроллеры. № 10.2004.

60. Сахнюк A.A. Информационная система производства для промышленности // Корпоративные системы. № 6. 2006.

61. Серебряный К.С. Методы высокоуровневой оптимизации циклов. Канд. диссертация. Москва: ЗАО "МЦСТ", 2004.

62. Серебряный К.С. Способ оптимизации программ с использованием раскрутки циклов // Информационные технологии, 2003. № 1. С. 12 15.

63. Серебряный К.С. Трансформация циклов, содержащих индуктивные переменные // Информационные технологии, 2003. № 9. С. 22 29.

64. Сюч Э.О. Выполнение инженерных расчетов в Plant Information System // Автоматизация в промышленности. № 6. 2004.

65. Тарасюк М.В., Тарасов И.В. Выбор норм эффективности защиты от утечки информации по скрытым каналам модуляции трафика в средствах сетевого шифрования // Информационные технологии. 2006. № 8. С. 16-19.

66. Терлецкий М.Ю. ¡FIX для Windows или SCADA для QNX? // Приборы и системы. Управление, контроль, диагностика, 2003. № 4. С. 16-19.

67. Терлецкий М.Ю. Ваш персональный Инфо-агент // Промышленные АСУ и контроллеры. 2003. № 3.

68. Терлецкий М.Ю. Универсальное средство построения производственного архива iHistorian // Промышленные АСУ и контроллеры. 2001. № 11.

69. Топорков В.В. Выбор состава и распределение ресурсов вычислительных систем реального времени // Автоматика и телемеханика. № 1. 2005. С. 171-187.

70. Топорков В.В. Оптимизация распределения ресурсов в системах жесткого реального времени // Известия РАН. Теория и системы управления. 2004. №3. С. 57-67.

71. Топорков В.В. Разрешение коллизий процессов в масштабируемых вычислительных системах // Автоматика и телемеханика. № 5. 2003. С. 180 — 189.

72. Топорков В.В. Реализуемость потоковых моделей распределенных программ // Программирование. № 5. 2001. С. 18-25.

73. Топорков B.B. Рекуррентные схемы синтеза проектных решений // Изв. РАН. ТиСУ. № 2. 2003. С. 134 140.

74. Топорков В.В., Топоркова A.C. Измерение времени выполнения фрагментированных программ // Программирование. 2006. № 3. С 19 32.

75. Топорков В.В., Топоркова A.C. Оптимизация характеристик вычислительных процессов в масштабируемых ресурсах // Автоматика и телемеханика. 2002. №7. С. 149- 157.

76. Феллер В. Введение в теорию вероятностей и ее приложения. Т.1 -М.: Мир, 1984. 528 с.

77. Филлипс Д., Гарсиа-Диас А. Методы анализа сетей. М.: Мир, 1984.496с.

78. Хребтов П., Кривченко И., i2Chip новая технология для приложений Embedded Internet // Компоненты и технологии, 2002. № 4.

79. Царегородцев A.B. Автоматизированная разработка платформ безопасности распределенных информационно-управляющих систем. М.: Из-во РУДН. 2002.

80. Царегородцев A.B. Информационная безопасность в распределенных управляющих системах. М.: Из-во РУДН. 2002.

81. Царегородцев A.B. Принципы построения защищенных распределенных информационно-управляющих систем // Приборы и системы. Управление, контроль, диагностика, 2004. № 3. С. 1-6.

82. Царегородцев A.B. Разработка концептуальной модели метасистемы автоматизированного проектирования платформ безопасности информационно-управляющих систем // Приборы и системы. Управление, контроль, диагностика, 2003. № 5. С. 1 6.

83. Царегородцев A.B. Разработка процедуры синтеза платформ безопасности информационно-управляющих систем // Приборы и системы. Управление, контроль, диагностика, 2003. № 4. С. 1 6.

84. Черкасский С.Е. Применение имитационного моделирования к решению проблем качества на предприятии, //www.quality21.ru.

85. Шибанов А.П. Нахождение плотности распределения времени исполнения GERT-сети на основе эквивалентных упрощающих преобразований // Автоматика и телемеханика, № 2. 2003. С. 117 126.

86. Шибанов А.П. Обобщенные GERT-сети для моделирования протоколов, алгоритмов и программ телекоммуникационных систем: Докт. диссертация. Рязань: РРТА, 2004.

87. Шибанов А.П. Разработка программного обеспечения для моделирования локальных сетей Ethernet // Программирование, № 6. 2002. С. 62 -71.

88. Шибанов А.П., Кравчук Н.В. Использование моделей GERT при оптимизации компьютерных сетей // Вестник Ряз. госуд. радиотехн. унив., вып. 20. 2007.

89. Шибанов В.А. Модели каналов связи со старением информации // Межвуз. сб. науч. трудов "Информационные технологии в проектировании", Рязань: Рязанская государственная радиотехническая академия, 2004. С. 91 -96.

90. Шибанов В.А., Шибанов А.П. Модель телекоммуникационного канала со старением кадров // Новые информационные технологии: Сборник трудов VI Всероссийской научно-технической конференции. Москва. 2003, Т.1.С. 181 185.

91. Blake S, Black D. An Architecture for Differentiated Services. RFC. 2475.1998.

92. Bowling Pin Strategy to lead Mainstream of Multimedia //WWW.iinchip.com.

93. Etschberger K., CAN-based Higher Layer Protocols and Profiles, Proc. of the 4. International CAN Conference, Berlin. 1997.

94. Floyd S., Jacobson V. Link-sharing and Resource Management Models for Dacket Networks // IEEE/ACM Tras. Networking. 1995. V.3. № 4 P. 365 -386.

95. Neumann K. Stochastic Project Networks: Temporal Analysis, Scheduling, and Cost Optimization I, WIOR-Report 280, Universität Karlsruhe. 1986.

96. Neumann K., Steinhardt: GERT-Networks, Springer Verlag. 1979.

97. Pritsker A.A.B. GERT: Graphical evaluation and review technique. Memorandum RM-4973-NASA. April. 1966.

98. Shereedhar M., Varghese G. Efficient fair queuing using deficit round-robin/ЛЕЕЕ Trans. Networking. J. 1996. V. 4. № 3. P. 375 385.

99. Головкин Б.А. Построение вероятностной модели и анализ параллельных вычислительных процессов // Изв. АН СССР. Техническая кибернетика, 1973. №3. С. 86-96.

100. Программные системы: Пер. с нем. / Под ред. Бахманна П. М.: Мир, 1988.

101. Евстигнеев В.А. Применение теории графов в программировании / Под ред. А.П. Ершова. М.: Наука, 1985.

102. Касьянов В.Н., Евстигнеев В.А. Графы в программировании: обработка, визуализация и применение. СПб.: БХВ-Петербург, 2003.

103. Корячко В.П., Шибанов А.П., Шибанов В.А. Универсальный редактор графов для анализа и моделирования систем // Научно-техническая конференция "Новые информационные технологии". Под общ. ред. Мацнева А.П., Хныкина А.П., Никульчева Е.В., М.: МГАПИ, 1998.

104. Корячко В.П., Шибанов А.П., Чернышев A.C., Шибанов В.А. Имитационная система моделирования телекоммуникационных сетей // Телекоммуникации, № 10, 2001.