1) predicate intersection model
谓词交叉模型
2) predicate model
谓词模型
3) predicate task model
谓词任务模型
1.
The concurrent transaction logic was described by the extended predicate task model and the dynamic constraint relations among the subtasks was found out by analyzing the concurrent executive net of subtasks.
采用扩展谓词任务模型描述并发事务逻辑,在基于子任务的并发执行活动网络模型上分析出各个子任务之间的动态约束关系,从而在传统RBAC模型基础上扩展了动态的角色约束关系。
4) explicit predicates model
显式谓词模型
5) predicate filter model
谓词过滤模型
1.
After network packet transition and capture mechanism is studied,two different predicate filter model ar.
在剖析数据包传输捕获机制的基础之上,详细分析了两种不同的谓词过滤模型的原理及操作过程,并对工作效率进行了对比分析,得出了可控制流图模型总体上优于过滤树模型的结论。
6) WP model
谓词转换模型
补充资料：谓词
分子式：
CAS号：
性质：在数理逻辑中，把命题的内部结构分析为具有主语和谓语的逻辑形式，与中英文表达中的主语和谓语相仿。PROLOG语言每一个子句用谓词开头，谓词相当于日常语言中的谓语。其逻辑结构在很大程度上植根于谓词逻辑(或称谓词演算)。谓词有内部谓词和用户定义谓词两类。
CAS号：
性质：在数理逻辑中，把命题的内部结构分析为具有主语和谓语的逻辑形式，与中英文表达中的主语和谓语相仿。PROLOG语言每一个子句用谓词开头，谓词相当于日常语言中的谓语。其逻辑结构在很大程度上植根于谓词逻辑(或称谓词演算)。谓词有内部谓词和用户定义谓词两类。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条