次世代高品質数値計算に基づく制御系開発支援システムの構築

2011 年度 研究成果報告書

• 研究課題/領域番号: 21560467
• 研究種目: 基盤研究(C)
• 配分区分: 補助金
• 応募区分: 一般
• 研究分野: 制御工学
• 研究機関: 九州工業大学
• 研究代表者: 古賀 雅伸 九州工業大学, 大学院・情報工学研究院, 准教授 (90251644)
• 研究期間 (年度): 2009 – 2011
• キーワード: 制御系CAD

研究概要

本研究では、既存のプログラムをほとんど修正することなく、演算精度を変更できる多倍長演算ライブラリおよび区間演算を実行できる精度保証付き数値計算ライブラリを開発した。また、多倍長演算における仮数部のビット長を適応的に調節することで任意の結果精度を保証できる手法を提案し、高品質数値計算ライブラリとして実現した。そして、高品質数値計算ライブラリに対応した、使いやすいユーザインターフェースを備えたモデリング・シミュレーションツールを開発した。

研究成果

• [雑誌論文] オブジェクト指向数値計算VI-オブジェクト指向数値計算の可能性- (2012)
  • 著者名/発表者名: 古賀雅伸、矢野健太郎
  • 雑誌名: システム制御情報学会誌 巻: 56巻 ページ: 42-49
• [雑誌論文] オブジェクト指向数値計算V-制御系のモデリングとシミュレーションツール- (2011)
  • 著者名/発表者名: 古賀雅伸、矢野健太郎
  • 雑誌名: システム制御情報学会誌 巻: 55巻 ページ: 486-493
• [雑誌論文] 多倍長演算を用いた高精度な精度保証付き数値計算に基づく制御系設計 (2010)
  • 著者名/発表者名: 古賀雅伸、矢野健太郎
  • 雑誌名: 計測と制御 巻: 49巻 ページ: 303-308
  • 査読あり
• [雑誌論文] 任意精度保証計算のための多倍長演算における仮数部のビット長の適応制御の提案と評価 (2010)
  • 著者名/発表者名: 中島大雅、古賀雅伸、矢野健太郎
  • 雑誌名: 情報処理学会論文誌コンピューティングシステム 巻: 3巻 ページ: 22-30
• [雑誌論文] LQ制御問題の精度保証付き数値計算 (2009)
  • 著者名/発表者名: 矢野健太郎、古賀雅伸
  • 雑誌名: 計測自動制御学会論文集 巻: 45巻 ページ: 261-267
• [学会発表] Automatic Method of Finding Tolerance for Verified LQ Control Method Based on Verified Numerical Computation (2011)
  • 著者名/発表者名: Kentaro Yano, Masanobu Koga
  • 学会等名: SICE 2011 Annual Conference
  • 発表場所: 早稲田大学(東京)
  • 年月日: 2011-09-16
• [学会発表] Satoru Anan, Symbolic Descriptor and State Space Model of Interconnected Linear Systems with Algebraic Loops (2010)
  • 著者名/発表者名: Masanobu Koga
  • 学会等名: 2010 IEEE CACSD
  • 発表場所: Pacifico Yokohama(横浜)
  • 年月日: 2010-09-10
• [学会発表] 任意精度保証計算のための多倍長演算における仮数部のビット長の適応制御の提案と評価 (2010)
  • 著者名/発表者名: 中島大雅、古賀雅伸、矢野健太郎
  • 学会等名: SACSIS2010
  • 発表場所: 奈良県新公会堂(奈良)
  • 年月日: 2010-05-28
• [学会発表] Eclipse RCPを用いた制御系開発支援統合環境Jamoxの開発 (2010)
  • 著者名/発表者名: 石倉雄飛、古賀雅伸
  • 学会等名: 第54回システム制御情報学会研究発表講演会
  • 発表場所: 京都リサーチパーク(京都)
  • 年月日: 2010-05-21
• [学会発表] 多倍長演算に対応した数値計算言語の開発と制御系設計への応用 (2010)
  • 著者名/発表者名: 杉永良太、古賀雅伸、中島大雅、矢野健太郎
  • 学会等名: 第54回システム制御情報学会研究発表講演会
  • 発表場所: 京都リサーチパーク(京都)
  • 年月日: 2010-05-21
• [備考]
  • URL: http://jamox.mklab.org/