1) predicationaliser
谓词化算子
2) predicate calculus
谓词演算
1.
Construction of predicate calculus finite set based on the requirement of management information ontology
管理信息本体需求的谓词演算有限集构造
2.
The safety of the system is analyzed with the predicate calculus.
本文基于模型驱动开发方法,使用结构分析和设计语言设计铁路平交道口控制系统,并使用谓词演算对系统的安全性进行分析,提高了系统的开发效率。
3) predicate evaluation
谓词计算
1.
In XSIEQ, all XPath expressions are converted into a single NFA by prefix sharing, and the NFA states are labeled with type and index, so the opportunity of predicate evaluation and data cache can be quickly decided in runtime.
它利用前缀共享的方法由多个XPath式构造一个NFA,并对NFA状态进行分类和添加索引,使得在运行时能快速确定谓词计算和数据缓存等的时机。
4) arithmetical predicate
算术谓词
5) computable predicate
可算谓词
6) predicate optimization
谓词优化
1.
And then a predicate optimization algorithm is presented,incorporating characteristics of certain chips architecture.
Sias等人提出的一种基于二进制决策图(BDD)的谓词分析系统(PAS);然后在其基础上,提出了结合芯片自身体系结构特点的谓词优化算法。
补充资料：谓词
分子式：
CAS号：
性质：在数理逻辑中，把命题的内部结构分析为具有主语和谓语的逻辑形式，与中英文表达中的主语和谓语相仿。PROLOG语言每一个子句用谓词开头，谓词相当于日常语言中的谓语。其逻辑结构在很大程度上植根于谓词逻辑(或称谓词演算)。谓词有内部谓词和用户定义谓词两类。
CAS号：
性质：在数理逻辑中，把命题的内部结构分析为具有主语和谓语的逻辑形式，与中英文表达中的主语和谓语相仿。PROLOG语言每一个子句用谓词开头，谓词相当于日常语言中的谓语。其逻辑结构在很大程度上植根于谓词逻辑(或称谓词演算)。谓词有内部谓词和用户定义谓词两类。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条