Транзитивный подход к реализации и оценке случайных процессов

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