MIT Manufacturing Systems Analysis Lecture 10 12

Size: px
Start display at page:

Download "MIT Manufacturing Systems Analysis Lecture 10 12"

Transcription

1 2.852 Manufacturing Systems Analysis 1/91 Copyright 2010 c Stanley B. Gershwin. MIT Manufacturing Systems Analysis Lecture Transfer Lines Long Lines Stanley B. Gershwin Massachusetts Institute of Technology Spring, 2010

2 2.852 Manufacturing Systems Analysis 2/91 Copyright c 2010 Stanley B. Gershwin. Long Lines M 1 B1 M 2 B2 M 3 B3 M 4 B4 M B Difficulty: 5 5 M 6 No simple formula for calculating production rate or inventory levels. State space is too large for exact numerical solution. If all buffer sizes are N and the length of the line is k, the number of states is S = 2 k (N + 1) k 1. if N = 10 and k = 20, S = Decomposition seems to work successfully.

3 2.852 Manufacturing Systems Analysis 3/91 Copyright c 2010 Stanley B. Gershwin. Decomposition Concept Decomposition works for many kinds of systems, and extending it is an active research area. We start with deterministic processing time lines. Then we extend decomposition to other lines. Then we extend it to assembly/disassembly systems without loops. Then we look at systems with loops. Etc., etc. if there is time.

4 2.852 Manufacturing Systems Analysis 4/91 Copyright c 2010 Stanley B. Gershwin. Decomposition Concept Conceptually: put an observer in a buffer, and tell him that he is in the buffer of a two-machine line. Question: What would the observer see, and how can he be convinced he is in a two-machine line?

5 2.852 Manufacturing Systems Analysis 5/91 Copyright c 2010 Stanley B. Gershwin. Decomposition Concept Decomposition breaks up systems and then reunites them. Construct all the two-machine lines.

6 2.852 Manufacturing Systems Analysis 6/91 Copyright c 2010 Stanley B. Gershwin. Decomposition Concept Evaluate the performance measures (production rate, average buffer level) of each two-machine line, and use them for the real line. This is an approximation; the behavior of the flow in the buffer of a two-machine line is not exactly the same as the behavior of the flow in a buffer of a long line. The two-machine lines are sometimes called building blocks.

7 2.852 Manufacturing Systems Analysis 7/91 Copyright c 2010 Stanley B. Gershwin. Decomposition Concept Consider an observer in Buffer B i. Imagine the material flow process that the observer sees entering and the material flow process that the observer sees leaving the buffer. We construct a two-machine line L(i) (ie, we find machines M u (i) and M d (i) with parameters r u (i), p u (i), r d (i), p d (i), and N(i) = N i ) such that an observer in its buffer will see almost the same processes. The parameters are chosen as functions of the behaviors of the other two-machine lines.

8 2.852 Manufacturing Systems Analysis 8/91 Copyright c 2010 Stanley B. Gershwin. Decomposition Concept M i 2 B i 2 M i 1 B i 1 B i M i+1 B i+1 M M i i+2 B i+2 M i+3 Line L(i) M (i) u M (i) d

9 2.852 Manufacturing Systems Analysis 9/91 Copyright c 2010 Stanley B. Gershwin. Decomposition Concept There are 4(k 1) unknowns for the deterministic processing time line: r u (1),p u (1),r d (1),p d (1), r u (2),p u (2),r d (2),p d (2),..., r u (k 1),p u (k 1),r d (k 1),p d (k 1) Therefore, we need 4(k 1) equations, and an algorithm for solving those equations.

10 2.852 Manufacturing Systems Analysis 10/91 Copyright c 2010 Stanley B. Gershwin. Decomposition Equations Overview The decomposition equations relate r u (i), p u (i), r d (i), and p d (i) to behavior in the real line and in other two-machine lines. Conservation of flow, equating all production rates. Flow rate/idle time, relating production rate to probabilities of starvation and blockage. Resumption of flow, relating r u (i) to upstream events and r d (i) to downstream events. Boundary conditions, for parameters of M u (1) and M d (k 1).

11 2.852 Manufacturing Systems Analysis 11/91 Copyright c 2010 Stanley B. Gershwin. Decomposition Equations Overview All the quantities in all these equations are specified parameters, or unknowns, or functions of parameters or unknowns derived from the two-machine line analysis. This is a set of 4(k 1) equations.

12 2.852 Manufacturing Systems Analysis 12/91 Copyright c 2010 Stanley B. Gershwin. Decomposition Equations Overview Notation convention: Items that pertain to two-machine line L(i) will have i in parentheses. Example: r u (i). Items that pertain to the real line L will have i in the subscript. Example: r i.

13 2.852 Manufacturing Systems Analysis 13/91 Copyright c 2010 Stanley B. Gershwin. Decomposition Equations Conservation of Flow E(i) = E(1),i = 2,..., k 1. Recall that E(i) is a function of the unknowns r u (i), p u (i), r d (i), and p d (i). (It is also a function of N(i), but N(i) is known.) We know how to evaluate it easily, but we don t have a simple expression for it. This is a set of k 2 equations.

14 2.852 Manufacturing Systems Analysis 14/91 Copyright c 2010 Stanley B. Gershwin. Decomposition Equations Flow Rate-Idle Time E i = e i prob [n i 1 > 0 and n i < N i ] where e i = r i r i + p i Problem: This expression involves a joint probability of two buffers taking certain values at the same time. But we only know how to evaluate two-machine, one-buffer lines, so we only know how to calculate the probability of one buffer taking on a certain value at a time.

15 2.852 Manufacturing Systems Analysis 15/91 Copyright c 2010 Stanley B. Gershwin. Decomposition Equations Flow Rate-Idle Time Observation: Reason: prob (n i 1 = 0 and n i = N i ) 0. M i 1 B i 1 M i B i M i+1 0 N i The only way to have n i 1 = 0 and n i = N i is if M i 1 is down or starved for a long time and M i is up and M i+1 is down or blocked for a long time and to have exactly N i parts in the two buffers.

16 2.852 Manufacturing Systems Analysis 16/91 Copyright c 2010 Stanley B. Gershwin. Decomposition Equations Flow Rate-Idle Time Then prob [n i 1 > 0 and n i < N i ] = prob [NOT {n i 1 = 0 or n i = N i }] = 1 prob [n i 1 = 0 or n i = N i ] = 1 { prob (n i 1 = 0) + prob (n i = N i ) prob (n i 1 = 0 and n i = N i )} 1 { prob (n i 1 = 0) + prob (n i = N i )}

17 2.852 Manufacturing Systems Analysis 17/91 Copyright c 2010 Stanley B. Gershwin. Decomposition Equations Flow Rate-Idle Time Therefore Note that E i e i [1 prob (n i 1 = 0) prob (n i = N i )] prob (n i 1 = 0) = p s (i 1); prob (n i = N i ) = p b (i) Two of the FRIT relationships in lines L(i 1) and L(i) are E(i) = e u (i)[1 p b (i)] ; E(i 1) = e d (i 1)[1 p s (i 1)]

18 2.852 Manufacturing Systems Analysis 18/91 Copyright c 2010 Stanley B. Gershwin. Decomposition Equations Flow Rate-Idle Time or, so (replacing with =), p s (i 1) = 1 E i = e i [1 { 1 E(i 1) e d (i 1) ; p b(i) = 1 } { E(i 1) 1 e d (i 1) The goal is to have E = E i = E(i 1) = E(i), so { } E(i) = e i [1 1 E(i) e d (i 1) { 1 E(i) e u (i) }] E(i) e u (i) }] E(i) e u (i)

19 2.852 Manufacturing Systems Analysis 19/91 Copyright c 2010 Stanley B. Gershwin. Decomposition Equations Flow Rate-Idle Time Since we can write e d (i 1) = r d (i 1) p d (i 1) + r d (i 1) ; e r u (i) u(i) = p u (i) + r u (i), p d (i 1) p u (i) + = r d (i 1) r u (i) 1 + E(i) 1 e i 2, i = 2,..., k 1 This is a set of k 2 equations.

20 2.852 Manufacturing Systems Analysis 20/91 Copyright c 2010 Stanley B. Gershwin. Decomposition Equations Resumption of Flow M i 4 B i 4 M i 3 B i 3 M i 2 B i 2 M i 1 B i 1 M i B i M i+1 B i+1 M i+2 B i+2 M i+3 M (i) u M (i) d When the observer sees M u (i) down, M i may actually be down...

21 2.852 Manufacturing Systems Analysis 21/91 Copyright c 2010 Stanley B. Gershwin. Decomposition Equations Resumption of Flow M i 4 B i 4 M i 3 B i 3 M i 2 B i 2 M i 1 B i 1 M i B i M i+1 B i+1 M i+2 B i+2 M i+3 0 M (i) u M (i) d... or, M i 1 may be down and B i 1 may be empty,...

22 2.852 Manufacturing Systems Analysis 22/91 Copyright c 2010 Stanley B. Gershwin. Decomposition Equations Resumption of Flow M i 4 B i 4 M i 3 B i 3 M i 2 B i 2 M i 1 B i 1 M i B i M i+1 B i+1 M i+2 B i+2 M i M (i) u M (i) d... or M i 2 may be down and B i 1 and B i 2 may be empty,...

23 2.852 Manufacturing Systems Analysis 23/91 Copyright c 2010 Stanley B. Gershwin. Decomposition Equations Resumption of Flow M i 4 B i 4 M i 3 B 0 i 3 M i 2 B i 2 M i 1 B i 1 M i B i M i+1 B i+1 M i+2 B i+2 M i M (i) u M (i) d... or M i 3 may be down and B i 1 and B i 2 and B i 3 may be empty,...

24 2.852 Manufacturing Systems Analysis 24/91 Copyright c 2010 Stanley B. Gershwin. Decomposition Equations Resumption of Flow M i 4 B i 4 0 M i 3 B 0 i 3 M i 2 B i 2 M i 1 B i 1 M i B i M i+1 B i+1 M i+2 B i+2 M i M (i) u M (i) d... etc.

