Алгебра процессов для моделирования сложных систем с реальной рабочей нагрузкой
Приведен краткий обзор современных средств для описания моделей сложных систем. Показано, что для повышения адекватности моделей актуальна задача развития новых низкоуровневых формальных средств описания объектов — алгебр процессов. Коротко описаны основы известных алгебр процессов и предложена алге...
Gespeichert in:
| Veröffentlicht in: | Реєстрація, зберігання і обробка даних |
|---|---|
| Datum: | 2007 |
| Hauptverfasser: | , |
| Format: | Artikel |
| Sprache: | Russisch |
| Veröffentlicht: |
Інститут проблем реєстрації інформації НАН України
2007
|
| Schlagworte: | |
| Online Zugang: | https://nasplib.isofts.kiev.ua/handle/123456789/50907 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Zitieren: | Алгебра процессов для моделирования сложных систем с реальной рабочей нагрузкой / Б.Б. Нестеренко, М.А. Новотарский // Реєстрація, зберігання і оброб. даних. — 2007. — Т. 9, № 4. — С. 49-59. — Бібліогр.: 12 назв. — pос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862561376219693056 |
|---|---|
| author | Нестеренко, Б.Б. Новотарский, М.А. |
| author_facet | Нестеренко, Б.Б. Новотарский, М.А. |
| citation_txt | Алгебра процессов для моделирования сложных систем с реальной рабочей нагрузкой / Б.Б. Нестеренко, М.А. Новотарский // Реєстрація, зберігання і оброб. даних. — 2007. — Т. 9, № 4. — С. 49-59. — Бібліогр.: 12 назв. — pос. |
| collection | DSpace DC |
| container_title | Реєстрація, зберігання і обробка даних |
| description | Приведен краткий обзор современных средств для описания моделей сложных систем. Показано, что для повышения адекватности моделей актуальна задача развития новых низкоуровневых формальных средств описания объектов — алгебр процессов. Коротко описаны основы известных алгебр процессов и предложена алгебра процессов, ориентированная на имитационное моделирование сложных систем с реальной рабочей нагрузкой. Рассмотрены вопросы определения эквивалентности системы и модели. Приведен пример описания однородной вычислительной среды в терминах алгебры процессов.
Наведено короткий огляд сучасних засобів для опису моделей складних систем. Показано, що для підвищення адекватності моделей актуальним є розвиток нових низькорівневих формальних засобів опису об’єктів — алгебр процесів. Коротко описано основи відомих алгебр процесів і запропоновано алгебру процесів, яка орієнтована на імітаційне моделювання складних систем з реальним робочим навантаженням. Розглянуто питання визначення еквівалентності системи й моделі. Наведено приклад опису однорідного обчислювального середовища в термінах алгебри процесів.
A brief review of modern means for the description of complex systems models is given. It is shown that for increase of adequacy of models the problem of development of new low-level formal means for the objects’ description (process algebras) is actual. Basic concepts of known process algebras are shortly described and the process algebra that is focused on simulation of complex systems with real working loading is offered. Questions of definition of equivalence of a system and a model are considered. An example of the description of the homogeneous computing environment in terms of process algebra is given.
|
| first_indexed | 2025-11-25T23:24:46Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-50907 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1560-9189 |
| language | Russian |
| last_indexed | 2025-11-25T23:24:46Z |
| publishDate | 2007 |
| publisher | Інститут проблем реєстрації інформації НАН України |
| record_format | dspace |
| spelling | Нестеренко, Б.Б. Новотарский, М.А. 2013-11-06T16:07:58Z 2013-11-06T16:07:58Z 2007 Алгебра процессов для моделирования сложных систем с реальной рабочей нагрузкой / Б.Б. Нестеренко, М.А. Новотарский // Реєстрація, зберігання і оброб. даних. — 2007. — Т. 9, № 4. — С. 49-59. — Бібліогр.: 12 назв. — pос. 1560-9189 https://nasplib.isofts.kiev.ua/handle/123456789/50907 519.876.5 Приведен краткий обзор современных средств для описания моделей сложных систем. Показано, что для повышения адекватности моделей актуальна задача развития новых низкоуровневых формальных средств описания объектов — алгебр процессов. Коротко описаны основы известных алгебр процессов и предложена алгебра процессов, ориентированная на имитационное моделирование сложных систем с реальной рабочей нагрузкой. Рассмотрены вопросы определения эквивалентности системы и модели. Приведен пример описания однородной вычислительной среды в терминах алгебры процессов. Наведено короткий огляд сучасних засобів для опису моделей складних систем. Показано, що для підвищення адекватності моделей актуальним є розвиток нових низькорівневих формальних засобів опису об’єктів — алгебр процесів. Коротко описано основи відомих алгебр процесів і запропоновано алгебру процесів, яка орієнтована на імітаційне моделювання складних систем з реальним робочим навантаженням. Розглянуто питання визначення еквівалентності системи й моделі. Наведено приклад опису однорідного обчислювального середовища в термінах алгебри процесів. A brief review of modern means for the description of complex systems models is given. It is shown that for increase of adequacy of models the problem of development of new low-level formal means for the objects’ description (process algebras) is actual. Basic concepts of known process algebras are shortly described and the process algebra that is focused on simulation of complex systems with real working loading is offered. Questions of definition of equivalence of a system and a model are considered. An example of the description of the homogeneous computing environment in terms of process algebra is given. ru Інститут проблем реєстрації інформації НАН України Реєстрація, зберігання і обробка даних Математичні методи обробки даних Алгебра процессов для моделирования сложных систем с реальной рабочей нагрузкой Алгебра процесів для моделювання складних систем з реальним робочим навантаженням Process Algebra for Modeling Complex Systems with Real Working Loading Article published earlier |
| spellingShingle | Алгебра процессов для моделирования сложных систем с реальной рабочей нагрузкой Нестеренко, Б.Б. Новотарский, М.А. Математичні методи обробки даних |
| title | Алгебра процессов для моделирования сложных систем с реальной рабочей нагрузкой |
| title_alt | Алгебра процесів для моделювання складних систем з реальним робочим навантаженням Process Algebra for Modeling Complex Systems with Real Working Loading |
| title_full | Алгебра процессов для моделирования сложных систем с реальной рабочей нагрузкой |
| title_fullStr | Алгебра процессов для моделирования сложных систем с реальной рабочей нагрузкой |
| title_full_unstemmed | Алгебра процессов для моделирования сложных систем с реальной рабочей нагрузкой |
| title_short | Алгебра процессов для моделирования сложных систем с реальной рабочей нагрузкой |
| title_sort | алгебра процессов для моделирования сложных систем с реальной рабочей нагрузкой |
| topic | Математичні методи обробки даних |
| topic_facet | Математичні методи обробки даних |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/50907 |
| work_keys_str_mv | AT nesterenkobb algebraprocessovdlâmodelirovaniâsložnyhsistemsrealʹnoirabočeinagruzkoi AT novotarskiima algebraprocessovdlâmodelirovaniâsložnyhsistemsrealʹnoirabočeinagruzkoi AT nesterenkobb algebraprocesívdlâmodelûvannâskladnihsistemzrealʹnimrobočimnavantažennâm AT novotarskiima algebraprocesívdlâmodelûvannâskladnihsistemzrealʹnimrobočimnavantažennâm AT nesterenkobb processalgebraformodelingcomplexsystemswithrealworkingloading AT novotarskiima processalgebraformodelingcomplexsystemswithrealworkingloading |