In this paper, the well known Miller effect is used to design Resistively Variable Capacitors. The effect is formulated in voltageand current-mode versions and, in both cases, implementations based on opamps and, even...
详细信息
On the basis of a set of new concepts called virtual data acquisition machine, the authors have developed a unique working environment for real-time data acquisition. They have tested this system in a biomedical appli...
详细信息
This paper presents a method of realizing the current-mode counterparts of the classical Single Amplifier Biquad (SAB's) filters, especially those based on negative feedback. The resulting circuits have been simul...
详细信息
Minimization of the total testing lime of a chip and the extra overhead involved form two key aspects in design for testability. This paper presents an integrated approach for selecting the test plans with the objecti...
详细信息
This paper presents an algorithm for input output decoupling of nonlinear systems with the use of a dynamic precompensator. The algorithm has a simple form. Accordingly necessary and sufficient conditions are establis...
详细信息
This paper presents an algorithm for input output decoupling of nonlinear systems with the use of a dynamic precompensator. The algorithm has a simple form. Accordingly necessary and sufficient conditions are established which guarantee solvability of the problem. In concluding the significant reduction in computation time with respect to an existing algorithm is demonstrated.
A fault simulation and test-pattern-generation environment is specified. It includes a multiple-valued algebra, allows the natural treatment of loops and bidirectional devices, and models the physical failures. The au...
详细信息
A fault simulation and test-pattern-generation environment is specified. It includes a multiple-valued algebra, allows the natural treatment of loops and bidirectional devices, and models the physical failures. The authors' main idea is to define what is possible when no extraction to gate level and no creation of transistor groups are performed. Two fault groups are distinguished: the faults which can be modelled in a downward layout, and the faults which can be modelled in an upward verification. This distinction induces difference in the switch network obtained, as the second group allows to model the line resistances.< >
A processor called Boolean Analyzer has been presented at IFIP Congress 1968 to introduce parallel processing of Boolean expressions [1]. The present paper shows how to increase its speed many times by making its proc...
详细信息
This book constitutes the refereed proceedings of the 23rd Australasian Joint Conference on Rough Sets and Intelligent Systems Paradigms, RSEISP 2014, held in Granada and Madrid, Spain, in July 2014. RSEISP 2014 was h...
详细信息
ISBN:
(数字)9783319087290
ISBN:
(纸本)9783319087283
This book constitutes the refereed proceedings of the 23rd Australasian Joint Conference on Rough Sets and Intelligent Systems Paradigms, RSEISP 2014, held in Granada and Madrid, Spain, in July 2014. RSEISP 2014 was held along with the 9th International Conference on Rough Sets and Current Trends in Computing, RSCTC 2014, as a major part of the 2014 Joint Rough Set Symposium, JRS 2014. JRS 2014 received 40 revised full papers and 37 revised short papers which were carefully reviewed and selected from 120 submissions and presented in two volumes. This volume contains the papers accepted for the conference RSEISP 2014, as well as the three invited papers presented at the conference. The papers are organized in topical sections on plenary lecture and tutorial papers; foundations of rough set theory; granular computing and covering-based rough sets; applications of rough sets; induction of decision rules - theory and practice; knowledge discovery; spatial data analysis and spatial databases; information extraction from images.
An increasing recognition of the role of the human-system interface is leading to new extensions and styles of specification. Techniques are being developed that facilitate the expression of user-oriented requirements...
详细信息
ISBN:
(数字)9783709168783
ISBN:
(纸本)9783211830550
An increasing recognition of the role of the human-system interface is leading to new extensions and styles of specification. Techniques are being developed that facilitate the expression of user-oriented requirements and the refinement and checking of specifications of interactive systems. This book reflects the state of the art in this important area and also contains a summary of working group discussions about how the various techniques represented might be applied to a common case study.
暂无评论