|
Труды СПИИРАН, 2014, выпуск 33, страницы 99–116
(Mi trspy725)
|
|
|
|
Об использовании трансформационных правил для компьютерной реализации непрерывных процессов
В. М. Шпаков Федеральное государственное бюджетное учреждение науки Санкт-Петербургский институт информатики и автоматизации РАН
Аннотация:
Рассматриваются возможности использования основанного на трансформационных правилах транзитивного подхода для спецификации и компьютерной реализации непрерывных процессов. На примерах показаны приемы преобразования исходных спецификаций процессов в спецификации в виде совокупности трансформационных правил. В качестве исходных рассмотрены спецификации в виде физической модели, структурной схемы динамических звеньев, в виде обыкновенных дифференциальных уравнений. Приведенные примеры демонстрируют простоту, наглядность и универсальность рассматриваемого подхода. Кратко обсуждаются вопросы реализации процессов, специфицированных с помощью правил. Полученные модельные реализации процессов оцениваются с помощью аналитических методов, а также сравниваются с численными решениями, найденными с помощью Matlab и MathCad.
Ключевые слова:
представление знаний, компьютерное моделирование, дифференциальные уравнения, автоматическое управление.
Образец цитирования:
В. М. Шпаков, “Об использовании трансформационных правил для компьютерной реализации непрерывных процессов”, Тр. СПИИРАН, 33 (2014), 99–116
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/trspy725 https://www.mathnet.ru/rus/trspy/v33/p99
|
Статистика просмотров: |
Страница аннотации: | 122 | PDF полного текста: | 64 | Список литературы: | 35 |
|