RELIABILITY CONSIDERATION ON A REPAIRABLE MULTICOMPONENT SYSTEM WITH REDUNDANCY IN PARALLEL

Similar documents
An Analysis of the Preemptive Repeat Queueing Discipline

Linmin Hu, Jiandong Li and Wenming Fang. Received November 2007; accepted January 2008

Markov Reliability and Availability Analysis. Markov Processes

Chapter-3 PERFORMANCE MEASURES OF A MULTI-EVAPORATOR TYPE COMPRESSOR WITH STANDBY EXPANSION VALVE

T h e C S E T I P r o j e c t

GENERALIZED MODELS FOR DETERMINING OPTIMAL NUMBER OF MINIMAL REPAIRS BEFORE REPLACEMENT

Chapter 9 Part II Maintainability

AECD-3260 PILE TRANSFER FUNCTIONS. _Mai. By " Joseph P. Franz. July 18, Westinghouse Atomic Power Division UWIXMT!OISTA!

Intro Refresher Reversibility Open networks Closed networks Multiclass networks Other networks. Queuing Networks. Florence Perronnin

STOCHASTIC MODELLING OF A COMPUTER SYSTEM WITH HARDWARE REDUNDANCY SUBJECT TO MAXIMUM REPAIR TIME

Availability. M(t) = 1 - e -mt

2905 Queueing Theory and Simulation PART III: HIGHER DIMENSIONAL AND NON-MARKOVIAN QUEUES

Markov Models for Reliability Modeling

MOMENT SEQUENCES AND BACKWARD EXTENSIONS OF SUBNORMAL WEIGHTED SHIFTS

The Laplace Transform. Background: Improper Integrals

GAUSSIAN PROCESSES GROWTH RATE OF CERTAIN. successfully employed in dealing with certain Gaussian processes not possessing

ON THE HARMONIC SUMMABILITY OF DOUBLE FOURIER SERIES P. L. SHARMA

Reliability of an (M, M) Machining System with Spares

( a ', jm lj - V l a, jm ) jm 'l ] Ijm ), ( ) Ii 2j ( j + 1 ) We will give applications of the theorem in subsequent sections.

Stochastic Modelling of a Computer System with Software Redundancy and Priority to Hardware Repair

The Laplace Transform. Background: Improper Integrals

Future Self-Guides. E,.?, :0-..-.,0 Q., 5...q ',D5', 4,] 1-}., d-'.4.., _. ZoltAn Dbrnyei Introduction. u u rt 5,4) ,-,4, a. a aci,, u 4.

Queueing systems. Renato Lo Cigno. Simulation and Performance Evaluation Queueing systems - Renato Lo Cigno 1

Exterior Building Renovations

