Об использовании трансформационных правил для компьютерной реализации непрерывных процессов
Ключевые слова:
представление знаний, компьютерное моделирование, дифференциальные уравнения, автоматическое управлениеАннотация
Рассматриваются возможности использования основанного на трансформационных правилах транзитивного подхода для спецификации и компьютерной реализации непрерывных процессов. На примерах показаны приемы преобразования исходных спецификаций процессов в спецификации в виде совокупности трансформационных правил. В качестве исходных рассмотрены спецификации в виде физической модели, структурной схемы динамических звеньев, в виде обыкновенных дифференциальных уравнений. Приведенные примеры демонстрируют простоту, наглядность и универсальность рассматриваемого подхода. Кратко обсуждаются вопросы реализации процессов, специфицированных с помощью правил. Полученные модельные реализации процессов оцениваются с помощью аналитических методов, а также сравниваются с численными решениями, найденными с помощью 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.
Опубликован
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).
