МОДЕЛИ И МЕТОДЫ АНАЛИЗА ПРОЦЕССОВ ИНФОРМАЦИОННОГО ОБМЕНА В АВТОМАТИЗИРОВАННЫХ СИСТЕМАХ ДИСПЕТЧЕРСКОГО УПРАВЛЕНИЯ МЧС РОССИИ тема диссертации и автореферата по ВАК РФ 05.25.05, доктор технических наук Крутолапов, Александр Сергеевич

• Крутолапов, Александр Сергеевич
• доктор технических наук
• 2013

Оглавление диссертации доктор технических наук Крутолапов, Александр Сергеевич

ПРИНЯТЫЕ ОБОЗНАЧЕНИЯ

ВВЕДЕНИЕ

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

1.1. Основные концепции совершенствования средств 18 информационного обмена. Постановка задачи исследования

1.2. Сети передачи данных на основе полевых шин

1.3. Обеспечение работоспособности сетей передачи данных

1.4. Обеспечение качества информационного обслуживания 36 в распределенных сетях передачи данных объектов

Выводы по 1 главе

ГЛАВА 2. ТЕОРЕТИЧЕСКИЕ ОСНОВЫ ОПИСАНИЯ 53 ПРОЦЕССОВ ИНФОРМАЦИОННОГО ОБМЕНА

2.1. Системы массового обслуживания

2.1.1. Теория массового обслуживания в математических 53 моделях информационного обмена

2.1.2. Модели оптимизации сети при проектировании

2.2. Конечные автоматы

2.3. Маркированные потоковые графы

2.3.1. Формализованное представление потоковой модели

2.3.2. Анализ свойств информационного обмена 89 на размеченных графах

2.3.3. Разметка маркированного потокового графа 94 как способ их анализа

2.3.4. Нахождение стационарной и не избыточной 100 разметки графа

Выводы по 2 главе

ГЛАВА 3. ИМИТАЦИОННАЯ МОДЕЛЬ ПРОЦЕССОВ 110 ИНФОРМАЦИОННОГО ОБМЕНА В СЕТЯХ АСДУ НА ОСНОВЕ ПОЛЕВЫХ ШИН

3.1. Схема имитационной модели

3.2. Алгоритмы поиска оптимальной пропускной 118 способности сети

3.3. Реализация программно-аппаратного комплекса

3.4. Результаты эксперимента

Выводы по 3 главе

ГЛАВА 4. АВТОМАТИЗАЦИЯ ОБЕСПЕЧЕНИЯ 142 РАБОТОСПОСОБНОСТИ СПД ТЕРРИТОРИАЛЬНО-РАСПРЕДЕЛЕННЫХ АСДУ

4.1. Методики и формальные правила автоматизации

4.2. Алгоритмическая модель поддержки работоспособности

4.3. Прототип системы поддержки работоспособности

Выводы по 4 главе

ГЛАВА 5. АЛГОРИТМИЧЕСКАЯ МОДЕЛЬ ПРОЦЕССОВ

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

5.1. Процедура обнаружения и коррекции прерываний 214 вне протокола

5.2. Вычислительная сложность предложенной процедуры

5.3. Алгоритмическое моделирование процессов 230 информационного обмена

5.4. Адекватность предложенной алгоритмической модели

Выводы по 5 главе

ГЛАВА 6. ИМИТАЦИОННАЯ МОДЕЛЬ ПРОЦЕССА 246 ИНФОРМАЦИОННОГО ОБМЕНА НА ОСНОВЕ МАРКИРОВАННЫХ ПОТОКОВЫХ ГРАФОВ

6.1. Обоснование выбора модели

6.2. Содержание модели

6.3. Моделирование сети с заданными размерами буферов 266 Выводы по 6 главе

Введение диссертации (часть автореферата) на тему «МОДЕЛИ И МЕТОДЫ АНАЛИЗА ПРОЦЕССОВ ИНФОРМАЦИОННОГО ОБМЕНА В АВТОМАТИЗИРОВАННЫХ СИСТЕМАХ ДИСПЕТЧЕРСКОГО УПРАВЛЕНИЯ МЧС РОССИИ»

Современные условия поднимают на новый уровень сложности и многофункциональности инженерно-технические системы объектов, защиту которых обеспечивают подразделения МЧС России. Широкое применение в таких случаях находят автоматизированные системы диспетчерского управления (АСДУ), которые отличаются использованием современных информационных технологий для управления аварийными технологическими системами, системами пожарной безопасности, контроля доступа, сохранности имущества и информации, жизнеобеспечения и т.п.

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

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

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

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

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

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

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

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

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

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

Канальный уровень может применять различные протоколы обмена кадрами (протоколы BSC, Х25, Х75 и т.д.), различные методы контроля безошибочного приема (контроль по четности, контроль методами циклического кодирования и т.д.).

Сетевой уровень может реализовать различные методы маршрутизации сообщений (централизованный, децентрализованный, адаптивный).

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

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

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

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

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

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

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

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

- обеспечение работы в реальном времени;

- наивысший приоритет при контроле состояния объекта охраны;

- полная надежность протоколов связи с объектами охраны;

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

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

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

Существуют необходимые научные предпосылки, которые указывают на возможность решения такой задачи. В диссертации рассмотрены методы и приемы выявления и исправления столкновений в СПД для улучшения качества обслуживания. С позиций практики решение такой задачи требует разработки модели ПИО и расчета на ее основе вероятностно-временных характеристик (ВВХ) как в процессе разработки, так и работы отдельных устройств АСДУ.

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

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

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

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

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

Цель работы состоит в повышении эффективности процессов информационного обмена в сетях передачи данных АСДУ территориальнораспределенных и информационно независимых объектов, охраняемых силами МЧС России, за счет разработки и применения новых моделей и методов.

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

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

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

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

Объект исследования - сети передачи данных АСДУ территориально-распределенных охраняемых объектов МЧС России.

