Affiliation:
1. School of Science Ningbo University of Technology Ningbo China
2. Department of Systems and Control Engineering Tokyo Institute of Technology Tokyo Japan
3. Complex Systems Department of Computer Science University of Surrey Guildford UK
4. School of Control Science and Engineering Dalian University of Technology Dalian China
Abstract
AbstractThis article studies an algebra‐logic mixed representation of gate networks and its application to stuck‐at fault diagnosis. First, the gate network is characterized through a logic expression of disjoint sum‐of‐products, and the system structure of the gate network is described based on 2‐to‐1 multiplexers. Then, by resorting to the semi‐tensor product of matrices, a novel algebra‐logic mixed representation is proposed for the gate network through its logic expression and system structure. Furthermore, a novel stuck‐at fault diagnosis algorithm for the gate network is presented, where the stuck‐at fault testability of the gate network is equivalent to the solution existence of the system of linear equations. Finally, the fault diagnosis of the 4‐bit carry look‐ahead adder is carried out to demonstrate the effectiveness and feasibility of the proposed theoretical approach and algorithms.
Subject
Control and Systems Engineering,Electrical and Electronic Engineering,Mathematics (miscellaneous)
Reference51 articles.
1. Why future supercomputing requires optics;John C. H.;Nat. Photon.,2010
2. All optical XOR logic gate formed by unsupervised optical neuron networks
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Fault Detectability of Asynchronous Switched Boolean Networks: A Set Reachability Approach;IEEE/ACM Transactions on Computational Biology and Bioinformatics;2023-11
2. A fault diagnosis algorithm of the dedicated equipment based on LSTM mechanism;2023 62nd Annual Conference of the Society of Instrument and Control Engineers (SICE);2023-09-06
3. A fault diagnosis algorithm of the dedicated equipment based on CBAM-ResNET mechanism;2023 2nd Conference on Fully Actuated System Theory and Applications (CFASTA);2023-07-14