图形化表示有自己的语法和语义，它们不过是将这些文本语言形式化了。
Graphical representations have syntax and semantics that are just as formalized as those of textual languages.
从而为准确地理解RAISE规范语言、正确地描述其形式语义奠定良好的基础。
Thus, it provides an excellent foundation for correctly understanding the RAISE specification language and describing its formal semantics.
本文认为，一种语言形式，在产生之初就表示截然相反的两种语义，是不可能的。
It is hardly possible, however, that a new word can get just two opposite meaning as it appears.
程序语言的形式化语义提供简洁而精确的语言定义，不仅帮助人们很好的理解语言，而且有助于语言的标准化。
The formal semantics of programming languages can provide concise and precise language definition. It helps people not only to understand well the language, but also to standardization of language.
体裁分析可揭示不同体裁语篇所独特的语言表现形式和建构特点，能通过图示结构探讨语篇的语义内涵。
Genre analysis can show that different texts have their unique language and constructing features, and can explore the semantic meanings of texts through the schematic structures.
体裁分析可揭示不同体裁语篇独具的语言表现形式和建构特点，能通过图示结构探讨语篇的语义内涵。
Genre analysis can show that different texts have their unique language features, and can explore the semantic meanings of texts through the schematic structures.
与演算的语法研究的同时，还有数理逻辑的形式语言的语义研究。
And the grammar study calculus at the same time, there are mathematical logic in the form of the semantic language study.
标点符号作为汉语的外在表现形式，有助于对汉语的语言结构和语义的理解。
As an external form-of expression, punctuation is conducive to understanding the structure and semantics of Chinese.
汉语不是通过形态或形式来表示语言成分间的关系，而是让语义本身来体现这种关系。
The relationships among the Chinese sentence elements are not expressed by forms and morphology, but to show them by semantics itself.
本文从语言学角度分析汉语简化词的结构特点，即形式最简、语义专指、双音节结构为主。
The characteristics of Chinese simplified words are as follows:possessing the most reduced form, the focused semantic reference and usually combining two syllables in one word.
当代语言学的研究大有语义化之趋向，而语义形式化的研究已经成为当今语义学研究的主流之一，是不可避免的。
Semantic research is the main trend of modern linguistic research, while semantics formal research is the main trend of semantic research, which cannot be avoided.
然而，从系统功能语言学的观点来看，尽管衔接是由形式特征来体现的，但衔接本身是一个语义概念。
However, from a systemic functional viewpoint, cohesion, though realized by formal features, is itself a semantic concept.
俏皮话作为一种人们常用的幽默语言形式，其特点明显。它往往通过语义的不和谐和语言表达模式的不和谐表达出俏皮幽默的语用效果。
The witticism, as a kind of commonly used humorous language form by the people, has obvious feature of the humorous pragmatic effect through the discord in word meaning and expression form.
作为自然语言理解的一项研究重点，语义分析旨在将人类的自然语言转化为计算机能够理解的形式化语言。
As a research focus in natural language understanding area, the purpose of semantic analysis is to transfer the mankind's natural language into formal language that computer can understand.
语言表述的普遍原则之一是经济原则——用尽量少的形式表达尽量多的语义内容，力求简洁精练。
One of the general principles in language use is the Economy principle, which means that fewer words should be used to express more information in order to be concise and succinct.
本文描述的计算机选案子系统采用语义文法结构，中间语言采用语义依存树的形式。
The computer aided tax system described in this thesis is a semantic grammar system, with the semantic dependency tree as the intermediate language.
研究发现，英语语篇的衔接倾向于依赖语言形式来表现，而汉语语篇的衔接则多通过语义关系来实现。
It is argued that the actualization of cohesion in English texts tends to be more dependent on linguistic forms while in Chinese texts it tends to depend more on semantic relations.
语言学界一般将其视为非言语交际的一种形式，从语义、语用、交际功能等方面加以研究。
In linguistics, "silence" is considered as a form of non-verbal communication, and researches are done from the perspective of semantics, pragmatics, communicative function, etc.
但是HL7标准的定义还是通过自然语言来描述的，因此我们需要定义一套语言使HL7语言得以语义化和形式化。
But the HL7 was still defined by the natural language, so we need to enables it the formalization and have the mean of the Semantics.
文章介绍了语言不确定性产生的原因，并从语义角度分析了语言不确定性的主要表现形式及其语用功能。
This paper introduces the main causes of linguistic indeterminacy formation. The main forms and pragmatic functions are analyzed from semantic perspective.
运动事件在语言形式上的表征是近年来句法语义接口研究中的热点之一。
The linguistic representation of motion events is one of the best studied examples concerning the syntax-semantics interface.
把UML和形式化语言进行融合，通过形式化的方法来弥补UML语义上的不足，给出实时行为方面模型的精确语义，也是本文的研究重点。
It is also the focus of this paper to integrate the UML and formal language, make up the shortfall of UML semantics, and give precise semantic of real-time behavior model.
对EXPRESS建模语言的核心功能作了概述，并给出了EXPRESS数据模型的一个形式化语义描述。
The primary contents are summarized as follows:An overview of the key functions of the EXPRESS modelling language as well as a formal semantic description of the EXPRESS data model is introduced.
在给出了一种策略语言后，对其语法和语义进行了形式定义，并根据使用控制(ucon)模型族的行为特性给出了控制策略。
A policy language was introduced and its syntax and semantics were defined formally, and control policies were given according to action characteristics of core models of Usage control (UCON).
文本推理在自然语言处理的应用中占有极为重要的位置，本文介绍了基于知网的一种推理方法，该方法以语义网络的形式表示知网中的知识，利用“标记传递”实现推理。
Text inference is central to natural language applications. This paper presents an inference method based on HowNet, which organizes knowledge with semantic net and infers with marker passing.
本文提出了一个具有丰富语义、灵活的、可扩展的、形式化的软件过程建模语言spml。
It proposed a software process modeling language named SPML which support semantics richness, flexibility, scalability, reuse and formalization.
这就要求对词汇的意义进行完整的分析，并尽可能地将之分解成为最小元素，从而使语言的语义能够从形式上得到计算或组合。
It is required that the meanings of lexicon be fully analyzed and, if possible, be decomposed in nearly primitive, so that the semantics of language can be computable in a formal way.
但是UML不是形式化的建模语言，缺乏精确的语义描述，因此会导致一些问题。
However, the UML is not a formal language, it lacks of precise semantics.
本文在对指示的一个小类社交指示分析界定的基础上，对社交指示的基本特点、语用本质、语言表达形式及语义表现进行了探讨。
The research on the characteristics, ways of expression, meaning and pragmatics will be useful to know the essence of social deixis more deeply.
本文在对指示的一个小类社交指示分析界定的基础上，对社交指示的基本特点、语用本质、语言表达形式及语义表现进行了探讨。
The research on the characteristics, ways of expression, meaning and pragmatics will be useful to know the essence of social deixis more deeply.
应用推荐