Предмет исследования - методы, модели и алгоритмы процессов информационного обмена в сетях передачи данных.

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

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

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

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

3. Математическая модель и метод восстановления ПИО на прикладном уровне, включающая в себя среду формирования прерываний вне протокола.

4. Математическая модель потоков информационного обмена и метод обнаружения и предотвращения несанкционированных прерываний ПИО. Имитационная модель процессов информационного обмена в СПД.

Научная новизна и теоретическая значимость полученных результатов в области построения и эксплуатации СПД АСДУ территориально-распределенных охраняемых объектов заключаются в том, что согласно целям и задачам диссертации разработаны:

1. Модель ПИО в СПД на основе полевых шин, позволяющая осуществить вероятностное моделирование среды, включающая:

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

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

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

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

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

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

-создании системы уменьшения количества несанкционированных прерываний и потерь сообщений в сети передачи данных ФКУ «Центр управления в кризисных ситуациях Главного управления МЧС России по Ленинградской области»;

-внедрении алгоритмов специального аппаратно-программного обеспечения и тестировании современных средств информационного обмена в АСДУ в ФКУ «Центр управления в кризисных ситуациях Главного управления МЧС России по г. Санкт-Петербургу»;

- модернизации и комплексной отладке СПД АСДУ в учебном процессе Санкт-Петербургского Государственного технологического института (Технического университета);

- внедрении системы поддержки работоспособности СПД, используемой в учебном процессе Санкт-Петербургского университета Государственной противопожарной службы МЧС России.

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

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

- обоснованного применения хорошо зарекомендовавшего себя методологического и математического аппарата;

- комплексного сочетания различных методов исследования;

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

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

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

Реализация. Результаты внедрены в практическую деятельность ФКУ «Центр управления в кризисных ситуациях Главное управление МЧС России по г. Санкт-Петербургу», ФКУ «Центр управления в кризисных ситуациях Главное управление МЧС России по Ленинградской области», отдела контроля и управления инженерными системами и системы обеспечения пожарной безопасности ООО «ПО «Киришинефтеоргсинтез».

Научные результаты и разработанные в рамках диссертационного исследования модели, методы и алгоритмы повышения эффективности информационного обмена в АСДУ внедрены в учебный процесс Санкт-Петербургского университета Государственной противопожарной службы МЧС России и Санкт-Петербургского Государственного технологического института (Технического университета).

Структура и объем работы. Диссертационная работа состоит из введения, шести глав, заключения, списка литературы из 268 источников, содержит 327 страниц, 17 таблиц и 123 рисунка.

Заключение диссертации по теме «Информационные системы и процессы, правовые аспекты информатики», Крутолапов, Александр Сергеевич

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

В диссертационной работе решены научно-технические задачи по управлению ПИО в сетях передачи данных АСДУ территориально-распределенных охраняемых МЧС России объектов. В результате выполненных исследований были получены следующие основные результаты:

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

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

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

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

2. При решении задачи автоматизации поддержки работоспособности СПД были разработаны:

- оригинальная формализованная модель представления сети;

- метод поиска нарушений функционирования сети;

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

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

- структура системы поддержки работоспособности;

-программная система поддержки работоспособности корпоративной сети Санкт-Петербургского университета Государственной противопожарной службы МЧС России, что позволило сократить время устранения ее неисправностей на 19 %.

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

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

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

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

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

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

4. В области повышения качества обслуживания сообщений:

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

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

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

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

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

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

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

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

295

Список литературы диссертационного исследования доктор технических наук Крутолапов, Александр Сергеевич, 2013 год

1. Гринберг A.C. Основы построения систем проектирования АСУП : текст. / A.C. Гринберг. М.: Машиностроение, 1983. - 272 с.

2. Клюев A.C. Проектирование систем автоматизации технологических процессов: Справочное пособие : текст. / A.C. Клюев. 2-е изд., перераб. и доп. - М.: Энергоавтоиздат, 1990. - 464 е.: ил.

3. Монастырский М.И. Построение внутренней архитектуры интегрированной АСУ телекоммуникационной сети : электронный ресурс. / М.И. Монастырский // Телематика. 2006. [Режим доступа: http:// tm.ifmo.ru/ tm2006/db/ doc/ getthes.php?id=6].

4. Смилянский Г.JI. Справочник проектировщика автоматизированных систем управления технологическими процессами : текст. / Г.Л. Смилянский. -М.: Машиностроение, 1983. 527 с.

5. Яковлев В.Б. Технические средства АСУ ТП: Учеб. пособие для вузов по спец. «Автом. и управл. в технич. сист.» : текст. / В.Д. Родионов, В.А. Терехов, В.Б. Яковлев: под ред. В.Б. Яковлева. М.: Высш. шк., 1989.

6. Бертсекас Д. Сети передачи данных : текст. / Д. Бертсекас, Р. Галлагер.- М. : Мир, 1989.-554 с.

7. Ю.Гришин М.Т. Информатика. Введение в современные информационные и телекоммуникационные технологии в терминах и фактах: энциклопедический словарь-справочник : текст. / М.Т. Гришин, Ф.С. Воройский. М.: Физматлит, 2006. - 767 с.

8. П.Новиков Ю.В. Основы локальных сетей : электронный ресурс. / Ю.В. Новиков, C.B. Кондратенко // М.: ИНТУИТ.РУ [Режим доступа: http:// www.intuit.ru/ department/ network/ baslocnet/].

9. Олейников А.Я. Технология открытых систем : текст. / А.Я. Олейников. М.: Янус-К, 2004. - 287 е.: ил.

10. Пятибратов А.П. Вычислительные системы, сети и телекоммуникации: учеб. для вузов : текст. / А.П. Пятибратов, Л.П. Гудыно, A.A. Кириченко.- 2-е изд., перераб. и доп. М.: Финансы и статистика, 2002. - 508 с.

