Определение адекватности моделей сложных дискретных систем
В работе приведено обоснование необходимости разработки формальных средств для описания сложных
 систем в случае, когда требуется строгое обоснование адекватности системы и ее модели. Коротко
 рассмотрена алгебра процессов, ориентированная на описание параллельных структур, функциони...
Saved in:
| Date: | 2008 |
|---|---|
| Main Authors: | , |
| Format: | Article |
| Language: | Russian |
| Published: |
Інститут проблем математичних машин і систем НАН України
2008
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/2401 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | Определение адекватности моделей сложных дискретных систем / Б.Б. Нестеренко, М.А. Новотарский // Мат. машини і системи. — 2008. — N 2. — С. 3-13. — Бібліогр.: 8 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862564763455717376 |
|---|---|
| author | Нестеренко, Б.Б. Новотарский, М.А. |
| author_facet | Нестеренко, Б.Б. Новотарский, М.А. |
| citation_txt | Определение адекватности моделей сложных дискретных систем / Б.Б. Нестеренко, М.А. Новотарский // Мат. машини і системи. — 2008. — N 2. — С. 3-13. — Бібліогр.: 8 назв. — рос. |
| collection | DSpace DC |
| description | В работе приведено обоснование необходимости разработки формальных средств для описания сложных
систем в случае, когда требуется строгое обоснование адекватности системы и ее модели. Коротко
рассмотрена алгебра процессов, ориентированная на описание параллельных структур, функционирующих с
использованием реальной рабочей нагрузки. Определены понятия строгого и слабого взаимного подобия.
Описана работа прямого алгоритма определения слабого взаимного подобия на примере модели передачи
сообщений в однородной вычислительной среде. Представлены блок-схема и описание работы ускоренного
алгоритма определения слабого взаимного подобия.
У роботі наведено обґрунтування необхідності розробки формальних засобів для опису складних систем у
випадку, коли потрібне строге обґрунтування адекватності системи і її моделі. Коротко розглянута алгебра
процесів, орієнтована на опис паралельних структур, що функціонують, використовуючи реальне робоче
навантаження. Визначено поняття строгої й слабкої взаємної подібності. Описано роботу прямого алгоритму
визначення слабкої взаємної подібності на прикладі моделі передачі повідомлень в однорідному
обчислювальному середовищі. Представлено блок-схему й опис роботи прискореного алгоритму визначення
слабкої взаємної подібності
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
|
| first_indexed | 2025-11-25T23:55:49Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-2401 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1028-9763 |
| language | Russian |
| last_indexed | 2025-11-25T23:55:49Z |
| publishDate | 2008 |
| publisher | Інститут проблем математичних машин і систем НАН України |
| record_format | dspace |
| spelling | Нестеренко, Б.Б. Новотарский, М.А. 2008-10-07T08:58:26Z 2008-10-07T08:58:26Z 2008 Определение адекватности моделей сложных дискретных систем / Б.Б. Нестеренко, М.А. Новотарский // Мат. машини і системи. — 2008. — N 2. — С. 3-13. — Бібліогр.: 8 назв. — рос. 1028-9763 https://nasplib.isofts.kiev.ua/handle/123456789/2401 519.876.5 В работе приведено обоснование необходимости разработки формальных средств для описания сложных
 систем в случае, когда требуется строгое обоснование адекватности системы и ее модели. Коротко
 рассмотрена алгебра процессов, ориентированная на описание параллельных структур, функционирующих с
 использованием реальной рабочей нагрузки. Определены понятия строгого и слабого взаимного подобия.
 Описана работа прямого алгоритма определения слабого взаимного подобия на примере модели передачи
 сообщений в однородной вычислительной среде. Представлены блок-схема и описание работы ускоренного
 алгоритма определения слабого взаимного подобия. У роботі наведено обґрунтування необхідності розробки формальних засобів для опису складних систем у
 випадку, коли потрібне строге обґрунтування адекватності системи і її моделі. Коротко розглянута алгебра
 процесів, орієнтована на опис паралельних структур, що функціонують, використовуючи реальне робоче
 навантаження. Визначено поняття строгої й слабкої взаємної подібності. Описано роботу прямого алгоритму
 визначення слабкої взаємної подібності на прикладі моделі передачі повідомлень в однорідному
 обчислювальному середовищі. Представлено блок-схему й опис роботи прискореного алгоритму визначення
 слабкої взаємної подібності 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 ru Інститут проблем математичних машин і систем НАН України Обчислювальні системи Определение адекватности моделей сложных дискретных систем Визначення адекватності моделей складних дискретних систем Definition of adequacy of models of complex discrete systems Article published earlier |
| spellingShingle | Определение адекватности моделей сложных дискретных систем Нестеренко, Б.Б. Новотарский, М.А. Обчислювальні системи |
| title | Определение адекватности моделей сложных дискретных систем |
| title_alt | Визначення адекватності моделей складних дискретних систем Definition of adequacy of models of complex discrete systems |
| title_full | Определение адекватности моделей сложных дискретных систем |
| title_fullStr | Определение адекватности моделей сложных дискретных систем |
| title_full_unstemmed | Определение адекватности моделей сложных дискретных систем |
| title_short | Определение адекватности моделей сложных дискретных систем |
| title_sort | определение адекватности моделей сложных дискретных систем |
| topic | Обчислювальні системи |
| topic_facet | Обчислювальні системи |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/2401 |
| work_keys_str_mv | AT nesterenkobb opredelenieadekvatnostimodeleisložnyhdiskretnyhsistem AT novotarskiima opredelenieadekvatnostimodeleisložnyhdiskretnyhsistem AT nesterenkobb viznačennâadekvatnostímodeleiskladnihdiskretnihsistem AT novotarskiima viznačennâadekvatnostímodeleiskladnihdiskretnihsistem AT nesterenkobb definitionofadequacyofmodelsofcomplexdiscretesystems AT novotarskiima definitionofadequacyofmodelsofcomplexdiscretesystems |