1) predicate abstraction
谓词抽象
1.
SAT-based program predicate abstraction;
基于SAT的程序谓词抽象技术研究
2.
Algorithm of predicate abstraction for intermediate form of Java program
针对Java语言中间形式的谓词抽象算法
3.
This paper presents a survey of the latest developments in predicate abstraction.
谓词抽象是解决状态空间爆炸的最有效方法之一,近年来得到迅速发展。
2) abstract nouns
抽象名词
1.
One of the main distinctions is that Eng- lish language abounds in abstract nouns and expressions describing the nature and qualities of things and people.
英语语言使用大量的抽象名词和抽象表达来描述客观事物和现象的本质和特点。
2.
This paper,from the view of vocabulary,discusses the English-Chinese translation in business English,mainly including the translation of polysemy,layers of word meaning,single and plural nouns and abstract nouns.
文中从词汇的层面探讨商务英语的英汉翻译,主要包括一词多义、词义的层次、名词的单复数和抽象名词的翻译。
3.
After studying the abstract nouns in 130,000 words of literary works through the limited - method investigation, the author reached the following conclusions: A sub - classification of verb extracted from the abstract - noun - and - verb collocation; semantic shift in the various collocation patterns; semantic bias aroused from the semantic shift, etc.
抽象名词作为名词的一个大类,其语义搭配和语义偏移的规律与其他类名词不同。
3) abstract noun
抽象名词
1.
At the end of a ZUO(BE) phrase,there is often an abstract noun that serves as an object;at the end of a ZUO(DO) phrase,there is often a concrete noun that serves as an object.
一般如是实义动词应用"做"字,如果是当"作为、当作"讲时用"作"字;"作"字词组后面通常是抽象名词做宾语,"做"字后面则是具体名词作宾语;"做"字词组和它后面的名词构成动宾词组时,它的及物动词含义及语法功能特别明显,而"作"字的这一特征相对较弱。
2.
In most cases,the position N is occupied by abstract nouns of two syllables.
“没有N的N”可以作主语、宾语、定语,还可以独自成句、做文章的(小)标题,N大多为双音节的抽象名词。
3.
After analyzing the structure of "preposition + abstract noun" which modifies the verb of a sentence, the paper concludes that the function of preposition + abstract noun is equal to the function of an adverb in a sentence and the translation of this preposition + abstract noun phrase is similar to the translation of a single adverb.
作者主要对英语中"介词+抽象名词"这种结构进行了分析。
4) abstract word
抽象词
5) abstract vocabulary
抽象词汇
补充资料：递归谓词
递归谓词
recursive predicate
递归谓词[recur咖e predica.e;pe叮pc”Bnu益即e八”-KaT] 在自然数上定义的一个谓词(Predicate)p(x、，…，工。)，使得在自然数上由条件 fl，如果P(x、，一、x.)为真， I{X，.’‘.X_，=悦 to，如果尸(x，，…，x。)为假定义的函数f是一个递归函数(recursive灿Iction). B.E.fl月HcKO撰杜小杨译
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条