Solving and visualizing parametric quantified constraints in control system design(Computer Algebra : Design of Algorithms, Implementations and Applications)
スポンサーリンク
概要
著者
-
兵頭 礼子
株式会社アルファオメガ
-
兵頭 礼子
(株)アルファオメガ
-
屋並 仁史
(株)富士通研究所
-
Hong Myunghoon
(株)富士通ソフトウェアテクノロジー
-
屋並 仁史
(株)富士通研究所 Crest Jst
-
屋並 仁史[他]
(株)富士通研究所,CREST JST
関連論文
- Mapleを使った制御系設計支援ツールの開発 (数式処理と教育)
- MATLABで作成したQEに基づく設計支援ツール (数式処理と教育 : 数学教育における数式処理システムの効果的利用に関する研究)
- QEに基づく発電機励磁制御系設計
- 数式処理を用いた制御系設計支援ツールの開発
- 数式処理(システム)におけるマルチスレッド化の試み (Computer Algebra : Design of Algorithms, Implementations and Applications)
- Solving and visualizing parametric quantified constraints in control system design(Computer Algebra : Design of Algorithms, Implementations and Applications)
- 行列積アルゴリズムに強く依存した行列のデータ構造の実装
- Risa/Asirの行列演算の実装(II) (Computer Algebra : Design of Algorithms, Implementations and Applications)
- Risa/Asir の Matrix 演算の実装について
- 行列計算と基本線形演算の実装法について (Computer Algebra : Design of Algorithms, Implementations and Applications)
- 数式処理のための行列演算の効率的な実装法について
- 多項式表現と行列演算の改良 (Computer Algebra : Algorithms, Implementations and Applications)
- Risa/AsirのMatrix演算の検討
- Risa/AsirのMatrix演算の新しい実装について (Computer Algebra : Algorithms, Implementations and Applications)
- QEのための数値数式paritial CADの実装 (Computer Algebra : Design of Algorithms, Implementations and Applications)
- 共通鍵ブロック暗号SC2000
- 3次元モデルの自動分解手法(魅惑の形状処理, 魅惑のCG応用およびCG一般)
- 数式処理を用いた設計技術 (特集 研究開発最前線)
- 数値数式CADの実装
- 項置換による限定子除去アルゴリズムにおける論理式簡略化について (Computer Algebra : Design of Algorithms, Implementations and Applications)
- A Quantifier Elimination Procedure Based on Cylindrical Algebraic Decomposition in SyNRAC(Computer Algebra : Design of Algorithms, Implementations and Applications)
- Development of SyNRAC : A Cylindrical Algebraic Decomposition Procedure (Computer Algebra : Design of Algorithms, Implementations and Applications)
- A MATLAB Toolbox for Parametric Robust Control System Design based on symbolic computation (Computer Algebra : Design of Algorithms, Implementations and Applications)
- SyNRAC : A Maple package for solving real algebraic constraints (Computer Algebra : Design of Algorithms, Implementations and Applications)
- Linear QE Algorithms and their Implementation on Maple (Computer Algebra : Algorithms, Implementations and Applications)
- SC2000の差分/線形特性探索 (II)
- 数値数式QE/CADの実装
- CASA 2003 参加報告
- CADにおけるi-projection operator導入によるQEの効率化 (第19回日本数式処理学会大会報告)
- CADにおける i-projection operator 導入によるQEの効率化
- 数式を省略して表示する方法の提案と検討 (数学ソフトウェアと教育 : 数学ソフトウェアの効果的利用に関する研究)
- Risa / Asir の行列演算と改良について (数式処理 : その研究と目指すもの)
- GPU並列処理による陰関数描画について (第3回日本数式処理学会システム分科会研究会報告)
- GPU並列処理による陰関数描画について
- 最適化問題に対するCADの効率的な手法 (第20回日本数式処理学会大会報告)
- 3変数の陰関数描画について (第20回日本数式処理学会大会報告)
- 有理区間数とGPU並列処理による陰関数描画について (Computer Algebra : Design of Algorithms, Implementations and Applications)
- 符号情報利用による数値数式 CAD の効率的な実装 (Computer Algebra : Design of Algorithms, Implementations and Applications)
- 数値数式手法による多目的最適化 (Computer Algebra : Design of Algorithms, Implementations and Applications)
- 数値数式手法による多目的最適化 (Computer Algebra : Design of Algorithms, Implementations and Applications : RIMS研究集会報告集)
- 3変数の陰関数描画について
- 最適化問題に対するCADの効率的な手法
- 符号情報利用による数値数式CADの効率的な実装 (Computer Algebra : Design of Algorithms, Implementations and Applications : RIMS研究集会報告集)
- Asirでの3変数陰関数描画 (数式処理 : その研究と目指すもの)