11. Соловьев В.М. Повышение надежности вычислительной сети : электронный ресурс. / В.М. Соловьев, Р.В. Алексеенков // Телематика. 2006. [Режим доступа: http:// tm.ifmo.ru/ tm2006/db/ doc/ getthes.php?id=42],

12. Букатов A.A. Методологические вопросы построения магистральной инфраструктуры НОТС ЮФО : электронный ресурс. / A.A. Букатов, Л.А. Кру-киер, О.В. Шаройко // Телематика. 2006. [Режим доступа: http:// tm.ifmo.ru/ tm2006/db/ doc/ getthes.php?id=23].

13. Омаров O.A. Состояние и перспективы развития образовательной компьютерной сети республики Дагестан : электронный ресурс. / O.A. Омаров, Е.Г. Пашук // Телематика. 2006. [Режим доступа: http:// tm.ifmo.ru/ tm2006/db/ doc/getthes.php?id=75].

14. Васильев В.Н. Спутниковый сегмент сети runnet: состояние и направления развития : электронный ресурс. / В.Н. Васильев, В.Б. Сычужников, С.Э. Хоружников // Телематика. 2007. [Режим доступа: http://tm.ifmo.ru/ tm2007/ db/ doc/getthes.php?id=231].

15. Половикова О.Н. Программное обеспечение dialup-сервиса вычислительного центра алтайского госуниверситета : электронный ресурс. / О.Н. Половикова // Телематика. 2006. [Режим доступа: http://tm.ifmo.ru/ tm2006/ db/ doc/ getthes.php?id=4].

16. Курмышев H.B. Методология построения новгородской научно-образовательной сети : электронный ресурс. / Н.В. Курмышев, С.Н. Сидорин // Телематика. 2006. [Режим доступа: http://tm.ifmo.ru/tm2006/ db/doc/getthes.php?id=159],

17. Глаголев В.В. Компьютерная сеть вуза: развитие и проблемы : электронный ресурс. / В.В. Глаголев, А.Н. Мерцалов // Телематика. 2007. [Режим доступа: http:// tm.ifmo.ru/ tm2007/db/doc/getthes.php?id=152],

18. Гребнев А.Н. Методология коммуникационной научно-образовательной среды : электронный ресурс. / А.Н. Гребнев // Телематика. 2006. [Режим доступа: http:// tm.ifmo.ru/ tm2006/db/doc/getthes.php?id=122].

19. Рощин C.B. Организация сетевого взаимодействия в сфере образования и науки на основе модели пиринговых сетей (Р2Р) : электронный ресурс. / C.B. Рощин // Телематика. 2006. [Режим доступа: http://tm.ifmo.ru/tm2006/db/doc /getthes.php?id= 141].

20. Чистяков M.B. Анализ и синтез алгоритмов обмена информацией в телекоммуникационной среде предприятий : текст. / М.В. Чистяков, A.B. Еременко // Вестник компьютерных и информационных технологий. М.: Машиностроение, 2006. - № 12. - С. 42-45.

21. Шаройко О.В. Опыт использования терминалов Sunray в распределенной корпоративной сети РТУ : электронный ресурс. / О.В. Шаройко, А.Н. Березовский // Телематика. 2006. [Режим доступа: http://tm.ifmo.ru/tm2006/ db/doc/ getthes.php?id=267].

22. Гулько Д.Е. Как избежать типовых ошибок при построении корпоративных и отраслевых систем нормативно-справочной информации : текст. / Д.Е. Гулько // Корпоративные системы. М.: КОМИЗДАТ. - 2004. - № 18. -С. 35-37.

23. Котов К.А. Система управления доступом подразделений университета к сети интернет : электронный ресурс. / К.А. Котов // Телематика. 2007. [Режим доступа: http://tm.ifmo.ru/tm2007/ db/doc/getthes.php?id=153].

24. Олифер Н.А. Средства анализа и оптимизации локальных сетей : электронный ресурс. / Н. А. Олифер, В.Г. Олифер // Центр информационных технологий, 1998. [Режим доступа: http:// www.citforum.ru/ nets/optimize/ index, shtml].

25. Информационно-телекоммуникационные системы» / под ред. А.О. Сергеева. -М: ГНИИ ИИТ «Информатика», 2005. 62 с.

26. Иванов A.B. Практическая диагностика сетей : электронный ресурс. /

27. A.B. Иванов. ProLAN, 2003.

28. Подлазов B.C. Искусство диагностики локальных сетей : электронный ресурс. / B.C. Подлазов, С.С. Юдицкий, В.В. Борисенко // Открытые системы, 1998. [Режим доступа: http://www.osp.ru/lan/1998/07-08/133611/].

29. Юдицкий С.С. Основы диагностики сети : электронный ресурс. / С.С. Юдицкий, В.В. Борисенко, О.В. Овчинников // LAN/ЖУРНАЛ СЕТЕВЫХ РЕШЕНИЙ, 1998. № 12. [Режим доступа: http://www.laes.ru/list/pve/DOCs/ LAN98-12-59.htm].

30. Еременко В.Т. Математическое моделирование процессов информационного обмена в распределенных управляющих системах : монография. /

31. B.Т. Еременко; под общ. ред. проф. И.С. Константинова. М.: Машиностроение, 2004. - 224 с.

32. Кузин Ф.А. Кандидатская диссертация. Методика написания, правила оформления и порядок защиты. Практическое пособие для аспирантов и соискателей ученой степени / Ф.А. Кузин. 2-е изд. - М.: Ось-89, 1998. - 208 с.

33. Башарин Г.П. Анализ очередей в вычислительных сетях. Теория и методы расчета / Г.П. Башарин, П.П. Бочаров, Я.А. Коган. М.: Наука, 1989. - 336 с.

