1) dynamic check
动态检验
2) inspection of the dynamic constraints
动态约束检验
3) Dynamic Autoregressive Test
动态自回归检验
4) dynamic model checking
动态模型检验
1.
A serious problem for dynamic model checking is that the cost of re-checking is too expensive due to model being changed trivially,so a key issue of the problem is to seek invariance in order to avoid the checking repeatedly.
动态模型检验是模型随设计过程而变化的模型检验,动态模型检验过程中遇到的最严重问题之一是模型变化所带来的重复检验代价太高。
补充资料：验收抽样检验和监督抽样检验标准
验收抽样检验和监督抽样检验标准
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
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条