Logo BSU

Please use this identifier to cite or link to this item: https://elib.bsu.by/handle/123456789/233628
Title: Модель распределенных объектно ориентированных стохастических гибридных систем
Other Titles: Amodel of distributed object-based stochastic hybrid systems / R. E. Sharykin, A. N. Kourbatski
Authors: Шарыкин, Р. Е.
Курбацкий, А. Н.
Keywords: ЭБ БГУ::ТЕХНИЧЕСКИЕ И ПРИКЛАДНЫЕ НАУКИ. ОТРАСЛИ ЭКОНОМИКИ::Автоматика. Вычислительная техника
Issue Date: 2019
Publisher: Минск : БГУ
Citation: Журнал Белорусского государственного университета. Математика. Информатика = Journal of the Belarusian State University. Mathematics and Informatics . - 2019. - № 2. - С. 52-61
Abstract: Представлена математическая модель для распределенных объектно ориентированных стохастических гибридных систем (РООСГС) и доказано, что данная модель обладает марковским свойством. РООСГС являются композиционными объектами, которые общаются с другими объектами посредством обмена сообщениями через асинхронную среду, такую как сеть. Важной составляющей модели выступает вероятностная природа РООСГС, в которой состояние системы описывается стохастическими дифференциальными уравнениями с мгновенными вероятностными изменениями его при выполнении определенных условий. Вероятностная природа и у среды обмена сообщениями, в модели которой время доставки сообщения является случайной величиной. Такие задачи часто встречаются на практике в различных сферах, поэтому вопросы формального моделирования и верификации их свойств представляются весьма важными.
Abstract (in another language): This article offers a mathematical model for distributed object-oriented stochastic hybrid systems (DOBSHS). DOBSHS are composite objects communicating with other objects through the exchange of messages through an asynchronous medium such as a network. An important component of the model is the probabilistic nature of the DOBSHS, in which the state of the system is described by stochastic differential equations with instantaneous probabilistic state changes when certain conditions are met. Also probabilistic is the nature of the messaging environment, in which the model of message delivery time is a random variable. Such problems are often encountered in practice in various areas and issues of formal modeling and verification of their properties are very important. The article presents a mathematical model of DOBSHS and proved that it has a Markov property.
URI: http://elib.bsu.by/handle/123456789/233628
ISSN: 1561-834X
DOI: 10.33581/2520-6508-2019-2-52-61
Licence: info:eu-repo/semantics/openAccess
Appears in Collections:2019, №2

Files in This Item:
File Description SizeFormat 
52-61.pdf596,77 kBAdobe PDFView/Open
Show full item record Google Scholar



Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.