查询词典 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)。

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.

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

This paper tries to discuss the probability, conditional probability and conditional expectation on MV-algebra of fuzzy sets.

为此，本文试图建立一套较完备的关于MV-代数中的概率、条件概率和条件期望的理论体系。

Article 144 The Government of the Hong Kong Special Administrative Region shall maintain the policy previously practised in Hong Kong in respect of subventions for non-governmental organizations in fields such as education, medicine and health, culture, art, recreation, sports, social welfare and social

第一百四十四条香港特别行政区政府保持原在香港实行的对教育、医疗卫生、文化、艺术、康乐、体育、社会福利、社会工作等方面的民间团体机构的资助政策。原在香港各资助机构任职的人员均可根据原有制度继续受聘。

Small wonder, then, that the Chinese spend more in the shop than any other group of foreign visitors do .

这样的小惊喜，使中国顾客比任何国家的人消费得更多。