l(- oo)-~j [-I <. )( L6\ \ -J ~ ~ ~~~ ~~L{ ,~:::-=r\ or L":: -j) {fevylemr.eor k, ("p J~ -4" e S ' e,~ :; ij or J iv I 0"'& ~~ a. 11 qa.

o C *$ go ! b», S AT? g (i * ^ fc fa fa U - S 8 += C fl o.2h 2 fl 'fl O ' 0> fl l-h cvo *, &! 5 a o3 a; O g 02 QJ 01 fls g! r«'-fl O fl s- ccco

P a g e 5 1 of R e p o r t P B 4 / 0 9

-Z ONGRE::IONAL ACTION ON FY 1987 SUPPLEMENTAL 1/1

Section 3.3: Discrete-Event Simulation Examples

Markov Repairable Systems with History-Dependent Up and Down States

OPTIMUM DESIGN ON STEP-STRESS LIFE TESTING

Letting be a field, e.g., of the real numbers, the complex numbers, the rational numbers, the rational functions W(s) of a complex variable s, etc.

r(j) -::::.- --X U.;,..;...-h_D_Vl_5_ :;;2.. Name: ~s'~o--=-i Class; Date: ID: A

Reliability and Availability Simulation. Krige Visser, Professor, University of Pretoria, South Africa

Analysis of the Component-Based Reliability in Computer Networks

Part I Stochastic variables and Markov chains

Math 2C03 - Differential Equations. Slides shown in class - Winter Laplace Transforms. March 4, 5, 9, 11, 12, 16,

l [ L&U DOK. SENTER Denne rapport tilhører Returneres etter bruk Dokument: Arkiv: Arkivstykke/Ref: ARKAS OO.S Merknad: CP0205V Plassering:

University of Portland School of Engineering ME Failure Analysis Assignment 7, Fall 20 I0

.IEEEEEEIIEII. fflllffo. I ll, 7 AO-AO CALIFORNIA UN IV BERKELEY OPERATIONS RESEARCH CENTER FIG 12/1

Analysis of a Machine Repair System with Warm Spares and N-Policy Vacations

HIGHER-ORDER LINEAR ORDINARY DIFFERENTIAL EQUATIONS IV: Laplace Transform Method David Levermore Department of Mathematics University of Maryland

HIGHER-ORDER LINEAR ORDINARY DIFFERENTIAL EQUATIONS IV: Laplace Transform Method. David Levermore Department of Mathematics University of Maryland

On the redundancy of optimum fixed-to-variable length codes

Cost-Benefit Analysis of a System of Non-identical Units under Preventive Maintenance and Replacement Subject to Priority for Operation

OPTIMIZATION OF COST MAINTENANCE AND REPLACEMENT FOR ONE-UNIT SYSTEM RELIABILITY MODEL WITH POST REPAIR

necessita d'interrogare il cielo

. ~ ~~::::~m Review Sheet #1

Batch Arrival Queueing System. with Two Stages of Service

M/G/1 and Priority Queueing

COST-BENEFIT ANALYSIS OF A SYSTEM OF NON- IDENTICAL UNITS UNDER PREVENTIVE MAINTENANCE AND REPLACEMENT

WORKING PAPER SLOAN SCHOOL OF MANAGEMENT MASSACHUSETTS ALFRED P. CAMBRIDGE, MASSACHUSETTS INSTITUTE OF TECHNOLOGY

Reliability and Economic Analysis of a Power Generating System Comprising One Gas and One Steam Turbine with Random Inspection

P(I -ni < an for all n > in) = 1 - Pm# 1

Stochastic Analysis of a Two-Unit Cold Standby System with Arbitrary Distributions for Life, Repair and Waiting Times

Lecture 23 Using Laplace Transform to Solve Differential Equations

Laplace Transforms Chapter 3

Atomic Positive Linear Maps in Matrix Algebras

M/M/1 Queueing System with Delayed Controlled Vacation

c~msshset ea::-institut OFs TECH-~-~~ENOLGY~ wor :: :a:.-p i ': ----.: _- ; ; - L i: : ; - i. ; i.. i.. r - - i-; i. -.?. _'.: :: : '.

Matemáticas II: Segundo del Grado en Ingeniería Aeroespacial

Analysis for Parallel Repairable System with Degradation Facility

s(\y'+- -Y;/ o o- UN9 EHF fri "rii I lt iil# trd= llllll r-rrl a_ / r_*{fr d3= ffffi0" n6 _ n'n.tr ff== ooh cn lu 22.Jtu<. P Qfo -_L -T d ;u \, a c

DIAMOND DRILL RECORD

'5E _ -- -=:... --!... L og...

Equilibrium solutions in the observable M/M/1 queue with overtaking

Probabilistic Analysis of a Parallel Algorithm for Finding Maximal lndependen t Sets

THE ADJOINT OF A DIFFERENTIAL OPERATOR WITH INTEGRAL BOUNDARY CONDITIONS

its weaknesses. The ASG consists of three subgenerators K,fl,

Role of diagonal tension crack in size effect of shear strength of deep beams

BOOLEAN MAfRICES AND GRAPH THEORY. R. S. Ledley. NBR Report No /3265. March 1968

Spectra of some self-exciting and mutually exciting point processes

Cost Analysis of Two-Phase M/M/1 Queueing system in the Transient state with N-Policy and Server Breakdowns

Laplace Transforms. Chapter 3. Pierre Simon Laplace Born: 23 March 1749 in Beaumont-en-Auge, Normandy, France Died: 5 March 1827 in Paris, France

A L A BA M A L A W R E V IE W

The Impact of Disruption Characteristics on the Performance of a Server

AN ARCSINE LAW FOR MARKOV CHAINS

ilpi4ka3 MuHucrepcrBo o6pasobahufl Huxeropollcnofi o Onacrrl rocyaapctnennofi rrorosofi s2015 ro4y fl? /CI.?G

Batch Arrival Queuing Models with Periodic Review

System with a Server Subject to Breakdowns

S U E K E AY S S H A R O N T IM B E R W IN D M A R T Z -PA U L L IN. Carlisle Franklin Springboro. Clearcreek TWP. Middletown. Turtlecreek TWP.

APPH 4200 Physics of Fluids

A Study on M x /G/1 Queuing System with Essential, Optional Service, Modified Vacation and Setup time

Time Dependent Solution Of M [X] /G/1 Queueing Model With second optional service, Bernoulli k-optional Vacation And Balking

Analysis of the Finite-source Multi-class Priority Queue with an Unreliable Server and Setup Time

Multi-State Availability Modeling in Practice

Chapter 3. Antimagic Gl'aphs

Procedure for Measuring Swing Bearing Movement on 300 A Series Hydraulic Excavators {7063}

Read each question and its parts carefully before starting. Show all your work. Give units with your answers (where appropriate). 1 / 3 F.

Queueing Theory and Simulation. Introduction

THE POISSON TRANSFORM^)

ON THE DIFFERENCE TT{X)-H(X) (I). [' dx Jo logx + "

NO-Sl~l 966 RN INTERPRETiTION OF THE 02 AMGR ELECTRON SPECTRUNl(U) 1/1

Analysis of SISO Control Loops

The Behavior of a Multichannel Queueing System under Three Queue Disciplines

I N A C O M P L E X W O R L D

Gavilan JCCD Trustee Areas Plan Adopted November 10, 2015

APPH 4200 Physics of Fluids

Asymptotic representation of Laplace transforms with an application to inverse factorial series

Submitted to IEEE Transactions on Computers, June Evaluating Dynamic Failure Probability for Streams with. (m; k)-firm Deadlines

Transcription:

J. Operations Research Soc. of Japan Vo!. 17, No. 1, March 1974 1974 The Operations Research Society of Japan RELIABILITY CONSIDERATION ON A REPAIRABLE MULTICOMPONENT SYSTEM WITH REDUNDANCY IN PARALLEL HIROSHI NAKAMICHI Otemon Gakuin University JIRO FUKUTA Gifu University SHUNRO TAKAMATSU and MASANORI KODAMA Osaka University (Received February 8, 1973) 1. Introdnction Kulshrestha [1], [2] has investigated a multicomponent system with two series subsystems: SI consists of M identical components in parallel (all must fail for SI to fail--major breakdown), while 52 contains N different components connected in series (the failure of any one causes 52 to fail-minor breakdown). In the above papers, the repair of any component is possible only when the system stops operating, i.e., only when either major or minor breakdown occurs. Against his repair policy, we propose the followings: ( 1) Whenever any of SI-component fails, it is sent to the repair station at once and repaired in turn by a single server. (2) In a major breakdown, as soon as the SI-component being served is repaired, it is reentered and then the system operates again. ( 3) In-a minor breakdown, as soon as the failed component of 52 is repaired the system operates again. If a 52-component fails when a SI-component is being repaired, (i) it is repaired without delay 39

40 H. Nakamichi, J. Fukuta, S. Takamatsu and M. Kodama interrupting the repair of Sl-component-preemptive resume and preemptive repeat discipline, (ii) it waits till the S1-component completes its repair-head-of-the-line discipline. In special situations, which the system-down inflicts some vast loss, it may be required that the system is in operable state as long as possible, and that the system returns to operable state as soon as possible when it fails. Then we will study in this paper the behavior of the system under the repair policies mentioned above. 2. Definitions and Basic Equations The following assumptions are made; ( 1) The failure time for M (~2) identical components in S1 obeys a negative exponential distribution with failure rate,10, and its repair time follows such a general type distribution that ( 2) The failure time for ith component in S2 obeys a negative exponential distribution with failure rate Ai, and its repair time follows such a general type distribution that where i=l, 2,..., N, and we define A=f.jAi and fct)='tf.j).dict). C 3) The failures of all components are statistically independent. ( 4) Each component after repair is considered to be new again and it has the same failure time distribution function as initial one. Preemptive resume case So as to formulate the preemptive resume case let us introduce the following notations: PoCt): probability that, at time t the system is operating and all components in S1 are operating. N 1 N

Reliability on a Repairable Multicomponent System 41 Pm(t, x)dx: probability that, at time t (1) the system is operating, and (2) m(1;;;:;:m;;;:;:m-1) components in SI_have failed and the elapsed repair time lies between x and x+dx. PM(t, x)dx: probability that, at time t the system is down due to failure of all component in SI and the elapsed repair time lies between x and x+dx. Q~(t, x)dx: probability that, at time t (1) the system is down due to failure of the ith component of S2 and the elapsed repair time lies between x and x+dx, and (2) all components in SI are operating. (i=l, 2, "', N) Q;"(t, x, y)dxdy: probability that, at time t (1) the system is down due to failure of the ith component in S2 and the elapsed repair time lies between y and y+dll, and (2) m components of SI had failed at time t-y and the elapsed time for a component in SI under repair lies between x and x+dx. (m=l, 2, "', M-I, i= 1,2, "', N) By connecting the above state probabilities at time t+h with those at time t and taking limits as h~o, we can easily set up the following basic equations for the preemptive resume case;.y (t + ~ J/ti(X)Q~(t, x)d.r, ( a a ' C2) at+ ax +(M-m)AO+~+1l0(X) )P-m(t, x) =(1-om,I)(M-m-1)AOPm-l(t, x) + ~~:-x lli(y)q;'(t, x, y)dy, (1;;;:;:m;;;:;:M-1) ( 3) ( :t + a~ + llo(x)) PM(t, X)=AoPM- 1(t, x), (4) (:t + a~ +lli (y))q;,.(t, x, y)=o, (1;;;:;:m;;;:;:M-1, l;;;:;:i;;;:;:n)

42 H. Nakamichi, J. Fukuta, S. Takamatsu and M. Kodama where (3;, j is the Kronecker's delta. The above equations are to be solved subject to the following boundary conditions and initial condition; (6) Pm(t, 0)=0"., IMAOPoCt) + ~>o(x)p"'+1(t, x)dx, (l~m~m-l) (7) PM(t, 0)=0, (8) Qi(t, O)=AiPO(t), (l~i~n) (9) Q';.(t, X, O)=AiP".(t, x), (l~m~m-l, l~i~n) (10) Po (0) = 1. 3. Solutions of the Problem Let the Laplace transform of function pet) be denoted by Pes). In order to solve the equations described in the previous section, applying the Laplace transform to the set of equations (1)-(9) with respect to t under the initial condition (10), and introducing the following relation; (11) Als, x)=~. M-I (m) _ m=j. PM-m(s, x), (l~j~m-l) J it can be shown that the following simultaneous equations hold (12) [s+mao+a(i-!cs))]po(s) = 1+ foes, M-l)AM- I(s, 0), (13) Om, IMAOPO(S) =. ~l (-I)J+m-M[(M~ \ + (M- j -1) J=M-m-I m/ In x!o(s, j)]aics, 0), (l~m~m-2) (14) OM, 2MAOPO(S) = ~: (-l)j-ij [1-AO ~:~~t!'-j(f~ ]AlS, 0), where!o(s,j)=!o(s+jao+a(i-!(s))) and U)=O for j<i.

Reliability on a RepairablE' Multicomponent System 43 Solving the above equations (12), (13) and (14), we obtain Fo(s) and Aj(s,O) (j=1, 2, "', M-I), and we can also calculate F.,.(s, x) (m=l, 2, "', M), Q6(S, x) and Q~,(s, x, y) (m=l, 2, "', M-I, i=l, 2, "', N) using them. Let p.".(t): probability that, at time t the system is operating and just m (m=1,2, "', M-I) components in 51 have failed, =~: P.".(t, x)dx, pet): Probability that, at time t the system is operating irrespective of the number of failed components in 51, M-I = 2J p.".(t). m=o Then we have (15) F ()- ~l (_I)J-,lf+",( j \_~!o(s, j)-a ( 0' m S - j=ii=-m M-m) s+ j1 0 +1(1-!(s» J s, ), (l~m~m-i) (16) F(s)=l-+ foes, 1!!-l)f!M:-l(S,_g)_ s+mlo+l(l--f(s» ~1( 1)J-l_1-!o(s, fl--a ( 0) + L.J -., '(1 j-(» J s,. j=1 s+ ).<O+A - s If the steady-state probability PI(r:;o)= lim pet) exists, applying t-oo the well-known result in the Laplace transform, we can obtain the long-run availability for the preemptive resume case as follows; (17) Pr(oo)=limsF(s).-0 where Aj(o, 0)= lim sa/s, 0). 8-0 11-1 1 + 2J (-1)j-1~(1- jo(jlo»alo, 0), j=1 )AO

44 H. Nakamichi, J. Fukuta, S. Takamatsu and M. Kodama By the similar way we can derive the long-run availabilities for the other cases; Preemptive repeat case 1 - - (18) PIJ(oo)= M).o jo().+(m-l»).o)am-l(o, 0) Head-afthe-line case + _~1 (-I)J-l 1-Jo()..+ j).o) A)(O, 0). )=1 ).+ J).o 1 - - (19) Pm(oo)= M).o {fo().+(m-l»).o)+).g(o, M-l)}AM-l(O, 0) +-~l(_i)j-li-jo().:j).o) AJCO, 0), )=1 ).+J).o where g(o, M-l)==~~{~~ Po(x+y)exp [ -~: po(x+y)dy JdY } x exp [ -().+(M-l)Ao)x- ~~ po(x)dx JdX. AJCs, 0) in (18) and (19) are obtained from (30)-(32) and (33)-(35) in Appendix, respectively (see Appendix). 4. Example Let M=3, then in the preemptive resume case we have the following equations from (12), (13) and (14); (20) s+3ao+)'(i-j(s» 0 x -3Ao - Jo(s, 1) o 1_).%(s)-Jo(s, 1) Ao + ),(1-j(s» :c:~s~)] = [ ~ ]. A2(s,0) 0 -Jo(s, 2) ] 1+2Jo(s, 2) 2()'0 Jo(s)- Jo(s, 2) -1) 2Ao+).(I- j(s» Here let D(s) denotes the determinant of coefficient matrix of (20), then we have

Reliability on a Repairable Multicomponent System 45 Especially, assuming that all the repair time distributions are exponen tial; We have!t(x)=pt exp (-pix) for i=o, 1, 2,..., N, (23) ;L(O, O)=6Ao(1+po)2/Kl, (24).A2(O, O)=3AO(1+2po)/Kl, where PO=AO/po, pt = At!pt for i=1,2,, N, and Kl=(6p~+3po+1) (1+ ~~Pt) +6pi. Since the preemptive repeat case becomes the same with the preemptive resume case under the above assumptions, therefore we get from (17) (25) PlC 00) = Pn( 00 )=(6pH3po+1)/Kl. Also, in a similar way we have the following for the head-of-theline case, (26) where P m ( 00 )={(p*+ 1) (P*+:100+ 1)+6pn/K2, P*=A/po and K2={(p*+1)(p*+3po+1)+6pn x (1+ ~Pt)+3Po{p*(p*+2po+1)+2pn. While, according to Kulshrestha [2:], in which the repair policy is adopted as (1) in major breakdown, all the failed components in SI are repaired and (2) in minor breakdown, only the failed component in S2 is repaired, his result for the same system have been given as follows:

46 H. Nakamichi, J. Fukuta, S. Takamatsu and M. Kodama a./3 0.7 0.6 0.5 0.4 " 1'=0.1 1'=0.5 1'=1.0 fj 0.3 p~ 0.1 I' = 0.5 p -=;- 1. 0 0.2 (p~}:lpj 0.10.20.30.40.50.60.70.80.91. 0 1.11. 2 1. 3 1', Fig. 1. Degree for advantage of P I ( 00), P IIl ( 00) over PK( 00). Availability 1.0 1'=0.1 0.4 1'=0.5 1'=0.1 0.3 0.2 0.1.1.2.3.4.5.6.7.8.91.01.11.21.3 Po Fig. 2. Comparison among P I ( 00), Pm ( 00) and PK( 00). PkXJ),... : Pm(oo) (when p*=l), -.-.: PK(oo).

Reliability on a Repairable Multicomponent System 47 where Ko denotes the mean repair time for major repair. Hence, assuming Ko=3/po by means of his policy for major repair, we can compare our results (25) and (26) with Kulshrestha's (27), that is, (28) 1+6po(7p5+9po +3)/llKl, and (29) Pm(oo) P K ( 00) 1 +3po{14p5+~~(9-2p*)po-(5p*-6) (p* + 1)}/llK2. Let us denote by a and f' the second term of the RHS of (28) and (29), respectively, then a is always nonnegative for any po and Pi, and f' is also nonnegative if p*<p" or as long as po> max [0, -(9-2p*)+./74p*2_50p*-3 J if p*?;jj*, where p*=(25+./ 847 )/74. 14 Therefore a and f' show the degree for advantage of our repair policies over Kulshrestha's on the operational behavior of this system. The values of a and f' (when p* = 1), and the availabilities PlC 00), N P m ( 00) and P K ( 00), computed for several values of po and ~ pi are i=l shown in Figure 1 and Figure 2, respectively. Appendix The simultaneous equations correspond to (12)-(14) in section 3 for preemptive repeat and head-of-the-line cases are as follows; Preemptive repeat case (30) (31) [s+mao+a(l- ](S)]Po(S) =1+ ]o(s+a+(m-1)ao)am-l(s, 0), Om, lmaopo(s) =. "~l (--l)j+m-m[(m~ ) J=M-m-l m A](S)(l-]o(S+~l+AO»)+( j ) S+A+ ja<1 M-m-1 X]O(S+A+ jao) JAlS, 0), (1~m~M-2)

48 H. Nakamichi, J. Fukuta, S. Takamatsu and M. Kodama (32) o MA F ( )= ~1(_1)j_l' [1- AO(!O(S)-!O(S+A+..10» M,2 0 0 S L.J J '+., j=1 A JAO where Head-of-the-line case A!(s)(1-!o(s+..1+ jao» JA (S 0) S+A+ jao j" u ) =0 for i<o. (33) (34) (35) where [s+mao+a(1-!(s»]po(s) =1+[!O(S+A+(M-1)AO)+A!(S)g(s, M-1)]AM-l(S, 0), om,imaofo(s)=. ~1 (-l)j+"'-m[(m~ )+(M-j -1) J=M-m-l m m x (!O(S+A+ jaoha!(s)g(s, j» JAlS, 0), (1~m~M-2) OM,2MAoFo(s) = '$1 (-1)J-lj [1- AO(!O(S)~~O(.~+A+ jao» J J=1 J 0 x AlCs, 0), g(s, j)=~~g~ po(x+y)exp [-Sy-~: po(x+y)dy JdY } xexp [ -(S+A+ jao)x-~: po(x)dx JdX. (1~j~M-1) References [1] Kulshrestha, D.K.,.. Reliability of a Parallel Redundant Complex system," OPns. Res., 16, No. 1 (1968). [2] Kulshrestha, D.K.,.. Reliability of a Repairable Multicomponent System with Redundancy in Parallel," IEEE Trans. on Reliability., 19, No. 2 (1970).