1) fair predicate approach
公平谓词法
1.
This paper describes the mechanism of the publish/subscibe mode and message filtering arithmetic in JMS,and introduces an improved message filtering arithmetic based on fair predicate approach through analyzing the performance insufficiency in traditional method.
研究了JMS发布/订阅消息传递模式的工作机制,分析了JMS在对事件进行匹配时的过滤算法,针对该算法的不足提出了采用公平谓词法来改进JMS的消息过滤速度,改进方法对基于JMS的发布/订阅应用程序的开发具有一定的指导意义。
3) the title words of "gong" groups
"公"组称谓词
6) first-order predicate expression
一阶谓词公式
1.
This paper studies the modeling of first-order predicate expression by using predicate/transion system.
研究了利用谓词/变迁系统对一阶谓词公式建模的方法。
补充资料：谓词符号
谓词符号
predkate symbol
谓词符号[pred吮ate卿u由d;.p“阴KaT眼“c皿M.0几I， 谓词字母(predicate卜tter) 某些具体谓词或关系的一种记号.例如符号簇 常表示实数上的序关系;它是一个二元谓词.在语言 的形式结构中，表示谓词的符号必被用到，它以一种 良定义的方式，用于构造语言的表达式.特别地，如果 尸是一个n元谓词符号，那么以下规则应为在形式.化语言中构造表达式的语法规则之一二“如果t、，’“， t。是项，那么尸(t，，…，t。)是一个公式’.因此， 谓词符号在语法上用于构造公式，在语义上表示谓词.【补注】谓词符号亦称为关系符号(relations卿bol).
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条