AMPL フォーカスシステムズ　サイバーフォレンジックセンター

最適化・モデリング言語

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

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

関連リンク - https://cybersecurity.focus-s.com/topics_detail/12…

基本情報AMPL

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

価格帯	お問い合わせください
納期	お問い合わせください
用途／実績例	※詳しくは弊社HPをご覧いただくか、お気軽にお問い合わせ下さい。