Описание слайда:
Стандартный критерий штрафа Стандартный критерий штрафа Ф(A,B)= J(A,B) + (A,B) + Q(B) где J(A,B) – критерий соответствия проекции и образа, причем A, BV(A,Ф): J(A,A)J(A,B), (A,B) – критерий (предикат) допустимости решения, определяющий ОДЗ (A,B) = {0: BV(A,Ф); +: BV(A,Ф)}, Q(B) – критерий качества проекции, характеризующий ее принадлежность модели M; 0 – структурирующий параметр, обеспечивающий компромисс между требованиями соответствия и качества. Утверждение. С увеличением значения структурирующего параметра сложность модели, которую определяет проектор, монотонно убывает. - параметр морфологической сложности модели. Морфологический спектр: Sp(A,) = || Pr(A,J,,,Q) || / Коэффициент максимальной морфологической сложности: max(A)=max{0: A=Pr(A,J,,,Q)}.