半正定値計画法を用いた応力制約を有する トラスのロバスト性最大化

半正定値計画法を用いた応力制約を有する
トラスのロバスト性最大化
寒野 善博 竹脇 出
京都大学
SDP によるトラスのロバスト性最大化 – p.1/22
半正定値計画法
semidefinite program, SDP
数理計画法の 1 つ
凸, 非線形
線形計画, 凸 2 次計画などを含む
主双対内点法 [Kojima et al. 97], [Alizadeh 98], etc.
問題のサイズの多項式時間で最適解が得られる
実用的で高速なソフトウェア
SDP によるトラスのロバスト性最大化 – p.2/22
半正定値計画法
semidefinite program, SDP
応用
トラスの固有振動数最適化 [Ohsaki et al. 99]
組合せ最適化 [Goemans & Williamson 95]
サポートベクターマシン [Lanckriet et al. 04]
非凸計画問題の緩和 [Kojima & Tunçel 00], [Lassere 02]
システムと制御 [Boyd et al. 94]
ロバスト線形計画問題 [Ben-Tal & Nemirovski 02]
係数が不確定な線形方程式の解集合を求める問題
[Calafiore & El Ghaoui 04]
SDP によるトラスのロバスト性最大化 – p.2/22
半正定値計画法
min
m
bi y i
i=1
s.t.
C−
m
Ai yi O
i=1
変数 :
y1 , . . . , ym
定数 :
b 1 , . . . , bm ,
A1 , . . . , Am , C ∈ S n
← n × n 対称行列
P O ⇐⇒ P が半正定値
← 非線形, 凸な制約
SDP によるトラスのロバスト性最大化 – p.3/22
不確定性
確率論的
信頼性設計
非確率論的
unknown-but-bounded
SDP によるトラスのロバスト性最大化 – p.4/22
不確定性
確率論的
信頼性設計
非確率論的
unknown-but-bounded
convex model [Ben-Haim & Elishakoff 90]
トラスのロバスト最適設計 [Pantelides & Ganzerli 98]
ロバスト LP, QP, SDP [Ben-Tal & Nemirovski 02]
トラスのロバスト最適設計 [Ben-Tal & Nemirovski 97]
不確定な線形方程式の解 [Calafiore & El Ghaoui 04]
感度係数のノルム最小化
[Hang & Kwak 04], [曽我部 02]
ロバストネス関数 [Ben-Haim 01]
ロバスト性の定量的な指標
SDP によるトラスのロバスト性最大化 – p.4/22
ロバストネス関数
info-gap decision theory [Ben-Haim 01]
設計変数 a の関数 — α
(a)
ロバスト性の定量的な指標の 1 つ
α
が大きい =⇒ ロバスト性が大きい
許容できるばらつきの ‘幅’ を表す
不確定なパラメータの分布の情報が不要
構造物の性能制約に対する保証を与える
ばらつきの ‘幅’ が α
以下 =⇒ 制約を必ず満たす
SDP によるトラスのロバスト性最大化 – p.5/22
釣合式
Ku = f
不確定な外力:
+ ζ,
f= f
α ≥ ζ
f
公称値 (平均値)
ζ
不確定 (unknown-but-bounded)
α≥0
不確定性の ‘大きさ’
SDP によるトラスのロバスト性最大化 – p.6/22
釣合式
Ku = f
不確定な外力:
+ ζ,
f= f
α ≥ ζ
釣合式の解 u の集合 −→ U (α)
α
α2
α1
α2
α
f
α2
f
α1
U(α2)
U(α1)
0
f1
f= ∼f
f2
0
U(0)
SDP によるトラスのロバスト性最大化 – p.6/22
制約条件
通常の制約
u ∈ F,
uは釣合式の解
ロバスト制約
U (α) ⊆ F
u
F
u ∈ F , Ku = f
U(α)
F
u ∈ F , ∀u ∈ U(α)
無限個の制約条件
SDP によるトラスのロバスト性最大化 – p.7/22
ロバストネス関数 α
ロバスト制約
U (α) ⊆ F
α
α2
α1
α2
F
α
α2
f
F
f
0
f1
U(α2)
f= ∼f
f2
F
U(α1)
α1
u
0
a1
SDP によるトラスのロバスト性最大化 – p.8/22
ロバストネス関数 α
ロバスト制約
U (α) ⊆ F
α
α2
α1
α2
F
α
α2
F
α1
F
U(α2)
f
F
f
0
f1
U(α2)
f= ∼f
f2
F
U(α1)
u
0
a1
α
(a1 ) = α1
F
U(α1)
u
a2
α
(a2 ) = α2
SDP によるトラスのロバスト性最大化 – p.8/22
ロバストネス関数 α
ロバスト制約
U (α) ⊆ F
α
α2
α1
α2
F
α
α2
F
α1
F
U(α2)
f
F
f
0
f1
U(α2)
f= ∼f
f2
F
U(α1)
u
0
F
U(α1)
u
a2
a1
α
(a1 ) = α1
α
(a2 ) = α2
α
= 性能制約 F が必ず満たされる α の最大値
α
= max{α|U(α) ⊆ F }
SDP によるトラスのロバスト性最大化 – p.8/22
問題の設定
制約条件 — F
F = {u |g(u) ≤ 0}
gi (u) ← u の多項式
釣合式の解の集合 — U (α)
u ∈ U(α)
+ ζ,
Ku = f
α ≥ ζ
ロバストネス関数 — α
α
= max{α|U(α) ⊆ F }
SDP によるトラスのロバスト性最大化 – p.9/22
Quadratic embedding
制約条件
F = {u |g(u) ≤ 0}
gi (u) ← u の多項式
2 次形式 (Ql ∈ S n+1 )
⎫
⎧ ⎬
⎨ u
u
≥ 0, l = 1, . . . , nc
F = u Ql
⎭
⎩ 1
1
“(多項式) ≤ 0” は有限個の 2 次不等式で表現できる
SDP によるトラスのロバスト性最大化 – p.10/22
Quadratic embedding
釣合式の解の集合
u ∈ U(α)
+ ζ,
Ku = f
α ≥ ζ
2 次形式 (Ω(α) ∈ S n+1 )
⎧ ⎫
⎨ u ⎬
u
U (α) = u Ω(α)
≥0
⎩ 1
⎭
1
α を固定
→ 2 次不等式で表現できる
SDP によるトラスのロバスト性最大化 – p.11/22
S -procedure + homogenization
2 次不等式で表される領域
⎫
⎧ ⎬
⎨ x
x
≥0 ,
Qi = x Pi
⎭
⎩ 1
1
P 0 , P 1 ∈ S n+1
定理
Q 1 ⊆ Q0
∃τ ≥ 0,
P 0 − τP 1 O
SDP によるトラスのロバスト性最大化 – p.12/22
SDP への変換
ロバストネス関数 α
を求める問題
α
= max {α |U(α) ⊆ F }
⇓
S -procedure
⇓
SDP 問題
α
2 = max {t |Gl (t, ρl ) O, ρl ≥ 0, l = 1, . . . , nc }
Gl =
KK
−K f
−f K −t + f f
+ ρl Ql
SDP によるトラスのロバスト性最大化 – p.13/22
例題 (2 部材トラス)
外力 : 中心が f , 幅 α で変動する
応力制約
α
= 69.297 kN
∼
f +ζ
∼
f
0
f
α
y
(1)
(a)
∼f
(b)
(2)
0 (c)
x
SDP によるトラスのロバスト性最大化 – p.14/22
例題 (2 部材トラス)
外力 : 中心が f , 幅 α で変動する
応力制約
α
= 69.297 kN
∼
f +ζ
∼
f
0
1
f
0.8
0.6
α
(1)
(a)
∼f
(b)
0.4
σ2 / σc2
y
0.2
0
−0.2
−0.4
−0.6
−0.8
−1
(2)
0 (c)
−0.4
x
^
U(α)
F
−0.2
0
0.2
0.4
σ / σc
0.6
0.8
1
応力分布
SDP によるトラスのロバスト性最大化 – p.14/22
ロバストネス関数最大化問題
α
は断面積 a の関数
max α
(a)
s.t.
a ≥ 0,
m
n
i ai ≤ V .
i=1
SDP によるトラスのロバスト性最大化 – p.15/22
ロバストネス関数最大化問題
α
は断面積 a の関数
max α
(a)
s.t.
a ≥ 0,
m
n
i ai ≤ V .
i=1
非線形 SDP 問題
max t
,t,
s.t.
K(a)K(a) −K(a)f
+ ρl Ql O,
f
K(a) −t + f
−f
nm
i ai ≤ V .
ρ ≥ 0, a ≥ 0,
(NSDP)
i=1
SDP によるトラスのロバスト性最大化 – p.15/22
逐次 SDP 法
NSDP
max x1
s.t. G(x) O.
G : 非線形 (∈ S n )
xk における SDP 近似モデル
1 k
max ∆x1 − c ∆x2
∆
2
s.t. G(xk ) + DGk · ∆x O.
(♣ )
SDP によるトラスのロバスト性最大化 – p.16/22
逐次 SDP 法
Step 0: 初期解 a0 を選び, k := 0 とする.
Step 1: a = ak を固定して NSDP の最適解 (tk , ρk ) を求める.
Step 2: (tk , ρk , ak ) において SDP モデル (♣) の最適解
(∆tk , ∆ρk , ∆ak ) を求める.
(∆tk , ∆ρk , ∆ak ) ≤ ならば,反復終了.
Step 3: ak+1 := ak + ∆ak とおく.
Step 4: ck+1 > 0 を選び,k ← k + 1 として Step
1 へ.
大域的収束性
主双対内点法
SDP の大域解が得られる
SDP によるトラスのロバスト性最大化 – p.17/22
2 部材トラス
主双対内点法
SeDuMi 1.05 / Matlab 6.5.1
外力 : 中心が f , 幅 α で変動する
応力制約
y
(1)
0
∼
f +ζ
∼
f
(a)
∼f
(b)
f
(2)
α
0 (c)
x
SDP によるトラスのロバスト性最大化 – p.18/22
2 部材トラス
ランダムに生成した外力に対する応力
1
1
0.8
0.8
0.6
0.6
0.4
0.4
0.2
2
0.2
2
0
σ / σc
c
σ2 / σ2
最適解
→ 双方の部材の応力制約がアクティヴになり得る
0
−0.2
−0.2
−0.4
−0.4
−0.6
−0.6
−0.8
−0.8
−1
−1
−0.4
−0.2
0
0.2
0.4
σ / σc
0.6
α
(a0 ) = 69.3 kN
0.8
1
−0.4
−0.2
0
0.2
0.4
σ / σc
0.6
0.8
1
α
(a∗ ) = 153.8 kN
SDP によるトラスのロバスト性最大化 – p.19/22
29 部材トラス
y
∼f
∼f
x
最適解 a∗
すべての節点に不確定な外力が作用
応力制約 |σi | ≤ σic
SDP によるトラスのロバスト性最大化 – p.20/22
29 部材トラス
1
0.6
(18)
σi / σi
c
0.4
(1)
0.2
−0.6
(2)
−0.8
(15)
5
10
15
20
members (i)
25
(14)
(22)
(4)
(27)
(23)
(6)
(28)
(16)
(7)
(26)
(13)
(21)
−0.4
(20)
(5)
(25)
(12)
−0.2
(11)
(19)
(3)
(24)
0
−1
0
(10)
(9)
0.8
(8)
(29)
(17)
30
初期解 a0
すべての節点に不確定な外力が作用
α
(a0 ) = 0.72 kN
α
(a∗ ) = 10.85 kN
SDP によるトラスのロバスト性最大化 – p.21/22
29 部材トラス
1
0.8
0.6
σi / σi
c
0.4
0.2
0
−0.2
−0.4
−0.6
−0.8
−1
0
5
10
15
20
members (i)
25
30
初期解 a0
最適解 a∗
すべての節点に不確定な外力が作用
α
(a0 ) = 0.72 kN
α
(a∗ ) = 10.85 kN
SDP によるトラスのロバスト性最大化 – p.21/22
結論
ロバストネス関数
ロバスト性の定量的な指標
不確定な外力の作用するトラス
無限個の制約条件
2 次不等式への埋め込み + S -procedure
SDP 問題へ帰着
ロバストネス関数最大化問題
非線形 SDP
逐次 SDP 法
主双対内点法を用いて SDP を繰り返し解く
SDP によるトラスのロバスト性最大化 – p.22/22