这样就可以把算法的状态空间表示为有限的，从而使这类算法的自动化验证成为可能。
Thus we are able to have a finite representation of round number, and then make (fully) automatic verification of these algorithms possible.
深蓝色的线表示状态空间下客户端的路径，而灰色的线显示的是服务器的。
The dark blue line shows the client's path through state space, while the gray line shows the server's.
FPTA只记录时钟值的整数部分，而用时钟序的概念来模拟表示时钟值小数部分的大小关系，从而减少生成的状态空间。
To reduce the state space, FPTA records the integer values of clocks together with the order of decimal fraction instead of the real number values.
那些作者显示马克斯·韦尔的方程序怎样可以被表示并且透过空间时间代数操作和几何学的代数怎样显示电磁波的极化作用的状态。
The authors show how Maxwell's equations can be expressed and manipulated via space-time algebra and how geometric algebra reveals electromagnetic waves' states of polarization.
数学模型表示成状态空间的形式。
The mathematical model is manipulated into a state space form.
现代控制论应用状态空间方法表示，概念抽象，不易掌握。
The modern cybernetics, which is expressed by the state-space formulation, is too difficult to understand because of its abstract concepts.
本文采用状态平衡方程推导出用超越函数表示的空间索单元切线刚度矩阵的精确表达式。
The precise tangent stiffness matrix of space cable element is derived in this paper by using equilibrium equation.
本文采用状态平衡方程推导出用超越函数表示的空间索单元切线刚度矩阵的精确表达式。
The precise tangent stiffness matrix of space cable element is derived in this paper by using equilibrium equation.
应用推荐