定义为...

ABSTRACT Requirements analysis is a process, in which a semiformal requirements definition is constructed from an informal requirements sta...

需求分析是指，由非形式需求陈述转化为半形式需求定义，以及由需求定义再转换到相应的形式功能规约的过程。

There are many different ways that you can customize your low rider, including custom sound systems, rims, whitewall tires, and upholstery to make it into the bike of your dreams.

有许多不同的方式，您可以自定义你的低车手，包括自定义音响系统，轮辋，whitewall轮胎和内饰，使其成为自行车你的梦想。

As the most important part of the article, the chapt five analyses a definition to plot a main body in the converse logistics system and a layer arrangement and illustrate a function in every layer of this system.

通过借鉴国外发展经验，从协调及协调机制理论出发，在第四章定义了电子产品逆向物流协调机制定义，为下一步协调机制模型的建立作了充分的储备。

If it is a definitional truth that water = the actual unique waterish stuff around here, then we should have to conclude that there is no such thing as water, and set about to construct a new definition.

如果这是定义上为真的，水＝这里的现实的这些唯一水性材料，那么，我们应该不得不结论说，没有水这样的东西，并着手重新定义。

The structural approach which consists with the reference architecture is proposed according to GIM methodology and the CIM life cycle adopted by our country.

论文主要内容为：（1）通过对工程设计理论和方法论的分析与总结，结合几个工程设计方法论的具体应用，提炼出一般方法论的定义，将CIM设计作为工程设计方法论的一个应用特例，引出CIM方法论的定义。

They were more suitable for well-defined form, such as interoperability, to avoid any inappropriate or unintentional disclosure. In non-well-defined form, the averaged precision, recall and F-measure of recognizing identifiers are 99.97%, 98.92%, and 99.41%. It makes little undermarking and overmarking errors.

对於未来趋势的已定义结构与具可互相沟通性之电子病历搜寻可识别资讯，可以事先完全掌控，而对於未定义结构的病历搜寻的平均Precision、Recall与F-measure分别为99.97%、98.92%与99.41%，有稍微不足或超过的现象发生。

This paper proves the existence of utility function by using Riemannian geometry methods, which build a bridge between Riemannian geometry and economics.

运用黎曼几何的方法证明了效用函数的存在性，引进了广义的边际效用趋势概念，该定义揭示了以效用函数为度量与一般的欧氏度量的偏离，并证明了这个定义是内蕴的。

We directly reduced the Duursma-Lee algorithm applying the theory of divison from the defination of Tate Pairing. Then we introduced a new equavalent defination of Tate pairing of supersingular elliptic curve over finite fields with characteristic three or two, that it has lower final exponent. We proposed two refined algorithms of the modified Duursma-Lee algorithm.

应用除子理论由Tate Pairing的定义直接推导了Duursma-Lee算法；对特征值为3和2的有限域上超奇异椭圆曲线Tate Pairing给出一个等价定义，降低了最后的求幂次数；对Modified Duursma-Lee算法提出两个改进算法，分刖将效率提升了约6.7％和13.3％。

The house, defined by this idea rather than a formal imposition, cannibalizes the local "vernacular," distorting it through hexagonal introspection of the plan and the transposed proportion of the parts.

该别墅就是通过以上概念而定义的，而不是强加的外形定义，用当地的&白话&解释为，它通过六边形平面图和部分体块按比例移位而构建。

And the two operators such as prefixing and parallel composition over the set of open bundles are defined.

定义开丛为串空间图的构造单元，并在开丛集上定义前缀算子和组合算子。

This one mode pays close attention to network credence foundation of the businessman very much.

这一模式非常关注商人的网络信用基础。

Cell morphology of bacterial ghost of Pasteurella multocida was observed by scanning electron microscopy and inactivation ratio was estimated by CFU analysi.

扫描电镜观察多杀性巴氏杆菌细菌幽灵和菌落形成单位评价遗传灭活率。