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

    RCC8的一致分割及其算法

    2015-04-14 12:28:34崔文正
    計算機工程與應(yīng)用 2015年1期
    關(guān)鍵詞:推理機子圖頂點

    崔文正

    中國科學(xué)院 數(shù)學(xué)與系統(tǒng)科學(xué)研究院,北京 100190

    1 引言

    區(qū)域連接演算(Region Connection Calculus,RCC)是一種用來進行空間定性表示和推理的形式化模型[1]。而RCC8是區(qū)域連接演算中最常用的一個子集。RCC[1]最早由Randell等人于1992年基于Clarke利用二元連接關(guān)系公理化分體拓撲學(xué)(Mereotopology)的工作提出[2-3],迄今20年取得了一系列重要的理論和應(yīng)用成果,研究內(nèi)容包括:RCC及其子集的推理可判定性[4-6];基于認知的RCC評價[7-8];RCC推理的復(fù)雜度[9-10];拓撲復(fù)合表分析[11]和拓撲關(guān)系擴展[12-13];集成多種空間、方向、時間、位置等信息的定性推理[14-17]等。

    RCC8規(guī)定了兩個空間區(qū)域間可能的八種基本關(guān)系。這些關(guān)系是DC(相離)、EC(外切)、EQ(相等)、PO(部分重合),TPP(內(nèi)切)和它的逆關(guān)系TPP-1,NTPP(真包含)和它的逆關(guān)系NTPP-1,圖1是這幾種關(guān)系的示意圖。這八種關(guān)系兩兩不相交,并且覆蓋了區(qū)域之間所有可能的關(guān)系,這種性質(zhì)的關(guān)系被稱為JEPD(Jointly Exhaustive and Pairwise Disjoint)關(guān)系,或者基關(guān)系。因為空間中任何兩個區(qū)域的關(guān)系只可能是其中的一種,所以可以用基關(guān)系來表示兩個空間區(qū)域之間確定的知識,而不確定的知識則可以用可能的關(guān)系的析取來表示。

    表1 RCC8復(fù)合運算表

    圖1 RCC8示意圖

    表1表示的是RCC8的基關(guān)系復(fù)合運算(·)表[18],表中的項目是行與列中基關(guān)系的復(fù)合結(jié)果。如三個區(qū)域x、y、z,x和y關(guān)系為TPP,y和z的關(guān)系為EC,由表中TPP和EC的復(fù)合結(jié)果,可以得到x和z的關(guān)系可能是DC或者EC。*代表全關(guān)系,所有基關(guān)系的析取。

    用約束來指定某兩個空間區(qū)域間為某個關(guān)系。RCC8的約束網(wǎng)絡(luò)由一個有限的空間區(qū)域集合和該集合上有限的約束集合構(gòu)成[19]。如果兩個空間區(qū)域在約束網(wǎng)絡(luò)中沒有約束,那么就認為它們的約束是全關(guān)系。為了方便使用圖論的定理和結(jié)果,定義了一種圖結(jié)構(gòu)來描述約束網(wǎng)絡(luò),稱為約束圖(見2.1節(jié))。

    如果有r?R,稱關(guān)系r是R的細化(refinement)。如果約束圖G′與G有相同的頂點集合,且對于任兩個頂點在G′中的約束關(guān)系r和在G中的約束關(guān)系R,都有r?R,稱G′是G的一個細化[18]。

    一個給定的約束圖G是一致的就意味著存在另一個約束圖G′是G的細化,并且G′中所有頂點之間的約束都是基關(guān)系。G′也被稱為G的一個一致解。一般求解約束圖的一致性是一個NP問題,要用回溯法求解,復(fù)雜度是指數(shù)級的。

    路徑一致性是一致性的一個必要條件,它只要求約束圖中任何三個區(qū)域構(gòu)成的約束圖都是一致的。路徑一致性算法的時間復(fù)雜度是O(n3)[10],將路徑一致性算法的運行結(jié)果稱為路徑一致性解。RCC8可處理子集指的是可以在多項式時間內(nèi)求解一致性的RCC8關(guān)系集合,如果將約束關(guān)系限制在RCC8的可處理子集、C8或Q8的話,路徑一致性和一致性等價[9]。

    現(xiàn)有的定性空間推理機有GQR[20]、PelletSpatial[21]、PyRCC8-?[22]。首先利用路徑一致性算法對約束圖進行路徑一致性檢查,然后對路徑一致性解使用回溯法進行一致性判定。

    對大型約束圖,求一致性解的回溯法代價太高,即便是路徑一致性算法,O(n3)的時間復(fù)雜度也是較高的。為了解決大型、稀疏的約束圖的一致性檢查問題,Huang證明了對于RCC8的可處理子集有Patchwork的性質(zhì)[23]。Sioutis和Koubarakis利用Patchwork性質(zhì)將約束圖三角化,以此提高路徑一致性推理效率[22]。Li和Huang等人討論了區(qū)間代數(shù)(IA)和RCC分解的方法[24-25],但是這些工作只對關(guān)系全部為基關(guān)系的約束圖有效。

    本文從圖論中的割和割集的概念出發(fā),提出一致分割的概念。目標是在保持一致性的條件下,將一個約束圖G分割成若干個不相交的子圖,通過檢查規(guī)模較小的子圖的一致性來判斷G的一致性,以此降低一致性檢查時間。第2章介紹了約束圖、分割、Patchwork等的基礎(chǔ)知識,并基于此提出了一致分割的定義及其成立的充分必要條件。第3章給出了兩個一致分割的充分條件和基于這兩個充分條件的高效的一致分割算法。第4章采用隨機生成的大型稀疏約束圖進行實驗,驗證了一致分割算法的有效性。

    2 一致分割

    本章介紹文章的主要內(nèi)容:約束圖的一致分割的定義和充分必要條件。這主要源自于圖論中的割的概念和RCC8的Patchwork[23]性質(zhì)。

    2.1 約束圖

    可以用約束圖來表示RCC8的約束網(wǎng)絡(luò)。一般情況下,約束圖應(yīng)該是一個有向圖。頂點v代表空間區(qū)域,而v1,v2之間的有向邊則代表v1,v2的約束。但如果經(jīng)過一步預(yù)處理,也可以使用無向圖來表示約束網(wǎng)絡(luò)。

    對任一個約束網(wǎng)絡(luò)都可以做如下預(yù)處理。假設(shè)約束網(wǎng)絡(luò)中vi,vj的約束為R,vj,vi的約束為Q:若Q和R不互逆,則將vi,vj的約束賦為R∩Q-1,vj,vi的約束賦為Q∩R-1,這樣使vi,vj和vj,vi的約束互逆;若Q=R=*(全關(guān)系),則刪除vi,vj和vj,vi的約束。顯然,經(jīng)過預(yù)處理的約束網(wǎng)絡(luò)仍與原約束網(wǎng)絡(luò)等價。經(jīng)過預(yù)處理就可以用無向圖來描述約束網(wǎng)絡(luò)。

    定義1(約束圖)約束圖G=(V,E)是一個無向圖,V,E分別是圖的頂點集和邊集,有V={vi|0≤i≤n},E={(vi,vj,R)|0≤i<j≤n,(vi,vj)∈R,(vj,vi)∈R-1} 。約束圖中沒有邊連接的頂點對(vi,vj)表示有約束(vi,vj)∈*成立,*為全關(guān)系。

    定義2(分割和割集)約束圖G=(V,E)的分割S=(G1,G2),其中Gk=(Vk,Ek),V1∩V2= ? ,Ek={(vi,vj,R)∈E|vi,vj∈Vk} ,k=1,2 。 割 集Scut={(u,v,R)∈E|u∈G1,v∈G2}。

    定義3(橋)橋是割集元素數(shù)為1的分割。

    定義4(誘導(dǎo)子圖)對于約束圖G=(V,E)和其子圖H=(V1,E1),如果V1?V,有E1={(vi,vj,R)∈E|vi,vj∈V1},那么稱H為G的誘導(dǎo)子圖,記為H=GV1。

    值得注意的是誘導(dǎo)子圖的這個表示方法將在與Patchwork相關(guān)的工作中被頻繁用到,它代表的含義就是由圖G中一部分頂點和這些頂點在G所有邊構(gòu)成的子圖。另外,VG代表圖G的頂點集合。

    2.2 Patchwork

    Patchwork性質(zhì):如果兩個一致的約束圖的一致解在共有的頂點上的約束是相同的,那么這兩個約束圖的并依然是一致的[23],如定義5所描述。

    RCC8一致性檢查是一種約束滿足問題,而且基于RCC8的可處理子集8,C8,Q8的一致性問題是有Patchwork性質(zhì)的[23]。在下文中如無特殊說明,討論范圍都限定于RCC8可處理子集。

    2.3 一致分割及其成立條件

    為了描述這種保持一致性的分割,給出一致分割的定義:

    定義6(一致分割)一個約束圖G的分割是一個一致分割,當且僅當分割成的兩個子約束圖G1,G2的一致性與G的一致性等價。

    可以知道G如果是一致的,那么必然存在一個解S,可知分別是G1,G2的解。所以容易推出一致分割的等價描述。

    推論1對于一個分割,如果分割的兩個子約束圖G1,G2是一致的則G也是一致的,那么這個分割是一個一致分割。

    由于在可處理子集中,約束圖的路徑一致性和一致性是等價的,可以結(jié)合RCC8可處理子集的Patchwork性質(zhì)得到一致分割的充分必要條件:

    定理1 約束圖G=(V,E)的分割S={G1,G2},割集為Scut,記。S是一致分割的充分必要條件是:Gs,G1,G2都是路徑一致的且對于Gs,G1,G2的路徑一致性 解Gs*,G1*,G2*有。

    由于Gs*,G1*,G2*是Gs,G1,G2路徑一致性解,那么G1∪G2∪Gs滿足一致性,則G一致性得證。則由推論1知S為一致分割。

    推論2約束圖G如果含有若干個連通分量,那么所有連通分量的一致性和G的一致性等價。

    這個推論的另一個等價描述是:

    推論3如果約束圖的割集為空集,這個分割是一致分割。

    3 一致分割算法

    從上文可知,如果割集中所有頂點的誘導(dǎo)子圖的路徑一致性解和其他兩個分割后的子圖的解滿足定理1的條件,就可以得到約束圖的一致性。

    本章主要討論這個定理的應(yīng)用方法。3.1節(jié)給出了尋找一致分割的算法,并分析此算法的性能。為了提高約束圖一致分割的效率,3.2節(jié)給出了兩種一致分割的充分條件,和相應(yīng)的高效分割算法。

    3.1 一致分割尋找算法

    一般的,可以通過檢查約束圖的所有分割,利用定理1篩選出該約束圖的所有一致分割。

    一致分割尋找算法:

    輸入:約束圖G

    返回:一致分割集合Pc

    1.P←{pi|pi為G的一個分割}

    2.Pc←?

    3.當P不是空集時:

    4. 從P中選取分割pi,并將其從P中刪除

    5. 利用定理1檢查pi是不是一致分割

    6.pi是一致分割:將pi加入Pc

    7.返回Pc

    從定理1的特點和這個算法的過程可以看出直接使用這個一致分割尋找算法有以下兩個問題:

    (1)一個圖的分割個數(shù)至少是(2n-1-1)個,所以這個算法至少也是指數(shù)級的。顯然這并不是一個實用的算法。

    (2)充分必要條件不僅要求出分割的兩個子圖的路徑一致性解,也要求出割集相關(guān)的頂點在G里的誘導(dǎo)子圖H的路徑一致性解。如果求解H消耗的時間超過了分別進行一致性求解節(jié)約的時間,一致分割就無法減少總時間消耗了。

    3.2 一致分割成立的充分條件

    這一節(jié)給出充分條件來尋找一致分割。這些條件的缺點是不能如一致分割尋找算法找出任何一個圖所有的一致分割,但是對某些圖它們能高效地找到某些特殊的一致分割。在處理稀疏圖或者滿足一些特定結(jié)構(gòu)的圖的時候,這些條件和其相對應(yīng)的算法就非常有用。

    3.2.1 橋分割

    對于割集為橋的分割,有著如下定理所述的性質(zhì):

    定理2約束圖中如果存在著橋,那么以這個橋作為割集的分割是一個一致分割。

    這個結(jié)論可以使用Tarjan在1974年提出的Bridge-Finding算法[26],在O(|E|+|V|)的時間內(nèi)找出所有的橋,將這些橋從約束圖G中去除后所有連通分量的一致性和G的一致性是等價的,得到所有連通分量的算法時間復(fù)雜度也是O(|E|+|V|)。這樣完成一次約束圖關(guān)于橋的一致分割的時間復(fù)雜度也為O(|E|+|V|)。

    3.2.2 弱關(guān)系分割

    先給出弱關(guān)系的定義:

    定義7(弱關(guān)系)RCC8中,如果存在一個基關(guān)系r滿足如下條件,就定義這個r為一個弱關(guān)系:

    (1)r=r-1;

    (2)?R,r?R·r;

    (3)?R,r?r·R;

    (4)r·r=*。

    注:其中R代表任意一個RCC8關(guān)系,*代表全關(guān)系。

    定理3約束圖的割集Gs所有約束中出現(xiàn)的關(guān)系集合記為RS,r為RCC8中的某個弱關(guān)系。如果?R∈RS,r?R,那么這個分割是一個一致分割。

    證明G1,G2都滿足一致性,則一定存在一致解G1*,G2*,每個空間之間的關(guān)系都是基關(guān)系,那么需要證明G是一致的。有?R∈RS:r?R成立,那么RS′是RS的一個細化,其中RS′所有的約束關(guān)系都可以細化為r(因為每個關(guān)系都包含r)。證明G*=G1*∪G2*∪Gs*是一個G的一致解。

    因為G*只是由基關(guān)系構(gòu)成的約束集合,那么可以用檢查路徑一致性確定G*是否一致??梢匀稳∪ca,b和c∈,列舉所有可能的路徑。

    (1)?i=1,2:a,b,c∈:三者之間的約束同在Gi*,由Gi*一致性易知路徑一致。

    (2)三個空間不同在一個空間集合,不失一般性假設(shè):a∈,b∈,c∈??梢灾繰ac,Rbc∈RS′,那么由r=r-1知道Rac=Rbc=Rca=Rcb=r,且有?R,r?R·r,r?r·R,r·r=R*。所以可以知道Rab無論為哪個基關(guān)系,都不會給這三個點構(gòu)成的任何一條路徑帶來不一致。由于選取三個點的一般性得知G*是一致的。

    由于G*是G的細化,且G*中約束都為基關(guān)系,可知G*是G的一個一致解,G的一致性得證。由推論1知滿足定理3性質(zhì)的分割為一致分割。

    注意,在定理3的證明中并沒有用到可處理子集的性質(zhì),說明定理3對于所有的RCC8約束圖都成立。

    可以從復(fù)合運算表中驗證DC、PO都是弱關(guān)系。所以割集中的關(guān)系如果全都包含DC或者全都包含PO的話,這個分割就是一個一致分割。利用弱關(guān)系進行判斷和分割的算法如下所示,其中遍歷算法采用廣度優(yōu)先搜索(BFS)或者深度優(yōu)先搜索(DFS)皆可,本文以深度優(yōu)先搜索為例。

    弱關(guān)系分割:

    深度優(yōu)先搜索(DFS):

    如上所示,分割算法與經(jīng)典的深度優(yōu)先搜索算法唯一的不同之處在于增加了第15行的判斷:弱關(guān)系分割算法將約束關(guān)系包含r的邊視為不連通。這樣使得SG中不同的分割子圖之間只有兩種可能,要么沒有邊相連,要么連接兩個子圖的邊的約束關(guān)系都包含r,根據(jù)定理3這個算法的正確性得證。

    另外,由于增加的第15行只有O()1的復(fù)雜度,所以這個算法仍然和深度優(yōu)先搜索算法有著相同的復(fù)雜度。根據(jù)深度優(yōu)先搜索的相關(guān)結(jié)論[27],可以得出弱關(guān)系分割算法復(fù)雜度也僅為O(|E|+|V|)。

    3.2.3 橋分割和弱關(guān)系分割的關(guān)系

    以上證明了兩種一致分割的充分條件,可以看出,這兩個條件是互相獨立的。在一個約束圖里面,可以采用幾種不同的分割條件去判斷約束圖是否是可分割的。

    圖2給出了一種使用多種分割條件將約束圖分割至不能分割為止的流程。該方法先后使用不同的一致分割算法嘗試對約束圖進行分割,直到分割結(jié)果不再滿足任何一個一致分割條件。

    圖2 多分割條件一致分割流程圖

    值得注意的是圖2中三種一致分割算法的調(diào)用順序不會改變最終分割結(jié)果。因為三種算法都是將滿足某種條件的割集從約束圖G中刪除,而后將各個連通分量作為分割結(jié)果。假設(shè)調(diào)用一致分割條件順序為A1→A2→…→An。如果Si是G滿足一致分割條件Ai的割集,使用A1,A2,…,Ai-1條件進行分割的話有兩種可能:(1)Si中的一部分邊被A1,A2,…,Ai-1條件刪除,剩下的邊構(gòu)成集合S′i依然是滿足一致分割條件的割集;(2)A1,A2,…,Ai-1條件不會刪除Si中的邊。顯然,無論是哪一種情況這個一致分割條件Ai的分割效果都不會被影響。

    然而,三種算法的調(diào)用順序?qū)τ谶\行時間會有一定的影響。比如對于圖3,如果按照圖2中的調(diào)用順序進行分割的話,將進行4次迭代才能將約束圖分割到不再可分。而采用DC子圖分割→ PO子圖分割→橋分割這樣的順序,就只用迭代兩次。

    從三種分割的算法可以看出,約束圖G不能用同一個分割條件連續(xù)分割兩次?;谶@個特點可以得到:

    圖3 分割條件調(diào)用順序差異帶來運行時間差異示例

    定理4對于約束圖G,利用多分割條件一致分割時,若調(diào)用分割條件順序為A1→A2→A3時,若G在某一次迭代中可以被Am分割,且不能被所有Ai(i>m)分割,那么下一次迭代只可能:

    (1)G不能用任何條件分割;

    (2)存在某個條件Aj(j<m)可以將其分割。

    證明情況1,算法此時達到迭代終止條件。

    情況2,首先一定存在一個條件可以分割G,否則就落到情況1中。不妨設(shè)第一個可以用來分割G的條件為Ak,首先k=m不可能成立,因為上一輪迭代中G被Am分割,其子圖不能被Am繼續(xù)分割;其次m<k≤3也不能成立,這又與上一輪迭代中G不能被所有Ai(i>m)分割相矛盾。所以必存在某個條件Aj(j<m)可以將其分割。

    從圖2中可以看出每次迭代的時間消耗是一定的,所以迭代次數(shù)越少,整個算法時間消耗就越小。

    可以看出,降低迭代次數(shù)的關(guān)鍵在于增加每次迭代中成功分割的次數(shù)。

    表2就是最壞情況的迭代示例。調(diào)用順序為A1→A2→A3,且在Ai+1的分割成功之后才能使用Ai分割成功。表格中的行代表分割條件,列代表迭代輪次,其中的成功代表該輪次用對應(yīng)分割條件分割成功,如果某輪次中所有條件都未被成功調(diào)用就代表該約束圖已經(jīng)無法再進行分割??梢钥闯?,平均每次迭代成功分割次數(shù)約為1.5次。

    表2 最不利的迭代示例

    而如果將調(diào)用的順序改為A3→A2→A1,如表3所示,之后的分割條件正好可以用上之前的分割結(jié)果,這樣平均每次迭代成功分割次數(shù)約為3次。由于成功分割順序是一樣的,兩次成功分割總次數(shù)相同,那么分割時間之比為2。每一次迭代的復(fù)雜度是O(|E|+|V|),則最有利和最不利的總時間只差O(|E|+|V|),可知調(diào)用順序?qū)λ惴ǖ男蕸]有很大的影響。

    表3 最有利的迭代示例

    4 實驗

    本章設(shè)計并進行實驗,用來驗證以上提出的分割算法對于大型稀疏空間約束圖一致性檢查確實能夠起到提高效率的作用。

    4.1 實驗設(shè)計

    在實驗中用約束圖的邊數(shù)(E)和頂點個數(shù)(V)之商D=E/V的值來度量圖的稀疏程度,D稱為平均度。分別在D=0.5,1,2,3時,觀察約束圖的路徑一致性檢查時間和約束圖頂點個數(shù)的關(guān)系。約束圖是隨機生成的:限定約束圖的頂點個數(shù)為V(10 000~60 000),在所有頂點對的集合中隨機取出E=V·D個項用邊相連,并從8中隨機選取關(guān)系作為邊的約束。

    實驗環(huán)境是:Intel Core i7-2600 CPU 3.40 GHz 8核,內(nèi)存20 GB,操作系統(tǒng)Fedora 15 64 bit,GCC 4.5.4;推理機采用GQR-1418[20](同樣也可以采用其他的推理機進行實驗)。

    4.2 實驗結(jié)果

    圖4~圖7分別表示在不同的平均度下,約束圖的路徑一致性算法運行時間和約束圖頂點個數(shù)關(guān)系。其中灰柱代表直接用推理機對約束圖進行路徑一致性檢查所用的時間,黑柱代表先利用一致分割進行預(yù)處理后,推理機進行路徑一致性檢查所用時間。沒有立柱代表推理機無法處理這個量級的約束圖。

    從圖4和圖5中可以看出,在E/V≤1,即約束圖十分稀疏的時候,直接使用推理機是非常耗時而低效的;而且當頂點個數(shù)多于一定量的時候(50 000),由于內(nèi)存限制,推理機不能夠繼續(xù)進行。但是如果先進行分割的話,不僅在很高的頂點個數(shù)時也能夠正常運行,而且運行時間也能一直維持在很低的水平上。

    可以看出,隨著E/V值的增大,分割后的路徑一致性檢查運行時間越來越接近直接進行路徑一致性檢查的時間。在E/V=2時,分割算法依然有很高的效率提高作用,并且能完成直接檢查路徑一致性不能完成的任務(wù);但是在E/V=3時候,分割算法已經(jīng)不能解決直接檢查無法處理的約束圖了,不過此時分割算法還是能夠帶來可觀的效率提高。

    圖4 E/V=0.5時路徑一致性檢查時間和約束圖頂點數(shù)關(guān)系

    圖5 E/V=1時路徑一致性檢查時間和約束圖頂點數(shù)關(guān)系

    圖6 E/V=2時路徑一致性檢查時間和約束圖頂點數(shù)關(guān)系

    圖7 E/V=3時路徑一致性檢查時間和約束圖頂點數(shù)關(guān)系

    從實驗結(jié)果可以看出兩點:對大型的稀疏約束圖來說,先進行一致分割所帶來的效率提高是非常大的,這說明本文提出的算法是有效的;隨著約束圖的密度上升分割算法帶來的效率提高會越來越小,這是由于一般情況下,越稠密的圖分割會越困難,這也表明了本文方法的局限性。

    5 結(jié)論和工作展望

    5.1 結(jié)論

    本文給出了一致分割的概念,將空間約束圖的一致性檢查轉(zhuǎn)化為其一致分割子圖的一致性檢查。

    一致分割可以作為RCC約束圖的一致性檢查推理機[2-4]的預(yù)處理過程。對于大型的、稀疏的RCC8約束圖一致性檢查,可以采用一致分割算法先對約束圖進行分割,然后分而檢查子圖的一致性。本文方法具有以下幾個優(yōu)勢:

    (1)一致分割算法時間復(fù)雜度為O(|E|+|V|),遠低于路徑一致性算法復(fù)雜度O(n3)。即便面對大型的約束圖,也可以用很小的時間代價去檢驗這個圖是否可以分割。

    (2)實驗過程表明面對稀疏的約束圖,如果預(yù)先進行一致分割處理,能夠大幅度減少總的時間消耗。

    (3)對于一些由于內(nèi)存限制推理機無法處理的大型稀疏約束圖,一致分割算法能夠?qū)⑵浞指畛蔀槿舾蓪ν评頇C來說可處理的子圖,使得一致性檢查成為可能。

    一致分割算法的弱點在于不能夠?qū)τ谒械募s束圖都起作用。對于不符合一致分割充分條件的約束圖,算法就無法為推理機提高效率了。

    5.2 工作展望

    一致分割算法還有著很多有待深入思考的問題。首先是一致分割算法在真實數(shù)據(jù)中的效果。本文的實驗數(shù)據(jù)是隨機生成的約束圖,對于真實數(shù)據(jù)是否仍有類似的結(jié)論是下一步要討論的問題。例如RCC可以被用于地理信息的定性描述[28]。地理信息常常有著很強的層次結(jié)構(gòu),比如洲、國家、省、市、縣等,由于高層級的區(qū)域之間(比如洲)的約束偏少,這也使得將描述地理信息的約束圖一致分割成為可能。

    其次,可以將分割后各個子圖的一致性檢查過程并行化,因為這些過程是互相獨立的,所以并行運算可以進一步地提高一致性檢查的效率。

    另外,一致分割也可以用來確定約束圖出現(xiàn)不一致的位置。若要找哪些區(qū)域之間的約束引入了不一致性,只需要檢查具有不一致性的分割子圖中區(qū)域之間的關(guān)系,而不需要去分析一致的子圖。

    最后,尋找更多的一致分割條件和算法,對其他的基于JEPD關(guān)系的推理演算進行一致分割的探索也都是未來研究的方向。

    [1]Randell D A,Cui Zhan,Cohn A G.A spatial logic based on regions and connection[C]//Proceedings of the 3rd Inter-national Conference on Knowledge Representation and Reasoning.San Mateo,USA:Morgan Kaufmann,1992:165-176.

    [2]Clarke B L.A calculus of individuals based on connection[J].Notre Dame Journal of Formal Logic,1981,22(3):204-218.

    [3]Clarke B L.Individuals and points[J].Notre Dame Journal of Formal Logic,1985,26(1):61-75.

    [4]Dornheim C.Undecidability of plane polygonal mereotopology[C]//Proceedings of the 6th International Conference on Principles of Knowledge Representation and Reasoning.[S.l.]:Morgan Kaufman,1998:342-353.

    [5]Gotts N M.Using the RCC formalism to describe the topology of spherical regions,Technical Report 96.24[R].School of Computer Studies,University of Leeds,1996.

    [6]Bennett B.Spatial reasoning with propositional logic[C]//Proceedings of the 4th International Conference on Knowledge Representation and Reasoning,1994:51-62.

    [7]Knauff M,Rauh R,Renz J.A cognitive assessment of topological spatial relations:results from an empirical investigation[C]//Proceedings of the 3rd International Conference on Spatial Information Theory.Berlin:Springer,1997,1329:193-206.

    [8]Renz J,Rauh R,Knauff M.Towards cognitive adequacy of topological spatial relations[C]//Proceedings of Spatial Cognition II.Berlin:Springer,2000,1849:184-197.

    [9]Renz J.Maximal tractable fragments of the region connection calculus:a complete analysis[C]//Proceedings of the 16th International Joint Conference on Artificial Intelligence,Stocholm,Sweden.San Francisco,California,USA:Morgan Kaufmann Publisher Inc,1999:448-454.

    [10]Renz J,Nebel B.Efficient methods for qualitative spatial reasoning[J].Journal of Artificial Intelligence Research,2001,15:289-318.

    [11]Li Sanjiang,Ying Mingsheng.Region connection calculus:its models and composition table[J].Artificial Intelligence,2003,145(1/2):121-146.

    [12]Cohn A G,Bennett B,Gooday J,et al.Qualitative spatial representation and reasoning with the region connection calculus[J].GeoInformatica,1997(1):1-44.

    [13]歐陽繼紅,富倩,劉大有.簡單凹形區(qū)域間空間關(guān)系的一種表示及推理模型[J].電子學(xué)報,2009,37(8):1830-1836.

    [14]王生生,劉大有,謝琦.集成多方面信息的定性空間推理及應(yīng)用[J].軟件學(xué)報,2003,14(11):1857-1862.

    [15]陳娟,劉大有,賈海洋,等.基于MBR的拓撲、方位、尺寸結(jié)合的定性空間推理[J].計算機研究與發(fā)展,2010,47(3):426-433.

    [16]Li Sanjiang.Combining topological and directional information for spatial reasoning[C]//Proceedings of the 20th International Joint Conference on Artificial Intelligence(IJCAI-07),2007:435-440.

    [17]Liu Weiming,Li Sanjiang,Renz J.Combining RCC-8 with qualitative direction calculi:algorithms and complexity[C]//Proceedings of the 21st International Joint Conference on Artificial Intelligence(IJCAI-09),2009:854-859.

    [18]Renz J.Qualitative spatial reasoning with topological Information[M].Berlin,Heidelberg:Springer-Verlag,2002.

    [19]Bodirsky M,W?lfl S.RCC8 is polynomial on networks of bounded treewidth[C]//Proceedings of the 22nd International Joint Conference on Artificial Intelligence,2011:756-761.

    [20]Gantner Z,Westphal M,W?lfl S.GQR—a fast reasoner for binary qualitative constraint calculation[C]//AAAI Workshop on Spatial and Temporal Reasoning,2008.

    [21]Stocker M,Sirin E.PelletSpatial:a hybrid RCC-8 and RDF/OWL reasoning and query engine[C]//Proceedings of the 6th International Workshop on OWL:Experiences and Directions,Virginia,USA,2009.

    [22]Sioutis M,Koubarakis M.Consistency of chordal RCC-8 networks[C]//Proceedings of the 24th IEEE International Conference on Tools with Artificial Intelligence,Athens,Greece,2012.

    [23]Huang Jinbo.Compactness and its implications for qualitative spatial and temporal reasoning[C]//Proceedings of the 13th International Conference on Principles of Knowledge Representation and Reasoning,Rome,Italy,2012.

    [24]Li Jason Jingshi,Huang Jinbo,Renz J.A divide-and-conquer approach for solving interval algebra networks[C]//Proceedings on 21st International Joint Conference on Artificial Intelligence,Pasadena,USA,2009:572-577.

    [25]Huang Jinbo,Li Jason Jingshi,Renz J.Decomposition and tractability in qualitative spatial and temporal reasoning[J].Artificial Intelligence,2013,195:140-164.

    [26]Tarjan R.A note on finding the bridges of a graph[J].Information Processing Letters,1974,2(6):160-161.

    [27]Cormen T H,Leiserson C E,Rivest R L,et al.Introduction to algorithms[M].[S.l.]:MIT Press,2001.

    [28]Bennett B.The application of qualitative spatial reasoning to GIS[C]//Proceedings of the 1st International Conference on GeoComputation,1996:44-47.

    猜你喜歡
    推理機子圖頂點
    過非等腰銳角三角形頂點和垂心的圓的性質(zhì)及應(yīng)用(下)
    臨界完全圖Ramsey數(shù)
    臨界完全圖Ramsey數(shù)
    關(guān)于頂點染色的一個猜想
    面向?qū)ο蟮膸缀味ɡ硗茖?dǎo)系統(tǒng)的設(shè)計與實現(xiàn)
    基于Naive Bayesian算法改進的智能診病系統(tǒng)研究
    基于頻繁子圖挖掘的數(shù)據(jù)服務(wù)Mashup推薦
    繼電保護整定計算模塊的設(shè)計
    不含2K1+K2和C4作為導(dǎo)出子圖的圖的色數(shù)
    頻繁子圖挖掘算法的若干問題
    最新在线观看一区二区三区| 精品国产美女av久久久久小说| 久久中文字幕一级| 日韩有码中文字幕| 国产av麻豆久久久久久久| 亚洲精品一卡2卡三卡4卡5卡| 村上凉子中文字幕在线| 国产一区二区激情短视频| 美女cb高潮喷水在线观看 | 国产私拍福利视频在线观看| 日韩高清综合在线| 久久国产精品人妻蜜桃| 亚洲 欧美 日韩 在线 免费| 日韩欧美一区二区三区在线观看| 男人的好看免费观看在线视频| 日韩欧美在线二视频| 少妇熟女aⅴ在线视频| 亚洲精品在线观看二区| 国产精品九九99| 午夜精品在线福利| 国产又黄又爽又无遮挡在线| 国产极品精品免费视频能看的| 五月伊人婷婷丁香| cao死你这个sao货| 丰满人妻熟妇乱又伦精品不卡| 国产精品亚洲美女久久久| 少妇的逼水好多| 99久久精品一区二区三区| 国产精品野战在线观看| www日本在线高清视频| 国内少妇人妻偷人精品xxx网站 | 欧美色视频一区免费| 女警被强在线播放| 亚洲人与动物交配视频| 久久久国产成人免费| x7x7x7水蜜桃| 香蕉久久夜色| 五月伊人婷婷丁香| 色精品久久人妻99蜜桃| 中文在线观看免费www的网站| 黄色成人免费大全| 97超视频在线观看视频| 久9热在线精品视频| 国产在线精品亚洲第一网站| 国内少妇人妻偷人精品xxx网站 | 麻豆成人av在线观看| 九九久久精品国产亚洲av麻豆 | 久久久久免费精品人妻一区二区| 成人三级黄色视频| cao死你这个sao货| 最近最新中文字幕大全电影3| 欧美不卡视频在线免费观看| 欧美午夜高清在线| 精品一区二区三区视频在线 | 人妻夜夜爽99麻豆av| 深夜精品福利| 麻豆国产av国片精品| 夜夜躁狠狠躁天天躁| 日韩中文字幕欧美一区二区| 19禁男女啪啪无遮挡网站| 在线观看日韩欧美| 国产av麻豆久久久久久久| 老熟妇仑乱视频hdxx| 欧美黑人欧美精品刺激| 国产成人aa在线观看| 看免费av毛片| www.自偷自拍.com| 亚洲欧美一区二区三区黑人| 亚洲精品乱码久久久v下载方式 | 国产欧美日韩一区二区三| 亚洲精品久久国产高清桃花| 两个人看的免费小视频| 伊人久久大香线蕉亚洲五| 国产一区二区激情短视频| 无人区码免费观看不卡| 国产亚洲精品一区二区www| 国产三级在线视频| 亚洲国产欧美一区二区综合| 精品国产乱子伦一区二区三区| 国产一区二区三区视频了| 中文字幕人妻丝袜一区二区| 国内精品久久久久久久电影| 日韩国内少妇激情av| 美女午夜性视频免费| 亚洲欧美日韩卡通动漫| 久久热在线av| 久久欧美精品欧美久久欧美| 啪啪无遮挡十八禁网站| 精品国内亚洲2022精品成人| 午夜影院日韩av| 欧美日韩乱码在线| 黄色丝袜av网址大全| 在线观看免费视频日本深夜| 亚洲精品国产精品久久久不卡| 非洲黑人性xxxx精品又粗又长| 99久久99久久久精品蜜桃| 免费看a级黄色片| 51午夜福利影视在线观看| 婷婷丁香在线五月| 亚洲精品在线美女| 亚洲无线在线观看| 91麻豆av在线| 国产午夜福利久久久久久| 国产精品一区二区三区四区久久| 欧美黄色淫秽网站| 久久国产精品影院| 国产精品免费一区二区三区在线| 老司机午夜十八禁免费视频| av天堂中文字幕网| 久久精品综合一区二区三区| 亚洲第一欧美日韩一区二区三区| 成人特级黄色片久久久久久久| 美女高潮喷水抽搐中文字幕| 成年免费大片在线观看| 色老头精品视频在线观看| 九九久久精品国产亚洲av麻豆 | 老司机在亚洲福利影院| 五月玫瑰六月丁香| 99久久国产精品久久久| 激情在线观看视频在线高清| 天堂动漫精品| 国产麻豆成人av免费视频| 中文资源天堂在线| 草草在线视频免费看| 美女cb高潮喷水在线观看 | 两个人视频免费观看高清| 欧美中文综合在线视频| 两个人的视频大全免费| 18禁美女被吸乳视频| 久久久久精品国产欧美久久久| 亚洲一区二区三区色噜噜| 亚洲国产欧美人成| 一卡2卡三卡四卡精品乱码亚洲| 一级黄色大片毛片| 中文字幕熟女人妻在线| 一本精品99久久精品77| 亚洲乱码一区二区免费版| 欧美zozozo另类| 国产又黄又爽又无遮挡在线| 村上凉子中文字幕在线| 亚洲国产欧美一区二区综合| 日韩欧美在线乱码| 国产91精品成人一区二区三区| 一级作爱视频免费观看| 两性午夜刺激爽爽歪歪视频在线观看| 亚洲精品色激情综合| 亚洲成人久久爱视频| 一本综合久久免费| 五月玫瑰六月丁香| 精品午夜福利视频在线观看一区| 国产一级毛片七仙女欲春2| 琪琪午夜伦伦电影理论片6080| 亚洲一区高清亚洲精品| 亚洲中文字幕一区二区三区有码在线看 | 非洲黑人性xxxx精品又粗又长| 欧美绝顶高潮抽搐喷水| 香蕉av资源在线| 国产真实乱freesex| 少妇的逼水好多| 午夜福利欧美成人| 别揉我奶头~嗯~啊~动态视频| 可以在线观看的亚洲视频| 搡老熟女国产l中国老女人| 国产主播在线观看一区二区| 中文字幕精品亚洲无线码一区| 亚洲成av人片在线播放无| 午夜福利在线观看免费完整高清在 | 国产在线精品亚洲第一网站| 精华霜和精华液先用哪个| 18美女黄网站色大片免费观看| 亚洲人成网站高清观看| 全区人妻精品视频| 成人三级黄色视频| 亚洲18禁久久av| 日本a在线网址| 国产日本99.免费观看| 可以在线观看毛片的网站| 亚洲专区国产一区二区| 日韩欧美精品v在线| 亚洲精品久久国产高清桃花| 韩国av一区二区三区四区| 国产精品香港三级国产av潘金莲| 亚洲人与动物交配视频| 变态另类成人亚洲欧美熟女| 少妇裸体淫交视频免费看高清| 色尼玛亚洲综合影院| 12—13女人毛片做爰片一| 一夜夜www| 一本精品99久久精品77| 国产三级中文精品| 丝袜人妻中文字幕| 不卡av一区二区三区| 啦啦啦免费观看视频1| 香蕉国产在线看| 国产伦一二天堂av在线观看| 久久精品影院6| 久久精品国产99精品国产亚洲性色| 在线a可以看的网站| 久久久久久久午夜电影| 久久久国产成人精品二区| 成年版毛片免费区| 叶爱在线成人免费视频播放| 看免费av毛片| 久久精品国产清高在天天线| www国产在线视频色| 欧美日韩黄片免| 国产精品av久久久久免费| 国产高清videossex| 波多野结衣高清无吗| 久久天躁狠狠躁夜夜2o2o| 免费一级毛片在线播放高清视频| 宅男免费午夜| 夜夜夜夜夜久久久久| 欧美日韩精品网址| 99国产综合亚洲精品| 国产人伦9x9x在线观看| 国产精品久久久av美女十八| 18禁黄网站禁片午夜丰满| 国产精品国产高清国产av| 麻豆国产97在线/欧美| 人妻久久中文字幕网| 99久久久亚洲精品蜜臀av| 日韩av在线大香蕉| 亚洲无线观看免费| 亚洲国产欧美人成| 亚洲人成网站高清观看| 99久久精品热视频| 精品午夜福利视频在线观看一区| 99国产极品粉嫩在线观看| 午夜福利在线观看吧| 人人妻人人看人人澡| 色综合亚洲欧美另类图片| 很黄的视频免费| 国产精品久久久久久久电影 | 很黄的视频免费| 又紧又爽又黄一区二区| 岛国在线免费视频观看| 一级毛片高清免费大全| 国产欧美日韩一区二区三| 欧美3d第一页| 国产精品久久久久久亚洲av鲁大| 国产精品久久视频播放| 亚洲欧美日韩东京热| 日韩三级视频一区二区三区| 久久国产精品人妻蜜桃| 国产主播在线观看一区二区| 久久久国产成人精品二区| 我的老师免费观看完整版| 免费搜索国产男女视频| 天天一区二区日本电影三级| 哪里可以看免费的av片| 国产高清videossex| 村上凉子中文字幕在线| 中文字幕精品亚洲无线码一区| 在线a可以看的网站| 叶爱在线成人免费视频播放| 久久久久久久久中文| 丰满人妻一区二区三区视频av | 99久久成人亚洲精品观看| 国内少妇人妻偷人精品xxx网站 | 亚洲专区中文字幕在线| 久久久色成人| 亚洲欧美日韩高清在线视频| 99视频精品全部免费 在线 | 国产激情久久老熟女| 久久久久久久久中文| 日韩免费av在线播放| 男女做爰动态图高潮gif福利片| 亚洲七黄色美女视频| 精品久久久久久成人av| 超碰成人久久| 国产不卡一卡二| 在线观看美女被高潮喷水网站 | 精品福利观看| 久久中文看片网| 一级作爱视频免费观看| 国产亚洲av高清不卡| 国产高清激情床上av| 男人舔奶头视频| 国产精品1区2区在线观看.| 波多野结衣高清作品| 一本久久中文字幕| 在线播放国产精品三级| 黄色 视频免费看| 99国产综合亚洲精品| 91麻豆av在线| 午夜两性在线视频| 视频区欧美日本亚洲| 亚洲欧美精品综合久久99| 国产一级毛片七仙女欲春2| 变态另类丝袜制服| 日本三级黄在线观看| 成人国产一区最新在线观看| 国产成人精品无人区| 高潮久久久久久久久久久不卡| 男人舔女人的私密视频| 久久久久久国产a免费观看| 日本黄色片子视频| 天天一区二区日本电影三级| 在线观看一区二区三区| 俺也久久电影网| 成人精品一区二区免费| 久久国产乱子伦精品免费另类| 美女大奶头视频| 午夜福利在线观看吧| 精品国内亚洲2022精品成人| 女人高潮潮喷娇喘18禁视频| 日韩av在线大香蕉| 国产精品一区二区免费欧美| 男人舔奶头视频| 91久久精品国产一区二区成人 | 99热这里只有是精品50| 国产精品,欧美在线| 成熟少妇高潮喷水视频| 少妇人妻一区二区三区视频| 亚洲一区高清亚洲精品| 精品久久久久久,| 无人区码免费观看不卡| 男人舔奶头视频| 成人av在线播放网站| 国产极品精品免费视频能看的| 免费看十八禁软件| 一二三四在线观看免费中文在| 最近最新中文字幕大全免费视频| 国产精品乱码一区二三区的特点| 国产黄色小视频在线观看| 日韩欧美在线乱码| 最近视频中文字幕2019在线8| 欧美最黄视频在线播放免费| 99在线人妻在线中文字幕| 真实男女啪啪啪动态图| 99精品欧美一区二区三区四区| 亚洲第一电影网av| 久久精品国产清高在天天线| 最近最新中文字幕大全电影3| 国产蜜桃级精品一区二区三区| 色综合欧美亚洲国产小说| 亚洲自拍偷在线| aaaaa片日本免费| 又粗又爽又猛毛片免费看| 欧美日韩一级在线毛片| 91字幕亚洲| 精品熟女少妇八av免费久了| 一区二区三区高清视频在线| 欧美日韩福利视频一区二区| 黄色 视频免费看| 亚洲色图 男人天堂 中文字幕| 亚洲人成网站在线播放欧美日韩| 美女cb高潮喷水在线观看 | 精品一区二区三区四区五区乱码| 日本五十路高清| 精品无人区乱码1区二区| 日本免费一区二区三区高清不卡| 黄色片一级片一级黄色片| 日韩欧美 国产精品| 最近在线观看免费完整版| 亚洲国产高清在线一区二区三| 老鸭窝网址在线观看| 成年版毛片免费区| 欧美成人一区二区免费高清观看 | 国产美女午夜福利| 此物有八面人人有两片| 国产亚洲欧美98| 99国产极品粉嫩在线观看| 久久这里只有精品19| 伊人久久大香线蕉亚洲五| 亚洲人与动物交配视频| 国产男靠女视频免费网站| 免费在线观看亚洲国产| 欧美日本亚洲视频在线播放| 狂野欧美激情性xxxx| 91av网一区二区| 中出人妻视频一区二区| 在线观看一区二区三区| 级片在线观看| 亚洲精品色激情综合| 91老司机精品| 国产一区二区在线av高清观看| 成人欧美大片| a级毛片a级免费在线| 亚洲午夜理论影院| 一夜夜www| www日本在线高清视频| av视频在线观看入口| 757午夜福利合集在线观看| av视频在线观看入口| 欧美不卡视频在线免费观看| 亚洲精品久久国产高清桃花| 亚洲一区二区三区色噜噜| 欧美色视频一区免费| 一进一出抽搐gif免费好疼| 99精品久久久久人妻精品| 成人av一区二区三区在线看| 亚洲人成伊人成综合网2020| 国产成人系列免费观看| 欧美另类亚洲清纯唯美| 国产精品一及| 怎么达到女性高潮| 国产精品爽爽va在线观看网站| 亚洲国产日韩欧美精品在线观看 | 欧美丝袜亚洲另类 | 亚洲精品乱码久久久v下载方式 | 久久久国产成人免费| 日本免费一区二区三区高清不卡| xxxwww97欧美| www日本黄色视频网| www.精华液| 香蕉av资源在线| 淫妇啪啪啪对白视频| 国产黄a三级三级三级人| 真人做人爱边吃奶动态| 俄罗斯特黄特色一大片| 婷婷亚洲欧美| 国模一区二区三区四区视频 | aaaaa片日本免费| 无遮挡黄片免费观看| 成人三级做爰电影| 欧美午夜高清在线| 国产精品电影一区二区三区| 国产精品精品国产色婷婷| 无限看片的www在线观看| 亚洲欧美日韩卡通动漫| 九九在线视频观看精品| 成人性生交大片免费视频hd| 亚洲乱码一区二区免费版| 成人三级做爰电影| 国产精品,欧美在线| 免费观看精品视频网站| 午夜福利免费观看在线| 超碰成人久久| www.www免费av| 1000部很黄的大片| 夜夜夜夜夜久久久久| 99re在线观看精品视频| 国产 一区 欧美 日韩| 国产欧美日韩精品亚洲av| 中文字幕av在线有码专区| 精品国产乱码久久久久久男人| 色老头精品视频在线观看| 在线观看午夜福利视频| 小说图片视频综合网站| 欧美在线一区亚洲| 我要搜黄色片| 99久久综合精品五月天人人| 色哟哟哟哟哟哟| 精品一区二区三区av网在线观看| 国产乱人视频| 好男人在线观看高清免费视频| 成人特级黄色片久久久久久久| 久久久国产成人免费| 女人高潮潮喷娇喘18禁视频| 亚洲男人的天堂狠狠| 黄片小视频在线播放| 精品国内亚洲2022精品成人| 精品国产乱码久久久久久男人| 亚洲色图av天堂| 老鸭窝网址在线观看| 亚洲中文字幕一区二区三区有码在线看 | 欧美最黄视频在线播放免费| 久久中文字幕一级| av天堂中文字幕网| 在线观看免费午夜福利视频| 丁香欧美五月| 最近最新中文字幕大全电影3| 19禁男女啪啪无遮挡网站| 国产伦一二天堂av在线观看| 国模一区二区三区四区视频 | 精品久久蜜臀av无| 国产精品,欧美在线| 国产激情偷乱视频一区二区| 狠狠狠狠99中文字幕| 中文亚洲av片在线观看爽| 国产精品美女特级片免费视频播放器 | 久久九九热精品免费| www.自偷自拍.com| 国产精品久久电影中文字幕| 亚洲熟妇中文字幕五十中出| 好看av亚洲va欧美ⅴa在| 久久久久久久精品吃奶| av在线蜜桃| 老司机午夜十八禁免费视频| 草草在线视频免费看| 看免费av毛片| 波多野结衣巨乳人妻| 国产高清有码在线观看视频| 亚洲 欧美 日韩 在线 免费| 国产视频内射| 欧美午夜高清在线| 日韩欧美在线乱码| 亚洲精华国产精华精| 一进一出抽搐gif免费好疼| 国产精品亚洲av一区麻豆| 久久精品国产亚洲av香蕉五月| 免费在线观看日本一区| 51午夜福利影视在线观看| 国产精品久久久久久久电影 | 国产成人精品久久二区二区免费| 91久久精品国产一区二区成人 | 美女大奶头视频| 国产 一区 欧美 日韩| 90打野战视频偷拍视频| 婷婷精品国产亚洲av| av女优亚洲男人天堂 | 日本一本二区三区精品| 俄罗斯特黄特色一大片| 在线观看免费视频日本深夜| 免费在线观看亚洲国产| 色综合亚洲欧美另类图片| 精品久久久久久久人妻蜜臀av| av视频在线观看入口| 国产一区二区三区视频了| 国产成人一区二区三区免费视频网站| 午夜a级毛片| 怎么达到女性高潮| 91在线精品国自产拍蜜月 | 好男人电影高清在线观看| 99久国产av精品| 美女高潮喷水抽搐中文字幕| 国产成+人综合+亚洲专区| 99riav亚洲国产免费| 又粗又爽又猛毛片免费看| 国产成人欧美在线观看| 精品乱码久久久久久99久播| netflix在线观看网站| 性色av乱码一区二区三区2| 国产亚洲精品久久久久久毛片| 国内精品久久久久久久电影| 香蕉av资源在线| 亚洲成av人片在线播放无| 一边摸一边抽搐一进一小说| 97碰自拍视频| 级片在线观看| 国产精品女同一区二区软件 | 久久这里只有精品19| 久久精品国产亚洲av香蕉五月| 真人做人爱边吃奶动态| 中亚洲国语对白在线视频| 嫩草影视91久久| 欧美中文综合在线视频| 九九热线精品视视频播放| 国产精品99久久99久久久不卡| 无人区码免费观看不卡| 精品国产美女av久久久久小说| 欧美高清成人免费视频www| 中亚洲国语对白在线视频| 国产精品久久久久久亚洲av鲁大| 级片在线观看| 91av网站免费观看| 亚洲精品在线美女| 久久久久国产一级毛片高清牌| 亚洲18禁久久av| 在线十欧美十亚洲十日本专区| 亚洲国产色片| 国产主播在线观看一区二区| 在线国产一区二区在线| 日韩高清综合在线| 无遮挡黄片免费观看| 怎么达到女性高潮| cao死你这个sao货| 国产三级中文精品| 一本精品99久久精品77| 免费观看人在逋| 三级国产精品欧美在线观看 | www.999成人在线观看| 又黄又爽又免费观看的视频| 女警被强在线播放| 久久天堂一区二区三区四区| 国产精品亚洲美女久久久| 后天国语完整版免费观看| 少妇丰满av| 天堂av国产一区二区熟女人妻| 亚洲五月天丁香| av中文乱码字幕在线| 国产在线精品亚洲第一网站| 欧美成人性av电影在线观看| 男人舔女人的私密视频| 中文在线观看免费www的网站| 少妇裸体淫交视频免费看高清| 色哟哟哟哟哟哟| 国产成人啪精品午夜网站| 国产一区二区三区在线臀色熟女| 亚洲电影在线观看av| 亚洲欧美精品综合久久99| 欧美一区二区国产精品久久精品| 欧美日韩综合久久久久久 | 国内少妇人妻偷人精品xxx网站 | 淫秽高清视频在线观看| 一区二区三区激情视频| 老司机福利观看| 综合色av麻豆| 精品国产亚洲在线| 欧美另类亚洲清纯唯美| 久久久精品欧美日韩精品| 国产99白浆流出| 国产成人啪精品午夜网站| 黄色视频,在线免费观看| av在线蜜桃| 成人18禁在线播放| 噜噜噜噜噜久久久久久91| 亚洲 欧美 日韩 在线 免费| 欧美日韩亚洲国产一区二区在线观看| 淫秽高清视频在线观看| 国产一级毛片七仙女欲春2| 精品久久久久久成人av| 极品教师在线免费播放| 99久久久亚洲精品蜜臀av| 伦理电影免费视频| 免费大片18禁| 一区二区三区高清视频在线| 级片在线观看| 一个人免费在线观看电影 | 国产精品美女特级片免费视频播放器 | 99精品久久久久人妻精品| 一进一出好大好爽视频| 欧美日韩瑟瑟在线播放|