1) algebraic form
代数形式
2) formex algebra
形式代数
1.
In view of the problem that the direct parametric modeling is difficult to be clearly expressed by using the formex algebra,an indirect parametric modeling approach for spatial grid structures was given.
鉴于运用形式代数进行参数化建模只适用于简单空间结构的问题,提出了对空间网格结构的参数化快速间接二次建模新方法。
2.
Using formex algebra theory,this paper compiles procedure in FORTRAIN language in order to configurate automatically for a structure of special shape,such as globe,hyperboloid and paraboloid ,etc,and avoid previous tedious work.
依据形式代数（ｆｏｒｍｅｘａｌｇｅｂｒａ）理论，用ＦＯＲＴＲＡＮ语言编制了实用程序，使外形比较复杂的球面网壳、椭球形网壳、双曲抛物面形及筒壳等形式的网格结构能够利用计算机自动成形，避免了以往冗长、单调且易于出错的结构成形工作，与计算机辅助图形相结合，既直观又便于修改和检查。
3.
The basic concepts and theories of formex algebra and the present state of the formex configuration processing were put forward on the basis of those methods.
在阐述空间结构建模基本方法的基础上,介绍了形式代数的发展现状、基本概念及其基本理论。
3) formal algebraic term
形式代数项数
1.
For a pair of known plaintext and ciphertext,algebraic degrees of equations on field GF(24) are presented,The number of formal algebraic term and linearly independent equations about quardratic equations on field GF(2),as well as their relationship and differences are also given.
借鉴对Rijndael进行代数分析时写方程的方法,对Fly算法进行了基本的代数分析,给出GF(24)上的一个明密对的高次方程的代数次数,同时给出了GF(2)上的二次方程组的形式代数项数和线性独立方程的个数,并分析了它们之间的联系与区别。
2.
In this paper , We mainly analyze several secure parameters in the design of block ciphers, including branch number of the SP-structure cipher, Algebraic degrees and the number of formal algebraic term.
给出了GF(2~4)上的一个明密对的关于密钥方程的代数次数;同时给出了GF(2)上的二次方程组的形式代数项数和线性独立方程的个数:若给定一对明密文,i拍(i＞7)得到GF(2)上的线性独立方程的个数为r=lli,项数为t=88i-432。
4) Complex number algebraic expression
复数的代数形式
5) contravariant algebraic form
逆变代数形式
1.
The differential equations are expressed partially by the equations of Hamilton system and then they can be written in the contravariant algebraic form.
将微分方程部分地表示为Hamilton系统的方程并写成逆变代数形式。
6) algebraic formal pattern recognition
代数形式模式识别
补充资料：代数群的形式
代数群的形式
form of an algebraic group
代数群的形式【肠肋1 ofana匆如.k粤.甲;中。，”a助re‘p朋邢c肋曲rpyn叫]，定义在城k上的代数群G的 一个定义在域k上并且在k的某一扩域L上与G同构的代数群(诚罗b.心gro叩)G‘.在这一情形，G‘称为G的一个L/k形式(L/k一form).女睬气是k在某一固定的代数闭的基域K(泛区域)内的可分闭包，则k:/k形式就简称为G的k形式.一个群的两个L/k形式称为等价的，如果它们在k上是同构的.G的L/k形式的等价类的集合记作E(L/k，G)(在L=气的情形就记作E(k，G))(见[51，[7]，[8]). 例.令k=R，K=C，则 G/_丁/xy、:、+，_l飞 〔\一yx/’J和 G烈血g(x，力:xy=l}是定义在k上的一般线性群GL(2)的两个子群，而G/是G的一个k形式(定义在K上的同构毋:G产~G由公式_汀x办、一__， 价炸，i))一‘(x+。，二一iy)给出).这个k形式不与G等价(如果将G看成它自己关于恒等同构G~G的一个k形式的话).在这个例子里，集合E(k，句由上述两个k形式所代表的两个元素组成. 代数群的形式的分类问题可以自然地用G曲幽上同调(G山妇cohe明fogy)的语言重新阐述(【31，汇5』).这就是，假设习k是一个G目。is扩张，几，是它的Galais群(赋予Kf山1拓扑).群几/。自然地作用在G的一切L自同构所组成的群AutLG上，同时也作用在G’到G的一切L同构的集合上(在坐标中，这些作用就归结为n/k里的自同构作用到由各自的映射所定义的有理函数的系数上).令中:G‘~G是一个L同构，令。e几*，令扩是中在。的作用之下的象.那么映射几、~AutL口，。巨几=扩。职一，，是几/*的一个连续1上闭链，取值在离散群A以LG内.当中被另一个L同构G‘~G所代替时，这个上闭链变成同一上同调类丙的一个上闭链.这样就产生一个映射E(L/k，G)~甘(几，、，AutLG).对G的形式的这种上同调的解释的最重要一点在于这个映射是一一映射.在这一情形，当所有自同构几都是内自同构时，G‘就称为G的一个内形式(双止坦r form)，否则称为一个外形式(。u比r form). 对于连通可约化群有完善发展了的形式的理论，在这里与代数闭域上线性代数群的结构理论相平行的理论已被建立起来:k根，k一V阳yl群，k上的B山hat分解，等等.在这里，极大k分裂环面起着极大环面的作用，而极小k抛物子群则起着B心心子群的作用(l11，【2]，【6]，「7]).这个理论使得可以将形式的分类问题归结为k上非迷向的可约化群(见非迷向群(田应泪。。-Pic grouP);非迷向核(哪。加picke现d))的分类问题.后者的分类问题本质上依赖于域k的性质.如果k=R而K=C，则半单代数群的形式的刻画与复半单代数群的实形式的刻画是一样的(见块群的泛化(colr甲-k刘断cation ofa比grouP)).
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条