Спецификация знаний динамики на основе транзитивной модели непрерывных процессов
Аннотация
Обсуждаются достоинства спецификации знаний о динамике непрерывных систем путем формирования структурных динамических схем. Рассматривается подход к разработке исполняемых спецификаций структурных схем динамических систем. Подход основан на программной реализации транзитивного замыкания отношений следования между состояниями процессов, протекающих в основных элементарных динамических звеньях.Литература
Howe R. M. Analog computer fundamentals // IEEE Contr. Syst. Mag. 2005. Vol. 25, no. 3. P. 29–36.
Alur R., Henzinger T. A., Lafferriere G., Pappas G. J. Discrete Abstractions of Hybrid Systems // Proceedings of the IEEE. 2000. No. 88. P. 971–984.
Шпаков В. М. Среда разработки ситуационных исполняемых спецификаций моделей систем управления // Интеллектуальные системы и информационные технологии управления: Материалы конф. ИСИТУ-2000-ISITC. Псков, 18–23 июня 2000. С. 316–319.
Alur R., Henzinger T. A., Lafferriere G., Pappas G. J. Discrete Abstractions of Hybrid Systems // Proceedings of the IEEE. 2000. No. 88. P. 971–984.
Шпаков В. М. Среда разработки ситуационных исполняемых спецификаций моделей систем управления // Интеллектуальные системы и информационные технологии управления: Материалы конф. ИСИТУ-2000-ISITC. Псков, 18–23 июня 2000. С. 316–319.
Опубликован
2006-02-01
Как цитировать
Шпаков,. (2006). Спецификация знаний динамики на основе транзитивной модели непрерывных процессов. Труды СПИИРАН, 1(3), 191-197. https://doi.org/10.15622/sp.3.11
Раздел
Статьи
Авторы, которые публикуются в данном журнале, соглашаются со следующими условиями:
Авторы сохраняют за собой авторские права на работу и передают журналу право первой публикации вместе с работой, одновременно лицензируя ее на условиях Creative Commons Attribution License, которая позволяет другим распространять данную работу с обязательным указанием авторства данной работы и ссылкой на оригинальную публикацию в этом журнале.
Авторы сохраняют право заключать отдельные, дополнительные контрактные соглашения на неэксклюзивное распространение версии работы, опубликованной этим журналом (например, разместить ее в университетском хранилище или опубликовать ее в книге), со ссылкой на оригинальную публикацию в этом журнале.
Авторам разрешается размещать их работу в сети Интернет (например, в университетском хранилище или на их персональном веб-сайте) до и во время процесса рассмотрения ее данным журналом, так как это может привести к продуктивному обсуждению, а также к большему количеству ссылок на данную опубликованную работу (Смотри The Effect of Open Access).
