Моделі систем: статичні, динамічні, концептуальні та ін
(Топологічні, формалізовані (процедури формалізації моделей систем), інформаційні, логіко-лінгвістичні, семантичні, теоретико-множинні)
Модель - це спрощене подобу об'єкта, яке відтворює цікавлять нас властивості і характеристики об'єкта-оригіналу.
Приклад: Модель «чорного ящика» - модель системи, що представляє собою структуру з відомими вихідними і вхідними параметрами і невідомим внутрішнім пристроєм.
Статичні моделі інваріантніщодо часу. Вони служать для опису процесів і явищ, що не залежать від часу.
Динамічні моделі служать для опису зміни процесів і об'єктів в часі.
Приклад: Зоряне небо в Планетарії.
Концептуальна модель - абстрактна модель, яка визначає структуру модельованої системи, властивості її елементів і причинно-наслідкові зв'язки, властиві системі і суттєві для досягнення мети моделювання.
Приклад: Архітектура інформаційної системи підприємства.
Топологічні моделі дозволяють представляти систему у вигляді графів.
Приклад: Діаграма зв'язків (структура системи), діаграма станів (взаємозв'язку різних станів системи з можливостями їх виникнення) і т.п.
Формалізація - відображення системи за допомогою символів будь-якого формального мови.
Процедура формалізації включає:
1) введення термінів вихідних понять, а також термінів основних відносин між цими поняттями,
2) введення змінних і правил побудови на їх основі відповідних формул,
3) введення вихідних доказових формул (аксіом),
4) запровадження правил логічного висновку, що дозволяють з аксіом отримувати похідні від них доказові формули (теореми).
Приклад: Диференціальні рівняння, блок-схеми, передавальні функції, графи і ін.
Інформаційна модель - сукупність інформації, що характеризує суттєві властивості і стану системи, а також зв'язок із зовнішнім світом, дозволяє шляхом подачі на модель інформації про зміни вхідних величин моделювати можливі стану системи.
Інформаційні моделі діляться на описові (створені на природній мові) і формальні (створені на формальній мові: формули, таблиці, графи, карти, схеми і т.д.).
Приклад: Інформаційна модель підприємства, модель бази даних
Логіко-лінгвістична модель - модель, в якій уявлення знань засноване на обліку об'єктів предметної області, відносин між ними і використанні лінгвістичних засобів.
Приклад: семантичні мережі і мережі фреймів.
Семантична модель - представлення понять у вигляді графа, в вершинах якого розташовані поняття, в термінальних вершинах - елементарні поняття, а дуги представляють відносини між поняттями.
Приклад: семантична мережа (спосіб представлення знань у вигляді орієнтованого графа, в якому вершини відповідають семантичним одиницям мови або мови, а дуги - властивостями або відносинам між ними).
Ключові слова: моделі систем. статичні. дінамічес. концептуальні. топологічні. формалізовані. процедури формалізації. інформаційні. логіко-лінгвістичні. семантичні. теоретико-множинні. моделі
Відповіді: спеціальність 05.13.01
Головна (C) Л.Точілов