1、

The partial weakest precondition is another way to represent the over-approximated program semantics, and its definition is also based on variable abstraction.

部分最弱前置条件是程序保守近似语义的另一种表示方法,同样基于变量抽象定义。

互联网摘选

2、

We then present the partial strongest post-condition, which represents the over-approximated program semantics.

基于变量抽象,我们定义了部分最强后置条件,进而定义了程序的保守近似语义。

互联网摘选

3、

In addition, the scheme is super-approximated to the flux function.

另外,新格式对flux(流)函数具有超逼近性。

互联网摘选

4、

Theoretical analysis and numerical examples show that the marching method is valid if the eigenvalues of the two-order partial differentiation operator is exactly approximated.

理论分析及数值实例显示,如果离散格式能够精确逼近二阶偏导算子的特征值,步进方法对高频波传播计算是有效的。

互联网摘选

5、

Comparing the approximated patterns of a cylindrical array with its precise results, the feasibility of the presented method is verified. 3.

通过对柱面阵列方向图的近似计算结果和阵列精确分析结果的比较,验证了本方法的可行性。

互联网摘选

6、

Such a four-layer FNN constitutes a universal approximator of fuzzy valued function. That is, each continuous fuzzy valued function defined on any compact set of Euclidean space can be approximated by the FNN to any degree of accuracy.

该类网络构成了模糊值函数的一类泛逼近器,即在欧氏空间的任何紧集上,任意连续模糊值函数能被这类FNN逼近到任意精度。

互联网摘选

7、

The animals were reared in conditions which approximated the wild as closely as possible.

这些动物是在尽量近似自然的环境下饲养的。

《牛津高阶英汉双解词典》

8、

Assigning Chinese names is no easy task. Because Chinese has no alphabet, each syllable must be approximated with a character.

给外国人做中文名并非易事,因为中文没有字母表,一个音节必须与其近音的汉字相对应。

互联网摘选

9、

Finally the transfer function is approximated by use of the transformed orthonormal wavelet series.

最后利用变换后的标准正交小波级数逼近传递函数.

互联网摘选

10、

The curve approximated by the mean value and standard deviation cyclic strain-life curves of Coffin-Manson law.

基于coffin一Manson定律,将曲线近似表示为均值和均方差循环应变一寿命曲线的形式.

互联网摘选

11、

DO NOT confuse people with approximated vocabulary between RACE and NATION!

请不要用民族与国家之间相似的词汇来混淆世人!

网络文摘精选

12、

The homography between corresponding matching windows can be approximated an affine model.

两幅图像中相应特征点邻域窗口之间的单应映射可以用仿射变换模型来近似.

互联网摘选

  • 今日热词
  • 热门搜索

简答网英语词典(dict.jiandongshicai.cn)为您提供在线翻译、英语词典、单词大全、英译汉、汉译英等英语服务!可按单词头尾、字数和词义分类查询。支持lj:关键词格式查询例句。

用户反馈
请选择反馈类型(可多选):
您的联系方式:(如需回复请填写联系方式)
反馈内容:
提交成功 小编会尽快处理
回到顶部
点击反馈