Определение адекватности моделей сложных дискретных систем

Определение адекватности моделей сложных дискретных систем

В работе приведено обоснование необходимости разработки формальных средств для описания сложных систем в случае, когда требуется строгое обоснование адекватности системы и ее модели. Коротко рассмотрена алгебра процессов, ориентированная на описание параллельных структур, функционирующих с исполь...

Повний опис

Збережено в:
Бібліографічні деталі
Дата:2008
Автори: Нестеренко, Б.Б., Новотарский, М.А.
Формат: Стаття
Мова:Russian
Опубліковано: Інститут проблем математичних машин і систем НАН України 2008
Теми:
Обчислювальні системи
Онлайн доступ:http://dspace.nbuv.gov.ua/handle/123456789/2401
Теги: Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:Определение адекватности моделей сложных дискретных систем / Б.Б. Нестеренко, М.А. Новотарский // Мат. машини і системи. — 2008. — N 2. — С. 3-13. — Бібліогр.: 8 назв. — рос.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine
id irk-123456789-2401
record_format dspace
spelling irk-123456789-24012008-10-07T12:00:32Z Определение адекватности моделей сложных дискретных систем Нестеренко, Б.Б. Новотарский, М.А. Обчислювальні системи В работе приведено обоснование необходимости разработки формальных средств для описания сложных систем в случае, когда требуется строгое обоснование адекватности системы и ее модели. Коротко рассмотрена алгебра процессов, ориентированная на описание параллельных структур, функционирующих с использованием реальной рабочей нагрузки. Определены понятия строгого и слабого взаимного подобия. Описана работа прямого алгоритма определения слабого взаимного подобия на примере модели передачи сообщений в однородной вычислительной среде. Представлены блок-схема и описание работы ускоренного алгоритма определения слабого взаимного подобия. У роботі наведено обґрунтування необхідності розробки формальних засобів для опису складних систем у випадку, коли потрібне строге обґрунтування адекватності системи і її моделі. Коротко розглянута алгебра процесів, орієнтована на опис паралельних структур, що функціонують, використовуючи реальне робоче навантаження. Визначено поняття строгої й слабкої взаємної подібності. Описано роботу прямого алгоритму визначення слабкої взаємної подібності на прикладі моделі передачі повідомлень в однорідному обчислювальному середовищі. Представлено блок-схему й опис роботи прискореного алгоритму визначення слабкої взаємної подібності 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 http://dspace.nbuv.gov.ua/handle/123456789/2401 519.876.5 ru Інститут проблем математичних машин і систем НАН України
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 http://dspace.nbuv.gov.ua/handle/123456789/2401
citation_txt Определение адекватности моделей сложных дискретных систем / Б.Б. Нестеренко, М.А. Новотарский // Мат. машини і системи. — 2008. — N 2. — С. 3-13. — Бібліогр.: 8 назв. — рос.
work_keys_str_mv AT nesterenkobb opredelenieadekvatnostimodelejsložnyhdiskretnyhsistem
AT novotarskijma opredelenieadekvatnostimodelejsložnyhdiskretnyhsistem
first_indexed 2023-03-24T08:24:54Z
last_indexed 2023-03-24T08:24:54Z
_version_ 1796138985872949248

Схожі ресурси