一般而言，约束满足问题是NP完全的。
In general, constraint satisfaction problems are NP-Complete.
约束传播算法是求解约束满足问题的一种重要方法。
Constraint propagation is a method for solving constraint satisfaction problem (CSP).
论文提出采用约束满足的方式作为解决企业集成过程中冲突的消解方式。
The paper proposes that constraints satisfaction method can be used as a conflict resolution approach in the process of enterprise integration.
采用约束满足问题模型建立全局调度系统模型，设计了全局调度模块结构。
Based on constraint satisfaction problems model a global scheduling module structure is designed.
另一个困难是如何有效地计算目标满意度和约束满足度表达式中的多重积分。
Another problem is how to calculate the multiple integration in the expression of the satisfactory degrees of objective and constraint.
将本软件稍作扩展即可用于城市规划、公交车路径安排等多种约束满足问题。
Some of this software can be extended for city planning, public transportation vehicles and other arrangements path constraint satisfaction problems.
给出板坯排序问题的约束满足模型，设计了基于约束满足和启发式混合求解算法。
A constraint satisfaction model is given. A hybrid solving algorithm is designed based on constraint satisfaction and heuristics node exchange algorithm.
本文分析了灵巧卫星调度问题的约束条件，建立了灵巧卫星调度的约束满足模型。
The basic constraints for the scheduling problem of agile satellites were analyzed, and then a constraint satisfaction model was established.
在频谱干扰严重的情况下，采用公平约束满足算子的ICS算法能显著提高网络的公平性；
Especially when the spectrum conflict is severe, the fairness reward is efficiently improved by using the ICS with FCSO.
约束修正是卫星成像调度的重要组成部分，负责处理成像调度方案的约束满足与优化的问题。
Constraint modification is the important part of imaging scheduling of earth observing satellite, it solves the problem of constraint satisfaction and optimization of the imaging scheduling.
将热轧批量计划问题作为一个约束满足问题处理，建立不确定计划数的VRPSTW约束满足模型。
The hot-rolling batch planning problem is treated as a constraint satisfaction problem. A VRPSTW constraint satisfaction model with uncertain rolling plan number is established.
为了寻找系统的当前状态，根据系统模型内部的状态转换，讨论了模型的状态追踪问题和优化约束满足问题。
Based on the state transitions inside the system model and the current system states, the state tracking problem and the optimized constraint satisfaction problem are discussed.
首先采用贝叶斯信仰网络对影响软件可信性的风险进行了分析；其次，建立了基于约束满足的风险控制模型。
Firstly, used the Bayesian belief networks(BBN), the risks which had influenced the reliability of soft were analyzed.
基于约束的测试技术改善了测试数据的质量，但是在处理约束满足问题时不仅效率低下，而且不易产生合的解。
The constraint-based testing technique improved the test data quality but with a low solving efficiency for the constraint satisfaction problem and is not easy to find a suitable solution.
根据夜间运动车辆识别中存在的无法提取有效的车辆特征，提出了一种改进后的模糊约束满足的夜间运动车辆分类方法。
According to vehicle characteristics can not be extracted at night, a vehicle classification method based on improved fuzzy constraint satisfaction approach is proposed.
文中给出了高层概念的操作知识表示模型，提出了基于约束对象状态映射和操作规程约束满足的条件下设备操作仿真技术。
Based on the application characteristics, the definition, conception, set, and the restraints of the objects on UCard are presented, and the object restriction chart is given.
分布式约束满足问题最新研究进展表明：今后的工作将着重于面向现实问题求解的理论研究，为实际应用提供坚实的理论基础。
Recent related work indicates that the future work will focus on the theoretical research to present the solid theoretical foundation for the practical problems.
同样，实例化泛型类的客户机类必须使用满足对构造函数存在所声明的约束的类来这样做。
Also, client classes that instantiate our generic class must do so with classes that meet the declared constraint on what constructors exist.
数据即使满足它原来的存储库和应用程序的规则和约束，也不一定能够满足企业级的需求。
Data which meets the rules and constraints of its original repository and application may not satisfy requirements on an enterprise level.
数据即使满足它原来的存储库和应用程序的规则和约束，也不一定能够满足企业级的需求。
Data which meets the rules and constraints of its original repository and application may not satisfy requirements on an enterprise level...
所有DOC_ID都是惟一的，以满足外键约束。
为满足这两条约束，采用一定的策略是很重要的。
The mental and digital bookkeeping required to satisfy these two constraints can be significant.
这个主体是作为J2EE上下文来建立的，所以我们可以确保在服务实现中定义的安全性约束在分派组件之前得到满足。
The principal is established as the J2EE context so that we can ensure that the security constraints that are defined on the service implementation are met before dispatching the component.
如果对目标表定义了冲突，冲突表与诊断表将保留没有满足约束的行。
If the target table has violations defined, the violation table and diagnostic table hold the non-conforming rows that fail to satisfy constraints.
要使目的成为一种有效的权威约束，必须满足几个条件。
Several conditions must be satisfied if purpose is to be an effective sanction of authority.
然而，通常还会出现的案例是，当应用打包应用软件时，有必要去满足打包应用软件所带来的约束。
However, it is also frequently the case that, when adopting a packaged application, it becomes necessary to accommodate any constraints the application imposes.
如果未满足系统的时间约束，则认为系统失效。
If the timing constraints of the system are not met, system failure is said to have occurred.
用户数据约束(user data constraint)满足了受限的请求应该经由受防护的传输层链接进行传输的需求。
A user data constraint establishes a requirement that the constrained requests be received over a protected transport layer connection.
根据JVM规范，当满足以下四个条件时，就违反了类装入器约束。
According to the JVM specification, a class loader constraint is violated when the following four conditions hold.
通过从这一约束条件划分子类，RelevantResource类成为一种包含一个所有满足该约束条件资源集合的虚拟类。
By its subclassing from this restriction, the RelevantResource class is a sort of virtual class that includes a set of all resources that meet the restriction.
应用推荐