查询词典 generalized Boolean algebra

The verification theories and algorithms of value-passing CCS and the π-calculus bisimulation equivalences are the hot point of research in the area of process algebra, and the critical step for the application of process algebra in practice.

传值CCS和π-演算互模拟等价的验证理论和算法是进程代数领域的研究热点，也是使进程代数从理论研究走向实际应用的关键环节。

Finally, We prove that every generalized a associative BCI algebra determine a commutative pomonoid .

最后我们证明了每个广义a－结合BCI－代数可确定一个交换偏序幺半群。

Secondly,we firstly study the properties of functions with values in a uni-versal Clifford algebra 〓,and we obtain the following very important basictheorems in universal Clifford analysis:Cauchy's integral formula,Cauchy's inte-gral theorem,the mean value theorem,the three versions of the maximum mod-ulus theorem,the Taylor's expansion,the Laurent's expansion and the residuetheorem etc..All of these results generalized the classical results.

第二，本文所讨论的各种函数性质以及所得的结果都在泛Clifford代数〓上所做的工作，它一方面包含了从前在泛Clifford代数〓上所做的工作，所得到的结果更广泛、更漂亮、更自然，另一方面，本文也是迄今为止第一次建立起来了在泛Clifford分析中与经典函数论相对照处基础地位的LR正则函数在特异边界上的Cauchy积分公式、Cauchy积分定理、平均值定理、极大模原理的三种表达形式、Taylor展式、Laurent展式留数定理等深刻的结果。

In this paper,the concept of generalized Jordan derivable mappings at zero point on von Neumann algebra is introduced.The following conclusion is reached.

在文[4]中，朱军和熊昌萍引入了零点广义可导映射的概念，而导子与Jordan导子的关系十分密切。

Generalized strictly diagonally dominant matrix play an important role in numerical algebra 、control theory 、electric system、economic mathematics and elastic dynamics and so on.

广义严格对角占优矩阵具有很广的实际背景，这类特殊矩阵在数值代数、控制论、电力系统理论、经济数学及弹性力学等众多领域中有着重要的实用价值。

Generalized diagonally dominant matrix、 M-matrix andH-matrix play an important role in numerical algebra、economy、cybernetics theory and so on.

对角占优矩阵、M-矩阵、H-矩阵是应用范围很广的特殊矩阵类，它们在数值代数、数量经济学、控制理论等领域都有重要作用。

Using the theories of probability, algebra, logical function in cryptology and spectral theory comprehensively, the dissertation investigates the properties and constructions of orthomorphic permutations, omni-direction permutations, quick trickle permutations and generalized orthomorphic permutations.

分组密码是现代密码学中一个重要的研究分支，而置换理论在分组密码中占有重要的地位，任何没有信息扩张的密码体制都可以看作是置换的结果，如数据加密标准DES可以看作是明文在密钥控制下的置换，公钥密码体制RSA可以看作是一种多项式置换，因此，研究置换的有关性质和构造具有重要的理论意义和应用价值。

Opeator theory is one of the most important fields in functional analysis. In recentyears, Generalized Inverse and Effect Algebra have been live topics in operator theory.

算子论是泛函分析中一个极其重要的研究领域，算子的广义逆及效应代数是近年来算子论中比较活跃的研究课题。

Zhang(1997) further generalized them to central duadic group algebra codes.

张胜元(1997)又进一步推广到中心duadic群代数码。

The research of this thesis focuses on spectral complements of operator matrices, the Moore-Penrose inverse and Drazin inverse of projections in a C~*-algebra, Weyl theorem and infimum and generalized infimum of quantum effects on a Hilbert space.

本文研究内容涉及Hilbert空间中算子矩阵的谱补、C~*代数上投影算子的Drazin逆及Moore-Penrose逆、Banach空间上算子的Browder定理和Weyl定理、Hilbert空间中量子效应的下确界和广义下确界四个方面的内容。

It's bell can reach over a meter in diameter.

它的身体最大可以达到直径1米多。

Now they are overdue and I shall have to pay a fine.

现在他们过期了，我不得不付罚款。