查询词典 algebra

Difference set is one kind of unbounded difference poset. The existenceof the tensor products of two cancellative difference sets are investigated. It isproved that the tensor product of a Boolean algebra and a cancellative differenceset always exists.

作为差分偏序集无界推广的差分集，我们研究了它的张量积问题，证明了任何消去差分集和布尔代数的张量积一定存在。

By this equality,we prove that the amplitude of a compact DG module M over a cohomologically bounded DG algebra A is just the sum of the amplitude of A and the projective dimension of M.

对于一个同调有界的连通DG代数上的紧的DG模，我们由此等式可得其振幅与DO代数的振幅的差恰是它的投射维数。

We next establish certain conditions which arc necessary and sufficient for a projective module over a cellular algebra to be injective.

给出了胞腔代数是标准分层代数的一个充分条件，利用这个条件我们介绍了一种归纳构造标准分层的胞腔代数的方法； 5。

Together with some basic knowledge of Linear Algebra, we prove that there exists a polynomial time algorithm for finding the shortest contractible cycle in an locally LEW-embedded graph. 3. By some results of Minor Theorem, we prove the crossing numbers of some circular graphs C(10,4), C(9,3), C(8,3) on the projective plane.

利用C.Thomassen在大边宽嵌入方面的工作，得到了局部大边宽嵌入图的一些性质，再利用线性代数的知识，证明了在局部大边宽条件下存在多项式时间算法可以找到一个图的最短可收缩圈。

Projective transformation of curved surface and plane intersecting line are completed based on vector algebra,adopting space coordinate transforming method.

方法基于向量代数，采用空间坐标变换方法，建立了圆锥面与平面相交中截交曲线的形成特点，讨论了二次曲线的构成的数学原理。

ABSTRACT This thesis discussed the application of Clifford Algebra and attention mechanism and projective invariants in computer vision.

本文探讨了Clifford代数、注意机制与射影不变量在计算机视觉中的应用。

Finally,a simplified case of BOFL,i.e.Boolean Operator Propositional Logicestablished on a Boolean algebra,is further discussed.A complete algorithmfor finding the true level and false level of a formula in BOPL,which subsumes the re-lated work by Wang H.in the propositional logic,is also provided.

对布尔算子模糊逻辑的简化情形一布尔算子命题逻辑作了进一步讨论，放宽了对真值域的要求，将布尔算子命题逻辑建立在布尔代数上，并推广了命题逻辑中的王浩算法，给出了一个完备的求给定公式恒真水平和恒假水平的机械推导算法。

This paper proves that it is impossible for all the theorems in classical propositional calculus to be tautologies in the field of fuzzy propositional calculus, then a quasi formal deductive system is established for fuzzy propositional calculus based on a kind of type algebra.

引入了一种代数，称为模糊公式代数。在这种代数上建立了一个准形式演绎系统，证明了相应的可靠性定理与相容性定理，提出了程度化的ModusPonens规则和HypotheticalSylogism规则

Firstly, this paper definited pseudometric d for n -foldproduct of σ-algebra A of subsets of a given set X , and definited indicator function ; secondly, gave the concept of differentiable of set function at S° and concept of partial derivative at S° with respect to the ith argument Si through indicator function, and defound the weak efficient solution of and optimality necessary condition; Finally, obtained three weak duality results and strong duality results under generalized convexity conditions.

首先，对已知集X的子集的σ-代数A的n-折积A^n，定义了伪度量d，给出了相应的特征函数〈h，Is〉；其次，通过特征函数给出了集函数在S 可微的定义及集函数在S 关于第i个变量Si的偏导数定义；给出了多目标规划问题的弱有效解概念及的最优性必要条件；最后，分别在目标函数和约束函数的3种较弱凸性条件下，研究n-集函数多目标规划问题的对偶问题，获得了3个弱对偶结果和强对偶结果。

As human epistemology is concerned, there are at least five kinds of natural basic means for human to know about the universe: sensibility (time-space, algebra, geometry and all sensory abilities of human), intellectuality, aesthetic appreciation and aesthetic purposiveness and supreme rationality, which constitute the connection between subject and object. People use these basic ways to recognize themselves and all things in the universe.

关于人类认识论：人类认识宇宙的先天基本方式至少有五种，感性（时空、代数、几何及人类所有的感官能力）、知性、审美、审目的和最高理性等，它们构成了主体与客体之间的联系，人类用这些基本方式来认识自身及宇宙万事万物。

I can not make it blossom and suits me

我不能让树为我开花

When temperatures are above approximately 80 °C discolouration of the raceways or rolling elements is a frequent feature.

当温度高于 80 °C 左右时，滚道或滚动元件褪色是很常见的特征。