PCB工艺规则表示方法.pdf

《PCB工艺规则表示方法.pdf》由会员上传分享，免费在线阅读，更多相关内容在应用文档-天天文库。

1、２０１３年２月西安电子科技大学学报（自然科学版）Ｆｅｂ．２０１３第４０卷第１期ＪＯＵＲＮＡＬＯＦＸＩＤＩＡＮＵＮＩＶＥＲＳＩＴＹＶｏｌ．４０Ｎｏ．１ｄｏｉ：１０．３９６９／ｊ．ｉｓｓｎ．１００１－２４００．２０１３．０１．０１３ＰＣＢ工艺规则表示方法姜建国，刘永青，臧明相，王甜甜，尚海豹（西安电子科技大学计算机学院，陕西西安７１００７１）摘要：利用谓词逻辑能表示确定性知识与模糊逻辑中隶属函数能表示不确定性知识的特点，提出了一种新的谓词隶属逻辑表示法，即通过隶属函数的谓词逻辑对二值和多值逻辑规则进行归一化表示，得到了印制电路板（ＰＣＢ）规则

2、工艺知识库，实现了基于该方法的知识推理，为后续实现ＰＣＢ的智能审查提供了审查依据及数据支持．关键词：印制电路板；工艺规则；谓词逻辑；隶属函数；智能审查中图分类号：ＴＰ１８２文献标识码：Ａ文章编号：１００１－２４００（２０１３）０１－００６８－０８ＲｅｓｅａｒｃｈｏｎｔｈｅｒｅｐｒｅｓｅｎｔａｔｉｏｎｍｅｔｈｏｄｏｆＰＣＢｔｅｃｈｎｉｑｕｅｒｕｌｅｓＪＩＡＮＧＪｉａｎｇｕｏ，ＬＩＵＹｏｎｇｑｉｎｇ，ＺＡＮＧＭｉｎｇｘｉａｎｇ，ＷＡＮＧＴｉａｎｔｉａｎ，ＳＨＡＮＧＨａｉｂａｏ（ＳｃｈｏｏｌｏｆＣｏｍｐｕｔｅｒＳｃｉｅｎｃｅａｎｄＴｅｃｈｎｏｌ

3、ｏｇｙ，ＸｉｄｉａｎＵｎｉｖ．，Ｘｉａｎ７１００７１，Ｃｈｉｎａ）Ａｂｓｔｒａｃｔ：Ａｎｅｗｍｅｔｈｏｄｎａｍｅｄｔｈｅｐｒｅｄｉｃａｔｅ－ｍｅｍｂｅｒｓｈｉｐｌｏｇｉｃｒｅｐｒｅｓｅｎｔａｔｉｏｎｍｅｔｈｏｄｉｓｐｒｏｐｏｓｅｄｉｎｔｈｉｓｐａｐｅｒ，ｗｈｉｃｈｉｓｂａｓｅｄｏｎｔｈｅｆａｃｔｓｔｈａｔｔｈｅｐｒｅｄｉｃａｔｅｌｏｇｉｃｃａｎｒｅｐｒｅｓｅｎｔｃｅｒｔａｉｎｋｎｏｗｌｅｄｇｅａｎｄｔｈｅｍｅｍｂｅｒｓｈｉｐｆｕｎｃｔｉｏｎｉｎｔｈｅｆｕｚｚｙｌｏｇｉｃｃａｎｒｅｐｒｅｓｅｎｔｔｈｅｕｎｃｅｒｔａｉｎｐａｒｔ．Ｔｈｅｋｎ

