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

Abstract

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

У роботі наведено обґрунтування необхідності розробки формальних засобів для опису складних систем у випадку, коли потрібне строге обґрунтування адекватності системи і її моделі. Коротко розглянута алгебра процесів, орієнтована на опис паралельних структур, що функціонують, використовуючи реальне робоче навантаження. Визначено поняття строгої й слабкої взаємної подібності. Описано роботу прямого алгоритму визначення слабкої взаємної подібності на прикладі моделі передачі повідомлень в однорідному обчислювальному середовищі. Представлено блок-схему й опис роботи прискореного алгоритму визначення слабкої взаємної подібності

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