On the basis of EST (Equivalent STate hashing) algorithm, this paper researches a kind of test generation algorithm based on search state dominance for combinational circuit. According to the dominance relation of the...
详细信息
On the basis of EST (Equivalent STate hashing) algorithm, this paper researches a kind of test generation algorithm based on search state dominance for combinational circuit. According to the dominance relation of the E-frontier (evaluation frontier), we can prove that this algorithm can terminate unnecessary searching step of test pattern earlier than the EST algorithm through some examples, so this algorithm can reduce the time of test generation. The test patterns calculated can detect faults given through simulation.
作者:
Suresh KalyanasundaramEdwin K. P. ChongNess B. ShroffMotorola India Electronics Limited
No. 66/1 Plot 5 Bagmane Techpark C. V. Raman Nagar Post Bangalore 560 093 India. Department of Electrical and Computer Engineering
Colorado State University Fort Collins CO 80523-1373 USA. Professor Edwin K. P. Chong received the B.E.(Hons.) degree with First Class Honors from the University of Adelaide
South Australia in 1987 graduating top of his class and the M.A. and Ph.D. degrees in 1989 and 1991
respectively both from Princeton University where he held an IBM Fellowship. He joined the School of Electrical and Computer Engineering at Purdue University in 1991 where he was named a University Faculty Scholar in 1999 and promoted to Full Professor in 2001. Since August 2001 he has been a Professor of Electrical and Computer Engineering and Professor of Mathematics at Colorado State University. His current interests are in communication networks and optimization methods. He coauthored the best-selling book An Introduction to Optimization 2nd Edition Wiley-Interscience 2001. He received the NSF CAREER Award in 1995 and the ASEE Frederick Emmons Terman Award in 1998. He coauthored a paper that was awarded Best Paper in the journal Computer Networks 2003. Professor Chong is a Fellow of the IEEE. He was founding chairman of the IEEE Control Systems Society Technical Committee on Discrete Event Systems and until recently served as an IEEE Control Systems Society Distinguished Lecturer. He has been on the editorial board of the IEEE Transactions on Automatic Control. He is currently on the editorial board of the journal Computer Networks. He has also served on the organizing committees of several international conferences. He has been on the program committees for the IEEE Conference on Decision and Control the American Control Conference the IEEE International Symposium on Intelligent Control IEEE Symposium on Computers and Communications and the IEEE Global Telecommunications Conference. He has also served in the executive committees for the IEEE Co
Solution techniques for Markov decision problems rely on exact knowledge of the transition rates, which may be difficult or impossible to obtain. In this paper, we consider Markov decision problems with uncertain tran...
详细信息
Solution techniques for Markov decision problems rely on exact knowledge of the transition rates, which may be difficult or impossible to obtain. In this paper, we consider Markov decision problems with uncertain transition rates represented as compact sets. We first consider the problem of sensitivity analysis where the aim is to quantify the range of uncertainty of the average per-unit-time reward given the range of uncertainty of the transition rates. We then develop solution techniques for the problem of obtaining the max-min optimal policy, which maximizes the worst-case average per-unit-time reward. In each of these problems, we distinguish between systems that can have their transition rates chosen independently and those where the transition rates depend on each other. Our solution techniques are applicable to Markov decision processes with fixed but unknown transition rates and to those with time-varying transition rates.
This paper considers the general filtering problem for a distinct class of two-dimensional (2-D) discrete linear systems, i.e. information propagation in two independent directions, known as discrete linear repetitive...
详细信息
This paper considers the general filtering problem for a distinct class of two-dimensional (2-D) discrete linear systems, i.e. information propagation in two independent directions, known as discrete linear repetitive processes which are of both system-theoretic and applications interest. In particular, new results on the design of filters with guaranteed levels of performance are developed. These take the form of algorithms for the design of an H infin and l 2 -l infin dynamic output feedback filter which guarantees that the resulting filtering error process is stable and has prescribed disturbance attenuation performance as measured by H infin and l 2 -l infin norms.
An optical current sensor based on the theory of Fabry-Perot interferometer is reported. Theoretical aspects of FP interferometer and optical sensors are described. A structure of the fixed cross beam with a permanent...
详细信息
ISBN:
(纸本)0863412467
An optical current sensor based on the theory of Fabry-Perot interferometer is reported. Theoretical aspects of FP interferometer and optical sensors are described. A structure of the fixed cross beam with a permanent magnet has been designed and the deflection of the magnet under an electromagnetic field leads to the beam displacement. The length of FP microcavity changes with this displacement and the variation is detected by FBG scanning demodulation. The relationship between the measured current and the output light intensity is established and simulation results are also showed herein.
This paper proposes a new mechanism to support Medium Access control (MAC)-level Quality-of-Service (QoS) in IEEE 802.11. Several slots are assembled together to form a super slot, and every slot in the super slot is ...
详细信息
In this paper the structure-based test generation algorithm has been studied for the problem that test patterns are obtained by determined finite faults set in the past. This Algorithm can find out all test patterns o...
详细信息
In this paper the structure-based test generation algorithm has been studied for the problem that test patterns are obtained by determined finite faults set in the past. This Algorithm can find out all test patterns one tithe, so faults detection is very convenient. By simulation, the smallest test patterns set can be obtained and faults coverage rate is 100%.
Adopting the traditional object-oriented and component-based methods, the software architecture design pattern can be applied in the concurrent, realtime and distributed fields, which will replace the kind of strong-c...
详细信息
This paper presents a new peak-to-average power ratio(PAPR) reduction method to optimize TDS-OFDM signals in DMB-T ***-OFDM modulation induces high crest factors of the signals in time domai
ISBN:
(纸本)0780397371
This paper presents a new peak-to-average power ratio(PAPR) reduction method to optimize TDS-OFDM signals in DMB-T ***-OFDM modulation induces high crest factors of the signals in time domai
The structure-based test generation algorithm has been studied for the problem that test patterns are obtained by determined finite faults set in the past. This Algorithm can find out all test patterns one time, so fa...
详细信息
The structure-based test generation algorithm has been studied for the problem that test patterns are obtained by determined finite faults set in the past. This Algorithm can find out all test patterns one time, so faults detection is very convenient. By simulation, the smallest test patterns set can be obtained and faults coverage rate is 100%.
Detection and prevention of Phenylketonuria (PKU) is becoming more and more important. However, the current methods are either imprecise or time-consuming. We propose a biosensor system based on phenylalanine ammonia-...
详细信息
Detection and prevention of Phenylketonuria (PKU) is becoming more and more important. However, the current methods are either imprecise or time-consuming. We propose a biosensor system based on phenylalanine ammonia-lyase (PAL) immobilized on an ammonia electrode to measure blood phenylalanine for PKU prevention. The biosensor exhibits good linearity from 10-5000 muM and the response time is only about 2 minutes. It remains stable for at least 5 days and less than 20% drop of the original activity after ten day storage at 4 D, while the service life of the biosensor could be up to 30 days. We also develop an intelligent system to ensure optimal conditions for operation and preservation of the biosensor and to make detection more convenient and reliable. All of these advantages indicate that the newly developed method could be a better one for solving the problems of PKU detection
暂无评论