等价经验,equivalent experience,音标,读音,翻译,英文例句,英语词典

您的位置：首页 -> 词典 -> 等价经验

1) equivalent experience 点击朗读

等价经验

2) empirical equivalence 点击朗读

经验等价性

This thesis makes a detailed analysis of the connotation and basic kinds of empirical equivalence; and it demonstrates the relationship between empirical equivalence and under determination; and it expounds the difficulty that empirical equivalence brings to scientific selection.

文章具体地分析论述了经验等价性的内涵、基本类型;剖析了经验等价性论题与非充分决定性论题的关系;阐述了经验等价性论题所带来的科学理论选择的困境;然后,论证了经验等价性的合理性和所存在的理论缺陷;进而提出了面对这样的困境我们对科学实在论所应该采取的态度。

3) On the Thesis of Empirical Equivalence 点击朗读

论经验等价性论题

4) equivalent test 点击朗读

等价试验

On the background of research of linkSTATCOM for Xi Jiao Transformer Substation of Shang Hai Power Supply Bureau ,which is the scientific research task of National Power Company , the authorresearched on link STATCOM and its equivalent test technique .

本文以国家电网公司科技攻关项目-上海西郊变电站±50MVar 链式 STATCOM 的研制为背景,对三角形连接的链式 STATCOM 的链节及其等价试验方法进行了研究。

更多例句>>

5) equivalent test 点击朗读

等价测验

6) equivalence verification 点击朗读

等价验证

According to the results of polynomial function,the upper bound of simulated vectors is obtained for the equivalence verification of the fixed-point datapaths,which avoids the exhaustive simulation.

为证明定点数据通路的定点算术规范与转换后的寄存器传输级实现是等价的,结合算术转换和多项式函数对实现序列加法、乘法、移位运算的定点数据通路进行建模,根据多项式函数的结论得到对定点数据通路进行等价验证所需要的模拟向量数的上界,避免穷举所有的模拟向量。

Because of this,formal verification methods,such as equivalence verification,have become important for register transfer level or behavioral level verification.

基于BDD或布尔SAT的等价验证方法虽然能够成功验证低层次门级电路,但却难以满足高层次设计验证要求。

更多例句>>

补充资料：Green等价关系

Green等价关系
Green equivalence relations