25 2.852 Manufacturing Systems Analysis 25/91 Copyright c 2010 Stanley B. Gershwin. Decomposition Equations Resumption of Flow M i 4 B i 4 M i 3 B i 3 M i 2 B i 2 M i 1 B i 1 M i B i M i+1 B i+1 M i+2 B i+2 M i+3 M (i 1) u M (i 1) d Similarly for the observer in B i 1.

26 2.852 Manufacturing Systems Analysis 26/91 Copyright c 2010 Stanley B. Gershwin. Decomposition Equations Resumption of Flow M i 4 B i 4 M i 3 B i 3 M i 2 B i 2 M i 1 B i 1 M i B i M i+1 B i+1 M i+2 B i+2 M i+3 M (i 1) u M (i 1) d M i 4 B i 4 M i 3 B i 3 M i 2 B i 2 M i 1 B i 1 M i B i M i+1 B i+1 M i+2 B i+2 M i+3 0 M (i) u M (i) d Comparison

27 2.852 Manufacturing Systems Analysis 27/91 Copyright c 2010 Stanley B. Gershwin. Decomposition Equations Resumption of Flow M i 4 B i 4 M i 3 B i 3 M i 2 B i 2 M i 1 B i 1 M i B i M i+1 B i+1 M i+2 B i+2 M i+3 0 M (i 1) u M (i 1) d M i 4 B i 4 M i 3 B i 3 M i 2 B i 2 M i 1 B i 1 M i B i M i+1 B i+1 M i+2 B i+2 M i M (i) u M (i) d

28 2.852 Manufacturing Systems Analysis 28/91 Copyright c 2010 Stanley B. Gershwin. Decomposition Equations Resumption of Flow M i 4 B i 4 M i 3 B 0 i 3 M i 2 B i 2 M i 1 B i 1 M i B i M i+1 B i+1 M i+2 B i+2 M i+3 0 M (i 1) u M (i 1) d M i 4 B i 4 M i 3 B 0 i 3 M i 2 B i 2 M i 1 B i 1 M i B i M i+1 B i+1 M i+2 B i+2 M i M (i) u M (i) d

29 2.852 Manufacturing Systems Analysis 29/91 Copyright c 2010 Stanley B. Gershwin. Decomposition Equations Resumption of Flow M i 4 B i 4 0 M i 3 B 0 i 3 M i 2 B i 2 M i 1 B i 1 M i B i M i+1 B i+1 M i+2 B i+2 M i+3 0 M (i 1) u M (i 1) d M i 4 B i 4 0 M i 3 B 0 i 3 M i 2 B i 2 M i 1 B i 1 M i B i M i+1 B i+1 M i+2 B i+2 M i M (i) u M (i) d

30 2.852 Manufacturing Systems Analysis 30/91 Copyright c 2010 Stanley B. Gershwin. Decomposition Equations Resumption of Flow That is, when the Line L(i) observer sees a failure in M u (i), M (i) u M (i) d either real machine M i is down, M i 4 B i 4 M B M B i 3 i 3 M B M B M i 2 i 2 i 1 i 1 i M i i+1 B i+1 M B i+2 i+2 i+3 or Buffer B i 1 is empty and the Line L(i 1) observer sees a failure in M u (i 1). M B i 4 i 4 M B i 3 i 3 M B i 2 i 2 M B i 1 i 1 M i B i M B i+1 i+1 M B i+2 i+2 M i+3 0 M (i 1) u 0 M (i 1) d Note that these two events are mutually exclusive. Why?

31 2.852 Manufacturing Systems Analysis 31/91 Copyright c 2010 Stanley B. Gershwin. Decomposition Equations Resumption of Flow Also, for the Line L(j) observer to see M u (j) up, M j must be up and B j 1 must be non-empty. Therefore, {α u (j, τ) = 1} {α j (τ) = 1} and {n j 1 (τ 1) > 0} {α u (j, τ) = 0} {α j (τ) = 0} or {n j 1 (τ 1) = 0}

32 2.852 Manufacturing Systems Analysis 32/91 Copyright c 2010 Stanley B. Gershwin. Decomposition Equations Resumption of Flow Then r u (i) = prob [α u (i,t + 1) = 1 α u (i,t) = 0] [ = prob {α i (t + 1) = 1} and {n i 1 (t) > 0} ] {α i (t) = 0} or {n i 1 (t 1) = 0}

33 2.852 Manufacturing Systems Analysis 33/91 Copyright c 2010 Stanley B. Gershwin. Decomposition Equations Resumption of Flow To express r u (i) in terms of quantities we know or can find, we have to simplify prob (U V or W), where U = {α i (t + 1) = 1} and {n i 1 (t) > 0} V = {α i (t) = 0} W = {n i 1 (t 1) = 0} Important: V and W are disjoint. prob (V and W) = 0.

34 2.852 Manufacturing Systems Analysis 34/91 Copyright c 2010 Stanley B. Gershwin. Decomposition Equations Resumption of Flow prob (U V or W) = prob (U and (V or W)) prob (V or W) = prob ((U and V) or (U and W)) prob (V or W) = = prob (U and V) prob (V or W) prob (U V)prob (V) prob (V or W) + + prob (U and W) prob (V or W) prob (U W)prob (W) prob (V or W)

35 2.852 Manufacturing Systems Analysis 35/91 Copyright c 2010 Stanley B. Gershwin. Decomposition Equations Resumption of Flow prob (V) prob (W) = prob (U V) + prob (U W) prob (V or W) prob (V or W) Note that so prob (V V or W) = prob (V and (V or W)) prob (V or W) = prob (V) prob (V or W) prob (U V or W) = prob (U V)prob (V V or W) +prob (U W)prob (W V or W).

36 2.852 Manufacturing Systems Analysis 36/91 Copyright c 2010 Stanley B. Gershwin. Decomposition Equations Resumption of Flow Then, if we plug U, V, and W from Slide 33 into this, we get where r u (i) = A(i 1)X(i) + B(i)X (i), i = 2,..., k 1 A(i 1) = prob (U W) = prob [ n i 1 (t) > 0 and α i (t + 1) = 1 ] n i 1 (t 1) = 0,

37 2.852 Manufacturing Systems Analysis 37/91 Copyright c 2010 Stanley B. Gershwin. Decomposition Equations Resumption of Flow X(i) = prob (W [ V or W) ] = prob n i 1 (t 1) = 0 n i 1 (t 1) = 0 or α i (t) = 0, B(i) = prob (U V) = prob [n i 1 (t) > 0 and α i (t + 1) = 1 α i (t) = 0], X (i) = prob (V V or W) = prob [α i (t) = 0 {n i 1 (t 1) = 0 or α i (t) = 0}].

38 2.852 Manufacturing Systems Analysis 38/91 Copyright c 2010 Stanley B. Gershwin. Decomposition Equations Resumption of Flow To evaluate A(i 1) = prob» n i 1(t) > 0 and α i (t + 1) = 1 ni 1(t 1) = 0 : Note that For Buffer i 1 to be empty at time t 1, Machine M i must be up at time t 1 and also at time t. It must have been up in order to empty the buffer, and it must stay up because it cannot fail. Therefore α i (t) = 1. For Buffer i 1 to be non-empty at time t after being empty at time t 1, it must have gained 1 part. For it to gain a part when α i (t) = 1, M i must not have been working (because it was previously starved). Therefore, M i could not have failed and A(i 1) can therefore be written» A(i 1) = prob n i 1(t) > 0 ni 1(t 1) = 0

39 2.852 Manufacturing Systems Analysis 39/91 Copyright c 2010 Stanley B. Gershwin. Decomposition Equations Resumption of Flow A(i 1) = prob» n i 1(t) > 0 ni 1(t 1) = 0 For Buffer i 1 to be empty, M i 1 must be down or starved. For M i 1 to be starved, M i 2 must be down or starved, etc. Therefore, saying M i 1 is down or starved is equivalent to saying M u (i 1) is down. That is, if n i 1(t 1) = 0 then α u (i 1, t 1) = 0. Conversely, for Buffer i 1 to be non-empty, M i 1 must not be down or starved. That is, if n i 1(t) > 0, then α u (i 1, t) = 1. Therefore, A(i 1) = prob» α u (i 1, t) = 1 αu (i 1, t 1) = 0 = r u (i 1)

40 2.852 Manufacturing Systems Analysis 40/91 Copyright c 2010 Stanley B. Gershwin. Decomposition Equations Resumption of Flow Similarly, B(i) = prob [n i 1(t) > 0 and α i (t + 1) = 1 α i (t) = 0] Note that if α i (t) = 0, we must have n i 1(t) > 0. Therefore or, so B(i) = prob [α i (t + 1) = 1 α i (t) = 0], B(i) = r i r u (i) = r u (i 1)X(i) + r i X (i),

41 2.852 Manufacturing Systems Analysis 41/91 Copyright c 2010 Stanley B. Gershwin. Decomposition Equations Resumption of Flow Interpretation so far: r u (i), the probability that M u (i) goes from down to up, is r i times the probability that M u (i) is down because M i is down plus r u (i 1) times the probability that M u (i) is down because M u (i 1) is down and B i 1 is empty.

42 2.852 Manufacturing Systems Analysis 42/91 Copyright c 2010 Stanley B. Gershwin. Decomposition Equations Resumption of Flow X(i)= the probability that M u (i) is down because M u (i 1) is down and B i 1 is empty; X (i) = the probability that M u (i) is down because M i is down. Since these are the only two ways that M u (i) can be down, X (i) = 1 X(i)

43 2.852 Manufacturing Systems Analysis 43/91 Copyright c 2010 Stanley B. Gershwin. Decomposition Equations Resumption of Flow X(i) = prob [ ] n i 1 (t 1) = 0 n i 1 (t 1) = 0 or α i (t) = 0 = prob [n i 1 (t 1) = 0 and {n i 1 (t 1) = 0 or α i (t) = 0}] prob [n i 1 (t 1) = 0 or α i (t) = 0] = prob [n i 1 (t 1) = 0] prob [n i 1 (t 1) = 0 or α i (t) = 0] = p s (i 1) prob [n i 1 (t 1) = 0 or α i (t) = 0]

