• <tr id="yyy80"></tr>
  • <sup id="yyy80"></sup>
  • <tfoot id="yyy80"><noscript id="yyy80"></noscript></tfoot>
  • 99热精品在线国产_美女午夜性视频免费_国产精品国产高清国产av_av欧美777_自拍偷自拍亚洲精品老妇_亚洲熟女精品中文字幕_www日本黄色视频网_国产精品野战在线观看 ?

    無沖突Petri網(wǎng)的結(jié)構(gòu)活性判定研究

    2021-07-26 11:56:34徐穎蕾馬炳先
    計(jì)算機(jī)工程 2021年7期
    關(guān)鍵詞:庫所變遷前置

    徐穎蕾,馬炳先

    (1.山東財(cái)經(jīng)大學(xué)計(jì)算機(jī)科學(xué)與技術(shù)學(xué)院,濟(jì)南250014;2.山東省數(shù)字媒體技術(shù)重點(diǎn)實(shí)驗(yàn)室,濟(jì)南250014;3.濟(jì)南大學(xué)信息科學(xué)與工程學(xué)院,濟(jì)南250022)

    0 概述

    活性作為Petri 網(wǎng)系統(tǒng)重要的動(dòng)態(tài)性質(zhì)之一,反映了Petri 網(wǎng)系統(tǒng)運(yùn)行過程中變遷激發(fā)條件的可滿足性,通常對應(yīng)實(shí)際系統(tǒng)運(yùn)行過程中某事件是否具備發(fā)生條件。如果一個(gè)變遷元素不是活性的,那么該事件在某時(shí)刻將不會(huì)繼續(xù)發(fā)生,若在某標(biāo)識(shí)下系統(tǒng)中的所有變遷元素均不能發(fā)生,則系統(tǒng)陷入死鎖,因此,有效檢測與判斷系統(tǒng)的活性是Petri 網(wǎng)相關(guān)理論與方法應(yīng)用于實(shí)際系統(tǒng)的關(guān)鍵問題,如自動(dòng)制造系統(tǒng)的死鎖分析[1-2]、面向資源調(diào)度系統(tǒng)的死鎖分析[3]及并發(fā)程序的死鎖檢測和驗(yàn)證[4-6]等。

    目前,對于Petri 網(wǎng)系統(tǒng)活性的判定尚未有通用的方法[7],主要包括以下4 類判定方法。第1 類為從Petri 網(wǎng)的網(wǎng)結(jié)構(gòu)入手,研究結(jié)構(gòu)較特殊的一些Petri網(wǎng)的活性判定方法,例如標(biāo)識(shí)T-圖[8]、加權(quán)T-圖[9]、標(biāo)識(shí)S-圖[10]和標(biāo)識(shí)自由選擇網(wǎng)[11]等結(jié)構(gòu)的Petri 網(wǎng)已有較系統(tǒng)和有效的判定方法或者結(jié)論。第2 類為從Petri 網(wǎng)的分析方法入手,利用Petri 網(wǎng)的可達(dá)標(biāo)識(shí)圖或可覆蓋樹[12]、Petri 網(wǎng)進(jìn)程[13]等判斷Petri 網(wǎng)的活性,該類方法對Petri 網(wǎng)系統(tǒng)的活性分析提供了一定的思路,但由于系統(tǒng)狀態(tài)的快速增長[14]或者線性方程組的求解通常伴有較高的時(shí)間復(fù)雜度,目前仍需更為深入的研究。第3 類為從Petri 網(wǎng)結(jié)構(gòu)的分解或合成的角度入手,研究子網(wǎng)系統(tǒng)的活性與原網(wǎng)系統(tǒng)活性之間的關(guān)系[15-16],進(jìn)而研究Petri 網(wǎng)系統(tǒng)的活性,該類方法同樣取得了一定的研究成果,但對于一般Petri 網(wǎng)系統(tǒng)而言也尚未有明確結(jié)論。第4 類為從Petri 網(wǎng)系統(tǒng)性質(zhì)[17-18]或結(jié)構(gòu)活性判定入手,尤其后者,首先通過判斷Petri網(wǎng)的結(jié)構(gòu)活性,其次研究結(jié)構(gòu)活的Petri 網(wǎng)的活標(biāo)識(shí)應(yīng)滿足的條件,最后實(shí)現(xiàn)對Petri 網(wǎng)的活性判定,目前該類方法同樣需要進(jìn)一步深入的研究。

    沖突結(jié)構(gòu)在Petri 網(wǎng)的活性判定方法研究中具有重要作用[19],相關(guān)文獻(xiàn)在對標(biāo)識(shí)T-圖[8-9]、可重復(fù)Petri 網(wǎng)[12]的活性(或結(jié)構(gòu)活性)研究時(shí)基于有向回路結(jié)構(gòu)或者沖突結(jié)構(gòu)對庫所元素[20]中流出標(biāo)識(shí)(token)能否流回該庫所的影響情況進(jìn)行分析研究,進(jìn)而對Petri 網(wǎng)系統(tǒng)的活性或結(jié)構(gòu)活性進(jìn)行判定,表明Petri 網(wǎng)中的有向回路及沖突結(jié)構(gòu)是影響Petri 網(wǎng)活性性質(zhì)的重要因素,但現(xiàn)有相關(guān)方法尚未從綜合考慮Petri 網(wǎng)中有向回路與沖突結(jié)構(gòu)間的關(guān)系對系統(tǒng)活性的影響入手開展Petri 網(wǎng)活性判定的研究[21-22]?;诖耍疚目紤]從Petri網(wǎng)的結(jié)構(gòu)入手,分析Petri網(wǎng)中的有向回路與沖突結(jié)構(gòu)對Petri 網(wǎng)結(jié)構(gòu)活性的影響,進(jìn)而探討Petri 網(wǎng)結(jié)構(gòu)活性和系統(tǒng)活性的判定方法。

    1 相關(guān)概念及知識(shí)

    本節(jié)將簡要介紹與本文研究相關(guān)的Petri 網(wǎng)相關(guān)概念和知識(shí)。

    定義1[12]一個(gè)Petri 網(wǎng)系統(tǒng)定義為∑=(S,T;F,M),其中:

    1)S∪T≠?;

    2)S∩T=?;

    3)F?(S×T)∪(T×S);

    4)M:S→{0,1,…}。

    在定義1 中,S為Petri 網(wǎng)的庫所元素集合,T為Petri 網(wǎng)的變遷元素集合,F(xiàn)為庫所和變遷元素之間存在的流關(guān)系,M為Petri 網(wǎng)系統(tǒng)∑的標(biāo)識(shí)函數(shù)。

    Petri 網(wǎng)系統(tǒng)的變遷元素在變遷激發(fā)規(guī)則條件滿足的前提下可以發(fā)生,從而使得Petri 網(wǎng)系統(tǒng)在不同的標(biāo)識(shí)之間轉(zhuǎn)化,即Petri 網(wǎng)系統(tǒng)的運(yùn)行。

    定義2[12](沖突結(jié)構(gòu))設(shè)Petri 網(wǎng)系統(tǒng)為∑=(S,T;F,M),若?s∈S,|s˙|≥2,則稱庫所s及其后置變遷元素集合之間形成沖突結(jié)構(gòu)。

    由定義2 可以看出,沖突結(jié)構(gòu)實(shí)際上對應(yīng)庫所標(biāo)識(shí)在Petri 網(wǎng)系統(tǒng)運(yùn)行過程中的一種選擇或競爭,并且現(xiàn)有研究已表明沖突結(jié)構(gòu)是影響Petri 網(wǎng)活性分析的關(guān)鍵因素之一[10]。

    定義3[12](活性)設(shè)Petri 網(wǎng)系統(tǒng)為∑=(S,T;F,M0),其中,M0為初始標(biāo)識(shí),t∈T。若?M∈R(M0),?M′∈R(M),使得M′[t>,則稱t是活的。若每個(gè)t∈T都是活的,則稱Σ是活的Petri 網(wǎng)系統(tǒng)。

    定義4[12](結(jié)構(gòu)活性)設(shè)N=(S,T;F)為一個(gè)Petri 網(wǎng)結(jié)構(gòu),如果存在初始標(biāo)識(shí)M0使得∑=(S,T;F,M0)是活的Petri 網(wǎng)系統(tǒng),則稱N是結(jié)構(gòu)活網(wǎng),M0是網(wǎng)N的一個(gè)活標(biāo)識(shí)。

    由定義3 和定義4 可以看出,一個(gè)Petri 網(wǎng)若是結(jié)構(gòu)活的,則必存在一個(gè)標(biāo)識(shí)使得對應(yīng)的Petri 網(wǎng)系統(tǒng)是活的,即為該網(wǎng)的一個(gè)活標(biāo)識(shí)。因此,在判斷一個(gè)Petri 網(wǎng)系統(tǒng)∑=(S,T;F,M0)的活性時(shí)可以從判定網(wǎng)的結(jié)構(gòu)活性入手,即判斷該P(yáng)etri 網(wǎng)系統(tǒng)對應(yīng)的網(wǎng)結(jié)構(gòu)是否為結(jié)構(gòu)活的:1)若該網(wǎng)是結(jié)構(gòu)活的,進(jìn)一步分析其活標(biāo)識(shí)對應(yīng)的性質(zhì)或者特征,并在此基礎(chǔ)上進(jìn)一步分析Petri 網(wǎng)系統(tǒng)的活性;2)若該網(wǎng)不是結(jié)構(gòu)活的,則該P(yáng)etri 網(wǎng)系統(tǒng)不是活的網(wǎng)系統(tǒng)。

    2 無沖突Petri網(wǎng)的結(jié)構(gòu)活性判定方法

    定義5(無沖突Petri 網(wǎng))設(shè)N=(S,T;F)為一個(gè)網(wǎng)結(jié)構(gòu),若?s∈S,|s˙|≤1,則稱N是無沖突Petri 網(wǎng)。

    與S-圖[12](?t∈T:|t˙|=|˙t|=1)和T-圖[12](?s∈S:|s˙|=|˙s|=1)結(jié)構(gòu)要求不同,與定義2 中的沖突結(jié)構(gòu)相對應(yīng),無沖突Petri 網(wǎng)僅對庫所元素的后置變遷元素個(gè)數(shù)進(jìn)行約束??梢钥闯觯跓o沖突Petri 網(wǎng)N=(S,T;F)中,若?s∈S?|s˙|=0,則在Petri 網(wǎng)N中刪除該庫所元素s及其對應(yīng)的流關(guān)系后得到的Petri 網(wǎng)結(jié)構(gòu)活性與原網(wǎng)保持一致?;诖耍s定在本文討論的無沖突Petri 網(wǎng)中,?t∈T?|˙t|≥1,即在Petri 網(wǎng)N中不含源變遷元素,且?s∈S?|s˙|=1。

    定義6(T-外延子網(wǎng))設(shè)Petri 網(wǎng)N=(S,T;F),T1?T,N1=(S1,T1,F1)是關(guān)于T1的T-外延子網(wǎng)[12],其中,。

    本文基于庫所元素與其后置變遷元素是否存在于一個(gè)有向回路中,對無沖突Petri 網(wǎng)N=(S,T;F)結(jié)構(gòu)活性進(jìn)行判定。下文考慮無沖突Petri 網(wǎng)中一個(gè)有向回路的標(biāo)識(shí)保持情況。

    引理1設(shè)Petri 網(wǎng)N=(S,T;F)是無沖突Petri網(wǎng),C為網(wǎng)N中的一個(gè)有向回路,若網(wǎng)N的一個(gè)標(biāo)識(shí)M0:M0(C)≥1,則?M1∈R(M0),M1(C)≥1,其中M(C)=。

    證明不妨設(shè)?t1∈T:M0[t1>M1,則:

    1)若t1∈C,則在有向回路C中必含有t1的前置及后置庫所元素各1 個(gè),從而t1的發(fā)生不會(huì)影響C中的標(biāo)識(shí)數(shù)量,即M1(C)≥1。

    2)若t1?C,則由于網(wǎng)N中無沖突結(jié)構(gòu),因此有向回路C中不含有t1的前置庫所元素,即t1的發(fā)生不會(huì)減少C中的標(biāo)識(shí)數(shù)量,即M1(C)≥1。

    進(jìn)一步地,若M1是由M0經(jīng)過多個(gè)變遷的發(fā)生達(dá)到的標(biāo)識(shí),則由上所述可得M1(C)≥1,引理1得證。

    定理1設(shè)Petri 網(wǎng)N=(S,T;F)是無沖突Petri網(wǎng),若?s∈S?t∈s˙,s與t存在于一個(gè)有向回路結(jié)構(gòu)中,則網(wǎng)N是結(jié)構(gòu)活的。

    證明為網(wǎng)N配置初始標(biāo)識(shí)M0使得網(wǎng)N中任一有向回路C均有M0(C)≥1,?t∈T:

    1)若˙t={s1}且s1與t存在于一有向回路C1中,則由引理1 可得?M∈R(M0),M(C1)≥1,從而必有?M1∈R(M),使得M1[t>。

    2)若|˙t|≥2,不妨設(shè)˙t={s1,s2},且si與t存在于一個(gè)有向回路Ci(i=1,2)中,則由引理1可得?M∈R(M0),M(Ci)≥1(i=1,2),由于網(wǎng)N中無沖突結(jié)構(gòu),因此?M1∈R(M)?M1(s1)≥1,同時(shí)M1(C2)≥1,此時(shí)若已有M1(s2)≥1,則M1[t>;否則,對有向回路C2,存在一不包含變遷t的變遷序列σ1∈T* 使得M1[σ1>M2且M2(s2)≥1,由于t?σ1,因此此時(shí)M2(s1)≥1,即M2[t>。

    綜上所述,?M∈R(M0)和?M′∈R(M)使得M′[t>,即M0是網(wǎng)N的一個(gè)活標(biāo)識(shí),因此網(wǎng)N是結(jié)構(gòu)活的。

    推論1設(shè)Petri 網(wǎng)N=(S,T;F)是無沖突Petri網(wǎng),?t∈T,若?s∈˙t,s與t存在于一個(gè)有向回路結(jié)構(gòu)中,則網(wǎng)N是結(jié)構(gòu)活的。

    為表述方便,將定理1 中“?s∈S?t∈s˙,s與t存在于一個(gè)有向回路結(jié)構(gòu)中”稱為自回路條件。

    定義7(自回路條件)設(shè)Petri 網(wǎng)N=(S,T;F),s∈S滿足自回路條件當(dāng)且僅當(dāng)?t∈s˙,s與t存在于一個(gè)有向回路結(jié)構(gòu)中。

    然而,自回路條件僅是無沖突Petri 網(wǎng)結(jié)構(gòu)活的充分而非必要條件,例如對圖1 中的網(wǎng)N1雖然庫所s3不滿足自回路條件,但滿足前置回路條件,并且網(wǎng)N1是結(jié)構(gòu)活的。

    圖1 活性結(jié)構(gòu)的Petri 網(wǎng)N1Fig.1 Petri net N1 with live structure

    定義8(前置回路條件)設(shè)Petri 網(wǎng)N=(S,T;F)是無沖突Petri 網(wǎng),庫所元素s∈S且s˙={t1},s滿足前置回路條件當(dāng)且僅當(dāng)存在網(wǎng)N的T-外延子網(wǎng)N1=(S1,T1;F1)使得:

    1)?s1∈S1,s1在N1中滿足自回路條件。

    2)?t2∈T1,t2到s存在有向路P。

    3)t1不屬于T1及情形2 中的有向路P。

    定理2設(shè)Petri 網(wǎng)N=(S,T;F)是無沖突Petri網(wǎng),則網(wǎng)N是結(jié)構(gòu)活的當(dāng)且僅當(dāng)?s∈S滿足自回路條件或前置回路條件。

    必要性證明設(shè)已知無沖突Petri 網(wǎng)N是結(jié)構(gòu)活的,M0是網(wǎng)N的一個(gè)活標(biāo)識(shí)。若?s1∈S,則s1不滿足自回路條件及前置回路條件,不妨設(shè)M0(s1)=k(k≥1),顯然若?,則對于變遷序列σ∈T*滿足M0[σ>M1?#(t1/σ)=k,由于s1不滿足自回路條件及前置回路條件,此時(shí)M1(s1)=0 且不存在M2∈R(M1)使得M2(s1)>0,t1成為死變遷,這與M0是網(wǎng)N的活標(biāo)識(shí)相矛盾,因此?s∈S,s滿足自回路條件或前置回路條件,定理2 的必要性得證。

    充分性證明已知?s∈S滿足自回路條件或前置回路條件,設(shè)網(wǎng)N的標(biāo)識(shí)M0使得網(wǎng)N中任一有向回路C滿足M0(C)≥1,?t∈T,t的前置庫所滿足自回路條件或前置回路條件的情形具體如下:

    1)?s∈˙t,s滿足自回路條件。

    2)?s∈˙t,s滿足前置回路條件。

    3)?s1,s2∈˙t,s1≠s2,s1滿足自回路條件,s2滿足前置回路條件。

    對于?M1∈R(M0),討論情形3 中的情況,不妨設(shè)˙t={s1,s2},s1滿足自回路條件,s2滿足前置回路條件:

    1)s1滿足自回路條件,由引理1 可得,?M2∈R(M1)使得M2(s1)≥1,且對網(wǎng)N中任一有向回路C滿足M2(C)≥1。

    2)s2滿足前置回路條件,設(shè)其對應(yīng)的T-外延子網(wǎng)為N1=(S1,T1;F1),?s∈S1在網(wǎng)N1中滿足自回路條件,且?t1∈T1到s2存在有向路P,由于M2使得網(wǎng)N的任一有向回路C滿足M2(C)≥1,因此?t?σ1,M2[σ1>M3使得M3[t1>,進(jìn)一步由于t1到s2存在有向路P且t?P,因此?σ2∈(T-{t})*使得M3[σ2>M4,且M4(s2)≥1,即?σ=σ1σ2使得M2[σ>M4,又由于t?σ,因此M4(s1)=M2(s1),M4(s1)≥1 可得M4[t>,即?M4∈R(M1),M4[t>。

    基于引理1,與?M1∈R(M0)時(shí)情形3 的分析證明過程類似,并且證明在情形1 和情形2 下,?M′∈R(M1)?M′[t>也是成立的。

    綜上可得,標(biāo)識(shí)M0是網(wǎng)N的一個(gè)活標(biāo)識(shí),即網(wǎng)N是結(jié)構(gòu)活的,定理2 的充分性得證。進(jìn)一步研究發(fā)現(xiàn)在無沖突Petri 網(wǎng)中,若存在無源庫所(即庫所元素?zé)o前置變遷),則必滿足定理2 中的條件。

    性質(zhì)1設(shè)無沖突Petri 網(wǎng)N=(S,T;F) 中?s∈S?|˙s|≥1,則?s∈S滿足自回路條件或前置回路條件。

    證明若,則滿足以下情形:

    1)若s1和t1存在于網(wǎng)N中的一個(gè)有向回路中,則s1滿足自回路條件,否則轉(zhuǎn)情形2。

    2)若s1和t1不存在于網(wǎng)N中的任一有向回路中,記Ts1={t∈T|s1到t存在有向路}。因?yàn)閨˙s1|≥1,所以?t2∈T-Ts1為s1的前置變遷,又因?yàn)?t∈T?|˙t|≥1,所以?s2∈˙t2,依此類推,可逐步構(gòu)造變遷庫所序列t2s2…tisi…,其中。由于|S|和|T|的有限性,上述序列中必存在tj=tk∈T-Ts1,即tj存在于一個(gè)有向回路中,記為Cj,令Tj={t∈T|t∈Cj},基于Tj得到網(wǎng)N的T-外延子網(wǎng)Nj=(Sj,Tj;Fj),其中,。此時(shí),若?s∈Sj在Nj中滿足自回路條件,則易得s1滿足前置回路條件;否則,若?sk∈Sj在Nj中不滿足自回路條件但在網(wǎng)N中滿足自回路條件,其對應(yīng)的回路為Ck,記Tk={t∈T|t∈Ck},以Tj∪Tk為基礎(chǔ)進(jìn)一步構(gòu)造得到N的T-外延子網(wǎng)Njk=(Sjk,Tjk;Fjk),對Nj中所有在Nj中不滿足自回路條件但在網(wǎng)N中滿足自回路條件的庫所元素進(jìn)行同樣的操作,最終可得到N的T-外延子網(wǎng),此時(shí)若,s在中滿足自回路條件,易得s1滿足前置回路條件;否則,?在網(wǎng)與網(wǎng)N中均不滿足自回路條件,此時(shí)對sr進(jìn)行與s1相同的操作可得到與sr相應(yīng)的網(wǎng)N的T-外延子網(wǎng)Nr=(Sr,Tr;Fr),對Nr進(jìn)行與Nj相同的處理并持續(xù)進(jìn)行下去。顯然,在此過程中各T-外延子網(wǎng)的變遷候選集合規(guī)模逐步縮小,由于|T|的有限性,因此上述過程不可能無限進(jìn)行下去,必存在網(wǎng)N的T-外延子網(wǎng)Ne=(Se,Te;Fe),且?s∈Se滿足自回路條件,從而說明s1滿足前置回路條件。

    綜合以上兩種情形所述,性質(zhì)1 得證。

    定理3若無沖突Petri 網(wǎng)N=(S,T;F) 中?s∈S?|˙s|≥1,則網(wǎng)N是結(jié)構(gòu)活的。

    顯然,若在無沖突Petri 網(wǎng)N=(S,T;F) 中?s∈S?|˙s|=0,即存在源庫所元素時(shí)網(wǎng)N不是結(jié)構(gòu)活的,由定理3 可知,對無沖突Petri 網(wǎng)結(jié)構(gòu)活性的判斷等同于對其中是否存在源庫所元素的判斷。基于Petri 網(wǎng)的關(guān)聯(lián)矩陣[12],只需檢測網(wǎng)N的關(guān)聯(lián)矩陣中是否有某一列元素取值中無“1”存在,就可以在多項(xiàng)式時(shí)間O(|S|·|T|)內(nèi)完成對無沖突Petri網(wǎng)的結(jié)構(gòu)活性判定,即實(shí)現(xiàn)無沖突Petri 網(wǎng)結(jié)構(gòu)活性的多項(xiàng)式時(shí)間判定方法。

    推論2設(shè)無沖突Petri 網(wǎng)N=(S,T;F)是結(jié)構(gòu)活的,若網(wǎng)N的標(biāo)識(shí)M0使網(wǎng)N中的任一有向回路C滿足M0(c)≥1,則M0是網(wǎng)N的一個(gè)活標(biāo)識(shí)。

    但推論2 中無沖突Petri 網(wǎng)的活標(biāo)識(shí)條件僅為Petri 網(wǎng)活標(biāo)識(shí)的一個(gè)充分條件,例如對圖1 中的網(wǎng)N1,M0=(1,0,0,1,0)是網(wǎng)N1的一個(gè)活標(biāo)識(shí),且?M1≥M0也是網(wǎng)N1的一個(gè)活標(biāo)識(shí),但M2=(1,0,0,0,0)盡管不滿足推論2 中的條件,卻也是網(wǎng)N1的一個(gè)活標(biāo)識(shí)。

    3 結(jié)束語

    本文針對無沖突Petri 網(wǎng)結(jié)構(gòu)活性的判定問題,從Petri 網(wǎng)中有向回路結(jié)構(gòu)入手,通過分析庫所元素及其后置變遷元素之間是否存在有向回路等結(jié)構(gòu)逐步分析與無沖突Petri 網(wǎng)結(jié)構(gòu)活性相關(guān)的條件及結(jié)論,得到無沖突Petri 網(wǎng)結(jié)構(gòu)活性的充分必要條件,并且可在多項(xiàng)式時(shí)間復(fù)雜度內(nèi)判定無沖突Petri網(wǎng)的結(jié)構(gòu)活性。該結(jié)論能為通過分析Petri 網(wǎng)中有向回路結(jié)構(gòu)對Petri 網(wǎng)結(jié)構(gòu)活性的影響進(jìn)而判斷Petri網(wǎng)的結(jié)構(gòu)活性的方法提供較好的參考和借鑒。后續(xù)可將本文方法擴(kuò)展到具有沖突結(jié)構(gòu)的Petri網(wǎng)的結(jié)構(gòu)活性判斷問題中,在此基礎(chǔ)上進(jìn)一步研究Petri 網(wǎng)系統(tǒng)的活性判定方法。

    猜你喜歡
    庫所變遷前置
    基于FPGA 的有色Petri 網(wǎng)仿真系統(tǒng)設(shè)計(jì)*
    電子器件(2021年1期)2021-03-23 09:24:02
    被診斷為前置胎盤,我該怎么辦
    前置性學(xué)習(xí)單:讓學(xué)習(xí)真實(shí)發(fā)生
    教書育人(2020年11期)2020-11-26 06:00:32
    國企黨委前置研究的“四個(gè)界面”
    40年變遷(三)
    40年變遷(一)
    40年變遷(二)
    被診斷為前置胎盤,我該怎么辦
    清潩河的變遷
    利用Petri網(wǎng)特征結(jié)構(gòu)的故障診斷方法
    超碰97精品在线观看| 天天操日日干夜夜撸| 亚洲欧美日韩另类电影网站| 国产成人av教育| 久久精品人人爽人人爽视色| videos熟女内射| 午夜激情av网站| 91麻豆av在线| 国产欧美日韩一区二区精品| 欧美黄色片欧美黄色片| 久久国产乱子伦精品免费另类| 少妇猛男粗大的猛烈进出视频| 最新美女视频免费是黄的| 很黄的视频免费| 日韩一卡2卡3卡4卡2021年| 如日韩欧美国产精品一区二区三区| 国产精品成人在线| 亚洲五月婷婷丁香| 国产伦人伦偷精品视频| 在线免费观看的www视频| 美女午夜性视频免费| 自线自在国产av| 下体分泌物呈黄色| 91在线观看av| 精品一区二区三区av网在线观看| 大片电影免费在线观看免费| 久久香蕉激情| 黄片大片在线免费观看| 成人亚洲精品一区在线观看| 80岁老熟妇乱子伦牲交| 在线观看66精品国产| 中文字幕高清在线视频| 正在播放国产对白刺激| av片东京热男人的天堂| 亚洲国产精品一区二区三区在线| 日韩欧美三级三区| 久久国产精品男人的天堂亚洲| 水蜜桃什么品种好| 看黄色毛片网站| 午夜成年电影在线免费观看| 国产欧美日韩综合在线一区二区| 欧美日韩亚洲综合一区二区三区_| 国产日韩欧美亚洲二区| 每晚都被弄得嗷嗷叫到高潮| 色老头精品视频在线观看| 国产成人啪精品午夜网站| 大码成人一级视频| 最新在线观看一区二区三区| 国产精品av久久久久免费| 精品久久久久久,| 麻豆成人av在线观看| www日本在线高清视频| 久久影院123| 亚洲成a人片在线一区二区| 成年人黄色毛片网站| 亚洲av欧美aⅴ国产| 黄色视频不卡| 80岁老熟妇乱子伦牲交| 成人av一区二区三区在线看| 757午夜福利合集在线观看| 免费一级毛片在线播放高清视频 | 久99久视频精品免费| 久久久久久久精品吃奶| 久久中文字幕一级| 亚洲男人天堂网一区| 久久久久久人人人人人| 色婷婷久久久亚洲欧美| 少妇猛男粗大的猛烈进出视频| www.熟女人妻精品国产| 一级片'在线观看视频| 国产av又大| 天天操日日干夜夜撸| 成人亚洲精品一区在线观看| 国产高清激情床上av| 涩涩av久久男人的天堂| 999久久久精品免费观看国产| 国产亚洲精品一区二区www | 一级a爱视频在线免费观看| 首页视频小说图片口味搜索| 久久久久国内视频| 满18在线观看网站| 美女高潮到喷水免费观看| 亚洲,欧美精品.| 精品视频人人做人人爽| 无遮挡黄片免费观看| 国产高清视频在线播放一区| 手机成人av网站| 色播在线永久视频| 精品国产乱子伦一区二区三区| 亚洲成a人片在线一区二区| 一区二区三区精品91| 日本a在线网址| 女性生殖器流出的白浆| 亚洲视频免费观看视频| 亚洲成人免费av在线播放| 少妇粗大呻吟视频| 国产精品一区二区精品视频观看| 怎么达到女性高潮| 色婷婷久久久亚洲欧美| 亚洲精品av麻豆狂野| 伦理电影免费视频| 久久久久久亚洲精品国产蜜桃av| 免费在线观看黄色视频的| 青草久久国产| 日韩人妻精品一区2区三区| 黄频高清免费视频| 国产一区二区三区综合在线观看| 日韩欧美一区视频在线观看| 精品一区二区三卡| 又紧又爽又黄一区二区| 亚洲中文日韩欧美视频| 一级毛片精品| 欧美日韩国产mv在线观看视频| 两性午夜刺激爽爽歪歪视频在线观看 | 亚洲国产精品sss在线观看 | 99国产综合亚洲精品| 精品久久久久久久毛片微露脸| 亚洲熟妇中文字幕五十中出 | 欧美黄色淫秽网站| 一区二区三区精品91| 亚洲精华国产精华精| 亚洲av日韩在线播放| 天天躁狠狠躁夜夜躁狠狠躁| 欧美日韩黄片免| 高清在线国产一区| 欧美国产精品一级二级三级| av网站在线播放免费| 国产人伦9x9x在线观看| 久久国产精品人妻蜜桃| 免费久久久久久久精品成人欧美视频| 国产成人欧美在线观看 | 在线观看免费午夜福利视频| 日韩大码丰满熟妇| 国产精品久久视频播放| 久久亚洲真实| 免费人成视频x8x8入口观看| 男女下面插进去视频免费观看| 欧美激情高清一区二区三区| 黄色视频,在线免费观看| 视频区欧美日本亚洲| 一本一本久久a久久精品综合妖精| 午夜福利一区二区在线看| 一进一出好大好爽视频| 国产精品久久久人人做人人爽| 亚洲 国产 在线| 中文亚洲av片在线观看爽 | 亚洲精品国产区一区二| 国产99白浆流出| 黄色 视频免费看| 精品一区二区三区视频在线观看免费 | 韩国av一区二区三区四区| 精品卡一卡二卡四卡免费| 色播在线永久视频| 9191精品国产免费久久| 欧美不卡视频在线免费观看 | 亚洲色图av天堂| 下体分泌物呈黄色| 水蜜桃什么品种好| 黑人猛操日本美女一级片| 亚洲成a人片在线一区二区| 久久精品国产99精品国产亚洲性色 | 亚洲精品中文字幕在线视频| 亚洲精品国产区一区二| 免费在线观看影片大全网站| 少妇 在线观看| 麻豆乱淫一区二区| 久久婷婷成人综合色麻豆| 久久久久久免费高清国产稀缺| 老汉色∧v一级毛片| 97人妻天天添夜夜摸| 老司机在亚洲福利影院| 久久ye,这里只有精品| 一级片'在线观看视频| 99热网站在线观看| av片东京热男人的天堂| 欧美黄色淫秽网站| 日本wwww免费看| av福利片在线| 午夜精品久久久久久毛片777| 欧美乱妇无乱码| 一级作爱视频免费观看| 最新的欧美精品一区二区| 中亚洲国语对白在线视频| 亚洲av第一区精品v没综合| 香蕉丝袜av| 午夜亚洲福利在线播放| 黑丝袜美女国产一区| 女性生殖器流出的白浆| 久久久国产精品麻豆| 黄色视频不卡| 电影成人av| 免费不卡黄色视频| 777米奇影视久久| av天堂久久9| 中文字幕av电影在线播放| 日日爽夜夜爽网站| 亚洲午夜理论影院| 一本综合久久免费| 看免费av毛片| 精品卡一卡二卡四卡免费| 欧美人与性动交α欧美软件| 不卡av一区二区三区| 亚洲成人免费电影在线观看| 欧美日韩黄片免| 91字幕亚洲| videos熟女内射| 亚洲国产精品sss在线观看 | 久久人妻熟女aⅴ| 亚洲精华国产精华精| 国产欧美日韩一区二区精品| 免费不卡黄色视频| 99热网站在线观看| 首页视频小说图片口味搜索| 欧美丝袜亚洲另类 | 国产精品自产拍在线观看55亚洲 | 亚洲自偷自拍图片 自拍| 纯流量卡能插随身wifi吗| 在线永久观看黄色视频| 日韩视频一区二区在线观看| 午夜亚洲福利在线播放| 大型av网站在线播放| 亚洲精华国产精华精| 一区在线观看完整版| 免费观看a级毛片全部| 一进一出抽搐动态| 欧美成狂野欧美在线观看| av福利片在线| 亚洲色图 男人天堂 中文字幕| 国产欧美日韩一区二区精品| 嫁个100分男人电影在线观看| 在线观看日韩欧美| 亚洲免费av在线视频| 欧美另类亚洲清纯唯美| 91老司机精品| 国产在视频线精品| 午夜免费成人在线视频| 美女高潮喷水抽搐中文字幕| 交换朋友夫妻互换小说| 一进一出抽搐动态| 亚洲在线自拍视频| 成人精品一区二区免费| 精品国产国语对白av| 中文字幕精品免费在线观看视频| 色婷婷久久久亚洲欧美| 麻豆乱淫一区二区| 国产99白浆流出| 女人被躁到高潮嗷嗷叫费观| 国产亚洲精品第一综合不卡| 日韩精品免费视频一区二区三区| 女性生殖器流出的白浆| 欧美日韩亚洲综合一区二区三区_| 大陆偷拍与自拍| 亚洲第一av免费看| 欧美日韩黄片免| 日韩欧美国产一区二区入口| 国产成人系列免费观看| 久久天堂一区二区三区四区| 国产精品九九99| 波多野结衣av一区二区av| avwww免费| 80岁老熟妇乱子伦牲交| 国产一区二区激情短视频| 99精国产麻豆久久婷婷| 黄色视频,在线免费观看| 国产精品久久久久久人妻精品电影| 大香蕉久久成人网| x7x7x7水蜜桃| 国产成人一区二区三区免费视频网站| 成人三级做爰电影| 亚洲色图综合在线观看| 咕卡用的链子| 久热爱精品视频在线9| 黑人巨大精品欧美一区二区蜜桃| 亚洲国产看品久久| 成年动漫av网址| 亚洲av日韩精品久久久久久密| 交换朋友夫妻互换小说| 国产成人影院久久av| 99久久国产精品久久久| 国产精品欧美亚洲77777| 怎么达到女性高潮| 激情在线观看视频在线高清 | 老熟女久久久| 精品国产一区二区三区四区第35| 99国产精品免费福利视频| 久久人妻熟女aⅴ| 两性夫妻黄色片| 99久久综合精品五月天人人| netflix在线观看网站| 欧美日韩亚洲高清精品| 亚洲男人天堂网一区| 视频区欧美日本亚洲| 在线看a的网站| 麻豆国产av国片精品| 精品久久蜜臀av无| 亚洲欧美日韩高清在线视频| 国产免费男女视频| 激情视频va一区二区三区| 国产亚洲一区二区精品| 黑人巨大精品欧美一区二区蜜桃| 黄色女人牲交| 午夜福利在线免费观看网站| 久久精品成人免费网站| 亚洲一卡2卡3卡4卡5卡精品中文| 大码成人一级视频| 夜夜躁狠狠躁天天躁| 国产成+人综合+亚洲专区| 欧美成人午夜精品| 免费黄频网站在线观看国产| 国产精品一区二区在线观看99| 精品熟女少妇八av免费久了| 精品少妇久久久久久888优播| 亚洲三区欧美一区| 国产精品久久久人人做人人爽| 国产成人精品久久二区二区91| 国产单亲对白刺激| 91九色精品人成在线观看| 18禁观看日本| 国内毛片毛片毛片毛片毛片| 黑人欧美特级aaaaaa片| 亚洲美女黄片视频| 亚洲国产欧美一区二区综合| 91大片在线观看| 亚洲伊人色综图| 中国美女看黄片| 亚洲av片天天在线观看| 少妇被粗大的猛进出69影院| 国产麻豆69| 女人爽到高潮嗷嗷叫在线视频| 国产淫语在线视频| 欧美色视频一区免费| 亚洲色图综合在线观看| 伊人久久大香线蕉亚洲五| a级毛片在线看网站| 中文字幕av电影在线播放| 国产一区在线观看成人免费| 亚洲精品自拍成人| 免费一级毛片在线播放高清视频 | 亚洲一区二区三区欧美精品| 亚洲精品久久午夜乱码| 久久香蕉精品热| 捣出白浆h1v1| 欧美日韩一级在线毛片| 脱女人内裤的视频| 三上悠亚av全集在线观看| 国产一区二区三区在线臀色熟女 | 18在线观看网站| 国产亚洲欧美精品永久| 国产精品久久久久成人av| 黑人巨大精品欧美一区二区蜜桃| 欧美激情极品国产一区二区三区| 99精品久久久久人妻精品| 亚洲欧美日韩高清在线视频| av免费在线观看网站| 欧美在线黄色| 日本a在线网址| 777米奇影视久久| 欧美性长视频在线观看| 搡老岳熟女国产| 亚洲欧美一区二区三区黑人| 中文字幕色久视频| 无限看片的www在线观看| 精品亚洲成国产av| 中文字幕另类日韩欧美亚洲嫩草| 精品无人区乱码1区二区| 久久国产亚洲av麻豆专区| 每晚都被弄得嗷嗷叫到高潮| 99国产精品免费福利视频| 嫁个100分男人电影在线观看| 黄色丝袜av网址大全| 手机成人av网站| 国产又爽黄色视频| 久久香蕉国产精品| 99香蕉大伊视频| 免费一级毛片在线播放高清视频 | 香蕉丝袜av| 亚洲成国产人片在线观看| 亚洲午夜理论影院| 99国产极品粉嫩在线观看| 19禁男女啪啪无遮挡网站| 亚洲一卡2卡3卡4卡5卡精品中文| 精品国产乱子伦一区二区三区| 国产高清视频在线播放一区| 亚洲熟妇熟女久久| 国产精品美女特级片免费视频播放器 | 精品免费久久久久久久清纯 | 飞空精品影院首页| 亚洲熟妇熟女久久| 18禁黄网站禁片午夜丰满| 久久国产亚洲av麻豆专区| 欧美+亚洲+日韩+国产| 一个人免费在线观看的高清视频| 热99re8久久精品国产| 精品国产国语对白av| 午夜影院日韩av| 狠狠婷婷综合久久久久久88av| 成人国语在线视频| 欧美性长视频在线观看| 午夜福利欧美成人| 中亚洲国语对白在线视频| 成熟少妇高潮喷水视频| 97人妻天天添夜夜摸| 国产不卡av网站在线观看| 国产精品成人在线| 91精品国产国语对白视频| 亚洲精品在线观看二区| 中文字幕另类日韩欧美亚洲嫩草| 在线av久久热| 色婷婷久久久亚洲欧美| 精品一品国产午夜福利视频| 久久精品成人免费网站| 久久人妻av系列| 国产一区二区三区视频了| 亚洲精品美女久久av网站| 欧美日韩一级在线毛片| 9191精品国产免费久久| 久久久国产欧美日韩av| 国产成人精品无人区| 正在播放国产对白刺激| 动漫黄色视频在线观看| 亚洲熟妇熟女久久| 两人在一起打扑克的视频| 国产精品久久久久成人av| 午夜福利欧美成人| 久久精品成人免费网站| 人人妻人人添人人爽欧美一区卜| 日韩免费av在线播放| 黄色视频,在线免费观看| 老司机午夜福利在线观看视频| 一边摸一边抽搐一进一出视频| 1024香蕉在线观看| 亚洲熟女精品中文字幕| 日日爽夜夜爽网站| 亚洲少妇的诱惑av| 大型av网站在线播放| 久久ye,这里只有精品| 亚洲精品中文字幕在线视频| 女人久久www免费人成看片| 极品人妻少妇av视频| 又黄又粗又硬又大视频| 久久狼人影院| 中亚洲国语对白在线视频| av天堂久久9| 欧美亚洲日本最大视频资源| 老汉色av国产亚洲站长工具| 国产国语露脸激情在线看| 国产在视频线精品| 国产高清激情床上av| 在线av久久热| 女人被躁到高潮嗷嗷叫费观| 这个男人来自地球电影免费观看| 最新美女视频免费是黄的| ponron亚洲| 两个人免费观看高清视频| 亚洲五月天丁香| 国产精品欧美亚洲77777| 午夜福利影视在线免费观看| 80岁老熟妇乱子伦牲交| 亚洲熟女精品中文字幕| 午夜91福利影院| 久久久精品免费免费高清| 欧美人与性动交α欧美精品济南到| 亚洲午夜理论影院| 精品人妻在线不人妻| 午夜精品久久久久久毛片777| 韩国av一区二区三区四区| 一级a爱片免费观看的视频| 色精品久久人妻99蜜桃| 我的亚洲天堂| 国产成人系列免费观看| 国产精华一区二区三区| 丝袜美足系列| av欧美777| 午夜精品久久久久久毛片777| 欧美人与性动交α欧美软件| 国产欧美日韩一区二区三| 99久久国产精品久久久| a级毛片黄视频| 亚洲精品美女久久av网站| 久久精品国产99精品国产亚洲性色 | 日韩欧美在线二视频 | 久久精品91无色码中文字幕| 精品高清国产在线一区| 日韩欧美一区视频在线观看| 精品熟女少妇八av免费久了| 下体分泌物呈黄色| 视频区欧美日本亚洲| 啦啦啦视频在线资源免费观看| 国产又爽黄色视频| 别揉我奶头~嗯~啊~动态视频| 欧美精品啪啪一区二区三区| 捣出白浆h1v1| 精品午夜福利视频在线观看一区| 老司机靠b影院| 国产精品久久久久久人妻精品电影| 怎么达到女性高潮| 精品一区二区三卡| 午夜精品久久久久久毛片777| 一边摸一边抽搐一进一出视频| 日本黄色日本黄色录像| 国产激情久久老熟女| 91字幕亚洲| 国产成人影院久久av| 香蕉久久夜色| 高清视频免费观看一区二区| 久久久久久亚洲精品国产蜜桃av| 天堂俺去俺来也www色官网| 满18在线观看网站| 免费一级毛片在线播放高清视频 | 99热网站在线观看| 婷婷成人精品国产| 老鸭窝网址在线观看| av电影中文网址| 国产一区二区三区综合在线观看| 夫妻午夜视频| videos熟女内射| 欧美人与性动交α欧美精品济南到| 国产精品98久久久久久宅男小说| 日韩熟女老妇一区二区性免费视频| 国产高清videossex| 一级a爱片免费观看的视频| 久久这里只有精品19| 国产99白浆流出| 亚洲黑人精品在线| 亚洲av成人一区二区三| 人妻一区二区av| 亚洲精品国产一区二区精华液| www.自偷自拍.com| 香蕉国产在线看| 国产精品一区二区精品视频观看| 成在线人永久免费视频| 夜夜躁狠狠躁天天躁| 久久久精品免费免费高清| 十分钟在线观看高清视频www| 美女视频免费永久观看网站| 免费人成视频x8x8入口观看| 欧美日韩国产mv在线观看视频| 中文字幕人妻丝袜一区二区| 人妻久久中文字幕网| 国产精品影院久久| 国产欧美日韩一区二区精品| 国产精品1区2区在线观看. | av福利片在线| 国产视频一区二区在线看| 亚洲av日韩在线播放| 在线观看舔阴道视频| 欧美激情极品国产一区二区三区| 伦理电影免费视频| 欧美在线黄色| 十分钟在线观看高清视频www| ponron亚洲| 一区二区三区精品91| 9热在线视频观看99| 性色av乱码一区二区三区2| 一区二区三区国产精品乱码| 99国产精品免费福利视频| 亚洲精品国产色婷婷电影| 天天躁狠狠躁夜夜躁狠狠躁| 人人妻人人澡人人看| 国产无遮挡羞羞视频在线观看| 1024视频免费在线观看| 757午夜福利合集在线观看| 亚洲性夜色夜夜综合| 一级毛片高清免费大全| 亚洲av成人av| 两个人看的免费小视频| 黄色女人牲交| 国产男女内射视频| 一级a爱片免费观看的视频| 夜夜夜夜夜久久久久| 伊人久久大香线蕉亚洲五| 欧美色视频一区免费| 日本黄色视频三级网站网址 | 天天躁日日躁夜夜躁夜夜| 岛国毛片在线播放| 淫妇啪啪啪对白视频| 日韩欧美三级三区| 亚洲精品国产色婷婷电影| 久久精品熟女亚洲av麻豆精品| 欧美黄色淫秽网站| 亚洲伊人色综图| 精品无人区乱码1区二区| 亚洲专区中文字幕在线| 99热国产这里只有精品6| 欧美 日韩 精品 国产| 亚洲一卡2卡3卡4卡5卡精品中文| 亚洲精品在线美女| 中文欧美无线码| 麻豆乱淫一区二区| 国产黄色免费在线视频| 激情视频va一区二区三区| 国产欧美日韩综合在线一区二区| 99国产极品粉嫩在线观看| 久久久国产成人精品二区 | 欧美亚洲日本最大视频资源| 久久性视频一级片| 久久久精品区二区三区| 大香蕉久久成人网| 亚洲三区欧美一区| 国产成人影院久久av| 亚洲成人免费电影在线观看| 一进一出抽搐动态| 国产精品久久久av美女十八| 高清av免费在线| 午夜福利,免费看| 王馨瑶露胸无遮挡在线观看| 69av精品久久久久久| 老司机在亚洲福利影院| cao死你这个sao货| 水蜜桃什么品种好| 一级,二级,三级黄色视频| 97人妻天天添夜夜摸| 一级,二级,三级黄色视频| 久久国产精品影院| 大香蕉久久成人网|