简介:仿射变换在PCB在线检测中解决了因成像系统或板翘曲引起的误差对检测结果的影响,提高了检测系统的稳定性和可靠性。在PCB孔径孔数检查系统中,标准图像和待测图像采用基于特征点的配准,以图像上对应坐标点为特征点,建立仿射变换模型,求出两幅图像特征点之间的位置关系,实现图像间的配准。通过该算法在爱思达PCB孔径孔数检查机系统中的应用,提高了系统对成像误差和板翘曲的检查能力,实现了该种设备的重大突破。
简介:为了减少复杂设计中可能的亚稳态风险,不少公司都采用工具或人工来检查设计中存在跨时钟域的问题。传统的检查方法只能检查设计中是否做了跨时钟域的处理,却无法检查处理得是否合理,而静态Formal验证技术采用数学穷举的方法,利用断言对设计中的同步器进行快速验证,确保数据的可靠传输,有效避免了一些设计缺陷。Mentor公司的QuestaCDC和Forma1工具可以对设计进行跨时钟域的检查,并可用Formal引擎证明设计中跨时钟域同步器与其断言的一致性,可极大地提高复杂设计的验证效率和鲁棒性。
简介:从工信部获悉,工信部副部长辛国斌对《国家智能制造标准体系建设指南》进行了解读,他表示,智能带IJ造是《中国制造2025》的主攻方向,该指南明确了建设智能制造标准体系的总体要求、建设思路、建设内容和组织实施方式,从生命周期、系统层级、智能功能等3个维度建立了智能制造标准体系参考模型,并由此提出了智能制造标准体系框架,框架包括“基础”、“安全”、“管理”、“检测评价”、“可靠性”等5类基础共性标准,和“智能装备”、“智能工厂”、“智能服务”、“工业软件和大数据”、“工业互联网”等5类关键技术标准,以及包括《中国制造2025》中10大应用领域在内的不同行业的应用标准。辛国斌表示,计划每2-3年对该指南进行修订。