查询词典 predicate variable

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.

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

Moreover, these bounds can be used to predicate the range of future risk if we know now state of the diffusion process.

这一结果可以用来预测未来的在险值的界，即如果知道现在的状态，我们可以给出将来时间的在险值的上下界。

The elementary event semantic and the causality between parent object and son object are expressed in a form of"subject-predicate-object"as "Parent Object Identity -Event Identity -Son Object Identity ".

用"父亲对象标识码-引起变化的事件标识码-变化后的儿子对象标识码"这样一个"主语-谓语-宾语"的形式表达最基本的事件语义和父子对象之间的因果关系。

A backer of an Afghan law that critics say legalizes marital rape has rejected the international outcry as foreign meddling.

饱受批评的一项法律的拥护者说合法化的婚内暴力不会受国际舆论的干涉。

Years ago, a ancient Egyptian fleet went to the Land of punt for seeking a kind of flavor named "myrrh", and aromatic plants which has dense exotic style for the queen Hatshepsut.

3500年前的一个古埃及的舰队到&彭特之地&寻找一种叫没药的香料。