トップ > Xpress-MPメッセージボード > 製品・サービス

製品・サービス

Xpress-MPモデル開発ツール

Dashは最適化モデルを生成し、解き、テストし、発展させるために、洗練された、使いやすいツールを開発しました。

Xpress-IVEは、モデルを視覚的に書き、コンパイルし、管理できる環境を整えました。特に大学での教育や初心者の方には最適です。

Xpress-Moselは、モデルを生成するための豊富なstatementやprocedureをサポートするモデル生成言語です。このモデルには、ユーザーの書いたprocedureを含むことが出来ます。

Xpress-BCLは、ユーザーが所有するコンピュータプログラム内にモデルを直接生成し、使用する方の為にBuilder Component Library(BCL)を用意しました。

Xpress-IVEは、Windows下で作動するXpress-Mosel用のビジュアルな開発環境です。Moselモデルを編集し、コンパイルし、実行する環境を備え、さらに解などを視覚化する機能も備えています。ユーザーは、Entity treeでモデル内のオブジェクトを見ることが出来ます。つまり、最適化後に全ての最適化オブジェクトの値を見ることが可能です。最適化のパフォーマンスは、処理時間ごとに視覚的な表現ができ、さらにその問題をマトリックスの形式で表現することや、解をユーザーの好みに応じてグラフにすることも出来ます。Xpress-IVEは、アプリケーション作成にあたって、Moselモデルを生成するのに最適です。アプリケーションを作成する場合、ある固有の問題の解を見て分析し、改良を加えていきます。そして解き終わった後、この視覚ソフトでその解の分析ができます。ユーザーのアプリケーションにモデルを転送し、また組み込む場合でも、Xpress-IVEで前もってモデルを開発し、テストし、改良を加えた後、リンクすることもできます。

Xpress-Moselは、ユーザーが問題をモデル化し、Xpress-Optimizerを使ってそのモデルを解き、解を分析する高度なモデル生成及び解の解析プログラム言語です。モデルは、ソフトウェアアプリケーション内で、相互機能を組み込むことができます。Moselは、覚えやすく使いやすい言語です。最適化アプリケーションを開発し、テストし、維持管理する事が容易に出来ます。Xpress-IVEのビジュアル開発環境により、処理が容易になりました。Moselは、より大規模なそしてより高度な最適化モデルを扱えるよう機能向上を図りました。

Xpress-BCLは、アプリケーション内で問題をモデル化するオブジェクト指向のライブラリーです。具体的には、色々な機能に変数を加え、制約式を加えるというステップ・バイ・ステップの組立型であり、開発者はＣ／Ｃ++，Ｊａｖａ又はＶＢにbuilder componentを呼び出して、徐々にモデルを組み立てる形式を取ることができます。完全なモデルが定義されると、Xpress-Optimizerにより解かれます。BCL機能は、開発者自身のアプリケーション内で、直接解をアクセス出来るようにしてあります。

MoselやBCLは、特別な領域の最適化問題を効率的に解くことができるので、コンサルタントやＯＥＭの方々に特に有用です。Xpress-Optimizerは、問題の構文や特徴を利用するため、解を得る時間を大幅に減少するようにカスタマイズすることも出来ます。

Xpress-Optimizer

Xpress-Optimizerは、最適化問題を解くOptimizationソフトウェア プログラムです。

Xpress-Optimizerには、３つの使用方法があります。

  • OEM製品にOptimization機能として組み込まれ、コンポーネントとして使用される方法
  • コンサルタントが、お客様にOptimizationソリューションを提供するために使用する方法
  • ビジネスアナリストや大規模組織のエンドユーザ等が、最適化問題を直接解くために使用する方法

Xpress-Optimizerは、あらゆる種類の問題を解くために、世界中で数千の会社において使用されております。その適用範囲は、サプライチェーン計画からポートフォリオ管理、プロセス産業から金融サービスにまで及びます。

Xpress-Optimizerは、以下の内容を持っています。

  • 異なるタイプの問題を解くためのOptimizationアルゴリズム(Primal/Dual/Newton barrier)
  • 異なるサイズの問題を解くための３つのCapacityレベル(Hyper/Extended/Professional)
  • ユーザが問題をいくつかの方法で、定義出来る様にするモデル生成インターフェース
  • 組み込みシステムやスタンドアローンのアプリケーションにXpress-MPを使用できる製品やコンポーネント
  • 全てのPC プラットフォームに共通使用できるバージョン

Xpress-Optimizerは、以下のように広範なOptimizationアルゴリズムに特色を持っております。

  • Linear programming problems (LP)
  • Quadratic programming problems (QP)
  • Mixed integer linear programming problems (MILP)
  • Mixed integer and quadratic programming problems (MIQP)

Simplex optimizerは、primal及びdualアルゴリズムを内装し、LPの問題を解き、またMIPやMIQP問題を解く為に使う分技限定計算手法の中でも使われています。

Newton barrier optimizerは、 LP及びQP問題を解くための内点計算手法です。Xpress-MPは、超高速で大規模モデルを解く為に超効率的なマトリックスを使います。Presolve手法は、問題を解く前にモデルサイズを縮小させます。その縮小サイズは、時に驚異的な場合があります。Xpress-MPは、数式的に困難な問題や不安定な問題を解く能力があると定評です。このような特徴は、Xpress-MPがプロセス産業で圧倒的なマーケットリーダーである理由の一つです。

