МАТЕМАТИКА
J
УДК 519.6:532.529.5
В. Д. Сулимов
ЛОКАЛЬНАЯ СГЛАЖИВАЮЩАЯ АППРОКСИМАЦИЯ В ГИБРИДНОМ АЛГОРИТМЕ ОПТИМИЗАЦИИ ГИДРОМЕХАНИЧЕСКИХ СИСТЕМ
Рассмотрены задачи глобальной оптимизации гидромеханических систем с непрерывными не всюду дифференцируемыми критериальными функциями. Предложен гибридный алгоритм, объединяющий стохастический алгоритм PCA и метод линеаризации. Реализован вариант метода линеаризации для задач локальной оптимизации на основе построения сглаживающих аппроксимаций критериев и сформулированы необходимые условия оптимальности. Исследована локальная сходимость алгоритма. Приведен численный пример решения задачи диагностирования по спектральным данным фазового состава теплоносителя в контуре реакторной установки.
E-mail: [email protected]
Ключевые слова: глобальная оптимизация, критериальная функция, условие Липшица, сглаживающая аппроксимация, гибридный алгоритм, локальная сходимость, гидромеханическая система.
Решение многих практических задач, связанных с оптимальным проектированием и диагностированием сложных систем, обучением нейронных сетей и т.п. предполагает применение методов глобальной оптимизации [1-4]. Существенно, что критериальные функции в общем случае не являются всюду дифференцируемыми по переменным управления [5, 6]. Типичным является предположение о том, что отношения приращений функций к приращениям аргументов не превышают некоторого порога. Последний определяется ограниченной энергией изменений в системе и может быть описан с помощью константы Липшица [7]. Кроме того, при вычислении каждого текущего значения функции в точках допустимой области могут потребоваться значительные вычислительные ресурсы. Этим обусловлена актуальность разработки эффективных алгоритмов решения задач с многоэкстремальными критериальными функциями на основе методов недифференцируемой оптимизации.
Постановка задачи. Рассматривается задача глобальной оптимизации, формулируемая в виде
(1)
где
X = {x £ D : дг (x) < 0, г £ I } ;
(2)
D = {x E Rn : aj < Xj < bj, j E J} . (3)
Здесь использованы следующие обозначения: f (x) — целевая функция; x — вектор переменных управления; ji (x) — функции ограничений задачи, i E I; I = {1,... , m} — конечное множество индексов; X — допустимая область; D — область поиска; x* — глобальное решение; n — размерность задачи; J = {1,..., n}; через Rn обозначено n-мерное вещественное линейное пространство.
Функции f (x), ji (x), i E I, задачи (1)-(3) предполагаются липши-цевыми. Так функция f (x) удовлетворяет условию
|f (x') - f (x") | < L ||x' - x"|| , x', x" E X, (4)
где L — константа Липшица, 0 <L< то; || • || — евклидова норма.
Предположим, что действительная функция f : Rn ^ R является многоэкстремальной, не всюду дифференцируемой и для нее задана вычислительная процедура, позволяющая определять значения функции в точках допустимой области. Необходимо также учесть возможную высокую трудоемкость вычисления критериальных функций и соответствующие требования к вычислительным ресурсам.
Алгоритмы глобальной оптимизации. Детерминированные методы решения задач глобальной оптимизации многоэкстремальных функций к настоящему времени достаточно хорошо разработаны и находят широкое применение. Так, версия алгоритма TRUST [8] была реализована в работе [9] для диагностирования фазового состава теплоносителя в контуре сложной гидромеханической системы. Следует отметить, что эффективность детерминированных алгоритмов существенно ограничена их зависимостью от размерности задачи [7]. В случае большого числа переменных применяют алгоритмы стохастической глобальной оптимизации. К ним относятся алгоритмы моделируемого отжига, генетические, управляемого случайного поиска и др. Вместе с тем чувствительность к выбору параметров алгоритмов этого типа, устанавливаемых пользователем или обусловленных содержанием задачи, во многом определяет скорость сходимости итерационного процесса. Этого недостатка лишен алгоритм PCA [1], один из наиболее мощных современных стохастических алгоритмов глобальной оптимизации. Существенным шагом алгоритма является сравнительная оценка качества решения, определяемого текущей и предшествующей конфигурациями системы. Пробное приближение принимается с определенной вероятностью, что исключает сходимость к локальному минимуму при поиске глобального решения. Алгоритм PCA удобен для реализации и может использоваться при решении как непрерывных, так и дискретных задач оптимизации.
Применение стохастических алгоритмов глобальной оптимизации требует значительных вычислительных ресурсов, и один из путей повышения эффективности таких алгоритмов — это совершенствование процедуры локального поиска. В работе [10] представлен гибридный алгоритм ММРСА, объединяющий стохастический алгоритм РСА и детерминированный симплекс-метод Нелдера-Мида. Общий поиск в допустимой области проводится стохастическим алгоритмом, а при локальном поиске в перспективной на глобальный экстремум области используется симплекс-метод. При этом не возникает необходимости вычисления функций. Более высокая эффективность алгоритма МКРСА по сравнению с генетическим алгоритмом показана на примере решения задачи оптимального проектирования ядерного реактора. Однако метод Нелдера-Мида не всегда обеспечивает сходимость к стационарной точке [11], что снижает в целом надежность алгоритма МКРСА.
В связи с этим предложен новый гибридный алгоритм РСАИБ, построенный на основе алгоритма РСА в сочетании с детерминированным методом линеаризации [12] при локальном поиске. Градиентная информация, используемая в гибридном алгоритме, позволяет получить локально оптимальное, а следовательно, и глобальное решение задачи (если оно существует) при меньших вычислительных затратах по сравнению с алгоритмом РСА. При локальном поиске для многомерных не всюду дифференцируемых критериальных функций вводятся сглаживающие аппроксимации.
Аппроксимация критериальных функций. Предварительно рассмотрим задачу поиска минимума действительной функции / : Мп ^ М, определенной в виде
/ (х) = тах (х)} , г € 1м = {1 ,...,М} , (5)
жехсМ"
где X — допустимое множество. Предполагается, что все функции (х), г € 1м, выпуклы и непрерывно дифференцируемы.
Задачи, формулируемые в минимаксной форме, относятся к классу недифференцируемых задач оптимизации [5]. Для их решения применяются специальные методы, например адаптивный метод сглаживающей аппроксимации, реализуемый согласно принципу максимальной энтропии [13]. Рассматриваемый ниже подход основан на построении сглаживающих аппроксимаций критериальных функций с последующим использованием мощных методов, разработанных для задач дифференцируемой оптимизации. Следует отметить, что применительно к задачам динамики гидромеханических систем процедура сглаживания является корректной и не приводит к потере существенной информации [14]. Преимуществом является также возможность создания эф-
фективного программного обеспечения, позволяющего оперативно получать решения с приемлемой для практики точностью. Подход предполагает замену каждой недифференцируемой функции некоторой ее аппроксимацией, которая была бы выпуклой и дифференцируемой в области допустимых значений переменных управления.
Целевую функцию (5) можно определить в эквивалентной форме [15]
f (x) = ^i(x) + y(^2(x) - Pi(x) + Y(... +
+ Y(<Pm-l(x) - ^m-2(x) + Y(^m(x) + ^m-l(x))) . . .)), (6)
где
Y(<Pi(x)) = max {0,^(x)} , i E IM. (7)
xgX CRn
Основная идея метода, предложенного в [15] для решения задачи недифференцируемой минимизации, состоит в том, чтобы каждую функцию y(^i(x)), i E IM, входящую в (6), заменить некоторой гладкой функцией, построить сглаженную приближенную целевую функцию, а затем применить эффективные методы гладкой минимизации. При возрастании точности аппроксимации функций (7) имеет место сходимость приближенного решения к точному.
Существенно, что уже в одномерном случае функция y(x) =
= max {0, x} в точке x = 0 дифференцируема только по направ-
xeXcR
лениям. При этом возможен следующий подход [14]: на числовой оси выделяется отрезок [p, q], содержащий точку, в которой функция y (x) имеет указанную особенность, и на этом отрезке исходная функция заменяется некоторой приближенной функцией, выпуклой и дифференцируемой в каждой точке по построению. Пусть выбраны числа p < 0 и q > 0. Вводится двухпараметрическая аппроксимация функции y : R ^ R
{0, x ^ p;
s (P, q, x), p < x < q; (8)
x, x ^ q.
Здесь p, q — параметры аппроксимации, определяющие соответственно левую и правую границы отрезка [p, q], на котором задана сглаживающая функция s (p, q, x). Приближенная функция 7 (p, q, x), представленная в (8), совпадает с исходной функцией y (x) всюду, за исключением отрезка [p, q]. Потребуем, чтобы функция s (p, q, x) была выпуклой и, по крайней мере, один раз дифференцируемой на [p, q]. Указанными свойствами обладает, например, дуга кривой, описываемой уравнением второй степени [16]
an x2 + 2ai2xs + a22s2 + 2ai3x + 2a23s + азз = 0.
При этом [14]
s (p, q, 0) = -pn (p, q),
где п (p,q)= [1 + 6 - у/2(1 + 6)^/ (в2 - 1); 6 = -p/q.
Некоторые существенные свойства сглаженной функции устанавливают следующие утверждения [14].
Лемма 1. Если аппроксимирующая функция Y : R ^ R определена в виде (8) и заданы параметры p < 0, q > 0, то
lim y (p, q,x) = y (x).
pfö
Лемма 2. Пусть выполнены предположения леммы 1. Тогда
0 ^ Y (p,q,x) - y (x) ^ —pn (p, q) vx £ R.
Получена также оценка приближенного решения задачи минимизации не всюду дифференцируемой критериальной функции f : Rn ^ R при использовании двухпараметрических сглаживающих аппроксимаций.
Теорема 1 [14]. Пусть x* £ Rn и x £ Rn суть точки минимума для f (x) и f (p, q, x) соответственно. Тогда
0 < f (p,q,x) - f (x*) < -p minn {1, (m - 1)n (p,q)}.
leXcR."
Локальная минимизация. Рассмотрим задачу (1)-(3), ограничившись поиском локального решения. Так как функции f (x), дг (x), i £ I, не всюду непрерывно дифференцируемы, заменим их соответствующими сглаживающими аппроксимациями f (p,q,x), дг (p,q,x), i £ I, выбрав предварительно параметры p < 0, q > 0, и положим
G (p, q, x) = max дг (p, q, x); (9)
ге/
Is (x) = {г £ I : дг (p,q,x) > G (p,q,x) - 5 > 0. (10)
Пусть x* — локальное решение задачи. Обозначим f * = f (p,q,x*); G* = G (p,q,x). Градиент f' (p,q,x) понимается как вектор-строка. Следуя [12], предположим, что существуют константы N > 0, 5 > 0, такие, что:
а) множество QN = |x : f (p, q, x) + NG (p, q, x) < f* + NG* j ограничено;
б) градиенты функций f (p, q, x), дг (p, q,x), i £ I, удовлетворяют в Qn условию Липшица (4);
в) задача квадратичного программирования
min I f' (p,q,x) + 1/2 ||w||2j , (11)
(д' (р, д, х) , ад) + дг (р, д, х) < 0, г € /5 (х), (12)
разрешима относительно ад € Еп при любом х € и существуют такие множители Лагранжа иг (х), г € /5 (х), что ^^ иг (х) ^ N
ге!« (ж)
(через Еп обозначено п-мерное евклидово пространство; ( • , • ) — скалярное произведение).
Алгоритм решения рассматриваемой задачи локальной минимизации включает в себя следующие основные шаги. Пусть х0 — начальное приближение, выбраны е, 0 < е < 1, а также параметры аппроксимации р < 0, д > 0 и уже получена точка хк.
1. Решить задачу (11), (12) при х = хк и определить вектор адк = ад (р, д, хк).
2. Найти первое значение г = 0,1,..., при котором будет выполнено неравенство
/ еР, д, хк + (1/2)г адк) + N(5 ер, д, хк + (1/2)г адк) <
< I еР,д,хк) + N(5 (р, д, хк) - (1/2)г е ^адк||2 .
для а = (1/2)г. Если такое г = г0 найдено, то положить ак = 2-Г0, хк+1 = хк + ак адк.
Из представленных в [12] результатов следует, что ад (р, д, х) есть решение задачи (11), (12) тогда и только тогда, когда существуют такие множители Лагранжа иг ^ 0, г € /5 (х), что
/' ^ g, х) + ^ д, х) = 0;
ге!« (ж)
иг ((д' (р, д, х), ад) + дг (р, д, х)) = 0, г € /5 (х).
Теперь можно сформулировать теорему о сходимости процесса, порождаемого алгоритмом локальной минимизации.
Теорема 2. Если выполнены предположения а-в, то процесс обладает следующими свойствами: а) (5 (р, д, хк) ^ 0 при к ^ то;
б) в любой предельной точке х* последовательности хк, к = 0,1,..., выполняются неравенства (2) и необходимые условия минимума функции / (р, д, х) при ограничениях (2), (3).
Доказательство. Для доказательства достаточно прямой ссылки на теорему 2.1 [12, с. 48] и теорему 1. □
Рассмотрим задачу минимизации (1), (3) для случая простых ограничений: требуется найти
шт < / (р, д, х) : а ^ х^ ^ , € 7 > . (13)
Здесь f (р, д, х) — выпуклая функция; допустимая область X совпадает с областью поиска Б. Вспомогательная задача принимает вид: найти
df (p,q,x) , i
т1П < ' дх- + 2 ^ (т-])2: а] ^ Хз ^Ь], 3 Е (14)
.з=1 з з=1 )
Решение задачи (14) дает ыз, после чего определяются множители Куна-Таккера и- и и+, соответствующие неравенствам Х3 + ыз — Ьз ^ 0 и —Х3 — ыз + Ьз ^ 0, 3 Е 3. Функция Лагранжа записывается в виде
Е
3 = 1
11 ч2 . df ^ q, х) . +, ч . - / . , ч
2 (w3) + -дх -w3 + (a3 - x3 - w3' + u- (x3 + w3 - b3)
3
По теореме 1.6 [12, с. 14] для минимизируемой в задаче (13) целевой функции должны выполняться условия
df_(p1q1x) _ +
дх. Uj 1 Uj 1 wj
— u+ + u- + wj = 0, j E J; (15)
3
и+ ^ 0, и+ (аз — хз — ыз) = 0,
з ^ з з з (16)
и- ^ 0, и- (хз + ыз — Ьз) = 0, з Е 3.
Пусть требуется решить задачу (13), выбраны числа аз ,Ьз, 3 Е 3, а также число е, 0 < е < 1, и параметры аппроксимации р < 0, д > 0. Алгоритм минимизации включает в себя следующие основные шаги.
0. Выбрать точку х0, аз ^ х°° ^ Ьз, 3 Е 3.
1. Если точка х,к уже построена, то вычислить вектор ык = ы {р, д, хк
2. Определить первое значение г = 0,1,..., при котором для а = (1/2) будет выполнено неравенство
f (р, д, хк + аык) < / (р,д,хк) — еа \\ык||2.
Если такое г = г0 найдено, то положить ак = 2-Г0, хк+1 = хк + акык. Перейти к шагу 1.
3. Критерий остановки ык = 0.
Теорема 3. Пусть выбраны параметры р < 0, д > 0. Если числа аз ,Ьз, 3 Е 3, конечны и градиент функции f (р,д,х) удовлетворяет условию Липшица, то во всякой предельной точке последовательности хк, к = 0,1,..., удовлетворяются необходимые условия минимума.
Доказательство. В рассматриваемом случае точки последовательности хк не выходят за пределы ограниченной области. Вспомогательная задача (14) всегда разрешима относительно ы = ы (р,д,х), а
множители u+,u- определены согласно (16):
- п + д/ д/ .
u- =0, u+ =-^--+ w,, если----^ a, — ж,,
7 7 дж, J дж, J J
- + n / д/ i- = u+ = 0, если a, — ж, <----< о, — ж,;
77 дж,
,
+ /Л — 111™/ dJ \ 7
u+ = 0, u- =-----w,, если---- ^ о, — ж,,
3 3 дж, J дж, J
+ _n д/ (р,д,ж) д/ (р,д,ж)
и поэтому ограничены. Все предположения, при которых справедлива теорема 2, выполнены, откуда следует результат. □
Гибридный алгоритм PCAHS. Ниже представлен псевдокод гибридного алгоритма. При реализации алгоритма в виде прикладной программы для определения параметров возмущения используются стандартные встроенные генераторы случайных чисел: Generate an initial solution Old_Config Best Fitness = Fitness (Old_Config) For n = 0 to # of iterations Generate a stochastic perturbation of the solution If Fitness (New_Config) > Fitness (Old_Config) If Fitness (New_Config) > Best Fitness
Best Fitness := Fitness (New_Config) End If
Old_Config := New_Conßg Localization ( ) Else
Scattering ( ) End If End For Localization ( )
Apply the Linearization Method with smoothing approximations Return
Scattering ( ) Pscaii = 1—(Fitness (New_Config)) / (Best Fitness) If Pscatt > random(0, 1)
Old_Config := random solution Else Exploration ( ) End If Return
Разработано прикладное программное обеспечение, реализующее гибридный алгоритм PCAHS, и получено решение задач, принятых в современной литературе в качестве стандартных эталонных тестов глобальной оптимизации. Показано [17], что гибридный алгоритм на 1-3 порядка эффективнее стохастического алгоритма PCA, а для ряда стандартных эталонных тестов сравним по эффективности с детерминированным алгоритмом TRUST.
Пример. Модельная идентификация аномалий фазового состава теплоносителя реакторной установки. В качестве диагностируемой системы рассматривается главный циркуляционный контур (ГЦК) серийного блока ВВЭР-1000 [9, 18]. Переменными модели являются относительные значения скорости звука x в теплоносителе на участках ГЦК, соответствующих: зоне нагрева теплоносителя в напорном баке системы компенсации объема (СКО) (xi); выходному объему реактора (x2); активной зоне реактора (x3); проточной части главного циркуляционного насоса циркуляционной петли с СКО (x4). При отсутствии в теплоносителе второй фазы представленный в таблице нормальный спектр соответствует максимальным значениям скорости звука на выделенных участках.
Таблица
j 1 2 3 4 5 6 7 8 9 10
oj, Гц 0,89 6,77 9,82 15,44 15,96 18,94 24,56 26,69 27,07 30,52
j Гц 0,87 6,77 9,07 15,27 15,96 18,93 24,56 26,67 26,85 28,62
В модельной задаче аномальный спектр ш* получен при наличии двухфазной смеси в выходном объеме и активной зоне реактора. При этом х* = х* = 100 %; = 81 %; х3 = 72, 9 %. Критериальная функция определена с учетом десяти низших спектральных составляющих. После определения области переменных модели, содержащей глобальный минимум, завершающие итерации гибридного алгоритма проводятся с использованием градиентной информации для сглаживающих аппроксимаций критериальной функции. Сходимость решения проиллюстрирована на рис. 1,2.
Получено приближенное решение: хЦ = х* = 100 %; х2 ~ 81,12 %; х3 ~ 72,47%. Относительная погрешность определения значений переменных модели не превышает 1, 99 % при точности настройки спектра частот порядка 0,01 Гц. Итак, по завершении настройки спектра частот расчетной динамической модели объекта на заданный аномальный спектр установлено, что имеет место появление второй фазы в
Рис. 1. Изменение значений переменных управления х^ с ростом числа итераций N:
1, 2, 3, 4 соответственно х\, х2, х3, х4
Рис. 2. Зависимость критериальной функции / (р, д, х) (1) и нормы вектора Nr(w) (2) от числа итераций N
теплоносителе на участке его прохождения через активную зону и в выходном объеме реактора.
Выводы. Предложен метод решения экстремальных задач для гидромеханических систем с использованием гибридного алгоритма глобальной оптимизации. Исследование пространства переменных модели проводится стохастическим методом; при локальном поиске градиентная информация определяется для сглаживающих аппроксимаций не всюду дифференцируемых критериальных функций. В терминах вводимых сглаживающих аппроксимаций сформулированы необходимые условия локального минимума, и для случая простых ограничений доказана сходимость к локальному минимуму. Модельные расче-
ты показали возможность идентификации аномалий фазового состава теплоносителя в контуре реакторной установки ВВЭР-1000 с достаточной для приложений точностью.
Работа выполнена при финансовой поддержке Министерства образования и науки РФ (грант Президента РФ по поддержке научных исследований ведущих научных школ РФ, код НШ-1311.2008.8).
СПИСОК ЛИТЕРАТУРЫ
1. Sacco W. F., de O l i v e i r a C. R. E., P e r e i r a C. M. N. A. Two stochastic algorithms applied to nuclear reactor core design // Progress in Nuclear Energy. -2006. - Vol. 48, no. 6. - P. 525-539.
2. G o g e D. Automatic updating of large aircraft models using experimental data from ground vibration testing // Aerospace Science and Technology. - 2003. - Vol. 7, no. 1.
- P. 33-45.
3. SinhaJ.,FriswellM. I. The use of model updating for reliable finite element modelling and fault diagnosis of structural components used in nuclear plants // Nuclear Engineering and Design. - 2003. - Vol. 223, no. 1. - P. 11-23.
4. Хайкин С. Нейронные сети: полный курс: Пер. с англ. - 2-е изд. - М.: Вильямс, 2006. - 1104 с.
5. Кларк Ф. Оптимизация и негладкий анализ: Пер. с англ. - М.: Наука, 1988.
- 280 с.
6. AudetC., BechardV., Le Digabel S. Nonsmooth optimization through mesh adaptive direct search and variable neighborhood search // Journal of Global Optimization. - 2008. - Vol. 41, no. 3. - P. 299-318.
7. С е р г е е в Я. Д., К в а с о в Д. Е. Диагональные методы глобальной оптимизации. - М.: Физматлит, 2008. - 352 с.
8. C e t i n B. C., B a r h e n J., B u r d i c J. W. Terminal repeller unconstrained subenergy tunneling (TRUST) for global optimization // Journal of Optimization Theory and Applications. - 1993. - Vol. 77, no. 1. - P. 97-126.
9. K i n e l e v V. G., S u l i m o v V. D., S h k a p o v P. M. Application of global optimization to VVER-1000 reactor diagnostics // Progress in Nuclear Energy. -2003. - Vol. 43, no. 1-4. - P. 51-56.
10. S a c c o W. F., F i l h o H. A., H e n d e r s o n N., de O l i v e i r a C. R. E. A Metropolis algorithm combined with Nelder-Mead simplex applied to nuclear reactor core design // Annals of Nuclear Energy. - 2008. - Vol. 35, no. 5. - P. 861-867.
11. M c K i n n o n K. I. M. Convergence of the Nelder-Mead simplex method to a non-stationary point // SIAM Journal of Control and Optimization. - 1999. - Vol. 9, no. 2. - P. 148-158.
12. P s h e n i c h n y j B. N. The Linearization Method for Constrained Optimization.
- Berlin: Springer-Verlag, 1994. - 174 p.
13. P o l a k E., R o y s e t J. O., W o m e r s l e y R. S. Algorithms with adaptive smoothing for finite minimax problems // Journal of Optimization Theory and Applications. - 2003. - Vol. 119, no. 3. - P. 459-484.
14. Сулимов В. Д., Ш к а п о в П. М. Сглаживающая аппроксимация в обратных спектральных задачах для механических и гидромеханических систем // Сб. науч. статей, посвященный 125-летию кафедры теоретической механики ИМТУ-МГТУ им. Н.Э. Баумана. - М., 2003. - С. 211-226.
15. Бертсекас Д. Условная оптимизация и метод множителей Лагранжа: Пер. с англ. - М.: Радио и связь, 1987. - 400 с.
16. Корн Г., К о р н Т. Справочник по математике: Пер. с англ. - М.: Наука. Гл. ред. физ.-мат. лит., 1974. - 832 с.
17. С у л и м о в В. Д., Ш к а п о в П. М. Стохастические алгоритмы глобальной оптимизации для интеллектуальных систем поддержки принятия диагностических решений // Кибернетика и высокие технологии XXI века (C&T-2008): IX Междунар. науч.-технич. конф. Сб. докладов. Воронеж, 13-15 мая 2008 г., Т. 1 / НПФ "Саквоее" ООО. - Воронеж: САКВОЕЕ, 2008. - С. 253-257.
18. С у л и м о в В. Д., Ш к а п о в П. М. Сглаживающая аппроксимация в задачах векторной недифференцируемой оптимизации механических и гидромеханических систем // Вестник МГТУ им. Н.Э. Баумана. Сер. Естественные науки. -2006, № 2. - С. 17-30.
Статья поступила в редакцию 15.12.2009
Валерий Дмитриевич Сулимов родился в 1950 г. Окончил МВТУ им. Н.Э. Баумана в 1973 г. Старший преподаватель кафедры "Теоретическая механика" МГТУ им. Н.Э. Баумана. Автор более 40 научных работ в области математического моделирования и оптимизации динамических систем.
V.D. Sulimov (b. 1950) graduated from the Bauman Moscow Higher Technical School in 1973. Senior Teacher of "Theoretical Mechanics" department of the Bauman Moscow Technical University. Author of more than 40 publications in the field of dynamic systems' mathematical simulation and optimization.