查询词典 involutory algebra

The central notion in commutative algebra is that of a prime ideal.

交换代数中最核心的概念就是素理想。

This thesis is mainly about to discuss the commutativity and the algebra properties of dual Toeplitz operators, and to prove the boundedness and compactness of products of Hankel operators in the several complex variables.

本文主要研究的是多变量的对偶Toeplitz算子的交换性和代数性质，以及Hankel算子乘积的有界性和紧性。

In recent years it has been great interest to quantum deformations of commutator relations of Lie algebra and related Hopf structures.

计算出经典的经典Yang-Baxter方程的所有解一直是许多数学家和物理学家非常关心的问题。

The Laplace matrix is an active and important subject in Algebra Graph Theory. It is a discrete form of the Laplace operator on the compact Rimannian manifold acting on the graphs. It has been widely used in many fields such as Physics, Chemistry, Biology, Computer net science and Information theory ,etc. Some results on the Laplace matrix are given in this thesis.

本文主要研究了代数图论中的一个课题：单圈图的Laplace谱，它是黎曼流形上的拉普拉斯算子在图上的离散形式，Laplace矩阵在物理、化学、生物和计算机通信网络研究等学科中有着广泛的应用。

The compactness theorem of model theory has an extensive application in algebra.

模型论中的紧致性定理在代数中有很广泛的应用。

Zadeh put forward, make MTL-algebra"s filter conception fuzzified, provide the conceptions and properties of fuzzy filter, obtain the structure of all fuzzy, filters, prove that the set of all fuzzy filters forms a complete distribution lattice; Provide several fuzzy Boolean filter"s equivalent forms, introduce fuzzy positive implicative filter, fuzzy obstinate filter and fuzzy ultra filter, discuss some property characteristics and terms that transform each other under certain terms to obtain them.

Zadeh提出的模糊集思想使MTL-代数的滤子概念模糊化，给出了Fuzzy滤子的概念和性质，得到了全体Fuzzy滤子的结构，证明了全体Fuzzy滤子之集构成完备的分配格；给出了Fuzzy布尔滤子的若干等价形式，并且引入了Fuzzy正蕴涵滤子，Fuzzy固执滤子和Fuzzy超滤的概念，得出了它们的一些性质特征以及在一定条件下之间相互转化的条件。

A fuzzy conditional expectation with respect to sub σ-algebra of for a fuzzy random variable is introduced in the complete probability space, and the fact that such a fuzzy conditional expectation exists uniquely is proved and its some properities are discussed.

在完备的概率空间中引进一个模糊随机变量关于■的一个子σ代数■的模糊条件期望，并证明这样定义的模糊条件期望存在且唯一，还就其某些性质作了讨论。

Because Horn-clause logic theory is of significance in both respects of theory and application, We especially studied lattice-valued Horn-clause logic with truth-value in lattice implication algebra, and the soundness and completeness theorem have been proved.

经典逻辑中，Horn子句逻辑理论具有广泛的应用，因而，本文中特别建立了基于格蕴涵代数的格值-类Horn子句逻辑，并证明了可靠性和完备性定理，这为建立一类基于格值逻辑这种非经典逻辑的人工智能语言将产生重要的作用。

Formalization verification of service composition based on Process Algebra and Discrete Time Ambient-Calculus, as well as combinatorial optimization and the partition method based on QoS mathematic model are deeply studied. The service composition architecture supporting formalization verification and QoS-aware composition has been also implemented. Furthermore, the architecture is applied to digital cartoon cooperation manufacturing in the Internet.

为实现动态的跨企业业务协作与集成，本文围绕服务组合行为的正确性检验以及服务质量保证这二个正交的性质，深入研究了基于进程代数Pi演算及离散时间Ambient演算的服务组合形式化检验，以及基于QoS数学模型进行精确计算的服务组合优化与划分方法。

To regulate policy composition and guarantee its correctness, an algebraic model called APoCA (attribute-based access control policy composition algebra) is proposed for composing access control policy. In APoCA, an authorization relation between entities is described at the attribute level. APoCA fertilizes the existing formal frameworks by taking into account the computation of attribute values.

为了规范策略合成和保障策略合成正确性，基于属性刻画了实体间的授权关系，通过属性值的计算结构扩展了现有的策略合成形式化框架，建立了新的基于属性的策略合成代数模型APoCA(attribute-base access control policy composition algebra)。

He paid $5,000 for this cupcake.

他我这个纸杯蛋糕花了5000美元。

I mean, if you want to, that is

我的意思是，如果你们想吃的话。