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

查询词典 computable

与 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.

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

第1/6页 1 2 3 4 5 6 > 尾页
推荐网络例句

They go to town. Would you just ask them?

他们在城里你能问他们吗?

Ossein pretreated for a2 weeks period exhibited the maximum% yield incase of bone gelatin, while the yield from intact skin was higher than that realized incase of de-scaled skin.

预处理时间达2星期的骨胶原表现出最高的骨明胶百分产量,然而从未处理鱼皮中得到的产率比去鳞的鱼皮得到的要高。

Add in realistic voice acting, and you're about to get emotionally attached toa whole platoon of charactersEvery object on the battlefield is destructible - and once it's destroyed, it stays destroyedIn addition to the rich 1-player storyline, Pathway to Glory features the kind of multiplayer options that N-Gage was made for: go against another player using the same game deck with the Hot Seat option, or connect via Bluetooth technology and go head-to-head.

在现实的声音演戏方面增加,而且你正要拿个性的整个排给在情绪上附上的 toa在战场上的每个物体是可破坏的-而且一经资讯科技被破坏,它停留破坏发现你站着哪里:钮扣的推给你一个概览,如此你能很快地恢复一种不稳定的情形控制除了富有的 1个运动员的剧情之外,通往光荣的道路以可多人玩的选项类型为特色 N-规格被有益:去对抗和困境选项一起使用相同的游戏甲板的另外一个运动员,否则经由 Bluetooth 技术连接而且去头-到-头。