
- •Моделювання систем
- •Передмова
- •Моделі процесів і систем
- •Класифікація моделей
- •Основні визначення та класифікація систем масового обслуговування
- •Характеристики систем масового обслуговування
- •Вхідний потік вимог
- •Стратегії керування потоками вимог
- •Класифікація систем масового обслуговування
- •Метод статистичних випробовувань
- •Генератори випадкових чисел
- •Моделювання випадкових подій та дискретних випадкових величин
- •Моделювання неперервних випадкових величин
- •Моделювання нормально-розподілених випадкових величин
- •Моделювання випадкових векторів
- •Моделювання випадкових функцій
- •Статистична обробка результатів моделювання
- •Визначення кількості реалізацій під час моделювання випадкових величин
- •Основне меню gpss World
- •Меню File
- •Меню Edit
- •Панель інструментів gpss World
- •Вікно моделі у системі gpss World
- •Інтерактивний перегляд значень виразів
- •Налаштування параметрів моделювання
- •4.1. Основне меню gpss World
- •4.2. Подання моделей у вигляді блок-діаграм
- •4.3. Основні складові системи gpssw
- •4.4. Об'єкти обчислювальної категорії
- •4.4.1. Константи
- •4.4.2. Системні числові атрибути
- •4.4.3. Арифметичні і логічні оператори
- •4.4.4. Бібліотечні математичні функції
- •4.4.5. Змінні користувача
- •4.4.6. Вирази в операторах gpss
- •4.4.7. Зберігаючі комірки
- •4.4.8. Матриці зберігаючих комірок. Оголошення та ініціалізація матриць
- •4.4.9. Арифметичні змінні й арифметичні вирази
- •4.4.10. Булеві змінні
- •4.4.11. Типи функцій
- •5.1. Введення транзактів у модель і вилучення їх із неї
- •5.2. Блоки для зміни значень параметрів транзактів
- •5.3. Блоки апаратної категорії зайняття та звільнення одноканальних пристроїв
- •5.4. Блоки перевірки стану та передавання керування в одноканальних пристроях
- •5.5. Блоки статистичної категорії
- •5.6. Блоки для зміни послідовності руху транзактів у моделі
- •5.7. Блоки апаратної категорії для переривань одноканальних пристроїв
- •5.8. Блоки апаратної категорії для переведення одноканальних пристроїв у стан недоступності
- •5.9. Створення і застосування списків користувача
- •Основні етапи моделювання у системі gpssw
- •Команди gpss World
- •Інтерактивні можливості gpss World
- •Відлагодження моделей у gpss World
- •Блоки зайняття та звільнення багатоканальних пристроїв
- •Блоки апаратної категорії для переведення багатоканальних пристроїв у стан недоступності та відновлення доступності
- •Блоки перевірки стану багатоканальних пристрів
- •Моделювання перемикачів
- •Основні елементи мови
- •Побудова виразів
- •Plus-оператори та їх призначення
- •Вбудована бібліотека процедур
- •Генератори випадкових чисел
- •Реалізація методу Ньютона для розв’язування нелінійних рівнянь за допомогою мови Plus
- •Налагодження Plus-процедур
- •Команда integrate і блок integration для моделювання неперервних систем
- •Використання plus-процедур для моделювання неперервних систем
- •Використання функцій в імітаційних моделях
- •Генерування випадкових чисел для дискретних рівномірних розподілів
- •Генерування випадкових чисел для дискретних нерівномірних розподілів
- •Генерування випадкових чисел для неперервного рівномірного розподілу
- •Генерування випадкових чисел для неперервних нерівномірних розподілів
- •Функції типу e, l і м
- •9.1. Основні відомості з теорії планування експериментів
- •9.1.1. Повний факторний експеримент
- •Оцінювання точності результатів моделювання
- •Дисперсійний аналіз
- •Однофакторний дисперсійний аналіз
- •9.2.2. Двофакторний дисперсійний аналіз
- •9.3. Технологія дисперсійного аналізу у gpss World
- •9.4. Технологія регресійного аналізу у gpss World
- •9.5. Організація експериментів користувача у gpss World
- •Initial Rezult_tf,unspecified ;Ініціалізація матриці результатів
- •Загальні положення
- •Завдання для виконання роботи
- •Індивідуальні завдання для моделювання
- •Контрольні запитання
- •Загальні положення
- •Завдання для виконання роботи
- •Контрольні запитання
- •Загальні положення
- •Завдання для виконання роботи
- •Індивідуальні завдання для моделювання
- •Контрольні запитання
- •Загальні положення
- •Завдання для виконання роботи
- •Індивідуальні завдання для моделювання
- •Контрольні запитання
- •Загальні положення
- •Завдання для виконання роботи
- •Індивідуальні завдання для моделювання одноканальних розімкнутих смо
- •Індивідуальні завдання для моделювання одноканальних замкнутих смо
- •Контрольні запитання
- •Загальні відомості
- •Завдання для виконання роботи
- •Індивідуальні завдання для моделювання багатоканальних розімкнутих смо
- •Індивідуальні завдання для моделювання багатоканальних замкнутих смо
- •Контрольні запитання
- •Загальні відомості
- •Завдання для виконання роботи
- •Індивідуальні завдання для моделювання
- •Контрольні запитання
- •Загальні відомості
- •Завдання для виконання роботи
- •Індивідуальні завдання для моделювання роботи транспортного конвеєра
- •Індивідуальні завдання для моделювання роботи ділянки цеху
- •Контрольні запитання
- •Загальні відомості
- •Завдання для виконання роботи
- •Індивідуальні завдання для моделювання роботи еом для оброблення завдань з різними пріоритетами
- •Контрольні запитання
- •Загальні відомості
- •Завдання для виконання роботи
- •Індивідуальні завдання для моделювання роботи вузла комутації повідомлень
- •Контрольні запитання
- •Загальні відомості
- •Завдання для виконання роботи
- •Індивідуальні завдання для моделювання поширення вірусу на системному диску
- •Контрольні запитання
- •Загальні відомості
- •Завдання для виконання роботи
- •Індивідуальні завдання для проведення дисперсійного аналізу для дослідження вагомості впливу змінних користувача на об’єкт моделі
- •Контрольні запитання
- •Загальні відомості
- •Завдання для виконання роботи
- •Індивідуальні завдання для розроблення експерименту користувача
- •Контрольні запитання
- •Загальні відомості
- •Завдання для виконання роботи
- •Індивідуальні завдання проведення регресійного аналізу для оптимізації і кількісного прогнозу поведінки системи
- •Контрольні запитання
- •Елементи стандартного звіту
- •Загальна інформація про результати роботи моделі
- •Інформація про імена
- •Інформація про блоки
- •Інформація про об’єкти типу «пристрій»
- •Інформація про об’єкти типу «черга»
- •Інформація про об’єкти типу «багатоканальний пристрій»
- •Інформація про таблиці
- •Інформація про списки користувача
- •Табличні значення критеріїв
- •Значення t-критерію Ст’юдента
9.1. Основні відомості з теорії планування експериментів
9.1.1. Повний факторний експеримент
Теорія планування експериментів розпочалась із роботи знаменитого англійського вченого Р. Фішера в 30-х роках ХХ століття. Вона базується на представленні процесу поведінки систем у вигляді абстрактної схеми „чорного ящика” (рис.9.1), яка описується залежністю
(9.1)
Рис. 9.1. Абстрактна схема системи
Вважається, що у процесі дослідження можна спостерігати вхідні Х=(Х1,Х2,...,Хn) і вихідні Y=(Y1,Y2,...,Ym) змінні. За їх результатами визначається залежність F між входами і виходами моделі. Вхідні змінні будемо називати факторами, а вихідні називаються відгуками. Функція F, яка пов’язує фактори з відгуками, називається функцію відгуку або реакцією системи. Функція G(X) характеризує похибку експеримента та є випадковою величиною. Очевидно, що у загальному випадку Y також є випадковою величиною, оскільки залежить від G(X).
Істинний вигляд функції відгуку F(Х) до експеримента є практично невідомим. Тому для математичного опису функції відгуку використовують поліноми першого, другого або рідше вищих порядків
, (9.2)
де хі, хn – змінні фактори.
Рівняння (9.2) є розкладом у ряд Тейлора невідомої функції відгуку в околі точки хі = хі0 з коефіцієнтами α0, αі, αіn.
На практиці за результатами експериментів проводиться оброблення даних за допомогою методу найменших квадратів (МНК). Це дозволяє знайти оцінки для відповідних коефіцієнтів αіn і замінити апроксимуючий поліном (9.2) рівнянням
(9.3)
Рівняння (9.3) називається регресійною моделлю (моделлю регресійного аналізу).
В умовах експерименту фактори можуть варюватися. Цим досягається можливість досліджувати вплив фактора на відгуки моделі. Якщо вплив деякого фактора на спостережувану величину змінюється зі зміною рівня деякого іншого фактора тоді між факторами існує взаємозв’язок. Рівнем фактора називається фіксоване значення фактора в експериментальних дослідженнях. Рівні визначають кількісні значення факторів.
Експеримент, у якому реалізуються всі можливі комбінації рівнів факторів, називається повним факторним експериментом (ПФЕ).
Якщо деякий і-ий фактор має Кі рівнів, то загальне число різних сполучень рівнів у ПФЕ для n факторів знаходиться за формулою
Якщо число рівнів для усіх факторів одинакове, то N=Kn. Кожній комбінації рівнів факторів відповідає одне спостереження. Якщо ж кожний фактор змінюється лише на двох рівнях, то N=2n.
Застосування ПФЕ замість класичних схем досліджень (в яких змінюється лише один фактор) має ряд суттєвих переваг. Зокрема у ПФЕ аналізується вплив як кожного фактора у різних умовах, так і значна кількість їх комбінацій. Якщо різні фактори, що зумовлюють ефект взаємовпливу не є незалежними, то тільки за допомогою ПФЕ можна аналізувати та прогнозувати цю взаємодію. Для великого класу задач розроблено значну кількість спеціальних факторних планів.
Недоліком ПФЕ є зростання витрат на підготовку і проведення експериментів зі збільшенням кількості факторів та рівнів. Наприклад, побудова регресійної моделі для шести факторів n=6, кожний з яких змінюється на двох рівнях необхідно провести N=26=64 спостережень. Дослідження впливу з десяти факторів (n=10), кожний з яких має k=4 рівні вимагає проведення N=kn=410=1048576 cпостережень. Саме вирішення такого класу задач обумовило виникнення теорії планування експериментів – як одного з розділів математичної статистики.
Планом експеримента називається сукупність значень факторів, для яких визначаються значення оцінок функції відгуку, які задовільняють деякому критерію оптимальності.
Побудова регресійної моделі за допомогою повного факторного експеримента складається з таких етапів:
вибір основних факторів та їх рівнів;
планування та проведення самого експеримента;
знаходження коефіцієнтів рівняння регресії (моделі);
статистичний аналіз результатів експеримента.
У виборі основних факторів враховується їх ранжування за степенем впливу на вихідну величину. Вибір рівнів факторів базується на виконанні двох умов: рівні фактора мають враховувати весь діапазон його зміни; загальна кількість рівнів за всіма факторами не повинна сприяти зростанню великій кількості спостережень. Основною вимогою до діапазону зміни (інтервалу варіювання) і-го фактора ΔXi є забезпечення виконання умови
,
де SXi – середньоквадратичне відхилення фактора,
(Xi max – Xi min) – область визначення фактора.
Для спрощення запису умов експерименту та оброблення експериментальних даних масштаби за осями координат вибираються так, щоб верхній рівень інтервалу варювання складав +1, а нижній –1.
Для факторів з неперервною областю визначення це досягається за допомогою перетворення (кодування) факторів із натуральної системи координат Хі до кодованої системи хі за такими формулами:
.
(9.4)
Кодування факторів означає перехід від системи координат у натуральних одиницях до системи координат у кодованій формі (рис. 9.2).
Рис. 9.2. Геометрична інтерпретація плану 22: а) у натуральних координатах, б) у кодованій формі.
Кожна точка фазового простору – (+1, +1), (–1, +1), (+1, –), (–1, –1) – це спостереження у дослідженнях. План дворівневого факторного експерименту 22 наведено у табл. 9.1 для випадку однакового числа повторювань спостережень у кожному досліді (l – число паралельних дослідів).
Розглянемо алгоритми побудови регресійної моделі за планом ПФЕ 2n, що описується многочленом першого порядку
(9.5)
Таблиця 9.1
План дворівневого факторного експерименту
Досліди, N |
Планування |
Результати |
||||||
х0 |
х1 |
х2 |
||||||
1 |
+1 |
+1 |
+1 |
y11 |
y12 |
… |
y1l |
|
2 |
+1 |
-1 |
+1 |
y21 |
y22 |
… |
y2l |
|
3 |
+1 |
+1 |
-1 |
y31 |
y32 |
… |
y3l |
|
4 |
+1 |
-1 |
-1 |
y41 |
y42 |
… |
y4l |
|
Алгоритм реалізується виконанням таких етапів:
розрахунок коефіцієнтів рівняння регресії (9.5)
;
(і = 1, ..., N) , (9.6)
де
–
середнє значення за паралельними
дослідженнями j-го
рядка плану ПФЕ (табл. 9.1), N – загальне
число дослідів, u – номер паралельного
досліду, кількість яких становить l;
оцінка дисперсії відтворюваності (оцінка помилки досліду)
Перед розрахунком помилки досліду
необхідно переконатися, що дисперсія
дослідів у кожній точці факторного
простору не перевищує деякої величини.
Для цього розраховуються рядкові
дисперсії
за формулою
(9.7)
Однорідність дисперсії
розраховуємо за критерієм Кохрена. Його
розрахункове значення визначається
так
, (9.8)
де
– максимальна рядкова дисперсія.
Якщо виконується умова
, (9.9)
то гіпотеза про однорідність дисперсій приймається. Табличне значення GT знаходимо за таблицями (додаток 4 для чисел степенів вільності f1=l–1, f2=N та рівня значимості q. Здебільшого використовується 5%-й рівень значимості q=0,05. Якщо умова (9.9) не виконується, то необхідно збільшити число паралельних дослідів.
перевірка значимості коефіцієнтів регресії використовується для оцінки впливів факторів на відгук регресійної моделі. Для цього знаходимо дисперсію коефіцієнтів регресії (9.5)
,
(9.10)
де
помилка досліду.
Існують два способи оцінки значимості коефіцієнтів моделі. Перший спосіб полягає у використанні критерію Ст’юдента. Його розрахункове значення обчислюється так
, (9.11)
де
– абсолютне значення і-го коефіцієнта
регресії. Якщо виконується умова
(9.12)
то і-й коефіцієнт є значимий. Розрахунок значень tT визначається з таблиць (додаток 4) для відповідних значень f=N(l–1), рівнів значимості q і S{ai}.
У другому способі використовують
довірчий інтервал ∆аі.
Оскільки значення
рівні для всіх
коефіцієнтів моделі, то ∆аі
є однаковий
для всіх аі
.
(9.13)
Значимість коефіцієнтів оцінюють виконанням умови
. (9.14)
Якщо для будь-якого коефіцієнта регресійної моделі (9.4) умови (9.12) або (9.14) не виконуються, то відповідний фактор можна вважати незначним і виключити його з моделі. Але у цьому твердженні потрібно бути обережним, оскільки незначні фактори відсіюються у попередніх експериментах. Більш правильним рішенням є розширення інтервалу варювання для даного фактора і повторення експериментів.
перевірка адекватності лінійної регресійної моделі здійснюється за критерієм Фішера
, (9.15)
де розрахункове значення критерію Фішера знаходиться за формулами
.
Тут
– розрахункове значення відгуку моделі
за формулою (9.5), l1
– число членів у регресійному рівнянні
після оцінки значимості. Табличне
значення FT
визначається з таблиць (додаток
4 для степеней вільності
)
.
Якщо умова (9.15) не виконується, то найчастіше приймають рішення про зменшення інтервалів варювання, повторення експериментів і включення у план експериментів нових факторів, які попередньо не враховувались.
Наведений алгоритм реалізує повний факторний експеримент типу 2n. ПФЕ є ефективним для отримання математичної моделі досліджуваного об’єкта, особливо для числа факторів n > 3. Однак, збільшення числа факторів зумовлює різке збільшення числа дослідів (N = 2n), а отже, і зростають машинні витрати і тривалість дослідження.
Як свідчить практика, для отримання необхідних функцій відгуку у випадку, коли дослідника не цікавлять взаємодії високих порядків факторів, можна скористатися деякою частиною (1/2, 1/4, 1/8 і т.д.) усіх можливих комбінацій рівнів факторів від повного факторного експерименту. Такий експеримент називається дробовим факторним експериментом (ДФЕ) [12].
Зменшення числа дослідів не проходить безслідно. З’являються кореляції між деякими стовпцями матриці планування експерименту – так звані змішані ефекти. Ця обставина не дозволяє роздільно оцінювати ефекти факторів та їх взаємодії. Тому використовувати ДФЕ доцільно для кількості факторів n ≥ 5. Для їх побудови використовуються спеціальні алгебраїчні відношення, які забезпечують виявлені змішані ефекти. Вони носять назви генеруючих відношень [6, 14]. Генеруючі відношення дозволяють встановити незначні взаємодії, які у матриці планування замінюються новою незалежною змінною. Над генеруючими відношеннями можна здійснювати алгебраїчні операції. Розрахунок коефіцієнтів регресії та дослідження моделі, отриманої з використанням ДФЕ, не відрізняється від вище наведеного алгоритму побудови регресійної моделі за ПФЕ. Необхідно лише пам’ятати, що обчислювати можна лише ті коефіцієнти для взаємодіючих факторів, які визначаються стовпцями взаємодії, що не співпадають зі стовпцями окремих факторів.