查询词典 properties

By using properties of scalar matrices over semirings,we generalize algebraic properties for the automorphisms of matrix algebras over commutative rings and obtain some algebraic properties for the automorphisms of matrix algebras over commutative semirings.

在这一章中，我们首先利用半环上常量矩阵的性质把环上矩阵代数的性质拓广到半环上，获得了交换半环上矩阵代数自同构的一些代数性质，接下来采用积和式的方法证明任意非负交换半环上n阶矩阵代数Tn的自同构的n次幂必为内自同构。

Secondly, in a more generalized framestructrue--lattice-ordered monoids,the notion of lattice-valued Mealy-type automata is introduced,we traverse some algebraic properties of this automata and investigate the congruences and homomorphisms of this type automata.Our main results indicate that the algebraic properties of lattice-valued Mealy-type automata have Close links to the algebraic properties of lattice-ordered monoids which automata take values in.Futhermore we study the minimization of lattice-valued Mealy-type automata and provide an algorithm to achieve the minimal lattice-valued Mealy-type automata within finite steps.

其次，在更一般的框架—格半群意义下，提出具有输入和输出字符的自动机——格值Mealy自动机的概念，从代数角度出发较详细地研究了此类自动机具有的性质，同时研究了此类自动机的同余和同态，揭示了此类自动机的代数性质和格半群的紧密联系，最终研究了格值Mealy自动机的极小化问题，并给出了在有限步可实现此极小化的算法。

OWL adds more vocabulary for describing properties and classes: among others, relations between classes (e.g. disjointness), cardinality (e.g."exactly one"), equality, richer typing of properties, characteristics of properties (e.g. symmetry), and enumerated classes.

添加了更多的用于描述属性和类型的词汇，例如类型之间的不相交性，基数，等价性，属性的更丰富的类型，属性特征（例如对称性，symmetry），以及枚举类型。

In this paper, the switchable optical properties, effects on optical properties and the mechanism of the rare earth films were illustrated, the corresponding properties of the epitaxial rare ea...

本文介绍了稀土光学薄膜的可转换光学性能、影响光学特性的因素以及光学特性变化的机理，并对外延稀土膜和稀土合金膜的有关性能进行了介绍

Studying dielectric properties of foods,not only can people understand radio frequency or microwave properties of foods,develop dielectric heating equipment which save most energy,but also can make dielectric properties be applied in evaluating food qualities.

对食品介电特性的研究，不仅能使人们了解食品的射频或微波特性，研发出最具节能效果的介电加热设备，而且介电特性可用于食品品质的识别。

It was shown that the improvement of electric properties in 1%Eu-PZT can be attributed to Eu donor doping, which decreases the concentration of defects such as oxygen vacancies and holes, while the degradation in fatigue and leakage current properties shown in the films with more than 1mol% Eu dopant results from the apparently dominant acceptor doping, which increases the concentration of oxygen vacancies and holes.

结果表明，1mol％Eu施主掺杂，可以减少氧空位以及空穴等缺陷浓度，因此1％Eu-PZT薄膜的极化疲劳和漏电流特性得到明显改善；高于1mol％Eu的受主掺杂作用使薄膜中氧空位以及空穴等缺陷浓度增加，导致PZT薄膜电学性能恶化。

Because the thermal properties of materials are time-depandent,it's possible to increase the accurateness of numerical simulation with the variable thermal properties.

由于材料的物性参数是随着温度时刻变化，采用变物性参数可进一步缩小模拟结果与实际间的差异。

It is found that there are good relationships between the fundamental frequencies and the structural properties of straight-chain alkanes, and between the sum-frequencies and the additivity properties of straight-chain alkanes as well.

将直链烷烃分子看成是一个多自由度振动系统，用机械振动理论中的传递矩阵法计算了 C2~C32直链烷烃的固有频率，分析了固有频率随化合物结构单元的变化规律。

Now we hate to do this to close the alert box: Right-click on the desktop "My Computer", select "Properties" command to open "System Properties" dialog box, switch to the "hardware" tab.

下面我们就动手将这个讨厌的警告框关闭：在桌面上右击"我的电脑"，选择"属性"命令打开"系统属性"对话框，切换到"硬件"选项卡。

In addition, access control policies of aggregated resources can be formulated as expressions of the algebra. Several algebraic properties of policy expressions are discussed. It shows that the algebraic properties of policy expressions can be used to verify whether policy composition results meet the protection needs of each party.

用代数表达式形式化地描述聚合资源的访问控制策略，讨论了策略表达式的若干代数性质，说明可借助策略表达式的代数性质去验证策略合成结果是否符合各方对聚合资源的保护性需求。

It has to be computed by the host for the actual clock rate.

主控制器可以用来计算实际的时钟速率。

Let's see what you got.

让我看看你的东西