1) semantic approximation
语义逼近
1.
Semantic substitution rules and ranking stra-tegy based on semantic approximation degree also are exploited.
为此,提出基于语义逼近的信息查询方法,探讨了语义替换规则和基于逼近度的查询结果排序策略。
2) extended Sard approximation
广义Sard逼近
1.
Using natural spline functions with multiple knots, we discuss the extended Sard approximation of Linear functional.
本文利用具有重结点的自然样条函数,讨论了线性泛函Ff=sum from i=0 to n-1[integral from a to b a_i(x)D~i f(x)dx+sum from j=0 to L~1 b_(ij)D~i f(x_(ij))]的广义Sard逼近问题。
3) generalized extended interpolation
广义延拓逼近法
1.
Therefore,we present a new kind of generalized extended interpolation method to construct the generalized extended approaching model for a non-circular curved surface of typical mechanical elements by using the scattered measured points of mechanical elements and then implement its high precision mechanical elements prof.
对于高精度机械零件的非圆曲面轮廓,一般采用线性插值法和拟合法进行设计,但都普遍存在设计精度不高等缺陷;为此我们采用一种新的广义延拓逼近法,利用典型零件的离散测量点进行数据逼近处理,构造出机械零件非圆曲面的广义延拓逼近模型,从而实现高精度机械零件的曲面轮廓设计。
2.
When designing a high precision cam profile,we utilize a new kind of generalized extended interpolation method to construct the generalized extended approaching model for a cam non-circular curved surface by using the scattered measured points of a non-circular curved surface of cam profile to implement the optimal design of the cam profile.
我们在高精度的凸轮轮廓几何设计中,采用一种新的广义延拓逼近法,利用凸轮轮廓非圆曲面的离散测量点,构造出凸轮非圆曲面的广义延拓逼近模型,来优化设计凸轮轮廓。
4) generalized monotone approximation
广义单调逼近
5) generalized strong co-approximation
广义强共逼近
1.
making a study of the generalized strong co-approximation,with an example to illustrate the difference and relationship between the best o-approximation and the best approximation.
本文继续考察赋范线性空间中的最佳共逼近，研究了广义强共逼近，揭示了最佳共逼近与最佳逼近的区别与联系。
6) generalized polynomial approximation
广义多项式逼近
补充资料：操作语义
操作语义
operational semantics
式求值的抽象机器的模型，这个机器的存储区分成三部分:栈区st(用作工作区)，环境区:(保存数据向量等)，控制区。(保存程序)。整个存储区记作(、t，:，。)，称为抽象机器的一个大状态。这个抽象机器具有识别符号、完成算术和逻辑运算、转储信息、实现大状态之间的转移等基本功能。 这个机器的大状态转移规则分为四类: (l)(st，s，(el叩eZ)/c)”(st，s，。;/。2/甲/。) (2)(st，:，碑/‘)冷(n/:t，:，。) (3)(st，s，x、/e)”(x、/sr，s，e) (4)(n/m/st，s，叩/e)=>(k/st，s，c)(k=m opn) 第一类规则表示，当控制区中待执行的程序要求完成表达式(。1叩eZ)的求值时，抽象机就转移自己的大状态，准备先求子表达式。l和e2的值，然后再按照相应的运算叩(+，一，X或其它算子)，求出整个表达式的值，符号“/”用于分割存放的信息。第二类规则表示，当求值的表达式是一个常量时，则其值就是抽象机中表示这个常量的相应的量(粗体用来区别语言中的符号和在抽象机中的相应表示)，表达式的值暂存于栈区。第三类规则表示，当表达式是一个变量时，其值就是环境区中相应单元的当前值，即第i个变量x‘的值就是数据向量s的第i个分量:、的值。第四类规则表示，当运算叩的两个操作数已经求得，则可按照抽象机中的相应运算求出op作用于操作数的结果。 在这个抽象机中，表达式(x:X xZ)+l(在xl，xZ值为2和3时)的求值是由下述大状态的转移序列完成的，转移符号冷的上方标有实现这一转移依 0、，产、，声据的转移规则号，设:=(2，3，s((x;XxZ)+i)/。(s(1)冷(:t，、(x;XxZ)/1/+/。)岑(、‘，:，(二，/二2)又1/+/。)里(2/st，、，二2/又1/+/。)缪(3/2/st，:，x/1/、/。)军(6/、‘，、，l/+/。)里(l/6/::，:，+，/。) (4) 冷(7/:t，s，e) 这个抽象机正确刻画出算术表达式求值的全过程，故可作为算术表达式的操作语义。 为定义赋值语句(x‘:二e)的操作语义，可在上述抽象机中添加如下转移规则: (5)(st，s，(x、:=e);/c)今(:t，s，e/x*:=/。) (6)(n/:t，:，吞:=/。)=>(st，:}in，。) 第五类规则表示，当抽象机执行(x‘:=。)时，先求出表达式仑的值，然后再给x*赋值。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条