автореферат диссертации по информатике, вычислительной технике и управлению, 05.13.06, диссертация на тему:Комплекс моделей анализа и реализации протоколов передачи систем телеобработки информации АСУ

ВВЕДЕНИЕ.

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

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

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

1.3. Критический анализ существующих подходов к исследованию и реализации протоколов передачи

1.4. Постановка задачи исследования.

Выводы к главе I

2. МОДЕЛИ СИСТЕМНОГО АНАЛИЗА ПРОТОКОЛОВ ПЕРЕДАЧИ.

2.1. Модель спецификации протокола

2.1 Л. Абстрактная протокольная машина и концептуальная модель взаимодействия

2.1.2. Формализация протоколов средствами Е-сетей

2.2. Исследование эффективности процедур протоколов передачи.

2.3. Верификация протоколов передачи

2.4. Модель реализации

2.4.1. Логические матрицы.

2.4.2. Логические функции.

2.5. Структура разработки ПО протоколов передачи

Выводы к главе

3. КОМПЛЕКС МОДЕЛЕЙ АНАЛИЗА И РЕАЛИЗАЦИИ ПРОТОКОЛОВ ПЕРЕДАЧИ.

3.1. Предикатное исчисление сетей Петри

3.I.I. Основные определения

3.1.2. Подклассы сетей Петри

3.1.3. Основные свойства сетей Петри

3.2. Сведение Е-сетей к сетям Петри.

3.2.1. Процедура перехода

3.2.2. Основные теоремы

3.3. Переход от Е-сетевого описания к моделям имитации

3.4. Связь Е-сетей с логическими матрицами

Выводы к главе 3.

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

4.1. Формальное описание протокола В$С с привлечением АПМ.

4.1 Л. Основные положения.

4.1.2. Передача информации первичной станцией протокола BSC

4.1.3. Прием информации вторичной станцией протокола Б$С

4.2. Формализация протокола В£С средствами Е-сетей

4.3. Анализ протокола &£С на сетях Петри.

4.4. Исследование эффективности протокола В>$С .Ц

4.5. Алгоритмы реализации протокола В$С

Выводы к главе 4.

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

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

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

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

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

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

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

1. Выбраны и обоснованы методы формализации для моделей спецификации, имитации, верификации и реализации протоколов передачи.

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

3. Осуществлена экспериментальная проверка основных положений этапа системного анализа на примере версии реального протокола передачи В$С .

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

Основные выводы и результаты работы заключаются в следующем:

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

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

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

4. Предложен подход к построению имитационных моделей протоколов передачи на языке G Р$$ с предварительной формализацией процедур протоколов средствами Е-сетей и разделением потоков информации и управления в рамках абстрактной протокольной машины.

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

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

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

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

9. Осуществлена экспериментальная проверка основных положений этапа системного анализа на примере версии реального протокола передачи (управления информационным каналом) В$С

10. Разработана имитационная модель протокола В$С на языке GP0£ , позволяющая производить выбор системных параметров протокола применительно к характеристикам среды передачи (конкретным каналам связи).

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

ЗАКЛЮЧЕНИЕ

1. Позин И.Л., Щербо В.К. Телеобработка данных в автоматизированных системах. - М.: Статистика, 1976. - 180 с.

2. Жимерин Д.Г., Мясников В.А. Автоматизированные и автоматические системы управления. М.: Энергия, 1979. - 680 с.

3. Данилочкин В.П. Программное обеспечение телеобработки данных в ЕС ЭВМ. В кн.: Вычислительные средства в технике и системах связи. М.: Связь, 1978, вып. 3, с. Ill - 116.

4. Суздалев А.В. Сети передачи информации в АСУ. М.: Радио и связь, 1983. - 153 с.

5. Дэвис Д., Барбер Д., Прайс У., Соломонидес С. Вычислительные сети и сетевые протоколы: Пер. с англ. / Под ред. С.И.Самойленко. М.: Мир, 1982. - 562 с.

6. Квасницкий В.Н., Щерс А.Л., Виннер И.Б. и др. Вычислительные центры коллективного пользования / Под ред. В.А.Мясни-кова и Ф.И.Перегудова. М.: Финансы и статистика, 1982.- 264с.

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

