片语

formal aesthetic model形式美学模型

The Formal Methods Model形式化

formal semantic model翻译

formal methods model方法模型

typed formal description model类型化的形式化描述模型

formal data model形式数据模型

formal structural model形式结构模型

formal type model形式类模型

Formal Description Model形式化描述模型

英汉例句

• On the progress of calling for structured or disciplined hypertext, people can use simply, direct and oriented application method except of using formal model of hypertext.

  在人们寻求结构的或有规律的超文本过程中，除了使用形式化模型外，还有一种采用面向应用，简单、直观的方法。

• A formal model of PASCAL process blueprint, graphical notations of abstract logic structure diagram, and a fundamental programming procedure...

  文中给出PASCAL过程蓝图的形式化模型，抽象逻辑结构图的图形表示方法，以及程序设计的基本过程。

• This paper proposes a formal model of feature interactions based on the semantic of message lists in runtime between the object of service logical programming instance and the network entities.

  本文通过对业务在执行过程中，业务逻辑实例与外部实体交互消息的分析，提出一个基于消息序列语义的特征交互形式模型。

• A formal model that analyzes the conflicts and cooperation between different businesses will be adopted in this thesis.

  本文中用一种正式的模型来分析企业之间的沖突与合作。

• This paper first introduces the formal model of RMS. Then, it puts stress on discussing the consistency preservation problem to remove contradicts in reasoning systems.

  本文首先给出了RMS的形式模型，而后，重点讨论了系统中用以消除矛盾的一致性维护问题。

• TUGEN integrates the features of data-flow and control-flow test and is based on a formal model called EBE, which specifies only the external behavior of a protocol.

  测试集自动生成方法的研究是协议一致性测试领域中比较活跃的一个分支。 提出了一种基于EBE模型，集成数据流和控制流测试的新的协议测试自动生成方法并给出了其实现TUGEN。

• A formal model is proposed to describe time character of constraint in this paper.

  提出一套形式化地描述时间特性的模型，使之能够描述带时间特性的授权约束。

• In the paper, we study these problems memtioned above by symbolic logic, and propose a formal model of RBAC.

  本文针对这个问题，从数理逻辑的角度出发，建立了一个形式化模型。

• We extend finite automata with time sequence and define temporal finite automata, then we propose using temporal finite automat to build formal model for data fusion system.

  本文提出了时序有限自动机，用它建立数据融合系统的形式化模型，并且给出了时序有限自动机模型的可达性分析方法，用于分析数据融合系统的性能和行为。

• On the other hand, important specifications such as the Infoset (a formal model of the information nodes in an XML document) should be established at the foundations.

  另一方面，象Infoset (XML文档中信息节点的正式模型)这样的重要规范应该建立在此基础上。

• In other words, they needed a formal model of computation.

  换名话说，精确计算机需要一个正规的计算模式。

• As a XML-based descriptive language, WS-CDL lacks a formal model and verification mechanism to guarantee the correctness of collaborations and interactions.

  作为一个基于XML的描述性规范语言，WS -CDL缺乏形式化的模型和验证机制，难以保证协作和交互的正确性。

• The architecture is expressed as a formal model in UML, using a tool like Rational Software architect to create it.

  体系结构采用UML表述为正式的模型，要使用Rational SoftwareArchitect之类的工具创建此模型。

• This paper USES the formal model to acquire Chinese Q-A patterns and Chinese-English terminology pairs.

  本文将学习模型应用到中文问答对和中英文术语对的抽取中。

• To what extent do you share the core intent of MDD - create a formal model and mathematically transform that model into correct and executing code?

  你在何种程度上对MDD的核心意图进行了分享呢——是创建正式的模型，并且以数学的方式把模型转换为正确可执行的代码吗？

• In Section 3 we will introduce a formal model and in Section4 we will present BibSonomy and discuss the functionality and architecture of this system.

  在第3节将介绍一个正式的模型。在第四单元，我们将提出BibSonomy系统，讨论该系统的功能和体系结构。