44 2.852 Manufacturing Systems Analysis 44/91 Copyright c 2010 Stanley B. Gershwin. Decomposition Equations Resumption of Flow To analyze the denominator, note {n i 1(t 1) = 0 or α i (t) = 0} = {α u (i) = 0} by definition; prob [n i 1(t 1) = 0 or α i (t) = 0] prob [{n i 1(t 1) = 0 or α i (t) = 0} and n i (t 1) < N i ] because prob [n i 1(t 1) = 0 and n i (t 1) = N i ] 0 so the denominator is, approximately, Recall that this is equal to prob [α u (i) = 0 and n i (t 1) < N i ] p u (i) r u (i) prob [αu(i) = 1 and ni (t 1) < Ni ] = p u (i) E(i) r u (i)

45 2.852 Manufacturing Systems Analysis 45/91 Copyright c 2010 Stanley B. Gershwin. Decomposition Equations Resumption of Flow Therefore, and X(i) = p s (i 1)r u (i) p u (i)e(i) r u (i) = r u (i 1)X(i) + r i (1 X(i)), i = 2,..., k 1 This is a set of k 2 equations.

46 2.852 Manufacturing Systems Analysis 46/91 Copyright c 2010 Stanley B. Gershwin. Decomposition Equations Resumption of Flow By the same logic, r d (i 1) = r d (i)y (i) + r i (1 Y(i)), i = 2,..., k 1 where Y (i) = p b (i)r d (i 1). p d (i 1)E(i 1) This is a set of k 2 equations. We now have 4(k 2) = 4k 8 equations.

47 2.852 Manufacturing Systems Analysis 47/91 Copyright c 2010 Stanley B. Gershwin. Decomposition Equations Boundary Conditions M d (1) is the same as M 1 and M d (k 1) is the same as M k. Therefore r u (1) = r 1 p u (1) = p 1 r d (k 1) = r k p d (k 1) = p k This is a set of 4 equations. We now have 4(k 1) equations in 4(k 1) unknowns r u (i), p u (i), r d (i), p d (i), i = 1,..., k 1.

48 2.852 Manufacturing Systems Analysis 48/91 Copyright c 2010 Stanley B. Gershwin. Decomposition Equations Algorithm FRIT: Upstream equations: p d (i 1) p u (i) = + 2 r d (i 1) r u (i) E(i) e i r u (i) = r u (i 1)X(i) + r i (1 X(i)); X(i) = p u (i) = r u (i) Downstream equations: 1 + E(i) 1 e i 2 «p d (i 1) r d (i 1) r d (i) = r d (i + 1)Y (i + 1) + r i+1(1 Y(i + 1)); Y (i + 1) = p d (i) = r d (i) 1 + E(i + 1) 1 e i+1 2 «p u (i + 1) r u (i + 1) p s (i 1)r u (i) p u (i)e(i) p b (i + 1)r d (i). p d (i)e(i)

49 2.852 Manufacturing Systems Analysis 49/91 Copyright c 2010 Stanley B. Gershwin. Decomposition Equations Algorithm We use the conservation of flow conditions by modifying these equations. Modified upstream equations: r u (i) = r u (i 1)X(i) + r i (1 X(i)); X(i) = p u (i) = r u (i) Modified downstream equations: 1 + E(i 1) 1 e i 2 «p d (i 1) r d (i 1) r d (i) = r d (i + 1)Y (i + 1) + r i+1(1 Y(i + 1)); Y (i + 1) = p d (i) = r d (i) 1 + E(i + 1) 1 e i+1 2 «p u (i + 1) r u (i + 1) p s (i 1)r u (i) p u (i)e(i 1) p b (i + 1)r d (i). p d (i)e(i + 1)

50 2.852 Manufacturing Systems Analysis 50/91 Copyright c 2010 Stanley B. Gershwin. Decomposition Equations Algorithm Possible Termination Conditions: E(i) E(1) < ǫ for i = 2,..., k 1, or The change in each r u (i), p u (i), r d (i), p d (i) parameter, i = 1,..., k 1 is less than ǫ, or etc.

51 2.852 Manufacturing Systems Analysis 51/91 Copyright c 2010 Stanley B. Gershwin. Decomposition Equations Algorithm DDX algorithm : due to Dallery, David, and Xie (1988). 1. Guess the downstream parameters of L(1) (r d (1), p d (1)). Set i = Use the modified upstream equations to obtain the upstream parameters of L(i) (r u (i), p u (i)). Increment i. 3. Continue in this way until L(k 1). Set i = k Use the modified downstream equations to obtain the downstream parameters of L(i). Decrement i. 5. Continue in this way until L(1). 6. Go to Step 2 or terminate.

52 2.852 Manufacturing Systems Analysis 52/91 Copyright c 2010 Stanley B. Gershwin. Decomposition Approximations Is the decomposition exact? NO, because 1. The behavior of the flow in the buffer of a two-machine line is not exactly the same as the behavior of the flow in a buffer of a long line. 2. prob [n i 1 (t 1) = 0 and n i (t 1) = N i ] 0 Question: When will this work well, and when will it work badly?

53 2.852 Manufacturing Systems Analysis 53/91 Copyright c 2010 Stanley B. Gershwin. Examples Three-machine line Three-machine line production rate..8 E p 2 = r 1 = r 2 = r 3 =.2 p 1 =.05 N 1 = N 2 = p 3

54 2.852 Manufacturing Systems Analysis 54/91 Copyright c 2010 Stanley B. Gershwin. Examples Three-machine line Three-machine line total average inventory p 2 = I p 3 r 1 = r 2 = r 3 =.2 p 1 =.05 N 1 = N 2 = 5

55 2.852 Manufacturing Systems Analysis 55/91 Copyright c 2010 Stanley B. Gershwin. Examples Long lines Machines; r=0.1; p=0.01; mu=1.0; N= Average Buffer Level Buffer Number Distribution of material in a line with identical machines and buffers. Explain the shape.

56 2.852 Manufacturing Systems Analysis 56/91 Copyright c 2010 Stanley B. Gershwin. Examples Long lines Analytical vs simulation Time steps Decomp 10,000 50, ,000 Production rate Analytic 10,000 steps 50,000 steps 200,000 steps 12 Average buffer leve Buffer number (Not the same line as in Slide 55.)

57 Examples Long lines Machines; r=0.1; p=0.01; mu=1.0; N=20.0 EXCEPT N(25)= Average Buffer Level 10 5 Same as Slide 55 except that Buffer 25 is now huge. Explain the shape Buffer Number Manufacturing Systems Analysis 57/91 Copyright c 2010 Stanley B. Gershwin.

58 2.852 Manufacturing Systems Analysis 58/91 Copyright c 2010 Stanley B. Gershwin. Examples Long lines Machines; r=0.1; p=0.01; mu=1.0; N= Average Buffer Level 10 5 Upstream half of Slide 57. Explain the shape Buffer Number

59 2.852 Manufacturing Systems Analysis 59/91 Copyright c 2010 Stanley B. Gershwin. Examples Long lines 50 Machines; upstream r=0.1; p=0.01; mu=1.0; N=20.0; N(25)= downstream r=0.15; p=0.01; mu=1.0, N= Average Buffer Level 10 5 Upstream same as Slide 58; downstream faster. Explain the shape Buffer Number

60 2.852 Manufacturing Systems Analysis 60/91 Copyright c 2010 Stanley B. Gershwin. Examples Long lines 50 Machines; upstream r=0.1; p=0.01; mu=1.0; N=20.0; N(25)= downstream r=0.09; p=0.01; mu=1.0, N= Average Buffer Level 10 5 Upstream same as Slide 58; downstream faster. Explain the shape Buffer Number

61 2.852 Manufacturing Systems Analysis 61/91 Copyright c 2010 Stanley B. Gershwin. Examples Long lines 50 Machines; upstream r=0.1; p=0.01; mu=1.0; N=20.0; N(25)= downstream r=0.09; p=0.01; mu=1.0, N= Average Buffer Level Buffer Number Downstream same as downstream half of Slide 57; upstream faster. Explain the shape.

62 2.852 Manufacturing Systems Analysis 62/91 Copyright c 2010 Stanley B. Gershwin. Examples Long lines Machines; r=0.1; p=0.01; mu=1.0, N=20.0 EXCEPT N(25)=2000.0, r(26)=.09, p(26)= Average Buffer Level Buffer Number Same as upstream half of Slide 61 except for Machine 26. Explain the shape. How was Machine 26 chosen?

63 2.852 Manufacturing Systems Analysis 63/91 Copyright c 2010 Stanley B. Gershwin. Examples Long lines Bottlenecks Machines; r=0.1; p=0.01; mu=1.0; N=20.0 EXCEPT mu(10)= Average Buffer Level Buffer Number Operation time bottleneck. Identical machines and buffers, except for M 10. Explain the shape.

64 Examples Long lines Bottlenecks Machines; r=0.1; p=0.01; mu=1.0; N=20.0 EXCEPT p(10)= Average Buffer Level 10 5 Failure time bottleneck. Explain the shape Buffer Number Manufacturing Systems Analysis 64/91 Copyright c 2010 Stanley B. Gershwin.

65 2.852 Manufacturing Systems Analysis 65/91 Copyright c 2010 Stanley B. Gershwin. Examples Long lines Bottlenecks Machines; r=0.1; p=0.01; mu=1.0; N=20.0 EXCEPT r(10)= Average Buffer Level 10 5 Repair time bottleneck. Explain the shape Buffer Number

66 2.852 Manufacturing Systems Analysis 66/91 Copyright c 2010 Stanley B. Gershwin. Examples Infinitely long lines Infinitely long lines with identical machines and buffers r i = r p i = p for each i, < i <. N i = N The observer in each buffer sees exactly the same behavior. Consequently, the decomposed pseudo-machines are all identical and symmetric. For each i, r u (i) = r u (i 1) = r d (i) = r d (i 1) p u (i) = p u (i 1) = p d (i) = p d (i 1).

