Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

Методология и практика планирования эксперимента в России. Монография

.pdf
Скачиваний:
0
Добавлен:
07.09.2026
Размер:
1 Мб
Скачать
☆
матрица M–1 = (XTX)–1 – ковариационная матрица, или матрица дис­персий-ковариаций. В ней элементы главной диагонали – дисперсии оценок коэффициентов регрессии, недиагональные элементы – кова­риации. Ковариации – количественные меры взаимной зависимости при определении коэффициентов регрессии.
Критерии оптимальности
Критерии оптимальности разработаны для количественной харак­теристики свойств планов, что важно на практике при выборе того или иного плана. Они формулируются в терминах свойств матрицы M или матрицы M критерии, связанные со свойствами оценок коэффициентов регрес­сии; критерии, связанные с предсказательными свойствами уравне­ния регрессии; прочие критерии. Для первых двух групп критериев возможны алгебраическая и статистическая интерпретации (в первой группе к ним добавляется еще геометрическая интерпретация).
Из первой группы наиболее распространены критерии D-, A-, E- оптимальности, мизирует дисперсии всех коэффициентов регрессии, рассматривае­мых как вектор (обобщенная дисперсия). Алгебраически минимум обобщенной дисперсии характеризуется минимумом определителя матрицы дисперсий-ковариаций: min det M дисперсии – это вариант статистической интерпретации критерия D­оптимальности. Для геометрической интерпретации требуется вве­дение понятия пространства параметров. В нем координатные оси задаются значениями коэффициентов регрессии. В случае одного фактора и линейного уравнения регрессии получается двумерное пространство, так как в уравнение входят два коэффициента (b Для линейного уравнения с k факторами пространство параметров имеет размерность k + 1. Каждой точке в таком пространстве соот­ветствует вектор оценок коэффициентов регрессии. Определитель матрицы M
–1
параметров. Центр эллипсоида совмещен с МНК-оценкой. Эллипсо­ид – это многомерный аналог доверительного интервала и для одно­мерного пространства представляет собой отрезок. Для двух пара­метров на плоскости получается эллипс. Такая форма доверительно­го интервала определяется предпосылкой регрессионного анализа о нормальном распределении.
–1
. Здесь рассматриваются три группы критериев:
ортогональность. Критерий D-оптимальности мини-
–1
. Минимум обобщенной
и b1).
0
пропорционален объему эллипсоида рассеяния оценок
171
Алгебраическая трактовка критерия A-оптимальности – минимум
следа матрицы дисперсий-ковариаций: min tr M
–1
. Статистически этот критерий интерпретируется как минимум средней дисперсии оценок коэффициентов, а геометрически – минимум суммы квадратов длин осей эллипсоида рассеяния и минимум длины диагонали параллело­грамма, описанного вокруг эллипсоида. В случае А-оптимальности объ­ем эллипсоида увеличен по сравнению с D-оптимальным планом, но соотношение между дисперсиями оценок более равномерно. Эллипс становится ближе к окружности, а в случае превращения эллипса в окружность точность оценок всех коэффициентов станет одинако­вой. Экспериментатор оказывается перед выбором: либо получать минимальную обобщенную дисперсию при возможной резкой асим­метричности величин дисперсий коэффициентов, либо иметь оценки коэффициентов с близкими дисперсиями, но с большим объемом эл­липсоида рассеяния.
Критерий E
минимакс собственного значения матрицы дисперсий-ковариаций:
min max λ(M
-оптимальности алгебраически интерпретируется как
–1
). В статистической интерпретации это минимакс дис­персии оценок коэффициентов, в геометрической – минимум макси­мальной оси эллипсоида рассеяния. Этот критерий налагает ограниче­ние на вытянутость эллипса. В некоторых случаях эллипсоид может получить вытянутую, бананообразную форму. Соответствующие коэф­фициенты будут иметь большие ошибки. Критерий E-оптимальности позволяет избежать таких вариантов, так как
минимизирует самую
длинную ось эллипсоида рассеяния.
Последний из рассматриваемых в этой группе критериев опти­мальности – критерий ортогональности приводит к диагональной матрице дисперсий-ковариаций (алгебраическая интерпретация):
0;
ju
ji ui
1.
ju
xx
Статистическая интерпретация формулируется как независимость оценок параметров: cov(b
bu) = 0, j ≠ u. Геометрическая интерпрета-
j
ция: направление главных осей эллипсоида рассеяния совпадает с направлением координатных осей пространства параметров. Другие критерии оптимальности первой группы вместе с рассмотренными критериями приведены в руководствах [71, 151].
172
Критерии оптимальности второй группы интерпретируются в