8. Семенихин B.C., Ларионов A.M., Лапин B.C. Средства и сети телеобработки данных ЕС ЭШ. В кн.: Вычислительные средства в технике и системах связи. М.: Связь, 1978, вып. 3,с. 79 95.

9. Лапин B.C., Семенихин B.C. Концепции и перспективы развития телеобработки данных в ЕС ЭШ. В кн.: Вычислительная техника социалистических стран. М.: Статистика, 1977, вып. I, с. 60 - 71.

10. Мартин Дк. Телесвязь и ЭВМ. М.: Машиностроение, 1981. - 670 с.

11. Хауслей Т. Передача данных и системы телеобработки. -М.: Радио и связь, 1982. 200 с.

12. Выставкин Я.П. Сети обмена информацией между ЭВМ. -М.: Наука, 1975. 216 с.

13. Глушков В.М. и др. Сравнительный анализ ряда крупных зарубежных сетей ЭШ. Управляющие системы и машины, 1975, Р 5, с. I - 12.

14. Глушков В.М., Калиниченко Л.А., Лазарев В.Г., Сифоров В.И. Сети ЭШ / Под ред. В.М.Глушкова. М.: Связь, 1977. - 280 с.

15. Якубайтис Э.А. Архитектура вычислительных сетей. -М.: Статистика, 1980. 279 с.

16. Шварц М. Сети ЭВМ; Анализ и проектирование: Пер. с англ. / Под ред. В.А.Жожикашвили. М.: Радио и связь, 1981. -336 с.

17. Роберте Л.Г. Эволюция метода коммутации пакетов. -ТИИЭР, 1978, Р II, с. 12 20.

18. Иносэ X. Интегральные цифровые сети связи: Введение в теорию и практику: Пер. с англ. / Под ред. В.И.Нэймана. -M.s Радио и связь, 1982. 320 с.

19. Яновский Г.Г. Сети передачи данных с коммутацией пакетов. В кн.: Итоги науки и техники. Электросвязь. М.: ВИНИТИ, 1980, т. И, с. 3 - 47.

20. Келли П.Т.Ф. Сети передачи данных общего пользования с коммутацией пакетов. Международные планы и стандарты. ТИИЭР, 1978, Р II, с. 300 - 312.

21. Сети данных общего пользования: Оранжевая книга МККТТ. Том У1П.2 / Пер. под ред. Н.Н.Етрухина. М.: Связь, 1980. -205 с.

22. Вутрименко А.В. Разработка и эксплуатация сетей ЭВМ.

23. М.: Финансы и статистика, 1981. 256 с.

24. Анисимов Н.А. Средства формального описания сервиса и протоколов сетей ЭВМ с использованием сетей Петри: Препринт. -Владивосток: НАЛУ ДВЩ АН СССР, 1983. 31 с.

25. Пранявичюс Г.И., Хмеляускас А.В. Автоматизация построения моделей протоколов для верификации и исследования эффективности. В кн.: Вычислительные сети коммутации пакетов. Рига: ЙЭВТ, 1983, т. I, с. 108 - 112.

26. Пранявичюс Г.И., Хмеляускас А.В. Агрегативный подход и метод управляющих последовательностей как средство исследования корректности и эффективности протоколов: Препринт. М.: Научный совет по комплексной проблеме "Кибернетика" АН СССР, 1983. - 30 с.

27. Пранявичюс Г.й., Листопадскис Н.Ю. Агрегативный метод формализованного описания и моделирования протоколов (на примере протокола Х.25/3 ): Предварительная публикация. М.: Научный совет по комплексной проблеме "Кибернетика" АН СССР, 1982.63 с.

28. Радойков Е.С., Стрелков И.Н. Методы анализа связных протоколов. Проблеми на техническата кибернетика и роботика-та (НРБ), 1981, Р 13, с. 27 - 32.

29. Ротанов С.В. Верификация процедур передачи данных канального протокола. Рукопись деп. в ВИНИТИ, IP 2405 а - 82, 1982. - 8 с.