34. ГОСТ Р ИСО/МЭК 10172-99. Информационная технология. Передача данных и обмен информацией между системами. Спецификация взаимодействия между протоколами сетевого и транспортного уровней. М.: Госстандарт России: Изд. стандартов, 1999. - 60 с.

35. Кузин Ф.А. Кандидатская диссертация. Методика написания, правила оформления и порядок защиты. Практическое пособие для аспирантов и соискателей ученой степени / Ф.А. Кузин. 2-е изд. - М.: Ось-89, 1998. - 208 с.

36. Липаев В.В. Надежность программных средств / В.В. Липаев. М.: СИНТЕГ, 1998. - 232 с.

37. Липаев В.В. Отладка сложных программ: Методы, средства, технология / В.В. Липаев. М.: Энергоатомиздат, 1993. - 384 с.

38. Надежность и эффективность в технике: Справочник в 10 т. Т. 6: Экспериментальная отработка и испытания / под общ. ред. P.C. Судакова, О.И. Тескина. М.: Машиностроение, 1989. - 376 с.

39. Белковский C.B. Анализ протокола в системах полевых шин / C.B. Белковский // Теоретические и прикладные аспекты информационных технологий: Сб. науч. тр. / Пермский ТГУ. Пермь, НИИУМС, 1999. Вып. 48. С. 136-138.

40. Артемов С.П. Проблемы автоматизации зданий и производственных процессов // В кн.: Информационные управляющие системы // Межвузовский сборник научных трудов. Пермь: ПТГУ; НИИУМС, 1999.

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

42. Надежность и эффективность в технике: Справочник в 10 т. Т. 3. Эффективность технических систем / под общ. ред. Ф.В. Уткина, Ю.В. Крючкова.- М.: Машиностроение, 1988. 328 с.

43. Еременко В.Т. Функциональная стандартизация протоколов информационного обмена в распределенных управляющих системах: автореф. дис. . д-ра техн. наук: 05.13.06 / В.Т. Еременко; ОрелГТУ. Орел, 2005. - 32 с.

44. Конард Д. Услуги и протоколы канального уровня / Д. Конард. -ТИИЭР, 1983.-Т. 71. -№ 12.-С. 34^12.

45. Основы автоматизации управления производством: учеб. пособие для студ. техн. вузов / И.М. Макаров и др.. М.: Высш. школа, 1983. - 504 с.

46. Вегешна Ш. Качество обслуживания в сетях IP : текст. / Ш. Вегешна.- М.: Издательский дом «Вильяме», 2003. 368 с.

47. Demers A. Analysis and simulation of a fair queueing algorithm : text. / A. Demers, S. Keshav, S. Shenker // Internetworking: Research and Experience, 1990.-V. l.-P. 3-26.

48. Floyd S. Random Early Detection gateways for Congestion Avoidance Text. / S. Floyd, V. Jacobson // IEEE/ACM Transactions on Networking, 1993. -№ 4. V. 1.-P. 397-413.

49. Stoica I. A Hierarchical Fair Service Curve Algorithm for Link-Sharing, Real-Time and Priority Services : text. / I. Stoica, H. Zhang // In Proceedings of the ACM-SIGCOMM97, 1997. P. 249-262.

50. Zhang L. Virtual clock: A new traffic control algorithm for packet switched networks : text. / L. Zhang // IEEE/ACM Transactions on Computer Systems, 1990. № 2. - V. 9.-P. 10-24.

51. Floyd S. Adaptive RED: An Algorithm for Increasing the Robustness of RED's active queue management : electronic resource.: Tech. Rep. ICSI / S. Floyd, R. Gummadi, S. Shenker, 2001. [Режим доступа: http://www.icir.org/floyd/papers/ adaptiveRed.pdf].

52. Букатов А.А. Средства резервирования емкости каналов для прикладных служб научно-образовательной сети : текст. / А.А. Букатов, О.В. Шаройко // Научный сервис в сети Интернет: Труды Всероссийской научной конференции. -М.: Изд-во МГУ, 2002. С. 221-223.

53. Алиев Р.Т. Методы управления трафиком в мультисервисных сетях : текст. / Р.Т. Алиев // Научно-технический вестник СПбГИТМО (ТУ). Информационные, вычислительные и управляющие системы. СПб.: СПбГИТ-МО(ТУ), 2002. - Вып. 6,- С. 10-13.

54. Алексеев И.В. Модель и анализ транспортного протокола ARTCP : электронный ресурс. / И.В. Алексеев // Электронный журнал «Исследовано в России», 2000. С. 395-404. Режим доступа: http://zhurnal.ape.relarn.ru/articles/ 2000/027.pdf.

55. Тао М. Контроль качества в сетях IP : электронный ресурс. / М. Тао, Ш. Бингксин // Журнал «LAN», 2001. № 1. - Режим доступа: http://www.osp.ru/lan/2001/01/049.htm.

56. Олифер В.Г. Новые технологии и оборудование IP-сетей : текст. / В.Г. Олифер, Н.А. Олифер. СПб.: БХВ-Петербург, 2001. - 512 с.

57. Альянах И.Н. Моделирование вычислительных систем : текст. / И.Н. Альянах. Д.: Машиностроение, 1988. - 223 с.

58. Пятибратов А.П. Вычислительные системы с дистанционным доступом : текст. / А.П. Пятибратов. М.: Энергия, 1979. - 192 с.

59. Авен А.И. Управление вычислительным процессом в ЭВМ : текст. / А.И. Авен, Я.А. Коган. М.: Энергия, 1976. - 240 с.

60. Бьярне М. IP-телефония. Как обеспечить качественную передачу речи. Часть II : текст. / Мюнх Бьярне // Сети и системы связи, 2000. № 4. - С. 64—82.

61. Kesliav S. An Engineering Approach to Computer Networking : text. / S. Kesliav. Massachusetts: Addison Wesley Publishing Company, 1997. - 688 p.

