Основы синтеза и диагностирования автоматов. Воронин В.В. - 183 стр.

UptoLike

ВУЗ: 

ТОГУ | Хабаровск

Составители: 

Рубрика: 

179
формально определяется как восьмиэлементное множество
M={X, Y, S, A, t,
δ
, v, v’},
где X - это множество допустимых входных наборов, а⎯x∈X, входной
набор; Y - множество допустимых выходных наборов, а⎯y
∈
Y, выход-
ной набор; S - множество допустимых наборов значений параметров,
характеризующих свойства системы, изменяющиеся во время её рас-
смотрения,⎯s
∈
S, набор значений параметров (функциональное со-
стояние системы, в которой протекает процесс); А - множество до-
пустимых наборов значений параметров, характеризующих свойства
системы, не изменяющиеся во время её рассмотрения и влияющие на
выходные воздействия системы,
⎯
a
∈
A, набор значений параметров
(техническое состояние системы); t
∈
T, параметр процесса, проте-
кающего в системе, чаще всего это время (длина, температура и др.);
δ
- правило (функция и т.п.) определения параметров состояния сис-
темы по входам
⎯
x, постоянным параметрам⎯a и параметру процесса
⎯
s =
δ
(
⎯
x,
⎯
a, t) или X
×
A
×
T
→
S;
v - правило (функция и т.п.) определения выходных воздействий по
входам
⎯
x, постоянным параметрам⎯a, параметру процесса t и пара-
метрам состояния
⎯
s
⎯y=v(
⎯
x,
⎯
a,
⎯
s, t) или X
×
A
×
S
×
T
→
Y;
v’ - правило определения выходов⎯y по входам⎯x, постоянным пара-
метрам⎯a и параметру процесса т.е.
⎯
y=v’(
⎯
x,
⎯
a, t)=v(
⎯
x,
⎯
a, t,
δ
(
⎯
x,
⎯
a, t)).
Ясно, что данное определение во многом напоминает формаль-
ное определение конечного автомата с памятью. В автомате время t
присутствует неявно (дискретное время). Правилам v и v’ соответст-
вуют два типа: автоматы Мура и Мили. Следовательно, автомат с

Страницы