abstract: Среди численных методов исследования динамических систем наиболее известными являются так называемые «методы, основанные на множествах». В их основе лежит идея об аппроксимации фазового пространства конечным набором клеток (ячеек). Приближенное представление о поведении системы можно получать, строя образы таких ячеек. При последовательном подразбиении начального покрытия и стремлении диаметров ячеек к нулю можно строить последовательные приближения к фазовому портрету системы. Метод изучения поведения динамических систем с помощью символического образа также относится к этому классу. Символическим образом динамической системы называется ориентированный граф, построенный по системе и заданному покрытию. Вершинам графа соответствуют ячейки покрытия. На символическом образе строится дуга, если образ ячейки, соответствующей начальной вершине, пересекается с ячейкой, отвечающей конечной вершине. При такой графической интерпретации траекториям системы соответствуют пути на графе. Символический образ является конечной аппроксимацией исходной системы, а построение последовательности символических образов при последовательном подразбиении исходного покрытия позволяет аппроксимировать динамику исходной системы с заданной точностью. В статье описан результат применения генерации кода к задаче локализации инвариантных множеств. Реализация алгоритмов исследования символического образа содержит большое количество циклов по размерности, циклов для перебора вершин гиперкуба. Для заданной динамической системы в процессе работы программного комплекса генерируется код. Это позволяет генерировать более простой код для частного случая, в котором циклы по размерности и перебор вершин гиперкуба заменяются на более простые элементы. Сгенерированный код компилируется и загружается в программу. Приводится сравнительный анализ производительности системы с использованием генерации кода и без нее. Библиогр. 16 назв. Табл. 1.
keywords: динамические системы, численные методы, символический образ, генерация кода