查询词典 predicate

Throws : If cloner throws or predicate copy assignment throws.

抛出： 如果 cloner 抛出或谓词复制赋值操作抛出。

"People" is a collective noun. It is singular in form, but takes a plural predicate verb.

"People"是一个集合名词，尽管形式上是单数，它必须与复数的谓语动词连用。

These policies were predicate d by Britain's decision to join the Common Market.

这些政策的制定是以英国决定加入共同市场为依据的。

And based on traditional graph coloring register allocation,a new algorithm to construct unified and simplified interference graph utilizing complementary predicate is presented,which can reduce spill code.

最后在YHFT-DSP/700芯片的编译器上对所提优化方法的有效性进行了验证。1引言指令级并行(ILP，Instruction Level Parallelism)一直以来都是编译领域的一个研究热点。

In trying to ground our right to predicate the concept red of a and b, we are driven back to facts about a and b themselves and that leaves Conceptualism as an unstable position.

在试图对'给a和b述谓红概念'给出基础时，我们被驱使回到关于a和b本身的事实上，把概念论留作为不稳固的立场。

First design a reasonable XML Schema structure and under the restriction of XML Schema use XML to describe the UML class diagram and the related specification, and then extract the test specification of method from XML test script. Test specification refers to predicate sequences in the form of conjunctive normal form, extracted from basic constraint conditions of variables included in test scripts and expected outputs. Each conjunctive normal form can be transformed to an inequation set, and adopt 1×1 domain test strategy to every inequation set to produce the domain test matrix, which in turn produce the test case.

首先设计合理的XML Schema结构，并在该XML Schema的有效性约束下，用XML对UML类图及相关性约束进行脚本描述；其次对XML测试脚本进行分析，提取方法的测试规约说明，所谓测试规约说明就是从测试脚本中包含的变量的基本约束条件以及期望输出中抽取得到的以合取范式形式存在的谓词序列；每一合取范式对应一个不等式组，对每一个不等式组采用1×1域测试策略，生成域测试矩阵，最终得到测试用例。

In the refutation tree of predicate calculus, the proved conjunctive formula.

在谓词演算的反驳树中，被证明的合式公式。

The LCS, predicate-argument structure, and the surface structure of double object construction and dative construction show that the later focuses on the act itself with no reference to the consequent results, while the former emphasizes the result. Thus the alternation between them is constrained by the meaning shift of the same verb.

从双宾结构和与格结构的词汇概念结构、谓词论元结构及表层结构来看，与格结构强调的是动作，而双宾结构强调的是动作所产生的结果，二者之间的转换受词汇语界的限制，因为双宾语句中的动词蕴涵与之相对应的与格结构中的动词。

The High-level Petri Net Graph is derived from the Predicate/Transition Net by the way of folding, that is, decreasing the number of the graph elements and increasing the information carried by a graph element.

高级Petri网图形是对库所／变迁网图形的折迭，具体方法是减少图元数量而增加图元信息。

It is the mark of substances and of differentiae that, in all propositions of which they form the predicate, they are predicated univocally.

本体和属差的标志是，在所有它们形成宾语的命题中，它们表述的意义都是单一的。

Neither the killing of Mr Zarqawi nor any breakthrough on the political front will stop the insurgency and the fratricidal murders in their tracks.

在对危险的南部地区访问时，他斥责什叶派民兵领导人对中央集权的挑衅行为。

In fact,I've got him on the satellite mobile right now.

实际上 我们已接通卫星可视电话了