1) component test
组合测验
2) combined technical method of inspection and examination
检验检测技术组合方法
3) rearrangement test
重组测验
4) wordbuilding test
组字测验
5) combination experiment
组合试验
1.
The standard function of compulsory general experimental criterion to combination experiment;
强制性通用试验准则对组合试验的规范作用——静态温度与温度对空载示值的影响
6) Compositional verification
组合验证
1.
Based on expressing UML Statecharts with hierarchical automata structurally,the paper introduces hierarchy into compositional verification,which makes it possible that some refined components can be replaced by more abstract specifications in model checking,and state explosion problem will be reduced.
该文在用层次自动机结构化表示UMLStatecharts的基础上,把Statecharts的层次结构特点纳入到组合验证中,使得对实现规范的验证可以通过把系统的某些层次精化部分用更抽象的规约代替来进行,以缓解模型检验中的状态爆炸问题。
2.
A key problem of compositional verification lies in the difficulties of task division, which are brought by the dependence relationship.
因为传统的模型不能在构件的行为描述中显式地表达构件对环境的假设,因此在组合验证时往往需要单独构造环境模块,这较大程度地增加了组合验证的复杂性。
补充资料：检验方法标准
检验方法标准
检验方法标准能、规格、品质、重量、对某一特定商品的安全、卫生、技术性数量、质量等进行试验、测定、测量、检验、检查而统一规定的方法。它以科学技术和实践经验的综合成果为基础，经有关方面协作试验一致，由主管机构批准，以特定形式发布，作为共同遵守的准则和依据。检验方法标准按检验类别分，包括检验规程，微生物学检验方法，化学分析方法，物理、感官检验方法，重量、数量检验方法，包装检验方法等;按等级分，有国家标准、行业标准、地方标准和企业标准等。中国政府为促进对外经济贸易的发展，维护对外贸易有关各方的合法权益，国家对进出口商品依据法律、贸易合同、信用证和检验方法标准，实行安全、卫生、品种、技术性能、品质、重量、数量和质量检验，保证进出口商品符合法律、合同、信用证的要求。根据检验所得结果，作为评价商品质量，判断商品合格与否的依据，最后确定其能否进出口，保证进出口商品符合国家法律、标准或合同、信用证的要求，在国内贸易中，作为货物交接的依据。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条