• 検索結果がありません。

故障のある機械におけるスケジューリング問題

N/A
N/A
Protected

Academic year: 2021

シェア "故障のある機械におけるスケジューリング問題"

Copied!
4
0
0

読み込み中.... (全文を見る)

全文

(1)

故障のある機械における

スケジューリング問題

木島正明

1 ¥11111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111¥111111111111111111111111111111111111111111111¥11111111111111¥1¥111¥11¥1111111111111111111111111111111111111"'111111¥11¥1111¥111111¥11111¥11¥11111 本制では台の機械により仕事を処理する場合に, どのようにして, 処理すべき仕事を選ぶかと L 、う問題

(single-machine scheduling

problem) を考える.こ

の問題を扱っている多くの論文では,機械は時間に関し て同ーの処理能力で,連続的に稼働するものと仮定され ている.しかし,この仮定は実際問題においては,非現 実的であると言わざるをえない. なぜならば機械は 稼働中に故障を起こし修理または取り替えによって再 び稼働状態に戻る J というサイクルを繰り返すからであ る.また,時間により違う処理能カを持っていると考え た方が,より現実的である場合が多い.たとえば,機械 は動いては L 、るが,時間とともに,摩耗・劣化によりそ の能力が衰える場合や,修理してもその性能が完全には 回復しない場合などがある日. 逆に,初期故障を起こす 原因が徐々に取り除かれてゆき,使用とともにより高い 性能が発俸されると L 、う場合もある.このような,より 現実に近い仮定の下でのスケジューリング問題を扱った 論文が,最近少しずつ発表されているので,本稿では, 最近の結果のサーベーを行なってみたい.これまでこの 問題があまり扱われていなかった最大の原因は,その難 しさであるが, なぜこの問題が難しいのかということ も,例を通して考察してみたい.

1

.

問題の定式化:

R(t) を時点 t における, この機械の処理率とする.

