查询词典 predicate symbol

The apparatus further includes a quad-symbol mapper which quad-maps the systematic symbol streams to one symbol stream, a channel interleaver which independently interleaves the quad-mapped systematic symbol stream and the parity symbol streams, quad-demaps the quad-mapped systematic symbol stream, interlaces symbols in parity symbol streams, and serial-concatenates the quad-demapped systematic symbol stream to the interlaced parity symbol streams.

该设备还包括：四码元映射器，其将系统码元流四映射到一个码元流；信道交织器，其独立地交织四映射的系统码元流和奇偶码元流，对四映射的系统码元流进行四逆映射，交错奇偶码元流中的码元，并且将四逆映射的系统码元流串行连接为交错的奇偶码元流。

This chapter analyses how this idea comes out and how it changes with times in order to explore the cultural and symbolic meaning of the color. The white is not only symbol of white swan totem and symbol of saint, but also the proof for Kazak ancestor believing Shamanism and Zoroastrianism, the red is the symbol of sun and the sunshine, the blue is the symbol of god in heaven, the green is the symbol of life and spring, the black is the symbol of the great or grief, the yellow is the depressed color or nonlife, is hardly used for Kazakh tradition.

分析色彩观念的产生及衍变，并论述其文化象征意义——白不仅是图腾白天鹅的象征，是圣洁的象征也是哈萨克先民信仰萨满教、祆教的遗存；红色是太阳及其光辉的象征；蓝色是天界神灵的象征；绿色是生命和春天的象征；黑色象征强大或哀伤；黄色是苦闷的和没有生命力的颜色，也是哈萨克人传统上少用的颜色。

In addition, for a class of first-order predicate expression namely first-order predicate expression without free variable and with one quantifier, a necessary and sufficient condition for such first-order predicate expressions to be equivalent and a corresponding judging algorithm are come up with.

另外，对于一阶谓词公式的一个常见子类——无自由变元单量词的一阶谓词公式，提出了一个判定这种一阶谓词公式等价性的充分必要条件和判定算法。

Application predicate logic on data sublanguage as its mathematical foundation would make the study of data sublanguage become the research of predicate logic and the optimization of data sublanguage become the matters of simplification of predicate logic.

本文旨在研究将谓词逻辑及公理化理论应用于关系数据库中表示数据子语言，应用谓词逻辑作为它的数学基础，使得对这些语言的研究成为对谓词逻辑的研究，优化数据子语言的表示成为对谓词逻辑的化简问题。

After research we can find that: firstly, a great number of predicate-word phrases can act as the adnex of the verb-complement structure; secondly, almost all the verbal phrases and adjectival phrases can act as complement, and other phrases like adverbs, noun, quantifier phrases, some prepositional phrases and subject-predicate phrases, even compound sentence can act as complement too;thirdiy, there are six kinds of verb-complement structures in the novel;fourthly, the verb-complement structures can act as subject, predicate, object, attribute, adverbial modifier, complement in a sentence and other phrases component, even can be a sentence by itself; fifthly, the semantic connection between complement and other components in the sentence is very abundance and complex;sixthly, some special verb-complement structures in the Dream of the Red Chamber show the characteristic of transitional language.This thesis is divided into five parts:Part 1: Preface.

通过研究我们可以发现：首先，大多数的谓词性词语在《红楼梦》中都可以充当述补结构的述语；其次，几乎所有的动词性词语和形容词性词语都可以充当补语，少数副词和名词性词语也可以做补语，数量短语、介宾短语、主谓结构和复句也可以做补语；第三，述补结构的类型按中间的助词标记可以分为没有助词的，有&得/的&的，有&个&的，有&着&的，有&将&的和有&到&的六种；第四，述补结构可以充当主语、谓语、宾语、定语、状语、补语以及各种成分内部的组成成分，还可以单独成句，其语法功能非常丰富；第五，补语的语义指向是多方面的，语义内容非常复杂；第六，几种特殊的述补结构说明了《红楼梦》的述补结构带有过渡时期的特点。

Through the study, an implicational universal is discovered, i.e. if a language has object before predicate verb, then it has temporal adverbial for predicate before predicate verb.

然后我们对谓语时间词状语与谓语动词的语序类型进行了类型学考察，从考察中我们发现了一条与之相关的蕴含共性，即：如果一种语言的宾语在谓语动词之前出现的话，那么充当谓语状语的时间词也在谓语动词之前出现。

We may now distinguish a "two-place predicate"(which governs two arguments, e.g., subject and object), a "one-place predicate"(which governs one argument, i.e., subject) and a "no-place predicate" that has simply no argument.

因此，语义学家就用&述谓&这一范畴并把它分解成变元和谓语，前者是&逻辑参加者&，后者是&关系因素&，负责把变元联系起来。

It discussed the composition law and creation design of modern product symbol,and creatively put forward that the product symbol was composed of the visual symbol,tactual symbol and phonetics symbol.

对现代产品符号的组成规律和创新设计方法进行探讨和总结，创新性的提出产品符号由视觉符号、触觉符号、语音符号组成。

Western culture in the red is a derogatory very strong word, is "fire","blood" of the association, it is a symbol of brutality, bloodshed, such as (1) The red rules oftooth and claw killing and violence, rule ,(2) red revenge bloody revenge,(3) a red battle bloody; it a symbol of radical, violent revolution, such as (1) red hotpolitical campaign heated political campaign,(2)a red revolution Red revolution,(3) red activities leftist radical activity; it is also a symbol of danger, tension, such as (1) red alert air raid alarm,(2) a red adventure story of a nerve-wrecking adventures,(3) a red flag danger signal flags; it a symbol of debauchery, obscenity, such as (1) a red waste of his youth(2) a red light district demi-monde,(3) Is she really sored as she is painted?

西方文化中的红色则是一个贬意相当强的词，是"火"、"血"的联想，它象征着残暴、流血，如（1）The red rules oftooth and claw残杀和暴力统治，（2）red revenge血腥复仇，（3）ared battle血战；它又象征激进、暴力革命，如（1）red hotpolitical campaign激烈的政治运动，（2）a red revolution 赤色革命，（3）red activities左派激进活动；它也象征危险、紧张，如（1）red alert空袭报警，（2）a red adventure story一个令人紧张的冒险故事，（3）a red flag危险信号旗；它还象征着放荡、淫秽，如（ 1）a red waste of his youth他那因放荡而浪费的青春，（2）ared light district花街柳巷，（ 3）Is she really sored as she is painted？

To strengthen mathematical symbol language analogy and symbol's suggesting function, to cultivate students' ability to transfer the mathematical narrative language to mathematical symbol language, to lead students to understand the definition of mathematical symbol and to regulate the writing of symbols will all contribute to developing mathematical thinking.

加强数学符号语言类比和符号提示功能教学，培养学生将数学叙述语言转换成数学符号语言的能力，引导学生正确理解数学符号的含义并规范符号书写，促进学生数学思维的发展。

He became prime minister in 1997 and won international acclaim for his role in the Northern Ireland peace process.

他在1997年成为总理，并且因为在北爱尔兰的和平进程中发挥的作用受到国际社会的赞许。

Mixed Page Sorting Method Using the cuttable user model, this thesis proposes a mixed page sorting method by using cutted user model in server-side and complete user model in client-side.

隐私分级利用的混合式页面排序方法针对个性化搜索中搜索结果排序的问题，本文利用隐私可控开放的用户偏好模型，提出一个在客户端和服务器端分步进行的隐私分级利用的混合式页面排序方法。