1) predicate template
谓词模板
1.
Aiming at solving these problems,we defined the predicate template and the clause template to reduce search space and put forward a learning algorithm using Genetic Algorithm(GA),which code is clause template,to learn MLNs s structure,using Particle Swarm Optimiza.
针对这些问题,本文定义谓词模板、子句模板以缩小搜索空间,提出一种采用子句模板编码的遗传算法来学习MLN结构,并用粒子群算法学习MLN的权参数。
2) predicate model
谓词模型
4) 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模型基础上扩展了动态的角色约束关系。
5) explicit predicates model
显式谓词模型
6) predicate filter model
谓词过滤模型
1.
After network packet transition and capture mechanism is studied,two different predicate filter model ar.
在剖析数据包传输捕获机制的基础之上,详细分析了两种不同的谓词过滤模型的原理及操作过程,并对工作效率进行了对比分析,得出了可控制流图模型总体上优于过滤树模型的结论。
补充资料：递归谓词
递归谓词
recursive predicate
递归谓词[recur咖e predica.e;pe叮pc”Bnu益即e八”-KaT] 在自然数上定义的一个谓词(Predicate)p(x、，…，工。)，使得在自然数上由条件 fl，如果P(x、，一、x.)为真， I{X，.’‘.X_，=悦 to，如果尸(x，，…，x。)为假定义的函数f是一个递归函数(recursive灿Iction). B.E.fl月HcKO撰杜小杨译
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条