谓词符号
- 与 谓词符号 相关的网络例句 [注：此内容来源于网络，仅供参考]
-
Some of the safe mobile codes may be rejected to execute, since there is no way to verify statically that the symbol range value of an array subscript expression in PCC.
PCC的数组边界检查存在着由于无法确定数组下标表达式符号值的范围，而造成拒绝执行一些安全的移动代码等问题。本文给出的一种数组边界检查的优化及生成算法，不仅能够比较好地解决了这一问题，同时还生成了循环不变式注解中的条件谓词。
-
In the form of mathematical logic and related branches, functional predicate or function symbol is applied to an object key and generate another object entry logic symbols.
在形式逻辑和相关的数学分支中，泛函谓词或函数符号是应用于一个对象项而生成另一个对象项的逻辑符号。
-
We adopt concurrency method, and use the knowledge of the number theory, such as the Legendre symbol and the the congruence equation to construct some families of the opaque predicates that are suit for Java program.
采用并发方法，用勒让德符号和同余方程等数论知识构造了适合混淆Java程序的不透明谓词簇。
-
In the predicate calculus, a connector connecting two conjunctive formulas denoted by sign ∧or∩.
在谓词演算中，一种连接二个合式公式的连接符，用符号∧或∩表示。
-
So we present an algorithm based on reachability analysis, and a more complex one which uses a stronger temporal logic (timed predicate μ, calculus) and can verify more properties.
在模型检测的算法方面，本文首先给出了时间符号迁移图上的一个可达性分析算法，随后还定义了能刻划更复杂性质的实时谓词μ演算并给出了检测这些性质的相应模型检测算法。
-
In mathematical logic, predicate logic is the formal system of universal symbolic terms, such as first order logic, second order logic, many types of logic or infinitary logic ...
在数理逻辑中，谓词逻辑是符号形式系统的通用术语，比如一阶逻辑，二阶逻辑，多类逻辑或infinitary逻辑。。。。
- 推荐网络例句
-
Neither the killing of Mr Zarqawi nor any breakthrough on the political front will stop the insurgency and the fratricidal murders in their tracks.
在对危险的南部地区访问时，他斥责什叶派民兵领导人对中央集权的挑衅行为。
-
In fact,I've got him on the satellite mobile right now.
实际上 我们已接通卫星可视电话了
-
The enrich the peopling of Deng Xiaoping of century great person thought, it is the main component in system of theory of Deng Xiaoping economy, it is a when our country economy builds basic task important facet.
世纪伟人邓小平的富民思想，是邓小平经济理论体系中的重要组成部分，是我国经济建设根本任务的一个重要方面。