アフィン演算を用いた常微分方程式の初期値問題の精度保証付き解法
スポンサーリンク
概要
- 論文の詳細を見る
本報告では、正規形の連立一階常微分方程式の初期値問題で定義域が広い場合に対する精度保証付き数値解法を提案する。この問題に関してはこれまでLohner[1]の方法をはじめ多くの研究がなされており、著者らもこの問題を考えてきた[2]が、wrapping effectの影響で解曲線の長時間にわたるシャープな包み込みを実現できないでいた。一方、著者らはwrapping effectの影響を受けない区間演算の有力な変種であるアフィン演算[3][4]について検討を重ねてきた。そこで、本報告は初期値問題の精度保証付き解法としてアフィン演算を適用する。
- 社団法人電子情報通信学会の論文
- 2003-12-11
著者
関連論文
- 機関車の基地内留置計画に対する整数計画アプローチ
- GPUを利用した非線形方程式の並列全解探索法(実用)
- 数式のカラー表示に対する標準化について(e-Learningと教育品質の保証・向上/一般)
- 鉄道における乗務員運用計画の集合被覆問題に対する Wedelin の解法の適用
- 単純リコースを有する整数確率計画問題の Dynamic Slope Scaling Procedure を用いた解法
- 2-B-8 数理計画法を用いた機関車の基地内留置計画の最適化(交通(2))
- 2-C-2 確率計画法による予防的・緊急的在庫転送併用方策の定式化(在庫管理)
- 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解法の適用(タイムテーブリング)
- 二段階数理計画アプローチによる鉄道車両運用計画の策定
- GPGPUによる非線形方程式の全解探索法
- A-2-23 アフィン演算を利用した非線形方程式の解の存在検証(A-2. 非線形問題)
- 有限ステップで停止する全解探索アルゴリズムの改良について : Newton法の修正量を利用した改良法
- 変数分離形非線形方程式の解の非存在の厳密な数値的検証法と全解探索への応用
- A-2-5 非線形方程式の全解探索問題におけるAffine Arithmeticを用いた非存在領域の除去法
- 有限次元非線形方程式の全解探索アルゴリズム
- パラメータ依存非線形方程式の解を含む区間の反復改良アルゴリズム
- Affine Arithmetic を用いた全解探索アルゴリズム
- Affine Arithmetic を用いた全解探索アルゴリズム
- 有理数演算を用いたパラメータ依存非線形方程式の解の区間反復改良
- 有限ステップで停止する非線形方程式のすべての解を精度保証付きで求めるアルゴリズム
- パラメータ依存非線形方程式のすべての解を精度保証付きで求めるアルゴリズム
- 有理数演算による非線形方程式の近似解の精度保証 : 有理数演算による精度保証付き広義ニュートン法(非線形問題の数値解析)
- Sobolevノルムによる非線形常微分方程式の解の存在検証法
- A-2-28 Sobolevノルムを用いた非線形常微分方程式の解の存在検証法
- L_2ノルム評価による常微分方程式の解の存在検証法
- 無限行列を用いた常微分方程式の解の存在検証法
- 複素解析を用いた高速精度保証付き自動積分法
- 考えさせる教材の例(3) : 連続系の離散近似(一般【若手育成企画】)
- 鉄道の乗務員運用計画作成問題に対する列生成法の適用
- アフィン演算を用いた常微分方程式の初期値問題の精度保証付き解法
- アフィン演算の実装方法について(通信と非線形特集及び一般)
- アフィン演算における乗除算について
- アフィン演算における最良乗算について
- ベキ級数演算技法を用いた不定積分の精度保証付き数値計算
- 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 粒子系を用いた自由形状変化を持つ水滴のモデリング
- 平均値形式とアフィン演算を用いた常微分方程式の精度保証法(理論)
- ネットワークフローモデルによる鉄道の終端駅の能力評価
- 区間解析
- 「区間解析と精度保証付き数値計算」特集にあたって
- 工学設計教育で同一テーマを複数チームが併行して取り組んだ事例について
- (67)工学設計教育で同一テーマを複数チームが併行して取り組んだ事例について(セッション19 エンジニアリングデザイン(工学設計教育)III)
- 線形計画問題の最適値を求める精度保証付き単体法について
- 線形計画問題の最適値を求める精度保証付き単体法について
- C++言語による精度保証付き数値計算用ライブラリ
- C++を用いた精度保証付き数値計算ライブラリ
- パラメータ依存方程式の全解探索アルゴリズム
- 線形計画法(単体法)を用いた区間解析について
- A-2-5 平均値形式を用いた解の非存在領域の除去法
- 2-D-4 訪問看護スケジュール作成への数理計画アプローチ(スケジューリング(2))
- 2-D-6 乗務員運用のための最適化モデル分析 : 貨物鉄道における基地の配置と担当範囲を中心として(スケジューリング(2))
- 2-D-5 鉄道における乗務員交番作成問題に対する列生成法の適用(スケジューリング(2))
- パラメータ依存方程式に対する区間解析とファジィモデリングに関する考察
- D-11-100 分布関数によるポリゴンオブジェクト間の融合接続の一手法
- 鉄道乗務員スケジューリング問題に対する解法とその評価
- 鉄道乗務員スケジューリング問題に対する解法とその評価
- 鉄道の運行システムにおける情報処理技術の動向:鉄道の運行計画作成の高度化に向けて -現状と課題-