1) 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状态进行分类和添加索引,使得在运行时能快速确定谓词计算和数据缓存等的时机。
2) semi-computable predicates
半可计算谓词
3) 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.
本文基于模型驱动开发方法,使用结构分析和设计语言设计铁路平交道口控制系统,并使用谓词演算对系统的安全性进行分析,提高了系统的开发效率。
4) arithmetical predicate
算术谓词
5) computable predicate
可算谓词
6) step-counting predicate
计步谓词
补充资料：洪水调节计算(见水库调洪计算)
洪水调节计算(见水库调洪计算)
hongshui tiaojie洪水调节计算J ISUan 见水库调洪计算。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条