1) change predicate
变化谓词
2) predicate variable
谓词变项
3) predicate optimization
谓词优化
1.
And then a predicate optimization algorithm is presented,incorporating characteristics of certain chips architecture.
Sias等人提出的一种基于二进制决策图(BDD)的谓词分析系统(PAS);然后在其基础上,提出了结合芯片自身体系结构特点的谓词优化算法。
4) predicate/transition net
谓词/变迁网
5) predicate-invariance
谓词不变性
1.
In this paper, state feedback of predicate-invariance is introduced to make robot adapt the dynamic environment and overcome the shortcoming of “moveing and waiting”.
对此本文首次提出了利用基于谓词不变性的状态反馈控制来对原有的方法进行改进 ,使机器人能够对动态环境具有适应
6) predicate transition net
谓词变迁网
补充资料：谓词
分子式：
CAS号：
性质：在数理逻辑中，把命题的内部结构分析为具有主语和谓语的逻辑形式，与中英文表达中的主语和谓语相仿。PROLOG语言每一个子句用谓词开头，谓词相当于日常语言中的谓语。其逻辑结构在很大程度上植根于谓词逻辑(或称谓词演算)。谓词有内部谓词和用户定义谓词两类。
CAS号：
性质：在数理逻辑中，把命题的内部结构分析为具有主语和谓语的逻辑形式，与中英文表达中的主语和谓语相仿。PROLOG语言每一个子句用谓词开头，谓词相当于日常语言中的谓语。其逻辑结构在很大程度上植根于谓词逻辑(或称谓词演算)。谓词有内部谓词和用户定义谓词两类。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条