查询词典 computable

The computable numbers form a real closed field and can be used in the place of real numbers for many, but not all, mathematical purposes.

在可计算数形成一个真正的封闭领域，可用于取代真正的数字对许多人来说，但并非所有数学的目的。

The calculus can be used to cleanly define what a computable function is.

Lambda演算可以用来清晰的定义什么是一个可计算的函数。

According to the parameters, 3D model is generated. The system can compute the space clearance by the volume computable function of the Pro/E.

利用Pro／Engineer Wildfire 1.0自带的开发工具Pro／TOOLKIT与开发语言VC++6.0进行编程，实现对设计参数的检索、修改和根据新的设计参数的值来重新生成新的模型。

To solve the third problem, the definition of T-revision function and RT-computation model are proposed, and it is proved that with the increase of revision time, T-revision function converges to revision function and T-revision function is computable.

作为对第3个问题的解决，作者提出了T-修正函数的定义和RT-计算模型，证明了随修正时间的增长，T-修正函数逼近修正函数，且T-修正函数是可计算的。

Just as λ-calcu-lus allows you to construct and reason about every possible computable function, there were high hopes that π-calculus would play similar role for concurrency.

本文提出了一个方法，据此可以把自然数和函数描述为进程，从而证明了π演算有足够的能力描述所有的可计算函数，同时还说明了与λ演算相比，π演算有着更高的计算效率。

Nonlinear wave system; Exact solution; Approximate solution; Soliton; Riccati equation method; Turing machine; Computable function

非线性波系统；精确解；近似解；孤立波； Riccati方程方法；图灵机；可计算函数

To solve the third problem, we present the definition of T-revision function and RT-computation model, prove that T-revision function converges to revision function with the increase of revision time and Trevision function is computable.

作为对第3个问题的解决，作者提出了T－修正函数的定义和RT－计算模型，证明了随修正时间的增长，T－修正函数逼近修正函数，且T－修正函数是可计算的。

The universal and not computable randomness test function defined by Kolmogorov is approximated using the Lagrangian coefficients of common support vector machine in the light of their physical meanings.

在一些高风险和重要的应用场合，如个人身份认证、医疗信号诊断以及金融分析决策等，置信判断显得更为重要和实用。

MVFK8vP7Ge+Uu0 Nonlinear wave system; Exact solution; Approximate solution; Soliton; Riccati equation method; Turing machine; Computable function

非线性波系统；精确解；近似解；孤立波； Riccati方程方法；图灵机；可计算函数

So we use the Computable General Equilibrium method.

为此，我们利用可计算一般均衡模型进行模拟分析。

His female bullfighter Lydia gradually Health love, but she was in a vegetative state after the Bulls Zhuangcheng away from her, just because Lydia's ex-boyfriend showed more affectionate than he is like love.

他对女斗牛士莉迪亚渐生爱意，却在她被公牛撞成植物人后离她而去，仅仅因为莉迪亚的前男友表现出好似比他更深情的爱。

I know of none which are not easy to answer, but what I am trying to do now is only by a series of hints to throw some light on the narrow path of legal doctrine, and upon two pitfalls which, as it seems to me, lie perilously near to it.

我不认为有什么难以回答的问题，但我现在要做的仅仅是通过一系列线索，来给法律理论的狭窄路径以及在我看来离它近得危险的两个陷阱提供一些启示。