67 2.852 Manufacturing Systems Analysis 67/91 Copyright c 2010 Stanley B. Gershwin. Examples Infinitely long lines Resumption of flow says so r u (i) = r d (i) = r. FRIT says r u (i) = r u (i 1)X(i) + r i (1 X(i)) r u = r u X + r(1 X) p d (i 1) r d (i 1) + p u (i) r u (i) = 1 E (i) + 1 e i 2 2p u r = 1 E + 1 e 2

68 2.852 Manufacturing Systems Analysis 68/91 Copyright c 2010 Stanley B. Gershwin. Examples Infinitely long lines In the last equation, p u is unknown and E is a function of p u. This is one equation in one unknown. Production Rate E, Parts/Cycle r i =.1, p 1 =.1, i= l,..., k N i = 10, i = 1..., k - 1 N i = 5, i = 1,..., k Number of Machines k

69 2.852 Manufacturing Systems Analysis 69/91 Copyright c 2010 Stanley B. Gershwin. Examples Effect of one buffer size on all buffer levels Average Buffer Level n1 n2 n3 n4 n5 n6 n7 Continuous material model. Eight-machine, seven-buffer line. For each machine, r =.075, p =.009, µ = 1.2. For each buffer (except Buffer 6), N = N 6 M 1 B1 B 2 M 3 B3 M 4 M 2 B 4 M 5 B5 M 6 B 6 M 7 B7 M 8

70 2.852 Manufacturing Systems Analysis 70/91 Copyright c 2010 Stanley B. Gershwin. Examples Effect of one buffer size on all buffer levels n1 n2 n3 n4 n5 n6 n7 Average Buffer Level Which n i are decreasing and which are increasing? Why? N 6 M 1 B1 B 2 M 3 B3 M 4 M 2 B 4 M 5 B5 M 6 B 6 M 7 B7 M 8

71 2.852 Manufacturing Systems Analysis 71/91 Copyright c 2010 Stanley B. Gershwin. Examples Buffer allocation Which has a higher production rate? 9-Machine line with two buffering options: 8 buffers equally sized; and M 1 B 1 M 2 B2 M 3 B3 M 4 B 4 M 5 B5 M 6 B 6 M 7 B 7 M 8 B8 M 9 2 buffers equally sized. M 1 M 2 M 3 B 3 M 4 M 5 M 6 B 6 M 7 M 8 M 9

72 2.852 Manufacturing Systems Analysis 72/91 Copyright c 2010 Stanley B. Gershwin. Examples Buffer allocation P buffers 2 buffers Continuous model; all machines have r =.019, p =.001, µ = 1. What are the asymptotes? Is 8 buffers always faster? Total Buffer Space

73 2.852 Manufacturing Systems Analysis 73/91 Copyright c 2010 Stanley B. Gershwin. Examples Buffer allocation buffers 2 buffers P Total Buffer Space Is 8 buffers always faster? Perhaps not, but difference is not significant in systems with very small buffers.

74 2.852 Manufacturing Systems Analysis 74/91 Copyright c 2010 Stanley B. Gershwin. Long Lines More Models Discrete Material Exponential Processing Time and Continuous Material Models New issue: machines may operate at different speeds. Blockage and starvation may be caused by differences in machine speeds, not only failures. Decomposition of these classes of systems is similar to that of discrete-material, deterministic-processing time lines except The two-machine lines have machines with 3 parameters (r u (i), p u (i), µ u (i); r d (i), p d (i), µ d (i)). More equations 6(k 1) are therefore needed. Exponential decomposition is described in the book in detail; continuous material decomposition was not developed until after book was written.

75 2.852 Manufacturing Systems Analysis 75/91 Copyright c 2010 Stanley B. Gershwin. Long Lines Exponential Processing Time Model The observer thinks he is in a two-machine exponential processing time line with parameters r u (i)δt = p u (i)δt = probability that M u (i) goes from down to up in (t, t + δt), for small δt; probability that M u (i) goes from up to down in (t, t + δt) if it is not blocked, for small δt; µ u (i)δt = probability that a piece flows into B i in (t, t + δt) when M u (i) is up and not blocked, for small δt; r d (i)δt = p d (i)δt = probability that M d (i) goes from down to up in (t, t + δt), for small δt; probability that M d (i) goes from up to down in (t, t + δt) if it is not starved, for small δt; µ d (i)δt = probability that a piece flows out of B i in (t, t + δt) when M d (i) is up and not starved, for small δt.

76 2.852 Manufacturing Systems Analysis 76/91 Copyright c 2010 Stanley B. Gershwin. Long Lines Exponential Processing Time Model Equations We have 6(k 1) unknowns, so we need 6(k 1) equations. They are Interruption of flow, relating p u (i) to upstream events and p d (i) to downstream events, Resumption of flow, Conservation of flow, Flow rate/idle time, Boundary conditions. All of these, except for the Interruption of Flow equations, are similar to those of the deterministic processing time case.

77 2.852 Manufacturing Systems Analysis 77/91 Copyright c 2010 Stanley B. Gershwin. Long Lines Exponential Processing Time Model Interruption of Flow The first two sets of equations describe the interruptions of flow caused by machine failures. By definition, [ ] p u (i)δt = prob α u (i; t + δt) = 0 α u (i; t) = 1 and n i (t) < N i, or, p u (i)δt = prob [ ] M u (i) down at t + δt M u (i) up and n i < N i at t.

78 2.852 Manufacturing Systems Analysis 78/91 Copyright c 2010 Stanley B. Gershwin. Long Lines Exponential Processing Time Model Interruption of Flow We define the events that a pseudo-machine is up or down as follows: M u (i) is down if 1. M i is down, or 2. n i 1 = 0 and M u (i 1) is down. M u (i) is up for all other states of the transfer line upstream of Buffer B i. Therefore, M u (i) is up if 1. M i is operational and n i 1 > 0, or 2. M i is operational, n i 1 = 0 and M u (i 1) is up.

79 2.852 Manufacturing Systems Analysis 79/91 Copyright c 2010 Stanley B. Gershwin. Long Lines Exponential Processing Time Model Interruption of Flow After a lot of equation manipulation, we get: and similarly, p u (i) = p i + r u (i 1)p(i 1; 001). E u (i) p d (i) = p i+1 + r d (i + 1)p(i + 1; N10). E d (i) in which p(i 1; 001) is the steady state probability that line L(i 1) is in state (0, 0, 1) and p(i + 1; N10) is the steady state probability that line L(i + 1) is in state (N i+1, 1, 0).

80 2.852 Manufacturing Systems Analysis 80/91 Copyright c 2010 Stanley B. Gershwin. Long Lines Exponential Processing Time Model Resumption of Flow pi 1(0, 0, 1)ru (i)µu(i) r u (i) = r u (i 1) p u (i)p(i) +r i 1 i = 2,, k 1 p i 1(0, 0, 1)r u (i)µ u (i) p u (i)p(i) «, r d (i) = r d (i + 1) pi+1(ni+1, 1, 0)r d (i)µ d (i) p d (i)p(i) +r i+1 1 i = 1,, k 2 p i+1(n i+1, 1, 0)r d (i)µ d (i) p d (i)p(i) «,

81 2.852 Manufacturing Systems Analysis 81/91 Copyright c 2010 Stanley B. Gershwin. Long Lines Exponential Processing Time Model Conservation of Flow P(i) = P(1),i = 2,..., k 1.

82 2.852 Manufacturing Systems Analysis 82/91 Copyright c 2010 Stanley B. Gershwin. Long Lines Exponential Processing Time Model Flow Rate/Idle Time The flow rate-idle time relationship is, approximately, P i = e i µ i (1 prob [n i 1 = 0] prob [n i = N i ]). which can be transformed into e i µ i P = ; i = 2,..., k 1. e d (i 1)µ d (i 1) e u (i)µ u (i)

83 2.852 Manufacturing Systems Analysis 83/91 Copyright c 2010 Stanley B. Gershwin. Long Lines Exponential Processing Time Model Flow Rate/Idle Time For the algorithm, we express it as µ u (i) = { } 1 1 e u (i) 1 P(i) + 1 1, e i µ i e d (i 1)µ d (i 1) i = 2,, k 1, µ d (i) = { } 1 1 e d (i) 1 P(i) + 1 1, e i +1µ i +1 e u (i+1)µ u (i+1) i = 1,, k 2.

84 2.852 Manufacturing Systems Analysis 84/91 Copyright c 2010 Stanley B. Gershwin. Long Lines Exponential Processing Time Model Boundary Conditions M d (1) is the same as M 1 and M d (k 1) is the same as M k. Therefore r u (1) = r 1 p u (1) = p 1 µ u (1) = µ 1 r d (k 1) = r k p d (k 1) = p k µ d (k 1) = µ k

85 2.852 Manufacturing Systems Analysis 85/91 Copyright c 2010 Stanley B. Gershwin. Long Lines Exponential Processing Time Example.25 LINE PRODUCTION RATE (UNIT/TIME) Upper Bound Decomposition Simulation i Parameters r i p i µ i N i ρ2 Exponential processing time line 3 machines Upper bound determined by smallest ρ i. Simulation satisfies upper bound; decomposition does not. Why?

86 2.852 Manufacturing Systems Analysis 86/91 Copyright c 2010 Stanley B. Gershwin. Long Lines Continuous Material M 1 B1 M 2 B2 M 3 B3 M 4 B4 M B 5 5 M 6 Conceptually very similar to exponential processing time model. One difference: prob (x i 1 = 0 and x i = N i ) = 0 exactly.

87 2.852 Manufacturing Systems Analysis 87/91 Copyright c 2010 Stanley B. Gershwin. Long Lines Continuous Material Model New approximation New approximation: The observer sees both pseudo-machines operating at multiple rates, but the two-machine lines assume single rates. M (i) u r (i), p (i), µ (i) u u u M (i) d r (i), p (i), µ (i) d d d If this were really a two-machine continuous material line, material would enter the buffer at rate µ u (i) (if M u (i) is up and the buffer is not full) or µ d (i) (if M u (i) and M d (i) are up and the buffer is full and µ d (i) < µ u (i)) or 0; material would exit the buffer at rate µ d (i) (if M d (i) is up and the buffer is not empty) or µ u (i) (if M u (i) and M d (i) are up and the buffer is empty and µ u (i) < µ d (i)) or 0;

