satisfiable

satisfiable

satisfiable,英語單詞,主要用作形容詞,作形容詞時譯為“可以滿足的;可使滿足的”。

基本介紹

  • 外文名:satisfiable
  • 詞性:形容詞
  • 英式發音:['sætisfaiəbl]
  • 釋義:可以滿足的;可使滿足的
短語搭配,雙語例句,

短語搭配

Satisfiable Formulas 可滿足公式
satisfiable problem 滿足問題
satisfiable formula[數] 可滿足公式
satisfiable assignment operator 可滿足賦值運算元
satisfiable propositional formula 命題可滿足公式
Range Not Satisfiable 的範圍不合適
Request Range Not Satisfiable 請求的範圍無效或無法滿足
Requested Range not satisfiable 所請求的範圍無法滿足 ; 不滿足 ; 範圍不符合要求 ; 請求範圍不符合
maximal satisfiable subformula 極大可滿足子式

雙語例句

Let's assume the problem is satisfiable.讓我們假定這個問題是可滿足的。
What does it tell you about the satisfying assignments in the original CNF if the resulting CNF is now not satisfiable?它是什麼如果得到的CNF現在告訴你們關於滿足作業在原有的CNF不滿足?
It was shown that the detail construction of turbulence in rocket can be predicted by LES, and the time-averaged method also can give the result with satisfiable engineering precision.結果表明:大渦模擬技術可以得到發動機內湍流流場中詳細擬序結構,時均湍流模擬對於火箭發動機內流場時均量的模擬仍有較好的工程精度。

相關詞條

熱門詞條

聯絡我們