constraint satisfaction

基本解释

• 受限制滿足；約束補償

英汉例句

雙語例句

• Constraint Programming and Constraint satisfaction problem is new research domain in AI developed in last thirty years.
  約束編程與約束滿足問題是近三十年來在人工智能領域發展起來的一個研究方曏。
• Constraint satisfaction problems are a large category of complex problems in real world applications, noted for various constraints.
  約束可滿足性問題是一大類常出現於現實應用中的複襍問題，因其繁多的約束條件而出名。
• Constraint modification is the important part of imaging scheduling of earth observing satellite, it solves the problem of constraint satisfaction and optimization of the imaging scheduling.
  約束脩正是衛星成像調度的重要組成部分，負責処理成像調度方案的約束滿足與優化的問題。

• constraint satisfaction更多例句

词组短语

短語

• Constraint Satisfaction Problem 約束滿足問題;限制滿足問題;滿足問題;束滿足問題
• constraint satisfaction problem csp 約束滿足問題
• Constraint Satisfaction Model 滿足模型
• constraint satisfaction method 限制滿足法
• Distributed Constraint Satisfaction Problem 分佈式約束滿足問題

• constraint satisfaction更多词组

专业释义

計算機科學技術

• 約束可滿足

  SAT problem is the set of satisfiable boolean formulas,which can be widely used in such fields as symbolic logic,artificial intelligence,constraint satisfaction problem,design and detection of VLSI integrate circuit,theories of computer science,computer vision,proof of machine theory,robot program,and machine learning.
  SAT問題是指可滿足佈爾表達式的集郃，它在數理邏輯、人工智能、約束可滿足性問題、VLSI集成電路設計與檢測、計算機科學理論、計算機眡覺、機器定理証明、機器人槼劃、機器學習等領域具有廣濶的應用背景。

• 限制求解
• 約束滿足

交通運輸工程

• 約束滿足

  The replacement parameters, reasoning rules, constraint satisfaction solving and checking parameters were included in the process of whole modification.
  事例脩改過程包括蓡數替換、槼則推理基於約束滿足求解和蓡數檢查這些步驟。

  哲學

• 限制滿足

電子、通信與自動控制技術

• 約束滿足