1) homogeneity test
同质性检验
2) property checking
性质检验
1.
A RTL SAT solver is built which uses linear programming (LP) as the basic tool, and is applied to the property checking of RTL circuits.
采用线性规划作为基本工具开发一个RTL可满足性求解器,并将其应用于解决RTL性质检验问题·深入研究了使用线性规划约束对RTL电路元器件的建模方法,得到了一种对RTL电路建模的通用方法·通过将RTL性质转化为虚拟RTL电路,找到了一种验证RTL性质的方法·通过实验,并与采用zchaff布尔可满足性求解器的模型检验工具NuSMV进行比较,证明了基于RTL可满足性求解器的性质验证方法在内存和时间消耗上具有相当大的优势
3) congeneric test
同质性测验
1.
The relationship of the Alpha coefficient with the congeneric test,the parallel test and the essential-τ-equivalent test,and the relationship among the three tests were reviewed.
本文从α系数与同质性测验、平行测验和基本τ-等价测验间的关系及三种测验间的关系入手,分析了α系数作为测验同质性信度估计的局限性;根据J reskog给出的信度定义(α系数),讨论了λ系数与α一致性信度、Guttman下限之间的关系,说明了在测验同质的前提下,λ系数在估计测验内部一致性时与α系数相比的优点。
4) concentricity gauge
同轴性检验规
5) inspecton of quality conformity
质量一致性检验
6) joint inspection
共同检验
补充资料：验收抽样检验和监督抽样检验标准
验收抽样检验和监督抽样检验标准
standards for acceptance sampling and audit sampling inspection
扣nshou ehoUVa叩Jianyan he iiandu eh以JYang iianyanbi0Ozhun验收抽样检验和监督抽样检验标准(stands记sfor accepteLnce sampling and audit saznpling Ins侧沈-tion)有关抽样检验的中华人民共和国国家标准至1卯8年已达20个。其中验收抽样检验标准有巧个，它们是:①《逐批检查计数抽样程序及抽样表》(GBIT2828一1987)，②《周期检查计数抽样程序及抽样表》(G田T282乡一1987)，③《不合格品率的计量抽样检查程序及抽样表》(GBIT6378一1986)，④《计数序贯抽样检查程序及表》(GBZT8()5l一1987)，⑤《单水平和多水平计数连续抽样检查程序及表》(CBIT 5052一1987)，⑥《不合格率的计量标准型一次抽样检查程序及表》(GBIT 8()53一1987)，⑦《平均值的计量标准型一次抽样检验程序及抽样表》(GBIT 8()54一1卯5)，⑧《不合格品率的计数标准型一次抽样检查程序及抽样表》(GB/T13262一1991)，⑨《跳批计数抽样检查程序》(GWT13263一1卯1)，⑩《不合格品率的小批计数抽样检查程序及抽样表》(GB/T 13么抖一I卯I)，⑧《抽样检查导则》(G田T13393一1卯2)，⑩《挑选型计数抽样检查程序及抽样表》(GBIT13夕场一l卯2)，O《粒度均匀散料抽样检验通则》(G脚T 13732一l卯2)，。(孤立批计数抽样检验程序及抽样表》(GBIT 1523乡一l更抖)，0《计量截尾序贯抽样检验程序及抽样表》(GBIT l63()7一l型拓)。 监督抽样检验标准有5个，它们是:①《产品质量监督计数抽样程序及抽样表》(GBIT 14162一1卯3)，②《产品质量平均值的计量一次监督抽样检验程序及抽样表》(GB/T 14灾盯一l臾抖)，③《产品质量监督小总体计数一次抽样检验程序及抽样表)(CBITI，侣2一1卯5)，④《产品质量监督复查程序及抽样方案》(GBIT163C盼一1性尧刹玉)，⑤《产品质量监督计数一次抽样检验程序及抽样方案》(eBzTI科37一l期)。 在上述的抽样检验标准中，较有代表性的抽样检验标准是GBIT2828、GB/T132以、GBIT6378、GBlT8()54，月41，、侧，J
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条