88 2.852 Manufacturing Systems Analysis 88/91 Copyright c 2010 Stanley B. Gershwin. Long Lines Continuous Material New approximation M i 2 B i 2 M i 1 B i 1 B i M i+1 B i+1 M M i i+2 B i+2 M i+3 M (i) u M (i) d Assume that... < µ i 2 < µ i 1 < µ i < µ i+1 <... Assume all the machines are up and B i is not full. Then the observer in B i actually sees material entering B i... at rate µ i if B i 1 is not empty; at rate µ i 1 if B i 2 is not empty and B i 1 is empty; at rate µ i 2 if B i 3 is not empty and B i 2 is empty and B i 1 is empty; etc. Therefore, this approximation may break down if the µ i are very different.

89 2.852 Manufacturing Systems Analysis 89/91 Copyright c 2010 Stanley B. Gershwin. Long Lines Continuous Material Equations We have the same 6(k 1) unknowns, so we need 6(k 1) equations. They are, as before, Interruption of flow, Resumption of flow, Conservation of flow, Flow rate/idle time, Boundary conditions. They are the same as in the exponential processing time case except for the Interruption of Flow equations.

90 2.852 Manufacturing Systems Analysis 90/91 Copyright c 2010 Stanley B. Gershwin. Long Lines Continuous Material Interruption of Flow Considerable manipulation leads to and, similarly, p u (i) = p i 1(0, 1, 1)µ u (i) p i 1 + P(i) p i (N i, 1, 1)µ d (i) p i 1(0, 0, 1)µ u (i) P(i) p i (N i, 1, 1)µ d (i) p d (i) = p i+1(n i+1, 1, 1)µ d (i) p i P(i) p i (0, 1, 1)µ u (i) pi+1(n i+1, 1, 0)µ d (i + 1) P(i) p i (0, 1, 1)µ u (i) ««µu (i 1) 1 + µ i «r u (i 1), i = 2,, k 1 ««µd (i + 1) 1) + µ i+1 «r d (i + 1), i = 1,, k 2

91 2.852 Manufacturing Systems Analysis 91/91 Copyright c 2010 Stanley B. Gershwin. To come Assembly/Disassembly Systems Buffer Optimization Effect of Buffers on Quality Loops Real-Time Control????

92 MIT OpenCourseWare Manufacturing Systems Analysis Spring 2010 For information about citing these materials or our Terms of Use,visit:

Single-part-type, multiple stage systems. Lecturer: Stanley B. Gershwin

Single-part-type, multiple stage systems. Lecturer: Stanley B. Gershwin Single-part-type, multiple stage systems Lecturer: Stanley B. Gershwin Flow Line... also known as a Production or Transfer Line. M 1 B 1 M 2 B 2 M 3 B 3 M 4 B 4 M 5 B 5 M 6 Machine Buffer Machines are

More information

MIT Manufacturing Systems Analysis Lectures 15 16: Assembly/Disassembly Systems

MIT Manufacturing Systems Analysis Lectures 15 16: Assembly/Disassembly Systems 2.852 Manufacturing Systems Analysis 1/41 Copyright 2010 c Stanley B. Gershwin. MIT 2.852 Manufacturing Systems Analysis Lectures 15 16: Assembly/Disassembly Systems Stanley B. Gershwin http://web.mit.edu/manuf-sys

More information

MIT Manufacturing Systems Analysis Lectures 18 19

MIT Manufacturing Systems Analysis Lectures 18 19 MIT 2.852 Manufacturing Systems Analysis Lectures 18 19 Loops Stanley B. Gershwin Spring, 2007 Copyright c 2007 Stanley B. Gershwin. Problem Statement B 1 M 2 B 2 M 3 B 3 M 1 M 4 B 6 M 6 B 5 M 5 B 4 Finite

More information

MIT Manufacturing Systems Analysis Lectures 6 9: Flow Lines

MIT Manufacturing Systems Analysis Lectures 6 9: Flow Lines 2.852 Manufacturing Systems Analysis 1/165 Copyright 2010 c Stanley B. Gershwin. MIT 2.852 Manufacturing Systems Analysis Lectures 6 9: Flow Lines Models That Can Be Analyzed Exactly Stanley B. Gershwin

More information

MIT Manufacturing Systems Analysis Lecture 14-16

MIT Manufacturing Systems Analysis Lecture 14-16 MIT 2.852 Manufacturing Systems Analysis Lecture 14-16 Line Optimization Stanley B. Gershwin Spring, 2007 Copyright c 2007 Stanley B. Gershwin. Line Design Given a process, find the best set of machines

More information

Markov Processes and Queues

Markov Processes and Queues MIT 2.853/2.854 Introduction to Manufacturing Systems Markov Processes and Queues Stanley B. Gershwin Laboratory for Manufacturing and Productivity Massachusetts Institute of Technology Markov Processes

More information

0utline. 1. Tools from Operations Research. 2. Applications

0utline. 1. Tools from Operations Research. 2. Applications 0utline 1. Tools from Operations Research Little s Law (average values) Unreliable Machine(s) (operation dependent) Buffers (zero buffers & infinite buffers) M/M/1 Queue (effects of variation) 2. Applications

More information

Representation and Analysis of Transfer Lines. with Machines That Have Different Processing Rates

Representation and Analysis of Transfer Lines. with Machines That Have Different Processing Rates March, 1985 Revised November, 1985 LIDS-P-1446 Representation and Analysis of Transfer Lines with Machines That Have Different Processing Rates by Stanley B. Gershwin 35-433 Massachusetts Institute of

More information

Single-part-type, multiple stage systems

Single-part-type, multiple stage systems MIT 2.853/2.854 Introduction to Manufacturing Systems Single-part-type, multiple stage systems Stanley B. Gershwin Laboratory for Manufacturing and Productivity Massachusetts Institute of Technology Single-stage,

More information

Type 1. Type 1 Type 2 Type 2 M 4 M 1 B 41 B 71 B 31 B 51 B 32 B 11 B 12 B 22 B 61 M 3 M 2 B 21

Type 1. Type 1 Type 2 Type 2 M 4 M 1 B 41 B 71 B 31 B 51 B 32 B 11 B 12 B 22 B 61 M 3 M 2 B 21 Design and Operation of Manufacturing Systems The Control-Point Policy by Stanley B. Gershwin Institute Massachusetts Technology of Cambridge, 02139 USA Massachusetts I I E Annual Conference Orlando, Florida,

More information

PRODUCTVIVITY IMPROVEMENT MODEL OF AN UNRELIABLE THREE STATIONS AND A SINGLE BUFFER WITH CONTINUOUS MATERIAL FLOW

PRODUCTVIVITY IMPROVEMENT MODEL OF AN UNRELIABLE THREE STATIONS AND A SINGLE BUFFER WITH CONTINUOUS MATERIAL FLOW Vol. 3, No. 1, Fall, 2016, pp. 23-40 ISSN 2158-835X (print), 2158-8368 (online), All Rights Reserved PRODUCTVIVITY IMPROVEMENT MODEL OF AN UNRELIABLE THREE STATIONS AND A SINGLE BUFFER WITH CONTINUOUS

More information

Exercises Solutions. Automation IEA, LTH. Chapter 2 Manufacturing and process systems. Chapter 5 Discrete manufacturing problems

Exercises Solutions. Automation IEA, LTH. Chapter 2 Manufacturing and process systems. Chapter 5 Discrete manufacturing problems Exercises Solutions Note, that we have not formulated the answers for all the review questions. You will find the answers for many questions by reading and reflecting about the text in the book. Chapter

More information

The two-machine one-buffer continuous time model with restart policy

The two-machine one-buffer continuous time model with restart policy Noname manuscript No. (will be inserted by the editor) The two-machine one-buffer continuous time model with restart policy Elisa Gebennini Andrea Grassi Cesare Fantuzzi Received: date / Accepted: date

More information

Performance evaluation of production lines with unreliable batch machines and random processing time

Performance evaluation of production lines with unreliable batch machines and random processing time Politecnico di Milano Scuola di Ingegneria di Sistemi Polo territoriale di Como Master Graduation Thesis Performance evaluation of production lines with unreliable batch machines and random processing

More information

MIT Manufacturing Systems Analysis Lectures 19 21

MIT Manufacturing Systems Analysis Lectures 19 21 MIT 2.852 Manufacturing Systems Analysis Lectures 19 21 Scheduling: Real-Time Control of Manufacturing Systems Stanley B. Gershwin Spring, 2007 Copyright c 2007 Stanley B. Gershwin. Definitions Events

More information

UNIVERSITY OF CALGARY. A Method for Stationary Analysis and Control during Transience in Multi-State Stochastic. Manufacturing Systems

UNIVERSITY OF CALGARY. A Method for Stationary Analysis and Control during Transience in Multi-State Stochastic. Manufacturing Systems UNIVERSITY OF CALGARY A Method for Stationary Analysis and Control during Transience in Multi-State Stochastic Manufacturing Systems by Alireza Fazlirad A THESIS SUBMITTED TO THE FACULTY OF GRADUATE STUDIES

More information

PERFORMANCE ANALYSIS OF PRODUCTION SYSTEMS WITH REWORK LOOPS

PERFORMANCE ANALYSIS OF PRODUCTION SYSTEMS WITH REWORK LOOPS PERFORMANCE ANALYSIS OF PRODUCTION SYSTEMS WITH REWORK LOOPS Jingshan Li Enterprise Systems Laboratory General Motors Research & Development Center Mail Code 480-106-359 30500 Mound Road Warren, MI 48090-9055

More information

Turing Machines Part II

Turing Machines Part II Turing Machines Part II Problem Set Set Five Five due due in in the the box box up up front front using using a late late day. day. Hello Hello Condensed Slide Slide Readers! Readers! This This lecture

More information

