On Computing Sum of Roots with Positive Real Parts of Polynomials (Computer Algebra : Design of Algorithms, Implementations and Applications)
スポンサーリンク
概要
著者
-
穴井 宏和
株式会社富士通研究所
-
原 辰次
東京大学
-
原 辰次
東京大学 情報理工学系研究科
-
横山 和弘
九州大学数理学研究院
-
横山 和弘
九州大学大学院数理学研究院
-
横山 和弘
富士通研究所
-
横山 和弘
立教大学理学部数学科
-
穴井 宏和
富士通情報研究所
-
横山 和弘
立教大学理学部
-
横山 和弘
(株)富士通研究所 コンピュータシステム研究所
-
横山 和弘
富士通研究所国際情報社会科学研究所
関連論文
- Mapleを使った制御系設計支援ツールの開発 (数式処理と教育)
- MATLABで作成したQEに基づく設計支援ツール (数式処理と教育 : 数学教育における数式処理システムの効果的利用に関する研究)
- QEに基づく発電機励磁制御系設計
- 数式処理を用いた制御系設計支援ツールの開発
- QEのための数値数式paritial CADの実装 (Computer Algebra : Design of Algorithms, Implementations and Applications)
- Algebraic approach to discrete-time polynomial spectral factorization
- 連続/離散ハイブリッドM凸関数に関する一考察
- 連続/離散ハイブリッド凸最適化とその最適性規準
- 数値・数式ハイブリッド手法に基づく高品質計算とその展開
- 計算実代数幾何入門(第5回)CADによるQE
- 計算実代数幾何入門(第4回)CADアルゴリズム(後半)
- 計算実代数幾何入門(第3回)CADアルゴリズム(前半)
- 最適化問題を効率的に解くための special CAD
- 計算実代数幾何入門(第2回)QEによる最適化とその応用
- 計算実代数幾何入門(第1回)CADとQEの概要
- Numerical Cylindrical Algebraic Decomposition with Certification via Symbolic Reconstruction (Computer Algebra : Design of Algorithms, Implementations and Applications)
- On Computing Sum of Roots with Positive Real Parts of Polynomials (Computer Algebra : Design of Algorithms, Implementations and Applications)
- Radical Representation of Polynomial Roots
- 有限体上の多変数多項式の因数分解について (Computer Algebra : Algorithms, Implementations and Applications)
- 標数2有限体上楕円曲線の位数計算 (代数曲線とその応用論文小特集)
- Atkin,Elkies らによる Schoof のアルゴリズム改良の実装について(数式処理における理論と応用の研究)
- 連立代数方程式の種々の解法 (特集 数式処理とその周辺--最新事情からソフトの評価・応用まで)
- Atkin, ElkiesらによるSchoofアルゴリズム改良の実装について
- 論文特集「通信と制御」 : サイバネティックス誕生から半世紀を経て
- 制御の原理と先端科学技術 : ミニ特集を企画して
- 「超ロバスト計算原理とモデリング・シミュレーション」特集号に寄せて
- 3次元モデルの自動分解手法(魅惑の形状処理, 魅惑のCG応用およびCG一般)
- 2A1-J06 相補性モデリングに基づく跳躍ロボットシステムの最適制御
- 数式処理を用いた設計技術 (特集 研究開発最前線)
- 数値数式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)
- 制御における精度保証付き数値計算の重要性
- 数値数式QE/CADの実装
- 1入出力線形無駄時間系のH_2制御性能限界
- 制御におけるモデル・モデリングの新たな展開
- SICE Anytime Everywhere の実現に向けて
- アファイン拘束を受ける非ホロノミック運動学システムに対する非線形制御論的解析
- 階層化合意形成における階層間接続行列のランク特性と収束性能
- 会長就任にあたって : SICE Anytime Everywhere : いつでもどこでもSICE
- 循環的追跡法に基づく協調捕獲行動のためのフォーメーション制御
- 有限周波数位相・ゲイン特性に基づく離散時間制御対象の制御しやすさの特徴づけ
- 離散時間H_2最適制御問題に対する精度保証付き計算
- 有限周波数位相・ゲイン特性に着目した連続時間制御対象の制御しやすさの特徴づけ
- H_2最適追従制御設計問題の精度保証付き計算アルゴリズム
- 一般化KYP補題に基づくPID制御器の設計(PID制御のパラメータチューニング)
- 一般化KYP補題に基づくPID制御器の設計
- 1入力多出力線形離散時間系のH_2制御性能限界
- 数式処理を用いた多項式のロバスト根配置とその制御系設計への応用(ロバスト計算と精度保証)
- 第1回横幹連合コンファレンスを開催報告
- 一般化KYP補題に基づく制御系設計ツール
- 三斜内容三圓術(Malfattiの問題)の数式処理 : 有理関数体上のタワーの構成(数式処理における理論とその応用の研究)
- 三叉ヘビ型移動ロボットの運動解析と制御
- 固有値に着目した2モード区分的線形システムの安定解析
- 一次の可制御構造を持つ対称アフィン系のフィードバック制御 : 時間軸状態制御形に基づく切替制御戦略
- 限定記号消去法に基づくロバスト制御系設計ツール
- 数式処理によるロバスト制御系設計
- 拡張された線形化法に基づく一般的ロバスト制御系設計(通信と制御)
- $A_5$をGalois群に持つ6次式の族 : 分解体とGalois群の計算(数式処理における理論とその応用の研究)
- 計測の精度・分解能と制御性能 (第22回センシングフォーラム 資料--センシング技術の新たな展開と融合) -- (セッション2C1 計測と制御の接点を探る--制御部門マルチレゾルブドシステム調査研究会企画OS)
- 量子制御ダイナミクスの局所可到達性と局所可観測性
- 量子制御ダイナミクスの平衡点解析
- 量子力学的システムの制御ダイナミクスモデル
- 一般化KYP補題に基づくPID制御器の設計 (PID制御のパラメータチューニング特集号)
- 5 数値/数式ハイブリッド計算に基づくロバスト最適化プラットフォーム : ものづくりを支える新しいシミュレーション技術を目指して(次世代統合シミュレーション技術)
- アファイン拘束を受ける非ホロノミック動力学システムのモデリングと解析
- Symbolic-Numeric Optimization for Kinetic Models : An application to bioinformatics field (Computer Algebra : Design of Algorithms, Implementations and Applications)
- CADにおけるi-projection operator導入によるQEの効率化 (第19回日本数式処理学会大会報告)
- アファイン拘束を受ける非ホロノミック運動学システムに対する非線形制御綸的解析
- サンプル値制御理論における未解決問題
- ちょっと立ち止まって
- Proving and Solving Semi-definite Programming over Reals (Computer Algebra : Algorithms, Implementations and Applications)
- A Parameter Space Approach for Fixed-order robust controller synthesis by symbolic computation (Computer Algebra : Algorithms, Implementations and Applications)
- ISSAC2000参加報告
- Deciding Linear-Trigonometric Problems (Theory and Application in Computer Algebra)
- Reach Set Computations Using Real Quantifier Elimination (Theory and Application in Computer Algebra)
- 新しい数式処理アルゴリズムQEを用いたロバスト制御系設計
- Symbolic Analysis of Discrete-Time Polynomial Systems (Theory and Application in Computer Algebra)
- アファイン拘束を受ける非ホロノミック動力学システムのモデリングと解析
- 制御とシステムインテグレーション
- 有限周波数KYP補題とその動的システム設計への応用
- 科学技術におけるモデルの役割りとモデル学
- 数式処理によるパラメトリック多項式最適化手法 (最適化手法の深化と広がり)
- 計測自動制御学会の制御理論発展への貢献
- CADにおける i-projection operator 導入によるQEの効率化
- パラメトリック多項式最適化問題専用 Cylindrical Algebraic Decomposition と動的計画法への適用(数式処理 : その研究と目指すもの)
- 学術講演会から Annual Conference へ : 国際化への歩み
- SDP とQE を用いた非線形システムのゲイン解析 (数式処理 : その研究と目指すもの)
- 環状遺伝子制御ネットワークのロバスト安定性解析
- 最適化問題に対するCADの効率的な手法 (第20回日本数式処理学会大会報告)
- 環状遺伝子制御ネットワークの周期振動特性解析
- 符号情報利用による数値数式 CAD の効率的な実装 (Computer Algebra : Design of Algorithms, Implementations and Applications)
- 数値数式手法による多目的最適化 (Computer Algebra : Design of Algorithms, Implementations and Applications)
- 環状遺伝子制御ネットワークのロバスト安定性解析
- 自然言語処理と計算代数の接合による数学問題へのアプローチ(ロボットは東大に入れるか?)
- 最適化問題に対するCADの効率的な手法
- 1-D-2 ピーク電力削減のためのノートPCのバッテリー充放電計画の最適化(節電)
- ノートPCバッテリを活用したピーク電力削減のための充放電統合制御システム