62. Parekh A. A Generalized processor sharing approach to flow control in integrated services networks: The single node case : text. / A. Parekh, R. Gallager // IEEE/ACM Transaction on Networking, 1993. № 3. - V. 1. - P. 344-357.

63. Cruz R. Service burstiness and dynamic burstiness measures: A framework : text. / R. Cruz // Journal of High Speed Networks, 1992. № 2. - V. 1. - P. 105-127.

64. Cruz R. Quality of service guaranteed in virtual circuit switched network : text. / R. Cruz // IEEE Journal on Selected Areas in Communications, 1995. № 6. -V. 13.-P. 1048-1056.

65. Cruz R. Scheduling for quality of service guarantees via service curves : text. / R. Cruz, G. Polyzos // In the Proceedings of the International Conference on Computer Communications and Networks (ICCCN), 1995. P. 512-520.

66. Demers A.A classical self-locked WFQ algorithm : text. / A. Demers, S. Keshav, S. Shenker // SIGCOMM 1989, 1989. P. 51-67.

67. Floyd S. Link-sharing and resource management models for packet networks : text. / S. Floyd, V. Jacobson // IEEE/ACM Transactions on Networking, 1995. № 4. - V. 3. - P. 365-386.

68. Халсалл Ф. Передача данных, сети компьютеров и взаимосвязь открытых систем : текст. / Ф. Халсалл. М.: Радио и связь, 1995. - 408 с.

69. Блэк Ю. Сети ЭВМ: Протоколы, стандарты, интерфейсы : текст. / Ю. Блэк. -М.: Мир, 1990. 506 с.

70. ГОСТ 28195-89. Оценка качества программных средств. Общие положения. М.: Гос. комитет СССР по стандартам: Изд. стандартов, 1989. - 38 с.

71. ГОСТ 28806-90. Качество программных средств. Термины и определения. М.: Госстандарт СССР: Изд. стандартов, 1990. - 44 с.

72. ГОСТ 34.003-90. Информационная технология. Комплекс стандартов на автоматизированные системы. Автоматизированные системы. Термины и определения. М.: ИПК: Изд. стандартов, 2002. 174 с. - С. 78-91.

73. ГОСТ 34.601-90. Информационная технология. Комплекс стандартов на автоматизированные системы. Автоматизированные системы. Стадии создания. М.: ИПК: Изд. стандартов, 2002. - 174 с. - С. 100-105.

74. ГОСТ 34.603-92. Информационная технология. Виды испытаний автоматизированных систем. -М.: ИПК: Изд. стандартов, 2002. 174 с.

75. ГОСТ Р 34.90-93. Информационная технология. Передача данных и обмен информацией между системами. Протокольные комбинации для обеспечения и поддержки услуг сетевого уровня ВОС. М.: Госстандарт России: Изд. стандартов, 1993. -43 с.

76. ГОСТ Р ИСО/МЭК 10172-99. Информационная технология. Передача данных и обмен информацией между системами. Спецификация взаимодействия между протоколами сетевого и транспортного уровней. М.: Госстандарт России: Изд. стандартов, 1999. - 60 с.

77. ГОСТ Р ИСО/МЭК 9126-93. Информационная технология. Оценка программной продукции. Характеристики качества и руководства по их применению. М.: Госстандарт России: Изд. стандартов, 1993. - 64 с.

78. ГОСТ Р ИСО/МЭК ТО 10172-99. Информационная технология. Передача данных и обмен информацией между системами. Спецификация взаимодействия между протоколами сетевого и транспортного уровней. М.: Госстандарт России: Изд. стандартов, 1999. - 46 с.

79. Блау С.А. Анализ планов тестирования программных модулей с учетом нереализуемых маршрутов / С.А. Блау, Б.А. Позин // Программирование, М, 1988. -№ 4.-С. 26-34.

80. Канер С. Тестирование программного обеспечения / С. Канер, Д. Фолк, Нгуен Енг Кек. 2-я ред. - Киев: ДиаСофт, 2000. - 544 с.

81. Липаев В.В. Надежность программных средств / В.В. Липаев. М.: СИНТЕГ, 1998. -232 с.

82. Липаев В.В. Отладка сложных программ: Методы, средства, технология / В.В. Липаев. М.: Энергоатомиздат, 1993. - 384 с.

83. Парамохина Т.М. Автоматизация процессов аттестационных испытаний средств информационного обмена: дис. . канд. техн. наук: 05.13.06: защищена 24.04.07: утв. 24.07.07 / Парамохина Татьяна Михайловна. Орел, 2007. - 175 с. - Библиогр.: С. 159-175.

84. Якубайтис Э.А. Информационные сети и системы: Справочная книга / Э.А. Якубайтис. М.: Финансы и статистика, 1996. - 368 с.

85. Зайцев С.С. Сервис открытых информационно-вычислительных сетей: Справочник / С.С. Зайцев, М.И. Кравцунов, C.B. Ротанов. М.: Радио и связь, 1990.-235 с.

86. Протоколы информационно-вычислительных сетей. Разработка, моделирование и анализ / под ред. В.А. Мизина. М.: Финансы и статистика, 1990.-501 с.

87. Крутолапов A.C. Автоматизация обеспечения работоспособности сетей передачи данных в территориально-распределенных диспетчерских служб

88. Крутолапов A.C. Обеспечение качества обслуживания в сетях информационного обмена ГПС МЧС России / A.C. Крутолапов, Р.Б. Суходулов // Вестник Воронежского института Государственной противопожарной службы. 2013. - № 1.-0,3/0,2 п.л.

89. Авен О.И. Оценка качества и оптимизация вычислительных систем / О.И. Авен, H.H. Гурин, Я.А. Коган. М.: Наука; Главная редакция физико-математической литературы, 1982. - 464 с.

90. Айвазян С.А. Прикладная статистика. Основы моделирования и первичная обработка данных / С.А. Айвазян, И.С. Енюков, Л.Д. Мешалкин. М.: Финансы и статистика, 1983. - 216 с.

