形式语义定义用英语怎么说，形式语义定义的英文翻译

词语导航

基本信息

词语：形式语义定义

繁体：形式語義定義

拼音：xíng shì yǔ yì dìng yì

英语翻译

【计】 formal semantic definition

分词翻译

形式语义的英语翻译：Www.wEnTiYi.COm

【计】 formal definition; formal semantics

定义的英语翻译：

define; definition; circumscription
【计】 DEF; define
【医】 definition

翻译例句

1. 基于规划树概念，本文给出了能力概念的形式化语义定义，获取和描述了它的一些重要属性。

Based on the concept of plan tree, the formal semantics of the capability is defined and some important properties are obtained.

2. 定义了扩展模糊描述逻辑的语法结构、语义解释、知识库形式以及基于可满足性的推理问题。

The definitions of syntax structure, semantic interpretation, knowledge base form and reasoning problems based on satisfiability are given for the extended fuzzy description logic.

3. 程序语言的形式化语义提供简洁而精确的语言定义，不仅帮助人们很好的理解语言，而且有助于语言的标准化。

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.

4. 为了研究数据库中的函数依赖性，我们还将介绍数据的依赖性的形式化定义及依赖性的语义因素等。

In order to inquiry into function dependency in data base, the formal definition and semantics of dependency of knowledge are also discussed in the paper.

5. 对汉语短语句法规则进行符号化形式化的分析，给出了句法模型，定义了一整套汉语的句法规则体系及相应的语义处理方案。

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.

6. 本文对直接递归过程与间接递归过程的谓词变换语义给出了形式化的定义。

This paper presents the formal definitions of predicate transformer seman-rics for both direct and indirect recursive procedures using the concept of WP.

7. 在形式化定义基础上，可进行用例描述间关联的正确性分析及语义等价分析。

The correctness of relationships among use case descriptions and semantic equivalence between use case descriptions can be analyzed based on the formal definition.

8. 工作流建模技术一直是工作流技术研究的重要课题之一，它的研究范围包括：工作流模型定义、语义的形式化表示方法等。

Workflow modeling technique is always one of important research tasks of workflow, including workflow model definition and sematic formalized expression method and so on.

9. 本文拟在全面描写汉语递进范畴的定义、特征等基础上，探讨其语义系统、形式系统。

Based on a general description of the definition and characteristics of the climax category in Chinese, this thesis explores the semantic and form system of Chinese.

10. 但是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.

11. 为了研究数据库中的函数依赖性，我们还将介绍数据的依赖性的形式化定义及依赖性的语义因素等。

In order to inquiry into function dependency in data base, the formal definition and semantics of dependency of knowledge are also discussed in the p...

12. 在给出了一种策略语言后，对其语法和语义进行了形式定义，并根据使用控制(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).

13. 本体知识推理的关键任务是分析语义关系、定义和形式化推理规则并对其优化。

The key task of ontology reasoning is to analyze semantic relationships and to define, formalize and optimize reasoning rules.

14. 而定义2则认为有知识库支持的本体在语义层根据适当形式的结构予以表示。

Under interpretation 2, instead, the ontology, that underlies a knowledge base, is expressed in terms of suitable formal structures at the semantic level.

15. 为了研究数据库中的函数依赖性，我们还将介绍数据的依赖性的形式化定义及依赖性的语义因素等。

In order to inquiry into function dependency in data base, the formal definition and semantics of dependency of knowledge are...

16. 在形式化定义基础上，可进行用例描述间关联的正确性分析及语义等价分析。

The correctness of relationships among use case descriptions and semantic equivalence between use case des...

17. 在形式化定义基础上，可进行用例描述间关联的正确性分析及语义等价分析。

The correctness of relationships among use case descriptions and semantic equivalence between use case des...