Division is a form of computation.
除法是一种运算方法。
Division is a form of computation.
除法是一种运算方法。
By the equilong unit finite element method based on the Wenkel model, the computation is speeded up remarkably.
采用文克尔模型为基础的元有限元法,显著地提高了计算速
。
This method can avoid the repetition and pretermission of integrating interval (or summarizing interval), especially in the convolution computation of multi-partition function.
该方法能有效地克服积分间(或
间)的重复
遗漏问题,特别是在多分段有值函数卷积的计算中更显示出其优越性。
The PSO algorithm is a new evolutionary computation method which is applicable to complex optimization problems that are nonlinear, nondifferentiable and multimodal.
微粒群算法是一种新兴的算法,它能有效地解决非线性、不可微、多峰的复杂优化问题。
Based on homothetic triangle theory,a new height computation method of pile type brige pier and ribbed plate type abutment post is introduced.
文章以一种新的思维方式-相似三角形原理计算桩柱式桥墩、肋板式桥台柱(肋板)顶高程。
Based on homothetic triangle theory, a new height computation method of pile type brige pier and ribbed plate type abutment post is introduced.
摘要文章以一种新的思维方式-相似三角形原理计算桩柱式桥墩、肋板式桥台柱(肋板)顶高程。
In the computation, considering the influence of all of joggle parameter, adopting compound-aitch optimization and intellective distinguish can prevail more reasonable joggle parameter.
传统的多级齿轮传动设计浪费了材料的一部分承载能力,目标的啮合参数优化方法精确
不够。
Ordinarily, the thickness of velocity boundary layer and grid Reynolds number are used as the delimitating standards for flow field and aerothermal heating computations respectively.
通常的做法是,对于流场计算以速边界层厚
作为法向网格尺寸划分标准,对于热流计算则根据网格雷诺数确定网格尺寸。
In this paper, a comprehensive survey for the state of art of a posteriori error estimates in finite element computation for magnetostatics since 1980s is presented.
80年代以来,国际上兴起对恒定磁场后验误差估计的研究,本文系统地介绍这方面的发展概况。
The neutronic computation and analysis is performed to assess the technical feasibility of transmutation of long-lived actinides using fusion-fission hybrid reactors by the above code system.
利用所研制的程序系统对寿命锕系元素在聚变-裂变混合堆中的转化进行了探索性研究。
This paper presents a preimage computation approach used in unbounded model checking.The approach combines ATPG and SAT engines effectively and makes full use of their respective advantages.
提出一种无界模型检验的前像计算方法,该方法有效地结合ATPGSAT引擎,充分利用引擎各自的优点.
Successive gaslift craft wants computation to be in charge of a shoe to be in contented stability to take the critical velocity of flow of fluid and critical flow.
连续气举工艺要计算管鞋处满足稳定带液的临界流速临界流量。
声明:以上例句、词性分类均由互联网资源自动生成,部分未经过人工审核,其表达内容亦不代表本软件的观点;若发现问题,欢迎向我们指正。
Division is a form of computation.
除法是一种运算方法。
By the equilong unit finite element method based on the Wenkel model, the computation is speeded up remarkably.
采文克尔模型为基础
等长单元有限元法,显著地提高了计算速
。
This method can avoid the repetition and pretermission of integrating interval (or summarizing interval), especially in the convolution computation of multi-partition function.
该方法能有效地克服积分区间(或求和区间)重
和遗漏问题,特别是在多分段有值函数卷积
计算中更显示出其优越性。
The PSO algorithm is a new evolutionary computation method which is applicable to complex optimization problems that are nonlinear, nondifferentiable and multimodal.
微粒群算法是一种新兴算法,它能有效地解决非线性、不可微、多峰
优化问题。
Based on homothetic triangle theory,a new height computation method of pile type brige pier and ribbed plate type abutment post is introduced.
文章以一种新思维方式-相似三角形原理计算桩柱式桥墩、肋板式桥台柱(肋板)顶高程。
Based on homothetic triangle theory, a new height computation method of pile type brige pier and ribbed plate type abutment post is introduced.
摘要文章以一种新思维方式-相似三角形原理计算桩柱式桥墩、肋板式桥台柱(肋板)顶高程。
In the computation, considering the influence of all of joggle parameter, adopting compound-aitch optimization and intellective distinguish can prevail more reasonable joggle parameter.
传统多级齿轮传动设计浪费了材料
一部分承载能力,单目标
啮合参数优化方法精确
不够。
Ordinarily, the thickness of velocity boundary layer and grid Reynolds number are used as the delimitating standards for flow field and aerothermal heating computations respectively.
通常做法是,对于流场计算以速
边界层厚
作为法向网格尺寸划分标准,对于热流计算则根据网格雷诺数确定网格尺寸。
In this paper, a comprehensive survey for the state of art of a posteriori error estimates in finite element computation for magnetostatics since 1980s is presented.
80年代以来,国际上兴起对恒定磁场后验误差估计研究,本文系统地介绍这方面
发展概况。
The neutronic computation and analysis is performed to assess the technical feasibility of transmutation of long-lived actinides using fusion-fission hybrid reactors by the above code system.
利所研制
程序系统对长寿命锕系元素在聚变-裂变混合堆中
转化进行了探索性研究。
This paper presents a preimage computation approach used in unbounded model checking.The approach combines ATPG and SAT engines effectively and makes full use of their respective advantages.
提出一种无界模型检验前像计算方法,该方法有效地结合ATPG和SAT引擎,充分利
引擎各自
优点.
Successive gaslift craft wants computation to be in charge of a shoe to be in contented stability to take the critical velocity of flow of fluid and critical flow.
连续气举工艺要计算管鞋处满足稳定带液临界流速和临界流量。
声明:以上例句、词性分类均由互联网资源自动生成,部分未经过人工审核,其表达内容亦不代表本软件观点;若发现问题,欢迎向我们指正。
Division is a form of computation.
除法是一种运算方法。
By the equilong unit finite element method based on the Wenkel model, the computation is speeded up remarkably.
采用文克尔模础的等长单元有限元法,显著地提高了计算速
。
This method can avoid the repetition and pretermission of integrating interval (or summarizing interval), especially in the convolution computation of multi-partition function.
该方法能有效地克服积分区间(或求区间)的
遗漏问题,特别是在多分段有值函数卷积的计算中更显示出其优越性。
The PSO algorithm is a new evolutionary computation method which is applicable to complex optimization problems that are nonlinear, nondifferentiable and multimodal.
微粒群算法是一种新兴的算法,它能有效地解决非线性、不可微、多峰的杂优化问题。
Based on homothetic triangle theory,a new height computation method of pile type brige pier and ribbed plate type abutment post is introduced.
文章以一种新的思维方式-相似三角形原理计算桩柱式桥墩、肋板式桥台柱(肋板)顶高程。
Based on homothetic triangle theory, a new height computation method of pile type brige pier and ribbed plate type abutment post is introduced.
摘要文章以一种新的思维方式-相似三角形原理计算桩柱式桥墩、肋板式桥台柱(肋板)顶高程。
In the computation, considering the influence of all of joggle parameter, adopting compound-aitch optimization and intellective distinguish can prevail more reasonable joggle parameter.
传统的多级齿轮传动设计浪费了材料的一部分承载能力,单目标的啮合参数优化方法精确不够。
Ordinarily, the thickness of velocity boundary layer and grid Reynolds number are used as the delimitating standards for flow field and aerothermal heating computations respectively.
通常的做法是,对于流场计算以速边界层厚
作
法向网格尺寸划分标准,对于热流计算则根据网格雷诺数确定网格尺寸。
In this paper, a comprehensive survey for the state of art of a posteriori error estimates in finite element computation for magnetostatics since 1980s is presented.
80年代以来,国际上兴起对恒定磁场后验误差估计的研究,本文系统地介绍这方面的发展概况。
The neutronic computation and analysis is performed to assess the technical feasibility of transmutation of long-lived actinides using fusion-fission hybrid reactors by the above code system.
利用所研制的程序系统对长寿命锕系元素在聚变-裂变混合堆中的转化进行了探索性研究。
This paper presents a preimage computation approach used in unbounded model checking.The approach combines ATPG and SAT engines effectively and makes full use of their respective advantages.
提出一种无界模检验的前像计算方法,该方法有效地结合ATPG
SAT引擎,充分利用引擎各自的优点.
Successive gaslift craft wants computation to be in charge of a shoe to be in contented stability to take the critical velocity of flow of fluid and critical flow.
连续气举工艺要计算管鞋处满足稳定带液的临界流速临界流量。
声明:以上例句、词性分类均由互联网资源自动生成,部分未经过人工审核,其表达内容亦不代表本软件的观点;若发现问题,欢迎向我们指正。
Division is a form of computation.
除法是一种运算法。
By the equilong unit finite element method based on the Wenkel model, the computation is speeded up remarkably.
采用文克尔模型为基础的等长单元有限元法,显著地提高了计算速。
This method can avoid the repetition and pretermission of integrating interval (or summarizing interval), especially in the convolution computation of multi-partition function.
该法能有效地克服积分区间(或求和区间)的重复和遗漏问题,特别是在多分段有值函数卷积的计算中更显示出其优越性。
The PSO algorithm is a new evolutionary computation method which is applicable to complex optimization problems that are nonlinear, nondifferentiable and multimodal.
微粒群算法是一种新兴的算法,它能有效地解决非线性、不可微、多峰的复杂优化问题。
Based on homothetic triangle theory,a new height computation method of pile type brige pier and ribbed plate type abutment post is introduced.
文章以一种新的式-相似三角形原理计算桩柱式桥墩、肋板式桥台柱(肋板)顶高程。
Based on homothetic triangle theory, a new height computation method of pile type brige pier and ribbed plate type abutment post is introduced.
摘要文章以一种新的式-相似三角形原理计算桩柱式桥墩、肋板式桥台柱(肋板)顶高程。
In the computation, considering the influence of all of joggle parameter, adopting compound-aitch optimization and intellective distinguish can prevail more reasonable joggle parameter.
传统的多级齿轮传动设计浪费了材料的一部分承载能力,单目标的啮合参数优化法精确
不够。
Ordinarily, the thickness of velocity boundary layer and grid Reynolds number are used as the delimitating standards for flow field and aerothermal heating computations respectively.
通常的做法是,对于流场计算以速边界层厚
作为法向网格尺寸划分标准,对于热流计算则根据网格雷诺数确定网格尺寸。
In this paper, a comprehensive survey for the state of art of a posteriori error estimates in finite element computation for magnetostatics since 1980s is presented.
80年代以来,国际上兴起对恒定磁场后验误差估计的研究,本文系统地介绍这面的发展概况。
The neutronic computation and analysis is performed to assess the technical feasibility of transmutation of long-lived actinides using fusion-fission hybrid reactors by the above code system.
利用所研制的程序系统对长寿命锕系元素在聚变-裂变混合堆中的转化进行了探索性研究。
This paper presents a preimage computation approach used in unbounded model checking.The approach combines ATPG and SAT engines effectively and makes full use of their respective advantages.
提出一种无界模型检验的前像计算法,该
法有效地结合ATPG和SAT引擎,充分利用引擎各自的优点.
Successive gaslift craft wants computation to be in charge of a shoe to be in contented stability to take the critical velocity of flow of fluid and critical flow.
连续气举工艺要计算管鞋处满足稳定带液的临界流速和临界流量。
声明:以上例句、词性分类均由互联网资源自动生成,部分未经过人工审核,其表达内容亦不代表本软件的观点;若发现问题,欢迎向我们指正。
Division is a form of computation.
除法是一种运算方法。
By the equilong unit finite element method based on the Wenkel model, the computation is speeded up remarkably.
采用文克尔模型为基础的等长单元有限元法,显著地提高了计算速。
This method can avoid the repetition and pretermission of integrating interval (or summarizing interval), especially in the convolution computation of multi-partition function.
该方法能有效地克服积分区间(或求和区间)的重复和遗漏问题,特别是在多分段有值函数卷积的计算中更显示出其优越性。
The PSO algorithm is a new evolutionary computation method which is applicable to complex optimization problems that are nonlinear, nondifferentiable and multimodal.
微粒群算法是一种新兴的算法,它能有效地解决非线性、不可微、多峰的复杂优化问题。
Based on homothetic triangle theory,a new height computation method of pile type brige pier and ribbed plate type abutment post is introduced.
文章以一种新的思维方式-相似三角形原理计算桩柱式桥墩、肋板式桥台柱(肋板)顶高。
Based on homothetic triangle theory, a new height computation method of pile type brige pier and ribbed plate type abutment post is introduced.
文章以一种新的思维方式-相似三角形原理计算桩柱式桥墩、肋板式桥台柱(肋板)顶高
。
In the computation, considering the influence of all of joggle parameter, adopting compound-aitch optimization and intellective distinguish can prevail more reasonable joggle parameter.
传统的多级齿轮传动设计浪费了材料的一部分承载能力,单目标的啮合参数优化方法精确不够。
Ordinarily, the thickness of velocity boundary layer and grid Reynolds number are used as the delimitating standards for flow field and aerothermal heating computations respectively.
通常的做法是,对于流场计算以速边界层厚
作为法向网格尺寸划分标准,对于热流计算则根据网格雷诺数确定网格尺寸。
In this paper, a comprehensive survey for the state of art of a posteriori error estimates in finite element computation for magnetostatics since 1980s is presented.
80年代以来,国际上兴起对恒定磁场后验误差估计的研究,本文系统地介绍这方面的发展概况。
The neutronic computation and analysis is performed to assess the technical feasibility of transmutation of long-lived actinides using fusion-fission hybrid reactors by the above code system.
利用所研制的序系统对长寿命锕系元素在聚变-裂变混合堆中的转化进行了探索性研究。
This paper presents a preimage computation approach used in unbounded model checking.The approach combines ATPG and SAT engines effectively and makes full use of their respective advantages.
提出一种无界模型检验的前像计算方法,该方法有效地结合ATPG和SAT引擎,充分利用引擎各自的优点.
Successive gaslift craft wants computation to be in charge of a shoe to be in contented stability to take the critical velocity of flow of fluid and critical flow.
连续气举工艺计算管鞋处满足稳定带液的临界流速和临界流量。
声明:以上例句、词性分类均由互网资源自动生成,部分未经过人工审核,其表达内容亦不代表本软件的观点;若发现问题,欢迎向我们指正。
Division is a form of computation.
除法一种运
方法。
By the equilong unit finite element method based on the Wenkel model, the computation is speeded up remarkably.
采用文克尔模型为基础的等长单元有限元法,显著地提高了计速
。
This method can avoid the repetition and pretermission of integrating interval (or summarizing interval), especially in the convolution computation of multi-partition function.
该方法有效地克服积分区间(或求和区间)的重复和遗漏问题,
别
在多分段有值函数卷积的计
中更显示出其优越
。
The PSO algorithm is a new evolutionary computation method which is applicable to complex optimization problems that are nonlinear, nondifferentiable and multimodal.
微粒群法
一种新兴的
法,它
有效地解决非线
、不可微、多峰的复杂优化问题。
Based on homothetic triangle theory,a new height computation method of pile type brige pier and ribbed plate type abutment post is introduced.
文章以一种新的思维方式-相似三角形原理计桩柱式桥墩、肋板式桥台柱(肋板)顶高程。
Based on homothetic triangle theory, a new height computation method of pile type brige pier and ribbed plate type abutment post is introduced.
摘要文章以一种新的思维方式-相似三角形原理计桩柱式桥墩、肋板式桥台柱(肋板)顶高程。
In the computation, considering the influence of all of joggle parameter, adopting compound-aitch optimization and intellective distinguish can prevail more reasonable joggle parameter.
传统的多级齿轮传动设计浪费了材料的一部分承载力,单目标的啮合参数优化方法精确
不够。
Ordinarily, the thickness of velocity boundary layer and grid Reynolds number are used as the delimitating standards for flow field and aerothermal heating computations respectively.
通常的做法,对于流场计
以速
边界层厚
作为法向网格尺寸划分标准,对于热流计
则根据网格雷诺数确定网格尺寸。
In this paper, a comprehensive survey for the state of art of a posteriori error estimates in finite element computation for magnetostatics since 1980s is presented.
80年代以来,国际上兴起对恒定磁场后验误差估计的研究,本文系统地介绍这方面的发展概况。
The neutronic computation and analysis is performed to assess the technical feasibility of transmutation of long-lived actinides using fusion-fission hybrid reactors by the above code system.
利用所研制的程序系统对长寿命锕系元素在聚变-裂变混合堆中的转化进行了探索研究。
This paper presents a preimage computation approach used in unbounded model checking.The approach combines ATPG and SAT engines effectively and makes full use of their respective advantages.
提出一种无界模型检验的前像计方法,该方法有效地结合ATPG和SAT引擎,充分利用引擎各自的优点.
Successive gaslift craft wants computation to be in charge of a shoe to be in contented stability to take the critical velocity of flow of fluid and critical flow.
连续气举工艺要计管鞋处满足稳定带液的临界流速和临界流量。
声明:以上例句、词分类均由互联网资源自动生成,部分未经过人工审核,其表达内容亦不代表本软件的观点;若发现问题,欢迎向我们指正。
Division is a form of computation.
除法是一种运算方法。
By the equilong unit finite element method based on the Wenkel model, the computation is speeded up remarkably.
采用文克尔模型为基础等长单元有限元法,显著地提高了计算速
。
This method can avoid the repetition and pretermission of integrating interval (or summarizing interval), especially in the convolution computation of multi-partition function.
该方法能有效地克服积分区间(求和区间)
重复和遗漏问题,特别是在多分段有值函数卷积
计算中更显示出其优越性。
The PSO algorithm is a new evolutionary computation method which is applicable to complex optimization problems that are nonlinear, nondifferentiable and multimodal.
微粒群算法是一种新兴算法,它能有效地解决非线性、不可微、多峰
复杂优化问题。
Based on homothetic triangle theory,a new height computation method of pile type brige pier and ribbed plate type abutment post is introduced.
文章以一种新思维方式-
角形原理计算桩柱式桥墩、肋板式桥台柱(肋板)顶高程。
Based on homothetic triangle theory, a new height computation method of pile type brige pier and ribbed plate type abutment post is introduced.
摘要文章以一种新思维方式-
角形原理计算桩柱式桥墩、肋板式桥台柱(肋板)顶高程。
In the computation, considering the influence of all of joggle parameter, adopting compound-aitch optimization and intellective distinguish can prevail more reasonable joggle parameter.
传统多级齿轮传动设计浪费了材料
一部分承载能力,单目标
啮合参数优化方法精确
不够。
Ordinarily, the thickness of velocity boundary layer and grid Reynolds number are used as the delimitating standards for flow field and aerothermal heating computations respectively.
通常做法是,对于流场计算以速
边界层厚
作为法向网格尺寸划分标准,对于热流计算则根据网格雷诺数确定网格尺寸。
In this paper, a comprehensive survey for the state of art of a posteriori error estimates in finite element computation for magnetostatics since 1980s is presented.
80年代以来,国际上兴起对恒定磁场后验误差估计研究,本文系统地介绍这方面
发展概况。
The neutronic computation and analysis is performed to assess the technical feasibility of transmutation of long-lived actinides using fusion-fission hybrid reactors by the above code system.
利用所研制程序系统对长寿命锕系元素在聚变-裂变混合堆中
转化进行了探索性研究。
This paper presents a preimage computation approach used in unbounded model checking.The approach combines ATPG and SAT engines effectively and makes full use of their respective advantages.
提出一种无界模型检验前像计算方法,该方法有效地结合ATPG和SAT引擎,充分利用引擎各自
优点.
Successive gaslift craft wants computation to be in charge of a shoe to be in contented stability to take the critical velocity of flow of fluid and critical flow.
连续气举工艺要计算管鞋处满足稳定带液临界流速和临界流量。
声明:以上例句、词性分类均由互联网资源自动生成,部分未经过人工审核,其表达内容亦不代表本软件观点;若发现问题,欢迎向我们指正。
Division is a form of computation.
除法是一种运算方法。
By the equilong unit finite element method based on the Wenkel model, the computation is speeded up remarkably.
采用文克尔模型为基础的等长单有
法,显著地提高了计算速
。
This method can avoid the repetition and pretermission of integrating interval (or summarizing interval), especially in the convolution computation of multi-partition function.
该方法能有效地克服间(或求和
间)的重复和遗漏问题,特别是在多
段有值函数卷
的计算中更显示出其优越性。
The PSO algorithm is a new evolutionary computation method which is applicable to complex optimization problems that are nonlinear, nondifferentiable and multimodal.
微粒群算法是一种新兴的算法,它能有效地解决非线性、不可微、多峰的复杂优化问题。
Based on homothetic triangle theory,a new height computation method of pile type brige pier and ribbed plate type abutment post is introduced.
文章以一种新的思维方式-相似三角形原理计算桩柱式桥墩、肋板式桥台柱(肋板)顶高程。
Based on homothetic triangle theory, a new height computation method of pile type brige pier and ribbed plate type abutment post is introduced.
摘要文章以一种新的思维方式-相似三角形原理计算桩柱式桥墩、肋板式桥台柱(肋板)顶高程。
In the computation, considering the influence of all of joggle parameter, adopting compound-aitch optimization and intellective distinguish can prevail more reasonable joggle parameter.
传统的多级齿轮传动设计浪费了材料的一部承载能力,单目标的啮合参数优化方法精确
不够。
Ordinarily, the thickness of velocity boundary layer and grid Reynolds number are used as the delimitating standards for flow field and aerothermal heating computations respectively.
通常的做法是,对于流场计算以速边界层厚
作为法向网格尺寸划
标准,对于热流计算则根据网格雷诺数确定网格尺寸。
In this paper, a comprehensive survey for the state of art of a posteriori error estimates in finite element computation for magnetostatics since 1980s is presented.
80年代以来,国际上兴起对恒定磁场后验误差估计的研究,本文系统地介绍这方面的发展概况。
The neutronic computation and analysis is performed to assess the technical feasibility of transmutation of long-lived actinides using fusion-fission hybrid reactors by the above code system.
利用所研制的程序系统对长寿命锕系素在聚变-裂变混合堆中的转化进行了探索性研究。
This paper presents a preimage computation approach used in unbounded model checking.The approach combines ATPG and SAT engines effectively and makes full use of their respective advantages.
提出一种无界模型检验的前像计算方法,该方法有效地结合ATPG和SAT引擎,充利用引擎各自的优点.
Successive gaslift craft wants computation to be in charge of a shoe to be in contented stability to take the critical velocity of flow of fluid and critical flow.
连续气举工艺要计算管鞋处满足稳定带液的临界流速和临界流量。
声明:以上例句、词性类均由互联网资源自动生成,部
未经过人工审核,其表达内容亦不代表本软件的观点;若发现问题,欢迎向我们指正。
Division is a form of computation.
除法是一种运法。
By the equilong unit finite element method based on the Wenkel model, the computation is speeded up remarkably.
采用文克尔模型为基础的等长单元有限元法,显著地提高了。
This method can avoid the repetition and pretermission of integrating interval (or summarizing interval), especially in the convolution computation of multi-partition function.
法能有效地克服积分区间(或求和区间)的重复和遗漏问题,特别是在多分段有值函数卷积的
中更显示出其优越性。
The PSO algorithm is a new evolutionary computation method which is applicable to complex optimization problems that are nonlinear, nondifferentiable and multimodal.
微粒群法是一种新兴的
法,它能有效地解决非线性、不可微、多峰的复杂优化问题。
Based on homothetic triangle theory,a new height computation method of pile type brige pier and ribbed plate type abutment post is introduced.
文章以一种新的思维式-相似三角形原理
桩柱式桥墩、肋板式桥台柱(肋板)顶高程。
Based on homothetic triangle theory, a new height computation method of pile type brige pier and ribbed plate type abutment post is introduced.
摘要文章以一种新的思维式-相似三角形原理
桩柱式桥墩、肋板式桥台柱(肋板)顶高程。
In the computation, considering the influence of all of joggle parameter, adopting compound-aitch optimization and intellective distinguish can prevail more reasonable joggle parameter.
传统的多级齿轮传动设浪费了材料的一部分承载能力,单目标的啮合参数优化
法精确
不够。
Ordinarily, the thickness of velocity boundary layer and grid Reynolds number are used as the delimitating standards for flow field and aerothermal heating computations respectively.
通常的做法是,对于流场以
边界层厚
作为法向网格尺寸划分标准,对于热流
则根据网格雷诺数确定网格尺寸。
In this paper, a comprehensive survey for the state of art of a posteriori error estimates in finite element computation for magnetostatics since 1980s is presented.
80年代以来,国际上兴起对恒定磁场后验误差估的研究,本文系统地介绍这
面的发展概况。
The neutronic computation and analysis is performed to assess the technical feasibility of transmutation of long-lived actinides using fusion-fission hybrid reactors by the above code system.
利用所研制的程序系统对长寿命锕系元素在聚变-裂变混合堆中的转化进行了探索性研究。
This paper presents a preimage computation approach used in unbounded model checking.The approach combines ATPG and SAT engines effectively and makes full use of their respective advantages.
提出一种无界模型检验的前像法,
法有效地结合ATPG和SAT引擎,充分利用引擎各自的优点.
Successive gaslift craft wants computation to be in charge of a shoe to be in contented stability to take the critical velocity of flow of fluid and critical flow.
连续气举工艺要管鞋处满足稳定带液的临界流
和临界流量。
声明:以上例句、词性分类均由互联网资源自动生成,部分未经过人工审核,其表达内容亦不代表本软件的观点;若发现问题,欢迎向我们指正。