терминах факторного пространства и функции отклика. Если ставит­ся задача предсказания отклика с помощью модели, то оказывается важной ошибка предсказания. Критерий G-оптимальности обеспечи­вает минимум максимального значения дисперсии оценки поверхно­сти отклика d(x). Это статистическая интерпретация. В алгебраиче­ской интерпретации: min max d(x,ε), d(x) = f
T
(x)Df(x).При применении
G-критерия в области планирования не останется точек с низкой
точностью оценки поверхности отклика.
Критерий
Q-оптимальности в статистической интерпретации
обеспечивает минимум средней дисперсии оценки поверхности от­клика в области планирования v. В алгебраической интерпретации
этот критерий записывается так:
min d , dxx
. К критериям оп-
тимальности второй группы относятся ротатабельность и униформ­ность. Ротатабельность обеспечивает постоянство дисперсии пред­сказания на равных расстояниях от центра эксперимента, а униформ­ность – постоянство дисперсии предсказания в некоторой области вокруг центра эксперимента.
Критерии оптимальности третьей группы довольно многочислен-
ны и здесь приведены только некоторые из них:
Простота вычислений. Она обеспечивается симметричностью,
1.
равноповторностью (одно и то же число повторений для каждого опыта), ортогональностью плана.
Композиционность. Это такое добавление опытов к исходному
2.
плану при введении новых факторов, уровней факторов, усложнении модели, при котором нет потери опытов исходного плана. Например, от полуреплики 2 менту 2
4
.
Близость выбранного плана к насыщенному. Выбор плана с
3.
небольшим числом опытов.
4–1
можно перейти к полному факторному экспери-
В насыщенном линейном плане число
опытов N = k + 1, где k – число факторов. Если добавить к такому плану условие ортогональности, то можно применять дробные фак­торные планы. Так, полный факторный эксперимент имеет 2 опытов, а дробный факторный план 2
4.
Исключение влияния неоднородностей экспериментального
материала или внешней среды.
7–4
= 8 опытов.
Это достигается разбиением плана
7
= 128
на блоки, выбором плана, ортогонального к дрейфу и пр.
173
Теория критериев оптимальности планов стала развиваться аме­риканским математиком Дж. Кифером с сотрудниками в1950–1960-х годах. Сначала была создана теория непрерывного планирования эксперимента. Для линейных по параметрам моделей были предло­жены критерии оптимальности на основе представлений об эффек­тивности в математической статистике. На первом этапе исследова-
Ф
ний выделена группа критериев разных значений параметра «р»
-эффективности, включающая для
р
D-, A-, E-критерии. При обобщении
понятия плана и создании непрерывных планов, задаваемых вероят­ностной мерой (не приводящей после умножения на число опытов к целочисленным значениям), была доказана теорема: план оптимален только тогда, когда он
G-оптимален и когда максималь-
N
D-
ная дисперсия предсказанного значения функции отклика равна чис­лу неизвестных параметров.
Теорию Кифера можно рассматривать как продолжение теории эффективных оценок Фишера – одного из основных направлений современной математической статистики. У Фишера эффективность оценок определяется оптимальным способом обработки результатов наблюдений. В теории Кифера эффективность задается еще и опти­мальным расположением точек в пространстве независимых пере­менных. Для разных типов моделей были разработаны аналитиче­ские и численные методы построения оптимальных непрерывных
Ф-
планов, в которых минимум функционала ковариационных матриц оценок параметров сводится к последовательности задач поиска экс­тремума в пространстве небольшой размерности.
Теория Кифера встретила трудности при практическом примене-
D-оптимальные планы включали большое число опытов.
нии. Например, при числе независимых переменных k = 5 требовалось более 1000 опытов. Непрерывные
Ф-оптимальные планы даже для
стандартных симметричных областей планирования при практиче­ском использовании требуют округления, что приводит к потере эф­фективности. Округленные планы не обладают свойством симметрии и другими полезными свойствами. Для полиномиальных моделей вто­рого и выше порядков многие критерии несовместимы друг с другом.
В межфакультетской лаборатории статистических методов МГУ было проведено численное сравнение эффективности планов по не­скольким критериям. В частности, на основе критерия
D-
оптимальности проведено сравнение композиционных планов второ-
174
го порядка. Планы типа 2к оказались D-, G-, A-, E- оптимальными, ортогональными и ротатабельными. Для этих планов
XTX = NE, где
E – единичная матрица. Матрица X, состоящая из +1 и –1, при таком
условии называется матрицей Адамара. Матрицы полного факторно­го эксперимента и некоторых дробных реплик входят в такой класс планов [13].
В ряде случаев критерии оптимальности оказываются противоре­чивыми, и тогда появляется задача поиска компромиссных планов. Можно выбрать или генерировать на ЭВМ оптимальный план для одного критерия и
квазиоптимальный для других критериев.
175
Приложение 2
Цитирование статей В. В. Налимова
по математической статистике и планированию эксперимента
В 1960-е годы были написаны шесть статей, в том числе первый обзор по планированию экстремального эксперимента в химии (Успехи химии, 1960, № 11), две статьи в журнале «Заводская лабо­ратория» («Методы кибернетики – в практику работы лабораторий», 1962, № 7; «Кибернетика в координации научно-исследовательских работ», 1964, № 3), статья в сборнике «Кибернетика и документали­стика» (Информационная римента, 1966), статья в информационных материалах Совета по ки­бернетике («Применение кибернетики и вычислительной техники в химии», 1967, № 6) и статья в коллективной монографии «Новые идеи в планировании эксперимента» (1969). На эти публикации полу­чены 12 ссылок: на три статьи по одной ссылке, на две статьи по две ссылки,
явились в Информационных материалах Совета по кибернетике («Химическая кибернетика», 1970, 1972; секция «Математическая теория эксперимента», 1977), три статьи появились в журнале «За­водская лаборатория» («Влияние математической статистики и кибер­нетики на методологию научных исследований», 1970, № 10; « планирования эксперимента: достигнутое и ожидаемое», 1977, № 10; «Анализ трудностей, связанных с построением нелинейных по парамет­рам моделей в задачах химической кинетики», 1978, № 3). Были опуб­ликованы также статья в журнале Technometrics (1970, № 4) по практи­ческому применению концепции ле «Природа», 1970, № 11 («Наука и биосфера, опыт сравнения двух систем»). Семь статей из этого списка получили по одной ссылке и одна статья – две ссылки.
одна статья по информационной системе получила пять ссылок.
В 1970-х годах были опубликованы восемь статей. Три статьи по-
система по математической теории экспе-
Теория
D-оптимальности и статья в журна-
176
Приложение 3
Терминологический словарь
Основные понятия
1
Активный экспе­римент
Эксперимент, в котором уровни всех рас­сматриваемых факторов для каждого опыта задаются экспериментатором
Архитектура плана Расположение точек, в которых ставится
эксперимент, в факторном пространстве
Опыт Воспроизведение исследуемого явления в
определенных условиях проведения экспе­римента при возможности регистрации его результатов
Отклик Наблюдаемая случайная переменная, по
предположению зависящая от факторов
Основной уровень фактора
Пассивный экспе­римент
Натуральное значение фактора, соответ­ствующее нулю в безразмерной шкале
Эксперимент, в котором уровни факторов для каждого опыта не задаются экспери­ментатором, а только регистрируются
Планирование экс­перимента
Процедура выбора числа и условий прове­дения опытов, необходимых и достаточных для решения поставленной задачи с требу­емой точностью
Поверхность от­клика
Регрессионная мо­дель
_____________
1
При составлении словаря использовались стандарты [160, 161] из списка на с .93
Геометрическое представление функции отклика
Уравнение, получаемое с помощью регрес­сионного анализа
177
Модели, планы, методы
Адекватность ма­тематической мо­дели
Соответствие математической модели экс­периментальным данным по выбранному критерию
Генератор плана Алгебраическое выражение, используемое
при построении дробного факторного плана
Греко-латинский квадрат
План дисперсионного анализа, образован­ный наложением двух ортогональных ла­тинских квадратов
Дисперсионный анализ
Статистический метод анализа и обработки экспериментальных данных при воздействии на отклик только качественных факторов, основанный на использовании техники ста­тистической проверки гипотез и представле­нии общей вариации экспериментальных данных в виде суммы вариаций, обуслов­ленных исследуемыми факторами и их вза­имодействиями
Дробный фактор­ный план (дроб-
План, содержащий часть комбинаций полно-
го факторного плана ная реплика пол­ного факторного плана)
Информационная матрица
Композицион­ность плана
Критерий оптимальности
178
Нормированная матрица моментов плана
Свойство плана, позволяющее выполнять
эксперимент последовательно, переходя от
более простых моделей к более сложным
Мера эффективности, позволяющая из мно-
жества возможных планов выбрать опти-
мальный
Латинский квад­рат
План дисперсионного анализа, задаваемый расположением некоторого числа символов в ячейках, сгруппированных в строки и столбцы так, что каждый символ встречает­ся один раз в каждой строке и в каждом столбце
Матрица момен­тов плана
Квадратная симметричная матрица, элемен­ты которой есть скалярные произведения соответствующих векторов-столбцов матри­цы базисных функций
Матрица плана Стандартная форма записи условий прове-
дения экспериментов в виде прямоугольной таблицы, строки которой отвечают опытам, столбцы – факторам или функциям от них
Метод крутого восхождения
Метод экспериментальной оптимизации, сочетающий полный или дробный фактор­ный эксперимент с движением по градиенту функции отклика
Модель диспер­сионного анализа
Насыщенность плана
Зависимость отклика от качественных фак­торов и ошибок наблюдений отклика
Свойство плана, задающееся разностью между числом точек спектра плана и числом оцениваемых параметров модели
Область оптимума Область факторного пространства, отвеча-
ющая оптимальным результатам и условиям эксперимента
Ортогональность плана
Отсеивающий эксперимент
Свойство плана, при котором матрица мо­ментов для заданной модели диагональна
Эксперимент для сокращения общего числа факторов за счет исключения тех из них, ко­торые оказывают малое влияние на отклик
179
План взвешива­ния
План первого порядка, включающий факто-
ры на двух или трех уровнях
План главных эффектов
План при модели­ровании диаграмм состав–свойство
План Саттерзвай­та (метод случай­ного баланса)
План эксперимен­та второго поряд­ка
План эксперимен­та первого поряд­ка
Планы Плакетта– Бермана
Полиномиальная модель
План мощности 2. Ему соответствует мо-
дель, содержащая эффекты уровней и не со-
держащая взаимодействий
План на (n – 1)-мерном правильном сим-
плексе с n вершинами при соблюдении
условий Σxi = 1, xi ≥ 0 (i = 1,..., n)
Метод планирования эксперимента, предна-
значенный для отсеивания факторов
План с более чем двумя уровнями факторов
для нахождения оценок параметров регрес-
сионной модели второго порядка
План с двумя или более уровнями факторов,
позволяющий найти раздельные оценки па-
раметров регрессионной модели первого
порядка
Класс насыщенных ортогональных планов с
числом наблюдений, кратным четырем
Модель регрессионного анализа, линейная
по параметрам, задаваемая полиномом по
факторам
Полный факторный план
Регулярный факторный план мощности d
Ротатабельность плана
180
План, содержащий все возможные комбина-
ции всех факторов на определенном числе
уровней равное число раз
Из всего множества включенных в экспери-
мент факторов для d факторов выполняется
условие пропорциональности частот
Свойство плана, при котором дисперсия
оценки функции отклика зависит только от
расстояния от центра плана
Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]