...网 词），则称P是一个 变化谓词（changing predicate，CP）．一个STAT中 所有CP的集合就是变化谓词集（changing predicates set，CPS）． 根据静态系统假定和变化谓词集就可以判断一 个动作的效果． 定理3．如果系统满足静态系统假定，那么...
基于2个网页-相关网页
的集合就是变化谓词集
The set is the set of changing predicates
以上为机器翻译结果，长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动