PCB审查规则知识表示及智能审查方法研究.pdfVIP

摘要 电子产品小体积、高密度的发展趋势，使得印制电路板(PCB)的设计、加工 制造过程越来越复杂。为了解决目前审查方法效率低、灵活性不足等问题，对PCB 的审查规则知识表示及智能审查方法的研究具有重要意义。 本文将谓词逻辑和模糊逻辑的隶属函数相结合，提出了一种适应于PCB审查 规则特点的谓词隶属逻辑知识表示法。通过谓词隶属逻辑表示法的定义及审查规 则的分类知识表示，解决了现有知识表示法不能统一表示审查规则中确定性和不 确定性知识的问题；通过隶属函数的确定与量化编辑器的设计，实现了规则的量 化，解决了知识在计算机中的应用与存储问题。建立了知识库、审查方法库及评 价库驱动的审查推理模型，实现了PCB设计数据的智能审查，一定程度上解决了 已有审查方法存在的问题。 实验表明，本文提出的谓词隶属逻辑知识表示法能较好地表示审查规则，为 PCB领域的知识表示奠定了坚实基础。以本文审查推理模型为基础的智能审查方 法不但能快速发现设计错误，且交互性、灵活性和可扩充性好。下一步将研究审 查规则中专家经验值的特征和规律，并实现知识的演绎推理功能。 关键词：智能审查谓词隶属逻辑量化知识表示印制电路板(PCB) Abstract Withthe thatelectronic smallsizeand de、relopment productsbecoming highspeed， the and ofPrintedCircuitBoardbecomes designprocessingnlanuf-acturingprocess on more It isof toresearch complex． greatimportantsignificance knowledge of rulesand methodof the PCB，for checkup intelligentcheckup s01Ving repres‘：ntation thatlow and ofcurrent methods． proble：ms e衔ciencyflexibility checkup withthe of Combingpredicatelogic membership向nctionfuZzylogic，apredicate method toPCB mlesis membI：rship109icknowle起erepresentationadapting checkup definitionof methodandthe the membershiplogic proposed．Through predicate ofthe the thatthetraditional mles， knowledgerepresentationcheckup problems methodscaJl‘t thecerrtainanduncertain are