4、ｏｗｌｅｄｇｅｂａｓｅｏｆＰＣＢｔｅｃｈｎｉｑｕｅｒｕｌｅｓａｎｄｔｈｅｋｎｏｗｌｅｄｇｅｒｅａｓｏｎｉｎｇｍｏｄｅｌａｒｅａｃｈｉｅｖｅｄｂｙｎｏｒｍａｌｉｚｉｎｇｔｗｏ－ｖａｌｕｅｄａｎｄｍｕｌｔｉ－ｖａｌｕｅｄｌｏｇｉｃａｌｒｕｌｅｓｗｉｔｈｔｈｅｐｒｅｄｉｃａｔｅｌｏｇｉｃｏｆｔｈｅｍｅｍｂｅｒｓｈｉｐｆｕｎｃｔｉｏｎ．Ｍｅａｎｗｈｉｌｅ，ｔｈｅｙｐｒｏｖｉｄｅｔｈｅｅｘａｍｉｎａｔｉｏｎｂａｓｉｓａｎｄｄａｔａｓｕｐｐｏｒｔｆｏｒｔｈｅｉｎｔｅｌｌｉｇｅｎｔｅｘａｍｉｎａｔｉｏｎｏｆＰＣＢ．ＫｅｙＷｏｒｄｓ：ｐｒｉｎｔｅｄｃｉｒ

5、ｃｕｉｔｂｏａｒｄ（ＰＣＢ）；ｔｅｃｈｎｉｑｕｅｒｕｌｅｓ；ｐｒｅｄｉｃａｔｅｌｏｇｉｃ；ｍｅｍｂｅｒｓｈｉｐｆｕｎｃｔｉｏｎ；ｉｎｔｅｌｌｉｇｅｎｔｅｘａｍｉｎａｔｉｏｎ印制电路板（ＰｒｉｎｔｅｄＣｉｒｃｕｉｔＢｏａｒｄ，ＰＣＢ）是电子产品的关键互联件．随着科学技术的发展，各类产品的电子信息化处理的需求逐步增强，新兴的电子产品不断涌现，ＰＣＢ产品的用途和市场也不断扩展．因此，为避免在制造ＰＣＢ时才发现因设计错误而导致的电子产品开发周期长、质量低、返工率高等问题，在设计后和加工前对电路板进行智能审查具有重要意义．现有的电子辅助设计软件侧重

6、于设计功能，很少涉及到对设计结果的审查，更缺少对其可加工性的检验．目前对于ＰＣＢ设计的审核，还停留在以人工为主的阶段，存在着主观性大、可靠性差、效率偏低等问题．因此，采用一定方法并利用计算机对设计和加工文件中的数据实现智能、高效的审查显得尤为重要．这是提［１］高ＰＣＢ生产质量、缩短研产周期和降低返工率的一种有效途径．而利用计算机进行智能审查的首要困难就是ＰＣＢ工艺规则表示方法的选择，并且该问题能否很好地解决，将直接影响ＰＣＢ审查结果的正确性、审查效率的高效性以及人机交互的方便性．故如何把专家知识总结出来，并表示成现有计算机可以接受、运用和

7、处理的形式是实现ＰＣＢ智能审查的一个关键问题．针对ＰＣＢ工艺规则的特点，笔者提出了一种新的谓词隶属逻辑表示法．利用该方法实现了ＰＣＢ工艺中收稿日期：２０１１－０９－１６网络出版时间：２０１２－０９－２５基金项目：国家部委基础科研计划资助项目（Ｄ１１２００６０９６７）作者简介：姜建国（１９５６－），男，教授，Ｅ－ｍａｉｌ：ｊｇｊｉａｎｇ＠ｍａｉｌ．ｘｉｄｉａｎ．ｅｄｕ．ｃｎ．网络出版地址：ｈｔｔｐ：／／ｗｗｗ．ｃｎｋｉ．ｎｅｔ／ｋｃｍｓ／ｄｅｔａｉｌ／６１．１０７６．ＴＮ．２０１２０９２５．１０５６．２０１３０１．８５０１３．ｈｔｍｌ第１

8、期姜建国等：ＰＣＢ工艺规则表示方法６９二值和多值逻辑规则的归一化表示，并在其基础上，完成了知识的获取、存储和推理，为后续利用计算机实现智能审查提供了审查依据及数据支持，减轻了设计人员的工作负担