QBF是SAT的泛化，它可以对状态空间较大的一致性规划问题求解。
QBF is a generalization of SAT, it can solve consistency planning with large state space.
最近，一些相当不错的文档编写人员加入我们的项目，他们积极主动地参与文档的结构规划、撰写和编辑工作，以保持文档的一致性和可读性。
More recently, we've had some really good documentation people join the project, and they've taken the lead in structuring, writing, and editing the documentation so that it's consistent and readable.
列文和莱顿发明的是一种被称作“一致性哈希”的数学规划，这可以从根本上提高进程的速度。
What Lewin and Leighton invented was a mathematical scheme called "consistent hashing" that radically sped up the process.
在一致性性质的基础上建立了区间数互补判断矩阵排序的非线性规划模型，算例分析表明该方法是有效可行的。
Based on the consistent propriety, nonlinear programming methods for priorities of interval number complementary judgment matrix which is illustrated by a numerical number are set up.
城市规划与公共政策在主体、客体和程序等方面具有一致性。
Urban planning and public policy have much consistency in subject, object and procedures, etc.
提出了三角模糊数一致性互补判断矩阵等概念，建立了一个线性目标规划模型。
Some concepts such as triangular fuzzy number consistent complementary judgement matrix, etc., are given and a linear objective programming model is established.
商业街功能选择是商业街规划的核心内容，其与消费需求的一致性是商业街成功的关键因素。
The functional selection of urban commercial street is the core of commercial street planning, and its correspondence with consumption demand is key successful factor.
一致性约束规格在求解带平衡约束的数学规划问题的算法中具有非常关键的作用。
Uniform constraint qualifications play a very important role in the algorithms for solving mathematical programs with equilibrium constraints.
本文分析了利用REA模式进行公司规划与会计信息系统规划一致性的可行性。
In this paper, a REA model was used to achieve the alignment of business planning and accounting information system planning.
本文分析了利用REA模式进行公司规划与会计信息系统规划一致性的可行性。
In this paper, a REA model was used to achieve the alignment of business planning and accounting information system planning.
应用推荐