The imperfect production center complexity to do with job maximization strategies is shown to have some criteria under which an optimal solution exists. 2010 Subject Classification: 60K25, 97M40, 35Q93
The economies of oil producing nations depend heavily on oil price dynamics. These dynamics are the determinants of budgetary sizes and capital project allocations in nations with oil. As a result, it has gained attention even among mathematicians: Cai and Newt [
T : X → Y (1)
1The converse is also true.
Now, given additional information on (1) above, vital considerations can be made. Suppose a price shock occurs when X is complete. Then (1) is a transformation from Banach space to any space. Consequently, understanding the nature of inverse maps that reverse Y to X could be the solution of certain interesting problems. The direct interpretation is that to do with the needed policy maps that can take (1) to completeness once again.
In the queuing literature, it is well known for N-homogenous jobs that the stationary probability of maintaining these jobs in a uni-server production center is given by
P N = ( 1 − ρ ) ρ N (2)
The parameter ρ is the occupation rate of the center, Medhi [
In the past, a lot of studies considered the stationary behavior of jobs in Z e x t and Z identical. Nowadays, there are re-considerations proving otherwise. For instance, Krishnamoorthi and Sreenivan [
2Similar to that of 2015 that takes oil price from 100+ USD to the neighborhood of 20+ USD.
3From principal component analysis of several factors affecting a steady state system from the exterior, policies, occupation rates and constraint size have the largest Eigen values.
Our aim is to present a methodology that studies the problem of strategies in imperfect production centers from the stationary number of jobs in the system. The most important gain is the generalization of known basic results. This extends the capacity of known results to centers with jobs of distinct characteristics. For instance, in service centers with normal jobs and constraint jobs, less time spending on jobs and delaying jobs, difficult to process jobs and easy to process jobs, etc. In this respect, our work is purely for operational research purpose geared towards best practices in centers with distinct job characteristics. We wish to provide the understanding of principal components of imperfect centers and develop optimal criteria under which production is maximized.
It turns out that3 the problem herein is that of how best the coupling of system policies (T), occupation rates ( ρ ) and available constraints c can be tackled in Z e x t .
Lemma 1 An operationally useful policy map T is necessarily compact and infinite dimensional in Z e x t .
Proof.
It is enough to show that an infinite dimensional compact operator cannot have a close range in a complete normed space.
Let Z and Z e x t be arbitrary normed spaces where Z e x t is complete. Suppose that
T : Z → Z e x t
is infinite dimensional and compact.
Suppose to the contrary that T Z is closed. Then T Z is complete.
Thus,
Z = ∪ n = 1 ∞ n B Z (3)
where B Z is the unit ball of jobs in Z.
It follows directly from (3) that
T Z = ∪ n = 1 ∞ n T B Z . (4)
Since T is compact and n T B Z is bounded, then n T B Z is compact.
Given that d i m T = ∞ ; n T B Z is nowhere dense in T Z . Hence, T Z is of the first Baire category.
This contradiction completes the prove. □
Lemma 2 Let { z n } n ≥ 0 be a job sequence in Z e x t . If { z n } n ≥ 0 has a convergent point z in Z , then the measurable policy map T such that T z n → T z is a strong job policy.
Proof. It suffices to show that if Z and Z e x t are normed job spaces, then for any { z n } n ≥ 0 ∈ Z e x t and a point z ∈ Z given that T ∈ K ( Z , Z e x t ) and z n → w z , then T z n → T z strongly.
Let y n = T z n and y = T z . We show that y n → w y . Suppose that y * ∈ Z * and define z * by
z * ( z ) = y * ( T z ) . (5)
Clearly z * is linear. Similarly, since T is compact z * is compact. Thus, z * is bounded.
Given that z n → w z , we have z * ( z n ) → z * ( a ) . Hence, y * ( T z n ) → y * ( T z ) .
Now to show the last component of the lemma, suppose that T z n does not converge to T z . Then ( T z n ) has a sub sequence ( T z n ′ ) such that ‖ T a n ′ − T a ‖ > α for some α > 0 . Since z n ′ → w z , then ( z n ′ ) is bounded. Given that T is compact, then ( T z n ′ ) has a Cauchy sub-sequence.
Consequently,
‖ T z n ″ − T z ‖ → 0. (6)
This contradiction completes the proof. □
Lemma 3 A job policy T * on Z e x t is compact if a corresponding job policy T ∈ Z is compact.
Proof. Suppose that Z is a normed space and Z e x t is a Banach space.
Furthermore, suppose that T is compact. Let ( y n * ) be a sequence in B ( Z e x t * , Z * ) . If ψ is a functional such that for any n > 0 , we have
ψ n ( y ) = ( y , y * ) (7)
Then
| ψ n ( y ) | = | ( y , y * ) | ≤ ‖ y ‖ ‖ y n * ‖ ≤ ‖ y ‖ (8)
Thus, ψ n ’s are uniformly bounded. In addition,
| ψ n ( y ) − ψ n ( y ′ ) | = | ( y − y ′ , y n * ) | ≤ ‖ y − y ′ ‖ . (9)
Thus, ψ n ’s are equicontinuous and so { ψ n ( y ) : y ∈ T B Z } is compact. This implies that there exist a sub sequence
{ ψ n ′ ( T z ) } = { ( z , T * y n * ) } (10)
which converges uniformly on B ( Z , Z e x t ) . Hence T* is compact. □
Lemma 4 Given { N } = { c } ⊕ { n } ; { c } ∩ { n } = { } ; then
E [ N ] = ρ c [ ρ + c ( 1 − ρ ) ] 1 − ρ . (11)
Proof. Denote by V ( z ) the probability generating function (PGF) for the new jobs n ∈ { N } when there are c ≥ 0 fixed constraint jobs in a system such that
V ( z ) = ∑ c ⊕ n = 0 ∞ P c ⊕ n z c ⊕ n ; n = 0 , 1 , 2 , 3 , ⋯ (12)
That means
V ( z ) = P c + P c + 1 z + P c + 2 z 2 + P c + 3 z 3 + ⋯ ; n = 0 , 1 , 2 , 3 , ⋯ (13)
And in view of (2), we have
V ( z ) = ( 1 − ρ ) ρ c + ( 1 − ρ ) ρ c + 1 z + ( 1 − ρ ) ρ c + 2 z 2 + ⋯ (14)
So that
V ( z ) = ( 1 − ρ ) ρ c z c 1 − ρ z (15)
The lemma holds upon differentiating (15) at z = 1 . □
4This is the only case the classical M/M/1 model depicts in its expectation.
It is interesting to note that if c = 0 in (11) above, then { c } ⊕ { n } = { } ⊕ { n } = { n } . Consequently, there is only one job group { n } in the system (homogenous).4 In this case, the result goes to that of a classical production center with homogenous jobs as expected.
Lemma 5 For a finite capacity imperfect production center with two distinct job groups { n } and { c } , we have
E [ N ] = ρ c [ ( 1 − ρ K ) ( c ( 1 − ρ ) + ρ ) − K ( 1 − ρ ) ρ K ] 1 − ρ (16)
Proof. In view of (2) and for N = K < ∞ , it can be shown that the PGF W ( z ) is
W ( z ) = ( 1 − ρ ) ( ρ z ) c ( 1 − ( ρ z ) K ) 1 − ρ z (17)
Differentiating (17) w.r.t z, we have
W ′ ( z ) = ( 1 − ρ z ) [ c ρ ( 1 − ρ ) ( ρ z ) c − 1 ( 1 − ( ρ z ) K ) − K ρ ( 1 − ρ ) ( ρ z ) c + K − 1 ] + ϕ ( z ) ( 1 − ρ z ) 2 (18)
where
ϕ ( z ) = ρ ( 1 − ρ ) ( ρ z ) c ( 1 − ( ρ z ) K ) (19)
Which gives
E [ N ] = ρ c [ ( 1 − ρ ) ( 1 − ρ K ) [ c ( 1 − ρ ) + ρ ] − K ( 1 − ρ ) 2 ρ K ] ( 1 − ρ ) 2 (20)
upon substituting z = 1 in (18) above. Finally, the lemma holds if (20) is rearranged and simplified. □
Corollary 6 From the numerical results (Tables 1-6 in the appendix), it is clear that
1) ρ → ρ ( c ) .
2) { N ( ρ ) } → { N ( ρ , c ) } .
Lemma 7 (First Criterion) A maximizer of the group { N } is the solution for the policy map-constraint-occupation rate problem G ( . ) such that
G ( ∂ T N , ∂ ρ N , ∂ c N , N , T , c , ρ ) = 0. (21)
Proof. We seek a solution N ( c , ρ , T ) for G ( . ) such that
G ( . ) = ∂ c N + F ( ∂ T N , ∂ ρ N , N , T , c , ρ ) . (22)
where F ( . ) is a real valued semi-linear continuous function with respect to all its arguments. (22) is equivalent to
G ( . ) = ∂ c N + ∂ T N + h ( T , c , ρ , N ) ∂ ρ N + h ¯ ( T , c , ρ , N ) . (23)
By Lemma 1, T is necessarily compact. Let T be a fixed point of G(.). Then (23) reduces to
∂ c N = − h ( c , ρ , N ) ∂ ρ N − h ¯ ( c , ρ , N ) . (24)
Consider a differentiable arc B : ρ → ρ ( c ) in the ( ρ , c ) plane such that points on B → ( ρ ( c ) , c ) .
By multivariate chain rule on the left hand side of (24), we have
d d c N ( ρ ( c ) , c ) = ∂ c N ( ρ ( c ) , c ) + ∂ ρ N ( ρ ( c ) , c ) d ρ ( c ) d c . (25)
Assuming that N ( ρ , c ) solves (21) and combining (24) and (25) and rearranging, we have
d d c N ( ρ ( c ) , c ) = ( − h ( .. ) + d ρ ( c ) d c ) ∂ ρ N ( ρ ( c ) , c ) − h ¯ ( .. ) (26)
So5 that the couple differential equations
d d ρ N ( ρ ( c ) , c ) = h ( ρ ( c ) , c , N ( ρ ( c ) , c ) ) (27)
and
d d c N ( ρ ( c ) , c ) = ( − h ¯ ( ρ ( c ) , c , N ( ρ ( c ) , c ) ) ) (28)
constitute in general a solution for G ( . ) for N ( ρ ( c ) , c ) when T is a fixed point of G ( . ) . □
Lemma 8 (Second Criterion) Any continuously differentiable solution N ( ρ , c ) for G ( . ) satisfying the first criterion above must coincide with the original solution N ˜ ( ρ ˜ ( c ) , c ) along the base curve ρ = ρ ( c ) .
Proof. Since (27) and (28) are coupled systems, only in rare cases analytic solution exists in closed form. However, if we specify an initial value for c 0 , ρ 0 and N 0 , then the existence of a unique solution pair ρ ˜ ( c ) and N ˜ ( ρ ˜ ( c ) , c ) is guaranteed. A solution N ^ ( ρ ˜ ( c ) , c ) that did not pass through the origin leading to N ˜ ( ρ ˜ ( c ) , c ) cannot be a solution for G ( . ) since it is nowhere differentiable around G ( . ) . □
Lemma 9 (Optimality Criterion) Suppose ‖ T ‖ → ‖ T max ‖ so that the constraint dependent occupation rate ρ c → ρ max ( c ) ∈ ( 0 , 1 ) . A solution N ( ρ ( c ) , c ) that passes through the origin N ˜ ( ρ ˜ ( c ) , c ) for G ( . ) is optimal a.s.
Proof. Given that ‖ T ‖ → ‖ T max ‖ , we have ρ c → ρ max ( c ) ∈ ( 0 , 1 ) . By the numerical approximation (Tables 1-6 in the appendix) N ( ρ ( c ) , c ) → N max ( ρ ( c ) , c ) . Given that G ( . ) is N ( ρ ( c ) , c ) dependent, it is then trivial. □
5 ( .. ) = ( ρ ( c ) , c , N ( ρ ( c ) , c ) ) .
There is a scope in extending our results to some special cases of the problem solved in this work. For instance, when the function h ( .. ) is independent of N or when h ( .. ) and h ¯ ( .. ) are linear or even non-linear combination of ρ and T and N. The author are grateful to all literature sources used.
There is no competing interest of any kind within the authorship of this work.
SS: Drafted the entire manuscript, provided the introductory chapter (Section 1) and proved Lemmas 1, 2, 3, 5, 7, 8 and 9 together with Corollary 6.
HM: Participated in the sequence alignment of the manuscript and provided the numerical simulations.
MLM: Participated in the design of the manuscript and proved lemma 4 under my supervision.
All authors read and approved the final manuscript.
The authors are grateful to Dr. Babangida A. Albaba; the current Rector of the Katsina State Institute of Technology and Management (KSITM) for spearing time to go through the entire thesis leading to this manuscript and for making valuable suggestions.
Sani, S., Musa, H. and Malumfashi, M.L. (2017) Criteria for Maximizing Jobs in Imperfect Production Centers. Applied Mathematics, 8, 1257-1266. https://doi.org/10.4236/am.2017.89094
For a numerical approximation, we study the model in (11) under various sizes of constraint numbers c and varying occupation rate ρ for E [ N ] . The following numerical results are obtained.
S / N | ρ | E [ N ] |
---|---|---|
1 | 0.1 | 0.1111111 |
2 | 0.5 | 1.0000000 |
3 | 0.7 | 2.3333333 |
4 | 0.8 | 4.0000000 |
5 | 0.9 | 9.0000000 |
6 | 0.99 | 99.000000 |
7 | 0.999 | 999.00000 |
8 | 0.9999 | 9999.0000 |
9 | 0.99999 | 99999.000 |
10 | 0.999999 | 999999.00 |
S / N | ρ | E [ N ] |
---|---|---|
1 | 0.5 | 0.0107422 |
2 | 0.65 | 0.1596297 |
3 | 0.75 | 0.7320757 |
4 | 0.8 | 1.5032386 |
5 | 0.85 | 3.0843657 |
6 | 0.9 | 6.6248904 |
7 | 0.99 | 98.577647 |
8 | 0.999 | 998.95528 |
9 | 0.9999 | 9998.9955 |
10 | 0.99999 | 99998.999 |
S / N | ρ | E [ N ] |
---|---|---|
1 | 0.75 | 0.0347842 |
2 | 0.80 | 0.1593799 |
3 | 0.85 | 0.6823583 |
4 | 0.89 | 2.1310988 |
5 | 0.90 | 2.8361402 |
6 | 0.95 | 12.908988 |
7 | 0.97 | 27.462288 |
8 | 0.99 | 96.820943 |
9 | 0.999 | 998.75077 |
10 | 0.9999 | 9998.9747 |
S / N | c | E [ N ] |
---|---|---|
1 | 0 | 1.000000 |
2 | 3 | 0.500000 |
3 | 5 | 0.187500 |
4 | 7 | 0.062500 |
5 | 9 | 0.019531 |
6 | 10 | 0.010742 |
7 | 11 | 0.005859 |
8 | 13 | 0.001709 |
9 | 14 | 0.000916 |
10 | 15 | 0.0004883 |
S / N | c | E [ N ] |
---|---|---|
1 | 0 | 3.000000 |
2 | 5 | 1.898436 |
3 | 10 | 0.7320757 |
4 | 15 | 0.240542 |
5 | 20 | 0.072938 |
6 | 25 | 0.021071 |
7 | 30 | 0.005893 |
8 | 35 | 0.001610 |
9 | 40 | 0.000432 |
10 | 45 | 0.000115 |
S / N | c | E [ N ] |
---|---|---|
1 | 0 | 9.000000 |
2 | 5 | 8.266860 |
3 | 10 | 6.624890 |
4 | 15 | 4.941387 |
5 | 20 | 3.525723 |
6 | 25 | 2.440853 |
7 | 30 | 1.653255 |
8 | 35 | 1.101388 |
9 | 40 | 0.724263 |
10 | 45 | 0.471310 |