Определение адекватности моделей сложных дискретных систем
В работе приведено обоснование необходимости разработки формальных средств для описания сложных систем в случае, когда требуется строгое обоснование адекватности системы и ее модели. Коротко рассмотрена алгебра процессов, ориентированная на описание параллельных структур, функционирующих с исполь...
Gespeichert in:
| Datum: | 2008 |
|---|---|
| Hauptverfasser: | , |
| Format: | Artikel |
| Sprache: | Russian |
| Veröffentlicht: |
Інститут проблем математичних машин і систем НАН України
2008
|
| Schlagworte: | |
| Online Zugang: | https://nasplib.isofts.kiev.ua/handle/123456789/2401 |
| 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: | Определение адекватности моделей сложных дискретных систем / Б.Б. Нестеренко, М.А. Новотарский // Мат. машини і системи. — 2008. — N 2. — С. 3-13. — Бібліогр.: 8 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
nasplib_isofts_kiev_ua-123456789-2401 |
|---|---|
| record_format |
dspace |
| fulltext |
|
| spelling |
nasplib_isofts_kiev_ua-123456789-24012025-02-09T12:28:07Z Определение адекватности моделей сложных дискретных систем Визначення адекватності моделей складних дискретних систем Definition of adequacy of models of complex discrete systems Нестеренко, Б.Б. Новотарский, М.А. Обчислювальні системи В работе приведено обоснование необходимости разработки формальных средств для описания сложных систем в случае, когда требуется строгое обоснование адекватности системы и ее модели. Коротко рассмотрена алгебра процессов, ориентированная на описание параллельных структур, функционирующих с использованием реальной рабочей нагрузки. Определены понятия строгого и слабого взаимного подобия. Описана работа прямого алгоритма определения слабого взаимного подобия на примере модели передачи сообщений в однородной вычислительной среде. Представлены блок-схема и описание работы ускоренного алгоритма определения слабого взаимного подобия. У роботі наведено обґрунтування необхідності розробки формальних засобів для опису складних систем у випадку, коли потрібне строге обґрунтування адекватності системи і її моделі. Коротко розглянута алгебра процесів, орієнтована на опис паралельних структур, що функціонують, використовуючи реальне робоче навантаження. Визначено поняття строгої й слабкої взаємної подібності. Описано роботу прямого алгоритму визначення слабкої взаємної подібності на прикладі моделі передачі повідомлень в однорідному обчислювальному середовищі. Представлено блок-схему й опис роботи прискореного алгоритму визначення слабкої взаємної подібності In this paper the substantiation of necessity of development of formal means for the description of complex systems is given for the case when the strict substantiation of adequacy of system and its model is required. The process algebra focused on the description of parallel structures, functioning with use of real working loading is shortly considered. Concepts of strong and weak bisimulations are determined. Functioning of direct algorithm of definition of weak bisimulation is described by the example of model of message transfer in the homogeneous computing environment. The block diagram and the description of the accelerated algorithm for determination of weak bisimulation is submitted 2008 Article Определение адекватности моделей сложных дискретных систем / Б.Б. Нестеренко, М.А. Новотарский // Мат. машини і системи. — 2008. — N 2. — С. 3-13. — Бібліогр.: 8 назв. — рос. 1028-9763 https://nasplib.isofts.kiev.ua/handle/123456789/2401 519.876.5 ru application/pdf Інститут проблем математичних машин і систем НАН України |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| language |
Russian |
| topic |
Обчислювальні системи Обчислювальні системи |
| spellingShingle |
Обчислювальні системи Обчислювальні системи Нестеренко, Б.Б. Новотарский, М.А. Определение адекватности моделей сложных дискретных систем |
| description |
В работе приведено обоснование необходимости разработки формальных средств для описания сложных
систем в случае, когда требуется строгое обоснование адекватности системы и ее модели. Коротко
рассмотрена алгебра процессов, ориентированная на описание параллельных структур, функционирующих с
использованием реальной рабочей нагрузки. Определены понятия строгого и слабого взаимного подобия.
Описана работа прямого алгоритма определения слабого взаимного подобия на примере модели передачи
сообщений в однородной вычислительной среде. Представлены блок-схема и описание работы ускоренного
алгоритма определения слабого взаимного подобия. |
| format |
Article |
| author |
Нестеренко, Б.Б. Новотарский, М.А. |
| author_facet |
Нестеренко, Б.Б. Новотарский, М.А. |
| author_sort |
Нестеренко, Б.Б. |
| title |
Определение адекватности моделей сложных дискретных систем |
| title_short |
Определение адекватности моделей сложных дискретных систем |
| title_full |
Определение адекватности моделей сложных дискретных систем |
| title_fullStr |
Определение адекватности моделей сложных дискретных систем |
| title_full_unstemmed |
Определение адекватности моделей сложных дискретных систем |
| title_sort |
определение адекватности моделей сложных дискретных систем |
| publisher |
Інститут проблем математичних машин і систем НАН України |
| publishDate |
2008 |
| topic_facet |
Обчислювальні системи |
| url |
https://nasplib.isofts.kiev.ua/handle/123456789/2401 |
| citation_txt |
Определение адекватности моделей сложных дискретных систем / Б.Б. Нестеренко, М.А. Новотарский // Мат. машини і системи. — 2008. — N 2. — С. 3-13. — Бібліогр.: 8 назв. — рос. |
| work_keys_str_mv |
AT nesterenkobb opredelenieadekvatnostimodelejsložnyhdiskretnyhsistem AT novotarskijma opredelenieadekvatnostimodelejsložnyhdiskretnyhsistem AT nesterenkobb viznačennâadekvatnostímodelejskladnihdiskretnihsistem AT novotarskijma viznačennâadekvatnostímodelejskladnihdiskretnihsistem AT nesterenkobb definitionofadequacyofmodelsofcomplexdiscretesystems AT novotarskijma definitionofadequacyofmodelsofcomplexdiscretesystems |
| first_indexed |
2025-11-25T23:55:49Z |
| last_indexed |
2025-11-25T23:55:49Z |
| _version_ |
1849808596939833344 |