C++言語による精度保証付き数値計算用ライブラリ
スポンサーリンク
概要
- 論文の詳細を見る
本報告では、精度保証付き数値計算を行うためのライプラリについて議論する。まず、精度保証付き数値計算で現れる演算方式について概観し、それを元にどのような機能をもつライプラリが必要であるか議論する。最後に、実際に作成したライプラリの仕様を示す。
- 1997-06-23
著者
関連論文
- 機関車の基地内留置計画に対する整数計画アプローチ
- GPUを利用した非線形方程式の並列全解探索法(実用)
- 鉄道における乗務員運用計画の集合被覆問題に対する 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による非線形方程式の全解探索法
- 有限ステップで停止する全解探索アルゴリズムの改良について : Newton法の修正量を利用した改良法
- Affine Arithmetic を用いた全解探索アルゴリズム
- Affine Arithmetic を用いた全解探索アルゴリズム
- 有理数演算を用いたパラメータ依存非線形方程式の解の区間反復改良
- 有限ステップで停止する非線形方程式のすべての解を精度保証付きで求めるアルゴリズム
- パラメータ依存非線形方程式のすべての解を精度保証付きで求めるアルゴリズム
- 複素解析を用いた高速精度保証付き自動積分法
- アフィン演算を用いた常微分方程式の初期値問題の精度保証付き解法
- アフィン演算の実装方法について(通信と非線形特集及び一般)
- アフィン演算における乗除算について
- アフィン演算における最良乗算について
- ベキ級数演算技法を用いた不定積分の精度保証付き数値計算
- A-21 Affine Arithmeticにおける最良乗算の実現(数値計算,A.アルゴリズム・基礎)
- A-2-24 倍角公式を用いた三角関数の精度保証
- A-2-22 ベキ級数演算を用いた精度保証付き不定積分
- 区間演算における初等関数の実現について
- 同一並列機械ロットスケジューリング問題への列生成法の適用
- 一般上限制約付き大規模集合被覆問題 : 鉄道の乗務員運用計画に対するラグランジュ緩和アプローチ(鉄道のOR(1))
- 鉄道の多拠点乗務員運用問題に対する列生成アプローチ(鉄道のOR(1))
- ジョブショップスケジューリングに対する機械分解によるラグランジュ緩和
- 同一並列機械ロットスケジューリング問題への列生成法の適用(生産管理(1))
- ジョブの分岐と時間重複生産を許すスケジューリング問題のジョブの諸性質(グラフ・スケジューリング)
- アフィン演算を用いた三角形-光線交差の精度保証
- 鉄道の乗務員運用計画作成問題に対する列生成法の適用
- ネットワークフローモデルによる鉄道の終端駅の能力評価
- 区間解析
- 「区間解析と精度保証付き数値計算」特集にあたって
- 線形計画問題の最適値を求める精度保証付き単体法について
- 線形計画問題の最適値を求める精度保証付き単体法について
- C++言語による精度保証付き数値計算用ライブラリ
- C++を用いた精度保証付き数値計算ライブラリ
- 線形計画法(単体法)を用いた区間解析について
- 2-D-4 訪問看護スケジュール作成への数理計画アプローチ(スケジューリング(2))
- 2-D-6 乗務員運用のための最適化モデル分析 : 貨物鉄道における基地の配置と担当範囲を中心として(スケジューリング(2))
- 2-D-5 鉄道における乗務員交番作成問題に対する列生成法の適用(スケジューリング(2))
- パラメータ依存方程式に対する区間解析とファジィモデリングに関する考察
- 鉄道乗務員スケジューリング問題に対する解法とその評価