查询词典 constraints

A sufficient condition for indentifying redundant subgoals based on the integrity constraints is given and an accompanying algorithm for detecting and eliminating the redundant subgoals in a rule is provided.

本文提出了一个判定规则中基于包含约束条件的多余子目标的充分条件，并提出了建立在该判定条件之上的语义查询优化方法。

The Requirements subclauses may describe names that are used to specify constraints on template arguments.

需求条款可以说明用于限制模板参数的名字。

Politicians, I suspect, will demand tough constraints on what more than one has called "the spivs and speculators" who have been short-selling bank shares.

不止一个人把那些一直在卖空银行类股票的家伙称为&投机倒把分子&，我猜想，政客们将会要求对这些人严加约束。

We also present some principles on designing and implementing constraints solvers of the involved domains.

文中还就如何设计与实现各域上的约束求解器提出了若干原则。

Examples of open-shop problem include health examination and the operation of car maintenance. Scheduling problem with no-wait constraints occur in many industries. For instance, in hot metal rolling industries, where the heated metal has to undergo a series of operations at continuously high temperatures before it is cooled in order to prevent defects.

生产过程中的排序往往受到产品生产的特性或者生产技术的限制，所以会产生不同的约束情况，例如：无等待时间是化学、石油工业和冶金工业的特色；阻塞指的是缓存能力受到限制或者没有缓存的情况，最常见的是利用机器人进行夹取工件的作业。

The spacing between neighboring spacers in the panel, length and width of spacers are taken as design variables, while objective function is defined in terms of prescribed constraints on structural response, i. e., the stress and displacement of panel. The finite element method analysis code ANSYS is used here for structural analysis.

以支撑墙相邻间距、支撑墙的长度和宽度作为优化设计参数，预先设定的面板应力以及应变值作为目标函数，利用ANSYS有限元分析软件进行结构分析，其最佳分析结果变形值为0.487×10^(-5)m，应力值为0.167×10^7Pa。

The focus of concern is the two major linguistic constraints on the simple past marking, phonetic saliency and lexical aspect.

本研究提供了了解英语时体习得过程的两个视角：一般过去时标记的词形曲折变化特点和动词本身具有的内在时间含义对习得一般过去时标记的影响。

To improve the accuracy of cabin crew scheduling, we present a new solution model that integrates the crew pairing problem and the crew rostering problem into one stage, conducts the scheduling by leg, and searches for the global optimal solution. Referring to the objectives and constraints of Taiwan's airline business, we decide the levels of parameters via the design of experiment and then apply the genetic algorithm to solve the concerned problems.

过去受限於电脑速慢与空服员排班问题复杂性，传统上分成组员勤务组合产生与组员指派阶段求解空服员排班问题，导致人员指派效果佳，且因短程航线问题特性造成排班单位过大，指派，因此本研究考台湾航空业实务运作之限制，将组员勤务组合产生与组员指派阶段整合为一阶段求解，建一个以「航段」为排班基础之最佳空服员排班整合模式，以提升排班接续性和人员用。

In this paper, we improve FEAS algorithm that exhibits high time complexity to decrease the running time. Then we propose a retiming algorithm by which we can reduce the number of period constraints.

本文针对目前重定时算法的时间复杂度较大的弱点，对FEAS算法进行了改进，提高了算法的运行速度。

In addition, the potential advantages and constraints of using a dual-hypothesis testing strategy were discussed, as well as its relation with the reasoners' working memory. In Experiment 2, a group of university students were instructed on the limited dual-hypothesis testing developed by the researchers. Their performance in the rule-discovery task significantly improved when compared with the contrast group.c

我们讨论采用双假设测试法的可能优势并考虑工作记忆资源的限制，据此我们指导另一组大学生采用一种「有限的双假设测试策略」，结果一般大学生在假设检验推理作业上的成功率由26.7%大幅提升至81.8%。

On the other hand, the more important thing is because the urban housing is a kind of heterogeneity products.

另一方面，更重要的是由于城市住房是一种异质性产品。

Climate histogram is the fall that collects place measure calm value, cent serves as cross axle for a few equal interval, the area that the frequency that the value appears according to place is accumulated and becomes will be determined inside each interval, discharge the graph that rise with post, also be called histogram.

气候直方图是将所收集的降水量测定值，分为几个相等的区间作为横轴，并将各区间内所测定值依所出现的次数累积而成的面积，用柱子排起来的图形，也叫做柱状图。