スケジューリング最適化ソルバーOptSeq

パンフレット最適化ソルバー紹介資料(まとめ)

概要

OptSeq(オプトシーク)は,スケジューリング最適化に特化した,汎用スケジューリング最適化ソルバーです.

OptSeqでは,様々な実務の制約が記述可能で,スケジューリング最適化問題に特化したアルゴリズムを用いているため,数理最適化ソルバーで解けないような大規模なスケジューリング最適化問題に対しても短時間で良好な解を求めることが可能です.

OptSeqでは,機械や人などの再生可能資源,お金や資材など消費するとなくなる再生不可能資源,段取り,作業の途中中断,作業中断中の資源の占有や非占有,並列作業,作業モードの選択,作業間の任意の時間制約などを考慮しながら,納期遅れ最小化スケジューリングや前詰め・後ろ詰め混合スケジューリング問題が解けます.

ベンチマーク

スケジューリング最適化問題ベンチマーク結果 (PDF)

  • JSP(ジョブショップスケジューリング (メイクスパーン最小化))に対するベンチマーク
  • RCPSP/max(資源制約付き,作業間の時間制約付きプロジェクトスケジューリング問題)に対するベンチマーク

上記の2種類のベンチマークは,解の精度のみを競うもので,求解時間制限もなく,問題に特化したアルゴリズム作成やチューニングを行っても大丈夫ですが,OptSeqはデフォルトのパラメータで,アルゴリズムカスタマイズもなしで実験し,短時間でも良い答えが出ることが確認できました.

  • Googleの OR-toolesとの比較

小規模問題では制限時間が短いほどOptSeqが良い答えを出すことが多い,問題規模が大きくなるOptSeqが良い解を出す(同じ時間)ことが確認できました.

特徴

  • 世界的に有名な最適化理論の研究者である茨木先生(京都大学名誉教授)と野々部先生(法政大学)の開発したメタヒューリスティクスを基礎としているため,大規模な問題でも,限られた計算時間内に,極めて効率的に求解することがでます.
  • Pythonインターフェイスを用いたモデリング,簡易モデリング言語によるテキスト渡し,テキスト返しが可能です.
  • ライブラリ呼び出しによる利用が可能です.ライブラリをご利用していただくことによって,最適化を必要とする他のシステムに組み込んで利用することができます.
  • 世界最高水準の汎用スケジューリング最適化ソルバーで,柔軟かつ広範囲の実際のスケジューリング問題をカバーします.
  • 数理最適化ソルバーより(人が理解しやすい)自然な表現でスケジューリング最適化問題をモデリング可能です.

適応可能例

OptSeqを用いた事例に関する論文

手動と自動作業が混在する生産スケジューリング

化学工場の生産スケジューリング

鋳造日程計画

造船工程計画

パイプライン修復スケジューリング

点検作業のスケジューリング

半導体工場の生産スケジューリング

配船スケジューリング(資源の輸入など) 

各種生産スケジューリングなど

対応OS環境

Windows 64-bit

Mac OS 64-bit  

Linux (Ubuntu) 64-bit

対応OS環境は,適時,追加または修正される可能性があります.その他OSも状況に応じて提供可能な場合があります.詳細はお問い合わせください.

注意事項

最適化ソルバー使用許諾契約

商品版と無料トライアル版共通です.

このソフトウェア使用許諾契約の条項を注意深くお読みください.
ソフトウェアをインストールし稼働できるようにすることで,お客様はこのソフトウェア使用許諾契約の条件に同意した ことになります.
ソフトウェア使用許諾契約の効力発生日は本件製品をインストールし,稼働できるようにした日です.

ソルバー無料トライアル版ダウンロード

作業数が15までの問題が求解できるトライアルバージョンを無料配布しております.

注)optseq.pyを使用する場合,pythonの非標準モジュール(numpy,pandas,plotly)のインストールが必要です.これらの非標準モジュールはpipインストールで簡単に自動インストール可能です.

2021年8月6日更新 (ver.OptSeqII20210114)

OptSeq windowsトライアル版(zip圧縮形式)ダウンロード   実行方法

OptSeq macトライアル版(zip圧縮形式)ダウンロード   実行方法

OptSeq Linux(ubuntu)トライアル版(zip圧縮形式)ダウンロード   実行方法

マニュアル

モデリングの詳細は,マニュアルならびに解説ビデオをご参照ください.

注)マニュアルにある[source]は一般公開してないため見れません.

マニュアルはスケジューリング最適化システムとの共通マニュアルであるため,excelへの出力に関する関数やデータフレーム変換に関する関数など一部関数はソルバーからは利用できません.

   

生産スケジューリング最適化システムOPTSEQ

様々な制約を考慮した生産スケジュール作成が可能なシステムです.

詳細はこちら