CPSC 467b: Cryptography and Computer Security

CPSC 467b: Cryptography and Computer Security CPSC 467b: Cryptography and Computer Security Michael J. Fischer Lecture 10 February 19, 2013 CPSC 467b, Lecture 10 1/45 Primality Tests Strong primality tests Weak tests of compositeness Reformulation

More information

Chemical Reaction Engineering II Prof. A. K. Suresh Department of Chemical Engineering Indian Institute of Technology, Bombay

Chemical Reaction Engineering II Prof. A. K. Suresh Department of Chemical Engineering Indian Institute of Technology, Bombay Chemical Reaction Engineering II Prof A K Suresh Department of Chemical Engineering Indian Institute of Technology, Bombay Lecture - 24 GLR-5: Transition to Instantaneous reaction; Reaction regimes in

More information

Introduction to Computer Science and Programming for Astronomers

Introduction to Computer Science and Programming for Astronomers Introduction to Computer Science and Programming for Astronomers Lecture 8. István Szapudi Institute for Astronomy University of Hawaii March 7, 2018 Outline Reminder 1 Reminder 2 3 4 Reminder We have

More information

MITOCW MITRES2_002S10nonlinear_lec05_300k-mp4

MITOCW MITRES2_002S10nonlinear_lec05_300k-mp4 MITOCW MITRES2_002S10nonlinear_lec05_300k-mp4 The following content is provided under a Creative Commons license. Your support will help MIT OpenCourseWare continue to offer high quality educational resources

More information

INFO 4300 / CS4300 Information Retrieval. slides adapted from Hinrich Schütze s, linked from

INFO 4300 / CS4300 Information Retrieval. slides adapted from Hinrich Schütze s, linked from INFO 4300 / CS4300 Information Retrieval slides adapted from Hinrich Schütze s, linked from http://informationretrieval.org/ IR 8: Evaluation & SVD Paul Ginsparg Cornell University, Ithaca, NY 20 Sep 2011

More information

Mostafa H. Ammar* Stanley B. Gershwin

Mostafa H. Ammar* Stanley B. Gershwin Ip January 1981 LIDS-P-1027 (Revised) OSP No. 87049 EQUIVALENCE RELATIONS IN QUEUING MODELS OF MANUFACTURING NETWORKS by Mostafa H. Ammar* Stanley B. Gershwin This research was carried out in the M.I.T.

More information

An Aggregation Method for Performance Evaluation of a Tandem Homogenous Production Line with Machines Having Multiple Failure Modes

An Aggregation Method for Performance Evaluation of a Tandem Homogenous Production Line with Machines Having Multiple Failure Modes An Aggregation Method for Performance Evaluation of a Tandem Homogenous Production Line with Machines Having Multiple Failure Modes Ahmed-Tidjani Belmansour Mustapha Nourelfath November 2008 CIRRELT-2008-53

More information

PS2 - Comments. University of Virginia - cs3102: Theory of Computation Spring 2010

PS2 - Comments. University of Virginia - cs3102: Theory of Computation Spring 2010 University of Virginia - cs3102: Theory of Computation Spring 2010 PS2 - Comments Average: 77.4 (full credit for each question is 100 points) Distribution (of 54 submissions): 90, 12; 80 89, 11; 70-79,

More information

Safety and Liveness Properties

Safety and Liveness Properties Safety and Liveness Properties Lecture #6 of Model Checking Joost-Pieter Katoen Lehrstuhl 2: Software Modeling and Verification E-mail: katoen@cs.rwth-aachen.de November 5, 2008 c JPK Overview Lecture

More information

CIS 2033 Lecture 5, Fall

CIS 2033 Lecture 5, Fall CIS 2033 Lecture 5, Fall 2016 1 Instructor: David Dobor September 13, 2016 1 Supplemental reading from Dekking s textbook: Chapter2, 3. We mentioned at the beginning of this class that calculus was a prerequisite

More information

6.241 Dynamic Systems and Control

6.241 Dynamic Systems and Control 6.241 Dynamic Systems and Control Lecture 2: Least Square Estimation Readings: DDV, Chapter 2 Emilio Frazzoli Aeronautics and Astronautics Massachusetts Institute of Technology February 7, 2011 E. Frazzoli

More information

Physics 102: Lecture 06 Kirchhoff s Laws

Physics 102: Lecture 06 Kirchhoff s Laws Physics 102: Lecture 06 Kirchhoff s Laws Physics 102: Lecture 6, Slide 1 Today Last Lecture Last Time Resistors in series: R eq = R 1 R 2 R 3 Current through each is same; Voltage drop is IR i Resistors

More information

Designing Information Devices and Systems I Fall 2018 Lecture Notes Note Positioning Sytems: Trilateration and Correlation

Designing Information Devices and Systems I Fall 2018 Lecture Notes Note Positioning Sytems: Trilateration and Correlation EECS 6A Designing Information Devices and Systems I Fall 08 Lecture Notes Note. Positioning Sytems: Trilateration and Correlation In this note, we ll introduce two concepts that are critical in our positioning

More information

Queens College, CUNY, Department of Computer Science Numerical Methods CSCI 361 / 761 Spring 2018 Instructor: Dr. Sateesh Mane.

Queens College, CUNY, Department of Computer Science Numerical Methods CSCI 361 / 761 Spring 2018 Instructor: Dr. Sateesh Mane. Queens College, CUNY, Department of Computer Science Numerical Methods CSCI 361 / 761 Spring 2018 Instructor: Dr. Sateesh Mane c Sateesh R. Mane 2018 3 Lecture 3 3.1 General remarks March 4, 2018 This

More information

Physical Metaphors for Graphs

Physical Metaphors for Graphs Graphs and Networks Lecture 3 Physical Metaphors for Graphs Daniel A. Spielman October 9, 203 3. Overview We will examine physical metaphors for graphs. We begin with a spring model and then discuss resistor

More information

CSC 5170: Theory of Computational Complexity Lecture 4 The Chinese University of Hong Kong 1 February 2010

CSC 5170: Theory of Computational Complexity Lecture 4 The Chinese University of Hong Kong 1 February 2010 CSC 5170: Theory of Computational Complexity Lecture 4 The Chinese University of Hong Kong 1 February 2010 Computational complexity studies the amount of resources necessary to perform given computations.

More information

An overview of key ideas

An overview of key ideas An overview of key ideas This is an overview of linear algebra given at the start of a course on the mathematics of engineering. Linear algebra progresses from vectors to matrices to subspaces. Vectors

More information

A Semiconductor Wafer

A Semiconductor Wafer M O T I V A T I O N Semi Conductor Wafer Fabs A Semiconductor Wafer Clean Oxidation PhotoLithography Photoresist Strip Ion Implantation or metal deosition Fabrication of a single oxide layer Etching MS&E324,

More information

Designing Information Devices and Systems I Fall 2018 Lecture Notes Note Positioning Sytems: Trilateration and Correlation

Designing Information Devices and Systems I Fall 2018 Lecture Notes Note Positioning Sytems: Trilateration and Correlation EECS 6A Designing Information Devices and Systems I Fall 08 Lecture Notes Note. Positioning Sytems: Trilateration and Correlation In this note, we ll introduce two concepts that are critical in our positioning

More information

WHY POLYNOMIALS? PART 1

WHY POLYNOMIALS? PART 1 WHY POLYNOMIALS? PART 1 The proofs of finite field Kakeya and joints and short and clean, but they also seem strange to me. They seem a little like magic tricks. In particular, what is the role of polynomials

More information

Proof Rules for Correctness Triples

Proof Rules for Correctness Triples Proof Rules for Correctness Triples CS 536: Science of Programming, Fall 2018 A. Why? We can t generally prove that correctness triples are valid using truth tables. We need proof axioms for atomic statements

More information

Queuing Analysis. Chapter Copyright 2010 Pearson Education, Inc. Publishing as Prentice Hall

Queuing Analysis. Chapter Copyright 2010 Pearson Education, Inc. Publishing as Prentice Hall Queuing Analysis Chapter 13 13-1 Chapter Topics Elements of Waiting Line Analysis The Single-Server Waiting Line System Undefined and Constant Service Times Finite Queue Length Finite Calling Problem The

More information

Notes for Recitation 14

Notes for Recitation 14 6.04/18.06J Mathematics for Computer Science October 4, 006 Tom Leighton and Marten van Dijk Notes for Recitation 14 1 The Akra-Bazzi Theorem Theorem 1 (Akra-Bazzi, strong form). Suppose that: is defined

More information

Uncertain Knowledge and Bayes Rule. George Konidaris

Uncertain Knowledge and Bayes Rule. George Konidaris Uncertain Knowledge and Bayes Rule George Konidaris gdk@cs.brown.edu Fall 2018 Knowledge Logic Logical representations are based on: Facts about the world. Either true or false. We may not know which.

More information

INDIAN INSTITUTE OF TECHNOLOGY KHARAGPUR. NPTEL National Programme on Technology Enhanced Learning. Probability Methods in Civil Engineering

INDIAN INSTITUTE OF TECHNOLOGY KHARAGPUR. NPTEL National Programme on Technology Enhanced Learning. Probability Methods in Civil Engineering INDIAN INSTITUTE OF TECHNOLOGY KHARAGPUR NPTEL National Programme on Technology Enhanced Learning Probability Methods in Civil Engineering Prof. Rajib Maity Department of Civil Engineering IIT Kharagpur

More information

Plantwide Control of Chemical Processes Prof. Nitin Kaistha Department of Chemical Engineering Indian Institute of Technology, Kanpur

Plantwide Control of Chemical Processes Prof. Nitin Kaistha Department of Chemical Engineering Indian Institute of Technology, Kanpur Plantwide Control of Chemical Processes Prof. Nitin Kaistha Department of Chemical Engineering Indian Institute of Technology, Kanpur Lecture - 41 Cumene Process Plantwide Control (Refer Slide Time: 00:18)

More information

Adam Caromicoli. Alan S. Willsky 1. Stanley B. Gershwin 2. Abstract

