谓词化算子,predicationaliser英语短句,例句大全

谓词化算子,predicationaliser
1)predicationaliser谓词化算子
2)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.本文基于模型驱动开发方法,使用结构分析和设计语言设计铁路平交道口控制系统,并使用谓词演算对系统的安全性进行分析,提高了系统的开发效率。

英文短句/例句

1.connective in predicate calculus谓词演算中的连接词
2.atomic formula in predicate calculus谓词演算中的原子公式
3.A legitimate expression of the predicate calculus. That is, it is acceptable under the predicate calculus' syntax.一个合法的谓词演算表达式，即谓词演算语法所允许的公式。
4.The atomic formula is called atom for short in predicate calculus.在谓词演算中,有时将原子公式简称为原子。
5.This is not expressible as a first-order predicate calculus property.这就是一个一阶谓词演算不可表述的属性。
6.Also, first-order predicate calculus isn't good enough anyway.同时，从各方面来说，一阶谓词演算都不是足够好。
7.Construction of predicate calculus finite set based on the requirement of management information ontology管理信息本体需求的谓词演算有限集构造
8.This kind of assertion seems to require special language extensions and has led people to suggest introducing first-order predicate calculus.这种情况下的断言似乎就需要实现特定的语言扩展，于是一些人建议引入一阶谓词演算。
9.A Model Checking Algorithm for Predicate Mu Calculus and Spatial Logic基于谓词μ演算和空间逻辑的模型检测算法研究
10.Computation method of spatial topological relation predicates with multiple hierarchies多层次空间拓扑关系谓词的计算方法
11.Algorithm of predicate abstraction for intermediate form of Java program针对Java语言中间形式的谓词抽象算法
12.Division Operation Semantics and Realization by SQL Based on Predicate Logic;基于谓词逻辑的除法运算语义及其SQL实现
13.Formalized Analysis of Trusted Computing Based on Conditional Predicate Logic基于条件谓词逻辑的可信计算形式化分析
14.play@ is the predicate verb;“play”为谓语动词；
15.The term "Raba"means "roaming artist"."热巴":"热巴"一词，意为"流浪艺人"、也是人们对其表演形式的称谓。
16.Keywords: genetic algorithms, structural optimization, penalty techniques.关键词：遗传演算法、构最佳化、罚技术。
17.Uniting Calculation Equivalence Description to the Traditional Lexical Logic;联合演算对传统词项逻辑的等价描述
18.it takes a plural predicate verb.但要使用复数谓语动词。

相关短句/例句

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.本文基于模型驱动开发方法,使用结构分析和设计语言设计铁路平交道口控制系统,并使用谓词演算对系统的安全性进行分析,提高了系统的开发效率。
3)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状态进行分类和添加索引,使得在运行时能快速确定谓词计算和数据缓存等的时机。
4)arithmetical predicate算术谓词
5)computable predicate可算谓词
6)predicate optimization谓词优化
1.And then a predicate optimization algorithm is presented,incorporating characteristics of certain chips architecture.Sias等人提出的一种基于二进制决策图(BDD)的谓词分析系统(PAS);然后在其基础上,提出了结合芯片自身体系结构特点的谓词优化算法。