Математические схемы вероятностных автоматов

Реферат

понятия «математическая схема» позволяет рассматривать математику не как метод расчёта, а как метод мышления, как средство формулирования понятий, что является наиболее важным при переходе от словесного описания системы к формальному представлению процесса её функционирования в виде некоторой математической модели (аналитической или имитационной).

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

Математическую схему можно определить как звено при переходе от содержательного к формальному описанию процесса функционирования системы с учётом воздействия внешней среды, т. е. имеет место цепочка «описательная модель – математическая схема – математическая (аналитическая или имитационная) модель».

Каждая конкретная система S характеризуется набором свойств, под которыми понимаются величины, отражающие поведение моделируемого объекта (реальной системы) и учитывающие условия её функционирования во взаимодействии с внешней средой (системой Е).

При построении математической модели системы необходимо решить вопрос об её полноте. Полнота модели регулируется в основном выбором границы «система S – среда Е».

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

а) совокупность входных воздействий на систему x i є X, i=1, nx ;

б) совокупность воздействий внешней среды v l є V, l=1, nv ;

в) совокупность внутренних параметров системы h k є H, k=1, nH ;

г) совокупность выходных характеристик системы y i є Y, j=1, ny .

При этом в перечисленных подмножествах можно выделить управляемые и неуправляемые переменные. В общем случае x i , vl , hk , yi являются элементами непересекающихся подмножеств и содержат как детерминированные, так и стохастические составляющие.

При моделировании системы S входные воздействия, воздействия внешней среды Е и внутренние параметры системы являются независимыми (экзогенными) переменными, которые в векторной форме имеют соответственно вид x (t)=(x 1 (t), x2 (t), …, xnX (t)); v(t)=( v1 (t), v2 (t),…, vnV (t)); h(t)=h1 (t), h2 (t), …, hnH (t)), а выходные характеристики системы являются зависимыми (эндогенными) переменными и в векторной форме имеют вид y (t)=(y1 (t), y2 (t), …, ynY (t)).

12 стр., 5945 слов

Автоматические системы управления

... систем автоматического управления и контроля» явилось следствием накопления большого объёма материала, посвященного исследованиям различных устройств автоматики и его систематизации, которая впервые в нашей стране проведена 1. История развития Теория автоматического ...

Процесс функционирования системы S описывается во времени оператором F S , который в общем случае преобразует экзогенные переменные в эндогенные в соответствии с соотношениями вида

y(t) = F S (x, v, h, t).

(1.1)

Совокупность зависимостей выходных характеристик системы от времени y i (t) для всех видов j=1, ny называется выходной траекторией y(t).

Зависимость (1.1) называется законом функционирования системы S и обозначается FS . В общем виде закон функционирования системы FS может быть задан в виде функции, функционала, логических условий, в алгоритмической и табличной формах или в виде словесного правила соответствия.

Весьма важным для описания и исследования системы S является понятие алгоритма функционирования A S , под которым понимается метод получения выходных характеристик с учётом входных воздействий x (t), воздействий внешней среды v(t) и собственных параметров системы h(t).

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

Соотношения (1.1) являются математическим описанием поведения объекта (системы) моделирования во времени t, т. е. отражают его динамические свойства. Поэтому математические модели такого вида принято называть динамическими моделями (системами).

Для статических моделей математическая модель (1.1) представляет собой отображение между двумя подмножествами свойств моделируемого объекта Y и (X, V, H), что в векторной форме может быть записано как

y = f (x, v, h, ).

(1.2)

Соотношения (1.1) и (1.2) могут быть заданы различными способами: аналитически (с помощью формул), графически, таблично. Такие соотношения в ряде случаев могут быть получены через свойства системы S в конкретные моменты времени, называемые состояниями. Состояние системы S характеризуется векторами z ‘= (z 1 ‘, z2 ‘, …, zk ‘) и z »= (z1 », z2 », …, zk »), где z1 ‘= z1 (t’), z2 ‘= z2 (t’), …, zk ‘= zk (t’) в момент t»є (t0 , T); z1 »= z1 (t»), z2 »= z2 (t»),…, zk »= zk (t») в момент t»є (t0 , T) и т. д.

Если рассматривать процесс функционирования системы S как последовательную смену состояний z 1 (t), z2 (t),…, zk (t), то они могут быть интерпретированы как координаты точки в k-мерном фазовом пространстве, причём каждой реализации процесса будет соответствовать некоторая фазовая траектория. Совокупность всех возможных значений состояний {z} называется пространством состояний объекта моделирования Z, причём zk є Z.

3 стр., 1204 слов

Системы электроснабжения объектов. Понятие о системах электроснабжения

... определенной территории. Электрическая сеть объекта электроснабжения, называемая системой электроснабжения объекта, является продолжением электрической системы. 3. Электрические параметры электроэнергетических систем электроснабжение трансформатор энергия При ... и защиты от молнии. 2. Виды электроустановок В системе электроснабжения объектов можно выделить три вида электроустановок: по производству ...

Состояния системы S в момент времени t 0< t* T полностью определяются начальными условиями z0 =(z10, z20, …, zk0), входными воздействиями x (t), внутренними параметрами h(t) и воздействиями

внешней среды v(t), которые имели место за промежуток времени t * — t0 , с помощью двух векторных уравнений

z(t) = Ф(z 0 , x, v, h, t); (1.3)

y(t) = F(z, t).

(1.4)

Первое уравнение по начальному состоянию z 0 и экзогенным переменным x, v, h определяет вектор-функцию z(t), а второе по полученному значению состояний z(t) – эндогенные переменные на выходе системы y(t).

Таким образом, цепочка уравнений объекта «вход – состояния – выход» позволяет определить характеристики системы

