On-chip and on-package integrated systems, such as systems-on-chip (SoCs) and systems-in-packages (SiPs), are composed of a complex mix of digital and mixed-signal circuit blocks. Verifying such systems prior to fabri...
详细信息
ISBN:
(纸本)0780384954
On-chip and on-package integrated systems, such as systems-on-chip (SoCs) and systems-in-packages (SiPs), are composed of a complex mix of digital and mixed-signal circuit blocks. Verifying such systems prior to fabrication is challenging due to their size and complexity. Automated approaches towards extracting system-level macromodels from SPICE-level descriptions of circuit blocks is becoming an increasingly important component of sustainable methodologies for system verification. In this paper, we present an overview of recent algorithmic methods for extracting linear and nonlinear macromodels of mixed-signal circuits, and highlight the potential impact of such techniques.
In process systems, the selection of suitable sets of manipulated and controlled variables and the design of their interconnection, known as the control structure selection problem, is an important structural optimisa...
详细信息
In process systems, the selection of suitable sets of manipulated and controlled variables and the design of their interconnection, known as the control structure selection problem, is an important structural optimisation problem. The operating performance of a plant depends on the control structure selected as well as the characteristics of the disturbances acting on the plant. The economic penalty associated with the variability of main process variables close to active constraints is used in this work in order to develop a quantitative measure for the ranking of alternative control structures. Based on this measure, a general methodology is presented for the generation of promising control structures where general centralised, linear time invariant, output feedback controllers are used to form the closed loop system. The special case of optimal static output feedback controllers is further investigated in this paper. Furthermore, the problem of selecting proper weights in forming quadratic integral performance indices in designing optimal multivariable controllers is addressed. The validity and usefulness of the method is demonstrated through a number of case studies. (C) 2001 Elsevier Science Ltd. All rights reserved.
The questions of metrological assurance for measurement of dynamic parameters of optical pulses whose temporal parameters lie in the inertia region of measuring means and their main components have. been considered. T...
详细信息
ISBN:
(纸本)0819446866
The questions of metrological assurance for measurement of dynamic parameters of optical pulses whose temporal parameters lie in the inertia region of measuring means and their main components have. been considered. The questions of an approach to estimation of measuring means metrological characteristics and of restoring a shape of the optical pulses to be measured have been discussed.
The main issue of this paper is the integration of knowledge-based techniques with traditional algorithmic software. Typical problems in power system planning and operation are better solved when the two techniques ar...
详细信息
The main issue of this paper is the integration of knowledge-based techniques with traditional algorithmic software. Typical problems in power system planning and operation are better solved when the two techniques are combined. Functional aspects of a hybrid problem solving strategy are described and illustrated by two examples from power system operation. Available methods for practical implementation are reviewed Sample applications from the literature are used to illustrate different approaches to hardware and software integration. Some of these applications have been successfully integrated with existing systems in operational environments. Future energy management systems (EMS's) based on an open architecture are likely to make it easier to integrate knowledge-based systems. Still software integration issues continue to be a challenge. Particular problems are: automation of complex tasks by intelligent coordination, development of highly flexible software organizational schemes, and methods for easy data exchange between applications based on different software paradigms.
This paper studies the eficiency of some exact and iterative algorithms for computing stationary distributions of irreducible finite Markov chains. First, we present the computational results obtained for different cl...
详细信息
Efficient algorithms for finding steady state probabilities are presented and compared with the Gaussian elimination method for two special classes of finite state Markov chains. One class has block matrix steps and a...
详细信息
Efficient algorithms for finding steady state probabilities are presented and compared with the Gaussian elimination method for two special classes of finite state Markov chains. One class has block matrix steps and a possible jump of up to k block steps, and the other is a generalization of the class considered by Shanthikumar and Sargent where each element is a matrix.
In this paper, we develop an algorithmic method for the evaluation of the steady state probability vector of a special class of finite state Markov chains. For the class of Markov chains considered here, it is assumed...
详细信息
In this paper, we develop an algorithmic method for the evaluation of the steady state probability vector of a special class of finite state Markov chains. For the class of Markov chains considered here, it is assumed that the matrix associated with the set of linear equations for the steady state probabilities possess a special structure, such that it can be rearranged and decomposed as a sum of two matrices, one lower triangular with nonzero diagonal elements , and the other an upper triangular matrix with only very few nonzero columns . Almost all Markov chain models of queueing systems with finite source and/or finite capacity and first-come-first-served or head of the line nonpreemptive priority service discipline belongs to this special class.
Single server queues with batch arrivals are useful in the modeling of computer and communication systems amongst others. In this paper we give for a wide class of single server queues with batch arrivals a stable rec...
详细信息
Single server queues with batch arrivals are useful in the modeling of computer and communication systems amongst others. In this paper we give for a wide class of single server queues with batch arrivals a stable recursive method to compute state probabilities both at arrival and at arbitrary epochs. This class includes finite capacity models with state dependent Markovian input in which batches could be totally or partially rejected. The customers of a batch are served individually and the service time has a general distribution function. In particular, we discuss as application the computation of operating characteristics, such as rejection probability and probability of server idleness, for a finite capacity M/G/1 queue for which arriving customers are rejected if their waiting plus service times exceed the capacity of the system.
暂无评论