查询词典 algebra

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数学模型进行精确计算的服务组合优化与划分方法。

A join is one of the set operators of relational algebra used to concatenate data found in different tables.

一加入，是一个集商关系代数用来串数据发现，在不同的表。

The roughness of knowledge embodies the granularity of knowledge in algebra view.Two concepts are defined in information view,which are information entropy of knowledge and conditional information entropy of knowledge.

在代数观点中，知识粗糙性体现了知识的粒度；而在信息观中，定义了知识的信息熵和条件信息熵。

Random sets ; Data fusion ; Fuzzy sets ; Conditional event algebra

随机集；数据融合；模糊集；条件事件代数

The deep context of doctor candidate includes the nonlinear filter, conditional event algebra and random sets theory, which are the most advanced research schools of information fusion.

博士生的内容主要以非线性估计、条件事件代数和随机集理论为基础，研究异类异构信息的融合。

Do you know, i need you to come back

你知道吗，我需要你回来

Yang yinshu、Wang xiangsheng、Li decang,The first discovery of haemaphysalis conicinna.

1〕 杨银书，王祥生，李德昌。安徽省首次发现嗜群血蜱。