2025-02-23T10:41:02-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: Query fl=%2A&wt=json&json.nl=arrarr&q=id%3A%22irk-123456789-2401%22&qt=morelikethis&rows=5
2025-02-23T10:41:02-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: => GET http://localhost:8983/solr/biblio/select?fl=%2A&wt=json&json.nl=arrarr&q=id%3A%22irk-123456789-2401%22&qt=morelikethis&rows=5
2025-02-23T10:41:02-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: <= 200 OK
2025-02-23T10:41:02-05:00 DEBUG: Deserialized SOLR response

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

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

Full description

Saved in:
Bibliographic Details
Main Authors: Нестеренко, Б.Б., Новотарский, М.А.
Format: Article
Language:Russian
Published: Інститут проблем математичних машин і систем НАН України 2008
Subjects:
Online Access:http://dspace.nbuv.gov.ua/handle/123456789/2401
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:В работе приведено обоснование необходимости разработки формальных средств для описания сложных систем в случае, когда требуется строгое обоснование адекватности системы и ее модели. Коротко рассмотрена алгебра процессов, ориентированная на описание параллельных структур, функционирующих с использованием реальной рабочей нагрузки. Определены понятия строгого и слабого взаимного подобия. Описана работа прямого алгоритма определения слабого взаимного подобия на примере модели передачи сообщений в однородной вычислительной среде. Представлены блок-схема и описание работы ускоренного алгоритма определения слабого взаимного подобия.