Перевод заглавия: DECREASE OF COMPUTING COSTS IN SYMBOLIC CALCULATIONS WITH THE USE OF ROOT TREES
| УДК |
Кл.слова (ненормированные):
символьные формулы -- корневые деревья -- помеченные деревья -- область достижимости -- 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.
РИНЦ
Держатели документа:
Институт вычислительного моделирования СО РАН
Сибирский федеральный университет
Доп.точки доступа:
Рогалев, А.А.; Rogalev A.A.; Рогалев, А.Н.; Rogalev A.N.