つまり,時間区間 [a, bJ の聞には, lR(x)dx という要

α 求量の処理をすることができる.区間 [a , bJ のすべての 時点で R(t)=O ならば,この機械は区間 [a, bJ で故障し ていると考える.ここでは , R(t) は時間とともに確率的 に変動しているとする幻.特に R(t) が 0 か l しかとらな し、場合を,文献 [1 , 2, 3, 5 , 6 , IIJ などでは,故障 (break­ down) モデルと呼んで‘いる. きじま まさあき筑波大学経営システム科学 干 112 文京区大塚 3-29-1 1991 年 4 月号 いま,最初の時点(時点 0 とする)で K偲の仕事があ り Sk を仕事 h の処理要求時闘を表わす確率変数とす る.要求時間の列 {Sk} は互いに独立であり , {R(t)} と も独立とする.さらに,これらの確率構造は,どのよう なスケジューリングをしたかには依存しないとする.こ こでは簡単のために,新しい仕事は到着しないと仮定し よう.到着がある場合には,待ち行列の範略で議論され る.サーパーに故障のある待ち行列を扱った文献は,たと えば [8 , 12J などであるが,根本的なアイデアは文献[7] による.また,割り込みを許さない政策的のみを考える ことにする. 機械は同時に 1 つの仕事しか処理できないとし,処 理しないと L 、う政策は考えないことにする". さらに, μ k-1=E[Sd< ∞と仮定する.すべての仕事の処理を終 了する時点を表わす確率変数を T とする r は処理要求 時間の総量を表わし,どういったスケジューリング政策 をとるかには依存しないで決まる確率変数である. い ま , Ck を仕事 h の保留コストとし , Xk(t; π) を政策 π を 採ったときの時点 t での仕事 h の数日を表わす確率変数 とする.このとき,政策 r による総期待コストは (1)

J( π )=Eu' r; K CkX", (t;π )dt

k=1 で与えられる.ここでの目的は , J( π) を最小にするス ケジューリング政策 π を決定することである. 政策 π の下で番目に処理される仕事を π (i) と書 く.ある仕事の処理が終わった時点で,それまでの履歴 の情報を使って,次にどの仕事を処理するのかを決定で きるので,あらかじめ:>r( i) が何であるかを知ることはで きな L 川.よって, π (i)は確率変数である.いま, (2)

G(s)=inf{t:/R(x)dxミ s}

とおく • G(s) は,処理要求時間の総和が s であるとき に,すべての処理を終了するために必要な時間の長さを 表わしている.よって,政策 π の下での番目の仕事 の処理の終了時間 Ti( :>r)は (3)

T

i

( π)=G(Z4SRfk〉)

で与えられる.よって目的関数は (17)

1

1

5

© 日本オペレーションズ・リサーチ学会. 無断複写・複製・転載を禁ず.

(2)

い) J(π)=z:戸川(z;叫Sω)J

で与えられる.

2

.

直感的背景

まず, R(t)=1 の場合を考えてみよう.これは, I この 機械は,どの時点でも 1 単位の処理能力を持っている j ことを意味している.このとき, (4)式は (5)

J(π)=f E[cω1:

t

S宕d批

ωtω

川kω〉

t=l k 冒 1 となる.残っている仕事の中で, {ctlltl のいちばん大き な仕事から処理する政策を ICμ ルール J と呼ぶが, 定理 1

:

R(t)=1 のときは cμ ノレールが(動的最適化 の意味で)最適である: ことが知られている.実際,この事実は次の「交換の議 論j と L 、う考え方にもとづいて証明できる ([7J とそこ での参考文献参照).以下では,簡単のため, Clμ1~C2μzミ…注 CKμK と仮定する. 定理 1 の寵明の概略: 政策を決定できる時点 t において , A(t) を残ってい る仕事の集合とする.時点 t では,すべての履歴 Ft を 使って決定を下すことができる.時間軸をずらすことに より , t=O と仮定してよい.げを cμ ルーんとし, πjを 最初に J を処理し,それ以降は cμ ルールにしたがうと いう政策とする. さらに, 71:'を町において,最初の 2 つの I1頂番を交換した政策とする.このとき , Cμ の大きさ の仮定より, J( が)ー J( πj)=E[C1S'+Cj(SI+Sj)

l

F

o

J

-E[cjSj 十 C1(S ,+ Sj)

l

F

o

J

=E[CjS1-C1S

j

l

FoJ 豆 O を得る.同様の交換の議論から , J( 日)豆 J( 71:j) を示すこ とができるので,最適性の原理から, 71:*が最適で、ある乙 とが示される.口 ICμ ルールの最適性j は,最初に確定的なモデルに対 して示されたもので(スミスのルーんという),定理 i の結果は,確定的な場合に成立する簡単な最適政策が, 処理時聞を確率変数とした場合にもあてはまるというこ とを言っており,これは応用上も重要で、ある.なぜなら ば, 仕事の処理時間が確率的に変動するものであって も,管理者はあらかじめ全仕事を ICμ ルール」にしたが って並べておけば,以降この処理の過程がどのような経 緯をとったとしても気にする必要はないわけで“ imple­ mentation" と L 、う意味で非常に簡単だからである. で:'1;1:, R(t) が時間とともに変化する場合でも , Cμ ノL

1

7

6

(18) ールの最適性がつねに保証されるのであろうか? これ を見るために,次のような簡単な例を考えてみよう.い ま 2 つの仕事があり,処理時間は確定的で SI=I , S2=2 とする.また, コストを c1=1 , c2= 1. 5 とし, (0

,

2.5 謡 t~玉 2.5+a R(t)=1 . \1 ,その他 とする C1μ1= 1 >0. 75=C2f!2 であるから, このときの cμ ルールによるコストは1. 5a+5.5であるが,逆に,最 初に仕事 2 を処理する場合は,コストが a+6 となり, a>1 のときは , Cμ ルールは最適ではない . R(t) が一定 でない場合には,このような簡単なケースでも , Cμ ルー ノL の最適性が崩れてしまうわけである 7). しかし,上で 述べた理由により Cμ ノレールが最適である問題の範聞 がわかれば,応用上も大変ありがたいので(それ以上に 数学の問題としておもしろいので),いつ Cf! ルールが最 適になるかと L 、う問題が深く研究されているのである.

3

.

R(t) が任意の場合

ここでは , {R(t)} はある種の正規化条件以外は, 任 意の確率過程であるとし特別の構造は仮定しないとす る.たとえば新しく設置された機械では,その処理能力 に関する統計的な情報は少ないので,この場合の {R(t)} は[神のみぞ知る」という状況であるから , {R(t)} に次 節で述べるような構造を仮定するには少有無理がある. よって,なるべくゆるい仮定の下で,スケジューリング 問題を考えることも重要である . {R (t)} が任意、の場合 には, [8J において次のような結果が示されているが8\ これからの一層の研究が待たれるところである. 定理 2 処理時間 Sk がすべて指数分布にしたがってい れば , Cμ ノレールが最適である. 定理 3 : Ck= 1 とする . SI~三 st ・..;;五 stSK で、あればベ処理 時間の短い仕事から処理するノレール (ck=1 であるから, これは cμ ルール)が最適である. 上の 2 つの定理の証明は,基本的には,交換の議論で 行なわれる.

4

.

故障宅デル ここでは,多〈の論文で扱われている故障モテゃんにつ いて考える. つまり , R(t) は O か l の値しかとらず, その区間の長さはすべて独立で,状態。と l を繰り返す とする . R (t )=O のときが機械の故障状態, R(t)=1 の ときが稼働状態を表わしていると考える . U

t

をi回目 の稼働時間の長さで‘Ut (i 孟 2) は,それぞれ,同一分布に オベレーションズ・リサーチ © 日本オペレーションズ・リサーチ学会. 無断複写・複製・転載を禁ず.

(3)

従っているとし , Di を i 回目の故障時間の長さで Di(i

孟 1) は,それぞれ,同ーの分布にしたがっているとする.

動的最適化.)を考えるために,時点 O で機械は稼働状態

にあるとし,それまでにすでに z 時間稼働していたとす る.このとき ,

{U

i, Dd は遅れのある交代再生過程

(delayed a

l

t

e

r

n

a

t

i

n

g

renewal

process) となる .

{N

.x (t)} を, N.x(t )=max{n:U1+ ・ ..Un;五 t} により定義される確率過程とし , H.x (t)=E[N.x (t)J を 対応する再生関数とする.以下でみるように,この問題 では,再生関数の性質が重要な鍵となる . G(s) を思い だしてみると , G(s)-s は,処理要求時間の総和 s を処 理する聞の,機械の故障時間の総和であるから,

J(π)=z:FC4432LPω]

(6) _ K __ n

+

L

:

K

E[c.<ilJ.

N

.x(L:

k

=I

S

)Dd

戸 1 】k=1 となる.上式右辺の第 1 項は(4)式と同じであるから,上 式における第 2 項目が故障による影響であるよって,第 2 項が無視できるくらいに小さければ,この故障モデル においても cμ ルールが最適である. ではどのような状 況下で , cμ ルールが近似的に最適となるのであろうか? または cμ ノレールと最適政策との差はどれくらいある のであるうか? 文献 [2, 3, 6 , 8J などでは,こういった 問題も考えられている即. ここでは,経験的に,いつcp ルールが最適になるかとい う問題を考えてみよう. (6)式における π (i) は確率変数で あったから,このままでは第2項の計算が進まないので,

L

:

K

E川

(例7η 戸=1 】 k=1

=甲Z:FwHa(ZLPω)J

と近似する. (7)は π (k) が確率変数でない場合ω には成 立する.ここで, 甲は平均故障時簡を表わす.この近似 の下では,次の経験則が成立するであろう.まず, ①故障時闘が稼働時間に比べて十分小さければ , Cμ ノレ ーノレカ:よ L 、: また,十分大きな t に対して,再生関数は

Hx

(t

)-Hx(t-h) -h/E[U

2

J

を満たすので, ②総処理要求時聞が回の稼働時間に比べて十分に 大きければ , Cμ ルールがよい: さらに,定理 2 から, ③処理要求時間が指数分布に近ければ Cμ ルールが よし、: ということが考えられる. 1991 年 4 月号 最後に,静的最適化問題11)における,興味のある結果 について触れておこう. この場合には仰が成立するの で,故障による影響は, (η式の右辺で与えられる. 定理 4 : ck=1 とし , SI 孟 cv... 話 evSK とする ω. もし, 稼働時間 Uiが DFR 18lであれば,番号の小さいものか ら処理するのが最適である. 確率順序の関係 SI~玉 cv'" 話。vSK は, E[SIJ=

=E[SKJ であっても成立する. しかし,このときの cμ 指標は, どの仕事においても同じであるから Cμ ノレールではこ の問題は扱えない.実は,この仮定の下では,分散に関 して, V[SIJ 孟…孟 V[SkJ と L 、う/1頂序がつくので,定理 4 から,稼働時聞が DFR であれば,処理時間の分散の大きな仕事から始めた方が よいことがわかる.故障のないモデルにおけるスケジュ ーリングでは cμ 指標, すなわち処理時間の平均しか効 いてこなかったが,故障モデルにおいては分散の影響が 出てくるということに注意しよう. ところで,定理 4 は , rUiがDFR であれば,それに 対応する再生関数は凹関数である J

([4

, 10J 参照)と し、う有名な結果による.では DFR と逆の性質である I FR を仮定すれば,定理 4 と逆の「分散の小さいものか ら処理した方がよ L 、 J と L 、う結果が得られるのであろう か? 残念ながら,対応する再生関数が凸関数になると L 、う条件は,一般には知られていないので,この結果を 導き出すためには,再生関数に関する研究から始めなけ ればならない.この問題は,数学的にも価値のある問題 であるから,読者のみなさん,ぜひご一考を/ 注釈 注1)最近,信頼性の立場から,不完全修理のモデル化 がさかんに行なわれている.たとえば, [9J 参照. 注 2) つまり , {R(t)} が確率過程であるということ. 注 3) いちど処理を開始したら,その処理がすべて終わ るまで次の仕事を処理できないということ. 注 4) 到着がないので,処理しないで待つとしみ政策は 最適でないことがすぐにわかるが, 到着がある場合に は,優先度の高い仕事がくるのを待った方がよいことも ある ([7J 参照).この問題はすごく難しいようで,この 問題を扱った論文は少ないようである. 注 5) Xk (t;n) は k が未処理ならば 1 ,終わってい れば O をとる. (19)

1

7

7

© 日本オペレーションズ・リサーチ学会. 無断複写・複製・転載を禁ず.

(4)

注 6) このように,時間とともに動的に最適化を行なう ことを動的最適化と呼ぶ. 注 7) R(t) が確定的に変化する場合のスケジューリン グ問題は,文献 [IJ で扱われている. 注 8) ここでは紙面の制約のため,厳密な形では書かな いが,若干の正規化条件が必要である. 注 9) X~五 stY とは , P(X>t) 話 P(Y>t) のことである. 順序関係話回は確率順序と呼ばれている. このとき , E [XJ 話 F[ Y] が成り立つ. 注 10) 1991 年 i 月に,カリフオルニア州モンテレーで行 なわれた,応用確率論に関する特別会議でも,この問題 に関するセッションがあった. 注 1 1)最初の時点でスケジューリング政策を確定してし まうと L 、う最適化を,静的な最適化問題という.このと きは,もちろん π (k) は確定的である. 注 12) すべての単調増加で凶な関数 f(x) に対して , E [f(x)J 孟 E [f(Y)J となるときに, X;;:;cvYという . J順序 関係語"は確率凹順序と呼ばれている. 注 13) X の分布関数を F(t) とし,密度関数を f(t) とす る .X の故障率は

r(t)=f(t)j( I-F(t))

で定義されるが , r (t) が単調減少であるとき, X は DF R であるという.故障率 r (t) はまで稼働してきたと いう条件の下で,次の瞬間に故障する率を表わしている ので, DFR のときは,時間とともに故障しにくくなる わけである. 参考文献

[1 J Baker

,

K.R. and Nuttle

,

H.(1980)

,“

Sequen-cing Independent Jobs with a Single Reュ

source

, “

Naval R

e

s

.

Log. Quart.

,

Vo

1.

27

,

4

9

9

-

5

1

0

.

[2J Birge

,

J.

,

Frenk

,

J.B.G.

,

Mittenthal

,

J.and

Rinnooy Kan

,

A. H.G. (1990)

,“

Single-machine

Scheduling Subject t

o

S

t

o

c

h

a

s

t

i

c

Breakdowns"

Naval R

e

s

.

Log. Vo

l

.

37

,

6

6

1

-

6

7

7

.

[3J Birge

,

J

.

and Glazebrook

,

K. D. (

1

9

8

8

)

.

Assessing t

he E

f

f

e

c

t

s

o

f

Machine Breakdowns

i

n

S

t

o

c

h

a

s

t

i

c

Scheduling

,"

Oper. R

e

s

.

Letters,

Vo

l

.

7

,

2

6

7

-

2

7

1.

[4 J Brown

,

M.

(1980)

,

"Bounds

,

Inequalities

,

and

Monotonicity Properties f

o

r

Some S

p

e

c

i

a

l

i

z

e

d

Renewal Processes

,"

Ann. Prob.

,

Vo

l

.

8

,

2

2

7

-1

7

8

(

2

0

)

2

4

0

.

[5 J Glazebrook

,

K.

D. (1984)

, “

Scheduling 5

toュ

c

h

a

s

t

i

c

Jobs on a Single Machine Subject t

o

Breakdowns

,"

Naval R

e

s

.

Log. Quart.

,

Vo

l

.

31

,

2

5

1

-

2

6

4

.

[

6

J Glazebrook

,

K. D. (198

7),“

Evaluating t

h

e

E

f

f

e

c

t

s

o

f

Machine Breakdowns i

n

S

t

o

c

h

a

s

t

i

c

Scheduling Problems

,"

Naval R

e

s

.

Log.

,

Vo

l

.

34

,

3

1

9

-

3

3

5

.

[

7

J Hirayama

,

T.

,

Kijima

,

M. and Nishimura

,

S

.

(1

989)

, “

Further R

esults f

o

r

Dynamic

Scheduling o

f

Multiclass GjGjl Queues

,"

J

.

Ap〆 .

Prob.

,

Vo

l

.

26

,

5

9

5

-

6

0

3

.

[8 J Hirayama

,

T. and Kijima

,

M. (1991)

,“

Single

Machine Scheduling Problom when t

h

e

Machine Capacity Varies Stochastically

,"

t

o

appear i

n

Oper. R

e

s

.

[9 J Kijima

,

M. (1989)

, “

Some R

esults f

o

r

Repairable Systems with General Repair

,"

J

.

Appl. Prob.

,

Vo

l

.

26

,

8

9

-

1

0

2

.

[

I

O

J

Kijima

,

M. (1990)

, “

On t

h

e

Unimodality o

f

Transition P

r

o

b

a

b

i

l

i

t

i

e

s

i

n

Markov Chains

,"

Austral. J

.

Statist.

,

Vo

l

.

32 ,ト 10.

[

I

I

J

Pinedo

,

M. and Rammouz

,

E. (1988)

, “

A

Note on S

t

o

c

h

a

s

t

i

c

Scheduling on a Single

Machine Subject t

o

Breakdown and Repair

,"

Prob. Engin. and Inform. Sci.

,

Vo

1.

2

,

4 ト49.

[

1

2

J

Righter

,

R. and Shanthikumar

,

J.G. (1989)

,

“Schedu

ng M

ulticlass S ngle

Server Queue.

i

n

g

Systems t

o

S

t

o

c

h

a

s

t

i

c

a

l

l

y

Maximize t

h

e

Number o

f

Successful Departures

,"

Prob.

Engin. and Inform. Sci.

, Vo

l

.

3

,

3

2

3

-

3

3

3

.

..・・・・・・四...・・・...開・・・・・・・・・・・・・・・・・・・・・・・・・・

.

.

場参平成 3 年度 OR 企業サロン

第 1 回予定 日時 5 月 7 日(火)

13:30-17:00

場所:九州電力会議室(福岡) テーマ・ゲストスピーカー: 1)r 味の素の情報化のめざすもの J 味の素紛常務取締役伊藤謙吉氏 2)r 九州地区における OR 活動 j 九州産業大学工学部教授 藤野義一氏 オベレーションズ・リサーチ © 日本オペレーションズ・リサーチ学会. 無断複写・複製・転載を禁ず.

参照

関連したドキュメント

従って、こ こでは「嬉 しい」と「 楽しい」の 間にも差が あると考え られる。こ のような差 は語を区別 するために 決しておざ

問についてだが︑この間いに直接に答える前に確認しなけれ

口腔の持つ,種々の働き ( 機能)が障害された場 合,これらの働きがより健全に機能するよう手当

2 E-LOCA を仮定した場合でも,ECCS 系による注水流量では足りないほどの原子炉冷却材の流出が考

汚染水の構外への漏えいおよび漏えいの可能性が ある場合・湯気によるモニタリングポストへの影

優越的地位の濫用は︑契約の不完備性に関する問題であり︑契約の不完備性が情報の不完全性によると考えれば︑

は,医師による生命に対する犯罪が問題である。医師の職責から派生する このような関係は,それ自体としては

以上の基準を仮に想定し得るが︑おそらくこの基準によっても︑小売市場事件は合憲と考えることができよう︒