Відмінності між версіями «Принципи побудови моделей»
| Рядок 39: | Рядок 39: | ||
Розглянутий підхід можна реалізувати також у вигляді спеціалізованої мови або пакета моделювання, що дає змогу створювати узагальнені моделі шляхом уведення засобів розмноження підмоделей, реорганізації зв'язків між ними та їх параметричного налагодження. Цей спосіб орієнтовано на фахівців, добре обізнаних з мовою моделювання. Інший спосіб реалізації цього підходу полягає в розробленні діалогових інтелектуальних систем моделювання з використанням банку моделей та бази знань, які користувач може налагоджувати на конкретну реалізацію. У цьому разі етап програмування можна повністю виключити під час програмної реалізації імітаційної моделі завдяки використанню ефективних методів взаємодії з базами даних і застосуванню засобів генерації моделей. | Розглянутий підхід можна реалізувати також у вигляді спеціалізованої мови або пакета моделювання, що дає змогу створювати узагальнені моделі шляхом уведення засобів розмноження підмоделей, реорганізації зв'язків між ними та їх параметричного налагодження. Цей спосіб орієнтовано на фахівців, добре обізнаних з мовою моделювання. Інший спосіб реалізації цього підходу полягає в розробленні діалогових інтелектуальних систем моделювання з використанням банку моделей та бази знань, які користувач може налагоджувати на конкретну реалізацію. У цьому разі етап програмування можна повністю виключити під час програмної реалізації імітаційної моделі завдяки використанню ефективних методів взаємодії з базами даних і застосуванню засобів генерації моделей. | ||
| − | == '' | + | == ''Етапи побудови математичних моделей.'' == |
---- | ---- | ||
Основою моделювання є методологія системного аналізу. Це дає змогу досліджувати систему, яка проектується або аналізується, за технологією операційного дослідження, включаючи такі взаємопов'язані етапи: | Основою моделювання є методологія системного аналізу. Це дає змогу досліджувати систему, яка проектується або аналізується, за технологією операційного дослідження, включаючи такі взаємопов'язані етапи: | ||
| − | # | + | # Дослідження обєкту моделювання. |
| − | # | + | # Концептуальна постановка задачі. |
| − | # | + | # Математична постановка задачі: |
| − | # | + | # Вибір та обгрунтування методу розвязання задачі; |
| − | # | + | # Реалізація мат. моделі у вигляді компютерної програми; |
| − | + | ||
# Перевірка адекватності моделі. | # Перевірка адекватності моделі. | ||
| − | # | + | # Практичне використання і аналіз результатів моделювання |
| − | + | ||
| − | + | ||
| − | '''На першому етапі | + | '''На першому етапі відбуваються наступні дії''': вияв факторів, що впливають на поведінку обєкта, збір та перевірка експериментальних даних про аналогічні обєкти (або про цей самий обєкт), огляд літературних джерел та аналіз побудованих раніше моделей, узагальнення накопиченого матеріалу та розробка загального плану створення математичної моделі. Результатом буде ''технічне завдання'' на розробку моделі. |
| − | На | + | '''На другому етапі виконується концептуальна постановка задачі''' – список основних питань та сукупність гіпотез в термінах конкретних галузей науки. |
| − | ''' | + | '''Третій етап - математична постановка задачі''', тобто сукупність математичних співвідношень, які описують поведінку обєкта. Математична постановка також включає в себе: |
| + | * контроль математичної постановки (контроль розмірностей, контроль порядків...) | ||
| + | * контроль екстремальних ситуацій | ||
| + | * контроль крайових умов | ||
| + | * контроль фізичного (економічного,...) тлумачення | ||
| + | * математична залежність (задача повинна мати розвязок, бажано єдиний). | ||
| − | + | Під час розроблення '''програмної реалізації моделі''' визначаються засоби для програмування, тобто мови програмування або пакети. Наприклад, можуть використовуватись мови програмування загального призначення, такі як С чи PASCAL, або спеціалізовані засоби для моделювання (наприклад, Arena, AutoMod, Extend, GPSS, iThink). Перевага використання мов програмування полягає в тому, що, як відомо, вони мають невисоку закупівельну вартість, і на виконання моделі з їх допомогою затрачується менше часу. Натомість використання програмного забезпечення моделювання сприяє зменшенню тривалості програмування і вартості всього проекту. | |
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | '' | + | |
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
Серед спеціалізованих пакетів для моделювання слід відзначити MATLAB з інтерактивним модулем Simulink. Пакет MATLAB є всесвітньо визнаним універсальним відкритим середовищем, і мовою програмування водночас, в якому інтегровані засоби обчислень, візуалізації, програмування та моделювання. Здійснюється програмування моделі та її налагодження, виконуються тестові прогони моделі на основі контрольних даних, провадиться аналіз чутливості, щоб визначити, які фактори в моделі суттєво впливають на робочі характеристики системи і мають моделюватись дуже точно. | Серед спеціалізованих пакетів для моделювання слід відзначити MATLAB з інтерактивним модулем Simulink. Пакет MATLAB є всесвітньо визнаним універсальним відкритим середовищем, і мовою програмування водночас, в якому інтегровані засоби обчислень, візуалізації, програмування та моделювання. Здійснюється програмування моделі та її налагодження, виконуються тестові прогони моделі на основі контрольних даних, провадиться аналіз чутливості, щоб визначити, які фактори в моделі суттєво впливають на робочі характеристики системи і мають моделюватись дуже точно. | ||
| − | + | Після кожного з вищезазначених етапів перевіряється '''адекватність моделі'''. Перевірку умовно можна розділити на два етапи: ''перевірка правильності створення концептуальної моделі'', тобто задуму – '''валідація'''; ''перевірка правильності її реалізації'' – '''верифікація'''. Під час перевірки достовірності потрібно відповісти на запитання про відповідність моделі модельованій системі, тобто визначити, наскільки ізоморфні система та модель. | |
| − | + | ''Валідація'' – це процес, який дає змогу встановити, чи є модель (а не комп'ютерна програма) точним відображенням системи для конкретних цілей дослідження. | |
| − | + | ''Верифікація'' – логіко-методологічна процедура встановлення істинності наукової гіпотези на підставі їхньої відповідності емпіричним даним або теоретичним положенням, що відповідають емпіричним даним . | |
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | Останній пункт '''(практичне використання і аналіз результатів моделювання)''' дає рекомендації для вдосконалення моделі, тобто побудови нових моделей (див. п.1). | |
| − | + | ||
| − | |||
| − | |||
== ''Див. також'' == | == ''Див. також'' == | ||
Версія за 14:19, 25 травня 2013
Зміст
Моделі та їх класифікація.
Під моделлю розуміють такий матеріальний або уявний обєкт, який у процесі вивчення заміняє обєкт-оригінал. Моделі класифікуються наступним чином:
- Когнитивна модель - це уявний образ, обєкт або його ідеальна модель.
- Представлення когнитивної моделі природною мовою назиівають змістовою моделлю. В природничих і технічних науках вона називається технічним завданням. В свою чергу, змістова модель поділяється на 3 види:
- Описова модель - довільний опис обєкта.
- Пояснювальна модель - демонстрація причини явища чи появи обєкта.
- Передбачувальна модель - демонстрація подальшої поведінки обєкта або наслідків явища.
- Концептуальна модель - модель, що базується на певній концепції. Вона, в свою чергу, поділяється на 3 види:
- Логіко-семантична модель - опис обєкта в термінах та означеннях, які відповідають певним предметним областям.
- Структурно-функціональна модель - обєкт розглядається як цілісна система, яку розділено на окремі елементи та підсистеми, які повязані структурними співвідношеннями.
- Причинно-наслідкова модель виявляєголовні взаємозвязки між елементами обєкта та визначає як зміна одних факторів впливає на інші.
- Формальна модель - це представлення концептуальної моделі формальною мовою.
Принципи побудови моделей.
Розглянемо коротко основні принципи моделювання, які відображають достатньо багатий досвід, накопичений на даний час у галузі розроблення і використання моделей.
- Принцип інформаційної достатності.
За повної відсутності інформації про систему модель побудувати неможливо. За наявності повної інформації про систему її моделювання недоцільне. Існує деякий критичний рівень апріорних відомостей про систему (рівень інформаційної достатності), після досягнення якого можна побудувати її адекватну модель.
- Принцип доцільності.
Модель створюється для досягнення деяких цілей, які визначають на первинному етапі формулювання проблеми моделювання.
- Принцип здійсненності.
Модель, яка створюється, має забезпечувати досягнення мети дослідження з урахуванням граничних ресурсів з імовірністю, суттєво відмінною від нуля, і за кінцевий час. Звичайно задають деяке граничне значення Рp (ступінь ризику) ймовірності досягнення мети моделювання P(t), а також сам граничний термін t досягнення мети. Модель вважають здійсненною, якщо P(t) > Рp.
- Принцип множинності моделей.
Модель, яка створюється, має відображати в першу чергу ті властивості реальної системи (або явища), які впливають на вибраний показник ефективності. Відповідно під час використання будь-якої конкретної моделі пізнаються лише деякі складові реальності. Для повного її дослідження необхідно мати ряд моделей, які дали б змогу відобразити певний процес з різних боків і з різним ступенем детальності.
- Принцип агрегації.
У більшості випадків складну систему можна подати такою, що складається з агрегатів (підсистем), для адекватного формального описування яких придатними є деякі стандартні математичні схеми. Принцип агрегації дає змогу досить гнучко перебудовувати модель залежно від завдань дослідження.
- Принцип пераметризації.
У ряді випадків модельована система має у своєму складі деякі відносно ізольовані підсистеми, які характеризуються певними параметрами, у тому числі векторними. Такі підсистеми можна замінювати в моделі відповідними числовими величинами, а не описувати процес їх функціювання. У разі необхідності залежність значень цих величин від ситуації може задаватись у вигляді таблиць, графіків або аналітичних виразів (формул), наприклад за допомогою регресійного аналізу. Принцип параметризації дає змогу скоротити обсяг і тривалість моделювання, але слід мати на увазі, що параметризація знижує адекватність моделі.
Потреба в моделюванні виникає як на етапі проектування систем для оцінювання правильності прийнятих рішень, так і на етапі експлуатації – для оцінювання наслідків внесення змін у системи. У цьому випадку на різних етапах проектування (технічний або робочий проект) з уточненням вихідних даних і виявленням нових суттєвих факторів ступінь деталізації процесу в системі зростає, що має відобразитись у моделі. Отже, у моделі можуть водночас знаходитись блоки з різним ступенем деталізації, які моделюють одні й ті самі компоненти проектованої системи. Іншими словами, під час побудови моделі потрібно застосовувати методологію ітераційного багаторівневого моделювання.
Розроблення моделі доцільно починати зі створення простої вихідної моделі, яку в процесі уточнення вхідних даних і характеристик системи ускладнюють і коригують, тобто адаптують до нових умов. Водночас модель має залишатись досить наочною, тобто її структура має відповідати структурі модельованої системи, а рівень деталізації моделі повинен вибиратись з урахуванням мети моделювання, ресурсних обмежень (наприклад, час, кваліфіковані людські ресурси і кошти, виділені на проектування) і можливості отримання вхідних даних.
Отже, модель має бути багаторівневою, адаптивною, наочною, цільовою, розвиватись ітераційним способом, ускладнюватись і коригуватись у процесі утворення, що можливо тільки за умови побудови її блоковим (модульним) способом. Програмування та налагодження моделі доцільно провадити поетапно, з наступним збільшенням програмних модулів. Один із способів підвищення ефективності моделювання полягає в тому, щоб не будувати заново модель для кожної нової системи, а вирізняти окремі класи систем і створювати уніфіковані програмні моделі для класів у цілому. Узагальнені програмні моделі дають змогу моделювати будь-яку систему із заданого класу без додаткових витрат на програмування. Така методологія забезпечує єдиний системний підхід до розроблення програмних реалізацій моделей і використовується під час об'єктно-орієнтованого програмування у вигляді бібліотеки класів моделей.
Розглянутий підхід можна реалізувати також у вигляді спеціалізованої мови або пакета моделювання, що дає змогу створювати узагальнені моделі шляхом уведення засобів розмноження підмоделей, реорганізації зв'язків між ними та їх параметричного налагодження. Цей спосіб орієнтовано на фахівців, добре обізнаних з мовою моделювання. Інший спосіб реалізації цього підходу полягає в розробленні діалогових інтелектуальних систем моделювання з використанням банку моделей та бази знань, які користувач може налагоджувати на конкретну реалізацію. У цьому разі етап програмування можна повністю виключити під час програмної реалізації імітаційної моделі завдяки використанню ефективних методів взаємодії з базами даних і застосуванню засобів генерації моделей.
Етапи побудови математичних моделей.
Основою моделювання є методологія системного аналізу. Це дає змогу досліджувати систему, яка проектується або аналізується, за технологією операційного дослідження, включаючи такі взаємопов'язані етапи:
- Дослідження обєкту моделювання.
- Концептуальна постановка задачі.
- Математична постановка задачі:
- Вибір та обгрунтування методу розвязання задачі;
- Реалізація мат. моделі у вигляді компютерної програми;
- Перевірка адекватності моделі.
- Практичне використання і аналіз результатів моделювання
На першому етапі відбуваються наступні дії: вияв факторів, що впливають на поведінку обєкта, збір та перевірка експериментальних даних про аналогічні обєкти (або про цей самий обєкт), огляд літературних джерел та аналіз побудованих раніше моделей, узагальнення накопиченого матеріалу та розробка загального плану створення математичної моделі. Результатом буде технічне завдання на розробку моделі.
На другому етапі виконується концептуальна постановка задачі – список основних питань та сукупність гіпотез в термінах конкретних галузей науки.
Третій етап - математична постановка задачі, тобто сукупність математичних співвідношень, які описують поведінку обєкта. Математична постановка також включає в себе:
- контроль математичної постановки (контроль розмірностей, контроль порядків...)
- контроль екстремальних ситуацій
- контроль крайових умов
- контроль фізичного (економічного,...) тлумачення
- математична залежність (задача повинна мати розвязок, бажано єдиний).
Під час розроблення програмної реалізації моделі визначаються засоби для програмування, тобто мови програмування або пакети. Наприклад, можуть використовуватись мови програмування загального призначення, такі як С чи PASCAL, або спеціалізовані засоби для моделювання (наприклад, Arena, AutoMod, Extend, GPSS, iThink). Перевага використання мов програмування полягає в тому, що, як відомо, вони мають невисоку закупівельну вартість, і на виконання моделі з їх допомогою затрачується менше часу. Натомість використання програмного забезпечення моделювання сприяє зменшенню тривалості програмування і вартості всього проекту.
Серед спеціалізованих пакетів для моделювання слід відзначити MATLAB з інтерактивним модулем Simulink. Пакет MATLAB є всесвітньо визнаним універсальним відкритим середовищем, і мовою програмування водночас, в якому інтегровані засоби обчислень, візуалізації, програмування та моделювання. Здійснюється програмування моделі та її налагодження, виконуються тестові прогони моделі на основі контрольних даних, провадиться аналіз чутливості, щоб визначити, які фактори в моделі суттєво впливають на робочі характеристики системи і мають моделюватись дуже точно.
Після кожного з вищезазначених етапів перевіряється адекватність моделі. Перевірку умовно можна розділити на два етапи: перевірка правильності створення концептуальної моделі, тобто задуму – валідація; перевірка правильності її реалізації – верифікація. Під час перевірки достовірності потрібно відповісти на запитання про відповідність моделі модельованій системі, тобто визначити, наскільки ізоморфні система та модель. Валідація – це процес, який дає змогу встановити, чи є модель (а не комп'ютерна програма) точним відображенням системи для конкретних цілей дослідження. Верифікація – логіко-методологічна процедура встановлення істинності наукової гіпотези на підставі їхньої відповідності емпіричним даним або теоретичним положенням, що відповідають емпіричним даним .
Останній пункт (практичне використання і аналіз результатів моделювання) дає рекомендації для вдосконалення моделі, тобто побудови нових моделей (див. п.1).
