它包含一些值，与实例或线程一一对应，在归约操作中使用。
This contains a set of values, one per instance per thread, for use in reduction operations.
归约操作一旦完成，就可以对这些值进行枚举来生成最终结果。
Once the reduction operation is complete, the values can be enumerated over to generate the final result.
犹大胜过一切弟兄，君王也是从他而出。长子的名分却归约瑟。
For Judah prevailed above his brethren, and of him came the chief ruler; but the birthright was Joseph's.
犹大胜过一切弟兄，君王也是从他而出。长子的名分却归约瑟。
2 and though Judah was the strongest of his brothers and a ruler came from him, the rights of the firstborn belonged to Joseph.
两个方案都能达到安全归约紧致的要求。
可能设想一个世界，其中可归约性公理是无效的。
It is possible to imagine a world in which the axiom of reducibility is not valid.
讨论数据清理、数据集成和变换、数据归约的方法。
Methods of data cleaning, data integration and transformation, and data reduction are discussed.
分析了基于粗糙集理论的装配知识发现中属性归约的过程。
The process of attribute reduction is analyzed in assembly knowledge discovery based on rough set.
本文应用人工智能原理中的问题归约技术设计了一种专家控制器。
In this paper, the problem reduction technique from among the artificial intelligent principles has been originally applied to designing expert controller.
本文介绍了并行图归约（PGR）机中智能存储系统的设计方案。
This paper presents a design of an intelligent memory system (IMS) for our Parallel Graph Reduction (PGR) machine.
文中提出用问题归约策略与基于范例推理结合的方法解决这个问题。
In this paper, a method is proposed that combines the strategy of problem reduction with case-based reasoning to give necessary flexibility to TSP.
给出了基于语言加权集结(LWA)算子和节点归约的发言节点评价方法。
A method of evaluating utterance nodes based on Language Weighted Aggregation (LWA) operator and node reduction was proposed.
由于所有的节点分别对分割后数据进行运算，所以可减少归约处理的时间。
Since all the nodes execute operation for divided data respectively, reduction processing time can be decreased.
在传统算符优先归约算法的基础上，提出了扩展的、基于对象的算符优先算法。
Extended object-based operator precedence algorithm was proposed on the basis of traditional operator precedence algorithm.
文章设计了一种新的归约审计模型，其核心是基于关联特征分析的审计踪迹归约。
A new audit reduction model is presented in this paper to solve this problem. The main idea of the new model is reduction based on the analysis of associated features between audit trails.
在面向属性归纳(AOG)的数据挖掘中，属性归约及概念归纳都离不开概念层次。
In data mining with Attribute-Oriented generalization (AOG), attribute reduction and concept generalization can not part from concept hierarchy.
本文介绍用于识别手写印刷体汉字的二维扩展属性文法方法中文法归约阶段的工作。
The work on grammar reductions in Two-Dimensional Extended Attribute Grammars is presented for the recognition of hand-printed Chinese characters.
针对中药方剂功效归纳问题，提出了一种基于人工神经网络新的高维数据归约方法。
A novel reduction method of high dimensions based on artificial neural network was proposed for the effect reduction of Chinese traditional medicine prescription.
给出了此问题的形式化描述，并将问题归约为一种关于多边形运动规划的等价形式。
Firstly a formal description of the problem is proposed, and then the problem is transformed into one kind of equivalent form about polygon motion planning.
移位/归约冲突最著名的例子是C中的“danglingelse”的歧义性。
The most well-known example of a shift/reduce conflict is the "dangling else" ambiguity in C.
如果已经成功地归约了start规则(在这个例子中即file)，那么可以认为解析是成功的。
If the start rule (in this case, file) has successfully reduced, the parse is considered successful.
本文引入图的自然同态概念，并据此给出对信息图进行归约和保持信息处理能力的方法。
In this paper, the concept of natural homomorphism for graph is presented. Furthermore, the method of reducing information graph and keeping the capability of processing information is given.
或许偶而有README文件会提及“移位/归约（shift/reduce）”冲突。
Maybe an occasional README file refers to "shift/reduce" conflicts.
多项式模归约算法是计算机代数中的基本问题之一，在编码算法和密码体制设计中有着广泛应用。
Polynomial modulo reduction algorithms are one of the fundamental issues of computer algebra, and widely used in coding algorithms and cryptographic system design.
在对工作流网模型的性质分析方面，提出了网系统的归约规则，将复杂的网系统归约化简后再进行分析。
As for the aspect of quality analysis for workflow net model, it proposes to simplify the complex net system by using some rules before the analysis.
当解释的论域是一个固定大小的有限集合时，一阶逻辑公式的可满足性问题可以等价地归约为SAT 问题。
When the domain of interpretation is finite and its size is a fixed positive integer, the satisfiability problem in the first-order logic can be reduced to SAT.
详细论述了对基于有向有环图（DCG图）的工作流模型结构正确性进行验证的图归约法及其五种归约规则。
A graph reduction method with 5 rules for the structural correctness verification of DCG based workflow models is presented in this paper.
SPIN在应用过程中同样面临状态空间爆炸问题，它采用偏序归约策略来减少状态空间中需要遍历及存储的状态数目。
SPIN adopts the partial order reduction strategy to reduce the number of system states that needs to be visited and stored in the state space to solve the model checking problem.
SPIN在应用过程中同样面临状态空间爆炸问题，它采用偏序归约策略来减少状态空间中需要遍历及存储的状态数目。
SPIN adopts the partial order reduction strategy to reduce the number of system states that needs to be visited and stored in the state space to solve the model checking problem.
应用推荐