一類隨機過程.是描述元件或設備更新現象的一類隨機過程.設對某元件的工做進行觀測.假定元件的使用壽命是一隨機變量,當元件發生故障時就進行修理或換上新的同類元件,並且元件的更新是即時的(修理或更換元件所需的時間爲零).若是每次更新後元件的工做是相互獨立且有相同的壽命分佈,令N(t)爲在區間(0,t]中的更新次數,則稱計數過程{N(t),t≥0}爲更新過程.在數學上更新過程可簡單地定義爲相鄰兩個點事件(即更新)的間距是相互獨立同分布(但從原點到第一次更新的間距T1能夠有不一樣分佈)的計數過程.根據T1的分佈情形更新過程又分爲普通更新過程,延遲更新過程和平衡更新過程三類.更新過程也可用過程的事件間距序列{Tn,n≥1}給定,這時N(t)和Tn有以下關係∶N(t)=sup{n:Sn≤t}和Sn=inf{t:N(t)=n},其中函數
Sn=Tiui
是第n次更新時間(n≥1,再定義S 0=0).對於普通更新過程,S n是n個相互獨立同分布的非負隨機變量之和,所以在數學上更新過程也能夠看作是一類特殊的獨立隨機變量和.
《數學辭海》編輯委員會 編.數學辭海·第四卷.北京:中國科學技術出版社.2002.spa
一類特殊的延遲更新過程.指全部更新間距T1,T2,T3,…都具備相同分佈的更新過程.有時也簡稱更新過程.3d
亦稱變形更新過程.一種更新過程.指容許第一個更新間距T1(即從原點到第一次更新的間距)的分佈G和其後的更新間距T2,T3,…的(共同)分佈F相異的更新過程.這類過程產生的背景和得名的緣由以下:設想對一個元件更新模型開始觀測的時刻t=0並不剛好是一個新元件開始工做的時刻,於是過程第一個元件的壽命(從開始觀測時算起)分佈G和新元件的壽命分佈F通常是不相同的.因爲在上述模型中是當一個元件已經工做了一段時間纔開始觀測的,因此人們稱之爲延遲更新過程.由於普通更新過程和平衡更新過程均可看作延遲更新過程的特殊情形,故也有人把延遲更新過程稱爲通常更新過程.blog
一類特殊的延遲更新過程.它的第一個更新間距T1有分佈事件
其中μ是其他更新間距的共同分佈F的數學指望.這類過程的得名是因爲Fe是F的平衡分佈.對於更新間距分佈是F的普通更新過程,有數學
P(A(t)≤x)=P(Y(t)≤x)=Fe(x),it
這裏A(t)和Y(t)分別是過程在時刻t的年齡和剩餘壽命(參見「年齡」和「剩餘壽命」).class
一類特殊的兩狀態馬爾可夫更新過程.其特徵是兩類型的更新區間交替出現.確切地說,交替更新過程就是非負隨機向量序列{(Zn,Yn),n≥1},其中各(Zn,Yn)是獨立同分布的(於是隨機變量序列{Zn}和{Yn}也各自是獨立同分布的),但Zn和Yn(對於任一正整數n)能夠是相依的.在元件更新模型中,若更新時間不恆等於零而是一個隨機變量,令Zn和Yn分別表示第n個元件的使用壽命和它的更新時間,人們就獲得一個交替更新過程(參見「馬爾可夫更新過程」).變量
============================
一些說明:
所謂更新過程就是更新
間隔雖然是IID可是能夠服從通常分佈(包括指數分佈)的泊松計數過程。 咱們通常把更新過程的更新間隔的均值命名爲mu,把更新過程的均值命名爲更新函數m(t)。 1/mu咱們稱爲更新速率。 更新基本定理: 更新數與時間之比趨近於更新速率。 另外更新函數與時間之比也趨近於更新速率。 這裏的趨近是說當時間趨於無窮的時候。 關鍵更新定理: 一個黎曼可積的函數與更新函數的增量的卷積等於該函數在正區間的積分乘以更新速率。 定義:格點更新過程:更新只在一個正數的正整數(週期)的倍數時刻發生的更新過程。不然叫作非格點的更新過程。 非格點的更新過程有以下定理: 非格點的更新過程的差分與時間之比趨近於更新速率。 格點的更新過程有以下定理: 在極限時刻發生的更新數與週期之比趨近於更新速率。 因此能夠看出更新過程的定理基本都是和更新基本定理相似的。 可是最有用的定理仍是關鍵更新定理。 補充一些: 更新函數是n個更新間隔的和的分佈的(對n的)累加。 dm(y)是更新發生在(y,y+dy)期間的機率。 _ F(t-y)dy是更新間隔大於t-y的機率。 因此 _ dm(y)F(t-y)dy就是dF_{S_{N(t)}}的機率,也就是第N(t)個更新發生在t時刻的機率。 咱們定義,在t時間內發生了N(t)個更新,那麼S_{N(t)}(即第N(t)個更新發生的時刻)與t的時間差叫作「零件」的年齡。把S_{N(t)+1}(即第N(t)+1個更新發生的時刻)與t的時間差叫作「零件」的剩餘壽命。 「零件」的年齡和剩餘壽命在時間趨於無窮大的時候有相同的分佈,且都等於 _ int_{0}^{t}F(y)dy/mu 交錯更新過程: 就是忙時和停時更替進行的一種更新過程,咱們把一個忙時和緊接着的一個停時叫作一個循環。 則機器在時刻t是處於忙時的機率(隨時間)趨近於E{Z_{n}}/(E{Z_{n}}+E{Y_{n}})=E{Z_{n}}/E{X_{n}} 這裏X_{n}表示第n個循環的長度。Z_{n}表示第n個忙時的長度。Y_{n}表示第n個停時的長度。 延遲更新過程: 也稱爲通常更新過程,就是初次間隔並不和其後的間隔分佈相同。 前面出現過的這個分佈函數: _ int_{0}^{t}F(y)dy/mu 稱爲平衡分佈函數。 若是首次間隔分佈服從平衡分佈函數,則這樣的通常更新過程,就稱爲平衡更新過程。 酬勞更新過程: 若是每次更新有一次酬勞(酬勞也能夠是penalty,也就是說酬勞能夠爲負),那麼這樣的更新過程叫作酬勞更新過程。 每次的酬勞,咱們記爲R_{n},並用R(t)記直到t時刻的全部酬勞之和。 那麼有以下和基本更新定理相似的定理: R(t)/t(總酬勞的平均) 趨近於平均一個更新間隔內的平均酬勞。 或者總酬勞的均值的平均趨近於平均一個更新間隔內的平均酬勞。 這裏的趨近於都是時間上趨近無窮大的涵義下。 排隊論的能夠說是最重要的定理: 更新過程的來到率:定義爲更新間隔的均值的倒數也就是更新速率。記爲lambda。 則排隊論的重要定理能夠敘述爲: 系統中(按時間)的平均人數等於來到率(更新速率)乘以每一個顧客在系統中度過的時間。 或者排隊中(按時間)的平均人數等於來到率(更新速率)乘以每一個顧客在排隊中度過的時間。 由於來到率是更新間隔的倒數,因此,至少在單位上,是不成問題的。也比較容易理解。 再生過程(regenerative process) 再生過程是說,存在一個時刻,在這個時刻以後,系統又從0時刻開始重複。 系統能夠處於不少狀態上,兩個時刻之間算一個循環。 與交錯(交替)更新過程相似: 系統處於第j個狀態上的機率(在時間上)趨近於在一個更新間隔(循環)的均值時間內,系統處於狀態j的時間的均值。即處於狀態j的時間的均值比一個更新間隔(循環)的均值。 平穩點過程: 顧名思義,平穩點過程就是一個具備平穩增量的計數過程。 平穩點過程的重要定理以下: 平穩點過程計數N(t)大於0的機率與時間(t)之比等於一個正數。 也就是說平穩點過程N(t)的指望均值等於時間(t)乘以更新速率。