我先给你一个对于，重力势能的形式定义。
Let me first give you the formal definition of gravitational potential energy.
因此，这种权威的关系是以行为的形式定义的。
The relationship of authority is defined, therefore, in behavioral terms.
同时本文还给出它的形式定义。
Furthermore, a formal definition of open object is proposed.
它遵循根据包装文档的文本形式定义的最佳实践。
It follows the best practice of being defined according to the wrapped document literal form.
内存资源控制也以份额或百分比的形式定义，例如
Memory resource controls are defined in shares or percentages, for example
接口可按如下形式定义。
给出了GOOPN的形式定义及运行规则。
The formal definition of GOOPN and its operation laws are given.
X3D使用配置文件的形式定义了完整规范的几个子集。
X3D defines several subsets of the complete specification as profiles.
给出了OWL本体和关系数据库模式的形式定义；
The formal definitions of OWL ontology and relational database(RDB) schema were given.
对该网进行了形式定义，并讨论了它的表示能力。
A formal definition for the net is given and its representation power is discussed.
每个属性类型都以属性值的形式定义被保存的数据的语法。
Every attribute type defines the syntax of the data to be stored as the attribute value.
典型的语言构造允许以扩展流程图或者限定状态机器的形式定义流程。
Typical language constructs allow for defining a process either in the form of extended flowcharts or finite state machines.
然后给出了面向对象知识表达中对象的基本结构和形式定义；
The basic structure and form definition in object oriented knowledge representation is given out.
您的资源必须以“资源”生成操作形式定义为项目的一部分。
Your resource must be defined as part of the project as a Resource build action.
为科学实在论给出一个一致的、毫无争议的形式定义是十分困难的。
It's hard to give a unified end uncontested definition of the term of scientific realism.
需求定义无需以上述形式定义，但这种方法能得到简化的实现，可直接回溯到指定需求。
Requirement definitions need not be defined in the manner described above, but this approach readily leads to a simplified implementation that can be traced directly back to the specific requirements.
形式定义就是,它在点P的重力势能,等于我，将物体从无穷远处,移动至点P所做的功。
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.
它的几何形式定义了建筑的规模和建筑的表达，同时在一整年中控制光和温度。
Its geometry defines the scale and architectural expression of the building whilst controlling light and temperature throughout the year.
提出了一种将前后断言形式定义的非过程化的软件功能转换为过程化算法描述的技术。
In this paper, we propose a technology which transforms non-procedural functions defined formally by precondition and postcondition into procedural algorithms.
大多非专业人士都对自恋意味着什么有着很好的判断力，但这个术语的形式定义要比字典上的意义精确很多。
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.
笔者分析了我国刑法学界关于刑事责任的含混观点，认为刑事责任有形式定义和本质定义的区分。
The writer analyzes indefinite views on criminal responsibility in China's criminalistics and holds the view that there're form definition and nature definition in criminal responsibility.
不过，如果Header是隐式的，这就意味着需要在中介模块中以业务对象的形式定义Header的结构。
If, however, the header is implicit, this means you need to define the structure of the header in terms of a business object within your mediation module.
按照面向对象的形式定义，结合专家系统的具体特征，设计适用于专家系统开发工具的知识表示语言。
A knowledge representation language is designed and implemented based on the formalized definition of object and the specification of our expert system developing tool.
通过将数据库的形式定义为JDBCDMS，我们拥有从数据库检索HWSystem数据对象所需的全部信息。
By defining the shape of the database to the JDBC DMS, we have all the information we need to retrieve HWSystem data objects from the database.
WebSphereESBV6.2允许以中介策略文档的形式定义动态配置，中介流可以装载中介策略，从而进行配置。
WebSphere ESB V6.2 enables you to define dynamic configurations in the form of mediation policy documents, which can be loaded by a mediation flow in order to configure it.
为了支持这个公用方法，CBE以标准XML模式的形式定义，而这自然会导致其具有多种应用类型，如通知、审核和业务事件。
To support this common approach, the CBE is defined as a standard XML schema that naturally lends itself to several types of applications, such as notifications, auditing, and business events.
从程序结构和程序运行的观点出发，清楚地给出了SIMD,MIMD并行性的形式定义，它是提取程序异构性的依据。
From the point of view of program structure and program running, the formal definitions about SIMD and MIMD parallelism are presented clearly, which are criteria of extracting program heterogeneity.
对XYZ/E进行扩充，在语言上提供对软件体系结构基本概念的显式支持，并对扩充部分给予严格的形式定义，使XYZ/ADL具备广泛认可的软件体系结构描述语言的特征。
The XYZ/ADL provides features that are acknowledged widely in software engineering community. · This thesis defines temporal logic semantics for UML activity diagrams and Statecharts using XYZ/E.
对XYZ/E进行扩充，在语言上提供对软件体系结构基本概念的显式支持，并对扩充部分给予严格的形式定义，使XYZ/ADL具备广泛认可的软件体系结构描述语言的特征。
The XYZ/ADL provides features that are acknowledged widely in software engineering community. · This thesis defines temporal logic semantics for UML activity diagrams and Statecharts using XYZ/E.
应用推荐