変数分離形非線形方程式の解の非存在の厳密な数値的検証法と全解探索への応用
スポンサーリンク
概要
- 論文の詳細を見る
本論文では, 有限次元非線形方程式に関して, ある領域内におけるそのすべての解を精度保証付きで求めることを目的としている.すべての解を求めるためには, 解の存在しない領域を効率良く抽出することが重要であるので, 与えられた領域における解の非存在性を精度保証付きで判定する新たな手法を提案している.また, 具体的な数値例を解くことにより, 提案された手法の有効性を検証している.
- 2001-11-01
著者
-
柏木 雅英
早稲田大学
-
柏木 雅英
東洋大学経営学部
-
大石 進一
早稲田大学 理工学術院 基幹理工学部 応用数理学科
-
中谷 祐介
早稲田大学理工学術院
-
大石 進一
早稲田大 理工学術院
-
神沢 雄智
芝浦工業大学工学部通信工学科
-
神沢 雄智
芝浦工業大学
-
神澤 雄智
芝浦工業大学工学部通信工学科
-
大石 進一
早稲田大学
関連論文
- 機関車の基地内留置計画に対する整数計画アプローチ
- GPUを利用した非線形方程式の並列全解探索法(実用)
- 鉄道における乗務員運用計画の集合被覆問題に対する Wedelin の解法の適用
- 能動素子を含むある種の抵抗回路の解の精度保証について(信号処理,LSI及び一般)
- 行列式が1の3次整数行列の一生成法
- 行列式の精度保証付き数値計算法
- 単純リコースを有する整数確率計画問題の Dynamic Slope Scaling Procedure を用いた解法
- 数値シミュレーションの精度保証と信頼性(シミュレーションと信頼性)
- 線形計画問題の最適解の精度保証(カオスの通信への応用,局在振動,一般)
- 2-B-8 数理計画法を用いた機関車の基地内留置計画の最適化(交通(2))
- 実対称定値一般化固有値問題のすべての固有値の精度保証付き数値計算法(数値計算,数理計画法)
- 精度保証付き数値計算法の最近の到達点とMATLAB上のツールボックス
- A fast verified automatic integration algorithm using double exponential formula (数値解析における理論・手法・応用--RIMS研究集会報告集)
- C++による精度保証付き数値計算ライブラリ
- C++と浮動小数点数による精度保証付き数値計算ライブラリ
- 実用化されつつある高品質数値計算とその画期的な応用
- 2-C-2 確率計画法による予防的・緊急的在庫転送併用方策の定式化(在庫管理)
- Numerical Existence Proofs and Guaranteed Error Bounds for Solutions to Two-Point Boundary Value Problems (Recent Developments of Numerical Analysis and Numerical Computation Algorithms)
- 1-S-1 鉄道乗務員交番作成に対するCapraraのラグランジュ緩和アプローチ : 日本の鉄道への適用可能性の検討(鉄道とOR)
- 2-E-5 Location-Routing Problemに対するLagrange緩和と列生成法の併用アプローチ(離散最適化(2))
- 2-B-7 ダイヤ乱れ時の機関車運用計画修正問題に対する列生成アプローチ(交通(2))
- 鉄道乗務員スケジューリング問題に対する解法とその評価
- 2-E-12 列車ダイヤ遅延時の乗務員スケジュール修正問題(スケジューリング(2))
- 2-E-11 数理計画による鉄道車両運用計画の策定(スケジューリング(2))
- 2-B-1 乗務員運用計画問題の列生成子問題に対するPull型ラベリング解法と性能評価(数理計画(2))
- 乗務員運用計画の集合被覆問題に対するWedelin解法の適用(タイムテーブリング)
- 二段階数理計画アプローチによる鉄道車両運用計画の策定
- 非線形関数方程式の精度保証付き数値計算法
- 非常に大きな条件数をもつ整数行列の一生成法
- 能動素子を含むある種の抵抗回路の解の精度保証について(信号処理,LSI及び一般)
- 能動素子を含むある種の抵抗回路の解の精度保証について(信号処理,LSI及び一般)
- マルチプロセスを用いた連立一次方程式の精度保証法の実装
- 線形抵抗回路の動作点の数値的精度保証法
- 線形抵抗回路の動作点の数値的精度保証法
- 行列式が1の3次整数行列の一生成法
- 線形受動抵抗回路の解の精度保証について
- 同期技術と同期現象
- あるクラスのphase modelのダイナミクスについて : 同期/非同期の臨界状態
- Dynamical Theory on Mutually Connected PLL's
- 多くのパラメータをもつダイナミカルシステムの特異点解析
- 複素時間から見た非線形回路のpower spectrum
- 複素時間からみた非線形回路 : Phase-Locked Loopsの場合
- 座談会「応用数理と私」
- GPGPUによる非線形方程式の全解探索法
- A-2-23 アフィン演算を利用した非線形方程式の解の存在検証(A-2. 非線形問題)
- 有限ステップで停止する全解探索アルゴリズムの改良について : Newton法の修正量を利用した改良法
- 変数分離形非線形方程式の解の非存在の厳密な数値的検証法と全解探索への応用
- A-2-5 非線形方程式の全解探索問題におけるAffine Arithmeticを用いた非存在領域の除去法
- 有限次元非線形方程式の全解探索アルゴリズム
- パラメータ依存非線形方程式の解を含む区間の反復改良アルゴリズム
- 有理数演算による非線形方程式の近似解の精度保証 : 有理数演算による精度保証付き広義ニュートン法(非線形問題の数値解析)
- Sobolevノルムによる非線形常微分方程式の解の存在検証法
- A-2-28 Sobolevノルムを用いた非線形常微分方程式の解の存在検証法
- 複素解析を用いた高速精度保証付き自動積分法
- 鉄道の乗務員運用計画作成問題に対する列生成法の適用
- アフィン演算を用いた常微分方程式の初期値問題の精度保証付き解法
- アフィン演算の実装方法について(通信と非線形特集及び一般)
- アフィン演算における乗除算について
- アフィン演算における最良乗算について
- ベキ級数演算技法を用いた不定積分の精度保証付き数値計算
- A-21 Affine Arithmeticにおける最良乗算の実現(数値計算,A.アルゴリズム・基礎)
- A-2-24 倍角公式を用いた三角関数の精度保証
- A-2-22 ベキ級数演算を用いた精度保証付き不定積分
- A-2-4 アフィン演算における多項式の評価について
- A-2-3 Affine Arithmeticにおける除算の改良について
- アフィン演算を援用した多項式の値域の評価について
- アフィン演算の乗算について
- A-2-4 ベキ級数演算を用いた常微分方程式の長時間積分
- A-2-3 Affine Arithmeticの除算について
- A-2-2 Affine Arithmeticの乗算について
- ネットワークフローモデルによる鉄道の終端駅の能力評価
- アフィン演算における最良乗算の除算への応用(通信と非線形特集及び一般)
- 同一並列機械ロットスケジューリング問題への列生成法の適用
- 一般上限制約付き大規模集合被覆問題 : 鉄道の乗務員運用計画に対するラグランジュ緩和アプローチ(鉄道のOR(1))
- 鉄道の多拠点乗務員運用問題に対する列生成アプローチ(鉄道のOR(1))
- ジョブショップスケジューリングに対する機械分解によるラグランジュ緩和
- 同一並列機械ロットスケジューリング問題への列生成法の適用(生産管理(1))
- ジョブの分岐と時間重複生産を許すスケジューリング問題のジョブの諸性質(グラフ・スケジューリング)
- ジョブの分岐と時間重複生産を許す2工程並列機械フローショップスケジューリング問題 : 納期遅れ最小化に対するラグランジュ緩和に基づくヒューリスティックアプローチ
- 平均値形式とアフィン演算を用いた常微分方程式の精度保証法
- A-2-1 アフィン演算における最良乗算を使用した除算について
- A-2-23 Affine Arithmeticにおける除算の新手法について
- A-2-3 区間演算による多項式の値域の評価について
- 多項式の値域の区間評価について
- アフィン演算を用いた三角形-光線交差の精度保証
- 鉄道の乗務員運用計画作成問題に対する列生成法の適用
- D-12-32 パーティクルシステムを用いた紙の燃焼のシミュレーション
- D-12-62 粒子系を用いた自由形状変化を持つ水滴のモデリング
- 平均値形式とアフィン演算を用いた常微分方程式の精度保証法(理論)
- ネットワークフローモデルによる鉄道の終端駅の能力評価
- 区間解析
- 「区間解析と精度保証付き数値計算」特集にあたって
- パラメータ依存方程式の全解探索アルゴリズム
- A-2-5 平均値形式を用いた解の非存在領域の除去法
- 2-D-4 訪問看護スケジュール作成への数理計画アプローチ(スケジューリング(2))
- 2-D-6 乗務員運用のための最適化モデル分析 : 貨物鉄道における基地の配置と担当範囲を中心として(スケジューリング(2))
- 2-D-5 鉄道における乗務員交番作成問題に対する列生成法の適用(スケジューリング(2))
- D-11-100 分布関数によるポリゴンオブジェクト間の融合接続の一手法
- 鉄道乗務員スケジューリング問題に対する解法とその評価
- 鉄道の運行システムにおける情報処理技術の動向:鉄道の運行計画作成の高度化に向けて -現状と課題-