公式的可满足性是其相应断言的意义集不空。
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.
对可满足性求解器算法进行比较,从中选择了效率较高且适用于全解求解器的算法。
It compared several algorithms of SAT solvers and selected the algorithm with higher efficiency and better suitability for all-solution SAT solver.
定义了扩展模糊描述逻辑的语法结构、语义解释、知识库形式以及基于可满足性的推理问题。
The definitions of syntax structure, semantic interpretation, knowledge base form and reasoning problems based on satisfiability are given for the extended fuzzy description logic.
布尔可满足性是计算机科学中最基础的问题之一,已经出现了包括著名的基于查找的SAT算法在内的各种算法。
The Boolean Satisfiability is one of the most fundamental problems in computer science and a variety of algorithms-including the well-known search-based SAT algorithms-have been proposed.
它有效地结合了基于布尔可满足性、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.
将串行动态二表算法应用于并行三表算法的设计中,提出一种求解背包、精确的可满足性和集覆盖等背包类NP完全问题的并行三表六子表算法。
A general-purpose parallel three-list six-table algorithm that can solve a number of knapsack-like NP-complete problems is developed in this paper.
通过集成可复用资产来应对风险(满足服务水平协议(SLAs),解决方案复杂性等)。
Address risks with integrating with a reusable asset (meeting service level agreements (SLAs), solution complexity, etc.)
他们将使用这些信息来确定系统是否满足响应和可伸缩性标准,并且确定系统扩展的程度。
They will use this information to determine if the system meets the response and scalability criteria and determine how well the system scales.
与负载有关的问题可以在几个地方发现:验证能力是否满足响应和可伸缩性标准、确定扩展因素以及搜索潜在的错误。
Load related problems can be found in several areas: validation of ability to meet response and scalability criteria, determination of scaling factors, and the search for latent bugs.
由于每个客户所做的业务可能各不相同,所以nms必须具备高度可适用性的配置机制和用户界面以满足客户的各种需求。
Because each of these customers may do business differently, an NMS must have a highly adaptable configuration mechanism and user interface to satisfy the diverse needs of its customers.
除了对灵活性和可扩展性的要求外,此方法还能满足一些功能性的需求。
Beyond the requirements for flexibility and scalability, there are also functional requirements that can be fulfilled with this approach.
云端的一个关键特色是它能够通过增减计算能力来满足变化的需求,提供有弹性的可伸缩性。
A key characteristic of the cloud is its ability to offer elastic scalability by easily increasing or decreasing compute power to meet changing demand.
现在必须满足服务的非功能需求,而这通常会涉及可伸缩性和性能问题。
The non-functional requirements for the service must now be satisfied and this typically involves scalability and performance issues.
DS8700凭借其可伸缩性、新的存储层优化以及广泛的服务器支持可以满足最为关键的业务应用程序的需求。
DS8700 can meet the needs of the most critical business applications with its scalability, new storage tier optimization, and broad server support.
在实际的实现中,始终要选择可满足业务需求的最具限制性的过滤,从完全限定的DN开始,然后再从此返回。
In an actual implementation, you should always choose the most restrictive filter that meets the business requirement, starting with a fully-qualified DN and working back from there.
今天有许多可以使用的PHP开发框架,因此开发者肯定能找到一款满足他们在特性,支持,速度,可测度性等等方面的需求的框架。
There are many PHP frameworks available today, and thus developers are sure to find a framework that fits there needs in terms of features, support, speed, scalability and more.
此时,满足迁移要求和更高的工作负载以及故障转移功能的可伸缩性是需要考虑的主要问题。
At this point, scalability to meet shifting demand and higher workloads and fail-over capability are the primary considerations.
然后,设计、测试、再测试,以确保性能、可伸缩性及互操作性需求得到了满足。
Then design, test, and retest to confirm that your performance, scalability and interoperability requirements are met.
通过使用此类模型,可以对应用程序和体系结构模式进行应用,以满足性能、可伸缩性等相关的非功能需求。
Using such a model, application and architectural patterns can be applied to satisfy the relevant non-functional requirements for performance, scalability and the like.
我们不会花很多的时间对日历对象进行基准检验,但是您可以认为该日历对象可以满足一些可重用性的需求。
We won't spend a lot of time benchmarking a calendar object, but you can appreciate that the calendar object satisfies several reusability requirements.
它还能够满足安全性、可伸缩性、标准和容错等基本的非功能性需求。
It also covers the essential non-functional requirements like security, scalability, standards, and fault tolerance.
它还能够满足安全性、可伸缩性、标准和容错等基本的非功能性需求。
It also covers the essential non-functional requirements like security, scalability, standards, and fault tolerance.
应用推荐