1) finite of infinite region
有限域或无限域
2) infinite media
无限域
1.
Local incompatible mesh method for infinite media wave problems;
无限域波动问题的局部非协调网格法
3) infinite domain
无限域
1.
Dynamic artificial boundaries condition for infinite domain;
无限域中的动力人工边界
2.
The result shows that model is economic and credible in the discretization of far-field of infinite domain, especially to researching for dynamic problems.
结果表明,用这一模型来离散无限域的远场,特别是研究动力问题,具有较好的经济性和可靠性。
3.
Meshless virtual boundary method is used to calculate the infinite domain problems.
采用具有紧支特性的样条函数构造近似函数,将无网格虚边界法应用于无限域问题的求解。
4) half-space
半无限域
1.
Infinite boundary elements for analysis of half-space problems;
用无穷边界元分析半无限域问题
2.
An infinite element approach for three-dimensional boundary element analysis of half-space problems is presented.
在现有程序基础上,引入无穷边界单元,利用其研究三维半无限域问题,并将计算结果与传统边界元法的计算结果进行比较,验证了公式和程序的有效性。
5) infinite field
无限域
1.
In order to solve infinite field problems better and eliminate negative influence of the truncation boundary method on computational accuracy of load near field, the method about joint application of finite element, combined strip element and mapped infinite element on infinity field problems is put forward in this paper.
提出了将有限元、组合条元与映射无穷元联合应用求解无限域问题的思想 。
2.
It is not convenient to solve those engineering problems defined in an infinite field by using FEM.
在有限元法中,无限域的问题不便于处理求解· 但无限域往往可以由规则的无限外域再加上有限的局部域组成· 将无限域问题中的有限局部域用有限元法处理,在规则的无限外域中建立极坐标系,将规则无限域问题导向哈密顿体系,利用本征向量展开的方法,推导出一种新的半解析无限解析元,其刚度阵是精确的· 该单元可用常规方法作为一个超级有限单元与有限的局部域连接· 数值计算结果表明,该单元具有精度高,应用方便,数据处理非常简单的特点· 对无限域问题的数值求解有重要意义· 该方法可推广到三维无限域问题中·
6) Infinite horizon
无限域
1.
To avoid the computational difficulty in solving infinite horizon optimal control problem with Riccati equation for time-varying systems, an infinite horizon dynamic optimal control method is developed using continuous time continuous state Hopfield neural networks (CTCSHNN).
为避免直接采用Riccati方程求解时变系统无限域最优控制问题时的计算困难,本文提出一种基于时间连续状态连续型Hopfield网络(CTCSHNN)实现无限域动态最优控制的方法。
补充资料：有限域
仅含有限多个元素的域。它首先由E.伽罗瓦所发现，因而又称为伽罗瓦域。它和有理数域、实数域比较，有着许多不同的性质。最简单的有限域是整数环Z 模一个素数p得到的商环Z/(p),由p个元素0,1,...,p-1组成,按模p相加和相乘。这p个元素的域简记为Fp，有如下性质：pα=0;，αp=α其中α、b∈Fp。Fp称为特征为p的素域,它与素数成一一对应。
任一有限域的特征是一素数。一个特征为素数 p的有限域F仍满足上述的第一、第二两条性质，F包含一个最小的子域,由单位元素e的一切倍数0,e,2e...,(p-1)e组成，它与Z/(p)同构。因此一个特征为p的有限域总是以特征为p的素域Fp作为子域。
特征p的有限域F也是Fp上一个有限维线性空间。设维数为n，F对Fp的一基为ε1,ε2,...,εn,则F由下列pn个元素组成：所以｜F｜=pn。F的乘法群F*=F-{0}是一个pn-1阶循环群，恰好是多项式的全部根。因此,F恰好由在Fp的代数闭包内的全部根组成。反之,任给一个素数p和一个正整数n，恒存在一个含pn个元素的有限域,它就是多项式在Fp上的分裂域。元素个数相同的任何两个有限域是同构的。因此,在同构意义下,对每个素数p和一个正整数n，存在一个而且只有一个含pn个元素的有限域，这个有限域记作GF(pn)。
顺便指出，J.H.M.韦德伯恩于1905年证明了"有限除环必是乘法交换的"。因此，有限除环就是现在所说的有限域。
对n的每个因子d,GF(pn)有一个而且只有一个含pd个元素的子域。因此,GF(pn)的子域和n的因子成一一对应。
有限域F=GF(pn)有一个弗罗贝尼乌斯自同构,有,对所有x∈F，当且仅当n|k,因而σ生成一个n阶循环群G，|G|=[F:Fp]。F/Fp是一个伽罗瓦扩张，G是它的群，对n的每个因子d,在伽罗瓦对应下，子群〈〉和它的不动域GF()成一一对应。
对于α∈F=GF(pn),规定：
,称为α从F到Fp的迹，在不致引起混淆的情况下,简记作Tr。Tr(x)是线性空间F/Fp上的一个线性函数,是加法群F到加法群Fp的一个满同态。
对α∈F，规定：，称为α从F到Fp的范数,可简记作N(α)。N是乘法群F*到F壩的一个满同态。
设??(x)是元素α∈F＝GF(pn)在Fp上的极小多项式，??(x)的次数称为α的次数,α的次数d等于[Fp(α):Fp],因而d│n。假设α≠0,则α的次数d和α在乘法群F*中的阶e有如下的关系:d是最小正整数,使得pd呏1(тode), 即α的次数等于pтode的指数。
若α(≠0)的阶等于pn-1,则α称为F的一个本原元素。它的极小多项式??(x)称为（n次）本原多项式。
设g(x)是Fp[x]中一个不可约多项式, 且g(x)≠x,若存在一个最小正整数r使得 xr呏1(modg(x))，则r称为g(x)的周期。一个非零的 α∈F的极小多项式??(x)的周期，等于α的阶。特别，一个n次本原多项式的周期等于pn-1。设一个不可约多项式g(x)(≠x)的周期为r,则g(x)k的周期等于rps，其中ps-1≤ps。
Fp[x]的一个m 次不可约多项式g(x)在GF(pn)内有根；；这三者是等价的。因此,Fp[x]中n次不可约多项式全是的因式,n次不可约多项式的个数为,其中μ(d)是麦比乌斯函数。用表示Fp上全部n次不可约多项式(首项系数为1)的积，于是。n次本原多项式的个数为，其中φ(m)为欧拉函数。
Fp上一个多项式??(x)（次数n≥1）的分解对现代通信有很重要的关系。在理论上它和商环R=Fp[x]/(??(x))的代数结构又密切相关。令，则V有如下的性质。
① Fp嶅V嶅R，V为R的一个子环而且半单,因而V是一些与Fp同构的子域的直和,i=1,2,...,g;g等于V作为Fp上线性空间的维数，g也是??(x)在Fp上相异的不可约因式的个数。的单位元素ei(i=1,2,...,g),构成R的互相正交的本原幂等元而且。
② 令，则 Pi(x)为一个不可约多项式的方幂,,而且·。pj(x)称为??(x)的准素因式。
为了给出分解??(x)的实际的计算法，还有如下性质。
③ R有一个F自同构π：π(g(x))=g(x)p，g(x)∈R，则V就是属于π的特征值1的全部特征向量和0构成的特征子空间。于是有:a.设η∈V,g(x)为??(x)的一个因式,如果g(x)凲η-i,i=0,1,...,p-1,则为一个非平凡的分解，而且这个条件也是必要的。上面的乘积中出现的因式两两互素。b.设η1,η2,...,ηg为V对Fp的一基，则g(x)为一个不可约多项式的方幂，其充分必要条件是每个ηi与Fp中一个元素modg(x)同余。
分解??(x)的步骤大致如下:不妨设η1=1。用η2按a.分解??(x),得到的因式记为??1(x),??2(x),...,??r(x),r≤g-1，每个??i(x)按b.进行检验，如果??i(x)含有两个或两个以上不同素因式，则存在一个ηj,j>2，使得??i(x)和ηj满足a.中的条件，用ηj对??i(x)进行分解, 如此进行下去,经有限步后,即得到??(x)的全部准素因式pi(x)，i=1,2,...,g,而pi(x)的分解是容易的。至于V的求得,则是属于线性方程组的问题。
判定一个n次多项式??(x)是否是本原的,还没有一般的方法，只有用试算的办法去计算具体的??(x)的周期之后才能作出判断。F2上 168次以下的三项或五项的本原多项式（每个次数给出一个）已经有表可查。计算出全部F上n次不可约多项式大致有两种途径,一是直接分解第2n-1个分圆多项式，一是筛法,它正如求有理素数的筛法一样。F2上16次以下的全部不可约多项式和17～34次具有各种周期的不可约多项式有表可查。
令R表示由有限域 F上的形式幂级数组成的环。??可逆的充分必要条件是α0≠0。如果存在一个正整数l使得,那么??就称为循环的。若??是循环的,则最小的l就称为??的周期。全部循环幂级数构成R的一个子环,记作C。R中所有形如h(x)/g(x)的真分式构成R的一个子环，记作B,这里h(x)和g(x)是F[x]中的多项式, h(x)的次数小于g(x)的次数,且g(0)≠0。可以证明,C=B。因此,B与C的关系正如正的真分数（分母与10互素）与循环小数的关系一样。有限域在现代通信（例如编码）、组合数学（例如有限几何、区组设计、差集合、正交拉丁方）以及正交试验设计等各方面，有广泛的应用。
仅以线性反馈移位寄存器序列（以下简称线性移存器序列）为例，叙述如下。有限域F上一个非退化n位线性移存器序列,从一个非零初态x0，x1,...，xn-1出发产生一个输出序列, 称之为一个n位线性移存器序列，它在 t时刻的输出xt是它前 n个时刻的输出的线性函数 ，式中b)j∈F，是与时刻 t无关的常数。这个n位非退化线性移存器的功能由上述递推关系所刻画。将输出序列表成幂级数,此时x相当于移存器中的迟延算子。令,则α(x)·g(x)为一个次数不大于(n-1)的多项式，记为h(x)，于是α(x)=h(x)/g(x)，因而α(x)是一个循环级数，α(x)的周期等于g(x)/d(x)的周期，其中d(x)=(g(x),h(X))。若g(x)是可约的,则α(x) 的周期还依赖于所给的初态。若 g(x)是不可约的，从任一非零初态出发得到的α(x)有同一周期，即g(x)的周期。反之，任给一个n次多项式g(x)，且g(0)=1,则可以造出一个非退化 n位线性反馈移存器序列使得它的功能由g(x)所确定。
应用n次本原多项式可以造出周期最长的n位线性反馈移存器序列。
参考书目
L.Dickson,Linear Algebraic Groups, with an Exposition of the Galois Field Theory, Dover,NewYork, 1958.
A.Albert,Fundamental Concepts of Higher Algebra, Univ. of Chicago Press, Chicago, 1956.
任一有限域的特征是一素数。一个特征为素数 p的有限域F仍满足上述的第一、第二两条性质，F包含一个最小的子域,由单位元素e的一切倍数0,e,2e...,(p-1)e组成，它与Z/(p)同构。因此一个特征为p的有限域总是以特征为p的素域Fp作为子域。
特征p的有限域F也是Fp上一个有限维线性空间。设维数为n，F对Fp的一基为ε1,ε2,...,εn,则F由下列pn个元素组成：所以｜F｜=pn。F的乘法群F*=F-{0}是一个pn-1阶循环群，恰好是多项式的全部根。因此,F恰好由在Fp的代数闭包内的全部根组成。反之,任给一个素数p和一个正整数n，恒存在一个含pn个元素的有限域,它就是多项式在Fp上的分裂域。元素个数相同的任何两个有限域是同构的。因此,在同构意义下,对每个素数p和一个正整数n，存在一个而且只有一个含pn个元素的有限域，这个有限域记作GF(pn)。
顺便指出，J.H.M.韦德伯恩于1905年证明了"有限除环必是乘法交换的"。因此，有限除环就是现在所说的有限域。
对n的每个因子d,GF(pn)有一个而且只有一个含pd个元素的子域。因此,GF(pn)的子域和n的因子成一一对应。
有限域F=GF(pn)有一个弗罗贝尼乌斯自同构,有,对所有x∈F，当且仅当n|k,因而σ生成一个n阶循环群G，|G|=[F:Fp]。F/Fp是一个伽罗瓦扩张，G是它的群，对n的每个因子d,在伽罗瓦对应下，子群〈〉和它的不动域GF()成一一对应。
对于α∈F=GF(pn),规定：
,称为α从F到Fp的迹，在不致引起混淆的情况下,简记作Tr。Tr(x)是线性空间F/Fp上的一个线性函数,是加法群F到加法群Fp的一个满同态。
对α∈F，规定：，称为α从F到Fp的范数,可简记作N(α)。N是乘法群F*到F壩的一个满同态。
设??(x)是元素α∈F＝GF(pn)在Fp上的极小多项式，??(x)的次数称为α的次数,α的次数d等于[Fp(α):Fp],因而d│n。假设α≠0,则α的次数d和α在乘法群F*中的阶e有如下的关系:d是最小正整数,使得pd呏1(тode), 即α的次数等于pтode的指数。
若α(≠0)的阶等于pn-1,则α称为F的一个本原元素。它的极小多项式??(x)称为（n次）本原多项式。
设g(x)是Fp[x]中一个不可约多项式, 且g(x)≠x,若存在一个最小正整数r使得 xr呏1(modg(x))，则r称为g(x)的周期。一个非零的 α∈F的极小多项式??(x)的周期，等于α的阶。特别，一个n次本原多项式的周期等于pn-1。设一个不可约多项式g(x)(≠x)的周期为r,则g(x)k的周期等于rps，其中ps-1
Fp[x]的一个m 次不可约多项式g(x)在GF(pn)内有根；；这三者是等价的。因此,Fp[x]中n次不可约多项式全是的因式,n次不可约多项式的个数为,其中μ(d)是麦比乌斯函数。用表示Fp上全部n次不可约多项式(首项系数为1)的积，于是。n次本原多项式的个数为，其中φ(m)为欧拉函数。
Fp上一个多项式??(x)（次数n≥1）的分解对现代通信有很重要的关系。在理论上它和商环R=Fp[x]/(??(x))的代数结构又密切相关。令，则V有如下的性质。
① Fp嶅V嶅R，V为R的一个子环而且半单,因而V是一些与Fp同构的子域的直和,i=1,2,...,g;g等于V作为Fp上线性空间的维数，g也是??(x)在Fp上相异的不可约因式的个数。的单位元素ei(i=1,2,...,g),构成R的互相正交的本原幂等元而且。
② 令，则 Pi(x)为一个不可约多项式的方幂,,而且·。pj(x)称为??(x)的准素因式。
为了给出分解??(x)的实际的计算法，还有如下性质。
③ R有一个F自同构π：π(g(x))=g(x)p，g(x)∈R，则V就是属于π的特征值1的全部特征向量和0构成的特征子空间。于是有:a.设η∈V,g(x)为??(x)的一个因式,如果g(x)凲η-i,i=0,1,...,p-1,则为一个非平凡的分解，而且这个条件也是必要的。上面的乘积中出现的因式两两互素。b.设η1,η2,...,ηg为V对Fp的一基，则g(x)为一个不可约多项式的方幂，其充分必要条件是每个ηi与Fp中一个元素modg(x)同余。
分解??(x)的步骤大致如下:不妨设η1=1。用η2按a.分解??(x),得到的因式记为??1(x),??2(x),...,??r(x),r≤g-1，每个??i(x)按b.进行检验，如果??i(x)含有两个或两个以上不同素因式，则存在一个ηj,j>2，使得??i(x)和ηj满足a.中的条件，用ηj对??i(x)进行分解, 如此进行下去,经有限步后,即得到??(x)的全部准素因式pi(x)，i=1,2,...,g,而pi(x)的分解是容易的。至于V的求得,则是属于线性方程组的问题。
判定一个n次多项式??(x)是否是本原的,还没有一般的方法，只有用试算的办法去计算具体的??(x)的周期之后才能作出判断。F2上 168次以下的三项或五项的本原多项式（每个次数给出一个）已经有表可查。计算出全部F上n次不可约多项式大致有两种途径,一是直接分解第2n-1个分圆多项式，一是筛法,它正如求有理素数的筛法一样。F2上16次以下的全部不可约多项式和17～34次具有各种周期的不可约多项式有表可查。
令R表示由有限域 F上的形式幂级数组成的环。??可逆的充分必要条件是α0≠0。如果存在一个正整数l使得,那么??就称为循环的。若??是循环的,则最小的l就称为??的周期。全部循环幂级数构成R的一个子环,记作C。R中所有形如h(x)/g(x)的真分式构成R的一个子环，记作B,这里h(x)和g(x)是F[x]中的多项式, h(x)的次数小于g(x)的次数,且g(0)≠0。可以证明,C=B。因此,B与C的关系正如正的真分数（分母与10互素）与循环小数的关系一样。有限域在现代通信（例如编码）、组合数学（例如有限几何、区组设计、差集合、正交拉丁方）以及正交试验设计等各方面，有广泛的应用。
仅以线性反馈移位寄存器序列（以下简称线性移存器序列）为例，叙述如下。有限域F上一个非退化n位线性移存器序列,从一个非零初态x0，x1,...，xn-1出发产生一个输出序列, 称之为一个n位线性移存器序列，它在 t时刻的输出xt是它前 n个时刻的输出的线性函数 ，式中b)j∈F，是与时刻 t无关的常数。这个n位非退化线性移存器的功能由上述递推关系所刻画。将输出序列表成幂级数,此时x相当于移存器中的迟延算子。令,则α(x)·g(x)为一个次数不大于(n-1)的多项式，记为h(x)，于是α(x)=h(x)/g(x)，因而α(x)是一个循环级数，α(x)的周期等于g(x)/d(x)的周期，其中d(x)=(g(x),h(X))。若g(x)是可约的,则α(x) 的周期还依赖于所给的初态。若 g(x)是不可约的，从任一非零初态出发得到的α(x)有同一周期，即g(x)的周期。反之，任给一个n次多项式g(x)，且g(0)=1,则可以造出一个非退化 n位线性反馈移存器序列使得它的功能由g(x)所确定。
应用n次本原多项式可以造出周期最长的n位线性反馈移存器序列。
参考书目
L.Dickson,Linear Algebraic Groups, with an Exposition of the Galois Field Theory, Dover,NewYork, 1958.
A.Albert,Fundamental Concepts of Higher Algebra, Univ. of Chicago Press, Chicago, 1956.
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条