1) aggregation calculus
聚合演算
1.
The core thinking is,the various aggregation subsets based upon the self-organizing aggregation calculus with diversified aggregation criterion could have the intersect parts.
提出了实现自组织多层次归约的一个指导原则,即自组聚合与归约的协调准则,其核心思想是,基于多聚合准则的自组聚合演算中的各个聚合子集是可以相交的,相交的部分是下一步归约演算的基础。
2) uniting calculation
联合演算
1.
Hilbert and Ackermann have not solved the problem of traditional nature judgment and its inference equivalence description in uniting calculation.
希尔柏特和阿克曼并没有解决传统性质判断及其构成的推理式在联合演算中的等价表述问题,而克劳斯对传统推论的理解和翻译则有更大的偏差。
3) hybrid μ-calculus
混合μ-演算
1.
Based on hybrid μ-calculus,description logic μALCIO which may include terminlolgical cycles is presented,and μALCIO is derived form description logic ALCIO which includes nominal constructors by adding least and greatest fixpoint constructors.
分析了描述逻辑循环术语集的研究现状和存在的问题,基于混合μ-演算将不动点构造算子引入到含有枚举构造算子的描述逻辑ALCIO中,提出了一种允许包含循环术语集的描述逻辑μALCIO。
4) aggregating algorithm
聚合算法
1.
Based on DTT a novel aggregating algorithm of scalable feedback trust information is proposed,and the DTT is constructed according to node s direct tr.
针对现有的动态信任聚合算法中利用基于信任链的广播方式进行反馈信任信息搜索而导致的系统运算收敛慢、可扩展性差等问题,建立了直接信任树(DTT)的概念,并基于DTT提出了一种新的可扩展的反馈信任信息聚合算法。
5) aggregation operation
聚合运算
1.
In consideration of the complexity of the aggregation operation of time in process neural networks, a new learning algorithm based on function orthogonal basis expansion is proposed.
该文在考虑过程神经网络对时间聚合运算的复杂性的基础上 ,提出了一种基于函数正交基展开的学习算法 。
6) aggregation operator
聚合算子
补充资料：Ski组合子演算
ski 组合子演算是一个计算系统，它是对无类型版本的 lambda 演算的简约。这个系统声称在 lambda 演算中所有运算都可以用三个组合子s、k和i来表达。
在这个系统中的所有函数可以只使用s、k、i的字母表和圆括号(分组符号)来表达。通常假定组合子是左结合的，从而在不影响执行次序的情况下精简表达式中的圆括号。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条