model的例句大全

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数据模型的一个形式化语义描述。

互联网摘选

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 Model-Theoretic Semantics for XML

一种XML的模型论语义

互联网摘选

Criticisms of Situation Semantics on the Extensional Model Theory and the Possible World Semantics

情境语义学对外延模型论和可能世界语义学的批判

互联网摘选

To establish a model is the precondition to the logical and semantic analysis of epistemic expressions and the theory of possible world semantics provides an effective tool for this.

建立模型是对认知表达式进行逻辑语义分析的前提，可能世界语义学为此提供了有效工具。

互联网摘选

Barwise's criticisms on the extensional model theory semantics and the possible world semantics, not only reveals the shortages of logic semantics, but also helps us to understand the logic semantics problems of natural language more profoundly.

巴威斯等对外延模型论语义学和可能世界语义学的批判，揭示了既有逻辑语义研究的不足，促使人们对自然语言的逻辑语义问题进行更深刻的认识和反思。

互联网摘选

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）模型的开发；

互联网摘选

Study of cartographic semantics model based on description logic

基于描述逻辑的地图语义模型初步研究

互联网摘选

Most model languages in the textbooks of monographs on programming semantics are so tiny languages, which cannot help to clarify the traits of real programming languages, for they failed to be used to write ordinary programs.

大部分研究程序设计语义专论中的语言模型功能都非常简单，这对阐明实际的程序设计语言是远远不够的，因为这些语言模型很少能完整地编写普通的实际程序。

互联网摘选

Research on MetaData Model for Information Semantics Sharing in Peer-to-Peer Networks

面向对等网信息语义共享的元数据模型框架研究

互联网摘选

This includes identifying and understanding the information semantics, such as the meaning of the data model elements as well as structural information.

这包括确定和了解信息语义，如数据模型元素的含义以及结构信息等。

互联网摘选

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环境客户需求特点的基础上，提出了客户需求获取分解及处理的方法并建立了一套完整的形式化需求语义模型。

互联网摘选

Formal Semantic of Architecture-Centric Component Model

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

互联网摘选

Using the parameter-transformation method proposed by Stinchcombe R B, the phase transitions and critical properties of the Ising model on a family of diamond fractal lattices are investigated. It is found that the results are the same as that by using renormalization-group method.

采用英国著名学者Stinchcombe提出的理论方法&参数变换，研究了一族钻石分形晶格上Ising模型的相变和临界性质，结果表明：与实空间部分格点消约（decimation）RG变换的结果完全一致。

互联网摘选

Integrated Use Case Management begins by associating your Rational Rose model with a Rational RequisitePro project.

集成用例管理从Rational Rose模型与Rational RequisitePro项目的关联开始。

互联网摘选

Rational Rose import: merge code and model

Rational Rose导入：合并代码和模型

互联网摘选

Generating Software Prototype Model Quickly with Rational Rose

使用Rational ROSE快速建立软件的原型模型

互联网摘选