What is its formal definition?
它的正式定义是什么？
Furthermore, a formal definition of open object is proposed.
同时本文还给出它的形式定义。
The formal definition of GOOPN and its operation laws are given.
给出了GOOPN的形式定义及运行规则。
XPath 1.0: Read the formal definition of XPath in the original specification.
XPath 1.0：查阅原始规范中对XPath的正式定义。
Let me first give you the formal definition of gravitational potential energy.
我先给你一个对于，重力势能的形式定义。
A formal definition for the net is given and its representation power is discussed.
对该网进行了形式定义，并讨论了它的表示能力。
The critical descriptive and formal definition of linear list is also promoted in this paper.
并给出了线性表的严密的描述性定义和形式化定义。
The formal definition of TMX shown at the Localisation Industry Standards Association (lisa) Web site states.
Localisation Industry StandardsAssociation(本地化行业标准协会，lisa)网站上给出了TMX的正式定义。
Before we get into a formal definition of a realization, let's step back and ask, "What really is a use case?"
在我们给出用例实现的定义之前，回过头来看一下，到底什么是用例？
In a more formal definition, topic specialization starts with the containing element and works from the top down.
在更正式的定义中，主题专门化从包含元素开始，自顶向下工作。
In doing so, a formal definition of the service can be extended to support policies based upon endpoint definitions.
完成这些之后，服务的标准定义可以被扩展为多个端点之上策略支持。
This paper reinforces the formal definition of context lattice, provides some properties of formal contexts, and pro...
介绍了背景格的定义及其构造方法，并给出了背景格的若干性质以及完备性证明。
The formal definition of the supported staff queries is available as XML schema. The XML namespace of this plug-in is defined as.
受支持的人员查询的正式定义作为XML模式提供。
In order to inquiry into function dependency in data base, the formal definition and semantics of dependency of knowledge are...
为了研究数据库中的函数依赖性，我们还将介绍数据的依赖性的形式化定义及依赖性的语义因素等。
In 1972, Paris International Noise Professional Meeting gave a formal definition of infrasound, and discussed its exposure standards.
1972年，巴黎国际噪声专业会议正式确定了次声的定义，并对次声的暴露标准展开讨论。
Based on the formal definition of features, three important relations of consistent, gradation and overlap among features were investigated.
基于功能上的正式定义一致，层次和要素之间的重叠，有三个重要的关系进行了研究。
Then the formal definition of extension knowledge representation is proposed and compared with several original methods of knowledge representation.
由此，提出了可拓知识表示方法的形式化定义，并且将它与原有的几种知识表示方法进行了详细的比较。
Most nonprofessionals have a pretty good sense of what narcissism means, but the formal definition is more precise than the dictionary meaning of the term.
大多非专业人士都对自恋意味着什么有着很好的判断力，但这个术语的形式定义要比字典上的意义精确很多。
Application assets are increasingly using a more formal definition to describe their behavior, and this makes them ideally suited to be stored in a registry.
越来越多的应用程序资产使用更正式的定义来描述其行为，这使得它们非常适合于存储在注册中心。
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...
为了研究数据库中的函数依赖性，我们还将介绍数据的依赖性的形式化定义及依赖性的语义因素等。
Part of this second step is the formal definition of the trace between a specific business process activity and the corresponding identified business use case.
第二个步骤中的一部分是具体的业务流程活动及其相应的已确定的业务用例之间可追溯的形式化定义。
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.
为了研究数据库中的函数依赖性，我们还将介绍数据的依赖性的形式化定义及依赖性的语义因素等。
Once the service has been developed and the service interface is complete, you should capture the service WSDL and use it as the formal definition of the interface.
服务开发并完成了服务接口后，应该捕获服务WSDL，并将其作为接口的正式定义使用。
The correctness of relationships among use case descriptions and semantic equivalence between use case descriptions can be analyzed based on the formal definition.
在形式化定义基础上，可进行用例描述间关联的正确性分析及语义等价分析。
The logical or formal definition is the dictionary definition which is rigid in form. It is often used in clarifying meanings of concrete or non-controversial terms.
逻辑定义（正式定义）即字典定义，有着严格的形式，它常用来解释具体的、没有争议的术语。
This paper reinforces the formal definition of context lattice, provides some properties of formal contexts, and proves that a context lattice is a complete lattice.
介绍了背景格的定义及其构造方法，并给出了背景格的若干性质以及完备性证明。
The formal definition is that the gravitational potential energy at a point P is the work that I, Walter Lewin, have to do to bring that mass from infinity to that point P.
形式定义就是,它在点P的重力势能,等于我，将物体从无穷远处,移动至点P所做的功。
Another common example USES the notion of a wrapped operation, which has become widely accepted within the industry despite the fact that there is no formal definition for the pattern.
另一个常见的示例使用包装操作的概念，尽管该模式尚未被正式定义，但在业界已得到广泛接受。
Another common example USES the notion of a wrapped operation, which has become widely accepted within the industry despite the fact that there is no formal definition for the pattern.
另一个常见的示例使用包装操作的概念，尽管该模式尚未被正式定义，但在业界已得到广泛接受。
应用推荐