Коалгебраїчнi засоби специфiкацiї та аналiзу статистичних обмежень поведiнки розподiлених систем

Скорочена інформація про документ
dc.contributor.authorПанченко, Артем Сергiйович
dc.contributor.authorPanchenko, Artem
dc.date.accessioned2024-07-21T09:34:08Z
dc.date.available2024-07-21T09:34:08Z
dc.date.issued2024
dc.descriptionНауковий керiвник: Жолткевич Григорiй Миколаєвич, доктор технiчних наук, професор
dc.description.abstractДисертацiйна робота присвячена вивченню можливостей удосконалення методiв специфiкацiї дискретних динамiчних систем рiзного типу включно з розподiленими. Пропонується застосування унiверсальних коалгребр як основного iнструменту для створення формальної математичної моделi по ведiнки систем з високим рiвнем абстракцiї, що забезпечить можливiсть моделювання динамiки у системах без урахування їх несуттєвих особливо стей та вивчення їх критичних станiв з метою розробки стратегiй уникання подiбних станiв та алгоритмiв виходу з них.
dc.description.abstractThe dissertation work is dedicated to studying the possibilities of improvi ng methods for specifying discrete dynamic systems of various types, includi ng distributed systems. The proposed approach involves the use of universal coalgebras as the main tool for creating a formal mathematical model of system behavior at a high level of abstraction. This allows for modeling system dynami cs without considering insignificant details and studying their critical states to develop strategies for avoiding such states and algorithms for recovery
dc.identifier.citationПанченко, Артем Сергiйович. Коалгебраїчнi засоби специфiкацiї та аналiзу статистичних обмежень поведiнки розподiлених систем : дисертація ... доктора філософії : 122 – Комп’ютернi науки (Галузь знань 12 – Iнформацiйнi технологiї) / А.С. Панченко. – Харків : Харківський національний університет імені В.Н. Каразіна, 2024. – 139 с.
dc.identifier.otherУДК 004.05:004.03
dc.identifier.urihttps://ekhnuir.karazin.ua/handle/123456789/18651
dc.language.isouk
dc.publisherХарків : Харківський національний університет імені В.Н. Каразіна
dc.subjectTECHNOLOGY::Information technology
dc.subjectSOCIAL SCIENCES
dc.subjectсистеми геолокацiї та трекiнгу
dc.subjectрозподiленi та паралельнi системи
dc.subjectаналiз вимог до системи
dc.subjectспецифiкацiя поведiнки системи
dc.subjectконцептуальна модель
dc.subjectмоделi реального часу
dc.subjectiмiтацiйне моделювання (симуляцiя)
dc.subjectперехiднi системи включно з автоматами
dc.subjectсистема пiдтримки та прийняття рiшень
dc.subjectмашинне навчання
dc.subjectалгебра
dc.subjectсинтез програм
dc.subjectверифiкацiя поведiнки програмних систем
dc.subjectформальнi методи верифiкацiї
dc.subjectпрограмна логiка
dc.subjectлогiчна узгодженiсть
dc.subjectкоректнiсть моделi
dc.subjectповнота моделi забезпечення надiйностi та безперебiйної роботи системи
dc.subjectобчислювальнi системи
dc.subjectсимуляцiя роботи системи
dc.subjectавтомати
dc.subjectавтоматизацiя процесiв проектування
dc.subjectсистеми з пiдвищеними вимогами до надiйностi
dc.subjectунiверсальна коалгебра
dc.subjectфiнальна коалгебра
dc.subject(слабкий) декартовий квадрат
dc.subjectgeolocation and tracking systems
dc.subjectdistributed and parallel systems
dc.subjectanalysis of system requirements
dc.subjectsystem behavior specification
dc.subjectconceptual model
dc.subjectreal time models
dc.subjectsimulation
dc.subjecttransitional systems including automatic machines
dc.subjectsupport and decision-making system
dc.subjectmachine learning
dc.subjectalgebra
dc.subjectprogram synthesis
dc.subjectverification of the behavior of software systems
dc.subjectformal methods of verification
dc.subjectsoftware logic
dc.subjectlogical consistency
dc.subjectcorrectness of the model
dc.subjectcompleteness of the model ensuring reliability and smooth operation of the system
dc.subjectcomputer systems
dc.subjectsimulation of system operation
dc.subjectmachines
dc.subjectautomation of design processes
dc.subjectsystems with increased reliability requirements
dc.subjectuniversal coalgebra
dc.subjectfinal coalgebra
dc.subject(weak) Pullback
dc.titleКоалгебраїчнi засоби специфiкацiї та аналiзу статистичних обмежень поведiнки розподiлених систем
dc.title.alternativeCoalgebraic methods of specification and analysis of statistical limitations of distributed systems behavior
dc.typeDissertation

Файли

Контейнер файлів

Зараз показуємо 1 - 1 з 1
Ескіз
Назва:
PhD Panchenko final_merged.pdf
Розмір:
2.3 MB
Формат:
Adobe Portable Document Format
Завантажити

Ліцензійна угода

Зараз показуємо 1 - 1 з 1
Ескіз недоступний
Назва:
license.txt
Розмір:
8.3 KB
Формат:
Item-specific license agreed upon to submission
Опис:
Завантажити

Колекції

ДФ 64.051.001 – ...