部分最弱前置条件是程序保守近似语义的另一种表示方法,同样基于变量抽象定义。
互联网摘选
基于变量抽象,我们定义了部分最强后置条件,进而定义了程序的保守近似语义。
互联网摘选
理论分析及数值实例显示,如果离散格式能够精确逼近二阶偏导算子的特征值,步进方法对高频波传播计算是有效的。
互联网摘选
通过对柱面阵列方向图的近似计算结果和阵列精确分析结果的比较,验证了本方法的可行性。
互联网摘选
该类网络构成了模糊值函数的一类泛逼近器,即在欧氏空间的任何紧集上,任意连续模糊值函数能被这类FNN逼近到任意精度。
互联网摘选
The animals were reared in conditions which approximated the wild as closely as possible.
这些动物是在尽量近似自然的环境下饲养的。
《牛津高阶英汉双解词典》
给外国人做中文名并非易事,因为中文没有字母表,一个音节必须与其近音的汉字相对应。
互联网摘选
Finally the transfer function is approximated by use of the transformed orthonormal wavelet series.
最后利用变换后的标准正交小波级数逼近传递函数.
互联网摘选
基于coffin一Manson定律,将曲线近似表示为均值和均方差循环应变一寿命曲线的形式.
互联网摘选
DO NOT confuse people with approximated vocabulary between RACE and NATION!
请不要用民族与国家之间相似的词汇来混淆世人!
网络文摘精选
The homography between corresponding matching windows can be approximated an affine model.
两幅图像中相应特征点邻域窗口之间的单应映射可以用仿射变换模型来近似.
互联网摘选
- 今日热词
- 热门搜索
