一般而言，约束满足问题是NP完全的。
In general, constraint satisfaction problems are NP-Complete.
约束传播算法是求解约束满足问题的一种重要方法。
Constraint propagation is a method for solving constraint satisfaction problem (CSP).
采用约束满足问题模型建立全局调度系统模型，设计了全局调度模块结构。
Based on constraint satisfaction problems model a global scheduling module structure is designed.
将本软件稍作扩展即可用于城市规划、公交车路径安排等多种约束满足问题。
Some of this software can be extended for city planning, public transportation vehicles and other arrangements path constraint satisfaction problems.
将热轧批量计划问题作为一个约束满足问题处理，建立不确定计划数的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.
基于约束的测试技术改善了测试数据的质量，但是在处理约束满足问题时不仅效率低下，而且不易产生合的解。
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.
分布式约束满足问题最新研究进展表明：今后的工作将着重于面向现实问题求解的理论研究，为实际应用提供坚实的理论基础。
Recent related work indicates that the future work will focus on the theoretical research to present the solid theoretical foundation for the practical problems.
特种变压器电磁参数的优化设计是一个带有等式和不等式约束，满足某种设计目标的非线性规划问题。
Optimization mathematical model of special transformer electromagnetism parameters is a nonlinear programming problem with equality and inequality constraints, to meet some certain design objective.
该算法采用矩阵编码方案，建立罚函数满足课表问题中的多重约束条件。
Matrix used as encoding of the algorithm, and a penalty function is adopted to satisfy the multi-constraint.
在满足流量约束的条件下，保证网络有足够的可靠度，是一个很重要的问题。
In the conditions of satisfying the flow constraint, ensuring the network having sufficient reliability is a very important problem.
在为机组组合问题编制算法的过程中，因需要满足错综复杂的约束条件，容易使程序结构混乱、逻辑判断出错，最终导致算法求解失败。
During the programming of the algorithm for the unit commitment problem, the complex constraints often lead the program to bad structure or wrong result.
若将加权阵当作设计参数，则控制系统的设计可以表示为一个满足一组不等式约束的多目标优化问题。
With the weighting function matrix as design parameters, the design of a control system can be expressed as a multi-objective optimization problem with inequation constraints.
遗传算法求解有约束组合优化问题是对目标函数在整个遗传空间中搜索满足约束条件的可行解。
GA to solve constrained optimization problem is searching the feasibility answers satisfied the constraint condition in the global genetic type space.
约束矩阵方程问题是指在满足一定约束条件下的矩阵集合中求矩阵方程的解的问题。
The problem of constrained matrix equation is to find solutions of matrix equations in a set of matrices satisfying some constrained conditions.
通过满足暂态电压安全约束的无功发电调节与切负荷总代价最小化问题，来表示暂态电压安全风险。
Transient voltage risk can be calculated by optimizing the total cost for generator adjustment and load shielding under restrictions of transient security.
解决约束优化问题的关键是如何平衡来自目标函数最优化与满足约束条件这两方面的压力。
It is a key to how to balance the pressure from between the optimization of objective function and the satisfaction of constraints.
约束矩阵方程问题是在满足一定约束条件的矩阵集合中求矩阵方程解的问题。
The constrained matrix equation problem is to find a solution for the matrix equation in a constrained matrix set.
由于该时序逻辑综合新方法在处理过程中要涉及解大型覆盖表的问题，为此提出满足压缩状态表约束关系的状态分配的简化算法。
This method, based on combinational logic minimization, proposes a new idea to proceed state assignment according to constrained. relation of compressed state table.
约束矩阵方程问题是指在满足一定约束条件下的矩阵集合中求矩阵方程的解的问题。
The constrained matrix equation problem is, in a constrained matrix set, finding a solution of the matrix equation.
论文就是基于这个问题，通过对构造的包含有多约束的算式的研究，确定了在什么情况下多约束能满足单调或反单调的条件。
In this paper, through the study on the formulas with multi-constraint , we determine the conditions under which the multi-constraint has the monotone or anti-monotone property.
在满足各种运行约束条件下，快速地恢复因战斗受损的负荷供电是一典型的非线性整数规划问题。
With all kinds of operation constraints, fast restoration of supply under battle damage is a typical nonlinear integer programming problem.
配电网络重构是在满足各种运行约束条件下，以网损最小或供电可靠性最高为目标，它是一个典型的非线性整数组合优化问题，常规的数学优化方法难以求解。
The purpose of distribution network reconfiguration is to obtain the minimum network loss and the maximum reliability while meeting all kinds of operational restrictions.
约束修正是卫星成像调度的重要组成部分，负责处理成像调度方案的约束满足与优化的问题。
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.
约束可满足性问题是一大类常出现于现实应用中的复杂问题，因其繁多的约束条件而出名。
Constraint satisfaction problems are a large category of complex problems in real world applications, noted for various constraints.
本文分析了灵巧卫星调度问题的约束条件，建立了灵巧卫星调度的约束满足模型。
The basic constraints for the scheduling problem of agile satellites were analyzed, and then a constraint satisfaction model was established.
针对这一问题，必须采取有效的约束条件和措施，使得长度变形小于1/40 000，从而满足铁路测量精度要求。
Therefore, some necessary restricted measures should be taken to make the projection length (deformation) less than 1/40 000 in order to meet the requirement of accuracy for railway surveying.
针对这一问题，必须采取有效的约束条件和措施，使得长度变形小于1/40 000，从而满足铁路测量精度要求。
Therefore, some necessary restricted measures should be taken to make the projection length (deformation) less than 1/40 000 in order to meet the requirement of accuracy for railway surveying.
应用推荐