
http://tbk.at.ua
© Кафедра ТБВіМ
21
Як і моделі інших класів, математична модель М повинна відповідати об'-
єкту-прототипу (зокрема, системі на рис.1.2) лише
обмежено
в рамках, обу-
мовлених цілями аналізу або керування поведінкою ситеми. Критерієм
істинності моделі служить інженерна або техніко-економічна кори-
сність нової інформації, отриманої по М при наступній перевірці її в системі.
Щоб модель виявилася корисною, вона повинна володіти двома взаємо-
пов'язаними властивостями:
1) модель повинна бути економічною
, тобто дозволяти досягнути
поставленої мети при меншій витраті ресурсів ніж при викорис-
танні самої системи (об'єкта-прототипу);
2) модель повинна забезпечувати можливість розповсюдження без
суттєвого спотворення (з відомим ризиком помилитися) інформа-
ції на систему, тобто мати властивість транзитивності
(лат.
transitivus – перехідний).
При математичному моделюванні використовуються практично всі мате-
матичні моделі. В основі їх вибору лежить цільова установка моделювання,
теоретичні уявлення про об'єкт, накопичена інформація, обмеження на мате-
ріальні і часові ресурси і т.п.
З урахуванням сформованої практики рішення інженерних задач в області
будівельного матеріалознавства і технології доцільно виділити п'ять основ-
них типів математичних моделей [4], різних за своєю природою.
Моделі типу М
1
– рівняння математичної фізики.
Ґрунтуються на аналізі нескінченно малих змін в фізичній системі нескін-
ченно малого об'єму.
Приклад: рівняння руху в'язкої рідини Нав'є-Стокса. При такому аналізі
число припущень незначне (наприклад, "потік нерозривний" і в'язкість ріди-
ни залежить тільки від температури, тобто рідина – "ньютонівська"), а при
складанні таких моделей – використовуються фундаментальні закони приро-
ди (зокрема, знак рівності в рівнянні Нав'є-Стокса відбиває закон збереження
енергії). Для інженерних розрахунків потрібен перехід від нескінченно малих
до кінцевих (вимірних) змін в реальній системі, однак саме цей перехід, як
правило, аналітично настільки складний (або взагалі неможливий в загально-
му вигляді), що інтегрування заміняється тими або іншими наближеними
методами.
Моделі типу М
2
– концептуальні математичні моделі.
Мають в своїй основі перш за все деяку інженерну концептуальну (лат.
conseptus – уявлення, думка) модель, початково виражену словами в термінах
даної науки (матеріалознавство, технологія). Далі ця модель описується абст-
рактно-знаково за допомогою диференційних чи алгебраїчних рівнянь, логіч-
них операцій тощо.