Перегляд за Ключові слова "(слабкий) декартовий квадрат"
Зараз показуємо 1 - 1 з 1
- Результатів на сторінці
- Налаштування сортування
Документ Коалгебраїчнi засоби специфiкацiї та аналiзу статистичних обмежень поведiнки розподiлених систем(Харків : Харківський національний університет імені В.Н. Каразіна, 2024) Панченко, Артем Сергiйович; Panchenko, ArtemДисертацiйна робота присвячена вивченню можливостей удосконалення методiв специфiкацiї дискретних динамiчних систем рiзного типу включно з розподiленими. Пропонується застосування унiверсальних коалгребр як основного iнструменту для створення формальної математичної моделi по ведiнки систем з високим рiвнем абстракцiї, що забезпечить можливiсть моделювання динамiки у системах без урахування їх несуттєвих особливо стей та вивчення їх критичних станiв з метою розробки стратегiй уникання подiбних станiв та алгоритмiв виходу з них.