Лекция 10
(Р-СХЕМЫ)
Рассмотрим особенности построения математических схем при дискретно-стохастическом подходе к формализации процесса функционирования исследуемой системы S. Так как сущность дискретизации времени при этом подходе остается аналогичной рассмотренным в разделе 3 конечным автоматам, то влияние фактора стохастичности проследим также на разновидности таких автоматов, а именно на вероятностных (стохастическиих) автоматах.
Основные соотношения. В общем виде вероятностный автомат (англ. probabilistic automat) можно определить как дискретный потактный преобразователь информации с памятью, функционирование которого в каждом такте зависит только от состояния памяти в нем и может быть описано статистически.
Применение схем вероятностных автоматов (Р-схем) имеет важное значение для разработки методов проектирования дискретных систем, проявляющих статистически закономерное случайное поведение, для выяснения алгоритмических возможностей таких систем и обоснования границ целесообразности их использования, а также для решения задач синтеза по выбранному критерию дискретных стохастических систем, удовлетворящих заданным ограничениям.
Введем математическое понятие Р-автомата, используя понятия, введенные для F-автомата. Рассмотрим множество G, элементами которого являются всевозможные пары (xi, zs), где xi и zs — элементы входного подмножества X и подмножества состояний Z соответственно. Если существуют две такие функции φ и ψ, то с их помощью осуществляются отображения G→Z и G→Y, то говорят, что F= <Z, X, Y, φ, ψ) определяет автомат детерминированного типа.
Введем в рассмотрение более общую математическую схему. Пусть Ф — множество всевозможных пар вида (zk, yj), где yj — элемент выходного подмножества Y. Потребуем, чтобы любой элемент множества G индуцировал на множестве Ф некоторый закон распределения следующего вида:
Элементы из Ф | … | (z1,y1)… | (z1,y2)… | … | (zK,yJ-1) | (zK,yJ) |
(xi,zk) | … | b11 | b12 | … | bK(J-1) | bKJ |
При этом где bkj вероятности перехода автомата в состояние zk и появления на выходе сигнала yj, если он был в состоянии zs и на его вход в этот момент времени поступил сигнал х . Число таких распределений, представленных в виде таблиц, равно числу элементов множества G. Обозначим множество этих таблиц через В. Тогда четверка элементов P=<Z, X, Y, В> называется вероятностным автоматом (Р- автоматом).
Пусть элементы множества G индуцируют некоторые законы распределения на подмножествах Y и Z, что можно представить соответственно в виде:
Элементы из Y | … | y1 | y2 | … | yj-1 | yJ |
(xi,zS) | … | q1 | q2 | … | qj-1 | qJ |
Элементы из Z | … | z1 | z2 | … | zK-1 | zK |
(xi,zS) | … | z1 | z2 | … | zK-1 | zK |
При этом и , где zk и qk - вероятности перехода Р- автомата в состояние zk и появления выходного сигнала ук при условии, что Р- автомат находился в состоянии zs, и на его вход поступил входной сигнал хi.
Если для всех к и j имеет место соотношение qkzi=bkj, то такой Р-автомат называется вероятностным автоматом Мили. Это требование означает выполнение условия независимости распределений для нового состояния Р-автомата и его выходного сигнала.
Пусть теперь определение выходного сигнала Р-автомата зависит лишь от того состояния, в котором находится автомат в данном такте работы. Другими словами, пусть каждый элемент выходного подмножества Y индуцирует распределение вероятностей выходов, имеющее следующий вид:
Элементы из Y | … | y1 | y2 | … | yK-1 | yK |
zK | … | s1 | s2 | … | sI-1 | sI |
Здесь , где Si — вероятность появления выходного сигнала yi при условии, что Р- автомат находился в состоянии zk.
Возможные приложения. Если для всех k и i имеет место соотношение zksi=bki то такой Р- автомат называется вероятностным автоматом Мура. Понятие Р- автоматов Мили и Мура введено по аналогии с детерминированным F-автоматом, задаваемым F=<Z, X, Y, φ, ψ>. Частным случаем Р- автомата, задаваемого как Р= <Z, X, Y, В), являются автоматы, у которых либо переход в новое состояние, либо выходной сигнал определяются детерминированно. Если выходной сигнал Р- автомата определяется детерминированно, то такой автомат называется Y-детерминированным вероятностным автоматом. Аналогично, Z-детерминированным вероятностным автоматом называется Р- автомат, у которого выбор нового состояния является детерминированным.
Подобные Р- автоматы могут использоваться как генераторы марковских последовательностей, которые необходимы при построении и реализации процессов функционирования систем S или воздействий внешней среды Е.
Для оценки различных характеристик исследуемых систем, представляемых в виде Р- схем, кроме рассмотренного случая аналитических моделей можно применять и имитационные модели, реализуемые, например, методом статического моделирования.