形式

Syntactic function: it shows the relationship between a linguistic form and other parts of the linguistic pattern in which it was used.

句法功能，体现了语言形式和语言模式其他部分之间的关系，语音形式是在语言模式中运用的

Euphemism is a rhetorical form replacing taboo terms as well as the linguistic form to express strategically.

委婉语不仅是一种替代禁忌语的修辞形式，也是进行策略表达的语言形式。

Since poetry is the unity of form and meaning, literariness must of necessity be taken into consideration in the translation of poetry.

诗歌作为文学作品，是形式和意义的统一，在翻译时必须考虑译诗的文学性，而文学性离不开传统，作为文学性的一种表现形式的陌生化总是相对于一定的传统。

The concepts of the S-simplest form of a seminorm family P and the P-reflexive locally convex space are introduced. The seminorm family P and its every S-simplest form generate the same locally convex separated topology on X are proved.

引入半范数族P的S-最简形式和P-自反局部凸空间的概念，证明了半范数族P和它的每一个S-最简形式都生成X上相同的局部凸拓扑。

The thesis first recommends the famous fuzzy Gaussian approximation system which is based on the Gaussian membership function, the fuzzy logic of product reasoning and the fuzzy law of weight approach. This thesis is discusses the general fuzzy Gaussian membership function that can approximate the form of triangular, trapezoid and Gaussian function , and its basic form is .The general fuzzy Gaussian membership function is to be generally used in the field of approximation .

模糊逼近是近年来发展比较迅速的一个新兴方向，论文首先给出了模糊理论中著名的基于高斯隶属函数、乘积推理模糊逻辑和重心解模糊法的模糊高斯型万能逼近定理，在此基础上本文进一步给出了可以用来逼近三角形、梯形和高斯形的广义高斯隶属度函数形式，它的基本形式是。

In a sense, what Cassirer did in"Philosophy of Symbol Pattern"was to explore and describe the logical process of symbol pattern from"myth"to"algnuage" to"science".

这一点，卡西尔在他的《符号形式的哲学》中为我们所做的就是去考察与描述从"神话"到"语言"再到"科学"符号形式的逻辑进程。

It discusses step by step according to the deducting method, finally depicting it as a whole logistically.

这种分析的主要精神还是基于形式的三重意义，即：自然、自然的形式、纯粹的元素语言，按照演绎的方法逐层论述，并最终在逻辑上把它们描述成一个整体。

With the further development of computer network, communication network and the distributed system, communication protocols are more and more complicated, formal description technology plays the indispensable role in the network protocol design. LOTOS - as one of the ISO standards of FDT, is designed for distributed systems, especially for communication service and communication protocol.

随着计算机网络、通信网络以及分布式系统的不断发展，通信协议有日渐复杂化的趋势，形式描述技术在网络协议设计中占有举足轻重的作用，作为国际化标准之一的LOTOS技术是专为分布式系统设计的形式描述技术，特别是通信服务和协议。

LOTOS is a specification language that aims at describing the dynamic behavior of complex systems.

一、引言形式描述技术是用形式语义语法语言，而不是象英语那样用自然语言来定义一个系统的性能。

Observable transformation between different formal description models. Using the ETS-based testing theory, formal transformation methods from LOTOS and Estelle to ETS are proposed respectively.

不同形式描述模型之间的可观察等价性转换根据基于扩展标号变迁系统的协议一致性测试理论，分别提出了LOTOS和Estelle到ETS的形式转换方法，证明了它们的可观察等价性，并举例说明。

The split between the two groups can hardly be papered over.

这两个团体间的分歧难以掩饰。

This approach not only encourages a greater number of responses, but minimizes the likelihood of stale groupthink.

这种做法不仅鼓励了更多的反应，而且减少跟风的可能性。