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

UptoLike

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

52
Имея формальное определение отношения, можно определить
формально понятие системы. Содержательное определение системы
дано в подразделе 1.1. Система S формально определяется как n+1
элементное множество, первым элементом которого является неко-
торое заданное множество М, а остальные его элементы
это задан-
ные отношения R
1
, R
2
,…,R
n
на множестве М
S={M, R
1
, R
2
,…, R
n
}.
Определим также формально понятие процесса. Процесс Р есть
система, рассматриваемая в её изменении. Поэтому процесс описы-
вается путём задания множества исходных элементов М и операций
Q
1
,Q
2
,…,Q
m
, с помощью которых из исходных элементов получаются
производные
P={M, Q
1
, Q
2
,…, Q
m
}.
Иногда рассматривают объединённую модель системы и про-
цесса и называют её динамической системой
S={M,R
1
,R
2
,…,R
n
, Q
1
,Q
2
,…,Q
m
}.
Приведём простейший пример системы. Зададим
систему расположения мебели в учебной аудитории.
Для этого определим множество столов M={C
1
,
C
2
,…,C
8
} и пространственные отношения между ни-
ми: R
1
отношение следования столов, R
2
находят-
ся в одном ряду, R
3
находятся в однойстроке”. То-
гда система расположения столов, приведенная на
рис. 2.17, может быть задана в следующем виде
С
1
С
2
С
3
С
4
С
8
С
7
С
6
С
5
Рис. 2.17
номер дет. имя дет.
поставка
вес
Рис. 2.16