1) compositional refinement checking
组合精化检验
2) refinement checking
精化检验
1.
Model checking and refinement checking are two approaches to formal verification, whose difficulties are due to the state explosion problem.
模型检验和精化检验是两种重要的形式验证方法,其应用的主要困难在于如何缓解状态爆炸问题。
2.
In order to lower the complexity of formal verification, especially model checking and refinement checking, compositional methods have been presented.
为了控制形式验证特别是模型检验和精化检验的复杂性,研究人员提出了组合方法,其基水思想是“分而治之”,即把大的、系统整体的验证任务分解为一组小的、系统局部的子任务,再逐个解决。
3) combined L-test
组合L-检验
4) Compound check
化合层检验
5) combination of inspection facilities
检验设备组合
1.
Research on the combination of inspection facilities for flow shop quality inspection;
一类流水作业质量检验中检验设备组合问题的研究
6) compositional model checking
组合模型检验
补充资料：组合模式或组合振动
分子式：
CAS号：
性质：在红外光谱中通常出现很多的弱吸收，组合模式或组合振动系指对应于两个或多个基本振动频率之和起源，它的弱吸收于多原子分子振动态相互作用的振子的非谐性。与基频振动及倍频所引起的吸收相比，这些吸收是比较弱的。
CAS号：
性质：在红外光谱中通常出现很多的弱吸收，组合模式或组合振动系指对应于两个或多个基本振动频率之和起源，它的弱吸收于多原子分子振动态相互作用的振子的非谐性。与基频振动及倍频所引起的吸收相比，这些吸收是比较弱的。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条