片语

semi-formal definition半正式定义

formal semantic definition形式语意定义

a formal definition of truth形式化定义

a formal definition形式定义

formal chemical structure definition形式定义

formal language definition翻译

Formal Definition of Motivation激励的正式定义

The Formal Protocol Definition正式的协议定义

formal definition and theory形式定义和理论

英汉例句

• The formal definition of the supported staff queries is available as XML schema. The XML namespace of this plug-in is defined as.

  受支持的人员查询的正式定义作为XML模式提供。

• 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.

  介绍了背景格的定义及其构造方法，并给出了背景格的若干性质以及完备性证明。

• 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，并将其作为接口的正式定义使用。

• A formal definition about the complete graphics communication is given. The implement method of complete graphics communication based on grouping mechanism is studied.

  给出了完全图通信的形式化定义，构造了基于分组机制的完全图通信模型的实现方法。

• 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.

  为了研究数据库中的函数依赖性，我们还将介绍数据的依赖性的形式化定义及依赖性的语义因素等。

• Let me first give you the formal definition of gravitational potential energy.

  我先给你一个对于，重力势能的形式定义。

• 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.

  大多非专业人士都对自恋意味着什么有着很好的判断力，但这个术语的形式定义要比字典上的意义精确很多。

• Combined with the types of the misrepresentation such as False Recordation, Mislead Statement, Serious Omission and Irregular Revelation, the paper gives a formal definition for Material.

  结合虚假陈述的表现形态，即虚假记载、误导性陈述、重大遗漏和不正当披露，对「重大性」作了理论上的认定。

• In doing so, a formal definition of the service can be extended to support policies based upon endpoint definitions.

  完成这些之后，服务的标準定义可以被扩展为多个端点之上策略支持。

• Furthermore, a formal definition of open object is proposed.

  同时本文还给出它的形式定义。

• In 1972, Paris International Noise Professional Meeting gave a formal definition of infrasound, and discussed its exposure standards.

  1972年，巴黎国际噪声专业会议正式确定了次声的定义，并对次声的暴露标準展开讨论。

• Then the formal definition of extension knowledge representation is proposed and compared with several original methods of knowledge representation.

  由此，提出了可拓知识表示方法的形式化定义，并且将它与原有的几种知识表示方法进行了详细的比较。

• The formal definition of TMX shown at the Localisation Industry Standards Association (lisa) Web site states.

  Localisation Industry Standards Association(本地化行业标準协会，lisa)网站上给出了TMX的正式定义。

• A formal definition for the net is given and its representation power is discussed.

  对该网进行了形式定义，并讨论了它的表示能力。

• The formal definition of coevolution runs something like this: 「Coevolution is reciprocal evolutionary change in interacting species,」 says John Thompson in Interaction and Coevolution.

  约翰?汤普森（4）在《互相影响和共同进化》一书中对「共同进化」做了一个正式定义：「共同进化是互相影响的物种间交互的进化演变。」

• 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.

  第二个步骤中的一部分是具体的业务流程活动及其相应的已确定的业务用例之间可追溯的形式化定义。

• 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.

  越来越多的应用程序资产使用更正式的定义来描述其行为，这使得它们非常适合于存储在注册中心。

• 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的正式定义。

• 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.

  逻辑定义（正式定义）即字典定义，有着严格的形式，它常用来解释具体的、没有争议的术语。

• When it comes to a formal definition of domain models, Ganesh suggests that a 「standard」 XML approach is heavyweight and cumbersome. He instead suggests taking a closer look at JSON schema proposal.

  谈到领域模型的正式定义时，Ganesh建议道「标準」的XML方式是重量级的比较笨拙。

• 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.

  另一个常见的示例使用包装操作的概念，尽管该模式尚未被正式定义，但在业界已得到广泛接受。