Диплом, курсовая, контрольная работа
Помощь в написании студенческих работ

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

Диссертация: Управление восстановлением процессов информационного обмена в объединенных сетях передачи данных
ДиссертацияПомощь в написанииУзнать стоимостьмоей работы

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

Содержание

  • 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 г., применены в программном средстве по формированию и выбору протокольных классов для службы обмена сообщениями «Профиль» (свидетельство о регистрации № 2 007 610 941 от 01.03.2007).

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

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

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

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

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

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

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

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

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

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

ЗАКЛЮЧЕНИЕ

.

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

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

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

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

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

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

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

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

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

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

Показать весь текст

Список литературы

  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. , Н. Теория графов. Алгоритмический подход Текст. / Н. Кристофидес //М.: Мир, 1978. 429 с.
  42. , В.Б. Введение в теорию автоматов Текст. / В. Б. Кудрявцев, С. В. Алешин, А. С. Подколзин // М.: Наука, 1985
  43. , О.П. Графы логических автоматов и их преобразования Текст. / О. П. Кузнецов //Автоматика и телемеханика. 1975. N9.
  44. , М. Технология корпоративных сетей Текст. / М. Кульгин // Энциклопедия СПб.: Издательство «Питер», 1999. — 704 с.
  45. , П. Ф. Принципы определения служб и спецификации протоколов / Текст. П. Ф. Линингтон // ТИИЭР— 1983— Т. 71, № 12—С. 17—22.
  46. , О.А. Информационное обеспечение автоматизированных систем управления качеством продукции промышленных предприятий : Дис.. канд. техн. наук СПб., 2005 210 с.
  47. , А.Н. Ориентированные графы и конечные автоматы Текст. / А. Н. Мелихов //М.: Наука, 1971, 416 с.
  48. , Д.А. Информационные процессы в компьютерных сетях. Протоколы, стандарты, интерфейсы модули Текст./Д.А. Мельников// М.: КУДИЦ-ОБРАЗ, 2000
  49. , Д. А. Информационные процессы в компьютерных сетях. Протоколы, стандарты, интерфейсь1, модели Текст.7^Д.А. Мельников-// — М.: КУДИЦ-ОБРАЗ, 1999. 256 с.
  50. А.Н. Построение моделей производственных процессов для автоматизированной системы организационного управления машиностроительным предприятием: Дис. канд. техн. наук: 05.13.06.
  51. , В. В. Развитие теории построения открытых систем на основе информационной технологии искусственного интеллекта Текст. / В. В. Насыпный // М.: Военное издательство, 1994. 328 с.
  52. , О.В. Имитационная модель процессов информационного обмена Текст. / О. В. Озаренко, В. Т. Еременко, // Известия ОрелГТУ. III Международная научно-техническая конференция (ИТНОП). Материалы конференции. Т.1. 2008, № 1−2/269(544) — С. 187−190.
  53. , О.В. Методика обнаружения и коррекции внепротокольных прерываний в сетях передачи данных Текст. / О. В. Озаренко, В. И. Раков // Известия ОрелГТУ. Серия «Информационные системы и технологии" — № 2/52. 2009. — С. 103 — 110.
  54. , Т.М. Автоматизация процессов аттестационных испытаний средств информационного обмена : дис.. кандидата технических наук Орел, 2007. с. 175
  55. , Г. Ф. Формирование функциональной-структуры управле— — ния машиностроительным предприятием Текст./ Г. Ф. Пешков, А. В. Речкалов // Свердловск, Препринт УНЦ АН СССР, 1985,-124с.
  56. , А.К. Развитие современных информационных технологий для повышения эффективности автоматизированных систем управления качеством : Дис. д-ра техн. наук Липецк, 2003 380 с.
  57. , Д.Ю. Вероятностно-временные характеристики асинхронных информационных сетей с учетом самоподобия Текст./ Д.Ю. Пономарев// Научное издание Красноярск: НИИ СУВПТ, 2 002.-194 с.
  58. , Д.Ю. Потери в системах массового обслуживания с учетом свойства самоподобия Текст./ Д. Ю. Пономарев, М. Н. Петров // Тезисы докладов 6-ой Всероссийской научно-практической конференции «Проблемы информатизации региона». Красноярск- КГТУ, 2000.
  59. , Э.В. Реинжиниринг бизнес-процессов и информационные технологии (Экспертные системы реального времени) Текст. / Э. В. Попов, М.Д. Шапот// Открытые системы. 1996.-№ 1, — С. 63−75.
  60. , Д. А. Игры и автоматы Текст./ Д. А. Поспелов //М.: Л.: Энергия, 1966, 134 с.
  61. , Т.Б. Интеграция АСУТП и АСУП Текст./Т.Б. Потапова// Известия Орловского государственного технического университета. Серия «Информационные технологии в науке, образовании и производстве" — Т1. -2004. 75 с. — 200 экз.
  62. , Г. Модели и методы исследования вычислительных систем Текст. / Г. Пранявичюс // Вильнюс: Мокслас, 1982. 228с.
  63. , Н.Б. Система информационной поддержки принятия решений при стратегическом управлении машиностроительным предприятием : Дис. канд. техн. наук Уфа, 2005 139 с.
  64. Руководство по технологиям объединенных сетей //cisco systems, 4-е издание, Вильяме 2005.
  65. , А. Н. Управление процессами информационного обмена в сетях передачи данных АСУ^ машиностроительного-предприятия :-дис. .— — кандидата технических наук: Орел, 2007. с. 144
  66. , О.А. Управление промышленными предприятиями с использованием систем поддержки решений Текст. /О.А. Савина// М.: Издательство МАИ, 2000. 256 с.
  67. , Е.А. Оценка необходимой полосы пропускания внешнего канала корпоративной сети Текст. / Е. А. Симановский, В. Г. Грачев // Труды Всероссийской научно-методической конференции «Телемати-ка'2003». СПб., 2003. — Т1. — С. 279−281.
  68. Спецификация Microsoft на основные функции RDP Электронный ресурс. http://msdn.microsoft.com/en-us/library/cc240445(PROT. 10).aspx
  69. Спецификация Microsoft на графические расширения RDP Электронный ресурс. -http://msdn, microsoft.com/en-us/library/cc241537(PROT.10).aspx
  70. Стандарт протокола RFB 3.8 Электронный ресурс. -http://www.realvnc.com/docs/rfbproto.pdf
  71. , О.В. Имитационное моделирование пиринговых систем Текст. /О.В. Сухорослов//Проблемы вычислений-в распределенной’среде: прикладные задачи. Труды ИСА РАН. М.: РОХОС, 2004, с.44−94.
  72. О.В. Пиринговые системы: концепция, архитектура и направления исследований Текст. /О.В. Сухорослов// Проблемы вычислений в распределенной среде: прикладные задачи. Труды ИСА РАН. М.: РОХОС, 2004, с.7−43.
  73. , С. В. Об одном подходе к построению имитационной модели производственного процесса Текст. /С. В. Терентьев// Материалы Всероссийской научно-практической конференции ИММОД-2003- СПб., 2003. -Т.1. С. 185−189.
  74. , Э.А. Компьютерная поддержка принятия решений: Научно-практическое издание Текст. /Э.А. Трахтенгерц // Серия «Информатизация России на пороге XXI века». М.: СИНТЕГ, 1998. — 376 с.
  75. , JI. Р. Потоки в сетях Текст./ Л. Р. Форд, Д. Фалкерсон // Пер. с англ.—М: Мир, 1986.—276 с. 276 с.
  76. , Ч. Взаимодействующие последовательные процессы / Ч. Хоар //М.: Мир 1989 г.
  77. , П.Н. Системное моделирование организационного управления машиностроительным предприятием при производстве под заказ : Дис. канд. техн. наук: Уфа, 2004 162 с.
  78. , Б.И. Интегрированная АСУ автоматизированных производств Текст./ Б. И. Черпаков // М.: ЭНИМС, 1992. 304 с.
  79. , О.И. Фрактальные процессы в телекоммуникациях Текст./О.И. Шелухин, A.M. Тенякшев, А. В. Осин // Москва: Радиотехника, 2003.
  80. , Д.Д. Децентрализованное управление сложными системами Текст./ Д. Д. Шильняк // Пер. с англ. М.: Мир, 1994. — 576 с.
  81. , В.К. Стандарты вычислительных сетей. Взаимосвязи сетей. Справочник Текст./ В. К. Щербо // М.: КУДИЦ-ОБРАЗ, 2000. 268 с.
  82. Е.Г. Справочник разработчика АСУ Текст. / Е.Г. Яко-венко, А. А. Модин, Е. П. Погребной // М.: Экономика, 1978. 400 с.
  83. 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.
  84. A Novel Framework for Test Domain Reduction using Extended Finite State Machine Nutchakorn Ngamsaowaros, Peraphon Sophatsathit, 2006
  85. A. Guerrouat, H. Richter A Formal Approach for Analysis and Testing of Reliable Embedded Systems
  86. Besse, C. Optimization techniques and automatic test generation for ТСРЯР protocols/ Cederic Besse, A. Cavalli, D. Lee // 1998. 16 c.
  87. 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
  88. Goldsmith,-M.~ H. Modeling—and-Analysis~of Security Protocols,
  89. Addison Wesley/ M. H. Goldsmith, Gavin, Bill Roscoe, P. Y. A. Ryan // 2000. -352 s.
  90. H. Pranevicius, T. Kirvelaitis, I. Praneviciene. Numerical Model Transmission Control Protocol // Electronics and Electrical Engineering. Kaunas: Technologija, 2006. — No. 6(70). — P. 49−54.
  91. 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.
  92. Huima A. Efficient infinite-state analysis of security protocols. // Presented at FLOC'99 Workshop on Formal Methods and Security Protocols, 1999
  93. 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.
  94. Improving The Timing Of Extended Finite State Machines Via Catalyst Shi-Yu Huang, 2004
  95. John D. Day, Hubert Zimmermann. The OSI Reference Model Proc. IEEE, vol. 71, no. 12, Dec. 1983, 1334−1341.
  96. PRINCIPLES AND METHODS OF TESTING FINITE STATE MACHINES — A SURVEY David Lee, Mihalis Yannakakis, AT&T Bell Laboratories, Murray Hill, New Jersey, 1999.
  97. SUPERVISORY CONTROL OF COMMUNICATING EXTENDED FINITE STATE MACHINES Yue Yang, Amin Mannani, Peyman Gohari, ECE Department, Concordia University, Montreal, QC, Canada, 2005
  98. Towards Model Checking of Finite State Machines Extended with Memory through Refinement ELEFTHERAKIS G., KEF ALAS P., 2001
  99. 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
  100. X-based VNC server. Virtual Network Computing. AT&T Laboratories Cambridge (1999) Электронный ресурс. -http://www.cl.cam.ac.uk/research/dtg/attarchive/vnc/xvnc.html
Заполнить форму текущей работой

На отлично!