dc.contributor.author |
Литвинов, В. В.
|
|
dc.contributor.author |
Казимир, В. В.
|
|
dc.contributor.author |
Гавсієвич, І. Б.
|
|
dc.date.accessioned |
2015-09-26T14:04:19Z |
|
dc.date.available |
2015-09-26T14:04:19Z |
|
dc.date.issued |
2005 |
|
dc.identifier.issn |
№ 4 Математичні машини і системи |
|
dc.identifier.uri |
http://ir.stu.cn.ua/123456789/5384 |
|
dc.description |
Литвинов, В. В. Алгоритм паралельного виконання та синхронізації Е-мережі / В. В. Литвинов, В. В. Казимир, І. Б. Гавсієвич // Математичні машини і системи. - 2005. - № 4. - С. 72-83. |
en_US |
dc.description.abstract |
В статті розглядаються принципи паралельного виконання Е-мережевих імітаційних моделей на основі процесо-орієнтованої парадигми та створення алгоритму синхронізації паралельних ділянок в межах консервативного підходу з застосуванням методу запобігання взаємних блокувань на базі NULL- повідомлень. Для досягнення поставленої мети формалізовано алгоритми роботи Е-мережевого переходу та планувальника при традиційному послідовному моделюванні, виділено паралельні процеси переходів і планувальника, а також розроблено їхній формальний опис за допомогою процесної алгебри CSP Т. Хоара.
The paper is devoted to theoretical and practical problems of performing E-nets imitation models with using conservative approach. The E-nets transition’s algorithm and sequential scheduler’s algorithm were formalized. The parallel processes of transitions and scheduler were marked out and described on Hoare’s CSP language.
: В статье рассматриваются принципы параллельного выполнения Е-сетевых имитационных моделей на основе процессо-ориентированной парадигмы и построения алгоритма синхронизации параллельных участков в рамках консервативного подхода с применением метода предотвращения взаимных блокировок на базе NULL-сообщений. Для достижения поставленной цели формализовано алгоритм работы Е-сетевого перехода и планировщика при традиционном последовательном моделировании, выделены параллельные процессы переходов и планировщика, а также разработано их формальное описание с помощью процессной алгебры CSP Т. Хоара. |
en_US |
dc.language.iso |
uk |
en_US |
dc.relation.ispartofseries |
науковий журнал;№ 4 |
|
dc.subject |
distributed simulation |
en_US |
dc.subject |
parallel program synchronization |
en_US |
dc.subject |
E-nets |
en_US |
dc.subject |
conservative approach |
en_US |
dc.subject |
CSP |
en_US |
dc.subject |
розподілене імітаційне моделювання |
en_US |
dc.subject |
синхронізація паралельних програм |
en_US |
dc.subject |
Е-мережі |
en_US |
dc.subject |
консервативна схема |
en_US |
dc.subject |
распределенное имитационное моделирование |
en_US |
dc.subject |
синхронизация параллельных программ |
en_US |
dc.subject |
Е-сети |
en_US |
dc.subject |
консервативная схема |
en_US |
dc.title |
Алгоритм паралельного виконання та синхронізації Е-мережі |
en_US |
dc.type |
Article |
en_US |