
- •Дидактический план
- •Литература Основная
- •Дополнительная
- •Тематический обзор
- •Основы моделирования информационных процессов
- •Системный подход к моделированию информационных процессов
- •Предмет теории моделирования
- •Роль и место моделирования в исследовании информационных процессов и систем
- •Подходы к исследованию информационных процессов и систем
- •Классификация моделей
- •Физические модели
- •Математические модели
- •Имитация функционирования системы. Предположим, исследуется вычислительная система (вс), состоящая из процессора 1 с основной памятью, устройство вода перфокарт 4, ацпу 2 и дисплея 3 (рис. 2.).
- •Моделирование систем и языки программирования
- •Математические схемы моделирования систем
- •Основные подходы к построению математических моделей информационных процессов и систем
- •Математические схемы
- •Типовые схемы
- •Непрерывно детерминированные модели (д - схемы)
- •Дискретно – детерминированные модели (f-схемы)
- •Дискретно-стохастические модели (p-схемы)
- •Непрерывно-стохастические модели (q - схемы)
- •Сетевые модели (n-схемы). Сети Петри
- •Обобщенные модели (а-схемы)
- •Организация и проведение вычислительного эксперимента
- •Методы планирования эксперимента на модели
- •Стратегическое планирование машинных экспериментов с моделями систем
- •Тактическое планирование машинных экспериментов с моделями систем
- •Планирование и реализация статистического моделирования информационных процессов на эвм
- •Общая характеристика метода статистического моделирования
- •Псевдослучайные последовательности и процедуры их машинной генерации
- •Проверка и улучшение качества последовательностей псевдослучайных чисел
- •Моделирование случайных воздействий на системы
- •Модель posix ose
- •Модели сред открытых систем
- •Модели распределённых систем
- •Базовые информационные процессы и их классификация
- •Концептуальный уровень
- •Логический уровень
- •Физический уровень
- •Модели процесса передачи данных
- •Потери при информационном взаимодействии
- •Модель дискретного канала связи
- •Модель непрерыного канала связи
- •Информационный предел избыточности для канала с независимыми ошибками
- •Информационный предел избыточности для канала с пакетными ошибками
- •Модели процесса обработки данных
- •Модели обслуживания вычислительных задач
- •Модели планирования вычислительного процесса
- •Вычислительный граф системы обработки
- •Модели процесса хранения и накопления данных
- •Инфологическая модель предметной области
- •Информационный граф системы обработки
- •Каноническая структура информационной базы
- •Выбор ключевых реквизитов
- •Модели процесса формализации знаний
- •Логическая модель представления знаний
- •Алгоритмическая модель представления знаний
- •Семантическая модель представления знаний
- •Фреймовая модель представления знаний
- •Глоссарий
- •Теория информационных процессов и систем
Информационный предел избыточности для канала с пакетными ошибками
В коммутируемых каналах появляются пакетные ошибки. Под пакетной ошибкой кратности /понимают ошибку в коде, поражающую i символов. Пакеты ошибок обычно представляются последовательностью плохих состояний канала связи. Выделение хорошего и плохого состояния канала приводит к модели двоичного симметричного канала с памятью. В частном случае группирование ошибок в таком канале может быть описано с помощью простой цепи Маркова. Канал имеет произвольное число состояний, однако должны быть заданы вероятности Pij перехода канала из состояния i в состояние j. Наиболее простой вариант дискретного канала с памятью возникает при наличии двух состояний S0 и S1.
Вероятности переходов из одного состояния в другое задаются матрицей
,
где Р00, Р11 — вероятности сохранения состояний; P00+P01=P10+P11=1
Группирование ошибок возможно при соблюдении условий P01«P00; P10«P11. Данная модель была предложена Э. Гилбертом и предполагает наличие хорошего (безошибочного) состояния с вероятностью сохранения Р00, когда ошибки отсутствуют, и плохого состояния с вероятностью сохранения Р11, когда возникают независимые ошибки с вероятностью искажения символа Р. Вероятности переходов могут быть отображены на графе модели дискретного симметричного канала с памятью, представленного на рис. 50.
Вероятность
нахождения канала в хорошем состоянии
составляет
,
соответственно
вероятность нахождения канала в
плохом состоянии —
.
Сравним
вероятность ошибки в двоичном симметричном
канале без памяти с вероятностью ошибки
в соответствующем канале с памятью.
Ошибки возникают в состоянии канала Sl
поэтому
вероятность
ошибки для канала с памятью
.
Нетрудно
видеть, что Рп«Р.
Выделение
плохого состояния канала связи позволяет
моделировать пакеты ошибок как
последовательность плохих состояний.
Длина этих последовательностей обычно
описывается геометрическим распределением.
Пакеты ошибок накладываются на
кодовую комбинацию, но не всегда вызывают
искажение символа. Поэтому плохое
состояние канала S1
может
быть подразделено на два состояния:
правильное выявление элементов кода
и ошибка в выявлении. Плохое состояние
канала с правильным выявлением
элементов обозначим S10,
плохое
состояние с ошибочным выявлением — S11
(рис.
51).
Тогда матрица переходных вероятностей принимает вид
.
Видно, что первый столбец матрицы соответствует состоянию канала S0, второй столбец — состоянию S10 и третий столбец — состоянию S11. Модель независимых ошибок для плохого состояния канала связи позволяет аналитическим путем на основе аппарата производящих функций найти вероятность возникновения ошибок на длине кода n. Параметры дискретного симметричного канала с памятью могут быть найдены также на основе обработки результатов экспериментальных исследований канала связи. Обычно вводят функцию распределения длин интервалов между ошибками и связывают параметры модели дискретного канала с памятью с результатами экспериментального исследования канала связи. Исследование коммутируемых телефонных каналов, используемых для передачи данных, показало, что P10»P01, вероятность ошибки может при этом меняться в достаточно широких пределах. Для канала с пакетными ошибками может быть установлен и информационный предел избыточности.
Если для передачи информации используется код, исправляющий s ошибок, при кодовом расстоянии d=2s+1, то количество контрольной информации составляет
,
где M(j,n) — число разновидностей ошибок с длиной пакета j в n элементном коде; Р(j) — вероятность возникновения пакетной ошибки с длиной j
.
Отсюда
.
Если допустить, что вероятности возникновения пакетной ошибки любой кратности одинаковы, т. е. Р(0)=Р(1) = ... = Р(j) = ... = Р1, то получаем
.
Из
условия нормировки вероятностей
P(j)=1.
Отсюда
.
Количество контрольной информации
.
Информационный предел избыточности kmin=IK для двоичного кода. Отсюда число контрольных элементов составляет
.
В соответствии с этим информационным пределом могут быть построены корректирующие коды, которые оказываются целесообразными при равновероятных пакетных ошибках в дискретных каналах связи.
Модель Э. Гилберта является простейшей моделью дискретного симметричного канала с памятью. Некоторым обобщением этой модели может быть допущение ошибок не только в плохом, но и в хорошем состоянии. При этом матрица переходных вероятностей P(S) сохраняет свою справедливость, вводятся вероятности ошибки в хорошем Р(0) и плохом Р(1) состояниях. Связь с введенной ранее вероятностью ошибки Р определяется выражением
Р=Р(0)Р0+Р(1)Р1.
Развитием модели Э. Гилберта может быть введение ряда состояний каналов связи с соответствующими реальными значениями вероятностей ошибки. Большое значение на практике приобретают модели каналов связи, полученные на основе экспериментального исследования. Существует большое число таких моделей, которые пригодны для конкретных, достаточно ограниченных случаев применения.