英语人>网络例句>computable function 相关的网络例句
computable function相关的网络例句

查询词典 computable function

与 computable function 相关的网络例句 [注:此内容来源于网络,仅供参考]

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方程方法;图灵机;可计算函数

推荐网络例句

Graf, without question, is the greatest women's player in history.

格拉芙,现在,毫无疑问是女子网坛历史上最伟大的选手。

If not, you will have to look around at all your important data.

如果没有,您将需要检查所有的重要数据。

Development. The production of high-grade glass and sanitary ware equipment professional enterprise.

开发。生产高档玻璃洁具及卫浴成套设备的专业企业。