西安电子科技大学学报（自然科学版）
西安電子科技大學學報（自然科學版）
서안전자과기대학학보（자연과학판）
JOURNAL OF XIDIAN UNIVERSITY(NATURAL SCIENCE)
2013年
1期
68-75
,共8页
姜建国%刘永青%臧明相%王甜甜%尚海豹
薑建國%劉永青%臧明相%王甜甜%尚海豹
강건국%류영청%장명상%왕첨첨%상해표
印制电路板%工艺规则%谓词逻辑%隶属函数%智能审查
印製電路闆%工藝規則%謂詞邏輯%隸屬函數%智能審查
인제전로판%공예규칙%위사라집%대속함수%지능심사
利用谓词逻辑能表示确定性知识与模糊逻辑中隶属函数能表示不确定性知识的特点,提出了一种新的谓词隶属逻辑表示法,即通过隶属函数的谓词逻辑对二值和多值逻辑规则进行归一化表示,得到了印制电路板(PCB)规则工艺知识库,实现了基于该方法的知识推理,为后续实现PCB的智能审查提供了审查依据及数据支持.
利用謂詞邏輯能錶示確定性知識與模糊邏輯中隸屬函數能錶示不確定性知識的特點,提齣瞭一種新的謂詞隸屬邏輯錶示法,即通過隸屬函數的謂詞邏輯對二值和多值邏輯規則進行歸一化錶示,得到瞭印製電路闆(PCB)規則工藝知識庫,實現瞭基于該方法的知識推理,為後續實現PCB的智能審查提供瞭審查依據及數據支持.
이용위사라집능표시학정성지식여모호라집중대속함수능표시불학정성지식적특점,제출료일충신적위사대속라집표시법,즉통과대속함수적위사라집대이치화다치라집규칙진행귀일화표시,득도료인제전로판(PCB)규칙공예지식고,실현료기우해방법적지식추리,위후속실현PCB적지능심사제공료심사의거급수거지지.