30. Зайцев С.С., Мурадян Н.А. Методы проверки правильности функционирования сетевых протоколов: Препринт. М.: Научный совет по комплексной проблеме "Кибернетика" АН СССР, 1983. -66 с.

31. Ротанов С.В., Подвысоцкий Ю.С. Анализ процедур передачиданных канального протокола: Препринт. М.: Научный совет по комплексной проблеме "Кибернетика" АН СССР, 1982. - 26 с.

32. Седьмая Всесоюзная школа-семинар по вычислительным сетям. Тезисы докладов, часть 3. Москва-Ереван: Научный совет по комплексной проблеме "Кибернетика" АН СССР, 1983. - 218 с.

33. Вычислительные сети коммутации пакетов. Тезисы докладов третьей Всесоюзной конференции, часть I. Рига: ЙЭВТ, 1983. -231 с.

34. Дьяченко В.Ф., Соловьев А.В., Черняев В.Г. Формальные методы описания и анализа протоколов информационно-вычислительных сетей: Препринт. М., 1982. - 17 с.

35. Бутрименко А.В., Рыков В.В. Соотношения параметров и эффективность протоколов канального, сетевого и транспортного уровней. В кн.: Рекомендация МККТТ Х.25 и ее применение в информационно-вычислительных сетях. М.: МЦНТИ, 1983, вып. 24, с. 176 - 191.

36. Аветов Ю.В., Головин Ю.А. Формализация и оценка эффективности протокола Х.25/2. В кн.: Рекомендация МККТТ Х.25 и ее применение в информационно-вычислительных сетях. М.: МЦНТИ, 1983, вып. 24, с. 146 - 159.

37. Кобрин Э.К. Разработка и программная реализация протоколов взаимодействия абонентов с базами данных. В кн.: Шестая Всесоюзная школа-семинар по вычислительным сетям. Москва-Винница: Научный совет по комплексной проблеме "Кибернетика"

38. АН СССР, 1981, часть 3, с. 104 109.

39. Зелковиц М., Шоу А., Геннон Дк. Принципы разработки программного обеспечения: Пер. с англ. / Под ред. С.Д.Пашкеева. М.: Мир, 1982. - 369 с.

40. Липаев В.В., Серебровекий Л.А., Гаганов П.Г. и др.

41. Технология проектирования комплексов программ АСУ / Под ред. Ю.В.Асафьева, В.В.Липаева. М.: Радио и связь, 1983. - 264 с.

42. Липаев В.В. Качество программного обеспечения. М.: Финансы и статистика, 1983. - 263 с.

43. Розенблюм Л.Я. Сети Петри. Известия АН СССР. Техническая кибернетика, 1983, № 5, с. 12 - 40.

44. Головин Ю.А., Кутузов О.И., Стешенко А.Г. Применение формализованных методов для описания и исследования протоколов связи. В кн.: ХХУ областная НТК, посвященная Дню радио. Тезисы докладов. Новосибирск: НДЙТП, 1982, с. 51 - 52.

45. Костин А.Е., Ильюшечкин В.М., Шаньгин В.Ф. Принципы организации диалоговой системы имитационного моделирования ВС. -В кн.: Алгоритмическое обеспечение и проектирование микропроцессорных вычислительных систем. М.: МИЭТ, 1981, с. 3-10.

46. Головин D.A. Исследование и разработка программируемых абонентских пунктов систем телеобработки информации АСУ с использованием аппарата сетей Петри. Автореф. дис. на соиск. учен, степени канд. техн. наук. Л., 1981. - 17 с.

47. Морозов В.Г., Бирюков В.А., Мартин Ю.Н., Давыдов Б.М., %стров А.К. О выборе алгоритма обмена данными между смежными центрами коммутации сообщений. Техника средств связи. Серия •НЮ, 1978, вып. б, с. 47 - 57.

48. Бусленко Н.П. Моделирование сложных систем. М.: Наука, 1978. - 355 с.

49. Голованов О.В., Дуванов С.Г., Смирнов В.М. Моделирование сложных дискретных систем на ЭВМ третьего поколения (опыт применения ). -М.: Энергия, 1978. 161 с.

