文献

J-GLOBAL ID：200902298606622318   整理番号：09A1127284

数式処理を用いた設計技術

Design Technology Based on Symbolic Computation

著者 (4件)： 穴井宏和 (富士通) ,  金児純司 (富士通) ,  屋並仁史 (富士通) ,  岩根秀直 (富士通)
資料名： Fujitsu  (Fujitsu)
巻： 60  号： 5  ページ： 514-521  発行年： 2009年09月10日 
JST資料番号： F0397A  ISSN： 0016-2515  CODEN： FUJTA  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： 様々な「ものづくり」における設計問題など理工学・産業上の広範な問題は,制約解消や最適化問題として定式化される。それらを処理する技術は,現在のところ数値計算技術がベースとなっている。しかし,実用上重要な多くの問題が数値的計算法では取扱いが困難な非凸な問題となることがあきらかになっている。そのため,非凸な問題にも有効な最適化手法の開発が望まれている。本稿では,数式処理による最適化を用いた設計手法を紹介する。まず,非凸最適化の基本となる代数的な算法QE(Quantifier Elimination)を紹介し,つぎに,制御系設計への適用例により本手法の有効性を示す。さらに,実際のものづくりへの応用として,HDD設計における磁気ヘッドスライダ形状最適化への適用例を紹介する。(著者抄録)

シソーラス用語： *数式処理 ,  *製品設計 ,  最適化問題 ,  制約条件 ,  数値計算 ,  非凸計画法 ,  *最適化手法 ,  制御系 ,  製造 ,  磁気ディスク ,  磁気ヘッド ,  モデリング ,  ロバスト制御

分類 (1件)： 数値計算  (JE02000J)

引用文献 (4件)：

• 穴井宏和ほか: 計算実代数幾何入門 (I) ~ (V). 数学セミナー, 日本評論社, 2007年11月~2008年4月まで5回連載.
• H. Yanami, et al.: The Maple package SyNRAC and its application to robust control design. Future Generation Comp. Syst, Vol.23, No.5, p. 721-726(2007).
• 穴井宏和ほか: 数式処理によるロバスト制御系設計, 計測と制御Vol.44, No.8, p. 552-557(2005).
• 穴井宏和ほか: 計算機代数に基づく生物学--Algebraic Biology. 人工知能学会誌 p. 77-84, 2007年1月号.

タイトルに関連する用語 (2件)： 数式処理 ,  設計