- •1. Загальні положення та визначення
- •1.1. Поняття системи
- •1.2. Поняття моделі
- •1.3. Співвідношення між моделлю та системою
- •1.4. Класифікація моделей
- •1.5. Вимоги до моделей
- •1.6. Основні види моделювання
- •1.7. Декомпозиція систем і простір станів
- •1.8.1. Кібернетичний підхід
- •1.8. Формальні методи побудови моделей
- •1.8.2. Системна динаміка
- •1.8.3. Теоретико-множинний підхід
- •1.9. Принципи побудови моделей
- •1.10. Технологія моделювання
- •Висновки
- •Контрольні запитання та завдання
- •Классификация систем в.Н.Сагатовского:
- •Примеры
- •Примеры
- •Свойства:
- •Требования к моделям
- •Основные виды моделей
- •Уровни моделей
- •Классификация моделей
- •Процесс моделирования
- •Алгоритмы компьютерного моделирования
- •Виды статистических и эконометрических моделей
- •Применение имитационного моделирования
- •Виды имитационного моделирования
- •Области применения
- •Интегрирование методом Монте-Карло
- •Обычный алгоритм Монте-Карло интегрирования
- •Применение в физике
- •Алгоритм Метрополиса
- •Прямое моделирование методом Монте-Карло
1.8. Формальні методи побудови моделей
Розглядаючи сфери застосування моделей, можна констатувати, що за допомогою моделі можна досягти двох основних цілей [67]:
описової, якщо модель призначена для пояснення і кращого розуміння об'єкта,
або приписуючої, коли модель дає змогу передбачити або відтворити характеристики об'єкта або визначити його поведінку.
Таким чином, модель є описовою, якщо вона призначена зображувати поведінку (функціонування) або властивості існуючої або типової системи (наприклад, масштабна модель або письмовий опис, що дає змогу знайомити потенційних покупців із фізичними і робочими характеристиками комп'ютера). Протилежність — приписуюча модель, яка відображає необхідну поведінку або властивості запропонованої системи (наприклад, масштабна модель або письмовий опис, представлений постачальнику комп'ютерів, з фізичними і робочими характеристиками потрібного замовнику комп'ютера).
Приписуюча модель може бути описовою, але не навпаки. Тому існує різний ступінь корисності моделей, які використовуються в технічних і соціальних науках. Це значною мірою залежить від методів, і засобів, застосовуваних під час побудови моделей, а також від кінцевої мети. У соціальних науках моделі призначено для пояснення існуючих систем, а в техніці вони є допоміжними засобами для створення нових або більш досконалих моделей. Модель, що придатна для досягнення цілей розроблення системи, має також пояснювати її.
Під час побудови моделей застосовуються фундаментальні закони природи, варіаційні принципи, аналогії, ієрархічні ланцюжки. Процес створення моделі включає такі етапи.
Словесно-смисловий опис об'єкта або явища – формулювання описової моделі, призначеної для сприяння кращому розумінню об'єкта моделювання.
Числове вираження модельованої реальності для виявлення кількісної міри і границь відповідних якостей; з цією метою провадиться математико-статистична обробка емпіричних даних, пропонується кількісне формулювання якісно встановлених фактів і узагальнень.
Перехід до вибору або формулювання моделей явищ і процесів (варіаційного принципу, аналогії тощо) і його запису у формалізованій формі; це рівень структурних теоретичних схем, таких як системи масового обслуговування, мережі Петрі, скінченні або ймовірнісні автомати, діаграми фонд – потік тощо.
Завершення формулювання моделі її «оснащенням» — задания початкового стану і параметрів об'єкта.
Вивчення моделі за допомогою доступних методів (у тому числі із застосуванням різних підходів і обчислювальних методів).
У результаті дослідження моделі досягається поставлена мета. У цьому разі має бути встановлена всіма можливими способами (шляхом порівняння з практикою, порівняння з іншими підходами) її адекватність — відповідність об'єкта сформульованим припущенням.
1.8.1. Кібернетичний підхід
Систему можна вивчати та аналізувати, змінюючи вхідні впливи і спостерігаючи за виходами. Це кібернетичний підхід, згідно з яким система розглядається як «чорний ящик». Метод «чорного ящика» широко використовується під час моделювання систем, коли для дослідника важливо отримати інформацію про поведінку системи, а не про її будову. Дослідник не може зробити однозначний висновок про структуру «чорного ящика», спостерігаючи тільки за його входами та виходами, бо поведінка модельованої системи нічим не відрізняється від поведінки ізоморфних їй систем.
Для побудови моделі використовуються методи теорії ідентифікації. У загальному випадку завдання ідентифікації формулюється так: на основі результатів спостереження за вхідними та вихідними змінними системи потрібно побудувати оптимальну в деякому розумінні математичну модель. Основними етапами ідентифікації є такі:
Вибір класу і структури моделі та мови її опису.
Вибір класу і типів вхідних впливів X.
Обгрунтування критеріїв подібності системи та моделі.
Вибір методу ідентифікації та розроблення відповідних алгоритмів оцінювання параметрів системи.
Перевірку адекватності отриманої в результаті ідентифікації моделі.
Залежно від обсягу апріорної інформації про клас і структуру системи вирізняють завдання ідентифікації в широкому та вузькому розумінні [43]. Завдання ідентифікації у широкому розумінні виконується в умовах апріорної невизначеності структури моделі системи («чорний ящик»). Клас і структура математичної моделі вибираються на основі результатів теоретичного аналізу з використанням загальних закономірностей процесів, які протікають у системі, або на основі загальної інформації про подібні системи. У цьому випадку для побудови математичної моделі можна використовувати непараметричні методи. Їх розроблено для тих ситуацій, які досить часто виникають на практиці, коли дослідник нічого не знає про параметри досліджуваної системи (звідси і назва методів — непараметричні).
Завдання ідентифікації у вузькому розумінні полягає в оцінюванні параметрів і станів системи, якщо відома структура моделі («сірий ящик»). Завданням ідентифікації є кількісне оцінювання певних параметрів. Для цього використовується параметрична ідентифікація математичної моделі. Прикладами таких моделей можуть бути диференціальні та різницеві рівняння, моделі типу «вхід – стан – вихід».
На рис. 1.10 зображено загальну схему ідентифікації системи. Вхідні впливи X на систему та модель однакові, виходи системи Ys і моделі Ym у загальному випадку відрізняються. Для їх порівняння потрібно сформувати критерій подібності та мінімізувати його, тобто налагодити модель.
Прикладами моделей, створених на основі експериментальних даних, можуть бути моделі авторегресії різних порядків, ковзного середнього та моделі типу «вхід – вихід», побудовані за допомогою методу найменших квадратів.
Рис. 1.10. Загальна схема ідентифікації системи
