作为自然语言理解的一项研究重点，语义分析旨在将人类的自然语言转化为计算机能够理解的形式化语言。
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.
本体知识推理的关键任务是分析语义关系、定义和形式化推理规则并对其优化。
The key task of ontology reasoning is to analyze semantic relationships and to define, formalize and optimize reasoning rules.
在形式化定义基础上，可进行用例描述间关联的正确性分析及语义等价分析。
The correctness of relationships among use case descriptions and semantic equivalence between use case descriptions can be analyzed based on the formal definition.
对汉语短语句法规则进行符号化形式化的分析，给出了句法模型，定义了一整套汉语的句法规则体系及相应的语义处理方案。
In order to build a complete analysis system of Chinese syntactic rules, we have defined the sets of words, attribute, pinyin, relations, terminals and non terminals for the syntactic analysis.
考虑该实体认证协议的特点，采用改进语义的SVO逻辑对其进行合理性描述，并对其运行过程进行形式化的具体分析，发现该协议在认证过程中存在着双方认证不确定的缺陷。
Considering the characteristics of the entity authentication protocol, augment semantics SVO logic was used to describe its rationality and analyze its operation, and a flaw was found.
在形式化定义基础上，可进行用例描述间关联的正确性分析及语义等价分析。
The correctness of relationships among use case descriptions and semantic equivalence between use case des...
在形式化定义基础上，可进行用例描述间关联的正确性分析及语义等价分析。
The correctness of relationships among use case descriptions and semantic equivalence between use case des...
应用推荐