Главная страница Случайная страница
КАТЕГОРИИ:
АвтомобилиАстрономияБиологияГеографияДом и садДругие языкиДругоеИнформатикаИсторияКультураЛитератураЛогикаМатематикаМедицинаМеталлургияМеханикаОбразованиеОхрана трудаПедагогикаПолитикаПравоПсихологияРелигияРиторикаСоциологияСпортСтроительствоТехнологияТуризмФизикаФилософияФинансыХимияЧерчениеЭкологияЭкономикаЭлектроника
Универсальный инициальный асинхронный вероятностный автомат по степени общности эквивалентен КЛА.
|
|
A = (X, Y, Z, Q, Pf, Pg, z0 Î Z).
x = (x1, x2,.., xm) Î X - входной сигнал (вектор постоянной размерности), X – ОДЗ вектора x.
xi Î Xi, i = 1(1)m, Xi – ОДЗ компонента xi вектора x.
y = (y1, y2,.., yn) Î Y - выходной сигнал (вектор постоянной размерности), Y – ОДЗ y.
yj Î Yj, j = 1(1)n, Yj – ОДЗ компонента y j вектора y.
z = (z1, z2, z3) Î Z,
z0Î Z,, z0 – детерминированное или случайное начальное состояние автомата.
Стохастическое начальное состояние возможно, например, при запуске автомата и возникающей при этом сразу после пуска нестационарной фазе моделируемого процесса.
z1 - вектор параметров (постоянная размерность).
z2 - вектор основных атрибутов (постоянная размерность).
z3 - вектор дополнительных атрибутов.
Размерность z3 - функция от z: ½ z3 ½ = f(z1).
Вектор параметров z1 содержит данные, необходимые для идентификации автомата:
- параметры состояния (тип, номер/имя);
- параметры, определяющие место автомата в автоматной модели (например, имя автомата-приемника);
- параметры, характеризующие поведение автомата (например, продолжительность обработки).
Все параметры в z1 определяются перед началом имитации и затем остаются неизменными во все время машинного эксперимента с автоматной моделью.
Вектор z2 содержит данные об основных атрибутах:
- переменные состояния, применяемые для нахождения оценок функционирования автомата;
- вспомогательные переменные, обеспечивающие возможность реализации функций Pf и Pg, например, накопление промежуточных результатов.
Q Ì R+ - частично упорядоченное (по отношению £) множество моментов времени (t),
Pf - таблица условных функционалов перехода (ТУФП).
z(t + e) = Pf [z(t), x(t)], " xÎ X.
e ® 0
При поступлении входного сигнала автомат мгновенно изменяет свое состояние (e ® 0).
Pg - таблица условных функционалов выхода.
y(t + e+) = Pg[z(t + e), x(t)] = Pg {Pf [z(t), x(t)], x(t)}, " xÎ X.
e+®0
e+ > e, e ® 0
Сигнал на выходе автомата появляется сразу после его перехода (e+ ® 0) в новое состояние z(t + e), вызванное поступлением входного сигнала x(t).
Поскольку выходы автомата и его состояния не независимы, то речь идет об общей форме абстрактного автомата.
Планирование событий в автоматах и агрегатах