1) generalized boundary recursive method
广义边界递归法
2) generalized boundary element methods
广义边界元法
1.
Sparse preconditioners are first considered for standard boundary element methods and then developed for the generalized boundary element methods (extended dual reciprocity methods).
然后阐述广义边界元法及其推广。
3) General Boundary Element Method
广义边界元方法
1.
The present paper applied the General Boundary Element Method(GBEM)proposed by Liao and co-worker[3]-[5]to solve the Navier-Stokes equations in primitive variables.
本研究应用广义边界元方法求解了原始变量的、定常的 Navier-Stokes 方程。
4) generalized recurrent set
广义递归集
1.
Associated with the endomorphism of the free semigroup S* generated by a finite alphabet S ={al, , at} there the collection of mappings on Rd and homomorphism f: S* Rd such that The generalized recurrent sets K [W] are constructed by means of those given above.
对应于定义在一个由有限字符集S={ai|1≤i≤t} 所生成的自由半群S*上的自同态映射θ,我们考虑Rd上的映射族(θ)={L(ai,aj,k,θ)|1≤k≤w(i,j)} 及同态映射f:S 满足在此框架上构造出广义递归集 。
5) generalized right-linear reeursion
广义右线性递归
6) ceneralized recurrent inference
广义递归反演
补充资料:广义递归论
把自然数集上定义的递归论推广到其他数学结构上去而得到的数学理论。常见的有有穷类型对象上的递归论和序数上的递归论。
有穷类型对象如下定义:自然数称为0型对象。由n型对象到自然数集的全函数称为n+1型对象。一型对象φ的计算相当于有一个执行机械过程的机器M,对M输入数n后可得到输出m=φ(n)。二型对象F(??,n)的计算相当于上述机器M外加上一个外部信息源即?? 的图形。对输入??,n,M对输入n的计算时,常要问机外信息源??对某个变目的值,根据值的不同而依不同的步骤进行计算,最后给出输出m=F(??,n)。上述两类计算都是有穷步内完成的计算。三型对象F(F,??,n)的计算相当于上述机器M外加上两个外部信息源即??的图形(基数为堗0)和F 的图形(基数为2)。M对输入n 的计算时要问到??对某变元的值,和问到F对某变元的值。在问到F对变元g的值时要计算g的图形,因此此时M的计算不再是有穷步内可停止的计算了。相仿地可有更高类型对象的计算。
还可以把递归论推广到序数上去。最初是用集合论的工具,如降S-L定理,推广到一切序数上去。后来发展为推广到序数的某些前节上去。最主要的是推广到可允许序数上去,称为α-递归论。当α>ω后出现了许多ω-递归论中不存在的现象,例如有界和有穷不再是相同的概念了,这就使α-递归论的证明大大地复杂了。
ω-递归论的某些结果可以推广到一切可允许序数α上去,例如波斯特问题的解决。有些结果只在某些可允许序数上成立,而在另一些可允许序数上不成立,如极大集的存在性定理。再如当α>ω后,O′以下ω-度的结构和O′以α-度的结构不同构。
有穷类型对象如下定义:自然数称为0型对象。由n型对象到自然数集的全函数称为n+1型对象。一型对象φ的计算相当于有一个执行机械过程的机器M,对M输入数n后可得到输出m=φ(n)。二型对象F(??,n)的计算相当于上述机器M外加上一个外部信息源即?? 的图形。对输入??,n,M对输入n的计算时,常要问机外信息源??对某个变目的值,根据值的不同而依不同的步骤进行计算,最后给出输出m=F(??,n)。上述两类计算都是有穷步内完成的计算。三型对象F(F,??,n)的计算相当于上述机器M外加上两个外部信息源即??的图形(基数为堗0)和F 的图形(基数为2)。M对输入n 的计算时要问到??对某变元的值,和问到F对某变元的值。在问到F对变元g的值时要计算g的图形,因此此时M的计算不再是有穷步内可停止的计算了。相仿地可有更高类型对象的计算。
还可以把递归论推广到序数上去。最初是用集合论的工具,如降S-L定理,推广到一切序数上去。后来发展为推广到序数的某些前节上去。最主要的是推广到可允许序数上去,称为α-递归论。当α>ω后出现了许多ω-递归论中不存在的现象,例如有界和有穷不再是相同的概念了,这就使α-递归论的证明大大地复杂了。
ω-递归论的某些结果可以推广到一切可允许序数α上去,例如波斯特问题的解决。有些结果只在某些可允许序数上成立,而在另一些可允许序数上不成立,如极大集的存在性定理。再如当α>ω后,O′以下ω-度的结构和O′以α-度的结构不同构。
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条