查询词典 algebra

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.

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

Though vector algebra, the theory of Pythagorean Theorem in Three-dimensional Euclidean Space was generalized with n-dimensional Eudidean space.

以向量代数为工具，将三维欧氏空间上的勾股定理在n维欧氏空间上进行了推广，得到了广义勾股定理。

Simple and quadratic equation and some skills of operation in Algebra may come from Babylon.

《代数学》中所讨论的一次和二次方程以及某些运算技巧可能源于巴比伦。

In the days of sailing vessels the crew were afraid they would be becalmed on the ocean.

在使用帆船的时代，船员们担心他们会因为无风而无法在海洋上航行。

As long as foreign donors pay the PA's salary bill, few expect a new intifada.

只要外国继续为巴权力机构的薪水买单，希望发动新暴动的人便寥寥无几。