Перевод названия: DECREASE OF COMPUTING COSTS IN SYMBOLIC CALCULATIONS WITH THE USE OF ROOT TREES
Тип публикации: статья из журнала
Год издания: 2018
Ключевые слова: символьные формулы, корневые деревья, помеченные деревья, область достижимости, symbolic formulas, ROOT Trees, tagged trees, reachability
Аннотация: Рассматривается эффективный способ численного построения области достижимости на основе работы с помеченными деревьями символьных формул, что позволяет упростить решение указанных задач. Сокращения, которые появляются, при записи неперестановочных операторов через коммутирующие операторы, возникают естественно. Это приводит к симвоПоказать полностьюльному алгоритму, применение которого для записи и преобразования производных, ускоряет вычисления в задаче оценки множеств достижимости экспоненциально. The article considers an effective way of numerically constructing of the reachability domain based on transforming the symbolic formulas marked with trees, which makes it possible to simplify the solution of these problems. Reductions of the formulas that appear when writing non-commuting operators via commuting operators arise naturally. This leads to a symbolic algorithm, the use of which for writing and converting derivatives, accelerates the calculation of the operator exponentially.
Журнал: Решетневские чтения
Выпуск журнала: Т. 2, № 22
Номера страниц: 16-17
ISSN журнала: 19907702
Место издания: Красноярск
Издатель: Федеральное государственное бюджетное образовательное учреждение высшего образования Сибирский государственный университет науки и технологий имени академика М.Ф. Решетнева