Уравнения динамики функционирования модели системы, представленной на языке SML

Abstract

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