摘要
提出了布尔函数c导数的定义和性质,并给出了部分性质的证明.在此基础上,提出了求解"或"搭接及"与"搭接故障测试矢量的2个定理.通过实例讨论了布尔函数c导数在组合逻辑电路故障检测中的应用.所提出的c导数是对布尔函数的布尔导数和e导数研究的补充与完善.
The definitions and properties of c-derivative of Boolean functions is proposed, and the proofs for several properties are given. Based on it, two theorems on bridging fault by wired-OR and wired-AND models are presen- ted. Their application in the fault detection of combinational circuits of c-derivative of Boolean functions is dis- cussed. The c derivative of Boolean functions presented is the complement and improvement of the research on the Boolean derivative and e-derivative of Boolean functions.
出处
《浙江大学学报（理学版）》
CAS
CSCD
2014年第2期153-155,共3页
Journal of Zhejiang University（Science Edition）
基金
浙江省自然科学基金资助项目(Y1110808)
关键词
e导数
e导数
布尔导数
组合电路故障检测
布尔函数的特殊运算
搭接故障
c-derivative
e-derivative
Boolean derivative
fault detection of combinational circuits
special operation of Boolean functions
bridging fault
