Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот документ:
https://elib.bsu.by/handle/123456789/233628| Заглавие документа: | Модель распределенных объектно ориентированных стохастических гибридных систем |
| Другое заглавие: | Amodel of distributed object-based stochastic hybrid systems / R. E. Sharykin, A. N. Kourbatski |
| Авторы: | Шарыкин, Р. Е. Курбацкий, А. Н. |
| Тема: | ЭБ БГУ::ТЕХНИЧЕСКИЕ И ПРИКЛАДНЫЕ НАУКИ. ОТРАСЛИ ЭКОНОМИКИ::Автоматика. Вычислительная техника |
| Дата публикации: | 2019 |
| Издатель: | Минск : БГУ |
| Библиографическое описание источника: | Журнал Белорусского государственного университета. Математика. Информатика = Journal of the Belarusian State University. Mathematics and Informatics . - 2019. - № 2. - С. 52-61 |
| Аннотация: | Представлена математическая модель для распределенных объектно ориентированных стохастических гибридных систем (РООСГС) и доказано, что данная модель обладает марковским свойством. РООСГС являются композиционными объектами, которые общаются с другими объектами посредством обмена сообщениями через асинхронную среду, такую как сеть. Важной составляющей модели выступает вероятностная природа РООСГС, в которой состояние системы описывается стохастическими дифференциальными уравнениями с мгновенными вероятностными изменениями его при выполнении определенных условий. Вероятностная природа и у среды обмена сообщениями, в модели которой время доставки сообщения является случайной величиной. Такие задачи часто встречаются на практике в различных сферах, поэтому вопросы формального моделирования и верификации их свойств представляются весьма важными. |
| Аннотация (на другом языке): | 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 |
| Лицензия: | info:eu-repo/semantics/openAccess |
| Располагается в коллекциях: | 2019, №2 |
Все документы в Электронной библиотеке защищены авторским правом, все права сохранены.