查询词典 algebra over k

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-代数中的概率、条件概率和条件期望的理论体系。

Is proved to be a residuated lattice. In the second chapter, the concept of congruence relation on a residuated lattice is introduced. It is proved that the quotient algebra of a residuated lattice about the congruence relation is still a residuated lattice. Then as a generalization of the congruence relation, the concept of fuzzy congruence relation is brought in.

本文的第二章首先定义了剩余格上的同余关系，证明了剩余格中的滤子对应一个同余关系，并由该同余关系确定的商代数仍是剩余格；然后将同余关系自然推广，定义了Fuzzy同余关系，证明了Fuzzy同余关系与Fuzzy滤子是一一对应的。

As an important content in mathematics, Conjugation can be studied and discussed from different aspects such as differential coefficient, algebra, geometry and so on.

摘要共轭是数学中一个重要的内容，讨论也有不同的方法，可以用微分、代数、几何等方法。

Listen,point and check your answers.

听，指出并且检查你的答案。

Warming needle is one of effective treatment methods for knee arthralgia aggravated by cold,and it is simple,safety,so it should be developed in clinical acupuncture and moxibustion extensively.

但以本院科针灸门诊在2005年1月—2006年6月期间共收治膝痛患者100余例，经过临床的诊断后，其中施以温针治疗的48例，疗效显著，报道如下。1临床资料本组病例48