1) 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语义表演算,进而定义了一种可靠、完备且可判定的推理关系,从而构建了完整的语义网推理框架。
2) 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方法引入超表演算中,使超表演算能处理含等词的一阶逻辑问题,这种新的表演算不但具有完备性,而且无需回溯,是用表演算完成含等词的一阶逻辑定理机器证明的一种尝试。
3) expression calculus
表达式演算
4) calculating operation,representative
代表性演算
5) 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.
通过对现有表面演化算法的比较,建立了一种基于单一表面演化算法的反应离子深刻蚀模型,有效地解决了运算效率、材料区分等问题及对原表面演化算法稳定性的改善,并对深刻蚀中的淀积模型进行了改进。
6) minimum list calculation
极小化表演算
补充资料：表演
1.戏剧﹑舞蹈﹑杂技等的演出。亦指把情节或技艺表现出来。 2.指做示范性的动作。 3.谓做事不真实，好象演戏一样。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条