Спецификация знаний динамики на основе транзитивной модели непрерывных процессов
Аннотация
Обсуждаются достоинства спецификации знаний о динамике непрерывных систем путем формирования структурных динамических схем. Рассматривается подход к разработке исполняемых спецификаций структурных схем динамических систем. Подход основан на программной реализации транзитивного замыкания отношений следования между состояниями процессов, протекающих в основных элементарных динамических звеньях.Литература
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.
Dynamic knowledge specification on the base of continuous process transition model
Abstract
Advantages of dynamic knowledge specification with help of structural dynamic scheme are discussed. An approach to development of such schemes executable specifications is considered. The approach is based on software realization of consequence relation transitive closure for processes states, which take place at basic dynamic units.Опубликован
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).