MIP/MIQP Optimizerは、混合整数問題を解く複雑な分技限定計算アルゴリズムを使います。この手法は、質の高い解を早く見つける能力を持っています。さらに複雑な技術では、何種類もの分技面クラスを持ちます。この分技面は、最適化計算中に探索数を減らしたり、解の計算スピードを上げるために自動的に作られます。

Xpress-MPは、無制限に近い大規模な問題の計算にも対応出来ます。MIP問題を並列処理によって超高速で処理できます。

サービス

Dash Optimizationは、ソフトウェア製品について広範囲なサポートサービスをご提供いたします。Dashのサービスは、ソフトウェアのサポート、製品の品質向上、教育、コンサルティングです。

ソフトウェアサポート及びメインテナンス

Dash Optimizationは、適切なサポートサービスと製品の品質向上を目指し、「年間システムサポート契約（Annual System Support Contract(ASSC)）」を提供しております。この契約は、お客様がXpress-MPを最も効果的にご利用頂き、そして最良の成果を得て頂くためです。この契約によって、お客様は最新のソフトウェアやOptimization技術のXpress-MPをご利用できます。

システムサポート契約内容は、次の通りです。

  • 問題を解くためにOptimizationソフトウェアの専門家とコンタクトできます
  • 使用上の問い合わせが常時できます
  • Xpress-MPの最新バージョンをご提供します
  • Dashウェブサイト上のClient Areaへのアクセス権を得られます

サポートは、英国・米国・日本のオフイスや各地区のディストリビュータから得られます。

尚、ASSCはXpress-MPをご利用上の支援や助言は行いますが、教育やモデル生成及びアプリケーション開発のための専門家による本格的なコンサルティングは含まれていません。

コンサルティング　サービス

Dashは、既存のお客様や新規のお客様が最適化モデルの作成や最適化計算の支援をする幅広いサービスを提供いたしております。全てのコンサルタントは、経験と資格を備えた最適化問題の専門家です。

サービス内容は、次の通りです。

  • モデルのデザイン
  • モデルの開発
  • 最適化計算の処理速度向上のためのチューニング
  • ソフトウェアのデザインと開発

Xpress-MPの教育

Dash Optimizationは、エンドユーザー、コンサルタント、OEM業者の方々へ集中コースをご提供いたします。

2つのコースでは、モデルの作成及び幾つかのoptimizerの使い方についての基礎知識、技術的な教育をいたします。ご要望により、Xpress-MPをソフトウェア製品やソリューションにどのように組み込むかについての特別教育もいたします。Optimizationについてのこれまでの経験の有無はそれほど重要ではありません。ご参加の方々に講習会テキストの例題をベースにXpress-MPを使用することをおすすめします。

最初のコースは、参加者にモデルの作り方とその解き方を教育します。

二番目のコースは、ソフトウェア製品やソリューションにOptimizationモデルをどのように組み込むかについて集中的に教育します。

Xpress-SLP

SLPとは、Sequential Linear Programmingの略で、広範囲な非線形最適化問題を解く手法です。Xpress-SLPはこの技術を使った新製品で、Dash製品群の中に新たに加わりました。

非線形計画問題は、線形計画問題とは異なります。大変複雑で非常に解くことが難しいので、線形計画問題のサイズと同じサイズの非線形問題は、解ける場合でも非常に多くの時間を要します。

歴史的にみると、当初は非線形であった多くの問題も必然的に簡略化されてきました。近年線型計画の信頼性が高まり、大規模なモデルも解けるようになり、さらに信頼性の高い大規模モデルも解けるSLPコードの出現によって、簡略化された問題ではなく、あらゆるクラスの新しい問題や現実の問題が解けるようになりました。

線形計画問題は、例えば「生産費は、$15/t」という内容を一次式にしたものの集まりで表現されますが、非線形問題では、曲線や表データ又は等式での表現、例えば「生産費は、生産量の関数として変化する」といった複雑な内容の表現式となります。世の中多くの問題は、非線形の特性を持っていると言えます。

SLPは、非線形問題を解くために線形用optimizerに組み込まれ使用される“確かな技術”です。

このような問題は、次のようなアプリケーション共通の問題にも含まれています。

  • オペレーションや戦略的な計画
  • サプライチェーン計画やその実行
  • 販売戦略
  • リテール戦略
  • プロセス産業
  • 金融サービス

何故SLP/MISLPなのか？

非線形問題を解く手法はいろいろとありますが、DashがSLP/MISLPを選んだ理由は次の通りです。

  • プロセス産業や製造産業分野の大規模な計画問題やサプライチェーイン問題を解く中で、着実に実績を得る。
  • 大規模モデルの最適化計算において業界をリードするXpress-Optimizerの補助問題を解くために使用する。
  • 大規模問題を解くスピード・能力・信頼性を持ったXpress-Optimizerの強さを活用する。
  • 線形問題や非線形の問題を、SLP/MISLP手法を活用して早く効率的に解く。
  • SLP/MISLPにより、DashのXpress-MP製品群のLP/MIP solverを更に強化する。

ページの先頭へ戻る