Given a test set for stuck-at faults, a primary input value may be changed to the opposite logic value without losing fault coverage. One can regard such a value as a don't-care (X). The don't care values can ...
详细信息
Given a test set for stuck-at faults, a primary input value may be changed to the opposite logic value without losing fault coverage. One can regard such a value as a don't-care (X). The don't care values can be filled appropriately to achieve test compaction, test data compression, or power reduction during testing. However, these uses are better served if the don't cares can be placed in desired/specific bit positions of the test patterns. In this paper, we present a method for maximally fixing Xs on specific bits of given test vectors. Experimental results on ISCAS benchmark circuits show how the proposed method can increase the number of Xs on specific bits compared with an earlier proposed method.
The size of the membership set is investigated in the presence of bounded disturbance and l/sub 2/ bounded parameter uncertainty. A tight upper bound of the diameter of the membership set is derived, which indicates t...
详细信息
The size of the membership set is investigated in the presence of bounded disturbance and l/sub 2/ bounded parameter uncertainty. A tight upper bound of the diameter of the membership set is derived, which indicates that the diameter does not converge to zero in general. Another upper bound of the diameter is also derived in a stochastic setting, where the disturbance and the parameter uncertainty are assumed to take a value near the worst ones with nonzero probability. The bound clarifies that the diameter converges to zero with probability one as the number of samples tends to infinity.
In this paper, we propose a framework for obtaining the optimal solution of an elevator operation problem by applying branch-and-bound method, where it is assumed that all information about the passengers are given. T...
详细信息
In this paper, we propose a framework for obtaining the optimal solution of an elevator operation problem by applying branch-and-bound method, where it is assumed that all information about the passengers are given. The problem is solved by determining the assignments of passengers to elevators and the processing order of passengers for each elevator. The validity of an existing rule to decide a car service is examined by comparing the results with the optimal one.
In this paper, we deal with an extended class of flexible shop scheduling problems, and consider a solution under the conditions in which all information with respect to the jobs cannot be given beforehand, i.e., real...
详细信息
In this paper, we deal with an extended class of flexible shop scheduling problems, and consider a solution under the conditions in which all information with respect to the jobs cannot be given beforehand, i.e., real-time scheduling. To realize a solution, we adopt such a method in which jobs are to be dispatched by a set of rules, and propose an approach in which the set of rules (rule-set) is generated and improved by using a GBML framework. Through some computational experiments, the effectiveness and potential of the proposed approach are examined.
The design of wholesale electricity markets through deregulation has focused almost exclusively on the development of competitive supply (generation). The demand side of the market has been virtually ignored. Mostly, ...
详细信息
ISBN:
(纸本)0780373227
The design of wholesale electricity markets through deregulation has focused almost exclusively on the development of competitive supply (generation). The demand side of the market has been virtually ignored. Mostly, this is due to the assumption that electricity demand is almost completely inelastic. As a result, deregulated wholesale markets universally fail to pass price signals down to the end-users. This paper challenges the assumption of inelastic demand by exploring the potential benefits of implementing a simple load control scheme. This load control scheme allows consumers to shift demand from high priced hours to low priced hours during the day. The benefits to the individual consumer are explored through an example applied to residential air conditioning using price and demand data from California. This example shows that "smart" use of air conditioning can lead to great savings for residential consumers, without sacrificing comfort. The potential for multiple consumers implementing load control to reduce wholesale prices is also examined.
A soft expert system is defined to be one that is qualitatively fuzzy. In this paper, we present such a system known as "KASER" which stands for 'Knowledge Amplification by Structural Expert Randomizatio...
详细信息
A soft expert system is defined to be one that is qualitatively fuzzy. In this paper, we present such a system known as "KASER" which stands for 'Knowledge Amplification by Structural Expert Randomization". KASER facilitates reasoning using domain specific expert and commonsense knowledge. It accomplishes this through object-classed predicates and an associated novel inference engine. It addresses the high cost associated with the knowledge acquisition bottleneck. It also enables the entry of a basis of rules and provides for the automatic extension of that basis through domain symmetries. We demonstrate an application for KASER in the design of an intelligent tutoring system that teaches the basic science of crystal-laser design. It enables the student to experiment with various design concepts and receive feedback on the functionality of the proposed design. This is possible without a need to preprogram all possible scenarios.
This paper proposes a new region extraction algorithm based on cellular automaton operation, which utilizes only the region boundary information of the image. A simple pixel circuit for pixel-parallel operation is als...
详细信息
This paper proposes a new region extraction algorithm based on cellular automaton operation, which utilizes only the region boundary information of the image. A simple pixel circuit for pixel-parallel operation is also proposed. Logic simulation results obtained using Verilog-HDL indicate that the proposed algorithm is about 100 times faster than the serial labeling processing for 100/spl times/100-pixel images. An experimental result for a 30/spl times/30-pixel image using an FPGA chip demonstrates that all regions are successfully extracted one-by-one within 6 /spl mu/s with a clock frequency of 25 MHz.
Adaptive critics have shown much promise for designing optimal nonlinear controllers in an off-line context. Still, their greatest potential exists in the context Of reconfigurable control, that is, real time controll...
详细信息
Adaptive critics have shown much promise for designing optimal nonlinear controllers in an off-line context. Still, their greatest potential exists in the context Of reconfigurable control, that is, real time controller redesign in response to (substantial) changes in plant dynamics. To accomplish this, a framework is proposed for the application of adaptive critics in real-time control (for those critic methods requiring a model of the plant). The framework is presented in the context of work being done in reconfigurable flight control by the NW Computational Intelligence Lab (NWCIL) at Portland State University. The proposal incorporates recent work (by others) in fast and efficient on-line plant identification, considerations for bounding the computational costs of converging neural networks, and a novel approach (by us) toward the task of assuring system stability during the adaptation process. The potential and limitations of the proposed framework are discussed. It is suggested that with the recent rapid reduction in computational barriers, only certain theoretical issues remain as the central barriers to successful on-line application of the methods.
With the advantage of the scientific and the objective, many educational psychology-based learning methods, such as SQ3R learning method, meaningful reception learning method, SQ4R method, etc. are widely used in scho...
详细信息
With the advantage of the scientific and the objective, many educational psychology-based learning methods, such as SQ3R learning method, meaningful reception learning method, SQ4R method, etc. are widely used in school education and individual study. At the same time, recently the WWW based education systems have flourished. But there are still few learning methods standing up for the WWW based learning, so the learning quality and efficiency cannot be ensured. We pose a method to design and implement educational psychology-based learning-support tools for individual learning in Web-based distance learning systems. This method is based on an effective study method SQ3R, which is a very popular learning method in school education in America and Europe. However the effective study method SQ3R cannot be directly applied into the Web-based distance learning system, so we design a method and a group of tools to support the learners using SQ3R in the Web-based distance learning system. Supported by this learning method, learners' learning effectiveness can be greatly improved.
A nonparametric neural architecture called the Sigma-Pi Cascade extended Hybrid Neural Network σπ-(CHNN) is proposed to extend approximation capabilities in neural architectures such as Projection Pursuit Learning (...
详细信息
暂无评论