PCB工艺规则表示方法.pdfVIP

2013年2月 西安电子科技大学学报(自然科学版) Feb·2013 第40卷第1期 JOURNALOFXIDIANUNIVERSITY Vol·40No．1 doi：10．3969／j．issn．1001—2400．2013．01．013 PCB工艺规则表示方法 姜建国，刘永青，臧明相，王甜甜，尚海豹 (西安电子科技大学计算机学院，陕西西安 710071) 摘要：利用谓词逻辑能表示确定性知识与模糊逻辑中隶属函数能表示不确定性知识的特点，提出了一种 新的谓词隶属逻辑表示法，即通过隶属函数的谓词逻辑对二值和多值逻辑规则进行归一化表示，得到了印 制电路板(PCB)规则工艺知识库，实现了基于该方法的知识推理，为后续实现PCB的智能审查提供了审查 依据及数据支持． 关键词：印制电路板；工艺规则；谓词逻辑；隶属函数；智能审查 中图分类号：TPl82文献标识码：A 文章编号：1001—2400(2013)01—0068—08 Researchonthe