Транзитивный подход к реализации и оценке случайных процессов
Ключевые слова:
компьютерное моделирование, случайные процессы, автоматическое управлениеАннотация
Рассматриваются возможности использования подхода, основанного на транзитивных (трансформационных) правилах формализма спецификации детерминированных процессов, для реализации случайных процессов и оценки их характеристик. Приводится краткое описание формализма и способы его применения для моделирования динамических систем при наличии случайных воздействий. Обсуждаются методы реализации случайных процессов с заданными статистическими свойствами и методы оценки числовых характеристик и корреляционных функций эргодических случайных процессов. Представлены примеры реализации случайных процессов и результаты оценки их характеристик и корреляционных функций.Литература
Шпаков В.М. Исполняемые спецификации транзитивных моделей технологических процессов // Мехатроника, автоматизация, управление. № 3. 2004. С. 38–45
Henzinger T.A. The Theory of Hybrid Automata. // Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science (LICS 96). 1996. 278–292 p.
Alur R., Henzinger T.A., Lafferriere G., Pappas G. J. Discrete Abstractions of Hybrid Systems // Proceedings of the IEEE. No. 88. 2000. 971–984 pp.
Шпаков В.М. Спецификация знаний динамики на основе транзитивной модели непрерывных процессов // Труды СПИИРАН. Вып. 3, т. 1. СПб.: Наука, 2006. С. 191–197
Шпаков В.М. Прототип среды моделирования структурированных совокупностей взаимодействующих процессов // Сборник докладов конференции «Имитационное моделирование. Теория и практика», Санкт-Петербург, 19 – 21 октября 2005.-Т.II, с. 292–295
Поляков К.Ю. Теория автоматического управления для чайников Часть II. Управление при случайных возмущениях. Санкт-Петербург, 2009.. URL: http://www.infoterra.ru/oty/books/files/tau-2_dlya_chainikov.pdf. 59 с
Бессекерский В.А, Попов Е.П. Теория систем автоматического регулирования, «Наука», 1966. 992 с.
Henzinger T.A. The Theory of Hybrid Automata. // Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science (LICS 96). 1996. 278–292 p.
Alur R., Henzinger T.A., Lafferriere G., Pappas G. J. Discrete Abstractions of Hybrid Systems // Proceedings of the IEEE. No. 88. 2000. 971–984 pp.
Шпаков В.М. Спецификация знаний динамики на основе транзитивной модели непрерывных процессов // Труды СПИИРАН. Вып. 3, т. 1. СПб.: Наука, 2006. С. 191–197
Шпаков В.М. Прототип среды моделирования структурированных совокупностей взаимодействующих процессов // Сборник докладов конференции «Имитационное моделирование. Теория и практика», Санкт-Петербург, 19 – 21 октября 2005.-Т.II, с. 292–295
Поляков К.Ю. Теория автоматического управления для чайников Часть II. Управление при случайных возмущениях. Санкт-Петербург, 2009.. URL: http://www.infoterra.ru/oty/books/files/tau-2_dlya_chainikov.pdf. 59 с
Бессекерский В.А, Попов Е.П. Теория систем автоматического регулирования, «Наука», 1966. 992 с.
Transitive approach to random processes implementation and estimation
Abstract
Means of use of based on transition rules formalism for determinate processes specification for random processes implementation and their characteristic estimation are considered. A short description of the formalism and methods of its use for simulation of dynamical systems in the presence of random impacts are presented. Methods of realization of random processes with specified statistic properties and methods of random ergodic process numerical characteristic and correlation functions estimation are discussed. Examples of random process implementations and results of their characteristics and correlation functions estimations are produced.Опубликован
2013-12-01
Как цитировать
Шпаков, В. М. (2013). Транзитивный подход к реализации и оценке случайных процессов. Труды СПИИРАН, 7(30), 282-300. https://doi.org/10.15622/sp.30.18
Раздел
Статьи
Авторы, которые публикуются в данном журнале, соглашаются со следующими условиями:
Авторы сохраняют за собой авторские права на работу и передают журналу право первой публикации вместе с работой, одновременно лицензируя ее на условиях Creative Commons Attribution License, которая позволяет другим распространять данную работу с обязательным указанием авторства данной работы и ссылкой на оригинальную публикацию в этом журнале.
Авторы сохраняют право заключать отдельные, дополнительные контрактные соглашения на неэксклюзивное распространение версии работы, опубликованной этим журналом (например, разместить ее в университетском хранилище или опубликовать ее в книге), со ссылкой на оригинальную публикацию в этом журнале.
Авторам разрешается размещать их работу в сети Интернет (например, в университетском хранилище или на их персональном веб-сайте) до и во время процесса рассмотрения ее данным журналом, так как это может привести к продуктивному обсуждению, а также к большему количеству ссылок на данную опубликованную работу (Смотри The Effect of Open Access).
