УМЕНЬШЕНИЕ ВЫЧИСЛИТЕЛЬНЫХ ЗАТРАТ В СИМВОЛЬНЫХ ВЫЧИСЛЕНИЯХ С ИСПОЛЬЗОВАНИЕМ КОРНЕВЫХ ДЕРЕВЬЕВ : научное издание

Перевод названия: DECREASE OF COMPUTING COSTS IN SYMBOLIC CALCULATIONS WITH THE USE OF ROOT TREES

Тип публикации: статья из журнала

Год издания: 2018

Ключевые слова: символьные формулы, корневые деревья, помеченные деревья, область достижимости, symbolic formulas, ROOT Trees, tagged trees, reachability

Аннотация: Рассматривается эффективный способ численного построения области достижимости на основе работы с помеченными деревьями символьных формул, что позволяет упростить решение указанных задач. Сокращения, которые появляются, при записи неперестановочных операторов через коммутирующие операторы, возникают естественно. Это приводит к символьному алгоритму, применение которого для записи и преобразования производных, ускоряет вычисления в задаче оценки множеств достижимости экспоненциально.

Ссылки на полный текст

Издание

Журнал: Решетневские чтения

Выпуск журнала: Т. 2, 22

Номера страниц: 16-17

ISSN журнала: 19907702

Место издания: Красноярск

Издатель: Федеральное государственное бюджетное образовательное учреждение высшего образования Сибирский государственный университет науки и технологий имени академика М.Ф. Решетнева

Авторы

  • Рогалев А.А. (Институт вычислительного моделирования СО РАН)
  • Рогалев А.Н. (Институт вычислительного моделирования СО РАН)

Вхождение в базы данных

Информация о публикациях загружается с сайта службы поддержки публикационной активности СФУ. Сообщите, если заметили неточности.

Вы можете отметить интересные фрагменты текста, которые будут доступны по уникальной ссылке в адресной строке браузера.