查询词典 algebra over k

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.

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

Everything in algebra was boring extrapolation after that, including the quadratic equation, which I have never used in my life.

以后代数中的种种推论都很枯燥，包括二次方程式，我这辈子从未用过它。

You can snipe the second and third union leaders from this position.

您可以鹬第二和第三工会领袖从这一立场出发。

Aiming at the currently shortage of XML streams quality detecting, this paper proposes a new forecasting method of XML streams quality by least squares support vector machines, which is used the method of XML keys' vector matrix as windows, and vector product wavelet transform to multilevel decompose and refactor the XML streams series, that can fulfill real-time checking demand of XML quality, and ensure constraint, consist- ency and integrality. For even more adapting net load, it proposes a control strategy by weight and adaptive adjustment to ensure XML streams quality.

针对当前XML数据流质量检测存在的不足，提出构建XML键的矢量矩阵作为窗口，利用矢量积小波变换多级分解与重构XML数据流，再结合最小二乘支持向量机对XML数据流质量进行预测的一种方法，满足XML数据流质量重构时实时检测的要求，保证XML数据的约束性、一致性与完整性；为了更好的适应网络负载，采取加权与自适应窗口调整等调度策略充分保证XML数据流的质量检测。