defined的例句大全

Improving on OVL assertions and CTL properties, three kinds of properties are defined and verified, and the experimental results demonstrate the scheme improves the verification efficiency and scale.

通过对OVL语言和CTL描述进行改进，针对模拟验证、CDFG图匹配、模型检测3种方法设计相应的性质，实验结果表明这种分治验证策略有助于提高系统验证的效率和规模。

互联网摘选

Nine basic window functions are defined, MWF's basic properties and oprational rules are analyzed. Finally, an example is given, which shows that the study of MWF and it's circuits has important scientific significance.

文中定义了九种基本窗口函数，分析了MWF的基本性质和运算规律，最后辅以实例，指出对于MWF及其电路的研究有很好的发展前景。

互联网摘选

MRB procedures well defined and documented.

+物料检讨程序定义清析并有文件证明。

互联网摘选

ADMINREG is the only database defined in the file Database_QueryFile1. mdq, so it is automatically selected as the database.

ADMINREG是文件Database QueryFile1.mdq中定义的惟一数据库，因此它自动选中为数据库。

互联网摘选

Relationships can be defined to exist between elements that are contained in different LUs.

被包含在不同的逻辑单元中的元素之间的关系可以被定义。

互联网摘选

Methods: 140 cases received enteral nutrition with chemically defined diet by NCJ after total gastrectomy, proximal subtotal gastrectomy and other complex abdominal operations.

方法：对140例全胃切除术、近端胃大部切除术和其他复杂腹部手术病人实施NCJ，并通过NCJ进行EN。

互联网摘选

The scope of business of management of NCF is defined. The monitoring business is researched deeply.

界定了生态公益林管理的业务范围，并对监测业务进行了深入的研究。

互联网摘选

Lastly, the protocol defined by oneself in the communi-cations of network games platform is designed and implemented.

最后，设计网络游戏平台进行通信的自定义协议。对协议各组成部分进行详细设计说明，并实现。

互联网摘选

A maximum individual file size limit can be defined.

个别最高的文件大小限制可以被界定.

互联网摘选

Jayan also possess strong and well-defined features, with thick hair ( usually brown ).

迦岩人也具有明显而强烈的特点, 浓密的头发 ( 通常是棕色的 ).

互联网摘选

Jayan also possess strong well-defined features, with thick hair ( usually brown ).

迦岩人也具有较强、明确的特点, 浓密的头发 ( 通常是棕色的 ).

互联网摘选

In Part Introduction some concepts related to case are defined , distinguished and analyzed.

引言部分对判例及相关概念作了界定和辨析.

互联网摘选

The other major kind of retirement plan is called a defined contribution plan.

另一项主要的退休金计划叫做固定缴费计划.

期刊摘选

There was not a clearly-defined boundary between arts and the art of decoration before the 19th century.

19世纪以前，装饰艺术与艺术之间并没有一条泾渭分明的界限。历史上许多著名画家包括拉斐尔和弗拉戈纳尔在内，都从事过装饰艺术的创作。

互联网摘选

In this course, the software layers are defined as a specific software package and functionality.

在本课程中, 软件层定义为一个特定的软件包和功能.

期刊摘选

Defined the JDL language and implemented the JDL interpreter.

定义了JDL语言并实现了JDL解释器。

互联网摘选

Its sleek elliptical shape is well-defined in both the tank and seat.

水箱和坐便器底座呈现浑圆的椭圆形状,甚至冲水把手也显得动感十足.

互联网摘选

In this paper, with poly ( Glu-Ala-Tyr) 6:8:1, a defined tyrosine-spe-cific substrate, the activity of TPK in human peripheral blood lymphocyte membrane was quantitated. The properties of the enzyme were preliminarily characterized.

以人工合成的多肽poly（Glu-Ala-Tyr）（6：3：1）为底物测定了人外周血淋巴细胞膜酪氨酸蛋白激酶的活性，并对其性质进行了初步研究。

互联网摘选

The author defined the suitable condition to measure the cauterant decrease of Aluminium fluoride by put the Aluminium fluoride sample in muffle furnace under different temperature 、 time and have or no carrier. The result shown that this method have good reproducibility.

将氟化铝置于马弗炉内通过在不同温度、不同时间及有无托架的灼减量的试验，确定了氟化铝灼减量测定的适宜条件，试验结果表明该法测定的重现性好。

互联网摘选

Sentences, words, and phrases can be put into user defined flash card sets for review.

句子, 换句话说, 和词组,可以把用户定义的闪存卡集以供审查.

互联网摘选