Управление восстановлением процессов информационного обмена в объединенных сетях передачи данных тема диссертации и автореферата по ВАК РФ 05.13.06, кандидат технических наук Озаренко, Олег Викторович

• Озаренко, Олег Викторович
• кандидат технических наук
• 2009

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

ВВЕДЕНИЕ.

1 ОРГАНИЗАЦИОННОЕ УПРАВЛЕНИЕ МАШИНОСТРОИТЕЛЬ-НЫМ ПРЕДПРИЯТИЕМ.

1.1 Анализ и системное моделирование организационного управления машиностроительным предприятием.

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

1.3 Автоматизированные системы управления в сетях передачи данных предприятия.

1.4 Основные этапы реинжиниринга АСУ машиностроительного предприятия.

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

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

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

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

2.1 Формальное описание процессов информационного обмена предприятия.

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

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

3 МЕТОДИКА ОБНАРУЖЕНИЯ И КОРРЕКЦИИ ВНЕПРОТОКОЛЬНЫХ

ПРЕРЫВАНИЙ.

3.1 Виды внепротокольных прерываний.

3.2. Алгоритмы обнаружения и коррекции столкновений в протоколах.

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

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

4.1 Оценка вычислительной сложности.

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

4.3 Оценка адекватности имитационной модели.

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

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

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

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

