查询词典 axiomatic method

Eight hierarchical clustering methods including single linkage method, complete linkage method, median linkage method, centroid method, unweighted pair-group average method, Wards method, flexible-beta method and weighted pair-group average method were combined with three sampling strategies, random, preferred and deviation sampling to develop 24-core collections.

川最短距离法、最长距离法、中间距离法、重心法、不加权类平均法、离差平方和法、可变法和加权配对算术平均法等8种系统聚类方法，结合随机取样法、优先取样法和变异度取样法等3种取样方法，发展了24个水稻核心种质库。

The results showed that in evaluation of the method by detecting 50 RHD 1227A positive and 50 RHD 1227A negative individuals, the genotyping method displayed a sensitivity of 100% and a specificity of 100%; in evaluation of the method by detecting 33 DEL positive and 89 DEL negative individuals, the sensitivity was 100%, however, there were two serologically negative samples which were confirmed as positive using genotyping method. After re-testing these two samples with serological method and sequence analysis, it was found that original serological method gave false negative results and genotyping method still showed 100% specificity. The minimal target DNA concentration of this genotyping method is 8.13 ng/μl.

结果表明：在50例RHD 1227A阳性和50例RHD 1227A阴性的Rh阴性样本中基因分型方法的灵敏度和特异性都是100％；在33例DEL阳性样本和89例DEL阴性的样本中，基因分型方法的灵敏度为100％，有2例样本血清学结果为阴性而基因分型结果为阳性，重新用血清学方法和序列分析方法复核这2例样本，发现2例都是血清学漏检，因而基因分型方法的特异性是100％。

In this article, a new multigrid method for solving p-Laplacian equations is proposed based on the existing multigrid method: FAS multigrid method and Cascade multigrid method. This method is a combination of Cascade method and a new method named "back" method.

本文主要研究现有的几种求解p-Laplace方程的多重网格方法：FAS多重网格方法和Cascade多重网格法，并在此基础上提出了一种新的求解p-Laplace方程的多重网格方法：Cascade-back方法。

A general or abstract concept or term considered absolute or axiomatic .

一般概念普遍的或抽象的概念或术语，认为是绝对的或自明的

A general or abstract concept or term considered absolute or axiomatic.

一般概念普遍的抽象的概念术语，认为是绝对的自明的

Another approach is to prove connections with alternate formal semantics independently developed, such as the axiomatic semantics that underline tools for deductive verification of programs (see Appel and Blazy2 for an example).

另外一种方式是证明与其他独立开发的、诸如程序证明推导工具所基于的公理语义（如Appel and Blazy[2]）等形式语义的关系。

It has been proved in [2] that a normal fuzzy set structure is a kind of non-standard model of the axiomatic set theory with urelements.

在文献[2]中我们证明了正规弗晰集合结构是带本元的公理集合论的一类非标准模型。

This paper proposes a formal approach to performance testing using axiomatic methods and set theory.

协议测试就是用测试的方法执行一组目的明确的测试例，进而观察被测实现IUT的输出行为，并分析测试结果，判断IUT的功能或性能是否满足协议或用户的规定。

We have introduced in [1] the concept of the normal fuzzy set structure which is a characterization and generalization of fuzzy set theory and we have proved that any one normal fuzzy set structure is a Boolean-valued model of the axiomatic set theory ZFa with urel...

本文是对文献[1]的一种阐明，详细地阐明了正规弗晰集合结构与弗晰集合论中的一些基本概念之间的联系与转换，同时引进了正规弗晰集合结构的序数、基数等基本概念。

We have introduced in [1] the concept of the normal fuzzy set structure which is a characterization and generalization of fuzzy set theory and we have proved that any one normal fuzzy set structure is a Boolean-valued model of the axiomatic set theory ZFa wit...

本文是对文献[1]的一种阐明，详细地阐明了正规弗晰集合结构与弗晰集合论中的一些基本概念之间的联系与转换，同时引进了正规弗晰集合结构的序数、基数等基本概念。

You can snipe the second and third union leaders from this position.

您可以鹬第二和第三工会领袖从这一立场出发。

Aiming at the currently shortage of XML streams quality detecting, this paper proposes a new forecasting method of XML streams quality by least squares support vector machines, which is used the method of XML keys' vector matrix as windows, and vector product wavelet transform to multilevel decompose and refactor the XML streams series, that can fulfill real-time checking demand of XML quality, and ensure constraint, consist- ency and integrality. For even more adapting net load, it proposes a control strategy by weight and adaptive adjustment to ensure XML streams quality.

针对当前XML数据流质量检测存在的不足，提出构建XML键的矢量矩阵作为窗口，利用矢量积小波变换多级分解与重构XML数据流，再结合最小二乘支持向量机对XML数据流质量进行预测的一种方法，满足XML数据流质量重构时实时检测的要求，保证XML数据的约束性、一致性与完整性；为了更好的适应网络负载，采取加权与自适应窗口调整等调度策略充分保证XML数据流的质量检测。