91. Айвазян С.А. Прикладная статистика. Исследование зависимостей / С.А. Айвазян, И.С. Енюков, Л.Д. Мешалкин. -М.: Финансы и статистика, 1985. -198 с.

92. Айвазян С.А. Прикладная статистика. Классификация и снижение размерности / С.А. Айвазян, И.С. Енюков, Л.Д. Мешалкин. М.: Финансы и статистика, 1989. 268 с.

93. Аоки М. Введение в методы оптимизации / М. Аоки; перев. с англ. -М.: Наука, 1977.-344 с.

94. Артемов С.П. Проблемы автоматизации зданий и производственных процессов. // В кн.: Информационные управляющие системы // Межвузовский сборник научных трудов. Пермь: ПТГУ, НИИУМС. 1999.

95. Баранов И.Ю. Исследование гибкого инструментального комплекса для интеллектуальной системы административного управления в корпоративных АСУП: автореф. дис. . канд. тех. наук: 05.13.06 / И.Ю. Баранов; Орел-ГТУ.-Орел, 2006.- 18 с.

96. Башарин Г.П. Анализ очередей в вычислительных сетях. Теория и методы расчета / Т.П. Башарин, П.П. Бочаров, Я.А. Коган. М.: Наука, 1989. - 336 с.

97. Башарин Т.П. Локальные сети программируемых контроллеров для гибких производственных систем / Т.П. Башарин, В.А. Ефимушкин, А.Б. Черпаков. М.: Изд-во УДН, 1987. - 380 с.

98. Гнеденко Б.В. Введение в теорию массового обслуживания / Б.В. Гнеденко, И.Н. Коваленко. М.: Наука, 1987. - 224 с.

99. ГОСТ 34.601-90. Информационная технология. Комплекс стандартов на автоматизированные системы. Автоматизированные системы. Стадии создания. М.: ИПК: Изд. стандартов, 2002. - 174 с. - С. 100-105.

100. Злотников Ю.С. Протоколы информационного обмена в цифровых сетях связи с интеграцией служб / Ю.С. Злотников // Зарубежная радиоэлектроника, 1990. № 10. - С. 46-65.

101. Бушуев С.Н. Организация распределенного преобразования информации в информационно-технических системах. СПб.: ВАС, 1994. - 226 с.

102. Анисимов H.A. Графический LOTOS на базе сетей Петри и средства его обработки // Технология программирования 90-х: тез. док. межд. конф., Киев, 14-17.05.91. / H.A. Анисимов и др.. Киев: ИК АН УССР, 1991. - С. 97-98.

103. Анисимов H.A. Графический редактор протоколов сетей ЭВМ на базе сетей Петри / H.A. Анисимов и др. // 17 Международная школа-семинар по вычислительным сетям (Алма-Ата, 1992). М.: Алма-Ата: ВИНИТИ, 1992. -Ч. 2.-С. 3-8.

104. Анисимов H.A. Композициональные методы разработки протоколов на основе сетей Петри: дис. док. техн. наук: 05.13.11: защищена 25.08.94: утв. 25.12.94 / Анисимов Николай Александрович. Владивосток, 1994. - 337 с. -Библиогр.: С. 291-314.

105. Анисимов H.A. Определение семантики языка спецификации LOTOS с помощью сетей Петри / H.A. Анисимов //16 Всесоюзная школа-семинар по вычислительным сетям. М.: Винница: ВИНИТИ, 1991. - Ч. 2. - С. 119-124.

106. Бандман О.Л. Проверка корректности сетевых протоколов с помощью сетей Петри / О.Л. Бандман // Автоматика и вычислительная техника. -М., 1986.-№ 6.-С. 82-91.

107. Георгиевский А.Е. Моделирование сервиса транспортного уровня телекоммуникационной среды предприятия на основе сетей Петри : текст. /

108. А.Е. Георгиевский, A.B. Еременко // Вестник компьютерных и информационных технологий. М.: Изд. Машиностроение, 2006. - № 11. - С. 37-45.

109. Грошев A.C. Базы данных: Учеб. пособие / A.C. Грошев. Архангельск: Изд. АрГТУ, 2005. - 124 с.

110. Гусаров A.B. Использование сетей Петри для анализа криптографических протоколов / A.B. Гусаров // Труды / IX Международная научная конференция «Информатизация правоохранительных систем». М.: Академии управления МВД РФ, 2000. - С. 570-573.

111. Еременко В.Т. Методологический аспект построения теории функциональной стандартизации протоколов информационного обмена / В.Т. Еременко // Вестник компьютерных и информационных технологий. М.: Машиностроение, 2004. -№ 1. - С. 14-17.

112. Еременко В.Т. Функциональная стандартизация протоколов информационного обмена в распределенных управляющих системах: автореф. дис. . д-ра техн. наук: 05.13.06 / В.Т. Еременко; ОрелГТУ. Орел, 2005. - 32 с.

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

114. Кулагин В.П. Структуры сетей Петри / В.П.- Кулагин // Информационные технологии. М.: Машиностроение, 1997. - № 4. - С. 17-22.

115. Лазарев В.Г. Интеллектуальные цифровые сети: Справочник / В.Г. Лазарев; под ред. акад. H.A. Кузнецова. М.: Финансы и статистика, 1996. - 224 с.

116. Poulin J.S. The Business case for Software Reuse / J.S. Poulin, J.M. Caruso, D.R. Hancock. IBM Syst. Journal. - 1993. - V. 32. - №. 4. - P. 567-594.

117. Альянах И.Н. Моделирование вычислительных систем : текст. / И.Н. Альянах. Д.: Машиностроение, 1988. - 223 с.

118. Башарин Г.П. Анализ очередей в вычислительных сетях. Теория и методы расчета : текст. / Г.П. Башарин, П.П. Бочаров, Я.А. Коган. М.: Наука, 1989.-336 с.

