THE USE OF DIFFERENTIAL EQUATIONS IN VECTOR OPTIMIZATION PROBLEMS
Full text
(2) ведем дифференциальное уравнение (4) из уравнения (3). Пусть x* ( λ ) является решением уравнения (3), тогда рассмотрим уравнение (3) при λ + ∆λ т. е. ∇F1 ( x* ( λ ) + ∆x ) + ( λ + ∆λ ) ⋅ ∇F2 ( x* ( λ ) + ∆x ) = 0 . Разлогая в ряд ∇F1 , ∇F2. в окрестности. x* ( λ ) и удерживая слагаемые порядка малости. Ο ( ∆x, ∆λ ) получим:. ( ∇ F ( x ( λ ) ) + λ ⋅ ∇ F ( x ( λ ) ) ) ⋅ ∆x = 2. 2. 1. *. 2. *. = −∇F2 ( x* ( λ ) ) + Ο ( ∆x, ∆λ ) .. Данное множество геометрически представлено на рис. 1. Координаты точек А и В следующие: x1B = 5.646; x1 A = 0.354; x2 B = 0.364. x1 A = 5.646;. {. Представленный пример решим двумя способами: – используя уравнение (3); – решая дифференциальное уравнение (4). Заготовим градиенты функций F1 и F2 , составляем систему уравнений, записав уравнение (3) в скалярной форме. ⎧ 2 ⋅ x1 + λ ⋅ 2 ⋅ ( x1 − 3) = 0; ⎨ 20 ⋅ x + λ ⋅ 2 ⋅ ( x − 6 ) = 0, 2 2 ⎩. Поделив на ∆λ и устремив ∆λ к нулю, откуда находим x1 ( λ ) и x2 ( λ ) , которые будут приходим к уравнению : равны: dx ∇ 2 F1 ( x* ( λ ) ) + λ ⋅ ∇ 2 F2 ( x* ( λ ) ) ⋅ = −∇F2 ( x* ( λ ) ) 3⋅λ 6⋅λ x1 = ; x2 = . (6) dλ 1+ λ 10 + λ если матрица Параметр λ изменяется от 0 до ∞ . ∇ 2 F1 ( x* ( λ ) ) + λ ⋅ ∇ 2 F2 ( x* ( λ ) ) При λ = 0 имеем имеет определитель отличный от нуля, то поx1 = 0 ; x2 = 0 , лучаем уравнение (4). а при λ → ∞ получаем Изложенные теоретические положения расx1 = 3 ; x2 = 6 . сматриваем на примере, когда функции F1 и F2 На рис. 2 представлена кривая Γ рассчиимеют вид: танная с использованием параметрического 2 2 F1 = x12 + 10 ⋅ x22 ; F2 = ( x1 − 3) + ( x2 − 6 ) , представления (6). Очевидно, что точки кривой от о до C и от D до E не принадлежат множеста множество X ⊂ R2 представляет собой ву X . Взяв пересечение Γ с множеством X , по2 2 X = x ∈ R2 : h1 = ( x1 − 8 ) + ( x2 − 8 ) − 64 ≤ 0, лучим кривую Γ , которая представляет собой кривую от точки C до точки D, что и является h2 = x1 + x2 − 6 ≤ 0} . решением задачи данного примера.. (. ). {. Рис. 1. Геометрическое представление множества X. 76.
(3) {. }. Рис. 2. Кривая Γ = x ( λ ) , λ ≥ 0. При построении кривой функцию. Γ. используем. H ( x ) = max {h1 ( x ) , h2 ( x )} ,. которая меньше или равна нулю, когда точка x∈ X . Применение данной функции заключается в. том, что при построении кривой Γ по формулам (6), каждая точка с помощью H проверяется на принадлежность множеству X (рис. 3). Таким образом на рис. 3 кривая CD является Γ = Γ* и тем самым решением задачи векторной оптимизации для рассмотренного примера.. Рис. 3. Геометрическое представление пересечения Γ ∩ X. Теперь рассмотрим решение данного примера с помощью дифференциальных уравнений. В данном примере матрицы из вторых частных производных будут следующими:. ⎛2 0 ⎞ ∇2 F = ⎜ ⎟; ⎝ 0 20 ⎠. ⎛ 2 0⎞ ∇2 F = ⎜ ⎟, ⎝ 0 2⎠. а ( ∇ 2 F1 + λ ⋅ ∇ 2 F2 ) имеет вид −1. ⎛ 1 ⎜ 2 + 2⋅λ ⎜ ⎜ 0 ⎜ ⎝. ⎞ ⎟ ⎟, 1 ⎟ ⎟ 20 + 2 ⋅ λ ⎠ 0. тогда. 77.
(4) ⎛ 1 ⎜ 2 + 2⋅λ dx = −⎜ dλ ⎜ 0 ⎜ ⎝. 2 ⋅ ( x1 − 3) ⎧ dx1 x −3 ; =− =− 1 ⎪⎪ λ + ⋅ λ + λ 2 2 1 d ⎨ 2 ⋅ x − 6) x −6 ⎪ dx2 = − ( 2 =− 2 . ⎪⎩ d λ 20 + 2 ⋅ λ 10 + λ. ⎞ ⎟ ⎛ 2 ⋅ ( x − 3) ⎞ 1 ⎟⋅⎜ ⎟, 1 ⎟ ⎝ 2 ⋅ ( x2 − 6 ) ⎠ ⎟ 20 + 2 ⋅ λ ⎠ 0. (7). Решением системы (7) будем искать, используя метод Рунге-Кутта четвертого порядка.. или в скалярной форме:. Программа реализующая данный подход в среде Maple представляет собой: > eq:={diff(x1(t1),t1)=-(x1(t1)-3)/(1+t1),diff(y1(t1),t1)=(y1(t1)-6)/(10+t1),x1(0)=0,y1(0)=0}; d x1( t1 ) − 3 d y1( t1 ) − 6 eq := { , , x1( 0 ) = 0, y1( 0 ) = 0 } x1( t1 ) = − y1( t1 ) = − dt1 dt1 1 + t1 10 + t1 > deq:=dsolve(eq,numeric, method=rkf45, output=procedurelist): > X1:=array(1..1000,[]);Y1:=array(1..1000,[]); X1 := array( 1 .. 1000, [ ] ) Y1 := array( 1 .. 1000, [ ] ). > k:=0:for t1 from 0 by 0.1 to 100 do x11:=op(2,op(2,deq(t1))):y11:=op(2,op(3,deq(t1))):if H(x11,y11)<=0 then k:=k+1:X1[k]:=x11:Y1[k]:=y11:end if:end do: В этой программе параметр λ обозначим как t1 , а решение системы дифференциальных уравнений оформлено в виде процедуры deq ( t1 ) , которая выдает x1 и x2 при конкретном значении t1 .. На рис. 4 представлено точное решение в виде точек и приближенное в виде сплошной линии. Как следует из этого рисунка с точки зрения точности оба подхода эквивалентны. Естественно возникает вопрос, когда необходимо отдавать предпочтение тому или иному подходу.. Рис. 4. Точное решение (точки) и приближенное – сплошная линия. Заметим, что при использовании дифференциальных уравнений можно избежать определения обратной матрицы. (∇ F + λ ⋅ ∇ F ) 2. 2. 1. 2. пользоваться уравнением. ( ∇ F + λ ⋅ ∇ F ) ⋅ ddxλ = −∇ F , 2. 78. 1. 2. 2. 2. 2. −1. , а. которое в нашем случае принимает вид: ⎛ 1 ⎞ 0 ⎜ 2 + 2⋅λ ⎟ dx ⎛ 2 ⋅ ( x1 − 3) ⎞ ⎜ ⎟⋅ = −⎜ ⎟, 1 d λ ⎝ 2 ⋅ ( x2 − 6 ) ⎠ ⎜ 0 ⎟ ⎜ ⎟ 20 + 2 ⋅ λ ⎠ ⎝ или в скалярной форме:.
(5) dx1 ⎧ ⎪( 2 + 2 ⋅ λ ) ⋅ d λ = −2 ⋅ ( x1 − 3) ; ⎨ dx ⎪( 20 + 2 ⋅ λ ) ⋅ 2 = −2 ⋅ ( x2 − 6 ) . dλ ⎩ Решением этой системы полностью совпадает с решением системы, когда производные разрешены с помощью обратной матрицы. (∇ F + λ ⋅ ∇ F ) 2. 2. 1. 2. −1. , т. е. с системой (7).. Замечание. Применение метода дифференциальных уравнений представляет собой задачу. Коши. К этим уравнениям необходимо придать начальные условия, которые можно определить из уравнения ∇F1 = 0 . В общем случае решение данного уравнения получаем некоторым численным методом, т.е. с определенной погрешностью. Так, например, в нашем примере приближенное решение уравнения ∇F1 = 0 равно x1 ( 0 ) = 0.05; x2 ( 0 ) = 0 . На рис. 5 представлено отклонение приближенного решения от точного.. Рис. 5. Сплошная линия точное решение, точки – приближенное решение из-за ошибки в начальных условиях. В общем случае метод дифференциальных уравнений необходимо применять только, когда точное решение уравнения не может быть получено, но весьма осторожным надо быть при получении начальных условий. Определение начальных условий задачи Каши при определении множества Парето. Задача Каши при определении множества Парето представляет собой:. ( ∇ F + λ ⋅ ∇ F ) ⋅ ddxλ = −∇ F 2. 1. 2. 2. 2. 2. ∇F2 ( x* ) а. (9). Однако, в общем случае решение уравнения (8) при начальных условиях существенно зависит от условий (9), которые как правило неизвестны. Если кривая X * является множеством Парето, то взяв любую точку x* ∈ X * имеем. = λ*. (10). скалярное произведение ∇F1 ( x* ) , ∇F2 ( x* ) ≤ 0 . Причем cos ϕ* = −1 , где. ϕ* угол между векторами ∇F1 ( x* ) и ∇F2 ( x* ) . В общем случае для произвольной точки x имеем cos ϕ =. (8). с начальными условиями x ( λ 0 ) = x0 .. ∇F1 ( x* ). ∇F1 ( x* ) ∇F2 ( x* ) , ∇F1 ( x* ) ∇F1 ( x* ). (11). и если cos ϕ* ≠ −1 , то данная точка не принадлежит X * . Введем вектор U ( x, α ) = − ( α ⋅). + (1 − α ) ⋅. ∇F2 ( x* ) ∇F1 ( x* ). ∇F1 ( x* ). ∇F1 ( x* ). +. , где 0 ≤ α ≤ 1 .. Новое значение xH будем вычислять по формуле. 79.
(6) xH = x + t ⋅ U ( x, α ) ,. Если min cos ϕ H = −1 , то xH ∈ X * , а ему со-. где t некоторый шаг. Подставим в (11) xH получим. ответствующее λ 0 определенное по соотношению (10). Очевидно, если пересечение конуса с вершиной в точке x и образующими параллельно антиградиентам с множеством X * не пусто, то всегда найдутся такие α* и t* , что cos ϕ* = −1 . Реализация данной задачи в среде Maple представляет собой:. cos ϕ H =. ∇F1 ( x + t ⋅ U ( x, λ ) ) ∇F2 ( x + t ⋅ U ( x, α ) ) , ∇F1 ( x ) ∇F2 ( x ). и определим α* и t* так, чтобы cos ϕH был бы минимальным.. λ ,t. > b0:=0:for t from 0.01 by 0.01 to 0.1 do x1:=1;x2:=10; b:=0:for a from 0 by 0.001 to 1 do c:=evalf(u12):z1:=evalf(u[1],5):z2:=evalf(u[2],5):x1:=x1t*z1:x2:=x1-t*z2:if (c<b and H(x1,x2)<=0) then b:=c:x11:=x1:x22:=x2:a0:=a:end if:end do:if b<b0 then b0:=b:x111:=x11:x222:=x22:a0:=a:end if:end do:print(`alfa=`,a0):print(`cos=`,b0):print(`x1=`,x111,`x2=`,x22 2):Поиск начальных условий задачи Коши. Так, например, если x1 = 1, x2 = 10 , то при λ = 1 , cos ϕH = −0,9999999990 в качестве начальных значений необходимо взять x1 = 2,69497840 .; x2 = 2,77917940 .. Этому начальному условию соответствует λ = 8,630650947 и выполнив решение дифференциального уравнения получим часть множества X * , когда λ изменяется до 100. Данное решение представлено на рис. 6.. Рис. 6. Решение дифференциального уравнения (4) при полученных начальных условиях. Остальные значения множества X * получаются, когда будем рассматривать λ < 8,630650947 .. БИБЛИОГРАФИЧЕСКИЙ СПИСОК 1. Босов. А. А. Функции множества и их применения.– Днепродзержинск: Изд. дом «Андрей», 2007. – 182 с. 2. Mattson C., Messac A. Pareto Frontier Based Concept Selection Under Uncertainty, with Visualization. Optimization and Engineering. Vol.6 № 1, March 2005, pp. 85-115.. Поступила в редакцию 27.07.2007.. 80.
(7)
Related documents
Food Safety and Standards Regulations 2011 Prohibiting the selling artificially ripened fruits using carbide gas Pakistan West Pakistan Pure Food Ordinance, 1960 To address and
In this section, present the review of literature identify different board’s characteristics namely board independence (BI), board size (BS), gender diversity (GD),
have been activated by metacognitive action, and that are orchestrated by active and dynamic self-regulation, only represent approximately 10 per cent of the learning and
(Muscles need more oxygen during exercise.) Easy Make & Learn Projects: Human Body © Donald M. Wynne, Scholastic Teaching
В случае применения многомерного подхода описание метаданных информаци- онной системы может быть сформировано посредством описания сочетаний
Reading challenges are blog events which encourage participants to read certain books, certain types of books, or a certain number of books in a given amount of time, and create a
natural way, cannot only be found across the worlds of Logical Space but also across different models: even if the extension of a predicate does not vary sufficiently within a
The initial project, BRIDGE Phase I, was conducted in Duluth, MN, and included physicians from a healthcare system who had experience working with both internal and external