Сибирский федеральный университет

Перевод названия: ALGORITHMS OF SYMBOLIC COMPUTATIONS BASED ON ROOT TREES FOR EVALUATING THE CAPABILITY OF THE CONTROL PROCESS

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

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

Ключевые слова: озможности управления, множества достижимости, области значений, символьные данные, корневые деревья, control capabilities, Reachability sets, ranges of values, Symbolic data, ROOT Trees

Аннотация: Представлены методы и алгоритмы для оценки возможностей управления, в которые входит определение возможности приведения управляемой системы в заданную точку y * фазового пространства. Для этого вычисляются границы множества достижимости управляемой системы - множества точек фазового про- странства, в которые возможно сдвигаться вдоль траектории управляемой системы, и проверяется включе- ние точки y * во множество достижимости. Подобные задачи часто встречаются на практике, например, при оценке маневренных возможностей летательных аппаратов. Оценки маневренных возможностей должны быть достаточно точными и реализуемыми за малое время. Описанные алгоритмы основаны на символьных формах представления решений. При реализации этих алгоритмов подвергаются обработке, а также хранят- ся числовые данные и символьные данные. Для оценки областей значений выражений, построенных формула- ми, исследуются структуры символьных данных, включающие формальные линейные комбинации корневых помеченных деревьев. Операции над корневыми помеченными поддеревьями выполняются при вложении структуры данных в ассоциативный набор данных. Возможны сокращения членов символьных формул, если неперестановочные операторы записываются через перестановочные операторы. Такие алгоритмы умень- шают время вычисления операторов, в которых присутствуют производные, часто экспоненциально. Приво- дятся примеры применения этих методов. Среди этих примеров можно отметить оценки для модели управ- ления «машина Дуббинса», представляющей систему обыкновенных дифференциальных уравнений 3-го порядка и описывающей движение беспилотного летательного аппарата (БПЛА). Поскольку скорости полета нахо- дятся в интервале 30-65 км/ч, который типичен для БПЛА, а скорость ветра на высоте 30-200 м над уровнем земли почти всегда превышает 18 км/ч, то БПЛА должны эффективно маневрировать в воздушном потоке. Вводя параметризацию кривой длинной дуги, постановка этой задачи формулируется геометрически. Это позволяет исследовать границы множеств достижимости в каждый момент времени. Анализ структуры множеств достижимости дает полезную информацию для оценки возможностей управления. The article presents the methods and algorithms for evaluating management capabilities. These methods also determine the possibility of bringing the controlled system to a given point y * in the phase space. A set of reachability is a set of points in the phase space into which it is possible to move along the trajectory of the controlled system. It is necessary to check whether the point y * is included in the reachable set. Such problems are often encountered in practice, for example, when assessing the maneuverability of aircraft. Estimates of maneuverability should be accurate enough and implemented in a short time. The algorithms described in the article are based on the symbolic forms of solutions. When these algorithms are implemented, numerical data and character data are processed, and also are stored. To evaluate the ranges of values of expressions constructed by formulas, the article explores the structures of character data, including formal linear combinations of root labeled trees. Operations on the root tagged subtrees are performed by nesting the data structure in an associative data set. Reductions of the members of symbolic formulas are possible, if non-commutative operators are written through permutation operators. Such algorithms reduce the time of computation of operators in which derivatives are present, often exponentially. The article gives the examples of the application of these methods. Among these examples, we can mention the “Dobbins machine” control model, which represents the system of ordinary differential equations of the third order and describes the motion of an unmanned aerial vehicle (UAV). Since the flight speeds are in the range of 30-65 km/h, which is typical for UAVs, and the wind speed at an altitude of 30-200 m above the Earth level almost always exceeds 18 km/h, UAVs must effectively maneuver in the air flow. This allows us to examine the boundaries of reachable sets at each instant of time. An analysis of the reachable sets provides useful information for evaluating management capabilities

Журнал: Сибирский журнал науки и технологий

Выпуск журнала: Т. 18, № 4

Номера страниц: 810-819

ISSN журнала: 25876066

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

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

• Рогалев А.А. (Сибирский федеральный университет, Институт космических и информационных технологий)

• РИНЦ (eLIBRARY.RU)
• Список ВАК