|
Эта публикация цитируется в 4 научных статьях (всего в 4 статьях)
Теоретические основы информатики
Модель распределенных объектно ориентированных стохастических гибридных систем
Р. Е. Шарыкин, А. Н. Курбацкий Белорусский государственный университет, пр. Независимости, 4, 220030, г. Минск, Беларусь
Аннотация:
Представлена математическая модель для распределенных объектно ориентированных стохастических гибридных систем (РООСГС) и доказано, что данная модель обладает марковским свойством. РООСГС являются композиционными объектами, которые общаются с другими объектами посредством обмена сообщениями через асинхронную среду, такую как сеть. Важной составляющей модели выступает вероятностная природа РООСГС, в которой состояние системы описывается стохастическими дифференциальными уравнениями с мгновенными вероятностными изменениями его при выполнении определенных условий. Вероятностная природа и у среды обмена сообщениями, в модели которой время доставки сообщения является случайной величиной. Такие задачи часто встречаются на практике в различных сферах, поэтому вопросы формального моделирования и верификации их свойств представляются весьма важными
Ключевые слова:
математическое моделирование; гибридные системы; стохастические системы; марковское свойство; спецификация моделей.
Поступила в редакцию: 12.02.2019
Образец цитирования:
Р. Е. Шарыкин, А. Н. Курбацкий, “Модель распределенных объектно ориентированных стохастических гибридных систем”, Журн. Белорус. гос. ун-та. Матем. Инф., 2 (2019), 52–61
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/bgumi96 https://www.mathnet.ru/rus/bgumi/v2/p52
|
Статистика просмотров: |
Страница аннотации: | 52 | PDF полного текста: | 12 | Список литературы: | 11 |
|