Методы оптимизации показателей качества цифровых промышленных сетей на основе моделей GERT тема диссертации и автореферата по ВАК РФ 05.13.13, кандидат технических наук Кравчук, Николай Владимирович

• Кравчук, Николай Владимирович
• кандидат технических наук
• 2007

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

ВВЕДЕНИЕ.

ГЛАВА 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. ВЫВОДЫ.

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

Актуальность работы. В настоящее время известно большое число теоретических исследований, рассматривающих различные вопросы проектирования систем управления АСУТП и сложными техническими системами. Можно выделить, например, работы Баканова 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

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

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

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

Список литературы диссертационного исследования кандидат технических наук Кравчук, Николай Владимирович, 2007 год

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: [e-mail].

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.