1) bounded model checking
有界模型检验
2) unbounded model checking
无界模型检验
1.
This paper presents a preimage computation approach used in unbounded model checking.
提出一种无界模型检验的前像计算方法,该方法有效地结合ATPG和SAT引擎,充分利用引擎各自的优点。
2.
To overcome this drawback in SAT-based unbounded model checking,an improved SAT solver is proposed.
文中提出了一个统一的基于CNF数据结构的电路SAT无界模型检验框架。
3) bounded model checking
有界模型检测
1.
This paper presents an approach to the verification of temporal epistemic logic in synchronous multi-Agent systems via bounded model checking (BMC).
提出在同步的多智体系统中验证时态认知逻辑的有界模型检测(boundedmodelchecking,简称BMC)算法。
2.
This paper optimizes the encoding of verifying G(p) and G(p→F(q)) which are two important and frequently used modal operators in optimization of encoding for bounded model checking (BMC).
G(p)和G(p→F(q))是有界模型检测(bounded model checking,简称BMC)中的两个重要的常用模态算子。
4) Bounds Test
有界检验
1.
An Empirical Analysis on the Relationship between China s Employment and FDI:Based on Bounds Test;
基于有界检验方法的外商投资与我国就业效应的实证分析
6) model checking
模型检验
1.
Application of model checking technology to automatically vulnerabilities finding in software;
模型检验技术在软件漏洞自动挖掘中的应用
2.
Using model checking to generate test cases for class testing;
一种基于模型检验的类测试用例生成方法
3.
Method of model checking based on linear weighted generalized list;
基于线性带权值的广义表的模型检验方法
补充资料：验收抽样检验和监督抽样检验标准
验收抽样检验和监督抽样检验标准
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
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条