Качество обслуживания (Quality' of Service - QoS) процессов информационного обмена в сетях передачи данных описывается следующими параметрами:

• Вероятность возникновения ошибки в процессе передачи данных.

• Задержка при передаче сообщения.

• Количество данных, потерянных во время передачи, в том числе и за счет внепротокольных прерываний.

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

В основе настоящего исследования лежат результаты работ в области теории автоматов (М.А. Гаврилов, О.Б. Лупанов, М.А. Айзерман , JI. А. Гусев, Б. А. Трахтенброт, Н. Е. Кобринский, А.Ф. Петренко), теории построения распределенных систем (B.C. Бурцев, В.В. Воеводин, В.В. Корнеев, Э. Таненбауэм), теории распределенных вычислений (А.Б. Барский, В.В. Воеводин, Н. Коновалов, В. Крюков, Б.И. Коган, В.В. Топорков, В.Н. Касьянов, Ю.В. Капитонова), теории информационных процессов в автоматизированных системах (Г.И. Пранявичус, А.Д. Иванников, И.С. Константинов, В.П. Кулагин, В.Т. Еременко).

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

Объект исследования - объединенные сети передачи данных.

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

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

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

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

• Анализ способов и приемов обнаружения и коррекции внепротокольных прерываний на прикладном уровне в сетях передачи данных предприятия. "

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

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

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

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

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

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

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

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

Практическая значимость. Разработанные алгоритмы обнаружения и коррекции внепротокольных прерываний использованы при совершенствовании специального аппаратно-программного обеспечения АСУ ОАО «Промприбор» (г. Ливны) - акт от 23.10.2008 г., применены в программном средстве по формированию и выбору протокольных классов для службы обмена сообщениями «Профиль» (свидетельство о регистрации №2007610941 от 01.03.2007).

Апробация и публикации. Материалы публиковались и докладывались на: XI ежегодной научной конференции преподавателей ОрелГТУ (2006, г.Орел), II Международной научно-практической конференции «Информационные технологии в науке, образовании и производстве (ИТНОП)» (2006, г. Орел), Пятой международной электронная научно-технической конференции "Технологическая системотехника" (2006, г.Тула), XII ежегодной научной конференции преподавателей ОрелГТУ (2007, г.Орел), III Международной научно-практической конференции «Информационные технологии в науке, образовании и производстве (ИТНОП)» (2008, г. Орел).

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

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

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

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

Заключение диссертации по теме «Автоматизация и управление технологическими процессами и производствами (по отраслям)», Озаренко, Олег Викторович

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

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

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

3. Изменение пропускной способности не приводит к серьезному изменению доли повторно переданных данных.

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

ЗАКЛЮЧЕНИЕ

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

1. При построении математической модели, исходя из того, что реакции протокола зависят от предыстории входных событий, поставлены в соответствие входные состояния процессов информационного обмена входным состояниям НКА с предикатами, реакции - выходным состояниям, а предыстория - внутренним „состояниям

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

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

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

5. Сформулированы условия логической завершенности протокола информационного обмена.

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

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

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

9. При применении методики обнаружения и коррекции внепротокольных прерываний для пропускной способности 128 кбит/с, доля повторно переданных уменьшиться в 3,80053 раза, для пропускной способности 1024 кбит/с в 3,79995 раза. А коэффициент использования пропускной способности для пропускной способности 128 кбит/с, увеличится на 1,82%, для пропускной способности 1024 кбит/с на 0,29%.

Список литературы диссертационного исследования кандидат технических наук Озаренко, Олег Викторович, 2009 год

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

2. Алешин, В. С. Автоматизированный анализ информационных ресурсов управления машиностроительным предприятием: Дис. . канд. техн. наук Вологда, 2003 183 с.

3. Арбиба, М. Алгебраическая теория автоматов, языков и полугрупп. Текст. / М. Арбиба // Пер. с англ. М., «Статистика», 1975 335 с.

4. Афанасьев, А.П. Решение задачи синтеза оптимального управления в распределенной среде Текст./А.П. Афанасьев, Д.А. Хуторной// Проблемы вычислений в распределенной среде: прикладные задачи. Труды ИСА РАН. -М.: РОХОС, 2004, с.119-125.

5. Ахо, А. Структуры данных и алгоритмы Текст./ Ахо А., Д. Хоп-крофт, Д. Ульман Джеффри // Вильяме, 2000, 384 с .

6. Бардзинь Я.М. Язык спецификаций SDL и методика его использования Текст. / Я.М. Бардзинь, А.А. Калниньш, Ю.Ф. Стродс, В.А. Сыцко // Рига: ЛГУ, 1986.

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

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

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

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

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

12. Брейкин, Т.В. К вопросу об автоматизации функций принятия решений на машиностроительном предприятии Текст. / Т.В. Брейкин, JI.3. Камалова, П.И. Тарарако // Управление в сложных системах": Межвузовский научный сборник. -Уфа, УГАТУ. 1999.-С.231-238.

13. Бродский, Ю.И. Имитационное моделирование в распределенной информационно-вычислительнойсредеТекст./Ю.И.^Бродский,--Я.Р— Гринберг, Ю.Н. Павловский// Проблемы вычислений в распределенной среде: прикладные задачи. Труды ИСА РАН. М.: РОХОС, 2004, с.95-110.

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

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

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

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

18. Волкова, И.А. Формальные грамматики и языки. Элементы теории трансляции (издание второе, переработанное и дополненное) Текст./ И.А. Волкова, Т.В. Руденко //Издательский отдел факультета ВМиК МГУ, 1998.62 с.

19. Гаврилов, М.А. Логическое проектирование дискретных автоматов Текст./ М.А. Гаврилов, В.В. Девятков, Е.И. Пупырев // М.: Наука, 1977.

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

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

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

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

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

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

26. Еременко, В.Т. Алгоритмическое обеспечение отказоустойчивости информационно-управляющих систем Текст. / В.Т. Еременко, С.В. Костин // Наука и практика № 5 2004 г. - Орел: Орловский ЮИ. - С. 92 - 94.

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

28. Еременко, В.Т. Математическое моделирование процессов информационного обмена в распределенных управляющих системах Текст. / В.Т. Еременко // Монография /Под общей редакций Константинова И.С. м.: Машиностроение - 1, 2004. - 224 с.

29. Еременко, В.Т. Методика оценки безопасности АСУ Текст./ В.Т. Еременко // Материалы всесоюзной научно-технической конференции. Киев: КВВИДКУС, 1991 г. - С. 24-28.

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

31. Еременко, В.Т. Основы построения информационно-телекоммуникационных систем Текст. / В.Т. Еременко // Учебное пособие. Часть 2. Орел: Орловский юридический институт МВД России, 1999. - 129 с.

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

33. Ильясов, Б.Г. Моделирование производственно-рыночных систем Текст. / Б.Г. Ильясов, JI.A. Исмагилова, Р.Г. Валеева // Уфа: Изд. УГАТУ, 1995,-321 с.

34. Калянов, Г.Н. Номенклатура CASE-средств и виды проектной деятельности Текст. / Г.Н. Калянов //Системы Управления Базами Данных -1997,-№2,-с 18-21.

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

36. Кобринский, Н. Е. Введение в теорию конечных автоматов Текст. / Н.Е. Кобринский, Б.А. Трахтенброт // М.: Физматгиз, 1962 г., 404 с.

37. Колганов, С.К. Построение в условиях дефицита информации сводных оценок сложных систем Текст. / С.К. Колганов, В.В. Корников, П.Г. Попов, Н.В. Хованов // М.: Радио и связь, 1994. 79 с.

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

39. Константинов, И.С. Управление процессами информационного обмена в распределенной информационной среде в условиях перегрузки

40. Костин, С.В. Повышение надежности процессов информационного обмена в АСУП Текст. /С.В. Костин, Т.М. Парамохина// Известия Орел-ГТУ. Серия «Информационные системы и технологии» №2. — с.93-96, 2005.

41. Котов, В.Е. Сети Петри Текст. / В.Е. Котов // М. Наука. Главная редакции физико-математической литературы, 1984 160 с.

42. Кристофидес, Н. Теория графов. Алгоритмический подход Текст. / Н. Кристофидес //М.: Мир, 1978. 429 с.

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

44. Кузнецов, О.П. Графы логических автоматов и их преобразования Текст. / О.П. Кузнецов //Автоматика и телемеханика. 1975. N9.

45. Кульгин, М. Технология корпоративных сетей Текст. / М. Кульгин // Энциклопедия СПб.: Издательство «Питер», 1999. - 704 с.

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

47. Мардас, О.А. Информационное обеспечение автоматизированных систем управления качеством продукции промышленных предприятий : Дис. . канд. техн. наук СПб., 2005 210 с.

48. Мелихов, А.Н. Ориентированные графы и конечные автоматы Текст. / А.Н. Мелихов //М.: Наука, 1971, 416 с.

49. Мельников, Д.А. Информационные процессы в компьютерных сетях. Протоколы, стандарты, интерфейсы модули Текст./Д.А. Мельников// М.: КУДИЦ-ОБРАЗ, 2000

50. Мельников, Д. А. Информационные процессы в компьютерных сетях. Протоколы, стандарты, интерфейсь1, модели Текст.7^Д.А. Мельников-// — М.: КУДИЦ-ОБРАЗ, 1999. 256 с.

51. Набатов А.Н. Построение моделей производственных процессов для автоматизированной системы организационного управления машиностроительным предприятием: Дис. канд. техн. наук: 05.13.06.

52. Насыпный, В. В. Развитие теории построения открытых систем на основе информационной технологии искусственного интеллекта Текст. / В.В. Насыпный // М.: Военное издательство, 1994. 328 с.

53. Озаренко, О.В. Имитационная модель процессов информационного обмена Текст. / О.В. Озаренко, В.Т.Еременко, // Известия ОрелГТУ. III Международная научно-техническая конференция (ИТНОП). Материалы конференции. Т.1. 2008, №1-2/269(544) - С. 187-190.

54. Озаренко, О.В. Методика обнаружения и коррекции внепротокольных прерываний в сетях передачи данных Текст. / О.В. Озаренко, В.И. Раков // Известия ОрелГТУ. Серия "Информационные системы и технологии"- № 2/52. 2009. - С. 103 - 110.

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

56. Пешков, Г.Ф. Формирование функциональной-структуры управле— — ния машиностроительным предприятием Текст./ Г.Ф. Пешков, А.В. Речкалов // Свердловск, Препринт УНЦ АН СССР, 1985,-124с.

57. Погодаев, А.К. Развитие современных информационных технологий для повышения эффективности автоматизированных систем управления качеством : Дис. д-ра техн. наук Липецк, 2003 380 с.

58. Пономарев, Д.Ю. Вероятностно-временные характеристики асинхронных информационных сетей с учетом самоподобия Текст./ Д.Ю. Пономарев// Научное издание Красноярск: НИИ СУВПТ,2 002.-194 с.

59. Пономарев, Д.Ю. Потери в системах массового обслуживания с учетом свойства самоподобия Текст./ Д.Ю. Пономарев, М.Н. Петров // Тезисы докладов 6-ой Всероссийской научно-практической конференции "Проблемы информатизации региона". Красноярск; КГТУ, 2000.

60. Попов, Э.В. Реинжиниринг бизнес-процессов и информационные технологии (Экспертные системы реального времени) Текст. / Э.В. Попов, М.Д. Шапот// Открытые системы. 1996.-№ 1, - С. 63-75.

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

62. Потапова, Т.Б. Интеграция АСУТП и АСУП Текст./Т.Б. Потапова// Известия Орловского государственного технического университета. Серия «Информационные технологии в науке, образовании и производстве»- Т1. -2004. 75 с. - 200 экз.

63. Пранявичюс, Г. Модели и методы исследования вычислительных систем Текст. / Г. Пранявичюс // Вильнюс: Мокслас, 1982. 228с.

64. Пучнин, Н.Б. Система информационной поддержки принятия решений при стратегическом управлении машиностроительным предприятием : Дис. канд. техн. наук Уфа, 2005 139 с.

65. Руководство по технологиям объединенных сетей //cisco systems , 4-е издание, Вильяме 2005.

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

67. Савина, О.А. Управление промышленными предприятиями с использованием систем поддержки решений Текст. /О.А. Савина// М.: Издательство МАИ, 2000. 256 с.

68. Симановский, Е.А. Оценка необходимой полосы пропускания внешнего канала корпоративной сети Текст. / Е.А. Симановский , В.Г. Грачев // Труды Всероссийской научно-методической конференции «Телемати-ка'2003». СПб., 2003. - Т1. - С. 279-281.

69. Спецификация Microsoft на основные функции RDP Электронный ресурс. http://msdn.microsoft.com/en-us/library/cc240445(PROT. 10).aspx

70. Спецификация Microsoft на графические расширения RDP Электронный ресурс. -http://msdn,microsoft.com/en-us/library/cc241537(PROT.10).aspx

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

72. Сухорослов, О.В. Имитационное моделирование пиринговых систем Текст. /О.В. Сухорослов//Проблемы вычислений-в распределенной'среде: прикладные задачи. Труды ИСА РАН. М.: РОХОС, 2004, с.44-94.

73. Сухорослов О.В. Пиринговые системы: концепция, архитектура и направления исследований Текст. /О.В. Сухорослов// Проблемы вычислений в распределенной среде: прикладные задачи. Труды ИСА РАН. М.: РОХОС, 2004, с.7-43.

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

75. Трахтенгерц, Э.А. Компьютерная поддержка принятия решений: Научно-практическое издание Текст. /Э.А. Трахтенгерц // Серия "Информатизация России на пороге XXI века". М.: СИНТЕГ, 1998. - 376 с.

76. Форд, JI. Р. Потоки в сетях Текст./ Л. Р. Форд, Д. Фалкерсон // Пер. с англ.—М,: Мир, 1986.—276 с. 276 с.

77. Хоар, Ч. Взаимодействующие последовательные процессы / Ч. Хоар //М.: Мир 1989 г.

78. Чариков, П.Н. Системное моделирование организационного управления машиностроительным предприятием при производстве под заказ : Дис. канд. техн. наук : Уфа, 2004 162 с.

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

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

81. Шильняк, Д.Д. Децентрализованное управление сложными системами Текст./ Д.Д. Шильняк // Пер. с англ. М.: Мир, 1994. - 576 с.

82. Щербо, В.К. Стандарты вычислительных сетей. Взаимосвязи сетей. Справочник Текст./ В.К. Щербо // М.: КУДИЦ-ОБРАЗ, 2000. 268 с.

83. Яковенко Е.Г. Справочник разработчика АСУ Текст. / Е.Г. Яко-венко, А.А. Модин, Е.П. Погребной // М.: Экономика, 1978. 400 с.

84. Anders, Elc. Towards the industrial use of validation techniques and automatic test generation methods for SDL specifications. / Ek. Anders, J. Grabowski, D. Hogrefe //Technical report, 1998. 22 c.

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

86. A. Guerrouat, H. Richter A Formal Approach for Analysis and Testing of Reliable Embedded Systems

87. Besse, C. Optimization techniques and automatic test generation for ТСРЯР protocols/ Cederic Besse, A. Cavalli, D. Lee // 1998. 16 c.

88. 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

89. Goldsmith,-M.~ H. Modeling—and-Analysis~of Security Protocols,

90. Addison Wesley/ M. H. Goldsmith, Gavin, Bill Roscoe, P. Y. A. Ryan // 2000. -352 s.

91. H. Pranevicius, T. Kirvelaitis, I. Praneviciene. Numerical Model Transmission Control Protocol // Electronics and Electrical Engineering. Kaunas: Technologija, 2006. - No. 6(70). - P. 49-54.

92. Hubert Zimmermann OSI Reference Model — The ISO Model of Architecture for Open Systems InterconnectionPDF /Hubert Zimmermann// IEEE Transactions on Communications, vol. 28, no. 4, April 1980, pp. 425 432.

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

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

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

96. John D. Day, Hubert Zimmermann. The OSI Reference Model Proc. IEEE, vol. 71, no. 12, Dec. 1983, 1334-1341.

97. PRINCIPLES AND METHODS OF TESTING FINITE STATE MACHINES — A SURVEY David Lee, Mihalis Yannakakis, AT&T Bell Laboratories, Murray Hill, New Jersey, 1999.

98. SUPERVISORY CONTROL OF COMMUNICATING EXTENDED FINITE STATE MACHINES Yue Yang, Amin Mannani, Peyman Gohari, ECE Department, Concordia University, Montreal, QC, Canada, 2005

99. Towards Model Checking of Finite State Machines Extended with Memory through Refinement ELEFTHERAKIS G., KEF ALAS P., 2001

100. Tristan Richardson. Virtual „Network-Computing- / R. Tristan, S. Quentin, R. Kenneth, H. Andy // IEEE Internet Computing, Vol.2 No.l, Jan/Feb 1998 pp33-38

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