formal的例句大全

It must be followed by the function name and the parenthesized list of formal parameters.

在其后必须跟有函数名和包括形式参数的圆括号.

Formal specification languages Z and Object-Z have used to describe the semantics of programming language.

形式化规范语言Z和Object-Z已经用于描述程序语言语义。

Based on this model, the corresponding formal semantic description approaches to these five types of the information about customer needs were discussed.

探讨了不同类型的客户需求信息相应的形式化语义描述方法。

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.

对EXPRESS建模语言的核心功能作了概述，并给出了EXPRESS数据模型的一个形式化语义描述。

Some properties of the joint-request are also discussed. Based on the defined action, a teamwork protocol with a formal semantic description is proposed and its application is demonstrated finally.

然后，基于联合请求动作，提出一种主体团队交互协议，并给出了协议的形式化语义，最后讨论了协议的实际应用。

Firstly the method of knowledge representation by OWL ontologies is researched, then the formal and semantic description is introduced, and finally knowledge is represented by an instance.

本文在研究OWL本体进行知识表示的机制后，阐述形式化表示及语义说明方法，并结合实例说明知识的表示。

With the advantages of formal semantic definition, visually graphical expression, firm mathematical foundation and description based on state, the Petri net is applied to model and optimize the workflow process more and more.

由于Petri网具有形式化的语义定义、直观的图形表达、严格的数学基础以及基于状态的描述等优点，被越来越广泛应用于工作流过程建模和流程优化。

A Formal Semantic Model Facing Object Language

一个面向对象语言的形式语义模型

It indicated that the basic research should mostly include the development of ontology, the formal semantics of Semantic Web language and the development of Trust and Proof model.

总结了未来语义Web基础研究和应用研究的方向：语义Web的基础研究主要包括本体的发展、语义Web语言的形式语义和确信（Trust）与证据（Proof）模型的开发；

In the end, a set of Plotkin-style structural operational semantics ( SOS) rules inductively defines a compositional formal semantics for UML state machine.

最后，用Plotkin风格的结构操作语义SOS（structural operational semantics）规则归纳地给出满足组合性的UML状态机语义。

Operational semantics and denotational semantics are two type of formal semantics.

其中操作语义学和指称语义学是形式语义学的两大类别。

Specifically, major contributions are as follows: Firstly, this thesis develops a formal semantic model for component that is based on predicate logic, set theory and Pi-calculus.

具体如下：首先，本文结合构件的静态结构特征和动态行为特征，基于谓词逻辑、集合论以及进程代数π演算，提出了一种构件的形式语义模型。

Based on in-depth analysis of customer demand characteristics in MC environment, method of requirement elicitation, decomposition and conversion was proposed and a complete set of formal semantic model was built as well.

论文在深入分析MC环境客户需求特点的基础上，提出了客户需求获取分解及处理的方法并建立了一套完整的形式化需求语义模型。

According to the features of formal semantic network model and attribute grammars, the new model uses symbols of attribute grammars to establish grammar and semantic rule schema suitable for semantic networks, and implements the reasoning by the expanded attribute grammar interpreter.

根据形式化的语义网络表示模型和属性文法的特点，该模型使用属性文法的符号建立了一些适合于语义网络表示模型的语法和语义规则模式，并且可通过扩充的属性文法的解释器来实现推理。

Formal Semantic of Architecture-Centric Component Model

以体系结构为中心的构件模型的形式化语义

Include three-layer meaning alive: It is formal work.

活包含三层意思: 一是形式活.

Ontology, by way of formal specification of share concepts, provides a method to resolve the semantic heterogeneous, since it can be used to express the semantics of data sources, identify and construct the semantic relationship of the concepts, compass the semantic consistency.

本体作为共享概念的形式化说明，用于表达数据源的语义、识别和建立概念间的语义关联、达成语义一致，提供了语义异构问题的解决途径。

This provides a rigorous dynamic semantics for the model and a formal basis for its enactment and analysis.

这为模型提供了明确的动态语义，为其运作和分析提供了形式化基础。

As a standard object-oriented modeling language, UKL ( unified modeling language) is lack of formal dynamic semantics.

面向对象标准建模语言UML（Unified MOdeling Language）缺乏精确的动态语义。

Multi-paradigm Based Instruction Assistant System for Formal Semantics Course

基于多语言范例的形式语义学教学辅助系统