形式

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的形式转换方法，证明了它们的可观察等价性，并举例说明。

Recall that, in the Kolmogorov axiomatization, measurable sets are the sets which have a probability or, in other words, the sets corresponding to yes/no questions that have a probabilistic answer.

延期开工的Kolmogorov宣布要衡量所有套职能有限许多坐标限制在于衡量子寅。换句话说，如果是/否的问题回答f可看的价值观念在许多最有限坐标，然后它有一个概率的答案。

The experimental results showed that the algorithm can filter singular points and remain fixity of the target edge.

实验表明：基于模糊理论的图像智能滤波方法比常规图像滤波方法运算量小，它既能去除奇异点，又能保持图像中目标的边缘不变性，具有很好的滤波效果。