ВУЗ:
Составители:
200
Она выбирает состояния выборочных переменных из множества всех
потенциальных состояний (из декартова произведения С). Так как подобный
выбор дает по крайней мере некоторые сведения о поведении этих
переменных, функцию
B
f обычно называют функцией поведения (behavior).
Функция, определяемая уравнением (В3), задает только один из
существующих типов функций поведения, разными способами
описывающих ограничения на переменные. В следующем разделе вводятся
разные функции поведения, которые рассматриваются как методологические
отличия. В этом разделе мы ограничимся выбирающей функцией поведения,
определяемой (В1).
Обратите внимание на то, что функция
B
f определяет реально встре-
чающиеся состояния
c , но не определяет значение параметра, при котором
они имеют место. Таким образом, эта функция является параметрически ин-
вариантной. Обратите также внимание на область определения
B
f . Она оди-
накова для всех типов функций поведения и определяется через маску, кото-
рая, в свою очередь, определяется через переменные и параметры представ-
ляющей системы. Отсюда следует, что некоторая система, скажем система
B
F , характеризующая параметрически инвариантное ограничение на множе-
ство переменных через функции поведения, определяется тройкой
),,(
BB
fMIF
=
, (В.10)
где I – обобщенная представляющая система; М- маски, определенная на I;
B
f - функция поведения, определенная через М и I. Будем такую систему на-
зывать
системой с поведением.
Несмотря на то, что любая система с поведением, определяемая (В.10),
неким конкретным параметрически инвариантно описывает ограничения на
переменные представляющей системы, она не содержит описания того, как
использовать это ограничение для порождения данных. Для разработки тако-
го описания нужно разбить выборочные переменные на два подмножества:
1) переменные, состояния которых порождаются из ограничения; назо-
вем их
порождаемыми переменными;
2) переменные, состояния которых используются как условия в про-
цессе генерации, назовем их
порождающими переменными.
Для заданной системы с поведением одним из способов определения
порожденных и порождающих переменных является определение для данной
маски
M
двух подмасок
g
M и
g
M . Будем
),,(
ggG
MMMM
=
, (В.11)
где
MMM
gg
⊂,, MMM
gg
=
∪ , 0/=
∩
gg
MM ,
называть
маской порождения, то есть эта маска
M
и её разбиение на порож-
даемую подмаску
g
M .
По аналогии с разбиением
M
на
g
M и
g
M множество
M
M
идентифи-
каторов k выборочных переменных можно разбить на два подмножества,
скажем
g
K и
g
K , представляющих идентификаторы соответственно порож-
Она выбирает состояния выборочных переменных из множества всех
потенциальных состояний (из декартова произведения С). Так как подобный
выбор дает по крайней мере некоторые сведения о поведении этих
переменных, функцию f B обычно называют функцией поведения (behavior).
Функция, определяемая уравнением (В3), задает только один из
существующих типов функций поведения, разными способами
описывающих ограничения на переменные. В следующем разделе вводятся
разные функции поведения, которые рассматриваются как методологические
отличия. В этом разделе мы ограничимся выбирающей функцией поведения,
определяемой
Обратите(В1).
внимание на то, что функция f B определяет реально встре-
чающиеся состояния c , но не определяет значение параметра, при котором
они имеют место. Таким образом, эта функция является параметрически ин-
вариантной. Обратите также внимание на область определения f B . Она оди-
накова для всех типов функций поведения и определяется через маску, кото-
рая, в свою очередь, определяется через переменные и параметры представ-
ляющей системы. Отсюда следует, что некоторая система, скажем система
FB , характеризующая параметрически инвариантное ограничение на множе-
ство переменных через функции поведения, определяется тройкой
FB = ( I , M , f B ) , (В.10)
где I – обобщенная представляющая система; М- маски, определенная на I;
f B - функция поведения, определенная через М и I. Будем такую систему на-
зывать системой с поведением.
Несмотря на то, что любая система с поведением, определяемая (В.10),
неким конкретным параметрически инвариантно описывает ограничения на
переменные представляющей системы, она не содержит описания того, как
использовать это ограничение для порождения данных. Для разработки тако-
го описания нужно разбить выборочные переменные на два подмножества:
1) переменные, состояния которых порождаются из ограничения; назо-
вем их порождаемыми переменными;
2) переменные, состояния которых используются как условия в про-
цессе генерации, назовем их порождающими переменными.
Для заданной системы с поведением одним из способов определения
порожденных и порождающих переменных является определение для данной
маски M двух подмасок M g и M g . Будем
M G = (M , M g , M g ) , (В.11)
где
M g , M g ⊂ M , M g ∪ M g = M , M g ∩ M g = 0/ ,
называть маской порождения, то есть эта маска M и её разбиение на порож-
даемую подмаску M g .
По аналогии с разбиением M на M g и M g множество M M идентифи-
каторов k выборочных переменных можно разбить на два подмножества,
скажем K g и K g , представляющих идентификаторы соответственно порож-
200
Страницы
- « первая
- ‹ предыдущая
- …
- 198
- 199
- 200
- 201
- 202
- …
- следующая ›
- последняя »
