PCB工艺规则表示方法

doi:10.3969/j.issn.1001-2400.2013.01.013

J4 ›› 2013, Vol. 40 ›› Issue (1): 68-75.doi: 10.3969/j.issn.1001-2400.2013.01.013

PCB工艺规则表示方法

姜建国;刘永青;臧明相;王甜甜;尚海豹

(西安电子科技大学计算机学院，陕西西安 710071)

收稿日期:2011-09-16 出版日期:2013-02-20 发布日期:2013-03-28
通讯作者: 姜建国
作者简介:姜建国(1956-)，男，教授，E-mail: jgjiang@mail.xidian.edu.cn．
基金资助:
国家部委基础科研计划资助项目(D1120060967)

Research on the representation method of PCB technique rules

JIANG Jianguo;LIU Yongqing;ZANG Mingxiang;WANG Tiantian;SHANG Haibao

(School of Computer Science and Technology, Xidian Univ., Xi'an 710071， China)

Received:2011-09-16 Online:2013-02-20 Published:2013-03-28
Contact: JIANG Jianguo

摘要/Abstract

摘要：

利用谓词逻辑能表示确定性知识与模糊逻辑中隶属函数能表示不确定性知识的特点，提出了一种新的谓词隶属逻辑表示法，即通过隶属函数的谓词逻辑对二值和多值逻辑规则进行归一化表示，得到了印制电路板(PCB)规则工艺知识库，实现了基于该方法的知识推理，为后续实现PCB的智能审查提供了审查依据及数据支持．

关键词: 印制电路板, 工艺规则, 谓词逻辑, 隶属函数, 智能审查

Abstract:

A new method named the predicate-membership logic representation method is proposed in this paper, which is based on the facts that the predicate logic can represent certain knowledge and the membership function in the fuzzy logic can represent the uncertain part. The knowledge base of PCB technique rules and the knowledge reasoning model are achieved by normalizing two-valued and multi-valued logical rules with the predicate logic of the membership function. Meanwhile, they provide the examination basis and data support for the intelligent examination of PCB.

Key words: printed circuit board(PCB), technique rules, predicate logic, membership function, intelligent examination

中图分类号:

TP182

姜建国;刘永青;臧明相;王甜甜;尚海豹. PCB工艺规则表示方法[J]. J4, 2013, 40(1): 68-75.

JIANG Jianguo;LIU Yongqing;ZANG Mingxiang;WANG Tiantian;SHANG Haibao. Research on the representation method of PCB technique rules[J]. J4, 2013, 40(1): 68-75.

参考文献

［1］ Zang Mingxiang, Wang Tiantian, Huang Zhanwu. The Automatic Checkup Method for PCB Processing Data Based on Knowledge［C］//2010 the 2nd International Conference on Future Computer and Communication: Vol 1. Shanghai: IEEE, 2010: 538-542.
［2］ Hai Zhuge, Luo Xiangfeng. Knowledge Map: Mathematical Model and Dynamic Behaviors［J］. Journal of Computer Science and Technology, 2005, 20(3): 289-295.
［3］许文艳 ,刘三阳. 基于可计算性逻辑的知识表示与推理［J］. 吉林大学学报(理学版), 2009, 47(6):1230-1236.
Xu Wenyan, Liu Sanyang. Knowledge Representation and Reasoning Based on Computability Logic［J］. Journal of Jilin University(Science Edition), 2009, 47(6): 1230-1236.
［4］张科杰, 袁国华, 彭颖红. 知识表示及其在机械工程设计中的应用探讨［J］. 机械设计, 2004, 21(6): 4-6.
Zhang Kejie, Yuan Guohua, Peng Yinghong. Approach to Knowledge Expression and Its Application in Mechanical Engineering Design［J］. Journal of Machine Design, 2004, 21(6): 4-6.
［5］詹振飞, 王伟明, 胡洁, 等. 不确定性工艺知识的模糊粗糙隶属度函数表示方法［J］. 计算机应用研究, 2009, 26(2): 475-477.
Zhan Zhenfei, Wang Weiming, Hu Jie, et al. Fuzzy-rough Set Membership Function Based on Uncertainty Process Knowledge Representation［J］. Application Research of Computers, 2009, 26(2): 475-477.
［6］卢靓妮, 姜建国, 张楠. 基于知识的PCB设计数据审查［J］. 微计算机信息, 2009, 25(21): 19-21.
Lu Liangni, Jiang Jianguo, Zhang Nan. The PCB Design Data Review Based on Knowledge［J］. Control ＆ Automation, 2009, 25(21): 19-21.
［7］陶靖轩. 正权组合预测的最佳估计及其精度［J］. 中国计量学院学报, 2000, 11(2): 91-95.
Tao Jingxuan. Best Estimation of Combinatorial Prediction by Positive Weights and Its Precision［J］. Journal of China Institute of Metrology, 2000, 11(2): 91-95.
［8］冀英伟, 杨海峰, 张继福. 一种基于谓词逻辑的分类规则约简方法［J］. 太原科技大学学报, 2010, 31(1): 59-64.
Ji Yingwei, Yang Haifeng, Zhang Jifu. A Reduction Method of Classification Rules Based on Predicate Logic［J］. Journal of Taiyuan University of Science and Technology, 2010, 31(1): 59-64.
［9］杜国宁. 随机值II-型模糊集及其不确定性知识表示［J］. 模糊系统与数学, 2011, 25(1): 89-95.
Du Guoning. Stochastic Type-2 Fuzzy Set and Its Uncertain Knowledge Presentation［J］. Fuzzy Systems and Mathematics, 2011, 25(1): 89-95.
［10］刘源, 谢维信, 杜文吉, 等. 模糊-概率交互作用的数据关联算法［J］. 西安电子科技大学学报, 1999, 26(2): 154-159.
Liu Yuan, Xie Weixin, Du Wenji, et al. Fuzzy-probability Interacting Data Association Algorithm［J］. Journal of Xidian University, 1999, 26(2): 154-159.
［11］刘宏伟, 姚寿广. 数据库技术在专家系统知识表示中的应用［J］. 江苏科技大学学报(自然科学版), 2007, 21(3): 50-53.
Liu Hongwei, Yao Shouguang. Application of Database Technique in Expert System Knowledge Representation［J］. Journal of Jiangsu University of Science and Technology(Natural Science Edition), 2007, 21(3): 50-53.
［12］许文艳, 刘三阳. 知识库系统的逻辑基础［J］. 计算机学报, 2009, 32(11): 2123-2129.
Xu Wenyan, Liu Sanyang. Logic for Knowledgebase Systems［J］. Chinese Journal of Computers, 2009, 32(11): 2123-2129.
［13］ Tang Zhijie, Yang Baoan, Zhang Kejing. Design of Multi-attribute Knowledge Base Based on Hybrid Knowledge Representation［J］. Journal of Donghua University (Eng ED), 2006, 23(6): 62-66.
［14］刘金璐, 于冬, 高璇. 基于Rough集理论的城市信息系统知识获取方法［J］. 西安电子科技大学学报(社会科学版), 2004, 14(4):103-107.
Liu Jinlu, Yu Dong, Gao Xuan. Method of Knowledge Acquisition in Urban Information System Based on Rough-Set Theory［J］. Journal of Xidian University(Social Science Edition), 2004, 14(4): 103-107.
［15］黄福玉, 冯玉强, 王龙, 等. 基于关系模型的不确定性知识表示与推理及其在KMS中的应用［J］. 南京理工大学学报, 2006, 30(5): 653-656.
Huang Fuyu, Feng Yuqiang, Wang Long, et al. Relation-model-based Indefinite Knowledge Representation and Inference Technology and Its Application in KMS［J］. Journal of Nanjing University of Science and Technology, 2006, 30(5): 653-656.

PCB工艺规则表示方法

Research on the representation method of PCB technique rules

PDF (PC)

赞

可视化

被引次数

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 1

Metrics

本文评价

推荐阅读 10