Об использовании трансформационных правил для компьютерной реализации непрерывных процессов
Ключевые слова:
представление знаний, компьютерное моделирование, дифференциальные уравнения, автоматическое управлениеАннотация
Рассматриваются возможности использования основанного на трансформационных правилах транзитивного подхода для спецификации и компьютерной реализации непрерывных процессов. На примерах показаны приемы преобразования исходных спецификаций процессов в спецификации в виде совокупности трансформационных правил. В качестве исходных рассмотрены спецификации в виде физической модели, структурной схемы динамических звеньев, в виде обыкновенных дифференциальных уравнений. Приведенные примеры демонстрируют простоту, наглядность и универсальность рассматриваемого подхода. Кратко обсуждаются вопросы реализации процессов, специфицированных с помощью правил. Полученные модельные реализации процессов оцениваются с помощью аналитических методов, а также сравниваются с численными решениями, найденными с помощью Matlab и MathCad.Литература
1. Шпаков В.М. Ситуационные спецификации имитационных моделей гибридных реактивных систем // Труды СПИИРАН. 2002. Вып. 1, том 2. С. 212 222.
2. Шпаков В.М., Исполняемые спецификации транзитивных моделей технологических процессов // Мехатроника, автоматизация, управление. 2004. № 3. С. 38 45.
3. Шпаков В.М. Прототип среды моделирования структурированных совокупностей взаимодействующих процессов // Сборник докладов конференции “Имитационное моделирование. Теория и практика”, Санкт-Петербург, 19 – 21 октября 2005. Т.II. С. 292–295.
4. Старжинский В.М. Теоретическая механика // М.; Наука, 1980. 404 с.
5. Левицкий А.А. Основы численных методов. URL: http://www.exponenta.ru/educat/systemat/levitsky/index.asp.
6. Scheinerman E. R. Invitation to dynamical systems // Prentice Hall. 1995. 373 p.
2. Шпаков В.М., Исполняемые спецификации транзитивных моделей технологических процессов // Мехатроника, автоматизация, управление. 2004. № 3. С. 38 45.
3. Шпаков В.М. Прототип среды моделирования структурированных совокупностей взаимодействующих процессов // Сборник докладов конференции “Имитационное моделирование. Теория и практика”, Санкт-Петербург, 19 – 21 октября 2005. Т.II. С. 292–295.
4. Старжинский В.М. Теоретическая механика // М.; Наука, 1980. 404 с.
5. Левицкий А.А. Основы численных методов. URL: http://www.exponenta.ru/educat/systemat/levitsky/index.asp.
6. Scheinerman E. R. Invitation to dynamical systems // Prentice Hall. 1995. 373 p.
About Use of Transformational Rules for Computer Implementation of Continuous Processes
Abstract
The possibility to use based on the transformational rules transitive approach for the specification and the computer implementation of continuous processes is considered. The examples show techniques of the processes initial specifications conversion in the specifications as sets of transformation rules. As starting specifications in the form of a physical model, the block diagram of dynamic links, in the form of ordinary differential equations are considered. These examples demonstrate the simplicity, clarity and versatility of this approach. Some problems of implementation of the processes specified by using rules are briefly discussed. The resulting model implementations of processes are evaluated using analytical methods and compared with the numerical solutions found using Matlab and MathCad.
Опубликован
2014-06-02
Как цитировать
Шпаков, В. М. (2014). Об использовании трансформационных правил для компьютерной реализации непрерывных процессов. Труды СПИИРАН, 2(33), 99-116. https://doi.org/10.15622/sp.33.6
Раздел
Статьи
Авторы, которые публикуются в данном журнале, соглашаются со следующими условиями:
Авторы сохраняют за собой авторские права на работу и передают журналу право первой публикации вместе с работой, одновременно лицензируя ее на условиях Creative Commons Attribution License, которая позволяет другим распространять данную работу с обязательным указанием авторства данной работы и ссылкой на оригинальную публикацию в этом журнале.
Авторы сохраняют право заключать отдельные, дополнительные контрактные соглашения на неэксклюзивное распространение версии работы, опубликованной этим журналом (например, разместить ее в университетском хранилище или опубликовать ее в книге), со ссылкой на оригинальную публикацию в этом журнале.
Авторам разрешается размещать их работу в сети Интернет (например, в университетском хранилище или на их персональном веб-сайте) до и во время процесса рассмотрения ее данным журналом, так как это может привести к продуктивному обсуждению, а также к большему количеству ссылок на данную опубликованную работу (Смотри The Effect of Open Access).
