1) satisfaction criterion
满足性标准
2) goal satisfaction
目标满足
3) satisfiability
[,sætisfaiə'biliti]
可满足性
1.
RTL hybrid satisfiability solving methods are classified into two categories:One is based on SMT(Satisfiability Modulo Theories),and the other is based on circuit structure searching.
RTL混合可满足性求解方法分为基于可满足性模理论(SMT)和基于电路结构搜索两大类。
2.
Two heuristic strategies for solving satisfiability (SAT) problem were presented.
提出了两个用于求解可满足性 (SAT)问题的启发式策略。
3.
The key reasoning tasks of the semantic Web can be reduced to deciding the satisfiability of formulas.
语义网的关键推理问题可以化为公式的可满足性判定问题。
4) satisfy one's desires
满足性欲.
5) function support
性能满足度
补充资料：德国国家标准(见德国标准化学会、德国标准体系)
德国国家标准(见德国标准化学会、德国标准体系)
National Standards of Germany: see Deutsches Institut für Normung, DIN;standards system of Germany
Oeguo Guol心日icozhun德国国家标准(Natio.吐S加Ln山切曲of Gen”旧ny)见德国标准化学会;德国标准体系。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条