查询词典 vote checking

These rules describe the equational semantics of FOPL and are the basis of type checking and program proof system creating.

第四章主要讨论了FOPL类型系统的附类型规则、纯洁性规则和表达式等价规则，从而给出了FOPL的方程语义的描述。

A widely used method for checking real-time systems is,according to the real-time property to be checked,to use a proper bi-simulation equivalence relation to convert the infinite-timed state space to a finite equivalence class space.

一个被广泛用于验证实时系统的方法是根据被验证的实时性质，使用适当的双向模拟等价关系使无限的状态空间转化为有限的状态等价类空间。

For example, a reasonably trained, reasonably motivated programmer can do a perfectly fine job finding boundary conditions and checking whether each known equivalence class is handled.

例如，一个接受过一定培训、有一定积极性的程序员可以很好地找到边界条件，并且检查每一个等价类是否都处理了。

This process is called formal equivalence checking and is a problem that is studied under the broader area of formal verification.

这一过程被称为正式等价性检验，是一个问题，是研究在更广泛领域的正式确认。

The algorithm use our proposed heuristic to do output grouping for complex problems, and thus the equivalence checking problem can be converted into some circuit SAT problems, circuit SAT solver was used to solve these sub-problems.

对那些具有较多输出的复杂电路，为共享结构信息从而提高验证速度，使用输出分组技术将那些共享较多内部结点的输出转化为一个子问题，从而验证问题可转化为一系列验证子问题。

Equivalence checking is one of the methods to do verification.

等价验证是电路验证采取的主要方法之一。

The main contribution of our work is in the area of sequential equivalence checking.

本文的主要贡献在时序电路等价验证领域。

Gravity retaining wall ; stability ; reliability of structural systems ; checking point method ; equivalent plane method

重力式挡土墙；稳定性；结构体系可靠度；验算点法；等效平面法

Complicated system ; fractal ; nonlinear dynamics ; Mandelbrot set ; Julia set ; extension factor ; ternary number ; period-checking algorithm ; volume rendering algorithm ; equivariant map ; chaotic dynamic system ; synthesis of mechanism

国家自然科学基金；国家重点基础研究发展计划(973计划)复杂系统；分形；非线性动力学；可视化； Mandelbrot集； Julia集；变形伸缩因子；三元数；周期检测法；体绘制算法；等变映射；混沌动力系统；机构综合

Firstly, the paper puts forward the basic equation, and then establishes error equation. Then in light to the difficulties in rectifying and checking, put forward a useful rectification and check method.

首先给出了基本关系式，列立误差方程，然后针对该方法纠正影像存在的困难，给出了实用的检查精度和纠正的方法。

I hope that this success is just the first in a long series.

我希望这只是成功的开始。

Three dimensional stresses on the interface of tire and soil, tire deflection and soil sinkage are measured.

测试轮胎——沙土界面上的三向应力、轮胎变形和沙土沉陷；建立考虑剪切应力对沙土承载特性产生影响的车轮牵引性能预测模型；分析车轮作用下土壤的纵向稳定性。