查询词典 algebraic hypersurface of the seconed order

Secondly, in a more generalized framestructrue--lattice-ordered monoids,the notion of lattice-valued Mealy-type automata is introduced,we traverse some algebraic properties of this automata and investigate the congruences and homomorphisms of this type automata.Our main results indicate that the algebraic properties of lattice-valued Mealy-type automata have Close links to the algebraic properties of lattice-ordered monoids which automata take values in.Futhermore we study the minimization of lattice-valued Mealy-type automata and provide an algorithm to achieve the minimal lattice-valued Mealy-type automata within finite steps.

其次，在更一般的框架—格半群意义下，提出具有输入和输出字符的自动机——格值Mealy自动机的概念，从代数角度出发较详细地研究了此类自动机具有的性质，同时研究了此类自动机的同余和同态，揭示了此类自动机的代数性质和格半群的紧密联系，最终研究了格值Mealy自动机的极小化问题，并给出了在有限步可实现此极小化的算法。

Using the theories of probability, algebra and spectral theory comprehensively, we investigate some related characteristics of logic functions in cryptography: Firstly, we introduce m order generalized s - correlation immunity of Boolean vector functions and prove that the higher order generalized ε- correlation immunity can guarantee the lower order generalized ε- correlation immunity. Then by applying decomposition formula of joint distribution of Boolean random vectors, we give a spectrum criterion of m order generalized e - correlation immunity of Boolean vector functions. Furthermore, we show that the algebraic degree of m order generalized e - correlation immune Boolean vector functions is not restricted by the correlation immune orders.

本文主要运用概率论的思想和方法，并结合代数学和频谱理论的相关知识，对密码学中逻辑函数的有关性质进行了研究，主要包括以下三个方面的内容：首先，对布尔向量函数的相关免疫性进行了拓展，给出了k维布尔向量函数m阶广义ε-相关免疫的概念，证明了布尔向量函数的高阶广义ε-相关免疫性蕴含低阶广义ε-相关免疫性，并根据布尔随机向量联合分布分解式得到了布尔向量函数m阶广义ε-相关免疫的一个谱判别条件，还说明了m阶广义ε-相关免疫布尔向量函数的代数次数不受相关免疫阶数的制约。

Now that the L-valued fuzzy state automata has such powerful computation capacity, it is necessary to traverse the algebraic properties such as transformation semigroups,products and covering relations in L-valued fuzzy automata in order to show the close correspondence between the algebraic properties and the latticeordered monoid.

既然格值自动机具有如此强大的计算能力，有必要对其从代数角度出发较详细地，较深入地研究此类自动机的变换半群，乘积和覆盖关系，揭示此类自动机的代数性质和格半群间的紧密联系。

By using the solutions of a new auxiliary elliptic equation,a direct algebraic method is proposed to construct the exact solutions of some nonlinear evolution equations.The main difference between this method and previous auxiliary elliptic equation methods is that the balance order becomes smaller after using the new auxiliary elliptic equation.Therefore,the derived algebraic equations are greatly simplified.

利用一个新的辅助椭圆方程将求解非线性发展方程精确解的问题转化为一个代数方程组进行求解，与已有的辅助椭圆方程法的主要不同是，应用这一新的辅助椭圆方程后降低了平衡次数，减少了所得的代数方程组的个数和方程的项数，从而大大地简化了代数方程组的求解。

There are three main methods in face localization: localization according to face outline, localization according to complexion and localization according to templates constructed by some standard sample images. As to feature extraction, it can be divided into two parts because face features can be divided into geometrical features and algebraic features. While extracting geometrical features, the features of eyes, nose, mouth, eyebrows can be gained by some image processes: binary, sharpen, smooth, projection, calculating gradient and so on. In order to extract algebraic features, we can do some mathematical transformation for the digital images such as singular value decomposition, K-L transformation.