Adam Caromicoli. Alan S. Willsky 1. Stanley B. Gershwin 2. Abstract December 1987 LIDS-P-1727 MULTIPLE TIME SCALE ANALYSIS OF MANUFACTURING SYSTEMS Adam Caromicoli Alan S. Willsky 1 Stanley B. Gershwin 2 Abstract In this paper we use results on the aggregation of singularly

More information

CPSC 467b: Cryptography and Computer Security

CPSC 467b: Cryptography and Computer Security CPSC 467b: Cryptography and Computer Security Michael J. Fischer Lecture 9 February 6, 2012 CPSC 467b, Lecture 9 1/53 Euler s Theorem Generating RSA Modulus Finding primes by guess and check Density of

More information

Plasma Physics Prof. V. K. Tripathi Department of Physics Indian Institute of Technology, Delhi

Plasma Physics Prof. V. K. Tripathi Department of Physics Indian Institute of Technology, Delhi Plasma Physics Prof. V. K. Tripathi Department of Physics Indian Institute of Technology, Delhi Lecture No. # 09 Electromagnetic Wave Propagation Inhomogeneous Plasma (Refer Slide Time: 00:33) Today, I

More information

This lecture is expanded from:

This lecture is expanded from: This lecture is expanded from: HIGH VOLUME JOB SHOP SCHEDULING AND MULTICLASS QUEUING NETWORKS WITH INFINITE VIRTUAL BUFFERS INFORMS, MIAMI Nov 2, 2001 Gideon Weiss Haifa University (visiting MS&E, Stanford)

More information

Topic one: Production line profit maximization subject to a production rate constraint. c 2010 Chuan Shi Topic one: Line optimization : 22/79

Topic one: Production line profit maximization subject to a production rate constraint. c 2010 Chuan Shi Topic one: Line optimization : 22/79 Topic one: Production line profit maximization subject to a production rate constraint c 21 Chuan Shi Topic one: Line optimization : 22/79 Production line profit maximization The profit maximization problem

More information

The purpose here is to classify computational problems according to their complexity. For that purpose we need first to agree on a computational

The purpose here is to classify computational problems according to their complexity. For that purpose we need first to agree on a computational 1 The purpose here is to classify computational problems according to their complexity. For that purpose we need first to agree on a computational model. We'll remind you what a Turing machine is --- you

More information

Lecture Notes on Inductive Definitions

Lecture Notes on Inductive Definitions Lecture Notes on Inductive Definitions 15-312: Foundations of Programming Languages Frank Pfenning Lecture 2 September 2, 2004 These supplementary notes review the notion of an inductive definition and

More information

2.004 Dynamics and Control II Spring 2008

2.004 Dynamics and Control II Spring 2008 MT OpenCourseWare http://ocw.mit.edu 2.004 Dynamics and Control Spring 2008 or information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms. Reading: ise: Chapter 8 Massachusetts

More information

A scalar conservation law with discontinuous flux for supply chains with finite buffers.

A scalar conservation law with discontinuous flux for supply chains with finite buffers. A scalar conservation law with discontinuous flux for supply chains with finite buffers. Dieter Armbruster School of Mathematical and Statistical Sciences, Arizona State University & Department of Mechanical

More information

MASSACHUSETTS INSTITUTE OF TECHNOLOGY Department of Electrical Engineering and Computer Science

MASSACHUSETTS INSTITUTE OF TECHNOLOGY Department of Electrical Engineering and Computer Science MASSACHUSETTS INSTITUTE OF TECHNOLOGY Department of Electrical Engineering and Computer Science 6.262 Discrete Stochastic Processes Midterm Quiz April 6, 2010 There are 5 questions, each with several parts.

More information

CMPSCI 250: Introduction to Computation. Lecture #22: From λ-nfa s to NFA s to DFA s David Mix Barrington 22 April 2013

CMPSCI 250: Introduction to Computation. Lecture #22: From λ-nfa s to NFA s to DFA s David Mix Barrington 22 April 2013 CMPSCI 250: Introduction to Computation Lecture #22: From λ-nfa s to NFA s to DFA s David Mix Barrington 22 April 2013 λ-nfa s to NFA s to DFA s Reviewing the Three Models and Kleene s Theorem The Subset

More information

Probability Methods in Civil Engineering Prof. Dr. Rajib Maity Department of Civil Engineering Indian Institute of Technology Kharagpur

Probability Methods in Civil Engineering Prof. Dr. Rajib Maity Department of Civil Engineering Indian Institute of Technology Kharagpur Probability Methods in Civil Engineering Prof. Dr. Rajib Maity Department of Civil Engineering Indian Institute of Technology Kharagpur Lecture No. #13 Probability Distribution of Continuous RVs (Contd

More information

7.1 What is it and why should we care?

7.1 What is it and why should we care? Chapter 7 Probability In this section, we go over some simple concepts from probability theory. We integrate these with ideas from formal language theory in the next chapter. 7.1 What is it and why should

More information

Lecture 16. Lectures 1-15 Review

Lecture 16. Lectures 1-15 Review 18.440: Lecture 16 Lectures 1-15 Review Scott Sheffield MIT 1 Outline Counting tricks and basic principles of probability Discrete random variables 2 Outline Counting tricks and basic principles of probability

More information

MODELING AND ANALYSIS OF SPLIT AND MERGE PRODUCTION SYSTEMS

MODELING AND ANALYSIS OF SPLIT AND MERGE PRODUCTION SYSTEMS University of Kentucky UKnowledge University of Kentucky Master's Theses Graduate School 008 MODELING AND ANALYSIS OF SPLIT AND MERGE PRODUCTION SYSTEMS Yang Liu University of Kentucky, yang.liu@uky.edu

More information

14.30 Introduction to Statistical Methods in Economics Spring 2009

14.30 Introduction to Statistical Methods in Economics Spring 2009 MIT OpenCourseWare http://ocw.mit.edu 4.0 Introduction to Statistical Methods in Economics Spring 009 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms.

More information

2.004 Dynamics and Control II Spring 2008

2.004 Dynamics and Control II Spring 2008 MIT OpenCourseWare http://ocw.mit.edu 2.004 Dynamics and Control II Spring 2008 or information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms. 2 I C + 4 * Massachusetts

More information

Twin Case Study: Treatment for Articulation Disabilities

Twin Case Study: Treatment for Articulation Disabilities Twin Case Study: Treatment for Articulation Disabilities Sirius Qin and Jun Chen November 5, 010 Department of Statistics University of British Columbia For Angela Feehan M.Sc student Audiology and Speech

More information

The topics in this section concern with the first course objective.

