satisfiability中文是什么意思

发音:

中文翻译
造句

可满足性

boolean satisfiability problem 布尔可满足性问题; 布尔可足性
satisfiable adj. 1.可使满足[满意]的。 2.能偿还[赔偿]的。
satisfactory weld 合格焊件
satisficer 满足者
satisfactory stall 良好失速特性
satisficing 满意度
satisfactory solution 满意解
satisficing decision model 满意决策模型
satisfactory result 满意效果
satisficing model 满意解决模型
satisfactory quality 满意质量

"查查词典"手机版

千万人都在用的超大词汇词典翻译APP

例句与用法

The theory and applications of satisfiability testing , 6th int . conf . ,
实验结果表明,这种基于sat的方法是高效的
Possibility - satisfiability analysis of urban rational scale of population - take jinan as an example
特大型矿井持续开采的合理规模分析
Study of rational mining capacity in super - huge coal mine based on possibility - satisfiability method
满意度方法的特大型矿井开采规模研究
Building and application of the currency crisis warning system based on possibility - satisfiability method
浅论高职学生自主学习英语能力的培养
A consistency improving method based on possibility - satisfiability degree and weighted geometric mean
一种基于可能满意度与加权几何平均的一致性改进方法
It can be used to validate the unsatisfiability and satisfiability of propositional logic formulae quickly
这种方法可以对逻辑公式的原始形态直接进行计算，无需化简。
35 ian horrocks , peter f patel - schneider . reducing owl entailment to description logic satisfiability . in proc
该方法支持静态知识,动态过程和运行机制的有效的表示和推理。
International conference on theory and applications of satisfiability testing sat 05 , lncs 3569 , springer - verlag , st . andrews , uk , 2005 , pp . 408 - 414
因此如果能够把模型检测规约到qbf的满足性的判定上，将是解决状态爆炸问题一个非常有效的方法。
The definitions of syntax structure , semantic interpretation , knowledge base form and reasoning problems based on satisfiability are given for the extended fuzzy description logic
定义了扩展模糊描述逻辑的语法结构、语义解释、知识库形式以及基于可满足性的推理问题。
Of the principal . and we show analytically and empirically that this model can be easily reduced to satisfiability problem and efficiently implemented by a modern sat solver
然而,他们不是在协议本身上进行分析,而是需要用户对协议理想化idealizations的结果上进行分析,而这种所谓的理想化过程无法直接转化为算法

更多例句： 1 2

百科解释

In mathematical logic, satisfiability and validity are elementary concepts of semantics. A formula is satisfiable if it is possible to find an interpretation (model) that makes the formula true.

详细百科解释