在人脸检测部分，目前存在的方法有利用人脸的几何轮廓进行检测、利用人脸的肤色信息进行检测、构造标准人脸模板进行匹配检测等等；在人脸特征提取部分，可以用一些图像处理的方法如投影、二值化、求梯度图像等提取人脸中各特征器官如眼睛、鼻子、嘴巴等的几何特征，另外也可以借助于数学变换，求取人脸图像的一些代数特征，如对图像进行奇异值分解，以奇异值代表图象的特征，或对图像进行K-L变换，以图像在构造的特征空间上的投影系数作为图像的特征等；在识别部分，可以通过距离度量或相似度来判断输入图像与样本图像的匹配程度，还可以通过神经网络方法进行人脸的识别。

When an order is form in position machine, the needed breeds and quantity of cigarette will be established and thesequence and time of cigarette sorting in an order will be also established, so before sorting an order, the order'length can be compute, but before sorting an order, the order's space is existenced as a virtual space, thus supposed a virtual space which loaded finished cigarette and order when virtual space arrive the corresponding sorter, plc control the time parameter and activated the sorting, and the sorter sorting cigarette to virtual space, an order accomplished.

对件烟行走时间进行了建模并提出了一种烟草自动分拣算法，当订单在上位机生成后，所需烟品种及数量随之确定，因此订单中所要分拣的烟分拣的次序及分拣的时刻也就可以确定，所以在订单分拣之前，订单的长度是可以计算出来的，而在未真正分拣之前，订单的长度是一个&虚拟存在的空间&，应用逆向推理的过程可假设一个装成品烟和订单的&虚拟空间&，当&虚拟空间&到达对应的分拣机位置时，通过plc对订单中件烟时间参数的控制，分拣机自动分拣件烟至&虚拟空间&完成订单分拣，该算法实现方便并能节约大量的硬件成本，对其他一些物流分拣行业也具有一定的推广价值。

Moreover, multivariate splines are closely related with some topics in pure mathematics, such as, abstract algebraic, algebraic geometry and combinatorics.

另一方面，多元样条与基础数学的一些领域，如：抽象代数、代数几何、微分方程及组合数学等，亦有着密切关联。

The algebraic laws of InforSIB event algebra and its context consumption policy are discussed. Context consumption policy is very suitable for real-time monitoring applications and has good algebraic laws to ensure that the time and space complexity is bounded for composite event detection.

讨论了InforSIB事件代数的代数性质，提出的上下文策略非常适合用于实时监控等领域，且具有良好的代数性质，保证了复合事件检测的时间和空间复杂度是有界的。

In addition, access control policies of aggregated resources can be formulated as expressions of the algebra. Several algebraic properties of policy expressions are discussed. It shows that the algebraic properties of policy expressions can be used to verify whether policy composition results meet the protection needs of each party.

用代数表达式形式化地描述聚合资源的访问控制策略，讨论了策略表达式的若干代数性质，说明可借助策略表达式的代数性质去验证策略合成结果是否符合各方对聚合资源的保护性需求。

Aiming at OQL, we treated type as monoid (collection monoid and primitive monoid), and used monoid comprehension as OQL's intermediate representation. Therefore we can merge the rewrite rules for a number of collection types, then employ monoid comprehension in defining algebraic operators, as cut out the limit that in relational algebra/calculus algebraic operators are only for set.

针对ODMG-2.0的对象查询语言OQL，我们把类型提高到幺群级，然后从幺群概括入手，用幺群概括作为OQL的查询中间表示，统一了多种聚集类型的重写规则，幺群概括还被我们用于定义代数操作符，这使得代数操作符突破了关系代数/演算中只针对集合的局限。

The shaping method of noncircular part and the tool holder's radial motion characters in noncircular turning process are discussed in detail in the thesis.

论文详细研究了非圆零件的成型方法和加工过程中刀架的径向运动规律。

I have not really liked him,I do not like his this kind of disposition.

我没有真的喜欢他，我不喜欢他的这种性格。