1) emptiness checking
空性检测
1.
The paper proposes an improvement for SCC-based emptiness checking algorithms,which combines the advantages of SCC-based and nested depth first search for finding a cycle meeting all sets of acceptance conditions.
对Couvreur提出的基于强连通图的空性检测算法进行改进,使基于嵌套的深度优先搜索与基于强连通图搜索算法的优势结合起来,在对基于迁移的扩展(具有多个可接受条件)Büchi自动机进行空性检测过程中,使用一个布尔变量标识一个状态,不仅节省了内存消耗,而且一般情况下的性能明显优于已有的算法,最坏情况等同于Couvreur的算法。
2) Non-emptiness checking
非空性检测
3) space detecting performance
空域检测性能
1.
Analysis of space detecting performance for phased array radar;
相控阵雷达空域检测性能分析
4) Empty Bottle Inspection
空瓶检测
1.
The system applied the machine vision in the empty bottle inspection.
本课题将机器视觉应用于啤酒瓶空瓶检测，系统检测的主要原理为：使用CCD相机、采用合理光源、应用光学原理采集图象，对图象进行滤波、定位、增强、分割等算法处理，最终根据缺陷点灰度值的差异进行图象识别。
补充资料：空性
【空性】
（术语）真如之异名。梵语舜若多S/unyata，译曰空性。真如为离我法二执之实体，故修空观而离我法二执之处，真如之实体跃然而显，即依空而显之实性，谓为空性。非谓真如之体是空也。唯识述记一本曰：“梵言舜若，可说如空，名舜若多。如是空性，即是二空所显实性。故言空者，从能显说。二空之性，依士释名。言真如空，未善理故。”同序曰：“空性了义，几乎息矣！”
（术语）真如之异名。梵语舜若多S/unyata，译曰空性。真如为离我法二执之实体，故修空观而离我法二执之处，真如之实体跃然而显，即依空而显之实性，谓为空性。非谓真如之体是空也。唯识述记一本曰：“梵言舜若，可说如空，名舜若多。如是空性，即是二空所显实性。故言空者，从能显说。二空之性，依士释名。言真如空，未善理故。”同序曰：“空性了义，几乎息矣！”
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条