50. Щрайбер Т.Дк. Моделирование на G $ : Пер. с англ. / Пер. В.И.Гаргера, И.Л.Шмуйловича; Ред. М.А.Файнберг. М.: Машиностроение, 1980. - 592 с.

51. Методы параллельного микропрограммирования / Под ред. О.Л.Бандман. Новосибирск: Наука, 1981. - 178 с.

52. Ахо А., Хопкрофт Дк., Ульман Дк. Построение и анализ вычислительных алгоритмов: Пер. с англ. / Под ред. Ю.В.Матиясе-вича. М.: Мир, 1979. - 536 с.

53. Гаврилов Г.П., Сапоженко А.А. Сборник задач по дискретной математике, М.: Наука, 1977. - 368 с.

54. Льюис Ф. и др. Теоретические основы проектирования компиляторов. М.: Мир, 1979. - 570 с.

55. Куаузов О.И., Стешенко А.Г. Синтез методики исследования, разработки и реализации протокольных структур сетей обмена информацией. В кн.: Системы обработки и передачи информации. Л.: ЛИАП, 1984, с. 61 - 67.

56. Стешенко А.Г, Формализованное описание протокола управления информационным каналом В$С логическими матрицами, рукопись деп. в ЦНИЙТЭЙприборостроения, Р 2017 пр. Д82.- 29с.

57. Клини С. Математическая логика. М.: Наука, 1973. -480 с.

58. Новиков П.С. Элементы математической логики. М.: Наука, 1973. - 399 с.

59. Гильберт Д., Бернайс П. Логические исчисления и формализация арифметики. М.: Наука, 1982. - 556 с.

60. Стешенко А.Г. Предикатное представление сетей Петри.

61. Рукопись деп. в ВИНИТИ, № 2921 84 Деп. - 9 с.

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

63. Стешенко А.Г. Исследование характеристик протокола В$С методом имитационного моделирования. В кн.: ХХУ областная НТК, посвященная Дню радио. Тезисы докладов. Новосибирск: НДН1П, 1982, с. 50 - 51.

64. Мультиплексоры передачи данных / Под общ. ред. В.С.Лапина, А.И.Корчинского. -М.: Энергия, 1980. 160 с.

65. Богданов В.М. Синхронные методы управления звеньями данных на сети телеобработки данных в 03 ЭВМ. В кн.: Вычислительные средства в технике и системах связи. - М.: Связь, 1978, вып. 3, с. 95 - 105.

66. Стешенко А.Г. Управление обменом информацией в ВС ЭВМ. Подраздел 1.3. Процедура передачи информации. Подраздел 1.4. -В кн.: Кутузов О.И., Цехановский В.В. Средства связи в АСУ. Л.: ЛЭТИ, 1981, с. 14 22.

67. Якубайтис Э.А. Проблемы создания вычислительных сетей.-Автоматика и вычислительная техника, 1980, Р I, с. 3-10.

68. Вальковский В.А., Котов В.Е., Марчук А.Г., Миренков Н.Н. Элементы параллельного программирования / Под ред. В.Е.Котова.-М.: Радио и связь, 1983. 240 с.

69. Бартон, Салливэн. Ошибки и контроль ошибок. В кн.: Системы передачи данных и сети ЭШ / Под ред. П.Грина и Р.Лаки.- М.: Мир, 1974, с. 34 44.

70. Подцубная Л.М. Статистическое моделирование на ЭВМ потоков ошибок реальных каналов связи. В кн.: Сборник научных трудов по проблемам микроэлектроники. М.: МИЭТ, 1976, вып. 31, с. 83 - 90.

71. Пейган Ф. Практическое руководство по Алголу 68. М.: Мир, 1979. - 240 с.

72. Ва^Ьеи EIN-an example of caofoehativein Europe.-A\ta Fheq,uznza, XLVIil.1. N8, jb.472.-495

