• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to project page

2012 Fiscal Year Annual Research Report

効率的に対称錐計画法を利用するためのモデリングツールの開発

Research Project

Project/Area Number 22710136
Research InstitutionTokyo Institute of Technology

Principal Investigator

中田 和秀  東京工業大学, 社会理工学研究科, 准教授 (00312984)

Project Period (FY) 2010-04-01 – 2014-03-31
Keywordsオペレーションズ・リサーチ / モデリング / 最適化 / 数理計画法
Research Abstract

本研究の目的は、様々な形式で表現された最適化問題に対するモデリングツールを開発することである。平成24年度は次の研究を行なった。
(1)多様化・高度化する金融数値計算・数式処理の分野におけるニーズに答えるため、今まで別々のシステムとしてしか存在していなかった金融数値計算と数式処理を統合したインフラを開発した。開発したQuantOnlineは、インターネットを利用した簡単なモデリングによりオンラインで計算が可能となっていることが最大の特徴である。その内部では、金融数値計算のベースに実務でも数多くの企業で採用されているライブラリを収録した“QuantLib”を使用し、数式処理のベースに汎用数式処理システム“Maxima”を使用している。開発したシステムを一般公開し実際にシステムを使用したユーザよりフィードバックをもらうことで、「研究の目指した成果を得ることができた部分」「実用的な機能としては不足している部分」を認識することができた。システムの統合は困難なプロセスであったが、数多くのシステムを統合することで新たな価値の創造を行うことができた。
(2)条件数に関する制約を含んだ行列近似問題を効率良く解くアルゴリズムの開発に成功した。条件数を考慮した最適化を行なっているため、安定性のあるロバストな制御が可能となる。また、本手法は従来の手法に対し数千倍から数十万倍高速に解くことができるため、リアルタイム処理にも適している。この問題は非常に基本的かつ実務的であり、欠損値を内包した気象データに対する統計分析など、多くの工学分野に応用することができる。
これらの成果を専門分野の研究者に紹介し、学術交流を通じてその意義を明らかにするため、2本の査読付き論文と2本のテクニカルレポートにまとめた。

Current Status of Research Progress
Current Status of Research Progress

2: Research has progressed on the whole more than it was originally planned.

Reason

実務上重要である金融分野において、金融数値計算と数式処理を統合したインフラの開発に成功した。開発したQuantOnlineによって、インターネットを経由して簡単なモデリングをすることによって、オンラインで計算することが可能となった。

Strategy for Future Research Activity

ポートフォリオ選択問題などの応用問題の最適解を出来るだけ短時間で求めるため,効率的に実行できるような構造を持った最適化問題へ帰着させることを目指す.この目的のため、アルゴリズムのみならず実行するときの使用ライブラリや計算機のアーキテクチャにも大きく依存する計算時間を精密に見積もる。

  • Research Products

    (4 results)

All 2012

All Journal Article (4 results) (of which Peer Reviewed: 2 results)

  • [Journal Article] Application of a facial reduction algorithm and an inexact primal-dual path-following method for doubly nonnegative relaxation for mixed binary nonconvex quadratic optimization problems2012

    • Author(s)
      M.Tanaka, K.Nakata, and H.Waki
    • Journal Title

      Pacific Journal of Optimization

      Volume: 8 Pages: 699-724

    • Peer Reviewed
  • [Journal Article] Parallel solver for SemiDefinite Programming having sparse Schur complement matrix2012

    • Author(s)
      Katsuki Fujisawa
    • Journal Title

      ACM transactions on Mathematical Software

      Volume: 39 Pages: Ariticle No.6

    • Peer Reviewed
  • [Journal Article] Positive definite matrix approximation with condition number constraint2012

    • Author(s)
      Mirai Tanaka
    • Journal Title

      Technical Report, Department of Industrial Engineering and Management, Tokyo Institute of Technology

      Volume: なし

  • [Journal Article] 数理ファイナンスにおけるオンライン数式処理システムの開発2012

    • Author(s)
      藤森和哉
    • Journal Title

      科研費シンポジウム 情報化ネットワーク社会に向けた高度な専門的数理技術ライブラリの研究と開発 予稿集

      Volume: なし Pages: 32-36

URL: 

Published: 2014-07-24  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi