查询词典 restricted predicate calculus

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域测试策略，生成域测试矩阵，最终得到测试用例。

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 ".

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

Any logic which uses the existential quantifier or the universal quantifier is said to be a predicate logic.

任何逻辑使用存在量词或全称量词是说是一个谓词逻辑。

Guided by the theories of exocentric-endocentric construction and decategorization of nouns, the main purpose of this article is to study the phrases which are composed by nouns or centered by noun or nouns but not belonged to the category of endocentric constructions in modern Chinese. These noun-centered exocentric constructions have almost lost all of the categorial characteristics of nouns and played the roles of predicate or adverbial modifier or complement in Chinese clauses.

本文主要结合离心结构、向心结构理论和名词非范畴化理论；研究现代汉语中以名词构成或者以名词为核心的、结构上又不属于向心结构的短语，这些名核离心结构短语在语法功能上基本丧失了名词的范畴属性，在句子中一般充当谓语、状语或者补语。

But GST= 0.156, Nm=1. 588. As a result, the foundation of Youyongchi Avicennia marina population was the result of the migration of hypocotyles and human factors.

这项工作可以为海岸防护林中新引进种类的判定以及为研究种群建立者效应方法的确定提供科学依据。

The two-dimensional CDRC-ADI-FDTD update equations for collision unmagnetized plasma are induced. The unconditional stability of the CDRC-ADI-FDTD formulation for collision unmagnetized plasma is obtained by the examples.

推导了碰撞非磁化等离子体中的二维CDRC-ADI-FDTD迭代公式，并用算例验证了碰撞非磁化等离子体CDRC-ADI-FDTD算法也是无条件稳定的。