HOME > プロダクト一覧 > CHIP > 詳細

詳細CHIP:制約論理プログラミング言語


適用分野

  • 製造
  • 物流
  • 航空
  • 石油精製
  • 建設
  • サービスなど

さまざまな分野の計画作成に利用されています。




手法

組み合わせ問題の制約表現

リソース制約

cumulative制約
CHIP:手法   CHIP:手法

cumulative制約は、リソースの同時利用数の上限を表現できます。人員ピークを平準化したスケジュールの立案や、リソース上限を固定したときの最短納期を計算するのに役立ちます。

多次元の排他制約

diffn制約
CHIP:手法   CHIP:手法

diffn制約はn次元の排他関係(重なりの禁止)を簡潔に表現できます。船や倉庫等の空間に、形の異なる荷物を効率よく詰め、無駄な隙間を極力減らすことにも役立ちます。

巡回制約

cycle制約
CHIP:手法   CHIP:手法

cycle制約は、船舶、鉄道、トラック、飛行機などの輸送問題を表現することが出来ます。また、事故や災害が発生した場合の代替手段や復旧ダイヤの計算にも応用できます。

平準化制約

among制約
CHIP:手法   CHIP:手法

among制約は、平準化条件を表現することができます。例えば勤務シフトの負荷分散や、生産順序の平準化条件を表現することができます。

このページの先頭へ