Доставка любой диссертации в формате PDF и WORD за 499 руб. на e-mail - 20 мин. 800 000 наименований диссертаций и авторефератов. Все авторефераты диссертаций - БЕСПЛАТНО
Стешенко, Александр Георгиевич
05.13.06
Кандидатская
1984
Ленинград
154 c. : ил
Стоимость:
499 руб.
1. ПРОТОКОЛЫ ПЕРЕДАЧИ В СЕТЯХ ОБМЕНА ИНФОРМАЦИЕЙ АСУ
1.1. Сети обмена информацией автоматизированных
систем переработки информации и управления
1.2. Протоколы передачи в сетях обмена информацией
1.3. Критический анализ существующих подходов к исследованию и реализации протоколов передачи
1.4. Постановка задачи исследования
Выводы к главе I
2. МОДЕЛИ СИСТЕМНОГО АНАЛИЗА ПРОТОКОЛОВ ПЕРЕДАЧИ
2.1. Модель спецификации протокола
2.1.1. Абстрактная протокольная машина и концептуальная модель взаимодействия
2.1.2. Формализация протоколов средствами Е-сетей
2.2. Исследование эффективности процедур протоколов передачи
2.3. Верификация протоколов передачи
2.4. Модель реализации
2.4.1. Логические матрицы
2.4.2. Логические функции
2.5. Структура разработки ПО протоколов передачи
Выводы к главе
3. КОМПЛЕКС МОДЕЛЕЙ АНАЛИЗА И РЕАЛИЗАЦИИ ПРОТОКОЛОВ ПЕРЕДАЧИ
3.1. Предикатное исчисление сетей Петри
3.1.1. Основные определения
3.1.2. Подклассы сетей Петри
3.1.3. Основные свойства сетей Петри
3.2, Сведение Е-сетей к сетям Петри
3.2.1. Процедура перехода
3.2.2. Основные теоремы
3.3. Переход от Е-сетевого описания к моделям имитации
3.4. Связь Е-сетей с логическими матрицами
Выводы к главе
4. РЕЗУЛЬТАТЫ ПРИМЕНЕНИЯ ПРЕДЛАГАЕМОГО КОМПЛЕКСА МОДЕЛЕЙ ДЛЯ АНАЛИЗА ДВОИЧНО-СИНХРОННОГО МЕТОДА УПРАВЛЕНИЯ ЗВЕНОМ ДАННЫХ СЕТЕЙ ТЕЛЕОБРАБОТКИ ИНФОРМАЦИИ АСУ
4.1. Формальное описание протокола ВВС
с привлечением АЛМ
4.1.1. Основные положения
4.1.2. Передача информации первичной станцией
протокола ВВС
4.1.3. Прием информации вторичной станцией
протокола ВВС
4.2. Формализация протокола ВВС средствами Е-сетей
4.3. Анализ протокола ВВС на сетях Петри
4.4. Исследование эффективности протокола ВВС
4.5. Алгоритмы реализации протокола ВВС
Выводы к главе
ЗАКЛЮЧЕНИЕ
ЛИТЕРАТУРА
ПРИЛОЖЕНИЕ
СПИСОК СОКРАЩЕНИЙ
АОС - архитектура открытых систем
АПМ - абстрактная протокольная машина
АСУ - автоматизированная система управления
БС - блок сообщений
ВС - вторичная станция
ГКВУ - генератор команд для верхнего уровня
ИВС - информационно-вычислительная среда
ИВУ - интерфейс с верхним уровнем
КВхК - контекст входных команд
КВхС - контекст входных сообщений
КВыхК - контекст выходных команд
КВыхС - контекст выходных сообщений
КОП - код операции
КП - коммутация пакетов
КТК - кабельный телефонный канал
МККТТ - международный консультативный комитет по телефонии и телеграфии МОС - международная организация стандартов ЩЮй - международная федерация по обработке информации ОБ - обрабатывающий блок ПБ - процедурный блок ПКВУ - приемник команд от верхнего уровня ПО - программное обеспечение ПрБ - протокольный блок ПрС - протокольная станция ПС - первичная станция РРТК - радиорелейный телефонный канал
ках АПМ.
Рассмотрим формальное описание протоколов средствами Е-се-тей, воспользовавшись структурой АПМ, показанной на рис. 2.6.
I. Формализация входного (выходного) блока сообщений.
Е-сетевая модель входного БС представлена на рис. 2.8. На содержательном уровне модель определяет:
- поступление сообщения из канала передачи данных (позиция
ж,);
- разделение информационных и управляющих блоков (переход
X*);
- выделение из информационного блока текста (позиция ) для передачи к буферу и управления (позиция %$ ) на переходе ГЕ ;
- объединение управления (переход "Уе ) для передачи на обработку процедурному блоку ПБ (позиция ).
Формально функционирование входного БС задается следующим образом (правила описания Е-сетей даны в [97, 98] ):
М0 = 0 ;
X - { , 32/ [ЗД? ; Х^, Хц, Х^} '^'2.1
ХР={< Х{1Ъ1,ХН, х£, Х6 ] ;
у, - (х£ (#/, &/, ^ ( М (X/ (3)));
~ ( ) > 0
% = ^Уг &з, У, ) ; (?- );
Ч' (х$) = X/ : С М (Х/(Л)='/-М Г»} )*.= (?;
М (Х/(2)) = «/ — М (х*)'-41 ;
Ч* = : й М(Ъ) = 1-+ М(ь£):=01 ;
Название работы | Автор | Дата защиты |
---|---|---|
Прогнозирующее инверсное нейроуправление в условиях возмущений для позиционно-следящего пневмопривода | Марков, Николай Александрович | 2012 |
Моделирование системы управления международными инвестиционно-строительными проектами в регионе : На примере Московской области | Свистунов, Николай Иванович | 1999 |
Система автоматизированного мониторинга качества воздуха рабочей зоны предприятий лёгкой промышленности : на примере обувного производства | Ильинская, Александра Владимировна | 2013 |