　　C似.等价关系【Gn犯.仰‘.七耽比加山.;巧.a盯的-口e朋.3暇一BaJIeHT.oeT。』，半群上的如下定义的二元关系砚风并，，黑:x刃意味着x与y生成恒等左主理想(PrinciPall山月);x男夕和气夕y的意义类似，只需把“左”分别换成“右”和“双边”;乡=了V夕(在等价关系格内的并);穿·=丫门里.关系丫和夕在二元关系的乘法意义下是交换的，所以，与创门的乘积一致·关系，是一个有回参俪沙tcon-乎洲泊沈)，即从右边稳定:若“，b，则对一切c来说，优汾加;关系少是一个左同余(毓印川犷以泊沈)(从左边稳定).一个了类和一个，类当且仅当它们包含在同一，类时才相交.在同一个男类内所有穿类都是对等的.如果一个少类刀含有一个正则元(雌川arell即叱nt)，则D中一切元素都是正则的.并且D在包含某一个元素的同时，也包含它的所有逆元素;这样一个少类称为手刚的(峭州巨)·在一个正则，类里，每一个、类和每一个夕类都含有一个幕等元.令H是任意一个穿类;那么或者H是一个群(当且仅当H是所给的半群的一个极大子群时才是这种情况)，或者Hn牙=必.同一少类的所有群淤类都是同构的群.在一般情况下，，滩厂，然而，例如，当这个半群S的每一个元素的某个幕都属于一个子群时(特别，当S是一个周期半群(伴该劝C旧1”一尹uP)时)，则少气/.左主理想的包含关系自然地在了类的集合上定义了一个偏序关系;类似的考虑对于，类和声类来说也成立.这些关系是由J. Gn笼”引人的([11).
　　

说明：补充资料仅用于学习参考，请勿用于其它任何用途。

参考词条

基本τ-等价测验时序等价验证经验价键理论经验数学评价好经验代价低。

经验价格经验评价等价性验证等价性检验试验等价性经验的价值

说明：双击或选中下面任意单词，将显示该词的音标、读音、翻译等；选中中文或多个词，将显示翻译。
	您的位置：首页 -> 词典 -> 等价经验 1) equivalent experience 等价经验 2) empirical equivalence 经验等价性 1. This thesis makes a detailed analysis of the connotation and basic kinds of empirical equivalence; and it demonstrates the relationship between empirical equivalence and under determination; and it expounds the difficulty that empirical equivalence brings to scientific selection. 文章具体地分析论述了经验等价性的内涵、基本类型;剖析了经验等价性论题与非充分决定性论题的关系;阐述了经验等价性论题所带来的科学理论选择的困境;然后,论证了经验等价性的合理性和所存在的理论缺陷;进而提出了面对这样的困境我们对科学实在论所应该采取的态度。 3) On the Thesis of Empirical Equivalence 论经验等价性论题 4) equivalent test 等价试验 1. On the background of research of linkSTATCOM for Xi Jiao Transformer Substation of Shang Hai Power Supply Bureau ,which is the scientific research task of National Power Company , the authorresearched on link STATCOM and its equivalent test technique . 本文以国家电网公司科技攻关项目-上海西郊变电站±50MVar 链式 STATCOM 的研制为背景,对三角形连接的链式 STATCOM 的链节及其等价试验方法进行了研究。更多例句>> 5) equivalent test 等价测验 6) equivalence verification 等价验证 1. According to the results of polynomial function,the upper bound of simulated vectors is obtained for the equivalence verification of the fixed-point datapaths,which avoids the exhaustive simulation. 为证明定点数据通路的定点算术规范与转换后的寄存器传输级实现是等价的,结合算术转换和多项式函数对实现序列加法、乘法、移位运算的定点数据通路进行建模,根据多项式函数的结论得到对定点数据通路进行等价验证所需要的模拟向量数的上界,避免穷举所有的模拟向量。 2. Because of this,formal verification methods,such as equivalence verification,have become important for register transfer level or behavioral level verification. 基于BDD或布尔SAT的等价验证方法虽然能够成功验证低层次门级电路,但却难以满足高层次设计验证要求。更多例句>> 补充资料：Green等价关系 Green等价关系 Green equivalence relations 　　C似.等价关系【Gn犯.仰‘.七耽比加山.;巧.a盯的-口e朋.3暇一BaJIeHT.oeT。』，半群上的如下定义的二元关系砚风并，，黑:x刃意味着x与y生成恒等左主理想(PrinciPall山月);x男夕和气夕y的意义类似，只需把“左”分别换成“右”和“双边”;乡=了V夕(在等价关系格内的并);穿·=丫门里.关系丫和夕在二元关系的乘法意义下是交换的，所以，与创门的乘积一致·关系，是一个有回参俪沙tcon-乎洲泊沈)，即从右边稳定:若“，b，则对一切c来说，优汾加;关系少是一个左同余(毓印川犷以泊沈)(从左边稳定).一个了类和一个，类当且仅当它们包含在同一，类时才相交.在同一个男类内所有穿类都是对等的.如果一个少类刀含有一个正则元(雌川arell即叱nt)，则D中一切元素都是正则的.并且D在包含某一个元素的同时，也包含它的所有逆元素;这样一个少类称为手刚的(峭州巨)·在一个正则，类里，每一个、类和每一个夕类都含有一个幕等元.令H是任意一个穿类;那么或者H是一个群(当且仅当H是所给的半群的一个极大子群时才是这种情况)，或者Hn牙=必.同一少类的所有群淤类都是同构的群.在一般情况下，，滩厂，然而，例如，当这个半群S的每一个元素的某个幕都属于一个子群时(特别，当S是一个周期半群(伴该劝C旧1”一尹uP)时)，则少气/.左主理想的包含关系自然地在了类的集合上定义了一个偏序关系;类似的考虑对于，类和声类来说也成立.这些关系是由J. Gn笼”引人的([11). 　　说明：补充资料仅用于学习参考，请勿用于其它任何用途。参考词条基本τ-等价测验时序等价验证经验价键理论经验数学评价好经验代价低。

©2011 dictall.com