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

    CBTC區(qū)域控制器切換場(chǎng)景的建模與驗(yàn)證

    2022-05-17 10:15:32孫維正曠文珍
    關(guān)鍵詞:分界線子網(wǎng)車載

    孫維正,曠文珍,2

    (1.蘭州交通大學(xué) 自動(dòng)化與電氣工程學(xué)院,甘肅 蘭州 730070;2.甘肅省工業(yè)交通自動(dòng)化工程技術(shù)研究中心,甘肅 蘭州 730070)

    隨著計(jì)算機(jī)技術(shù)和無線通信技術(shù)的快速發(fā)展,對(duì)于城市軌道交通通信方式的研究重點(diǎn)現(xiàn)已由有線信息傳輸轉(zhuǎn)向無線網(wǎng)絡(luò)通信,基于通信的列車運(yùn)行控制系統(tǒng)逐漸成為了我國(guó)城市軌道交通的重要組成部分[1]。CBTC系統(tǒng)是典型的高安全性和實(shí)時(shí)性關(guān)鍵系統(tǒng),其對(duì)乘客的生命財(cái)產(chǎn)安全至關(guān)重要,在實(shí)際線路試驗(yàn)之前必須進(jìn)行嚴(yán)格的仿真測(cè)試。因此,采用合適的建模方法構(gòu)建符合CBTC系統(tǒng)功能需求的模型對(duì)列車高效、安全運(yùn)行具有重要意義。目前,國(guó)內(nèi)外對(duì)Petri網(wǎng)的運(yùn)用以及對(duì)CBTC的建模與仿真做了許多研究,德國(guó)學(xué)者HUNGAR等[2]以現(xiàn)有的ERTMS/ETCS規(guī)范為基礎(chǔ),采用有色Petri網(wǎng)構(gòu)建了一個(gè)列控系統(tǒng)的形式化模型。張友兵等[3-4]采用有色Petri網(wǎng)對(duì)CTCS系統(tǒng)的無線閉塞中心RBC切換進(jìn)行了建模和分析,對(duì)不同數(shù)量車載電臺(tái)RBC的切換時(shí)間和成功率進(jìn)行了分析。有色Petri網(wǎng)有直觀的圖形表示并對(duì)顏色屬性進(jìn)行了拓展,但其對(duì)時(shí)間的建模還是很困難。楊旭文[5]采用UML建模方法對(duì)CBTC區(qū)域控制器的移動(dòng)授權(quán)(MA)生成功能進(jìn)行了建模與分析,并對(duì)SCADE所提供的基于系統(tǒng)模型的覆蓋率進(jìn)行了分析。UML是一種半形式化建模方法,不能對(duì)構(gòu)建的模型進(jìn)行檢驗(yàn),具有一定的局限性,對(duì)系統(tǒng)的驗(yàn)證和分析帶來一定的困難。張鵬基[6]采用時(shí)間自動(dòng)機(jī)建模法對(duì)CBTC系統(tǒng)建立了進(jìn)路控制過程中各子模塊的模型。時(shí)間自動(dòng)機(jī)是一種形式化建模方法,適合描述反應(yīng)式離散數(shù)學(xué)系統(tǒng),但構(gòu)造復(fù)雜系統(tǒng)時(shí)間自動(dòng)機(jī)模型的工作量太大,不適合描述具有并發(fā)狀態(tài)的連續(xù)系統(tǒng)。區(qū)域控制器是CBTC系統(tǒng)中安全性、實(shí)時(shí)性要求較高的地面設(shè)備,僅僅依靠傳統(tǒng)的建模語言無法完全描述ZC邊界切換時(shí)車載與地面的信息交互過程,因此需要一種能夠描述復(fù)雜系統(tǒng)的建模方法對(duì)其進(jìn)行分層建模。對(duì)比現(xiàn)有的有色Petri網(wǎng)、UML以及時(shí)間自動(dòng)機(jī)等單一的建模方法,利用UML結(jié)合層次時(shí)間有色Petri網(wǎng)(HTCPN)建立的模型可以直接用建模工具CPN Tools進(jìn)行驗(yàn)證和分析。對(duì)于分析ZC邊界切換這種復(fù)雜過程,采用UML模型可以直觀地描述ZC系統(tǒng)的功能需求和邊界切換過程;引入分層結(jié)構(gòu)可以簡(jiǎn)化系統(tǒng)結(jié)構(gòu),減小系統(tǒng)驗(yàn)證復(fù)雜度;引入時(shí)間戳可以描述ZC邊界切換時(shí)車載與地面的通信周期,符合系統(tǒng)并發(fā)性、實(shí)時(shí)性的要求[7]。本文選用兩者相結(jié)合的集成建模方法更加適用于ZC切換場(chǎng)景,能夠解決系統(tǒng)空間爆炸問題,更有效地表現(xiàn)出系統(tǒng)的功能及結(jié)構(gòu),更加適用于復(fù)雜系統(tǒng)的建模。

    1 ZC邊界切換功能需求分析

    區(qū)域控制器ZC通過與車載VOBC、列車自動(dòng)監(jiān)督系統(tǒng)ATS、數(shù)據(jù)儲(chǔ)存單元DSU以及聯(lián)鎖CI之間進(jìn)行頻繁的通信來保證列車的安全運(yùn)行[8]。ZC的具體功能有:線路狀態(tài)信息管理、列車的登錄與注銷、列車追蹤、ZC邊界切換和移動(dòng)授權(quán)(MA)生成[9]。

    由于列車在線路上運(yùn)行的過程中只受其所占區(qū)段的區(qū)域控制器控制,所以當(dāng)列車越過2個(gè)區(qū)域控制器間的分界線,從一個(gè)ZC控制區(qū)域進(jìn)入另一個(gè)ZC控制區(qū)域時(shí),控制該列車的區(qū)域控制器應(yīng)該從移交ZC(ZC1)切換至接管ZC(ZC2)[10]。ZC邊界切換如圖1所示,具體切換流程如下:

    圖1 ZC切換示意圖Fig.1 ZC switching diagram

    1)切換請(qǐng)求:當(dāng)列車即將到達(dá)分界線時(shí),車載VOBC向移交ZC發(fā)送越界授權(quán)請(qǐng)求,移交ZC向接管ZC發(fā)送越界預(yù)告。接管ZC會(huì)將下一區(qū)段的進(jìn)路狀況發(fā)送給移交ZC,移交ZC再結(jié)合本區(qū)段的進(jìn)路情況計(jì)算混合MA發(fā)送給車載VOBC。

    2)通信請(qǐng)求:當(dāng)列車車頭到達(dá)分界線時(shí),車載VOBC向接管ZC發(fā)送通信請(qǐng)求。通信連接成功后列車只接收移交ZC計(jì)算發(fā)送的MA,車載和接管ZC只保持通信關(guān)系。

    3)登錄請(qǐng)求:當(dāng)列車車尾越過分界線時(shí),車載VOBC請(qǐng)求登錄接管ZC。接管ZC收到申請(qǐng)后向車載發(fā)送數(shù)據(jù)庫版本信息,當(dāng)列車數(shù)據(jù)庫版本與ZC數(shù)據(jù)庫版本兼容時(shí),列車登錄成功[11]。

    4)注銷請(qǐng)求:當(dāng)列車最小安全末端越過分界線時(shí),車載VOBC向移交ZC發(fā)送注銷請(qǐng)求,同時(shí)向接管ZC發(fā)送接管請(qǐng)求。當(dāng)接管ZC收到移交ZC發(fā)送的列車注銷信息后正式控制列車,ZC邊界切換結(jié)束。

    2 ZC邊界切換模型的構(gòu)建

    2.1 構(gòu)建ZC邊界切換UML模型

    UML是面向?qū)ο蠹夹g(shù)發(fā)展和軟件系統(tǒng)描述標(biāo)準(zhǔn)化、可視化、文檔化的產(chǎn)物,包括用例圖、順序圖和狀態(tài)圖等9種圖形[12]。根據(jù)ZC邊界切換具體流程構(gòu)建UML用例圖、順序圖和狀態(tài)圖。如圖2所示,用例圖描述了參與者和用例之間的關(guān)系,參與者包括車載VOBC,移交ZC(ZC1)和接管ZC(ZC2),它們之間的用例關(guān)系包括正??剀?Nor‐mal)、位置報(bào)告(Train Location)、進(jìn)路信息(Access Information)、斷 開 通 信(Disconnect Communica‐tion)和建立通信(Connect Communication)。

    圖2 ZC切換UML用例圖模型Fig.2 ZCswitch UML use case diagram model

    順序圖反映了ZC1,ZC2和車載VOBC之間的協(xié)作關(guān)系,說明了車載在不同位置、不同狀態(tài)下與ZC1和ZC2之間的交互過程以及發(fā)送消息的先后次序[12]。ZC邊界切換順序如圖3所示。

    圖3 ZC切換UML順序圖模型Fig.3 ZCswitch UML sequence diagram model

    狀態(tài)圖顯示了車載VOBC在ZC邊界切換過程中的狀態(tài)變化,描述了車載VOBC在切換過程中所有歷程,ZC邊界切換過程中列車狀態(tài)的轉(zhuǎn)換如圖4所示。

    圖4 ZC切換UML狀態(tài)圖模型Fig.4 ZCswitch UML state diagram model

    2.2 UML模型向CPN模型轉(zhuǎn)換

    UML模型和CPN模型之間存在較大的語義差異,如果采用圖形轉(zhuǎn)換方法的話,很難確定雙方對(duì)應(yīng)的關(guān)系[13]。

    本文通過UML模型中各類節(jié)點(diǎn)與CPN模型嚴(yán)格的一一對(duì)應(yīng)關(guān)系,將UML模型中的元素提取為不同類型的節(jié)點(diǎn),形成UML模型向CPN模型轉(zhuǎn)移的中間模型。中間模型的節(jié)點(diǎn)分為5種類型,分別是簡(jiǎn)單節(jié)點(diǎn)、流程結(jié)構(gòu)類節(jié)點(diǎn)、功能類節(jié)點(diǎn)、復(fù)合節(jié)點(diǎn)和資源類節(jié)點(diǎn)[14],表1為UML模型向CPN模型轉(zhuǎn)移的簡(jiǎn)單規(guī)則,圖5為提取后的中間模型XML格式。

    圖5 提取后的中間模型Fig.5 Extracted intermediate model

    表1 UML向CPN的轉(zhuǎn)移規(guī)則Table 1 UML to CPN transfer rules

    2.3 構(gòu)建ZC邊界切換CPN模型

    有色Petri網(wǎng)模型中有3個(gè)重要的模型元素:庫所、變遷和有向弧[15?16]。在ZC切換過程中車載VOBC和ZC1,ZC2不斷進(jìn)行信息交互,由于其他學(xué)者構(gòu)建CPN模型是從ZC角度來考慮,本文CPN的頂層模型則通過車載VOBC在行進(jìn)中不同狀態(tài)及位置轉(zhuǎn)換的角度來建立。根據(jù)2.2節(jié)的轉(zhuǎn)移規(guī)則,將UML用例圖轉(zhuǎn)換為CPN模型的頂層模型,順序圖和狀態(tài)圖轉(zhuǎn)換為子模型,轉(zhuǎn)換后的CPN模型由庫所集P和變遷集T組成,如圖6所示。

    圖6 ZC切換頂層模型初始狀態(tài)Fig.6 ZCswitches the initial state of the top-level model

    CPN模型庫所集為:

    P={VOBC1,VOBC2,VOBC3,VOBC4,VOBC5,VOBC6}

    CPN模型變遷集為:

    T={Noraml,Near,F(xiàn)ront pass,Rear pass,MinRear pass}

    頂層中的每個(gè)變遷都是替代變遷,每個(gè)替代變遷代表列車相對(duì)于ZC分界線的不同位置。替代變遷相鄰的庫所為槽庫所,將ZC切換用例圖中唯一的系統(tǒng)外部角色車載VOBC映射為槽庫所,VOBC1到VOBC6代表車載不同位置時(shí)的不同狀態(tài)。

    CPN子模型為頂層模型中每個(gè)替代變遷細(xì)化后的部分,根據(jù)UML向CPN的轉(zhuǎn)移規(guī)則,將UML順序圖的對(duì)象ZC1,車載VOBC和ZC2,分別轉(zhuǎn)換為子網(wǎng)模型的主要庫所,將不同狀態(tài)下的車載VOBC設(shè)為輸入、輸出2個(gè)端口庫所,與頂層模型槽庫所相對(duì)應(yīng)。

    CPN模型顏色集、變量定義如下:

    colset MSG=string timed;

    colset MOG=bool with(no,yes)timed;

    colset MIG=int timed;

    colset MIGxMSG=product MIG*MSGtimed;

    colset MIGxMOG=product MIG*MOG timed;

    colset NetDelay=int with 200..500 timed;

    var m,n,q,e:MSG;

    var h,k:MOG;

    var s,p,r:MSG;

    fun Dec()=MOG.ran();

    fun Del()=NetDelay.ran();

    CBTC系統(tǒng)對(duì)車地通信技術(shù)傳輸通道分為地對(duì)車信息傳輸(下行無線鏈路)和車對(duì)地信息傳輸(上行無線鏈路)。無論是車對(duì)地信息傳輸還是地對(duì)車信息傳輸,它們的通信周期都為200~500 ms,因此本文CPN子模型中均采用在變遷中設(shè)置“@+Del()”離散分布函數(shù)(在200到500中隨機(jī)產(chǎn)生一個(gè)延時(shí)時(shí)間值)的方式來模擬車載VOBC和區(qū)域控制器之間的通信周期。

    圖7 ZC切換Normal子網(wǎng)模型Fig.7 ZCswitches Normal subnet model

    Normal子網(wǎng)模型是車載在ZC切換前以ATP模式正常行駛的狀態(tài),車載VOBC將位置信息(“Lo‐cation Report1”)發(fā)送給ZC1。ZC1會(huì)判斷列車是否接近分界線,若列車沒有接近,ZC1則向車載VOBC發(fā)送正??剀嚸钋伊熊嚂?huì)繼續(xù)向ZC1發(fā)送位置信息,列車;若列車接近,ZC1則向列車發(fā)送移交命令(“Handover1”)。

    圖8 ZC切換Near子網(wǎng)模型Fig.8 ZC switches Near subnet model

    圖9 ZC切換Front pass子網(wǎng)模型Fig.9 ZCswitches Front pass subnet model

    Near子網(wǎng)模型是列車最大前端接近ZC分界點(diǎn),車載VOBC將位置信息(“Location Report2”)和切換預(yù)告發(fā)送給ZC1。ZC1向ZC2進(jìn)行通信請(qǐng)求,請(qǐng)求ZC2發(fā)送下個(gè)區(qū)段進(jìn)路信息。ZC2會(huì)判斷是否有新的空閑進(jìn)路,若有空閑進(jìn)路,則將進(jìn)路狀態(tài)計(jì)算發(fā)送給ZC1,ZC1再將信息整合計(jì)算為混合MA發(fā)送給車載VOBC。

    圖10 ZC切換Rear pass子網(wǎng)模型Fig.10 ZCswitches Rear pass subnet model

    圖11 ZC切換MinRear pass子網(wǎng)模型Fig.11 ZCswitches MinRear pass subnet model

    Front pass子網(wǎng)模型是列車前端越過ZC分界線,車載VOBC將位置信息(“Location Report3”)發(fā)送給ZC1,同時(shí)向ZC2發(fā)送通信請(qǐng)求。ZC2收到請(qǐng)求后會(huì)發(fā)送回應(yīng)信息(“ACK”)。ZC1會(huì)判斷車載前端是否通過分界線,若前端通過分界線,則向列車發(fā)送移交命令(“Handover2”)。

    Rear pass子網(wǎng)模型是列車末端越過ZC分界線,車載VOBC將位置信息(“Location Report4”)發(fā)送給ZC1,ZC1會(huì)判斷列車末端是否越過分界線。若列車末端越過分界線,則向列車發(fā)送移交命令(“Handover3”),同時(shí)列車會(huì)向ZC2發(fā)送登錄申請(qǐng)。ZC2收到申請(qǐng)后將版本信息發(fā)送給車載VOBC,若可以匹配,則列車成功登錄ZC2。

    MinRear pass子網(wǎng)模型是列車最小安全末端越過ZC分界線,車載VOBC將位置信息(“Location Report5”)和登出請(qǐng)求發(fā)送給ZC1。若ZC1判斷為“MinRear Pass”,ZC1會(huì)向車載發(fā)送終止通信MA(“Termination”),ZC2接收到列車登出消息后正式控制列車并和ZC1結(jié)束通信,ZC邊界切換結(jié)束。

    3 CPN模型的驗(yàn)證與分析

    3.1 CPN模型的驗(yàn)證

    有色Petri網(wǎng)建模語言對(duì)模型的驗(yàn)證是利用CPN Tools的State space工具箱完成狀態(tài)空間自動(dòng)分析,本文采用狀態(tài)空間報(bào)告和ASK-CTL邏輯公式2種工具來驗(yàn)證所構(gòu)建的CPN模型。

    1)狀態(tài)空間報(bào)告:針對(duì)模型本身的屬性,將模型的狀態(tài)空間進(jìn)行窮舉搜索,從而獲得模型的家態(tài)性、活性及公平性等動(dòng)態(tài)屬性信息。為避免偶然因素造成誤差,本文采用CPN Tools軟件對(duì)所構(gòu)建的CPN模型進(jìn)行500次仿真得到如圖12所示的頂層模型仿真結(jié)果和如圖13所示的狀態(tài)空間報(bào)告。

    圖12 ZC切換頂層模型仿真結(jié)果Fig.12 ZCswitch top model simulation results

    圖13 ZC切換自循環(huán)終端驗(yàn)證Fig.13 ZCswitching self-circulation terminal verification

    由于列車在行進(jìn)過程中不斷與ZC進(jìn)行信息交互,因此邊界切換過程會(huì)不斷重復(fù)來保證ZC能夠?qū)崟r(shí)控制列車安全運(yùn)行。本文只取一次ZC邊界切換過程進(jìn)行分析,每個(gè)VOBC庫所的Token值代表列車在不同位置時(shí)車載接收到的信息,具體信息含義如表2所示。

    2)ASK-CTL邏輯公式:通過對(duì)系統(tǒng)模型進(jìn)行系統(tǒng)邏輯性的驗(yàn)證分析(系統(tǒng)的自循環(huán)終端特性、死鎖特性等)來證明系統(tǒng)模型是否可執(zhí)行,從而得出構(gòu)建的CPN模型是否滿足系統(tǒng)規(guī)范要求的規(guī)則以及各組件之間的交互是否符合規(guī)范流程。

    根據(jù)對(duì)CBTC系統(tǒng)需求規(guī)范中系統(tǒng)屬性的分析,對(duì)構(gòu)建的ZC切換CPN模型進(jìn)行了自循環(huán)終端檢測(cè)、死鎖和活鎖檢測(cè)驗(yàn)證。對(duì)所建CPN模型進(jìn)行自循環(huán)終端檢測(cè)是為了驗(yàn)證系統(tǒng)中死標(biāo)識(shí)的合理性,對(duì)模型執(zhí)行ASK-CTL公式得到的結(jié)果如圖13所示。

    活鎖是觀察狀態(tài)空間報(bào)告中“State Space”和“SCC Graph”節(jié)點(diǎn)和弧的數(shù)量,以此來檢查模型中是否存在死循環(huán)。

    3.2 模型驗(yàn)證結(jié)果分析

    根據(jù)模型驗(yàn)證結(jié)果分析系統(tǒng)的屬性,只有系統(tǒng)模型的動(dòng)態(tài)屬性符合系統(tǒng)功能需求且模型不存在死鎖和活鎖,才能驗(yàn)證系統(tǒng)功能屬性的正確性[17]。

    1)ZC切換CPN模型動(dòng)態(tài)屬性

    由狀態(tài)空間報(bào)告可知模型的動(dòng)態(tài)屬性情況:

    ①家態(tài)性:模型不存在回歸性標(biāo)志,即系統(tǒng)不存在可重復(fù)運(yùn)行的狀態(tài)節(jié)點(diǎn)。

    ②活性:模型中存在一個(gè)死標(biāo)識(shí)意味著存在一個(gè)無法觸發(fā)的變遷,需要通過進(jìn)一步驗(yàn)證死鎖來證明死標(biāo)識(shí)的存在是否合理。

    ③公平性:公平性即模型每個(gè)變遷發(fā)生的頻率。由狀態(tài)空間報(bào)告可知,模型中沒有無窮發(fā)生序列,即模型各部分對(duì)資源的占用是公平的。

    2)ZC切換CPN模型自循環(huán)終端

    由圖13的驗(yàn)證結(jié)果“No self loop terminal!”可知CPN模型中不存在自循環(huán)終端,驗(yàn)證了系統(tǒng)模型中死標(biāo)識(shí)是合理的,系統(tǒng)模型正確。說明構(gòu)建的CPN模型滿足CBTC系統(tǒng)規(guī)范,滿足ZC邊界切換功能需求。

    3)ZC切換CPN模型無活鎖

    “State Space”中節(jié)點(diǎn)數(shù)和弧與“SCC Graph”中節(jié)點(diǎn)數(shù)和弧的數(shù)量相同,即同構(gòu)。說明系統(tǒng)模型不存在死循環(huán),系統(tǒng)中不存在活鎖。

    綜上所述,構(gòu)建的ZC邊界切換CPN模型動(dòng)態(tài)屬性正常且不存在死鎖和活鎖,因此ZC邊界切換過程是安全的,所構(gòu)建的模型是正確的[18]。

    4 結(jié)論

    1)分析了ZC邊界切換具體流程并對(duì)切換場(chǎng)景下車載VOBC、移交ZC和接管ZC之間的信息交互和各自狀態(tài)進(jìn)行了UML用例圖和順序圖的建模。根據(jù)UML模型向CPN模型轉(zhuǎn)移的規(guī)則,提取了UML模型向CPN轉(zhuǎn)移的中間模型。

    2)利用CPN Tools工具將中間模型構(gòu)建為CPN模型,并使用狀態(tài)空間報(bào)告和ASK-CTL公式對(duì)所建模型系統(tǒng)功能性質(zhì)進(jìn)行驗(yàn)證。根據(jù)驗(yàn)證結(jié)果分析得到系統(tǒng)功能模型的各種動(dòng)態(tài)屬性正常且無死鎖和活鎖,與系統(tǒng)需求規(guī)范一致。

    3)此外,文中提出的UML和HTCPN相結(jié)合的建模也適用于其他安全性要求較高的復(fù)雜系統(tǒng)建模驗(yàn)證研究。該建模方法可以更直觀的展現(xiàn)系統(tǒng)功能;引入的分層結(jié)構(gòu)可以大大減少系統(tǒng)空間爆炸的概率;添加的時(shí)間戳可以解決系統(tǒng)時(shí)序關(guān)系限制的問題,確保系統(tǒng)符合實(shí)時(shí)性、并發(fā)性的特點(diǎn),對(duì)安全苛求性要求較高的復(fù)雜系統(tǒng)的設(shè)計(jì)具有一定的參考意義。

    猜你喜歡
    分界線子網(wǎng)車載
    一種簡(jiǎn)單子網(wǎng)劃分方法及教學(xué)案例*
    神回復(fù)
    意林(2020年7期)2020-04-27 08:31:12
    高速磁浮車載運(yùn)行控制系統(tǒng)綜述
    子網(wǎng)劃分問題研究及應(yīng)用
    余有畫說
    智能互聯(lián)勢(shì)不可擋 車載存儲(chǔ)需求爆發(fā)
    子網(wǎng)劃分的簡(jiǎn)易方法
    基于ZVS-PWM的車載隔離DC-DC的研究
    新型輕便式車載電子系統(tǒng)的結(jié)構(gòu)設(shè)計(jì)
    基于安全協(xié)議的虛擬專用子網(wǎng)研究
    河南科技(2014年16期)2014-02-27 14:13:04
    欧美bdsm另类| 日韩成人在线观看一区二区三区| 国产视频一区二区在线看| 琪琪午夜伦伦电影理论片6080| 美女cb高潮喷水在线观看| 久久精品国产亚洲av涩爱 | 99久久精品热视频| 亚洲中文日韩欧美视频| 久久精品国产亚洲av香蕉五月| 国产精品乱码一区二三区的特点| 亚洲男人的天堂狠狠| 亚洲一区二区三区不卡视频| 亚洲精华国产精华精| 九九久久精品国产亚洲av麻豆| 国产亚洲精品久久久久久毛片| 中文字幕人妻熟人妻熟丝袜美 | 欧美3d第一页| 制服丝袜大香蕉在线| 每晚都被弄得嗷嗷叫到高潮| 日韩精品中文字幕看吧| 国产精品一区二区免费欧美| 老司机午夜福利在线观看视频| 中文字幕人妻丝袜一区二区| 色哟哟哟哟哟哟| 国产午夜精品论理片| 国产单亲对白刺激| 免费观看的影片在线观看| 免费看美女性在线毛片视频| 草草在线视频免费看| 欧美+日韩+精品| 亚洲精品乱码久久久v下载方式 | 国产成人影院久久av| 亚洲无线在线观看| av欧美777| 12—13女人毛片做爰片一| 久久精品国产亚洲av涩爱 | 中文字幕av成人在线电影| 欧美精品啪啪一区二区三区| 国产色爽女视频免费观看| 亚洲精品456在线播放app | 久久久久久久久中文| 国产久久久一区二区三区| 在线看三级毛片| 18美女黄网站色大片免费观看| 在线免费观看的www视频| 婷婷精品国产亚洲av在线| 精品不卡国产一区二区三区| 一区二区三区国产精品乱码| 一卡2卡三卡四卡精品乱码亚洲| 亚洲最大成人手机在线| 国产伦人伦偷精品视频| 国产免费av片在线观看野外av| 午夜影院日韩av| 在线观看免费视频日本深夜| 国内精品久久久久精免费| 中文字幕精品亚洲无线码一区| 18禁裸乳无遮挡免费网站照片| 欧美性感艳星| 国产国拍精品亚洲av在线观看 | 五月玫瑰六月丁香| 日韩欧美精品v在线| 成年女人看的毛片在线观看| 成人国产综合亚洲| 成人欧美大片| 欧美绝顶高潮抽搐喷水| 两个人看的免费小视频| 免费看日本二区| 亚洲人与动物交配视频| 俺也久久电影网| 久久久精品欧美日韩精品| 久久久久久久久大av| 中文字幕人成人乱码亚洲影| 久久久久久久久中文| 国产综合懂色| 级片在线观看| 丰满人妻熟妇乱又伦精品不卡| 久久精品国产99精品国产亚洲性色| 操出白浆在线播放| 岛国在线免费视频观看| 黄色视频,在线免费观看| 嫩草影院精品99| 少妇的逼好多水| 美女黄网站色视频| 免费电影在线观看免费观看| 午夜a级毛片| 搡老岳熟女国产| 91字幕亚洲| 我的老师免费观看完整版| 国产精品一区二区三区四区免费观看 | 国内少妇人妻偷人精品xxx网站| 亚洲专区国产一区二区| 国产精品一区二区三区四区免费观看 | 免费观看人在逋| 亚洲狠狠婷婷综合久久图片| 国产亚洲欧美在线一区二区| 丰满人妻一区二区三区视频av | 久久久久久久午夜电影| 国产一区二区亚洲精品在线观看| 十八禁网站免费在线| 男女床上黄色一级片免费看| 啦啦啦免费观看视频1| 日韩精品青青久久久久久| 悠悠久久av| 日本成人三级电影网站| 欧美最新免费一区二区三区 | 俺也久久电影网| 欧美乱妇无乱码| 一边摸一边抽搐一进一小说| 中文字幕人成人乱码亚洲影| 一区福利在线观看| 国模一区二区三区四区视频| 好男人在线观看高清免费视频| 精品乱码久久久久久99久播| 在线观看一区二区三区| 亚洲国产精品sss在线观看| 女人高潮潮喷娇喘18禁视频| 两个人的视频大全免费| 在线观看av片永久免费下载| 亚洲av二区三区四区| 亚洲在线观看片| 无人区码免费观看不卡| 日韩高清综合在线| 亚洲五月婷婷丁香| 国模一区二区三区四区视频| 亚洲精品久久国产高清桃花| 国产精品久久视频播放| 午夜老司机福利剧场| 午夜福利在线观看吧| 久久久久国内视频| 色精品久久人妻99蜜桃| 亚洲黑人精品在线| 欧美黑人巨大hd| 性色avwww在线观看| a在线观看视频网站| 男插女下体视频免费在线播放| 免费观看的影片在线观看| 久久久色成人| 黄片大片在线免费观看| 亚洲最大成人手机在线| 禁无遮挡网站| 欧美日韩福利视频一区二区| 操出白浆在线播放| 操出白浆在线播放| 桃色一区二区三区在线观看| 又爽又黄无遮挡网站| 成熟少妇高潮喷水视频| 中文在线观看免费www的网站| 国产精品永久免费网站| 99热这里只有是精品50| 国产av麻豆久久久久久久| 熟妇人妻久久中文字幕3abv| 麻豆成人av在线观看| 少妇熟女aⅴ在线视频| 搞女人的毛片| 欧美绝顶高潮抽搐喷水| 欧美日韩瑟瑟在线播放| 九九在线视频观看精品| 夜夜看夜夜爽夜夜摸| 精品国产超薄肉色丝袜足j| 在线播放国产精品三级| 日本在线视频免费播放| 精品久久久久久久久久久久久| 国产精品一区二区免费欧美| 日日摸夜夜添夜夜添小说| av专区在线播放| 91在线观看av| 在线观看66精品国产| 老熟妇乱子伦视频在线观看| 99久久九九国产精品国产免费| 欧美区成人在线视频| 成人特级黄色片久久久久久久| 精品一区二区三区视频在线观看免费| 99久久久亚洲精品蜜臀av| 亚洲真实伦在线观看| 99久久精品热视频| 国产免费av片在线观看野外av| 88av欧美| 久久久国产精品麻豆| 久久久久久久精品吃奶| 日韩高清综合在线| 亚洲欧美日韩高清专用| 国产成人av教育| 欧洲精品卡2卡3卡4卡5卡区| 观看免费一级毛片| 亚洲在线自拍视频| 亚洲国产欧美网| 欧美绝顶高潮抽搐喷水| 欧美精品啪啪一区二区三区| 国产精品一区二区三区四区免费观看 | 国产精品三级大全| 草草在线视频免费看| 国产私拍福利视频在线观看| 宅男免费午夜| 宅男免费午夜| 亚洲18禁久久av| 九色成人免费人妻av| 国产精品日韩av在线免费观看| 乱人视频在线观看| 男女视频在线观看网站免费| 午夜老司机福利剧场| 在线观看日韩欧美| av片东京热男人的天堂| 成年免费大片在线观看| 亚洲男人的天堂狠狠| 99热这里只有是精品50| 国产色婷婷99| 亚洲av中文字字幕乱码综合| 亚洲无线观看免费| 欧美+日韩+精品| 又黄又爽又免费观看的视频| 日韩精品中文字幕看吧| 午夜两性在线视频| 三级国产精品欧美在线观看| 男人舔奶头视频| 日本五十路高清| 丰满的人妻完整版| 中文字幕熟女人妻在线| 岛国在线免费视频观看| 色播亚洲综合网| 国产真实乱freesex| 麻豆成人午夜福利视频| 99久久精品国产亚洲精品| 欧美丝袜亚洲另类 | 日韩中文字幕欧美一区二区| 999久久久精品免费观看国产| 亚洲中文字幕一区二区三区有码在线看| 此物有八面人人有两片| 亚洲国产精品sss在线观看| 99热只有精品国产| 中文字幕熟女人妻在线| 精品久久久久久久末码| 非洲黑人性xxxx精品又粗又长| 亚洲男人的天堂狠狠| 国产在线精品亚洲第一网站| 可以在线观看毛片的网站| 国产亚洲精品一区二区www| 亚洲va日本ⅴa欧美va伊人久久| 搡老熟女国产l中国老女人| 国产精品99久久99久久久不卡| 国产午夜福利久久久久久| 此物有八面人人有两片| 2021天堂中文幕一二区在线观| 久久这里只有精品中国| 国产91精品成人一区二区三区| 国产国拍精品亚洲av在线观看 | 精品一区二区三区视频在线 | 999久久久精品免费观看国产| 国产午夜精品久久久久久一区二区三区 | 欧美一级毛片孕妇| 国产久久久一区二区三区| 久久国产精品人妻蜜桃| 国内精品久久久久精免费| 亚洲午夜理论影院| 日本熟妇午夜| 色老头精品视频在线观看| 小说图片视频综合网站| 神马国产精品三级电影在线观看| 亚洲精品一卡2卡三卡4卡5卡| 99久久九九国产精品国产免费| 波野结衣二区三区在线 | 日本熟妇午夜| 久久久久久久久中文| 日韩国内少妇激情av| 成年版毛片免费区| 国产老妇女一区| 91久久精品电影网| 亚洲真实伦在线观看| 99久久精品热视频| 日韩欧美三级三区| АⅤ资源中文在线天堂| 超碰av人人做人人爽久久 | 亚洲欧美日韩高清专用| 少妇的丰满在线观看| 尤物成人国产欧美一区二区三区| 亚洲在线观看片| 国产精品亚洲美女久久久| 国产黄片美女视频| 欧美又色又爽又黄视频| 婷婷六月久久综合丁香| 国产成年人精品一区二区| 亚洲无线在线观看| 国产精品久久久久久人妻精品电影| 一本久久中文字幕| 国产单亲对白刺激| 成人欧美大片| 欧美不卡视频在线免费观看| 悠悠久久av| 日本 av在线| a级毛片a级免费在线| 桃红色精品国产亚洲av| 欧美色欧美亚洲另类二区| 蜜桃久久精品国产亚洲av| 成人欧美大片| 又紧又爽又黄一区二区| 色在线成人网| 亚洲内射少妇av| 免费搜索国产男女视频| av女优亚洲男人天堂| 欧美一级毛片孕妇| 国产激情偷乱视频一区二区| 波野结衣二区三区在线 | 国产精品日韩av在线免费观看| 亚洲国产精品成人综合色| 国产中年淑女户外野战色| 欧美另类亚洲清纯唯美| 99精品在免费线老司机午夜| 国产免费男女视频| 99久久久亚洲精品蜜臀av| 久久99热这里只有精品18| 18禁在线播放成人免费| 好男人在线观看高清免费视频| 亚洲久久久久久中文字幕| 在线观看舔阴道视频| 国产一级毛片七仙女欲春2| 日本 av在线| 国产精品爽爽va在线观看网站| 久久午夜亚洲精品久久| 久久伊人香网站| 国内精品一区二区在线观看| 国产免费一级a男人的天堂| 国产主播在线观看一区二区| 一个人免费在线观看电影| 最近在线观看免费完整版| 久久人妻av系列| 国产精品国产高清国产av| 一区二区三区高清视频在线| 久久精品国产自在天天线| 少妇的逼好多水| 最近最新免费中文字幕在线| 桃色一区二区三区在线观看| 亚洲天堂国产精品一区在线| 757午夜福利合集在线观看| 国产精品综合久久久久久久免费| 亚洲美女视频黄频| 国内毛片毛片毛片毛片毛片| 国产中年淑女户外野战色| 欧美一级a爱片免费观看看| 精品福利观看| 婷婷精品国产亚洲av在线| 哪里可以看免费的av片| 性色avwww在线观看| 国产97色在线日韩免费| 午夜免费男女啪啪视频观看 | 怎么达到女性高潮| av福利片在线观看| 色在线成人网| 九九热线精品视视频播放| www.www免费av| 亚洲av电影不卡..在线观看| 中文资源天堂在线| 每晚都被弄得嗷嗷叫到高潮| 国产精品一区二区三区四区久久| 最后的刺客免费高清国语| 精品午夜福利视频在线观看一区| 少妇熟女aⅴ在线视频| 我的老师免费观看完整版| 99国产综合亚洲精品| 成年免费大片在线观看| 怎么达到女性高潮| 亚洲色图av天堂| 成人三级黄色视频| 俄罗斯特黄特色一大片| 精品一区二区三区视频在线 | 在线观看一区二区三区| 欧美在线一区亚洲| 日本黄色片子视频| 国产亚洲精品久久久com| 国产v大片淫在线免费观看| 熟妇人妻久久中文字幕3abv| 亚洲成人中文字幕在线播放| 淫秽高清视频在线观看| 久99久视频精品免费| 窝窝影院91人妻| 国产高潮美女av| 国产一区二区激情短视频| 国产美女午夜福利| 国产探花在线观看一区二区| 国产免费一级a男人的天堂| 国产精品一区二区三区四区久久| 午夜福利视频1000在线观看| 日本一本二区三区精品| 人妻夜夜爽99麻豆av| 哪里可以看免费的av片| 99在线视频只有这里精品首页| 国产 一区 欧美 日韩| 精品国产超薄肉色丝袜足j| 哪里可以看免费的av片| 国产成人av教育| a级一级毛片免费在线观看| 麻豆久久精品国产亚洲av| 床上黄色一级片| 亚洲人与动物交配视频| 啦啦啦韩国在线观看视频| 12—13女人毛片做爰片一| 久久久久久大精品| 国产美女午夜福利| 久久久久久久久中文| 亚洲 国产 在线| av在线天堂中文字幕| 精品午夜福利视频在线观看一区| 少妇高潮的动态图| 一区福利在线观看| 欧美zozozo另类| 国产精品 欧美亚洲| 在线a可以看的网站| 一进一出好大好爽视频| 欧美zozozo另类| 日本在线视频免费播放| 精品不卡国产一区二区三区| 国产精品久久久久久精品电影| 久久久久九九精品影院| 日韩欧美在线二视频| 91在线观看av| 久久精品国产综合久久久| 国产av麻豆久久久久久久| 成人亚洲精品av一区二区| 毛片女人毛片| 桃红色精品国产亚洲av| 亚洲五月天丁香| 操出白浆在线播放| 老师上课跳d突然被开到最大视频 久久午夜综合久久蜜桃 | a在线观看视频网站| 国产高清videossex| 亚洲中文字幕日韩| 中文字幕人成人乱码亚洲影| 日本免费a在线| 校园春色视频在线观看| 欧美区成人在线视频| www.999成人在线观看| 欧美色视频一区免费| 内地一区二区视频在线| 少妇熟女aⅴ在线视频| 九九久久精品国产亚洲av麻豆| 亚洲精品久久国产高清桃花| 国产在视频线在精品| 日本黄大片高清| 99在线人妻在线中文字幕| 女警被强在线播放| 99热精品在线国产| 国产一区二区三区视频了| 久久久成人免费电影| 69人妻影院| 久久性视频一级片| 日韩欧美在线乱码| 精华霜和精华液先用哪个| 91久久精品国产一区二区成人 | 色老头精品视频在线观看| 国产伦精品一区二区三区视频9 | 午夜久久久久精精品| 国产爱豆传媒在线观看| 国产精品自产拍在线观看55亚洲| 特大巨黑吊av在线直播| 久久精品91蜜桃| 欧美性感艳星| 国产精品 欧美亚洲| 日韩欧美 国产精品| 午夜亚洲福利在线播放| 亚洲不卡免费看| 成人av一区二区三区在线看| 最近视频中文字幕2019在线8| 校园春色视频在线观看| 成人av一区二区三区在线看| АⅤ资源中文在线天堂| 欧美日韩一级在线毛片| 手机成人av网站| 他把我摸到了高潮在线观看| 女警被强在线播放| 熟女电影av网| 超碰av人人做人人爽久久 | 制服人妻中文乱码| 精品人妻偷拍中文字幕| 国产精品 国内视频| 啦啦啦观看免费观看视频高清| 国产精品影院久久| 在线观看午夜福利视频| 看黄色毛片网站| 午夜a级毛片| 亚洲人成电影免费在线| 两性午夜刺激爽爽歪歪视频在线观看| a级一级毛片免费在线观看| 2021天堂中文幕一二区在线观| 91在线精品国自产拍蜜月 | 一区福利在线观看| 麻豆国产av国片精品| 欧美日韩国产亚洲二区| 久久99热这里只有精品18| 中文字幕精品亚洲无线码一区| 国产精品一区二区三区四区免费观看 | 精品国内亚洲2022精品成人| 男女午夜视频在线观看| 国产亚洲精品久久久com| 两性午夜刺激爽爽歪歪视频在线观看| 亚洲精品美女久久久久99蜜臀| 国产v大片淫在线免费观看| 悠悠久久av| 一边摸一边抽搐一进一小说| 熟妇人妻久久中文字幕3abv| 免费电影在线观看免费观看| 久久精品国产99精品国产亚洲性色| 一级黄色大片毛片| 免费看美女性在线毛片视频| 亚洲在线自拍视频| 亚洲精品日韩av片在线观看 | 国内久久婷婷六月综合欲色啪| 免费在线观看影片大全网站| 日本a在线网址| 成人欧美大片| 国产蜜桃级精品一区二区三区| 亚洲成人久久爱视频| 欧美最新免费一区二区三区 | 每晚都被弄得嗷嗷叫到高潮| 日本 欧美在线| 欧美乱色亚洲激情| 有码 亚洲区| 一本精品99久久精品77| 亚洲国产精品999在线| 亚洲成人久久爱视频| 中文亚洲av片在线观看爽| 亚洲欧美一区二区三区黑人| 波多野结衣巨乳人妻| 国产欧美日韩一区二区三| 久久久国产成人精品二区| 12—13女人毛片做爰片一| 午夜福利在线观看吧| 老司机深夜福利视频在线观看| 国产亚洲欧美在线一区二区| 最近最新中文字幕大全电影3| 亚洲片人在线观看| 美女高潮的动态| 欧美又色又爽又黄视频| 成年人黄色毛片网站| 网址你懂的国产日韩在线| 亚洲av一区综合| 午夜日韩欧美国产| 亚洲国产欧洲综合997久久,| 国产成人啪精品午夜网站| 欧美一区二区精品小视频在线| 男女视频在线观看网站免费| 在线观看舔阴道视频| 美女高潮喷水抽搐中文字幕| 婷婷丁香在线五月| 此物有八面人人有两片| 色精品久久人妻99蜜桃| 国产伦一二天堂av在线观看| 国产一区二区激情短视频| 中文字幕人妻熟人妻熟丝袜美 | 好男人在线观看高清免费视频| 欧美日韩精品网址| 亚洲狠狠婷婷综合久久图片| 高潮久久久久久久久久久不卡| 一a级毛片在线观看| 国产亚洲欧美98| 两个人的视频大全免费| 嫁个100分男人电影在线观看| 久久精品国产亚洲av涩爱 | 1024手机看黄色片| 99久久九九国产精品国产免费| 久久久久久大精品| 国产在视频线在精品| 91字幕亚洲| 一本久久中文字幕| 少妇高潮的动态图| 精品免费久久久久久久清纯| 18+在线观看网站| 久久久久久久久久黄片| 欧美成人免费av一区二区三区| 久久人人精品亚洲av| 国产淫片久久久久久久久 | av女优亚洲男人天堂| 白带黄色成豆腐渣| а√天堂www在线а√下载| 脱女人内裤的视频| 美女黄网站色视频| 国产精品久久电影中文字幕| 国产男靠女视频免费网站| 女警被强在线播放| 国内精品美女久久久久久| 夜夜爽天天搞| 91在线观看av| 亚洲内射少妇av| 99热这里只有是精品50| 国产蜜桃级精品一区二区三区| 国产亚洲欧美98| 大型黄色视频在线免费观看| 欧美成狂野欧美在线观看| 免费无遮挡裸体视频| 狠狠狠狠99中文字幕| 人人妻人人看人人澡| 国产av不卡久久| 人妻丰满熟妇av一区二区三区| 在线免费观看的www视频| 亚洲第一电影网av| 欧美bdsm另类| 免费看日本二区| 亚洲乱码一区二区免费版| 久久久久性生活片| 1000部很黄的大片| 国产精品嫩草影院av在线观看 | 三级国产精品欧美在线观看| 国产精品 国内视频| 欧美精品啪啪一区二区三区| 成人特级av手机在线观看| 看黄色毛片网站| a级毛片a级免费在线| 99久久精品一区二区三区| 床上黄色一级片| 中文字幕久久专区| 亚洲精品美女久久久久99蜜臀| 亚洲人成网站高清观看| 波多野结衣高清作品| 国产成人a区在线观看| 久久久久久久久久黄片| 亚洲国产中文字幕在线视频| 无遮挡黄片免费观看| 亚洲人与动物交配视频|