
- •Оглавление
- •Предисловие
- •Введение
- •1. Модели и их свойства
- •Основные понятия и определения
- •Вопросы к разделу 1.1
- •Целенаправленность моделей
- •Вопросы к разделу 1.2
- •Свойства моделей
- •Вопросы к разделу 1.3
- •Способы реализации моделей
- •1.4.1. Материальные модели
- •1.4.2. Виды подобия
- •1.4.3. Идеальные модели
- •Вопросы к разделу 1.4
- •1.5. Виды моделей
- •1.5.1. Познавательные и прагматические модели
- •1.5.2. Детерминированные и вероятностные модели
- •1.5.3. Непрерывные и дискретные модели
- •1.5.4. Статические и динамические модели
- •1.5.5. Линейные и нелинейные модели
- •1.5.6. Стационарные и нестационарные модели
- •1.5.7. Сосредоточенные и распределенные модели
- •1.5.8. Классификация видов моделей
- •Вопросы к разделу 1.5
- •Кибернетические модели систем
- •1.6.1. Модель типа «черный ящик»
- •1.6.2. Модель состава системы
- •1.6.3. Модель структуры системы
- •1.6.4. Графы
- •1.6.5. Структурная схема системы
- •1.6.6. Итоги анализа моделей систем.
- •Вопросы к разделу 1.6
- •2. Аналитические математические модели систем
- •2.1. Общая математическая модель динамической системы
- •Вопросы к разделу 2.1
- •2.2. Частные математические модели динамических систем
- •2.2.1. Модели детерминированных линейных непрерывных систем
- •Модели дискретных систем. Конечные автоматы
- •Вопросы к разделу 2.2
- •2.3. Свойства динамических систем
- •2.4. Линейная непрерывная детерминированная модель многомерной динамической системы в переменных состояния
- •Вопросы к разделу 2.4
- •2.5.7. Определитель Грама
- •Вопросы к разделу 2.5
- •Линейное векторное пространство
- •2.6.1. Характеристические числа и характеристические векторы
- •2.6.2. Формула Бохера
- •2.6.3. Модальная матрица
- •2.6.4. Диагонализация квадратной матрицы
- •Вопросы к разделу 2.6
- •Управляемость и наблюдаемость
- •Вопросы к разделу 2.7
- •Компьютерное моделирование. Численное интегрирование дифференциальных уравнений
- •3.1. Ошибки усечения и округления
- •3.2. Метод Эйлера
- •3.3. Методы Рунге–Кутта
- •Сравнение различных методов решения. Контроль величины шага и устойчивость
- •Вопросы к главе 3
- •4. Динамика развития и использования моделей
- •4.1. Сложности алгоритмизации моделирования
- •Вопросы к главе 4
- •5. Аналитические вероятностные математические модели систем
- •5.1. Аналитические модели систем массового обслуживания
- •5.1.1. Важнейшие выходные параметры смо
- •5.1.2. Простейшие модели смо
- •5.1.3. Общая характеристика моделей смо
- •5.1.4. Дисциплины обслуживания
- •5.1.5. Характеристики входного потока заявок
- •5.1.6. Функция распределения Пуассона
- •5.1.7. Характеристики обслуживания
- •5.1.8. Показательный закон распределения времени обслуживания
- •5.1.9. Показатели качества обслуживания
- •5.1.10. Согласование источника заявок с каналом обслуживания
- •5.1.11. Оценка эффективности многоканальной смо
- •Вопросы к разделу 5.1
- •5.2. Сети Петри
- •5.2.1. Маркировка
- •5.2.2. Правила срабатывания переходов
- •5.2.3. Разновидности сетей Петри
- •5.2.4. Конфликтные ситуации в сетях Петри
- •5.2.5. Пример сети Петри для работы группы пользователей на одной рабочей станции
- •5.2.6. Пример сети Петри для системы обнаружения и устранения неисправностей в технической системе
- •5.2.7. Анализ сетей Петри
- •Вопросы к разделу 5.2
- •6. Имитационные модели систем
- •6.1. Имитационный эксперимент
- •Недостатки имитационного моделирования
- •6.2. Развитие имитационного моделирования
- •Основные фазы развития средств им
- •6.3. Этапы имитационного моделирования
- •6.4. Подходы к построению имитационных моделей
- •6.4.1. Событийный подход
- •6.4.2. Подход сканирования активностей
- •6.4.3. Процессно-ориентированный подход
- •6.5. Разработка программ им
- •6.5.1. Использование для им универсальных языков программирования
- •6.5.2. Использование для им специализированных языков моделирования
- •6.5.3. Создание и использование проблемно-ориентированных систем моделирования
- •6.6. Имитационное моделирование систем массового обслуживания
- •6.6.1. Событийный метод моделирования
- •6.6.2. Схема реализации событийного метода имитационного моделирования
- •Вопросы к главе 6
- •7. Метод «ресурсы–действия–операции» (рдо)
- •7.1. Основные положения метода рдо
- •7.1.1. Ресурсы сложной дискретной системы
- •7.1.2. Действия в сдс
- •7.1.3. Операции в сдс
- •7.1.4. Основные положения рдо-метода
- •7.2. Представление сдс в рдо-методе
- •7.3. Базовая структура инструментальной среды интеллектуальной системы
- •7.4. Продукционный имитатор
- •7.5. Моделирование в среде рдо
- •7.5.1. Основные понятия
- •7.5.2. Объекты исходных данных и объекты, создаваемые рдо-имитатором при выполнении прогона
- •7.5.3. Состав объектов модели
- •7.5.4. Назначение объектов модели
- •7.6. Интегрированная среда моделирования рдо
- •7.6.1. Состав функций исм
- •7.6.2. Главное окно исм рдо
- •7.6.3. Инструментальная панель
- •7.6.4. Работа с рдо-имитатором
- •Описание кадра анимации
- •Пример описания кадра анимации
- •Вопросы к главе 7
- •8. Краткое описание языка gpss
- •8.1. Оператор generate
- •8.2. Оператор function
- •8.3. Операторы split и assemble
- •8.4. Операторы seize и release
- •8.5. Оператор advance
- •8.6. Операторы enter и leave
- •8.7. Операторы queue и depart
- •8.8. Оператор test
- •8.9. Операторы start и terminate
- •8.10. Оператор transfer
- •8.11. Оператор assigne
- •8.12. Операторы управления движением заявок
- •8.13. Вычислительный оператор variable
- •8.14. Оператор синхронизации матсн
- •8.15. Пример программы на языке gpss для смо
- •Программа к примеру смо
- •Вопросы к главе 8
- •9. Планирование компьютерных экспериментов с моделями систем
- •9.1. Основные понятия теории планирования экспериментов
- •9.2. Модели планирования эксперимента
- •9.3. Виды планов экспериментов
- •Вопросы к главе 9
- •10. Обработка и анализ результатов компьютерного моделирования
- •10.1. Методы оценки
- •10.2. Статистические методы обработки
- •10.3. Задачи обработки результатов моделирования
- •10.3.1. Критерий согласия Колмогорова
- •10.3.2. Критерий согласия Пирсона
- •10.3.3. Критерий согласия Смирнова
- •10.3.4. Критерий согласия Стьюдента
- •10.3.5. Критерий согласия Фишера
- •10.4. Анализ и интерпретация результатов компьютерного моделирования
- •10.4.1. Корреляционный анализ результатов моделирования
- •10.4.2. Регрессионный анализ результатов моделирования
- •10.4.3. Дисперсионный анализ результатов моделирования
- •Вопросы к главе 10
- •Заключение
- •Список литературы
- •Приложение 1 Некоторые сведения из теории матриц
- •Основные типы матриц
- •Специальные типы матриц
- •Операции над матрицами Сложение матриц
- •Умножение матриц
- •Дифференцирование матриц
- •Интегрирование матриц
- •Определители
- •Свойства определителей
- •Нуль-граф и полный граф
- •Изоморфные графы
- •Плоские графы
- •Число ребер графа
- •Формула Эйлера для числа вершин, ребер и граней плоского графа
- •Распределение Лапласа
- •Вырожденное (причинное) распределение
- •Приложение 4 Краткие сведения о специализированных языках и проблемно-ориентированных системах имитационного моделирования
- •Предметный указатель
- •Список сокращений
9.3. Виды планов экспериментов
Полным факторным экспериментом (ПФЭ) называется эксперимент, в котором реализуются все возможные сочетания уровней факторов. Если выбранная модель планирования включает в себя только линейные члены полинома и их произведения, то для оценки коэффициентов модели используется план эксперимента с варьированием всех k факторов на двух уровнях, т.е. q=2. Такие планы называются планами типа 2k, где N=2k – число всех возможных испытаний.
Планирование эксперимента для получения коэффициентов линейной модели начинают с варьирования факторов на нижнем и верхнем xiв уровнях, которые расположены симметрично относительно основного уровня xi0 , i=1,…, k (рис. 9.2).
Рис. 9.2. Геометрическая интерпретация ПФЭ вида 22
С помощью масштабирования
где Δxi=(xiв–xiн)/2 – интервал варьирования фактора; xi0 – нулевой (основной) уровень, xi – натуральное значение фактора, масштабы по осям факторов приводятся к значениям: –1 для нижнего уровня, +1 для верхнего уровня и 0 для основного уровня (рис. 9.3).
Рис. 9.3. Геометрическая интерпретация ПФЭ вида 22 с учетом масштабирования по осям
В таблице 7 приведены комбинации уровней факторов для каждой экспериментальной точки квадрата, изображенного на рис. 9.3, составляющие план ПФЭ вида 22.
Таблица 7
Номер испытания |
1 |
2 |
3 |
4 |
|
-1 |
+1 |
-1 |
+1 |
|
-1 |
-1 |
+1 |
+1 |
Обозначения строк |
(1) |
a |
b |
ab |
В таблице 7 использована сокращенная запись плана с помощью условных буквенных обозначений строк. При этом порядковым номерам факторов сопоставлены строчные буквы латинского алфавита: x1→a, x2→b, x3→c и т.д. Для каждой строки плана выписаны латинские буквы только для факторов, находящихся на верхних уровнях. Испытание со всеми факторами, находящимися на нижних уровнях, обозначено как (1). Запись плана в буквенных обозначениях показана в последней строчке.
Для оценки свободного члена b0 и определения эффектов взаимодействия b0 план эксперимента D расширяется до матрицы планирования X путем добавления «фиктивной переменной», представленной единичным столбцом и столбцами произведений, как показано для ПФЭ вида 22 в таблице 8.
Из рассмотрения плана эксперимента типа 22 видно, что количество испытаний в ПФЭ значительно превышает количество определяемых коэффициентов линейной модели плана эксперимента. Иначе говоря, ПФЭ обладает значительной избыточностью, что вызывает естественное стремление уменьшить количество испытаний. Это позволяет сделать т.н. дробный факторный эксперимент, который заключается в следующем.
Пусть имеется простейший ПФЭ типа 22. Используя матрицу планирования, соответствующую таблице 8, можно вычислить коэффициенты bi и представить результаты в виде уравнения
Таблица 8
Номер испытания |
|
План ПФЭ |
|
Реакция y |
|
|
|
||||
1 |
+1 |
-1 |
-1 |
+1 |
y1 |
2 |
+1 |
+1 |
-1 |
-1 |
y2 |
3 |
+1 |
-1 |
+1 |
-1 |
y3 |
4 |
+1 |
+1 |
+1 |
+1 |
y4 |
Если
можно
использовать линейную модель для
описания процесса в пределах выбранных
интервалов варьирования уровня, то
достаточно определить всего три
коэффициента уравнения: b0
, b1
и b2.
Таким образом, остается одна степень
свободы, которую можно использовать
для минимизации количества испытаний.
При использовании линейной модели
коэффициент b12=0,
так что вектор-столбец
в таблице 8 может быть использован для
нового фактора
.
При этом раздельных оценок, которые
имели место в ПФЭ типа 2k,
уже не будет, и оценки сместятся:
При использовании линейной модели все парные взаимодействия не учитываются, поэтому, например, вместо восьми испытаний в ПФЭ типа 23 необходимо провести только четыре испытания.
Правило проведения дробного факторного эксперимента: для сокращения числа испытаний новому фактору присваивается значения вектора-столбца матрицы, принадлежащего взаимодействию, которым можно пренебречь.
При проведении эксперимента из четырех испытаний для оценки влияния трех факторов пользуются половиной ПФЭ типа 23, так называемой «полурепликой». Если приравнять x3 и –x1x2, то можно получить вторую «полуреплику». Для обозначения дробных реплик, в которых d линейных эффектов приравнены к эффектам взаимодействия, пользуются условным обозначением 2k–d. Например, «полуреплика» от 26 записывается в виде 26–1, а «четвертьреплика» – в виде 26–2.
Пример.
При построении
«полуреплики» 23–1
можно
приравнять
или
.
Соответствующие две «полуреплики» 23–1
показаны
в таблице 9. Произведение элементов
соответствующих строк трех столбцов
для первой из матриц этой таблицы равно
+1, а для второй –1.
Таблица 9
Номер испытания |
|
|||
|
|
|
|
|
1 |
+1 |
+1 |
-1 |
+1 |
2 |
-1 |
-1 |
-1 |
+1 |
3 |
+1 |
-1 |
+1 |
+1 |
4 |
-1 |
+1 |
+1 |
+1 |
Номер испытания |
|
|||
|
|
|
|
|
1 |
+1 |
+1 |
+1 |
+1 |
2 |
-1 |
-1 |
+1 |
+1 |
3 |
+1 |
-1 |
-1 |
+1 |
4 |
-1 |
+1 |
-1 |
+1 |
При планировании экспериментов, кроме двухуровневых симметричных планов типа 2k, используют также многоуровневые планы, в которых факторы варьируются на 3, 4, …, m-м уровнях и соответственно обозначаются как 3k, 4k, …, mk-планы. Многоуровневые несимметричные планы, в которых факторы варьируются на различных уровнях, строятся различными способами: комбинированием полных и дробных факторных планов типа 2k, методом преобразования симметричных планов в несимметричные и т.д. Такие планы называются планами регрессионного анализа для многофакторного эксперимента.
В том случае, когда модель планирования анализируется методами дисперсионного анализа (см. п. 10.4.3), то применяют соответственно планы дисперсионного анализа. Причем в том случае, если при постановке эксперимента реализуются все возможные совокупности условий, то это соответствует полной классификации дисперсионного анализа, а если проводится сокращение перебора вариантов, то это соответствует неполной классификации. При этом сокращение перебора осуществляется либо случайным образом, либо в соответствии с некоторыми правилами.