1 Graduate School of Information Science and Technology, Osaka University 1-5, Yamadaoka, Suita, Osaka, Japan Phone: +81-6-6879-4542, Fax: +81-6-6879-4544 E-mail: [email protected] 2 Graduate School of Information Science and Technology, Osaka University 1-5, Yamadaoka, Suita, Osaka, Japan Phone: +81-6-6879-4551, Fax: +81-6-6879-4554 E-mail: [email protected] 3 Graduate School o...

In this paper we develop a methodology for systematically constructing redundant finite-state machines in a way that enables an external mechanism to detect and identify transient state-transition faults by performing checks in a non-concurrent manner (e.g., periodically). More specifically, by characterizing non-concurrent error detection / identification capabilities in terms of state encodin...

Conventional analysis techniques of queueing systems typically assume that the stochastic process under study is already in steady state. This assumption is, however, not valid if the life cycle of the process is not large enough. Previous work in transient analysis of queueing systems usually focuses on Markov models. This paper, in contrast, presents an analysis technique for investigating tr...

This paper presents the transient solution of a variant working vacation queue with balking. Customers arrive according to a Poisson process and decide to join the queue with probability $b$ or balk with $bar{b} = 1-b$. As soon as the system becomes empty, the server takes working vacation. The service times during regular busy period and working vacation period, and vacation times are assumed ...

In this paper a transient free convection flow around a sphere with variable surface temperature and embedded in a porous medium has been considered. The temperature of the sphere is suddenly raised and subsequently maintained at values that varies with position on surface. The method of asymptotic expansions is applied for small Rayleigh numbers and then a finite-difference scheme is used to s...

In digital sequential systems that operate over several time steps, a state-transition fault at any time step during the operation of the system corrupts its state in a way that can render its future functionality useless. In this paper, we develop a methodology for systematically constructing redundant £nitestate machines so that an external checker can capture transient state-transition fault...

We present the transient analysis of the system content in a two-class discrete-time M X /D/1 priority queue. In particular, we derive an expression for the generating function of the transient system contents of both classes at the beginning of slots. Performance measures are calculated from this generating function. To illustrate our approach we conclude with some examples. c © 2008 Elsevier ...

This paper presents a design methodology of an electromagnetic transient analysis program based on an objectoriented approach. Two important features of the object oriented programming are (i) abstraction of data and their procedures using classes and (ii) derivation of a new class from an existing class using the concept of inheritance. In the proposed design methodology, first the base class,...

abstract This paper describes two novel macromodels for incorporating the single and coupled transmission Lines characterized by the frequency-dependent losses into an S-parameter macromodel based simulator. This approach computes the moments of the S-parameter based upon the frequency-dependent parasitic functions: R(f), L(f), C(f), and G(f) which characterize either the single or the coupled ...

This paper presents a low power low voltage positive third generation current conveyor using four simple first generation current conveyors. It is designed and simulated in a standard 0.18um TSMC 1P, 6M CMOS process. This current conveyor design with the help of design architect and IC station (mentor graphics). Its DC, AC and transient analysis is carried out with ELDO tool. Its pre layout and...