查询词典 properties

This thesis is devoted to study the properties of the solutions of some specialrefinable equations,such as properties of multi-refinable,global linear independence,local linear independence and local polynomial property,etc,by using fractal theory,measure theory and theory of generalized functions.

本文的主要目的是通过用分形几何中的一些想法以及测度论和广义函数中的一些知识来研究一些特殊的细分方程的解的一些性质，如多重可细分性、整体线性无关性、局部线性无关性和局部多项式性质等。

An anonymity metrics model with three properties based on joint entropy is given in this paper. The three properties are identifiable, linkable and traceable respectively.

提出了基于联合熵的多属性匿名度量模型，该模型基于识别性、连接性、跟踪性等匿名属性。

The results shows that the effect of the speckle noise can be suppressed by displaying OCT images in the logarithmic scale and the speckle properties are correlated with the scattering properties of the tested sample. Additionally, it is shown that OCT with NA = 0.25 has a lower speckle noise and a larger length of single scattering range.

结果显示采用对数表示可以抑制散斑噪声对图像对比度的影响，而且此时的散斑特性与介质的散射特性相关联，另外，采用较高数值孔径显微物镜可以抑制散斑噪声以及增大成像深度。

It introduces the basic knowledge and ideas of mathematical logic and classic set theory, including proposition logic and predicate logic, reasoning calculus and theorem proving methods, basic operations and properties of sets and relations, functions of any sets and their properties, the cardinals of infinite sets, and the applications of knowledge and ideas above in computer sciences.

本课程系统介绍数理逻辑与朴素集合论的基础知识，包括：命题逻辑和谓词逻辑、定理的推理演算和机器证明方法，集合和二元关系的基本运算和性质、任意集合中的函数及其性质，无穷集合的基数，以及上述知识在计算机科学中的应用。

In SPVT (security protocol verifying tool), the specification language is the π-like calculus extended with three appendixes, the Dolev-Yao model is described with Horn logic rules, the π-like calculus model of security protocol is transformed into the logic program model by abstract rules, the security properties are verified based on the calculus of the logic program's fixpoint, and the counter-examples on security properties are constructed from the process of the fixpoint calculus and the process of the property verification.

在SPVT中，以扩展附加项的类演算作为安全协议描述语言，以扩展附加项的Horn逻辑规则描述协议攻击者的Dolev-Yao模型，通过一组抽象规则将安全协议的类(演算模型转换为逻辑程序模型，基于安全协议逻辑程序的不动点计算验证安全性质，从安全协议逻辑程序的不动点计算和安全性质的验证过程中构造不满足安全性质的安全协议反例。

The second section:(1) A new kind of paper for LOM is developed by changing the prescriptions of hot molten glue, and properties of the new paper are as good as those of LOM paper from the U. S. A.(2) The testing methods and items for examining the properties of LOM raw materials are provided first of all.

第二部分：对LOM原型材料中的热熔胶进行了改性研究，开发成功了一种与美国进口LOM纸性能相接近的LOM纸，基本解决了LOM叠层材料国产化问题，并首次提出了LOM原型材料性能的测试指标和测试方法。

The structural and mechanical properties of ring-spun yarn have been studied comprehensively. The relationships between yarn linear density, yarn twist, and the relative yarn structural and mechanical properties have been obtained. Through statistical analysis of yarn linear density, twist, and strength of 200 groups of pure cotton yarn, and considering some influence factors, such as carded or comed, application of long-staple cotton, experiential functions of yarn relative strength with yarn linear density and twist have been obtained.

对环锭纱结构力学性能进行系统研究，得出环锭纱的相关力学性能参数与纱线线密度和捻度的关系；通过对从工厂收集的200组纯棉纱线线密度、捻度、强力等数据的统计分析，并综合考虑纱线线密度、是否精梳、是否使用长绒棉等因素，得出了线密度和捻度与纱线强力相对值的经验函数关系。

The effect of mixture of rare earth oxides on the sintering properties,microstructure and mechanical properties of magnesia refractory were studied.

研究了添加Y_2O_3的混合稀土氧化物对镁质耐火材料的烧结性、力学性能和显微结构的影响。

Chapter one: At the beginning of this chapter, we reviewed the history of manganite research. And then we laid an emphasis on the discussion of its physical properties-including crystalline structure, magnetic structure, electron structure and electromagnetic behavior, and related interactions in the system. After that we introduced some elementary properties of layered manganites.

第一章 首先简要回顾了超大磁电阻研究的发展历史，然后着重介绍了掺杂锰氧化合物的各种物性——晶体结构、磁结构、电子结构和电磁特性，及相关的各种相互作用，并对层状锰氧化物的基本性质作了简要介绍。

Addition of Nd is of advantage for mechanical properties of the composites, especially for properties at high temperature.

Nd元素的加入对复合材料的力学性能有利，尤其是高温性能。

Panorama Many people are dancing in a large sitting room.

在一个大客厅里，许多人在跳舞。

We fully understand how a microwave oven cooks food, it is first necessary to talk ...

我们充分理解一个微波炉煮的食物，这是首先要谈。。。