119. Гилула М.М. Множественная модель данных в информационных системах. М.: Наука, 1992. - 208 с.

120. Еременко В.Т., Орешин H.A., Подчерняев Н.Г., Третьяков О.В. Теория информации и информационных процессов: Монография. Орел: Орловский юридический институт МВД России, 2000. - 187 с.

121. Колмогоров А.Н. Теория информации и теория алгоритмов. М.: Наука, 1987.-358 с.

122. Могилевский В.Д. Формализация динамических систем. М.: Вузовская книга, 1999. -215 с.

123. Алексеев В.Б. Элементы теории графов, схем и автоматов : текст. / В.Б. Алексеев, С.А. Ложкин. М.: Издательский отдел ф-та ВмиК МГУ, 2000. - 58 с.

124. Брауэр В. Введение в теорию конечных автоматов : текст. / В. Брау-эр; пер. с нем. М.: Радио и связь, 1987. - 392 с.

125. Карпов Ю.Г. Теория автоматов : текст. / Ю.Г. Карпов. СПб.: Питер, 2003.-208 с.

126. Кудрявцев В.Б. Введение в теорию автоматов : текст. / В.Б. Кудрявцев, C.B. Алешин, A.C. Подколзин. М.: Наука, 1985.

127. A Novel Framework for Test Domain Reduction using Extended Finite State Machine Nutchakorn Ngamsaowaros. Peraphon Sophatsathit, 2006.

128. Decomposition of Extended Finite State Machine for Low Power Design. MingHung Lee, Ting Ting Hwang, Shi-Yu Huang, Proceedings of the Design, Automation and Test in Europe Conference and Exhibition, 2003.

129. Huima A. Efficient infinite-state analysis of security protocols // Presented at FLOC'99 Workshop on Formal Methods and Security Protocols. 1999.

130. Improving The Timing Of Extended Finite State Machines Via Catalyst Shi-Yu Huang, 2004.

131. Principles and methods of testing finite state machines a survey David Lee, Mihalis Yannakakis, AT&T Bell Laboratories, Murray Hill, New Jersey, 1999.

132. Supervisory control of communicating extended finite state machines Yue Yang, Amin Mannani, Peyman Gohari, ECE Department, Concordia University, Montreal, QC, Canada, 2005.

133. Towards Model Checking of Finite State Machines Extended with Memory through Refinement Eleftherakis G., Kefalas P., 2001.

134. Крутолапов A.C. Математические модели, алгоритмы и методы анализа сетей передачи данных в автоматизированных систем диспетчерского управления ГПС МЧС России: монография / А.С. Крутолапов; под общ. ред. B.C. Артамонова. СПб., 2011.

135. Авен О.И. Оценка качества и оптимизация вычислительных систем / О.И. Авен, H.H. Турин, Я.А. Коган. М.: Наука, Главная редакция физико-математической литературы, 1982. - 464 с.

136. Айвазян С.А. Прикладная статистика. Основы моделирования и первичная обработка данных / С.А. Айвазян, И.С. Енюков, Л. Д. Мешалкин. М.: Финансы и статистика, 1983. - 216 с.

137. Канер С. Тестирование программного обеспечения / С. Канер, Д. Фолк, Нгуен Енг Кек. 2-я ред. - Киев: ДиаСофт, 2000. - 544 с.

138. Низамутдинов О.Б., Белковский C.B., Артемов Н.И. Концепция построения распределенных систем управления на основе fieldbus-систем / XIII Уральский компьютерный форум 24-26 ноября. Пермь, 1999.

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

140. Крутолапов A.C. Анализ концепции построения сетей информационного обмена / A.C. Крутолапов, Д.А. Сычев // Вестник Воронежского института Государственной противопожарной службы. 2012. - № 4. - 0,7/0,5 п.л.

141. Олифер H.A. Компьютерные сети. Принципы, технологии, протоколы: Учебник для вузов. 1-е издание : текст. / H.A. Олифер, В.Г. Олифер. -СПб.: Питер, 2002. 672 с.

142. Суздальцев А.И. Методологические аспекты анализа и синтеза объектов технических и информационных систем : текст. / А.И. Суздальцев // Вестник компьютерных и информационных технологий. М.: Машиностроение, 2006. -№ 12.-С. 17-21.

143. Программа сетевой академии CISCO CCNA 3 и 4. Вспомогательное руководство / пер с англ. М.: ООО «И.Д. Вильяме», 2007. - 994 е.: ил.

144. Поспелов Д.А. Ситуационное управление: теория и практика : текст. / Д.А. Поспелов. М.: Наука. - Гл. ред. физ.-мат. лит., 1986. - 288 с.

145. Константинов И.С. Лингвистическое прогнозирование в структурах управления : текст. / И.С. Константинов, А.Н. Веригин, В.И. Раков. СПб.: Изд-во С. Петербургского ун-та, 1998. - 165 с.

146. Сердюк А.И. Программа оценки правил обслуживания в АСУ комплексов технологического оборудования : текст. / А.И. Сердюк, P.P. Рахматул-лин // Вестник компьютерных и информационных технологий. М.: Машиностроение, 2006. - № 10. - С. 26-34.

147. Степаненко О.С. Сборка, модернизация и ремонт ПК : текст. / О.С. Степаненко. М.: Издательский дом «Вильяме», 2003. - 672 с. : ил.

148. Еремеев А.П. Экспертные системы поддержки принятия решений в энергетике : текст. / А.П. Еремеев, A.A. Башлыков. М.: МЭИ, 1994. - 216 с.

149. Гук М. Аппаратные средства локальных сетей. Энциклопедия : текст. / М. Гук. СПб.: Питер, 2005. - 573 е.: ил.

150. Иванова Г.С. Технология программирования: Учебник для вузов : текст. / Г.С. Иванова. М.: Изд-во МГТУ им. Н.Э. Баумана, 2002. - 320 е.: ил.

