1) hyper tableau calculus
超表演算
1.
The hyper tableau calculus is capable of solving first-order logic problems with equality by introducing superposition to it, which is competent in equality reasoning.
将处理等词问题的Superposition方法引入超表演算中,使超表演算能处理含等词的一阶逻辑问题,这种新的表演算不但具有完备性,而且无需回溯,是用表演算完成含等词的一阶逻辑定理机器证明的一种尝试。
2) tableau calculus
表演算
1.
A semantic tableau calculus is constructed in QCDLs for the reasoning on the knowledge bases with acyclic TBox.
该文基于Hunter的拟经典逻辑(QCL),构造了新型超协调拟经典描述逻辑(QCDLs),避免了逻辑爆炸问题,同时,针对基于非周期TBox的知识库推理问题,建立了QCDLs语义表演算,进而定义了一种可靠、完备且可判定的推理关系,从而构建了完整的语义网推理框架。
3) The act is superb.
表演很高超。
4) expression calculus
表达式演算
5) calculating operation,representative
代表性演算
6) surface evolvement algorithm
表面演化算法
1.
After comparing the characteristics of main surface evolvement algorithms, a Deep-RIE model is developed based on a single surface evolvement algorithm.
通过对现有表面演化算法的比较,建立了一种基于单一表面演化算法的反应离子深刻蚀模型,有效地解决了运算效率、材料区分等问题及对原表面演化算法稳定性的改善,并对深刻蚀中的淀积模型进行了改进。
补充资料：超超
1.谓超然出尘。 2.高高在上貌。 3.犹绰绰。 4.见"超超玄箸"。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条