查询词典 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.

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

If I didn't care what anyone thought, I would.....

如果我不介意别人怎么看，我会。。。。

In recent decades, Chile has mandated earthquake-proofing for new structures, requiring that materials like rubber and features like counterweights be built into the architectural designs to allow buildings to bend and sway during temblors rather than break.

在最近数十年里，智利已经为兴建防震的新土建结构而对建筑材料提出要求，需要的材料类似于橡胶，而特性就象运用在建筑设计中的平衡物体，一旦应用以后，当地震发生时建筑就能弯曲摇摆。