151. Cormen Т.Н. Introduction to algorithms : текст. / Т.Н. Cormen. Massachusetts Institute of Technology, 2001. - 984 p.

152. Гаврилова Т.А. Базы знаний интеллектуальных систем : текст. / Т.А. Гаврилова, В.Ф. Хорошевский. СПб.: Питер, 2000. - 380 с.

153. Крутолапов A.C. Структурная декомпозиция сети информационного обмена ГПС МЧС России / A.C. Крутолапов, Г.А. Абрамян // Проблемы управления рисками в техносфере. 2010 - № 2 14. - 0,9/0,6 п.л.

154. Крутолапов A.C. Модель сети передачи данных на примере ГПС МЧС России // Научный интернет-журнал «Технологии техносферной безопасности».- 2012. № 1. ipb.mos.ru. - 0,5 п.л.

155. Крутолапов A.C. Архитектура распределенной сети передачи данных ГПС МЧС России / A.C. Крутолапов // Вестник Воронежского института Государственной противопожарной службы. № 1.-2013.-0,3 п.л.

156. Башарин Г.П. Анализ очередей в вычислительных сетях. Теория и методы расчета : текст. / Г.П. Башарин, П.П. Бочаров, Я.А. Коган. М.: Наука, 1989.-336 с.

157. Бестугин А.Р. Контроль и диагностирование телекоммуникационных сетей : текст. / А.Р. Бестугин, А.Ф. Богданова, Г.В. Стогов. СПб: Политехника, 2003.- 174 с.

158. Вегешна Ш. Качество обслуживания в сетях IP : текст. / Ш. Ве-гешна. М.: Издательский дом «Вильяме», 2003. - 368 с.

159. Георгиевский А.Е. Моделирование процессов взаимодействия протокольных объектов в средствах информационного обмена: дис. . канд. техн. Наук. Орел, 2008. - 184 с.

160. Джинчарадзе А.К. Методические подходы и тенденции развития стандартизации и систем качества в области информационных технологий : текст. / А.К. Джинчарадзе // Информационное общество. 2000. - № 3. -С. 37-43.

161. Еременко В.Т. Концепция обнаружения и коррекции логических ошибок в реализациях профилей протоколов безопасности : текст. / В.Т. Еременко // Телекоммуникации. 2003. - № 8. - С. 30-35.

162. Линингтон П.Ф. Принципы определения служб и спецификации протоколов : текст. / П.Ф. Линингтон // ТИИЭР. 1983. - Т. 71. - № 12. - С. 17-22.

163. Парамохина Т.М. Автоматизация процессов аттестационных испытаний средств информационного обмена : дис. . канд. техн. Наук. Орел, 2007. -175 с.

164. Шелухин О.И. Фрактальные процессы в телекоммуникациях : текст. / О.И. Шелухин, A.M. Тенякшев, A.B. Осин. М.: Радиотехника, 2003.

165. Еременко В.Т. Теоретические основы обслуживания сообщений в информационно-телекоммуникационных системах : текст. / В.Т. Еременко, О.Г. Кузьменко, Н.Г. Подчерняев // учебное пособие. Орел: Орловский юридический институт, 1999. - 118 с.

166. Давыдов Е.Б. Тенденции процессов разработки и исследования протоколов сетей связи : текст. / Е.Б. Давыдов, Ю.С. Злотников // Техника средств связи. Сер. ТПС, 1987. Вып. 2. - С. 79-88.

167. Савенков А.Н. Управление процессами информационного обмена в сетях передачи данных АСУ машиностроительного предприятия : дис. . канд. техн. наук. Орел, 2007. - 144 с.

168. Гашков С.Б. Арифметика. Алгоритмы. Сложность вычислений : текст. / С.Б. Гашков, В.Н. Чубариков. М.: Наука, 1996.

169. Т. Richardson. Virtual Network Computing / R. Tristan, S. Quentin, R. Kenneth, H. Andy // IEEE Internet Computing. Jan/Feb 1998. № 1. - V. 2. -P. 33-38.

170. X-based VNC server. Virtual Network Computing. AT&T Laboratories Cambridge (1999) : электронный ресурс. http://www.cl.cam.ac.uk/research /dtg/attarchive/ vnc/xvnc.html.

171. Стандарт протокола RFB 3.8 : электронный ресурс. -http://www.realvnc.com /docs/rfbproto.pdf.

172. Крутолапов A.C. Об управлении потоками в сетях передачи данных ГПС МЧС России / A.C. Крутолапов, А.К. Абулев, С.Ю. Ошкин // Научный интернет-журнал «Технологии техносферной безопасности», ipb.mos.ru. — 2013. — № 1.-0,4/0,3 п.л.

173. Альянах И.Н. Моделирование вычислительных систем : текст. / И.Н. Альянах. JL: Машиностроение, 1988. - 223 с.

174. Анисимов H.A. дис. . д-ра технических наук. М.: Институт программных систем РАН, 1995. - 450 с.

175. Антонов C.B. дис. . канд. техн. наук. -М.: ИЛИ РАН, 1997. 154 с.

176. Баронов В.В. Автоматизация управления предприятием : текст. / В.В. Баронов, Г.Н. Калянов, Ю.И. Попов, А.И. Рыбников, И.Н. Титовский. М.: ИНФРА-М, 2000. - 239 с.

177. Крутолапов A.C. Алгоритм распределения потоков в сетях передачи данных / A.C. Крутолапов, В.А. Гадышев, Д.А. Сычев // Системы управления и информационные технологии. 2011. - № 4.1(46). - 0,5/0,4 п.л.

178. Крутолапов A.C. Организация обслуживания пользователей в сетях передачи данных подразделений ГПС МЧС России / A.C. Крутолапов // Научные и образовательные проблемы гражданской защиты. № 1. — 2012. - 0,5 п.л.