The topics in this section concern with the first course objective. 1.1 Systems & Probability The topics in this section concern with the first course objective. A system is one of the most fundamental concepts and one of the most useful and powerful tools in STEM (science,

More information

Analysis and Design of Manufacturing Systems with Multiple-Loop Structures. Zhenyu Zhang

Analysis and Design of Manufacturing Systems with Multiple-Loop Structures. Zhenyu Zhang Analysis and Design of Manufacturing Systems with Multiple-Loop Structures by Zhenyu Zhang B.S., Shanghai Jiao Tong University, China (2000) M.S., Shanghai Jiao Tong University, China (2002) Submitted

More information

14:332:231 DIGITAL LOGIC DESIGN

14:332:231 DIGITAL LOGIC DESIGN 4:332:23 DIGITAL LOGIC DEIGN Ivan Marsic, Rutgers University Electrical & Computer Engineering Fall 23 Lecture #4: Adders, ubtracters, and ALUs Vector Binary Adder [Wakerly 4 th Ed., ec. 6., p. 474] ingle

More information

Problems from Probability and Statistical Inference (9th ed.) by Hogg, Tanis and Zimmerman.

Problems from Probability and Statistical Inference (9th ed.) by Hogg, Tanis and Zimmerman. Math 224 Fall 2017 Homework 1 Drew Armstrong Problems from Probability and Statistical Inference (9th ed.) by Hogg, Tanis and Zimmerman. Section 1.1, Exercises 4,5,6,7,9,12. Solutions to Book Problems.

More information

Tutorial: Optimal Control of Queueing Networks

Tutorial: Optimal Control of Queueing Networks Department of Mathematics Tutorial: Optimal Control of Queueing Networks Mike Veatch Presented at INFORMS Austin November 7, 2010 1 Overview Network models MDP formulations: features, efficient formulations

More information

PERFORMANCE ANALYSIS OF MULTI-SERVER TANDEM QUEUES WITH FINITE BUFFERS AND BLOCKING

PERFORMANCE ANALYSIS OF MULTI-SERVER TANDEM QUEUES WITH FINITE BUFFERS AND BLOCKING PERFORMANCE ANALYSIS OF MULTI-SERVER TANDEM QUEUES WITH FINITE BUFFERS AND BLOCKING Marcel van Vuuren a, Ivo J.B.F. Adan a and Simone A. E. Resing-Sassen b a Eindhoven University of Technology, P.O. Box

More information

Feynman Says: Newton implies Kepler, No Calculus Needed!

Feynman Says: Newton implies Kepler, No Calculus Needed! The Journal of Symbolic Geometry Volume 1 (2006) Feynman Says: Newton implies Kepler, No Calculus Needed! Brian Beckman http://weblogs.asp.net/brianbec Abstract: We recapitulate Feynman's demonstration

More information

Often, in this class, we will analyze a closed-loop feedback control system, and end up with an equation of the form

Often, in this class, we will analyze a closed-loop feedback control system, and end up with an equation of the form ME 32, Spring 25, UC Berkeley, A. Packard 55 7 Review of SLODEs Throughout this section, if y denotes a function (of time, say), then y [k or y (k) denotes the k th derivative of the function y, y [k =

More information

Turing Machines Part II

Turing Machines Part II Turing Machines Part II Hello Hello Condensed Slide Slide Readers! Readers! This This lecture lecture is is almost almost entirely entirely animations that that show show how how each each Turing Turing

More information

KKT Examples. Stanley B. Gershwin Massachusetts Institute of Technology

KKT Examples. Stanley B. Gershwin Massachusetts Institute of Technology Stanley B. Gershwin Massachusetts Institute of Technology The purpose of this note is to supplement the slides that describe the Karush-Kuhn-Tucker conditions. Neither these notes nor the slides are a

More information

Lecture Notes on Inductive Definitions

Lecture Notes on Inductive Definitions Lecture Notes on Inductive Definitions 15-312: Foundations of Programming Languages Frank Pfenning Lecture 2 August 28, 2003 These supplementary notes review the notion of an inductive definition and give

More information

Recognizing Safety and Liveness by Alpern and Schneider

Recognizing Safety and Liveness by Alpern and Schneider Recognizing Safety and Liveness by Alpern and Schneider Calvin Deutschbein 17 Jan 2017 1 Intro 1.1 Safety What is safety? Bad things do not happen For example, consider the following safe program in C:

More information

Generating Function Notes , Fall 2005, Prof. Peter Shor

Generating Function Notes , Fall 2005, Prof. Peter Shor Counting Change Generating Function Notes 80, Fall 00, Prof Peter Shor In this lecture, I m going to talk about generating functions We ve already seen an example of generating functions Recall when we

More information

Overview: Synchronous Computations

Overview: Synchronous Computations Overview: Synchronous Computations barriers: linear, tree-based and butterfly degrees of synchronization synchronous example 1: Jacobi Iterations serial and parallel code, performance analysis synchronous

More information

16.30/31, Fall 2010 Recitation # 2

16.30/31, Fall 2010 Recitation # 2 16.30/31, Fall 2010 Recitation # 2 September 22, 2010 In this recitation, we will consider two problems from Chapter 8 of the Van de Vegte book. R + - E G c (s) G(s) C Figure 1: The standard block diagram

More information

The strictly 1/2-stable example

The strictly 1/2-stable example The strictly 1/2-stable example 1 Direct approach: building a Lévy pure jump process on R Bert Fristedt provided key mathematical facts for this example. A pure jump Lévy process X is a Lévy process such

More information

Reading and Writing. Mathematical Proofs. Slides by Arthur van Goetham

Reading and Writing. Mathematical Proofs. Slides by Arthur van Goetham Reading and Writing Mathematical Proofs Slides by Arthur van Goetham What is a proof? Why explanations are not proofs What is a proof? A method for establishing truth What establishes truth depends on

More information

Mathematics for Chemists 2 Lecture 14: Fourier analysis. Fourier series, Fourier transform, DFT/FFT

Mathematics for Chemists 2 Lecture 14: Fourier analysis. Fourier series, Fourier transform, DFT/FFT Mathematics for Chemists 2 Lecture 14: Fourier analysis Fourier series, Fourier transform, DFT/FFT Johannes Kepler University Summer semester 2012 Lecturer: David Sevilla Fourier analysis 1/25 Remembering

More information

Lecture 6: Introducing Complexity

Lecture 6: Introducing Complexity COMP26120: Algorithms and Imperative Programming Lecture 6: Introducing Complexity Ian Pratt-Hartmann Room KB2.38: email: ipratt@cs.man.ac.uk 2015 16 You need this book: Make sure you use the up-to-date

More information

Analysis of Environmental Data Problem Set Conceptual Foundations: De te rm in istic fu n c tio n s Answers

Analysis of Environmental Data Problem Set Conceptual Foundations: De te rm in istic fu n c tio n s Answers Analysis of Environmental Data Problem Set Conceptual Foundations: De te rm in istic fu n c tio n s Answers 1. The following real data set contains data on marbled salamander abundance (abund=mean number

More information

REAL-TIME MAINTENANCE POLICIES IN MANUFACTURING SYSTEMS

REAL-TIME MAINTENANCE POLICIES IN MANUFACTURING SYSTEMS REAL-TIME MAINTENANCE POLICIES IN MANUFACTURING SYSTEMS by Xi Gu A dissertation submitted in partial fulfillment of the requirements for the degree of Doctor of Philosophy (Mechanical Engineering) in The

More information

CS3110 Spring 2017 Lecture 21: Distributed Computing with Functional Processes

CS3110 Spring 2017 Lecture 21: Distributed Computing with Functional Processes CS3110 Spring 2017 Lecture 21: Distributed Computing with Functional Processes Robert Constable Date for Due Date PS6 Out on April 24 May 8 (day of last lecture) 1 Introduction In the next two lectures,

More information

MITOCW ocw-18_02-f07-lec17_220k

MITOCW ocw-18_02-f07-lec17_220k MITOCW ocw-18_02-f07-lec17_220k The following content is provided under a Creative Commons license. Your support will help MIT OpenCourseWare continue to offer high quality educational resources for free.

More information

Time Reversibility and Burke s Theorem

Time Reversibility and Burke s Theorem Queuing Analysis: Time Reversibility and Burke s Theorem Hongwei Zhang http://www.cs.wayne.edu/~hzhang Acknowledgement: this lecture is partially based on the slides of Dr. Yannis A. Korilis. Outline Time-Reversal

More information

Big Bang, Black Holes, No Math

Big Bang, Black Holes, No Math ASTR/PHYS 109 Dr. David Toback Lectures 21 and 22 1 Was Due Today L22 Reading: (BBBHNM Unit 3) Pre-Lecture Reading Questions (PLRQ) Unit 3: Let us know if you think you were misgraded Unit 3 Revision (if

More information

CISC 4090: Theory of Computation Chapter 1 Regular Languages. Section 1.1: Finite Automata. What is a computer? Finite automata

CISC 4090: Theory of Computation Chapter 1 Regular Languages. Section 1.1: Finite Automata. What is a computer? Finite automata CISC 4090: Theory of Computation Chapter Regular Languages Xiaolan Zhang, adapted from slides by Prof. Werschulz Section.: Finite Automata Fordham University Department of Computer and Information Sciences

More information

Introduction to Econometrics

Introduction to Econometrics Introduction to Econometrics Lecture 3 : Regression: CEF and Simple OLS Zhaopeng Qu Business School,Nanjing University Oct 9th, 2017 Zhaopeng Qu (Nanjing University) Introduction to Econometrics Oct 9th,

More information

Determine the Z transform (including the region of convergence) for each of the following signals:

Determine the Z transform (including the region of convergence) for each of the following signals: 6.003 Homework 4 Please do the following problems by Wednesday, March 3, 00. your answers: they will NOT be graded. Solutions will be posted. Problems. Z transforms You need not submit Determine the Z

More information

Advanced Chemical Reaction Engineering Prof. H. S. Shankar Department of Chemical Engineering IIT Bombay. Lecture - 03 Design Equations-1

Advanced Chemical Reaction Engineering Prof. H. S. Shankar Department of Chemical Engineering IIT Bombay. Lecture - 03 Design Equations-1 (Refer Slide Time: 00:19) Advanced Chemical Reaction Engineering Prof. H. S. Shankar Department of Chemical Engineering IIT Bombay Lecture - 03 Design Equations-1 We are looking at advanced reaction engineering;

More information

6.080 / Great Ideas in Theoretical Computer Science Spring 2008

6.080 / Great Ideas in Theoretical Computer Science Spring 2008 MIT OpenCourseWare http://ocw.mit.edu 6.080 / 6.089 Great Ideas in Theoretical Computer Science Spring 2008 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms.

More information

MITOCW watch?v=rf5sefhttwo

MITOCW watch?v=rf5sefhttwo MITOCW watch?v=rf5sefhttwo The following content is provided under a Creative Commons license. Your support will help MIT OpenCourseWare continue to offer high-quality educational resources for free. To

More information

ACHIEVING OPTIMAL DESIGN OF THE PRODUCTION LINE WITH OBTAINABLE RESOURCE CAPACITY. Miao-Sheng CHEN. Chun-Hsiung LAN

ACHIEVING OPTIMAL DESIGN OF THE PRODUCTION LINE WITH OBTAINABLE RESOURCE CAPACITY. Miao-Sheng CHEN. Chun-Hsiung LAN Yugoslav Journal of Operations Research 12 (2002), Number 2, 203-214 ACHIEVING OPTIMAL DESIGN OF THE PRODUCTION LINE WITH OBTAINABLE RESOURCE CAPACITY Miao-Sheng CHEN Graduate Institute of Management Nanhua

More information

Physics 142 Steady Currents Page 1. Steady Currents

Physics 142 Steady Currents Page 1. Steady Currents Physics 142 Steady Currents Page 1 Steady Currents If at first you don t succeed, try, try again. Then quit. No sense being a damn fool about it. W.C. Fields Electric current: the slow average drift of

More information

Turing Machine Variants

Turing Machine Variants CS311 Computational Structures Turing Machine Variants Lecture 12 Andrew Black Andrew Tolmach 1 The Church-Turing Thesis The problems that can be decided by an algorithm are exactly those that can be decided

More information

Stochastic Processes

Stochastic Processes qmc082.tex. Version of 30 September 2010. Lecture Notes on Quantum Mechanics No. 8 R. B. Griffiths References: Stochastic Processes CQT = R. B. Griffiths, Consistent Quantum Theory (Cambridge, 2002) DeGroot

More information

data structures and algorithms lecture 2

data structures and algorithms lecture 2 data structures and algorithms 2018 09 06 lecture 2 recall: insertion sort Algorithm insertionsort(a, n): for j := 2 to n do key := A[j] i := j 1 while i 1 and A[i] > key do A[i + 1] := A[i] i := i 1 A[i

More information

Deadlock. CSE 2431: Introduction to Operating Systems Reading: Chap. 7, [OSC]

Deadlock. CSE 2431: Introduction to Operating Systems Reading: Chap. 7, [OSC] Deadlock CSE 2431: Introduction to Operating Systems Reading: Chap. 7, [OSC] 1 Outline Resources Deadlock Deadlock Prevention Deadlock Avoidance Deadlock Detection Deadlock Recovery 2 Review: Synchronization

More information

2.004 Dynamics and Control II Spring 2008

2.004 Dynamics and Control II Spring 2008 MIT OpenCourseWare http://ocw.mit.edu 2.004 Dynamics and Control II Spring 2008 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms. 8 I * * Massachusetts

More information