CC BY
71
Vestn. Samar. Gos. Tekhn. Univ., Ser. Fiz.-Mat. Nauki
[J. Samara State Tech. Univ., Ser. Phys. Math. Sci.], 2018, vol. 22, no. 3, pp. 518-531 ISSN: 2310-7081 (online), 1991-8615 (print) d http://doi.org/10.14498/vsgtu1633
Mathematical Modeling, Numerical Methods and Software Complexes
MSC: 90B30, 60J27, 93E20, 90B36, 68M20, 60G44, 60G55
Stochastic models of simple controlled systems just-in-time
A. A. Butov, A. A. Kovalenko
Ulyanovsk State University,
Faculty of Mathematics and Information technologies,
42, L. Tolstoy st., Ulyanovsk, 432017, Russian Federation.
Abstract
We propose a new and simple approach for the mathematical description of a stochastic system that implements the well-known just-in-time principle. This principle (abbreviated JIT) is also known as a just-in-time manufacturing or Toyota Production System.
The models of simple JIT systems are studied in this article in terms of point processes in the reverse time. This approach allows some assumptions about the processes inherent in real systems. Thus, we formulate and solve some, very simple, optimal control problems for a multi-stage just-in-time system and for a system with the bounded intensity. Results are obtained for the objective functions calculated as expected linear or quadratic forms of the deviations of the trajectories from the planned values. The proofs of the statements utilize the martingale technique. Often, just-in-time systems are considered in logistics tasks, and only (or predominantly) deterministic methods are used to describe them. However, it is obvious that stochastic events in such systems and corresponding processes are observed quite often. And it is in such stochastic cases that it is very important to find methods for the optimal management of processes just-in-time. For this description, we propose using martingale methods in this paper. Here, simple approaches for optimal control of stochastic JIT processes are demonstrated. As examples, we consider an extremely simple model of rescheduling and a method of
Research Article
3 ©® The content is published under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/) Please cite this article in press as:
Butov A. A., Kovalenko A. A. Stochastic models of simple controlled systems just-in-time, Vestn. Samar. Gos. Tekhn. Univ., Ser. Fiz.-Mat. Nauki [J. Samara State Tech. Univ., Ser. Phys. Math. Sci.], 2018, vol. 22, no. 3, pp. 518-531. doi: 10.14498/vsgtu1633. Authors' Details:
Alexander A. Butov http://orcid.org/0000-0002-8322-9892
Dr. Phys. & Math. Sci., Professor; Head of Dept.; Dept. of Applied Mathematics;
e-mail: butov.a.a@gmail.com
Anatoly A. Kovalenko © http://orcid.org/0000-0003-3820-9785
M. Sc.; Postgraduste Student; Dept. of Applied Mathematics; e-mail: anako09@mail.ru
controlling the intensity of the production process, when the probability of implementing a plan is not necessarily equal to one (with the corresponding quadratic loss functional).
Keywords: modeling, martingale, intensity, optimization, rescheduling, just-in-time.
Received: 9th July, 2018 / Revised: 12th August, 2018 / Accepted: 3rd September, 2018 / First online: 7th September, 2018
Introduction. In this paper, we consider some stochastic models of simple just-in-time systems. The well-known principle of just-in-time system (abbreviated as JIT system) is used in many areas. Examples include just-in-time production systems (see [1,2] and references therein), pedagogical strategies of just-in-time teaching (often abbreviated to JiTT; see, e.g., [3,4]), and just-in-time compilation methods in computer programming (see [5,6]). It should be noted that at present mathematical, especially stochastic, models for JIT systems are not sufficiently developed. Such models are necessary for solving optimal control problems, which could allow optimizing the allocation of system resources and implementing optimal planning of a stochastic JIT system. The purpose of this article is to present an approach to the stochastic description of JIT systems, which would be suitable for both analytical methods and computer simulation. Mathematical models of such systems should allow assuming that the trajectories of processes must take the given values at a fixed time. Such behavior of processes is known in stochastic bridges and stochastic processes in the reverse time. Thus, we should consider models of systems with the requirement of JIT in terms of processes with the behavior of trajectories close to stochastic bridges. Models should also allow investigating possible violations of this requirement that are unavoidable for real systems.
The time reversal of stochastic processes has been studied for many years. For example, see [7-10] and references therein. We note that a number of works related to stochastic bridges (for example, the Brownian bridge, the Poisson bridge, also known as the Poisson bridge), is devoted to the investigation of these processes. In addition, some works on reversible Markov processes adjoin process descriptions in reverse time (see, e.g., [11]). In this article, we study models of simple JIT systems in semimartingale terms for point processes close to the Poisson bridge mentioned above. Here we allow some assumptions about the processes inherent in real systems. Thus, simple cases of multi-stage JIT systems and a system with bounded intensity are investigated. As shown, for these cases simple optimal control problems can be formulated and solved. The proofs of the results utilize the semimartingale technique.
1. Time reversal method for a simple JIT system. Consider a JIT system that can be described in terms of point (counting) processes. We assume that in the system some integer number K of operations must be performed to a fixed time T > 0 (starting from the zero moment). This means that at each time t £ [0, T] the number of remaining operations Xt, is equal to the number K minus the value Nt, of some counting process N = (Nt)t^o : Xt = K — Nt,. That is, the jumps of this process N are such that their total number at time T is exactly
K. A formal description of such a process X in the simple case corresponds to a Poisson process in reverse time, provided that its value at time T is exactly K (or to the Poisson bridge N, see, e.g., [8,10,12]).
We now give a formal description of the mathematical model. Let (Q, F, P) be a probability space populated with a nondecreasing right-continuous family of a-algebras F = (Ft)t^o, complete with respect to P (i.e., the conditions of [13] hold). On the stochastic basis B = (Q, F, F = (Ft)t^0, P) the process X = (Xt)t^0 is supposed to be the point process with trajectories in the Skorokhod space, Xt e No = {0,1,2,... } and AXt = Xt - X— e {-1,0} (see, e.g., [14-16]). The process X can be represented as a difference:
X = X0 - N = K - N,
where N = (Nt)t^0 is the counting process of the number of negative jumps of X, with the initial value X0 = K > 0 (i.e., K e N = {1,2,... },N0 = 0, and Xt = K - Nt, for all t ^ 0). We suppose that the submartingale N and supermartingale X on B admit the well-known Doob-Meyer decompositions (see, e.g., [13]):
Nt = Nt + m?, Xt = jit - m? (1)
with the compensators N = (Nt)t^0 and X = (Xt)t^0, and the square-integrable martingale mN = (m?)t^0 with the quadratic characteristic
{mN)t = Nt for all t ^ 0.
We also suppose in this article that
r* 1
Nt = / (K - Ns) ----I{s<t} ds, (2)
J0 1 - s
where !{•} is an indicator function (i.e., I{true} = 1, I{false} = 0). From (1) and (2) it follows that the process X has the decomposition:
ft 1
Xt = K - Xs —--I{s <t} ds - mN. (3)
J0 1 - s
In the general case, for the basic model we assume that the point process X admits the representation:
Xt = K - / hs ds + mf. (4)
J 0
with the intensity of negative jumps h = h(X) = (ht(X))t^0 and the martingale mx = (mf)t^0. In the particular case (3), the following equality holds:
ht = ht(X)= Xt ■ I{s<t}/(T - s), (5)
and mx = -mN, i.e. mx = -mN for all t ^ 0.
It is well known that the compensator of the point process defined by formula (2) corresponds to the bridge of a Poisson process, [12]. We also should recall
the results of [7,8]. Consider a standard Poisson process tt = (^s)se[0,T] on the stochastic basis B with the initial value tt0 = 0 and any positive intensity A > 0. Let F0 = vi^s : T — t < s < T} for t £ [0,T], Fj0 = F0 for t > T, and nondecreasing family a-algebras F = (Ft)t^0 be the right continuous completion of (F0)t^0. Define the reverse time supermartingale Y = (Yt)t^0 as Y = ttt-t for t £ [0, T] and Yt = k0 = 0 for t > T. Then Y is F-adapted and it has the decomposition (as it easily follows, from Theorem 2.6 in [8]):
ft y
Yt = irT — I{s<t} ds + mY, (6)
J0 1 — s
where mY = (mj)t^0 is a square-integrable martingale with the quadratic characteristic
i Y
(mY)t = ■ I{s<t} ds.
J o 1 — s
T — s
The comparison of (3) and (6) illustrates the fact known for bridge processes: the representation of the process X = K — N (with the initial value K and the Poisson bridge N) coincides with the reverse time representation Y of the Poisson process K (with any strictly positive intensity A) under the condition for the initial value Y0 = kt = K. Thus, we can consider the behavior of the trajectories of the process X with X0 = K and Xt = 0 for t ^ T as the embodiment of the just-in-time requirement. Therefore, the main idea of the presented description of JIT systems is the realization of the corresponding behavior of trajectories by means of proper control of h = (ht)t^0, which is the intensity of the negative jumps of X in the base model (4). This intensity can be regarded as a negative feedback tending to as t ^T in the case of nonzero Xt. Note that in (6) it does not directly depend on the intensity A of the initial process n.
The distribution of the main process X in (4) is determined by the intensity of the negative jumps h, which in the particular case of (5) depends on the values of K and T > 0. Along with X, we define for the base model (4) the auxiliary functions for EXt, EXt2 and E(Xt — Rt)2 = Gt — R^ (i.e., for the mean, the second moment, and the variance of X, respectively). For the functional h = h(X) of general form in (4), and the initial value K, it is assumed that
Rt = Rt(K; h) = EXt, Gt = Gt(K; h) = EXt2, Vt = Vt(K; h) = E(Xt — Rt)2. (7)
In the particular case (5), these functions depend only on the values of t, K, and T. Therefore, for (5) we use the notations:
rt(K; T) = Rt = E(Xt\X0 = K;Xt = 0), (8)
gt(K; T)=Gt = E(Xt2|X0 = K;Xt = 0), (9)
vt( K; T) = Vt = E((Xt — Rt)2\X0 = K ;Xt = 0) = gt(K ;T) — rt(K ;T )2. (10)
Lemma 1. For the functions (8), (9) and (10) defined for X in (4) with the intensity (5), we have
T — t
n( K; T )=K • — • I{t ^T}, (11)
gt(K; T) = (K ■ ^)2 ■ I{t < T} + K ■ (T -f '* ■ I{t < T}, (12) vt(K; T) = K ■ (T -2 '1 ■ I{i < T}. (13)
2. Problems of optimal planning for a multi-stage JIT process.
Consider a model of simple multi-stage JIT systems in terms of the proposed description. We assume that it is a set of separate processes in reverse time (or bridges of corresponding processes) with a single aggregate plan. This section presents a simple solution to the problem of the optimal times for changing the stages for the model. In the cases considered here, the mean-square deviations of the trajectories from the planned values are minimized. In addition, we consider the problem of optimal rescheduling for the case of two stages and for its multistage generalization.
2.1. Separate processes in reverse time. Let us consider optimal control problem for the following scheduling model. Let the execution of (K + 1) operations in time T be subdivided into n e N stages: every successive K(i) operations must be performed in stage i, which lasts the time q (i), for all i = 1,2,...,n. The following conditions for the time and number of operations must be fulfilled:
n
E < (') = T, (14)
i=1 n
E K №= K. (15)
i=1
We also define the condition for the uniformity of the operations:
K (i) = K (i) ■ q (i)/T for all i = 1, 2,...,n. (16)
Thus, the model of this JIT system is a set of separate processes in reverse time (or of proper bridges). Suppose that we must insure the uniform fulfillment of the plan q = {^(1), q(2),..., q(n)} in the sense of (16), minimizing the weighted variance of the deviation from it.
We consider the problem of finding an optimal plan
= {?*(1),<;*(2),... ,q*(n)}
for which
$(q*) =inf$(q), (17)
?
where the objective function is the sum of weighted variances (10) for the processes in (4) with initial values K (i) and times of performance q (i),i = 1,2,... ,n:
= V a(i) • vt(K(i),q(i)) ds (18)
i=i J°
under conditions (14) and (15), and for strictly positive weights:
a(i) > 0 for all i = 1,2,...,n. (19)
Theorem 1. For the plan that minimizes the objective function $(<i),
-1/2
( n ï-1/2
ç*{ i )=T -<a{i) -n 1/a{j)\ for all i = 1,2,...,n. (20)
I j=1 )
Remark 1. Theorem 1 implies the trivial consequence that for equal weights the equal times are optimal: for a(1) = a(2) = ... = a(n) > 0,
q*(i) =T/n for alii = 1, 2,...,n. (21)
2.2. The problem of optimal rescheduling for a two-stage JIT process. As it follows from (21), for n = 2, in the case of equal weights, it then holds that
<^*(1)= q*(2)=T/2. (22)
However, in real systems, along with a priori stage planning, a procedure for reviewing the plan during its implementation is encountered - rescheduling. In this case, the operations of the JIT system are performed in accordance with the intensity of the process in (3) for planned initial value K and planned time T for t £ [0, a], a £ [0,T], where a is rescheduling time. Thus in the first stage, for t £ [0, a], the initial plan with the values of K and T is carried out. At time a, the following re-planning procedure is implemented. The second stage is fulfilled on the time interval [ a, T]. Here, after rescheduling, the initial value of the number of operations Xa, and the new execution time (T — a) are set in the interval [a,T] for the new process in the reverse time. For this model of rescheduling for the JIT system, the task is to find a time point a that minimizes the integral standard deviation from the original plan in the first stage and the deviation from the new plan in the second stage. Thus, we consider the problem of finding an optimal value a* for which
tf(<7*) =inftf(<7), (23)
a
where the objective function a) is the integrated variance (7) for the intensity h = h(X) is equal to
*(*)=[ Vt(K-, h)ds. (24)
o
0
Here the intensity for the rescheduling is equal to
where
ht{X) = h(t1)(X) ■ I{i G [0, a)} + h(2\x) ■ I{i e [a, T)}, (25)
h{t 1){X ) = Xt/{T - t), h{t 2) {X ) = Xt/{T -a - t). (26)
Lemma 2. For the time a that minimizes the objective function ^(a),
a* = T/3. (27)
Remark 2. Note that a* = <j*(1) where <i*(1) is defined in problem (17), and for which (22) holds for n = 2.
2.3. The problem of recurrent rescheduling for a multi-stage JIT process. The procedure for rescheduling presented in Subsection 2.2 is determined a priori - at the time t = 0. It is an intensification - an optimal increase in intensity at any stopping time u. If there are no restrictions on intensification in the system, then such a procedure after a stopping time «(1) = a can be repeated at a stopping time u(2) > «(1), etc. The procedure for rescheduling (or re-planning) can be pre-established for all i e N. However, if for some number j,Xu(j) = 0, then ht(X) = 0 for all t ^ u(j). And therefore, the implementation of rescheduling is meaningless for all numbers i ^ j, that is, after the process X reaches zero. Let t = t(w), w e Q, be the he Markov stopping time on the stochastic basis B at which X reaches zero:
t = inf {t> 0: Xt = 0} (where inf {0} = +x>).
Then the number of all possible rescheduling procedures for the process X is equal to
J{X} = E I{u(i) <r}. (28)
i=1
Thus, any set for the sequential stopping times of rescheduling procedures is u = {u(1),..., u(J (X))}, 0 < u(1) < u(2) < ■■■ < u(i) < ■■■ < u(J (X)) < T.
Consider the problem of finding such an optimal set u* = {u* (1),... ,u* (J (X))} of recurrent stopping times of re-planning at u*(i),i ^ J(X), for which
r(u*) =infr(u). (29)
u
In (29), the objective function r(a) is the integrated variance (7) for the intensity
h = h(x):
r(u) = I Vt(K; h) ds, J 0
where the intensity h = h(X) = (h(X))t^0 is defined by the number J(X) from (28), and by the set «. In addition, we define auxiliary stopping times u(0) = 0, and u(J(X) + 1) = T. Then, in order to generalize the definition (25)-(26) of the function ht(X), to the case of successive (multi-stage) re-planning, we obviously use the following expression:
J(x) _i ht(X)= Xt ■ I{t<T}■ E (T - u(i) - i) ■ I{u(i) <t < u(i + 1)} (30)
=0
For this model of the JIT system without restrictions on the intensification, Lemma 2 implies the following result.
Theorem 2. For the .set u* of rescheduling times, which minimizes the objective function r(u),
u*(i) = T ■ (1 - (2/3)^ for all i = 1, 2,..., J (X). (31)
Remark 3. Note that this optimal plan is finite and has the stochastic time u*(J(X)) of the last rescheduling.
3. The problem of the optimal level of resources of a simple system with possible violations of the condition. In this section, we consider some assumptions about violations of the JIT condition in processes inherent in real systems. Thus, we assume that the intensities of point processes can be bounded. We note that such a representation of the process X in (4) does not correspond to the time reversal procedure for a point process with fixed initial value. Nevertheless, such a representation in terms of point processes is useful for describing a controlled system with a violation of the condition of JIT. For such a model, the task of optimal control arises - to find the value of the maximum level of intensity of the point process for each operation under conditions of payment for the value of this boundary, and payment for non-compliance with the JIT requirement. We suppose that the intensity h in (4) can be represented as
ht = ht(X) = Xt • min{A, I{t < T}/(T — t)}, (32)
where A £ [0, x) is a finite maximum level of intensity for each operation. Under this assumption for h, the JIT-condition Xt = 0 may not hold, and obviously P{cc : Xt(cv) ^ 1} > 0 and EXt > 0. We assume that the payment for this violation of the JIT condition is proportional to the mean value of the number of uncompleted operation EXt. The coefficient of proportionality is denoted by a. The greater the upper level A, the smaller the value of EXt and the closer to the fulfillment of the JIT requirement. Since the resources of the real system provide the level A, it also has a certain positive cost with a proportionality factor of 0. Moreover, A can serve as a control parameter in the system (4).
Thus, we consider the problem of optimal control of the process X in (4) for fixed K £ N and T > 0, and under the assumption (32) for h. It is necessary to find an optimal value A* for which the problem is analogous to the problems (17), (23) and (29):
0(A*) = inf 0(A), (33)
where the objective function 0(A) is equal to
0(A) = a • EXt + P • A (34)
under the conditions:
a > 0,p> 0. (35)
Theorem 3. For the maximum intensity level, which minimizes the objective function 0(A),
and
A* A*
A*
/
a K p ■e-T
0
if a K ■T/p G {0,1]
[ e, +(x>), (36;
{1, ), (37;
{0,1]. (3s;
Remark 4. As can be seen from the proof of the theorem, the coefficients a and P can be regarded as functions of the time T. In this case the statement of the
theorem remains true with the replacement of a by a(T), and ft by ft(T). Thus, for the case of the objective function
Q(A) = a ■ EXT + 7 ■ A ■ T (39)
under conditions (35) for a and ft = ft(T) = 7 ■ T, the problem (40) (which is the (33) analog)
Q(A*) = inf Q(A) (40)
has similar to (36), (37) and (38) solutions. Thus, for the level of intensity that minimizes the objective function Q(A),
A * = /T if a ■ K/j e [e, +<x>),
V 7 ■ e
A * = [log(a ■ K/i)]/T if a ■ K/j e (1, e),
and
A * = 0 if a ■ K/i e (0,1].
Note that (39) (which is the (34) analog) is interesting for the models of systems with payments for maximum level of resources, proportional to the time of their reservation.
4. Proof of the results.
4.1. Proof of Lemma 1. From (3) and (8), it follows that for all K e N, T > 0, and t ^ 0
r* 1
rt(K; T)= K - rs(K; T) ----I{s < t} ds. (41)
Jo 1 - s
From (41) we obtain (11). Then, from (3), (9) and the Ito formula, it follows that for all t ^ 0
ft 1 x
gt(K; T)= K2 - 2 J gs(K; T) ■ ^ ■ I{s<t} ds + - ■ t.
which results in (12). From (11) and (12) and the equality
vt(K,T)= gt(K,T) - rt(K,T)2
we obtain (13). □
4.2. Proof of Theorem 1. To prove (20), we consider the sequence of functions vt(K(i); q(i)), i = 1,... ,n. From (13) and the equality (16), we obtain
r^ ...... ....... 1 K
f^v 1 K 2
vt(K; q(i)) dt = K(i) ■ q(i)/6 = ^ ■ - ■ q(i)2
---c ^^ 2
>0 6 which gives (18) with constants (19):
1 x
*® = 6 ■ T ■T, a(-%) ■ '(%)2. (42)
6 T
It is clear that ^n=1 a(i) •s(i)2 = (^a(i) . Hence, from the Cauchy-
Bunyakovsky-Schwarz inequality and the equality (14), it follows that
' Q ' 1 O ' O
se) > (?>))
Î=1 Î=1 V W J=1
1
/ra{
=1
which results in the inequality
K • T
m > t-^Wi) ■ (43)
Then, from (42) and the representatuin (20), it follows that
K ■ T
$(?) = n . (44)
6 • 2^=1 1/a(J)
From (43) and (44), we conclude that <T* = {£*(1),..., *i*(n)} minimizes the objective function $(?). □
4.3. Proof of Lemma 2. From (24), (25) and (26), it follows that
pa fT—a
*(<r)= vt(K;T)dt +/ vt(ra(K;T),T — a) dt. Jo Jo
Therefore, from (11) and (13) of Lemma 1, we obtain
K
®(<r) =-o(T3 — 2 •T2 • a + 4 • T • a2 — 2 • a3). (45)
6 • T2
Note that V(a) < V(T) = K • T/6 for a £ (0,T). The value of a* in (23) and (45) is easy to calculate from the requirement dV(a)/da = 0, which results in the equality (27). For the objective function, we have V(a*) = (19/27) • (K • T/6). Thus, Lemma 2 is proved. □
4.4. Proof of Theorem 2. It follows from (30) and Lemma 2 that for each successive rescheduling with the number i ^ 1 the process X evolves in accordance with the model of Subsection 2.2, but with the initial value of Xu^) and in the time interval [u(i),T] with the length (T — u(i)). Hence, from (27) we obtain that u(i + 1) — u(i) = (T — u(i))/3, which implies that (31) is true. □
4.5. Proof of Theorem 3. From (4), (7) and (32), it follows that
Rt(K; h) = K — i RS(K; h) • min{A, I{s < T}/(T — s)} ds.
o
Denote U = T — 1/A, for which A = 1/(T — U). Then, from (7) and (11), it follows that for A ^ 1/T, EXt = Rt'(K; h) = Rt—u(EXu;X • A). Hence, EXt = Rt—u {ru (K,T );X •A) = Rm(K/(T • A);X • A) = exp{—1} -K/(T- A). For A £ [0,1/T), we have EXt = K ^exp{—A^T}. Therefore, for 0(A) from (34), we obtain
0(x) a K (I{A ^ 1/T} + I{A £ [0,1/T]}N (46)
0(A) = a^K\ e.T. a + exp{A-T} ) A (46)
The value of A* in (33) can be easily calculated from (46) and from the requirement d0(A)/dA = 0, taking into account the cases a ■ K ■ T/ft e [e, +rc>), a ■ K ■ T/ft e (1,e) and a ■ K ■ T/fj e (0,1]. □
5. Discussion. The main purpose of this article is to show the possibilities of using of the time reversal approach in problems concerning just-in-time. We demonstrate simple methods for optimizing JIT systems, for the case of a point (counting) process, represented in semimartingale terms. We also note that the statements of Theorem 1, Lemma 2, and Theorem 2 are valid in the case of a random walk in reverse time (Lemma 1 and Theorem 2 remain true if the coefficients are properly replaced). In this case, the semimartingale representation methods and optimal control problems are close to that of [17]. In the case of nonstationary processes in direct time, the results are also anticipated. Finally, note that the method of representing JIT systems discussed in the article in terms of predictable semimartingale characteristics creates opportunities for simple and clear computer modeling. Obviously, the simulation is easy to implement on the basis of the infinitesimal relation for X : P(AXt = Xt+A - Xt = -1\F} = ht(X) ■ A + o(A) as A ^ 0, for all t ^ 0.
Thus, it follows that the discussed approach can serve as an initial step for the analysis of stochastic JIT systems.
Competing interests. We have no competing interests.
Authors' contributions and responsibilities. Each author has participated in the article concept development and in the manuscript writing. The authors are absolutely responsible for submitting the final manuscript in print. Each author has approved the final version of manuscript.
Funding. The research of the first author was partially supported by the Research Project No. 2.1816.2017/PP of Ulyanovsk State University (Ministry of Education and Science of the Russian Federation).
References
1. Sugimori Y., Kusunoki K., Cho F., Uchikawa S. Toyota production system and kanban system materialization of just-in-time and respect-for-human system, Int. J. Prod. Res., 1977, vol.15, no. 6, pp. 553-564. doi: 10.1080/00207547708943149.
2. Yavuz M., Akgali E. Production smoothing in just-in-time manufacturing systems: a review of the models and solution approaches, Int. J. Prod. Res., 2007, vol.45, no. 16, pp. 35793597. doi:10.1080/00207540701223410.
3. Killi S., Morrison A. Just-in-Time Teaching, Just-in-Need Learning: Designing towards Optimized Pedagogical Outcomes, Universal Journal of Educational Research, 2015, vol. 3, no. 10, pp. 742-750. doi: 10.13189/ujer.2015.031013.
4. McGee M., Stokes L., Nadolsky P. Just-in-Time Teaching in Statistics Classrooms, Journal of Statistics Education, 2016, vol.24, no. 1, pp. 16-26. doi: 10.1080/10691898.2016. 1158023.
5. Aycock J. A brief history of just-in-time, ACM Computing Surveys, 2003, vol.35, no. 2, pp. 97-113. doi: 10.1145/857076.857077.
6. Pape T., Bolz C. F., Hirschfeld R. Adaptive just-in-time value class optimization for lowering memory consumption and improving execution time performance, Science of ComputerProgramming, 2017, vol.140, pp. 17-29. doi: 10.1016/j.scico.2016.08.003.
7. Elliott R. J., Tsoi A. H. Time reversal of non-Markov point processes, Ann. Inst. Henri Poincare, 1990, vol.26, no. 2, pp. 357-373, https://eudml.org/doc/77383.
8. Jacod J., Protter P. Time Reversal on Levy Processes, Ann. Probab., 1988, vol.16, no. 2, pp. 620-641. doi: 10.1214/aop/1176991776.
9. Föllmer H. Random fields and diffusion processes, In: Ecole d'Eté de Probabilités de Saint-Flour XV-XVII, 1985-87, Lecture Notes in Mathematics, 1362; eds. PL. Hennequin. Berlin, Heidelberg, Springer, 1988, pp. 101-203. doi: 10.1007/BFb0086180.
10. Privault N., Zambrini J.-C. Markovian bridges and reversible diffusion processes with jumps, Annales de l'I.H.P. Probabilités et statistiques, 2004, vol. 40, no. 5, pp. 599-633. doi: 10. 1016/j.anihpb.2003.08.001.
11. Longla M. Remarks on limit theorems for reversible Markov processes and their applications, J. Stat. Plan. Inf., 2017, vol.187, pp. 28-43. doi: 10.1016/j.jspi.2017.02.009.
12. Conforti G., Léonard C., Murr R., Roelly S. Bridges of Markov counting processes. Reciprocal classes and duality formulas, Electron. Commun. Probab., 2015, vol. 20, no. 18, pp. 1-12. doi:10.1214/ECP.v20-3697.
13. Dellacherie C. Capacités et processus stochastiques. Berlin, Springer-Verlag, 1972, ix+155 pp.
14. Butov A. A. Some estimates for a one-dimensional birth and death process in a random environment, Theory Probab. Appl., 1991, vol. 36, no. 3, pp. 578-583. doi: 10.1137/1136067.
15. Butov A. A. Martingale methods for random walks in a one-dimensional random environment, Theory Probab. Appl., 1994, vol.39, no. 4, pp. 558-572. doi: 10.1137/1139043.
16. Butov A. A. Random walks in random environments of a general type, Stochastics and Stochastics Reports, 1994, vol.48, pp. 145-160. doi: 10.1080/17442509408833904.
17. Butov A. A. On the problem of optimal instant observations of the linear birth and death processes, Statistics and Probability Letters, 2015, vol. 101, pp. 49-53. doi: 10.1016/j.spl. 2015.02.021.
Вестн. Сам. гос. техн. ун-та. Сер. Физ.-мат. науки. 2018. Т. 22, № 3. С. 518-531
ISSN: 2310-7081 (online), 1991-8615 (print)
d http://doi.org/10.14498/vsgtu1633
УДК 519.876.2:519.217.8
Стохастические модели простых управляемых систем точно-в-срок
А. А. Бутов, А. А. Коваленко
Ульяновский государственный университет, факультет математики и информационных технологий, Россия, 432017, Ульяновск, ул. Льва Толстого, 42.
Аннотация
Мы предлагаем новый и простой подход для математического описания стохастической системы, которая реализует известный принцип точно-в-срок. Этот принцип (сокращенно JIT) также известен как точ-но-в-срок мануфактура или Производственная система Toyota.
Модели простых JIT-систем изучаются в этой статье в терминах точечных процессов в обратном времени. Такой подход позволяет допустить некоторые предположения о процессах, наблюдаемых в реальных системах. Так, в настоящей работе мы формулируем и решаем некоторые очень простые задачи оптимального управления для многостадийной системы точно-в-срок и задачи для системы с ограниченной интенсивностью обслуживания. Результаты получены для целевых функций, представляющих собой математические ожидания линейных или квадратичных форм отклонений значений траекторий от запланированных величин. Доказательства утверждений основаны на использовании мартингальных методов. Часто системы точно-в-срок рассматриваются в логистических задачах, и для их описания при этом используются только (или преимущественно) детерминистические методы. Однако очевидно, что случайные события в таких системах и соответствующих процессах наблюдаются довольно часто. И именно в таких стохастических случаях очень важно найти методы для оптимального управления процессами точно-в-срок. Для такого описания мы предлагаем в этой статье использовать мартингальные методы. Здесь показаны простые подходы к оптимальному управлению стохастическими JIT-процессами. В качестве примеров мы рассматриваем чрезвычайно простую модель перепланирования и метод управления интенсивностью производственного процесса, когда вероятность реализации плана необязательно равна единице (с соответствующим квадратичным функционалом потерь).
Научная статья
3 ©® Контент публикуется на условиях лицензии Creative Commons Attribution 4.0 International (https://creativecommons.org/licenses/by/4.0/deed.ru) Образец для цитирования
ButovA. A., KovalenkoA. A. Stochastic models of simple controlled systems just-in-time, Vestn. Samar. Gos. Tekhn. Univ., Ser. Fiz.-Mat. Nauki [J. Samara State Tech. Univ., Ser. Phys. Math. Sci.], 2018, vol. 22, no. 3, pp. 518-531. doi: 10.14498/vsgtu1633.
Сведения об авторах
Александр Александрович Бутов Ä http://orcid.org/0000- 0002- 8322- 9892 доктор физико-математических наук, профессор; заведующий кафедрой; кафедра прикладной математики; e-mail:butov.a.a@gmail.com
Анатолий Александрович Коваленко © http://orcid.org/0000-0003-3820-9785 магистр; аспирант; кафедра прикладной математики; e-mail: anako09@mail.ru
Ключевые слова: моделирование, мартингал, интенсивность, оптимизация, перепланирование, точно-в-срок.
Получение: 9 июля 2018 г. / Исправление: 12 августа 2018 г. / Принятие: 3 сентября 2018 г. / Публикация онлайн: 7 сентября 2018 г.
Конкурирующие интересы. Мы не имеем конкурирующих интересов. Авторский вклад и ответственность. Все авторы принимали участие в разработке концепции статьи и в написании рукописи. Авторы несут полную ответственность за предоставление окончательной рукописи в печать. Окончательная версия рукописи была одобрена всеми авторами.
Финансирование. Работа первого автора была частично поддержана Исследовательским проектом № 2.1816.2017/ПЧ Ульяновского государственного университета (Министерство образования и науки Российской Федерации).
