查询词典 algebraic form

As an important algebraic subject, rings are the base on Algebraic Geometry and Algebraic Number Theory.

环作为一门重要的代数学科是代数几何和代数数论的基础，有许多其它相关学科领域都涉及到环。

We posed the concept of sufficient intersection about s(1≤s≤n) algebraic hypersurfaces in n-dimensional space and proved the dimension of polynomial space Pm(which denotes the space of all multivariate polynomials of total degree≤m) on the algebraic manifold S=s(f1,…, fs) where f1(X=0,…, f s=0denote s algebraic hypersurfaces of sufficient intersection, then gave a convenient expression for dimension calculation by using the backw ard difference operator.

给出了n维空间中s(1≤s≤n)个代数超曲面充分相交的概念，证明了n元m次多项式空间Pm在充分相交的代数流形S=s(f1，…， fs)（f1=0，…， fs=0表示s个代数超曲面）上的维数，并利用倒差分算子给出一个方便计算的表达式；构造了沿代数流形上插值适定结点组的叠加插值法；证明了在充分相交的代数流形上任意次插值适定结点组的存在性；给出代数流形上插值适定结点组的性质和判定条件。

In order to solvepiecewise algebraic varieties, we propose a new method to compute an algebraic varietyon a convex polyhedron by adding hyperplanes with the method of Groebner bases. Thus,the algebraic variety on the convex polyhedron is transformed to the positive solutionsof a system of polynomials. Besides, the minimal decomposition is also obtained.

通过添加超平面技巧将Groebner基方法应用到凸多面体内任意维代数簇的计算上，从而把凸多面体内的代数簇转化为另外一组多项式方程组的正解，并且得到了该代数簇在凸多面体内的极小分解。

We describe the algebraic characteristic of the public-key cryptosystems based on algebraic structures such as elliptic curves,bilinear pairings,as well as braid group s,with the emphasis on the difficulties of constructing public-key cryptosystems based on non-commutative algebraic structures.

通过分析基于椭圆曲线、双线性对以及基于辫子群的公钥密码体制的代数学特征，着重讨论了构建基于非交换代数的公钥密码体制所面临的困难。

Using the concept of Boolean functions and combinatorics theory comprehensively, we investigate the construction on annihilators of Boolean functions and the algebraic immunity of symmetric Boolean functions in cryptography:Firstly, we introduce two methods of constructing the annihilators of Boolean functions, Construction I makes annihilators based on the minor term expression of Boolean function, meanwhile we get a way to judge whether a Boolean function has low degree annihilators by feature matrix. In Construction II, we use the subfunctions to construct annihilators, we also apply Construction II to LILI-128 and Toyocrypt, and the attacking complexity is reduced greatly. We study the algebraic immunitiy of (5,1,3,12) rotation symmetric staturated best functions and a type of constructed functions, then we prove that a new class of functions are invariants of algebraic attacks, and this property is generalized in the end.Secondly, we present a construction on symmetric annihilators of symmetric Boolean functions.

本文主要利用布尔函数的相关概念并结合组合论的相关知识，对密码学中布尔函数的零化子构造问题以及对称布尔函数代数免疫性进行了研究，主要包括以下两方面的内容：首先，给出两种布尔函数零化子的构造方法，构造Ⅰ利用布尔函数的小项表示构造零化子，得到求布尔函数f代数次数≤d的零化子的算法，同时得到通过布尔函数的特征矩阵判断零化子的存在性：构造Ⅱ利用布尔函数退化后的子函数构造零化子，将此构造方法应用于LILI-128，Toyocrypt等流密码体制中，使得攻击的复杂度大大降低；通过研究(5，1，3，12)旋转对称饱和最优函数的代数免疫和一类构造函数的代数免疫，证明了一类函数为代数攻击不变量，并对此性质作了进一步推广。

The sums may be from any one or combination of the following topics: pre-algebra, algebraic expressions, algebraic expansion (multiplication of binomials and trinomials), algebraic factors, simple equations,simultaneous equations and quadratic equations.

数学试题可能来自于下列主题之一或者其组合：学龄前数学，数学表达式，代数表达式，代数因数，简单等式，联立方程式和二次方程式。

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自动机的极小化问题，并给出了在有限步可实现此极小化的算法。

Adopt ASP. NET 2003 is regarded as the developing instrument, the design of storehouse of the data follows 3 normal form :, have designed the coding schedule of goods and materials mainly, tombarthite product structure catalogue, basic information slip of the job centre, route form of the craft , project code of the expenses, journal ledger of the cost of goods, subsidiary ledger of the cost of goods, department's form, measurement unit form, the supplies inventory safeguards the counting type structure form, real expenses form, share the proportion form in power of kinetic energy, salary expenses share proportion form, amortization charge share proportion , maintain expenses share proportion , test expenses share proportion , main frame left menu tree form , material price list ,etc. data list

采用ASP 。NET 2003作为开发工具，数据库设计遵循第三范式，符合第二范式的条件，每个非关键字属性都仅由关键字决定，而且一个非关键字属性不能仅仅是对另一个非关键字属性的进一步描述(即一个非关键字属性值不依赖于另一个非关键字属性值)。，主要设计了物资编码表、稀土产品结构目录表、工作中心的基本情况表、工艺路线表、费用项目编码、产品成本总帐、产品成本明细帐、部门表、计量单位表、物料清单维护数型结构表、实际费用表、动能功率分摊比例表、工资费用分摊比例表、折旧费用分摊比例、维护费用分摊比例、化验费用分摊比例、主框架左菜单树表、材料价格表等数据表。

First, a simple criterion on the delay-independent asymptotic stability has been derived in the form of the algebraic Riccati inequality and algebraic Riccati equation for the linear systems with time-varying multi-state delays.

4针对工业生产中广泛存在的不确定时滞过程，研究了时滞系统的渐近稳定性的判定方法和镇定方法。

In the light of the complex, high-level and non-linear feature of the mathematical model which describe the transport of the coalbed methane, this paper study the fully-implicit solving method of the mathematical model in detail. Based on the complexity of the algebraic equations which are formed eventually, according to the alternating direction implicit difference pattern, this paper use the iterative method and the fully main element Gauss-Jordan eliminating method to solve equations, which is to use the iterative method to determine coefficient matrix and use the fully main element Gauss-Jordan method to solve th linear algebraic equation group, at the same time of studying the solving method of the mathematical model, according to the devising requirement of FORTRAN77 program structure, this paper draw up computer program and form the corresponding computer model, and verify the validity and reliability of the model in theory by operating the model.

重点研究了模型内、外边界及有关参数的处理，针对描述煤层甲烷运移的数学模型是一个复杂、高阶非线性数学模型的特点，详细研究了模型的全隐式求解方法，根据最后形成的代数方程组的复杂性，按交替方向隐式差分格式，采用迭代与全选主元高斯约当消去法相结合的方法求解方程：即确定系数矩阵采用迭代法，求解线性方程组时采用全选主元高斯约当消去法，在研究模型解法的同时按FORTRAN结构化程序设计的要求，编制计算机程序，形成相应的CBMRS计算机模型，并通过模型的运行从理论上证明了模型的正确性与可靠性。

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.

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