2) fixpoint constructor
不动点构造算子
1.
Based on hybrid graded μ-calculus, the description logic μALCQO which may include terminological cycles is presented, and the μALCQO is derived form the description logic ALCQO which includes the nominal constructor by adding the least and greatest fixpoint constructors.
基于混合分级μ-演算将不动点构造算子引入到含有枚举构造算子的描述逻辑ALCQO中,提出了一种允许包含循环术语集的描述逻辑μALCQO。
3) construction algorithm
构造算法
1.
A construction algorithm for the incomplete optimized OOC based on the multi-length OOC theory is presented.
文章在复合长度光正交码(Multi-length-OOC)的理论研究基础上,提出了一种基于Multilength-OOC理论的不完全优化光正交码构造算法;借助计算机仿真设计,得到了一组光正交码;仿真结果表明,基于Multi-length-OOC的构造算法的可行性与准确性。
2.
An LDPC code structure using cyclic shift matrices and an efficient LDPC code construction algorithm using the character- istic matrices is proposed.
本文研究了一种基于循环移位矩阵结构的LDPC码,提出了一种高效的基于特征矩阵的LDPC码构造算法。
3.
The construction algorithm avoids iterative process of typical gradi.
文章针对前馈网络的特点,提出了一种网络构造算法。
5) constructing algorithm
构造算法
1.
A Constructing Algorithm of Message Digests Based on Graphs Isomorphism and One-Way Permutation;
一种基于图同构和单向置换的报文摘要构造算法
6) generation calculus
构造演算
补充资料：不动
【不动】
（菩萨）(参见：不动明王)
（菩萨）(参见：不动明王)
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条