講演抄録/キーワード |
講演名 |
2013-04-25 10:50
非線形スイッチトシステムを用いたバイナリトモグラフィ ○山口雄作・藤本憲市・吉永哲哉(徳島大) NLP2013-3 |
抄録 |
(和) |
著者等は,ある非線形スイッチトシステムにみられる平衡点の安定性が,Kullback-Leibler divergenceを二重に構成した共通リアプノフ関数を用いて証明できることを示している.システムの解はボックス部分状態空間の内部で閉じた軌道を振る舞い,リアプノフ関数はその定義域に対してうまく定義されている.システムの初期値問題をCT画像再構成におけるボックス制限付きの最適化解法に応用した.すなわち,再構成すべき画像の濃度値が2値であるバイナリトモグラフィ,さらに,最大濃度値が既知の連続トモグラフィを対象とし,従来法よりも品質の高い再構成画像が得られることを数値実験により例証している. |
(英) |
We have shown that the stability of an equilibrium in a nonlinear switched dynamical system can be theoretically proved using a common Lyapunov function based on a double Kullback-Leibler divergence. Because all solutions to the differential equation stay within the box-constrained subspace corresponding to the domain of the divergence, the Lyapunov function is well-defined with respect to its domain. We apply the initial value problem of the system to obtain a box-constrained optimization solution for computed tomographic image reconstruction. In this paper, we demonstrate that, by means of numerical experiments, the images with the proposed system are higher in quality than those made with the conventional method not only for the binary tomography, but also for the continuous tomography such that the maximum pixel value to be reconstructed is previously given. |
キーワード |
(和) |
非線形スイッチトシステム / バイナリトモグラフィ / CT画像再構成 / Kullback-Leibler divergence / リアプノフ関数 / / / |
(英) |
nonlinear switched system / binary tomography / CT image reconstruction / Kullback-Leibler divergence / Lyapunov function / / / |
文献情報 |
信学技報, vol. 113, no. 15, NLP2013-3, pp. 13-18, 2013年4月. |
資料番号 |
NLP2013-3 |
発行日 |
2013-04-18 (NLP) |
ISSN |
Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 |
著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
PDFダウンロード |
NLP2013-3 |