y(t) = F[Ф(z 0 , x, v, h, t)]. (1.5)

В общем случае время в модели системы S может рассматриваться на интервале моделирования (0, Т) как непрерывное, так и дискретное, т. е. квантованное на отрезки длиной ∆t временных единиц каждый, когда T = m∆t, где m=1, mT – число интервалов дискретизации.

Таким образом, под математической моделью объекта (реальной системы) понимают конечное подмножество переменных {x, v, h} вместе с математическими связями между ними и характеристиками y(t).

Если математическое описание объекта моделирования не содержит элементов случайности или они не учитываются, т.е. если можно считать, что в этом случае стохастическое воздействие внешней среды v(t) и стохастические внутренние параметры h(t) отсутствуют, то модель называется детерминированной в том смысле, что характеристики однозначно определяются детерминированными входными воздействиями

y = f (x, t).

(1.6)

Очевидно, что детерминированная модель является частным случаем стохастической модели.

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

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

автоматы, а для представления системы с непрерывным временем – системы массового обслуживания.

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

71 стр., 35469 слов

Эквивалентность и минимизация конечных автоматов

... s (т.е. под воздействием какого-либо входного слова автомат попадает в это состояние). Таким образом, состояние s ÎS конечного автомата является недостижимым тогда и только тогда, когда ... 1.3 Минимизация конечного автомата Разные конечные автоматы могут функционировать одинаково, даже если у них разное число состояний. Важной задачей является нахождение минимального конечного автомата, который ...

2 Дискретно-детерминированные модели

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

Автомат можно представить как некоторое устройство (чёрный ящик), на которое подаются входные сигналы и снимаются выходные и которое может иметь некоторые внутренние состояния.

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

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

Введём математическое понятие Р-автомата. Рассмотрим множество G, элементами которого являются всевозможные пары (x i , zj ), где xi и zj — элементы входного подмножества Х и подмножества состояний Z соответственно. Если существуют две такие функции φ и ψ, то с их помощью осуществляются отображения G→Z и G→Y, то говорят, что F=Z, X, Y,φ, ψ определяет автомат детерминированного типа.

Введём в рассмотрение более общую математическую схему. Пусть Ф – множество всевозможных пар вида (z k , yj ), где yj – элемент выходного подмножества Y . Потребуем, чтобы любой элемент множества G индуцировал на множестве Ф некоторый закон распределения следующего вида:

Элементы из Ф … (z 1 , y1 )… (z1 , y2 )… … (zk , yJ-1 ) (zk , yJ )

(x i , zk ) … b11 b12 … bK(J-1) bKJ

При этом ∑ ∑ b kj =1, где bkj – вероятности перехода автомата в состояние zk и появления на выходе сигнала yJ , если он был в состоянии z и на его вход в этот момент времени поступил сигнал xi . Число таких распределений, представленных в виде таблиц, равно числу элементов

множества G. Обозначим множество этих таблиц через В. Тогда четвёрка элементов F=Z, X, Y, В называется вероятностным автоматом (Р-автоматом).

Пусть элементы множества G индуцируют некоторые законы распределения на подмножествах Y и Z, что можно представить соответственно в виде:

3 стр., 1447 слов

По ОБЖ «автомат Калашникова»

... темы. Тема: Назначение и боевые свойства автомата Калашникова. На экране высвечивается слайд № 1. Рис.1. Автомат Калашникова.(АКМ) 1. 7,62-мм модернизированный автомат Калашникова является индивидуальным оружием и предназначен для ... ПКМТ, ПКБ, ПКМБ. Автоматическое оружие системы М.Т. Калашникова широко распространено в мире. Автоматов системы М.Т. Калашникова различных модификаций, по имеющимся в ...

Элементы из Y … y 1 y2 … yJ-1 yJ

(x i , zJ ) … q1 q2 … qJ-1 qJ

Элементы из Z … z 1 z2 … zK-1 zK

(x i , zJ ) … z1 z2 … zK-1 zK

При этом ∑ z k = 1 и ∑ qk = 1, где zk и qk – вероятности перехода Р-автомата в состояние zk и появления выходного сигнала yk при условии, что Р-автомат находился в состоянии z, и на его вход поступил входной сигнал xi .

Если для всех k и j имеет место соотношение q k zi = bkj , то такой автомат называется вероятностным автоматом Мили. Это требование означает выполнения условия независимости распределений для нового состояния Р-автомата и его выходного сигнала.

Если для всех k и i имеет место соотношение z k si = bki , то такой Р-автомат называется вероятностным автоматом Мура. Понятие Р-автоматов Мили и Мура введено по аналогии с детерминированным F-автоматом, задаваемым F=Z, X, Y,φ, ψ. Частным случаем Р-автомата, задаваемого как Р=Z, X, Y, В, являются автоматы, у которых либо переход в новое состояние, либо выходной сигнал определяются детерминировано. Если выходной сигнал Р-автомата определяется детерминировано, то такой автомат называется Y-детерминированным вероятностным автоматом. На рис. 2.1 показан граф переходов этого автомата. Подобные Р-автоматы могут использоваться как генераторы марковских последовательностей, которые необходимы при построении и реализации процессов функционирования систем S или воздействий внешней среды Е.

Z-детерминированным вероятностным автоматом называется Р-автомат, у которого выбор нового состояния является детерминированным.

Библиографический список

[Электронный ресурс]//URL: https://drprom.ru/referat/matematicheskie-shemyi-veroyatnostnyih-avtomatov/

1. Советов, Б.Я., Яковлев, С.А. Моделирование систем: Учеб. для вузов / Б.Я. Советов, С.А. Яковлев. М.: Высш. шк, 2001. 343 с.