73. Bert the, HM CC ITT heoommendatioh X.Z5-iQ?G to 1980,-A/at. Telecommun. Conj., Houston, Tex., Nov. 30 th-Die. 4th, {980. Conf Rec.Vol. M, jb. 4.Ъ/\-4.3/5

74. Martin X Comfyuttb hetwOhkg and cli$ihibu-te,d f)H>ce$0in(f: goftwahe, techhifueg and Qbchitecture.- Ppehtice-Hall, Inc. Ehglewood Chiffi, А/.I, f981.-52.G Jb.

75. Rybczyngki A.M.j Palfhaman Т.У). A common X. interface to public data hetwohkz.- Computer

76. A/etwohk$, 1980, v. 4, N3^. 9?-H0

77. Holzman 6.T. A theory for* protocol validation.-IEEE TranH. Comput.} 1981,V.31, A/8, p.?30-?3l

78. Xanthine A. Modelling and verification of end-to-end protocols. Mew Adv. 9)isthib. Comput.

79. Ptoc. NATO Adv. $tudy Inft.j Bonag, June. 15-26, 1981, p. 125-15887. $un$hine C.A. purvey of protocol definition and verification techniques. Proc. Comput. Network Protocol tfyrnj}., Vniv. Liege, Belgium, Feb. 1978, J>. F1/1-F1/4

80. Labetoulle X, Pujolle Q. Modelling and performance evaluation of the protocol hx)LC.-F/ow Couth Comput. Networks, {979, f>. 307-32.0

81. Alfonzetti Palazzo A formal description of the balanced link acceg procedure (LAPb).- Alte Fre^uenza, 1980, v.L, N1, p. 32.-37

82. Bochmann G.V., Joachim T. developmentand structure of an X.2.5 implem&jitatiOh.-Lecture. Notes in Computer faience,, 1979, N77, p. 2.2.1-2.55

83. HowdenW. E. Validation of ficithtifio programs.-ACM computing tfurvep; 1982 ,V. 14, N2., p. /93 -<L2.3

84. Aviv, 2.Ч-П May, mi, Р.5.Ш1-З.Ш5

85. Le Moli G. A theory of co/lofuie?, Alia Fre^uenza, 19 73,*7П, A/10, p. №-500

86. Noe Т.Ч)., Л/wit &.T. Маем E-heU for representation of parallel IEEE Tran$. on

87. Computer^ , 1973, V. A/8, p. 718-72.7

88. Noe J.7). A/eig in modelling and gimula-tion-lectttotet Сотр. $ci., 1980, V. 8Ц, \>ЛЧ?-*/00

89. Peter$on J.L. Pet hi /№$.- Comf>utin^ fZufvetf, 1977, V.9, h/3, f,. 2.2.5-2.51iOO. A/utt C.J. Evaluation ne+fi for commute* £y$tem performance analygig.-Proceedings of the Fall Toint computer conference, /972.,vAI,p. 2.79-2.85

90. M. Alfonzeiti Cafale FaroA., Palazzo 0. Algorithm^ to pa$& betweeh veriou$ protocol formalization: from logical matrices го variable structure Sequential machine and viceverga.-Alta Fhec^uenza, 1979, V.XLVIII, A/2. t p. 68-77

91. Ei£enbie>hg J.L. Conventions fop d ifUl communication /т л к design. ~ IBM $yitem Journal, MG6, v. 6, Л/4, f>. 267-302.- т

92. УТВЕРЖДАЮ" ** Генеральный предприятияский

93. УТВЕРЖДАЮ" ЛЭТИ по научной ,н., профессоргМ.Таиров1984 г.1. АКТо внедрении результатов диссертационной работы Стешенк© А.Г. на тему "Комплекс моделей анализа и реализации протоколов передачи систем телеобработки информации АСУ"

94. Разработана методика формализованного описания протоколов управления информационным каналом с ориентацией на исследование эффективности и реализацию протокольных процедур.- У 5 а

95. Элементы методики нашли применение для формализации протокола управления информационным каналом (НДЬС), что позволило существенно упростить процедуру проецирования сетевого процессора абонентского пункта,

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

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

98. Условный экономический эффект от внедрения результатов диссертационной работы составляет 24,5 тыс. рублей.

99. Настоящий акт не является основанием для выплаты материального поощрения.1. ЭТИим.В.И.Ульянова (Ленина)1. О.И.Кутузов