株式会社オクトーバー・スカイ October Sky Co., Ltd.loading

AMPL

人が考える方法と同じやり方で、最適化モデルを記述

AMPLは高度な代数表現を備えた開発環境を提供することで、開発全体のサイクル(定式化、テスト、運用、メンテナンス)をサボートします。
最適化データや変数、目的関数、制約条件を記述するための最適化モデリング言語、モデルのデバッグおよび結果の解析を行うためのコマンド、そしてデータを操作して最適化の戦略を実行するスクリブト言語が統合されていて、最新のアプリケーション構築のために、すべて同じコンセブトと文法に統一されています。
人が考える方法と同じやり方で最適化モデルを容易に記述できる AMPL を活用することで、ユーザは様々な最適化ブロジェクトを成功へと導くことができます。

パワフルなモデリング言語の機能

  • 集合と集合演算子を、幅広くサポート。AMPL モデルでは、二つ組集合、三つ組集合、より長い組の集合、添 え字付き集合、順序付き集合、順序無し集合、 そして巡回集合、数の集合なども使用できます。
  • 代数式、論理式、条件式のための一般的で自然な文法、合計や他の反復演算子のための慣れ親しんだ書式。
  • 連続変数、整数変数の線形および凸二次問題を自動処理。
  • 主双対変数の初期値、ユーザ定義関数、高速自動微分記述、そして定義した変数の自動除去機能などの非線形計画機能。
  • ネットワークフロー、区分的線形、相補性制約、論理制約のための便利な記述法。

価値あるモデリング・サポート機能

  • バッチ処理オプションが付いた対話型のコマンド環境。どんなモデルの構成要素または表現でも、自動化された 形式もしくは好みの形式で、スクリーン上に展開またはファイルに書き込みができるパワフルな表示コマンド。
  • 反復および if-then-else コマンドを含むパワフルなスクリプト言語。AMPL コマンド言語のプログラムは、データ入力、繰り返し行われる調整および複数モデ ルのインスタンスの求解、そして解析のための結果の準備を実行する洗練された相互作用のスキームを定義できます。
  • モデルとデータを区別。集合およびデータのテーブルが大きくなっていっても、AMPL モデルは簡潔さを維持することができます。モデルは、データの有効性のための様々な種類の条件に組み込まれるかもしれません。
  • データ入力および出力のための接続。簡潔な構文が、モデルデータおよび結果とリレーショナルデータベース内のテーブルの内容とを関連付けします。

対応ソルバー

AMPL BOOK

AMPL の公式ブックとして知られる著名な「AMPL: A Modeling Language for Mathematical Programming」( 著者:Robert Fourer 氏、David M. Gay 氏、Braian W. Kernighan 氏 ) の日本語版を用意しています。
ご要望の場合は、メンバー登録後、メンバーページへログインしてください。メンバーページからダウンロードができます。

サポートプラットフォーム

AMPLは、下記のように、広く使用されているコンピュータおよびオペレーティングシステムの組み合わせに対応しています。

なお、Gurobi OptimizerとともにAMPLを利用される場合は、Gurobi Optimizerのサポートプラットフォームに準じます。

コンピュータ / プロセッサオペレーティングシステム
Apple Macintosh / IntelOS Xの全てのバージョン
IBM Power SystemsAIX
Intel ItaniumLinux
Intel x86/x64 または 互換プロセッサLinux のすべてのバージョン
Intel x86/x64 または 互換プロセッサWindowsのすべてのバージョン

数理最適化技術の導入をご検討されている方へ

知識と経験豊富な弊社コンサルタントがお客様の抱える問題を解決します!

  • 製品入門トレーニング
PAGE TOP
Menu