Насинтересует решение следующих задач анализа сигналов, ка-
дров, потоков сигналов и кадров: распознавание потоков, выявление
их характерных свойств; проверка свойств правильного поведения
агентов, анализирующих потоки; эквивалентные преобразования по-
токов.
Исходными данными для решения этих задач являются потоки сиг-
налов и кадров (отдельный сигнал или кадр рассматривается как част-
ный случай соответствующих потоков), представляемые автоматами
M
1
, M
2
, . . . , M
m
, потоки и агенты, обрабатывающие эти потоки. В
дальнейшем, говоря о потоках, будем иметь в виду также предста-
вляющие их автоматы, не повторяя это каждый раз. Задачами агентов
являются следующие.
Распознавание потоков
осуществляется путем сравнения по опре-
деленным критериям потоков сэталонными потоками, которые зара-
нее сформированы.
Выявление характерных свойств потоков
осуществляется путем
формального вывода (доказательства) наличия определенных отноше-
ний на потоках. В настоящей статье не рассматриваются процедуры
вывода, а приводятся только принципы формирования онтологий и
формулировки запросов на выявление характерных свойств потоков.
Проверка свойств правильного поведения агентов
. При фор-
мулировке свойств правильного поведения объектов используются те
же принципы, что и при формулировке характерных свойств потоков.
Каждый из агентов является процессом, имеющим дело с потоками
и другими агентами. Процессы выполняются параллельно или квази-
параллельно и должны удовлетворять определенным свойствам пра-
вильного поведения. Проверка свойств правильного поведения осуще-
ствляется путем формального доказательства наличия этих свойств.
В настоящей статье приведены наиболее типичные формулировки
свойств правильного поведения, образующих элементы онтологий.
Эквивалентные преобразования потоков
состоят в минимиза-
ции, композиции и кодировании состояний автоматов, представляю-
щих собой потоки
M
1
, M
2
, . . . , M
m
. Эти преобразования не рассма-
триваются в настоящей статье. Основой этих преобразований может
служить метод, изложенный в работе [4].
Распознавание потоков.
Представим автомат
М
сигнала его
графом переходов (рис. 1). Каждая вершина графа помечена сим-
волом
b
i
,
i
= 0
,
1
, . . . ,
12
(вершины обозначены кружками). Каж-
дая пара соседних вершин
b
i
, b
i
+1
,
i
= 0
,
1
,
2
, . . . ,
11
, соединена
дугой, направленной от вершины
i
к вершине
i
+ 1
. Дуги, напра-
вленные от вершины
i
к вершине
i
+ 1
, помечены с имволом
t
i
в
алфавите
T
=
{
t
0
, t
1
, t
2
, t
3
, . . . , t
m
−
1
}
. Если выписать обозначения
ISSN 0236-3933. Вестник МГТУ им. Н.Э. Баумана. Сер. “Приборостроение”. 2005. № 4 59
