Page 12 - 2579
P. 12
та гомоморфізму. Система та модель є ізоморфними,
якщо існує взаємооднозначна відповідність між
ними, завдяки якій можна перетворити одне подання
на інше. Строго доведений ізоморфізм для систем
різної природи дає можливість переносити знання з
однієї галузі в іншу. За допомогою теорії ізоморфізму
можна не тільки створювати моделі систем і процесів,
але й організовувати процес моделювання.
Однак існують і менш тісні зв'язки між
системою та моделлю. Це так звані гомоморфні
зв'язки, які визначають однозначну відповідність
лише в один бік - від моделі до системи. Система та
модель є ізоморфними тільки в разі спрощення
системи, тобто скорочення множини її властивостей
(атрибутів) і характеристик поведінки, які впливають
на простір станів системи. Зазвичай модель
простіша за систему. На рисунку 1.1 схематично
зображено різницю ізоморфної та гомоморфної
залежностей між системою та моделлю для простору
станів системи Z s і моделі Z m. Множину станів моделі
Z т визначають з огляду на мету моделювання та
обраний рівень абстрактного опису.
Рисунок 1.1 – Співвідношення між системою
та моделлю
6