Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот документ:
https://elib.bsu.by/handle/123456789/259881| Заглавие документа: | Модель распределенных объектно-ориентированных стохастических гибридных систем и ее анализ |
| Авторы: | Шарыкин, Р. Е. |
| Тема: | ЭБ БГУ::ЕСТЕСТВЕННЫЕ И ТОЧНЫЕ НАУКИ::Кибернетика |
| Дата публикации: | 2020 |
| Издатель: | Минск : БГУ |
| Библиографическое описание источника: | 77-я научная конференция студентов и аспирантов Белорусского государственного университета [Электронный ресурс] : материалы конф. В 3 ч. Ч. 1, Минск, 11–22 мая 2020 г. / Белорус. гос. ун-т ; редкол.: В. Г. Сафонов (гл. ред.) [и др.]. – Минск : БГУ, 2020. – С. 132-135. |
| Аннотация: | Предложена математическая модель для Распределенных Объектно-Ориентированных Стохастических Гибридный Систем. Объектно-Ориентированные Стохастические Гибридные Системы являются композиционными объектами, общающимися с другими объектами посредством обмена сообщений через асинхронную среду, такую как сеть. Такие задачи часто встречаются на практике в различных сферах и вопросы формального моделирования и верифицирования их свойств представляются очень важными. Проведено доказательство, что данная модель обладает марковским свойством. Также были разработан язык спецификации Объектно-Ориентированных Стохастических Гибридных Систем и метод их статистического анализа |
| Доп. сведения: | Факультет прикладной математики и информатики |
| URI документа: | https://elib.bsu.by/handle/123456789/259881 |
| ISBN: | 978-985-881-077-1; 978-985-881-080-1 (ч. 1) |
| Располагается в коллекциях: | 2020. Научная конференция студентов и аспирантов БГУ. В трех частях |
Полный текст документа:
| Файл | Описание | Размер | Формат | |
|---|---|---|---|---|
| 132-135.pdf | 470,31 kB | Adobe PDF | Открыть |
Все документы в Электронной библиотеке защищены авторским правом, все права сохранены.