效用的不满足性不再维持。
公式的可满足性是其相应断言的意义集不空。
Satisfibility of the logical formula is that meaning set corresponding to it is not empty.
子句集的可满足性判定是自动证明领域的热点之一。
Deciding satisfiability of clause set is one of the active research topics in the automated reasoning field.
RTL混合可满足性求解是RTL验证中的关键技术。
RTL hybrid satisfiability solving is the key technique of RTL verification.
语义网的关键推理问题可以化为公式的可满足性判定问题。
The key reasoning tasks of the semantic Web can be reduced to deciding the satisfiability of formulas.
提出了两个用于求解可满足性(SAT)问题的启发式策略。
Two heuristic strategies for solving satisfiability (sat) problem were presented.
定理证明中通常的想法是通过推出空子句的方法来判定子句集的可满足性。
The traditional idea used in TP is to try to deduce the empty clause to check satisfiability.
为了提高可满足性求解器的效率，提出了一种利用电路可观无关性的方法。
To improve the efficiency of SAT solver, a new method using observability don't CARES is presented.
改名规则在创建有效的满足性算法和简化某些消解难例的证明中起到了重要作用。
The renamings has played a significant role in simplifying resolution proofs of some hard formulas and constructing the efficient satisfiability algorithms.
而综合性限制方案虽然部分地解决了确证灾难，但它又与确证的满足性标准相冲突。
I also hold that the syntheticity restriction strategy is incompatible with the satisfaction criterion of Hempelian qualitative confirmation.
对可满足性求解器算法进行比较，从中选择了效率较高且适用于全解求解器的算法。
It compared several algorithms of SAT solvers and selected the algorithm with higher efficiency and better suitability for all-solution SAT solver.
以组合电路的满足性测试生成算法为基础，提出了控制输入跟踪算法和测试衍生算法。
The paper proposes controlling input values tracing algorithm and test derivation algorithm based on test pattern generation using satisfiability.
定义了扩展模糊描述逻辑的语法结构、语义解释、知识库形式以及基于可满足性的推理问题。
The definitions of syntax structure, semantic interpretation, knowledge base form and reasoning problems based on satisfiability are given for the extended fuzzy description logic.
讨论了关系数据库的空值与数据依赖满足性变换算法，并给出了有关的定义、规则、定理与变换算法。
The commutation algorithm toward null value for data dependent on satisfactory conditions in relational database is discussed and the related definitions, rules and theorems are put forward.
针对最小不可满足子式的求解问题，提出并证明了布尔公式最小不可满足性与极大可满足性之间的关系。
Based on the relationship, a compounded greedy genetic algorithm and an ant colony algorithm are proposed to derive a minimum unsatisfiable subformula.
它有效地结合了基于布尔可满足性、BDD和结构等方法各自的优点，可以有效地解决局部信号赋值之间的关联性。
This heuristics dovetail the respective strengths of BDD and SAT and circuit structure based methods to solve local signal correlations.
描述逻辑系统可以提供一些典型的推理服务，例如，概念分类、概念的可满足性、概念的实现和知识的一致性检测等。
Description logic system offer a set of typical inference services, such as the classification, satisfaction and realization of concept, knowledge consistency checking, etc.
描述逻辑系统可以提供一些典型的推理服务，例如，概念分类，概念的可满足性及概念的实现，知识的一致性检测等一系列的推理服务。
Description logics systems offer a set of typical inference services, such as concept's classification, satisfiability and realization, knowledge base consistency checking.
全球需求的不可预测性，以及为了满足需求而增加更多奶牛所需的滞后时间，可能会导致像近期奶酪过剩等事件的发生。
The unpredictability of global demand and the lag time it takes to add more cows to a herd to meet demand can result in events like the recent cheese surplus.
全球需求的不可预测性，以及为了满足需求而扩大牛群规模所花费的滞后时间，可能会导致最近的奶酪过剩等问题。
The unpredictability of global demand and the lag-time it takes to add more cows to a herd to meet demand can result in events like the recent cheese surplus.
这些关系的复杂性使得进口救济法律制度不太可能满足同一母公司下所有单位的战略需要。
The complexity of these relationships makes it unlikely that a system of import relief laws will meet the strategic needs of all the units under the same parent company.
4-H俱乐部的成员同意跟进这个项目直到完成，他们能从建设性的工作成果中得到满足。
Members of the 4-H club agreed to follow the project through to completion, because they receive satisfaction from the results of constructive work.
孩子们通常想要向其他人，包括他们的父母，发泄攻击性的冲动，因为即使是最细心的父母也不能立即满足他们所有的要求。
Children normally desire to vent aggressive impulses on other people, including their parents, because even the most attentive parents cannot gratify all of their demands immediately.
在梅赛德斯，这意味着裁员、精简生产和满足消费者需求——对于这家一度认为自己已无法改善的公司来说，这是革命性的举措。
At Mercedes, cutting payrolls, streamlining production and opening up to consumer needs are revolutionary steps for a company that once considered itself beyond improvement.
对话流程满足的社会需求之一是人类对“同步”的需求——即保持“同步性”或相互协调性。
One of the social needs addressed by conversational flow is the human need for "synchrony"—to be "in sync" or in harmony with one another.
如果不满足基数性(例如，设置为强制，但是没用shortening服务)，那么组件是失效的。
If the cardinality can't be satisfied (for example, it is mandatory there is no shortening service), then the component is deactivated.
这个论点满足有效性的定义吗？，还是不满足？
Does this argument satisfy the definition of validity or does it not?
所以这满足了有效性的定义。
所以这满足了有效性的定义。
应用推荐