查询词典 algebras

Hence, when taking the equivalent duals of all former statements, one ends up with a number of theorems that equally apply to Boolean algebras, but where every occurrence of '' ideal '' is replaced by '' filter ''.

因此，当采用所有前者陈述的等价对偶的时候，你可能终结于同等的适用于布尔代数的定理，但是这里所有''理想''的出现都被替代为''滤子''。

Petri nets and process algebras are both most widely used formalisms for describing and analyzing discrete-event concurrent systems.

Petri网和进程代数作为研究离散、并发系统的有利工具，是最主要的两种工作流建模和分析方法。

With the background of application of fuzzy control techniques to a rather typical complex control system, gas-burning water heater, theories, applications and techniques of fuzzy information processing have been studies. The obtained results include:(1) For lattice-valued logic systems based on lattice implication algebras, two dynamical lattice-valued propositional logic Lvpl and lattice-valued first-order logic Lvfl have been constructed, and some theories and methods of fuzzy reasoning have been proposed based on fuzzy set theory and multi-valued logic.(2) Some methods for designing and optimizing fuzzy control systems and some corresponding control algorithms have been proposed, and some new theories and methods for fuzzy control rule base and fuzzy control system performance analysis have been introduced.(3) 6 fuzzy control systems have been developed, and some difficult problems on craft of manufacture, batch consistency, quality stability, installation and main

本项目以模糊控制技术用于燃气热水器这一较典型的复杂控制系统为应用背景，在模糊信息处理的理论、应用和技术三个层次开展了相关的研究工作：(1)进一步研究了基于格蕴涵代数的格值逻辑系统，建立了两种动态的格值命题逻辑Lvpl和格值一阶逻辑Lvfl，并基于模糊集理论和多值逻辑提出了多种模糊推理的理论与方法；(2)提出了模糊控制系统的多种设计及优化方法与控制算法，建立了模糊控制规则库和模糊控制系统性能分析的一些新理论与新方法；(3)研制完成了6个模糊控制系统，还特别解决了模糊控制燃气热水器和智能控制燃气热水器在产业化过程中的生产工艺、批量一致、质量稳定、安装维修和性能价格等一系列难题，做好了批量生产前的技术准备，现已小批量生产。

In recent years, K-theory has played an important role in studying the Operator Algebras. C. L. Jiang, J. S. Fang and Y. Cao find the connection between the uniquely strongly irreducible decomposition up to similarity of Type I operators and the K_0-groups of the commutants of the operators in 1990s.

近年来，K理论对算子代数与算子理论的发展起到了重要的推动作用。20世纪90年代，蒋春澜，房军生，曹阳等人发现了Ⅰ型算子的强不可约分解在相似意义下的唯一性与其换位代数的K_0群之间的内在联系。

We construct a large family of isomorphisms between the quasi-hereditary quotients of the quantized Schur algebras.

构造了q-Schur代数的拟遗传商之间的一批同构对应。

We introduce a new and special class of quasi-hereditary algebras A_q, and prove the Hemmer-Nakano equivalences for them provided that q is sufficiently large.

此外，通过研究A_q的拟遗传子代数和拟遗传商代数的同调性(来源：2a06Aa0BC论文网www.abclunwen.com)质，我们证明了一类广义Schur代数具有双中心化性质。

Using the concept of regular elements,we obtain some results on the classificationof dipolarizations in general symmetric self-dual Lie algebras.

在第六节中，我们把半单李代数的特征元的概念推广到任意带有双极化的对称自对偶李代数上〓用正则元的概念，得到了一般对称自对偶李代数上双极化的一些分类结果。

Part II of this paper studies the structure of symmetric self-dual Lie algebras.

假设李代数g带有一个与Killing具有相同性质的型B，即具有双线性性，非退化性，对称性和不变性，由于这样的李代数g的伴随表示与它的余伴随表示等价，我们称李代数g为对称自对偶李代数，称型B为它上的一个不变数积。

At last, this paper gives a description of the relation between Lie triple derivation and associative derivations of TUHF algebras.

最后，本文对TUHF代数上的三元Lie导子与结合导子间的关系进行了描述。

In the first chapter, we give a detailed introduction of recent developments in derived categories, Moritas equivalence theory, derived equivalence theory, recollements and mutations, automorphisms of Lie algebras, and so on.

第一章我们对与论文有关的研究方向，包括导出范畴，Morita等价理论，导出等价理论和李代数自同构等发展动态做尽可能详细的介绍。

Do not gum up the work by telling mother what we are going to do .

别告诉母亲我们要干的事，那会把事情搞糟的。

In recent years, application of the partial prestressed concrete beam s is developed.

近年来，随着部分预应力砼梁应用的推广，发现我国规范所采用的名义拉应力法的计算结果不稳定。