in this paper, startup performance of upflow anaerobic hybrid reactor and upflow anaerobic sludge blanket reactors in anaerobic treatment of distillery spentwash has been studied under identical conditions of operation. various effluent characteristics like ph, electrical conductivity, chemical oxygen demand, biochemical oxygen demand and total solids and other process parameters like biogas pr...

this paper presents the steady state behavior and maintenance planning of the bleaching system in a paper plant. the paper plant comprises of various systems including feeding, chipping, digesting, washing, bleaching, screening, stock preparation and paper making, etc. one of the most important functionaries of a paper plant, on which quality of paper depends, is the bleaching system, where rem...

This paper deals with the dependability evaluation of software programs of iterative nature. In this work we define a new model that is able to account for both dependencies between input values of successive iterations and the effects of sequences of consecutive failures. Differently from previously proposed models, it is based on steady state probabilities of an iteration outcome (success, be...

This paper deals with the dependability evaluation of software programs of iterative nature. In this work we define a new model that is able to account for both dependencies between input values of successive iterations and the effects of sequences of consecutive failures. Differently from previously proposed models, it is based on steady state probabilities of an iteration outcome (success, be...

Stochastic model checking requires the computation of steady-state or transient distribution for finite or infinite Markov chains for the evaluation of some formulas implying probabilities. However the numerical analysis of Markov chains is much less efficient than the sophisticated algorithmic techniques such as MTBDD developed for the deterministic model checking. We propose to simplify the n...

We consider a single server queuing system with repeated attempts in which customers arrive according a Markov arrival process (MAP) and with a LCFS PR discipline. The service times are independent and have a common general distribution. After service completion time the server initiates his search time with an arbitrary distribution function. We consider two cases where the maximum number of r...

in this paper, startup performance of upflow anaerobic hybrid reactor and upflow anaerobic sludge blanket reactors in anaerobic treatment of distillery spentwash has been studied under identical conditions of operation. various effluent characteristics like ph, electrical conductivity, chemical oxygen demand, biochemical oxygen demand and total solids and other process parameters like biogas p...

This paper draws attention to the risk of rounding error in the numerical evaluation of steady-state probabilities for the M/M family of queues. A method for avoiding the risk is presented which is easy to program for calculation in practice.

This paper analyzes a discrete-time $Geo/Geo/c$ queueing system with multiple working vacations and reneging in which customers arrive according to a geometric process. As soon as the system gets empty, the servers go to a working vacations all together. The service times during regular busy period, working vacation period and vacation times are assumed to be geometrically distributed. Customer...

The present investigation presents a stochastic model for a flexible manufacturing system consisting of flexible machine, loading/unloading robot and an automated pallethandling device. We consider unreliable flexible manufacturing cell (FMC) wherein machine and robot operate under individual as well as common cause random failures. The pallethandling system is completely reliable. The pallet o...