英语人>词典>英汉 : computable function的中文,翻译,解释,例句
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方程方法;图灵机;可计算函数

加载更多网络例句 (3)
更多网络解释与computable function相关的网络解释 [注:此内容来源于网络,仅供参考]

computable function:可计算函数

5)实现可计算函数(comPutable function)的算 子算法. 对一个建模对象,它的特征是任一控制系统U完 全由其模式(结构)艺及功能必所定义,亦即由二元组 (X,O)所定义.这里U=(艺,中).另一方面,对任一建 模对象类U,都存在一个函数小使得中=职(Z),

computable function:可算函数

Compur shutter 康盘快门 | computable function 可算函数 | computable number 可计算数

partially computable function:部分可计算的函数

partially adjoint operator 部分伴随算子 | partially computable function 部分可计算的函数 | partially differentiable function 可偏微函数

partially computable function:部分可计算函数

部分可计算 partially computable | 部分可计算函数 partially computable function | 部分连接网络 partially connected network

partially computable function:部分可算函数

partially computable 部分可计算的 | partially computable function 部分可算函数 | partially constructed syntax function 部分构造语法树

加载更多网络解释 (5)