片语

formal semantic description形式语意描述

Formal Description Model形式化描述模型

formal description and verification形式化描述和验证

formal description tools形式化描述工具

formal description language[计]

formal model description形式模型描述

formal description method形式化描述方法

formal chemical structure description形式描述

formal design description翻译

the formal description形式化描述

英汉例句

• This paper gives a market based formal description on the multi-robot task allocation problem, and discusses the task allocation taxonomy and performance indexes.

  通过对任务分配问题分析，建立了一套基于市场机制的多机器人任务分配问题形式化描述方法，讨论了多机器人任务分配的分类及评价指标。

• According to the characteristics of this stage, by use of complex network theory, a formal description model has been given to describe this stage.

  针对崩溃扩散期的特点，利用复杂网络理论，本文给出了崩溃扩散期的形式化描述模型。

• The formal description techniques for intelligent network (IN) service and the theory and methods in IN「s service verification are the key technologies in IN」s realization.

  智能网业务的形式化描述技术和业务验证的理论与方法是目前智能网（IN）业务实现过程中的关键技术。

• A formal description of process patterns is established in this paper by extending the semantics of the XPDL language.

  通过扩充XPDL语言的语义，建立了一种过程模式的描述技术。

• Based on analyzing and studying dependency injection, a formal description for its execution with a kind of mathematical tool named complete lattice is given in this paper.

  本文在分析研究依赖注入技术的基础上，用完全格工具形式化地描述依赖注入的执行过程。

• A formal description of hypercube is given, from which a recursive method of constructing a hypercube is derived.

  本文给出了超立方体计算机结构的集合描述，并由此导出了该结构的递归构造法。

• It also introduces perfect automata as an abstract mathematics model of defining the command analyzer. Besides, this paper gives formal description of the command analyzer of the model.

  引入了完备自动机作为定义命令分析器的一种抽象数学模型，并用该模型给出了命令分析器的形式化描述。

• Ontology as a share concept of a particular area of the formal description is widely used in many areas.

  本体作为某个特定领域重要概念共享的形式化描述被广泛应用于多个领域。

• With the formal description of the adaptor generating process, we can automatically generate the adaptor.

  通过适配器生成过程的形式化描述可以自动生成该适配器。

• At last, the author USES an example to show that using the formal description of UML state machine semantics can justify the important properties of those systems described by UML.

  最后，作者通过一个实例说明UML状态机语义的形式化描述可以证明那些用uml描述的系统的一些重要属性是正确的。

• An ontology is the entity which composes of the concept of knowledge, the relationship between the concepts and formal description language can be identified by computers.

  本体是由知识中的概念、概念间的关系以及计算机可以识别的形式化描述语言组成的实体。

• A formal description of a system, or a detailed plan of the system at component level to guide its implementation.

  系统的正式描述，或用于指导其实现的组件级别的系统详细计划。

• A transport protocol and its formal description techniques for local networks are discussed.

  本文研讨局部网络的传输协议及其形式描述技术。

• In this paper, gives a formal description of objects and attributes in TDBAM, then discusses the kinds and implement of limited-value attributes.

  该文将给出tdbam数据对象的形式化描述，讨论有限取值属性的几种形式及其实现。

• Now the main methods of software architecture description are formal description and visual description.

  目前主流的软件体系结构描述方法有两类，分别是形式化描述和可视化描述。

• A classic perception of liars is that they are more anxious, and the 「Anxiety Hypothesis」 is a formal description of the idea.

  一种典型的观点认为，撒谎者更为焦虑，而「焦虑假说」是该观点的正式描述。

• Despite a number of opinions expressed both for and against a formal description language for RESTful applications, description languages like WADL have gained some limited ground.

  针对RESTful应用的正式描述语言，虽然有大量的赞成和反对意见，但像WADL这样的描述语言只得到了有限的发展。

• After analysing the activity flow drawing of the users, the modeling tool generates a XML formal description file which is parsed by flow engine.

  流程建模工具对用户绘制的作业流程图进行分析，生成一个可以被流程引擎解析的基于XML的形式化描述文档。

• Much research has been done recently in the area of formal description techniques (FDT) and their use for protocol design validation, implementation development and testing.

  最近在形式描述技术(FDT)领域及其用于协议设计验证、实现开发和测试方面已做了大量的研究工作。