1) 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可满足性求解器的性质验证方法在内存和时间消耗上具有相当大的优势
2) homogeneity test
同质性检验
3) inspecton of quality conformity
质量一致性检验
4) quality inspection
质量检验
1.
Establishment of quality standard system and quality inspection system for oils and fats;
油脂质量标准体系与质量检验体系的建立
2.
Ten issues concerning oils quality inspection.;
油品质量检验工作中应注意的十个问题
3.
Research on the combination of inspection facilities for flow shop quality inspection;
一类流水作业质量检验中检验设备组合问题的研究
5) water quality inspection
水质检验
1.
It is essential of developing suitable water quality inspection technologies and equipment in order to deepening water reform in rural areas, water quality assessment and ensure safe drinking water.
为深化农村改水工作,加强农村供水水质评价,保证农民安全饮水,提供适宜的水质检验技术与设备十分必要。
6) coal quality checking
煤质检验
1.
Discussion on coal quality checking in coal-fired power plant;
燃煤电厂煤质检验工作中问题探讨
补充资料：验收抽样检验和监督抽样检验标准
验收抽样检验和监督抽样检验标准
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
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条