English Japanese
 

白書

ファイルは、Adobe Acrobat [.pdf] です。


白書の紹介 / 概要
Xpress-MP を
使用したモデリング

[pdf][217k]
Xpress-MP のツールを使用して、モデルを作成したり解いたりする際に、アプリケーション開発者が選択できる多様なオプションを紹介し、それらについて論じています。モデリングのインターフェースとして使用できる 3つの Xpress-MP ライブラリー(Xpress-Mosel、Xpress-BCL、Xpress-Optimizer)の機能や関連性のある長所を比較することができます。
Mosel の概要
[pdf][167k]

実例(Win)
実例(Unix)

Xpress-Mosel を実例を使いながらさらに詳しく紹介しています。言語面では、タイプ、データ構造、ファイル I/O、ステートメント、ビルトイン機能、モジュールを扱っています。Mosel のコールできるライブラリーを使用して、Mosel モデルを別のアプリケーションへ組み込むことについても説明しています。Mosel が Optimizer とインタラクトし、バイナリ決定発見法や二次計画法の実例を含む解法を実行する方法を示しています。

この新バージョンには、モジュール作成のセクションが含まれています。

シナリオ計画法の
アプリケーションの概要

[pdf][199k]
この白書は、シナリオ計画法のアプリケーションの概要について記載しています。リスクコストのトレードオフを含む、リコース2段階シナリオ計画法と実施できる分析タイプについて、いくつかの主要な考え方を説明する単純な容量拡張計画モデルから始まります。次に、小規模な多段階財務計画モデルとそれに関連した分析を考察します。これらの2つのモデルは、多様なアプリケーションを論じる視点となります。
高度な Mosel トピック
最適化アルゴリズムの組み込み
[pdf][147k]

実例(Win)
実例(Unix)

Mosel の3つの実例によって、Mosel 言語と Mosel のコールできるライブラリーを組み合わせて、最適化アルゴリズムを実行する方法を紹介します。

最初の実例は、C 言語で書き込まれたホスト アプリケーションが制御している5つの異なるデータ シナリオを使用して、1つのモデルを解くものです。2つ目の実例では、モデル内で定義された代数的対象に関連して、Mosel 言語で定義されたコールバック機能の中にカットが生成される分枝カット法を実行します。最後の実例は、列を生成するアルゴリズムを実行して、カッティングストック問題を解くものです。モデルと方法は Mosel 言語で実行されますが、コール機能は C 言語で定義され、ユーザ定義によるモジュールによって Mosel モデルにアクセスできるようになっています。全体のアプリケーションは、ホストの C 言語によるアプリケーションによって制御されています。
Mosel の一般的な
ファイル操作

[pdf][105k]

実例(Win)
実例(Unix)

この白書は、Mosel ディストリビューションの I/O ドライバを使用例を使って説明しています。ユーザは自分のモデルを最小限変更するだけで、異なる形式のデータソースの切り替えを行うことができます。モデルとそれを行うアプリケーション間のインタラクションとデータ交換は、さらに迅速にまた効率的に行うことができます。また、メモリ内ですべての操作を実行するため、物理的中間ファイルを作成する必要がありません。これは、配布されたアプリケーションなどで便利です。

Mosel Native Interface (NI)を使用して、ユーザは自分のドライバを実行することもできます。この機能を持ついくつかのアプリケーションを紹介します:圧縮ファイルと連動するドライバ、Mosel モデルを使用した C コード生成例など。

複数モデルと Mosel を使用した平行処理
[pdf][170k]

実例(Win)
実例(Unix)
この白書は、Mosel を使用して複数のモデルを連続かつ平行して解く実例について説明しています。 可能な設定を網羅した表は作成できませんが、これらの実例は、モデルの複数のインスタンスの平行実行、マスターへのサブモデルの(連続)組み込み、分解アルゴリズムの実行のような、Mosel モジュール mmjobs の異なる使用法を示しています。さらに技術的な観点から、白書のトピックには、モデル管理、平行モデルの同期化、共有メモリ IO ドライバの使用なども含まれています。
MIP と CP による
問題解決

[pdf][200k]

実例(Win)
実例(Unix)
Xpress-Mosel 環境で Xpress-Kalis と Xpress-Optimizer を使用して、制約プログラミング(CP)と線形計画法(LP)または混合整数計画法(MIP)を組み合わせる解法アルゴリズムを実行します。この白書は、CP と LP/MIP を組み合わせて問題解決を図る2つの理論について論じています。
特定のモデリング問題
特別注文セット
[pdf][70k]
特別注文セットとは、MIP のオプティマイザーによって効率良く解くことができる方法で、特定の状況をモデル化するのに役立つ機能のことで、MIP による最適化において使用できます。このセットは相互排他的決定や非線形機能をモデル化する時に役立ちます。この文書はこのセットは何か、何に使用できるか、Xpress-Mosel や Xpress-BCL でこれらを指定する方法について、説明しています。
生産計画のモデリング
[pdf][74k]
作業量とリードタイムの非線形関係を正確に把握する、モデル化可能なシステムの数理計画法の枠組みを紹介しています。ここでは、1種類の製品のみを扱う定式化の簡易版が紹介され、Mosel モデルがこの考え方を説明するのに使われています。
 

 

[ホーム] [お問い合わせ] [お客様エリア] [検索] [サイトマップ] [リンク] [プリント用]
  © 2005 Dash Optimization
[ホーム]
[お客様エリア]
関連トピック
最適化とは?
Xpress-MP を使用した最適化アプリケーション(書籍)
トレーニング