说明:双击或选中下面任意单词,将显示该词的音标、读音、翻译等;选中中文或多个词,将显示翻译。
您的位置:首页 -> 词典 -> 表演算
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.谓做事不真实,好象演戏一样。
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条