1) g-calculus
g演算
1.
In this paper, action calculi is used to include g-calculus (a computational calculus for higher-order concurrent programming) in its setting.
试图把g演算(一种基于约束的高阶并发计算模)也包含在action演算簇的框架下。
2) (f,g)-inversion
(f,g)-反演
1.
A new method of getting new identities is obtained by applying(f,g)-inversion to the identities.
通过对马欣荣提出的(f,g)-反演的研究,将其应用于恒等式,得到一个推出新恒等式的方法,并且利用该方法结合超几何级数数据库里的一些著名恒等式得到了新的形式比较完美的恒等式。
3) G-P algorithm
G-P算法
1.
Through discussing gear faults diagnosis method based on correlative dimension,analyzing G-P algorithm, and confirming the important parameter--embedding dimension,the correlative dimensions of gear in different work conditions are calculated.
基于关联维数的齿轮故障诊断方法,通过研究关联维数的G-P算法,确定嵌入维数这一重要参数,由此计算齿轮在不同状态下的振动信号的关联维数。
2.
The actual computation indicates that when the time series length is 20 480, the time consumption of calculating the correlation dimension using the improved algorithm is 1/60 of that of using the G-P algorithm.
验证表明:对于长度为20480的时间序列,采用快速算法计算关联维数,其耗时量是G-P算法的1/60。
6) G-S algorithm
G-S算法
1.
G-S algorithm has been considered a widely applicable phase retrieval algorithm.
提出一种将G-S算法应用于周期性结构衍射物相位恢复的简便方法。
补充资料:Ski组合子演算
ski 组合子演算是一个计算系统,它是对无类型版本的 lambda 演算的简约。这个系统声称在 lambda 演算中所有运算都可以用三个组合子s、k和i来表达。
在这个系统中的所有函数可以只使用s、k、i的字母表和圆括号(分组符号)来表达。通常假定组合子是左结合的,从而在不影响执行次序的情况下精简表达式中的圆括号。
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条