ВУЗ:
Составители:
351
смотреть вопрос об использовании такого формализма. Однако применение
этого подхода встречает некоторые трудности.
Прежде всего следует неким конструктивным образом определить, что по-
нимается под «существенным различием функций поведения». То есть для прида-
ния понятию «разница» конкретного смысла необходимо выбрать функцию рас-
стояния для функций поведения. Кроме того, нужно задаться каким-то порого-
вым значением расстояния для определения того, что это расстояние «сущест-
венно». Несмотря на то, что принятие этих решений предоставляется пользовате-
лю, УРСЗ должен располагать неким вариантом решений, которые использу-
ются по умолчанию (при наличии соответствующего запроса).
Во-вторых, разница (расстояние) между локальной и глобальной функ-
циями поведения может считаться существенной только в том случае, когда
локальная функция определена на достаточно большом подмножестве парамет-
рического множества. И снова должно быть принято решение, какой наимень-
ший размер подмножества параметрического множества может считаться дос-
таточным, чтобы на нем можно было бы определить содержательную локальную
функцию поведения. Размер этот зависит от числа состояний переменных, от ме-
ры, с помощью которой задаются ограничения на переменные, от используемой
маски и, возможно, от каких-то других факторов.
Помимо отмеченных теоретических проблем, в задаче определения сущест-
венных локальных ограничений имеются и трудности практического характера.
Они связаны прежде всего с тем, что число подмножеств параметрического
множества, рассматриваемых в процессе определения существенных программ-
ных ограничений, с ростом параметрического множества растет экспоненци-
ально. Как следствие с ростом параметрического множества лавинообразно рас-
тет число необходимых вычислений, так что эта задача становится неразреши-
мой даже для параметрических множеств относительно небольшого размера.
В заключение этого раздела опишем простую процедуру определения ло-
кальных ограничений. Будем называть ее процедурой идентификации метаси-
стемы. Эта процедура использует предположение о том, что параметрическое
множество Т полностью упорядочено и что переменные описываются системой
данных. Эта процедура или не определяет никакой метасистемы (если не на-
ходится существенных локальных ограничений), или определяет метасистему,
состоящую из последовательности определенных на параметрическом множестве
систем с поведением. Замена одной системы на другую происходит при опреде-
ленных значениях параметра, которые вычисляются этой процедурой.
Даны: система данных с полностью упорядоченным параметрическим мно-
жеством T = N
n
, маска (обычно наибольшая допустимая) и определенный
способ представления ограничений на переменные (со своей мерой порождаю-
щей нечеткости). Процесс идентификации метасистемы состоит в следующем.
Шаг 1. Пусть дано целое число m, рациональное число ∆ и известно, что
t=1, k=1.
Шаг 2. Необходимо определить функцию поведения для подмножества
данных, соответствующих отрезку [t, t+m] параметрического множества, и
вычислить ее порождающую нечеткость U
1
.
смотреть вопрос об использовании такого формализма. Однако применение этого подхода встречает некоторые трудности. Прежде всего следует неким конструктивным образом определить, что по- нимается под «существенным различием функций поведения». То есть для прида- ния понятию «разница» конкретного смысла необходимо выбрать функцию рас- стояния для функций поведения. Кроме того, нужно задаться каким-то порого- вым значением расстояния для определения того, что это расстояние «сущест- венно». Несмотря на то, что принятие этих решений предоставляется пользовате- лю, УРСЗ должен располагать неким вариантом решений, которые использу- ются по умолчанию (при наличии соответствующего запроса). Во-вторых, разница (расстояние) между локальной и глобальной функ- циями поведения может считаться существенной только в том случае, когда локальная функция определена на достаточно большом подмножестве парамет- рического множества. И снова должно быть принято решение, какой наимень- ший размер подмножества параметрического множества может считаться дос- таточным, чтобы на нем можно было бы определить содержательную локальную функцию поведения. Размер этот зависит от числа состояний переменных, от ме- ры, с помощью которой задаются ограничения на переменные, от используемой маски и, возможно, от каких-то других факторов. Помимо отмеченных теоретических проблем, в задаче определения сущест- венных локальных ограничений имеются и трудности практического характера. Они связаны прежде всего с тем, что число подмножеств параметрического множества, рассматриваемых в процессе определения существенных программ- ных ограничений, с ростом параметрического множества растет экспоненци- ально. Как следствие с ростом параметрического множества лавинообразно рас- тет число необходимых вычислений, так что эта задача становится неразреши- мой даже для параметрических множеств относительно небольшого размера. В заключение этого раздела опишем простую процедуру определения ло- кальных ограничений. Будем называть ее процедурой идентификации метаси- стемы. Эта процедура использует предположение о том, что параметрическое множество Т полностью упорядочено и что переменные описываются системой данных. Эта процедура или не определяет никакой метасистемы (если не на- ходится существенных локальных ограничений), или определяет метасистему, состоящую из последовательности определенных на параметрическом множестве систем с поведением. Замена одной системы на другую происходит при опреде- ленных значениях параметра, которые вычисляются этой процедурой. Даны: система данных с полностью упорядоченным параметрическим мно- жеством T = Nn, маска (обычно наибольшая допустимая) и определенный способ представления ограничений на переменные (со своей мерой порождаю- щей нечеткости). Процесс идентификации метасистемы состоит в следующем. Шаг 1. Пусть дано целое число m, рациональное число ∆ и известно, что t =1, k=1. Шаг 2. Необходимо определить функцию поведения для подмножества данных, соответствующих отрезку [t, t+m] параметрического множества, и вычислить ее порождающую нечеткость U1. 351