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

    基于層次語言模型的英語動名詞搭配糾錯策略①

    2017-09-15 07:33:52李燦潤吳桂興
    計算機系統(tǒng)應(yīng)用 2017年9期
    關(guān)鍵詞:子句元組動名詞

    李燦潤,吳桂興,吳 敏

    1(中國科學(xué)技術(shù)大學(xué) 現(xiàn)代教育技術(shù)中心,合肥 230026)2(中國科學(xué)技術(shù)大學(xué) 蘇州研究院,蘇州 235123)

    基于層次語言模型的英語動名詞搭配糾錯策略①

    李燦潤1,吳桂興2,吳 敏1

    1(中國科學(xué)技術(shù)大學(xué) 現(xiàn)代教育技術(shù)中心,合肥 230026)2(中國科學(xué)技術(shù)大學(xué) 蘇州研究院,蘇州 235123)

    搭配的正確使用是區(qū)分地道英語使用者和普通學(xué)習(xí)者的一個重要特征.通過分析中國英語學(xué)習(xí)者語料庫(CLEC),可以發(fā)現(xiàn)動名詞搭配錯誤是英語學(xué)習(xí)者易犯的錯誤.本文提出一種可用于糾正英語學(xué)習(xí)者動名詞搭配錯誤的層次語言模型.該語言模型考慮到了句子內(nèi)部詞語之間的依賴關(guān)系,將句子處理為不同的層次的子句,同一個句子內(nèi)部的單詞高度相關(guān),不同子句內(nèi)的單詞相關(guān)性弱.該語言模型對于句子成分的變化得到的結(jié)果更加穩(wěn)定,而且搭配信息得到濃縮,得到的語言模型更加精確.本文將模型用于生成分類器特征和結(jié)果排序.這種層次語言模型應(yīng)用到英語動名詞搭配的檢錯糾錯中,對比傳統(tǒng)語言模型,會有更好的效果.

    動名詞搭配錯誤;層次語言模型;自動糾錯策略

    據(jù)“中國學(xué)習(xí)者語料庫”的統(tǒng)計,“在所有的言語失誤中,搭配錯誤在言語失誤頻率表中位居第六”[1],可見搭配是英語學(xué)習(xí)的一個難點,其中,動名詞搭配錯誤是搭配錯誤中頻率最高的一類,所以動名詞搭配的檢錯糾錯在英語語法檢錯糾錯中有重要意義.本文將入一種層次語言模型,可用于動名詞搭配計算機自動糾正中構(gòu)造分類器特征和最終結(jié)果排序.這種語言模型能克服傳統(tǒng)n-gram將句子當(dāng)成線性模型所帶來的缺點.本文將為常見動名詞搭配構(gòu)建一個搭配庫,并為搭配庫中的動名詞搭配訓(xùn)練對應(yīng)的分類器,并將層次語言模型應(yīng)用于分類結(jié)果的排序上得到最終的結(jié)果.

    本文組織結(jié)構(gòu)如下,第一節(jié)介紹語言模型用于英語語法錯誤糾正的相關(guān)研究,第二節(jié)介紹層次語言模型的構(gòu)造過程,第三節(jié)介紹實驗的各個模塊以及糾錯系統(tǒng)流程,第四節(jié)給出在測試語料上的實驗結(jié)果并進行相關(guān)分析,最后進行總結(jié)和展望.

    1 相關(guān)研究

    在最近的研究中,使用計算機輔助幫助英文寫作得到了廣泛關(guān)注,如 CoNLL 2013 和 CoNLL 2014 的 shared task.其中有一部分提交的論文采用了傳統(tǒng)的語言模型或者對傳統(tǒng)的語言模型進行了改進并取得了一定的效果.Longkai Zhang 等[2]采用了傳統(tǒng)的 n-gram 語言模型進行糾錯和檢錯,但是傳統(tǒng)n-gram語言模型比較簡單,所以對處理結(jié)果增加了最大熵分類器對冠詞和介詞錯誤分別進行二次處理.Grigori Sidorova 和 Francisco Velasquez等[3]采用了一種基于規(guī)則的方法,并考慮到了句法的樹狀關(guān)系,入了句法n-gram語言模型,但是模型只考慮縱向依賴關(guān)系而忽略了橫向的關(guān)系,所以會丟失一些語義信息導(dǎo)致模型不夠精確.Yashimoto等[4]使用了一種樹狀語言模型用于主謂一致錯誤的糾正,但是由于這種樹狀模型的結(jié)點需要增加除了句中單詞外的附加語法信息,所以會起數(shù)據(jù)稀疏的問題,影響模型實際使用效果.

    在英語搭配糾錯檢錯方面,杜一民等[5]嘗試了用傳統(tǒng)的n-gram對分類器的結(jié)果進行排序產(chǎn)生最終的糾錯結(jié)果.但是由于搭配關(guān)系的詞匯之間的位置關(guān)系比較多變,所以傳統(tǒng)的n-gram模型存在一定的局限性.本文考慮將句法的樹狀層次關(guān)系保留到語言模型中,并同時保留不同層次縱向依賴關(guān)系也就是句法結(jié)構(gòu)信息,以及同一句法層次的橫向的關(guān)系也就是語義信息,從而建立一種層次語言模型.采用分類器對備選結(jié)果進行篩選縮小備選集合,最后利用該語言模型進行排序,挑選出最合適的結(jié)果.

    2 層次語言模型

    2.1 傳統(tǒng)的n-gram語言模型的不足之處

    傳統(tǒng)的n-gram語言模型將句子考慮為一個順序的串,其中n為取詞窗口的大小.以比較常用的tri-gram[6]為例,此時的n等于3,模型的定義如下:

    用于英語語法糾錯時,傳統(tǒng)的n-gram語言模型將句子處理為線性模型.n的大小決定了相關(guān)的單詞間的最大單詞跨度.所以當(dāng)n確定時,對于句中單詞間隔大于n的單詞間的依賴關(guān)系將丟失;而當(dāng)n過大時將使得可用信息密度下降,這將降低語言模型的準(zhǔn)確性.

    例句:I will give you an example of why I have come to that conclusion.

    以句中的give example為目標(biāo)搭配提取出的3元組如下:

    give you an

    you an example

    an example of

    可以看到?jīng)]有辦法取得一個能包含give example這兩個目標(biāo)詞語的三元組,也就是說語言模型沒辦法將這對搭配的信息保存下來.

    但是如果將取詞窗口擴大到4,則可以取得以下包含兩個目標(biāo)詞匯的4元組:

    give you an example

    但是這個四元組同時包含了更多詞匯,故入了更多噪聲,從而會使語言模型的準(zhǔn)確性下降.假設(shè)give example這對搭配在語料中出現(xiàn)幾十次,然而這個特定的四元組可能只出現(xiàn)一兩次.所以雖然長度增長能保證取詞窗口能包含對應(yīng)搭配,但是也會起數(shù)據(jù)稀疏的問題.

    2.2 層次語言模型

    為了能讓英語搭配詞組的信息能夠更有效的被描述出來,我們考慮入句法樹描述句子中詞語的依存關(guān)系,再融合傳統(tǒng)n-gram模型的優(yōu)點對句法樹進行描述.也就是通過層次語言模型獲得n元組,而不是以文本中詞語出現(xiàn)的先后順序直接得到n元組.

    我們認為句子的主干中的核心詞語之間有直接的關(guān)系,它們應(yīng)該放在一起,形成一個濃縮的子句;而各個核心詞匯的修飾成分也應(yīng)該以這個核心詞匯為中心放在一起,形成一個濃縮的子句;如果還有冗余的成分則放在下一個層次,遞推形成層次結(jié)構(gòu).根據(jù)語法關(guān)系放在一起的詞匯組成新的子句,子句內(nèi)部的詞語相互約束;下層的子句是上層的補充和修飾部分.

    以“give you an example”和“give you the example”這兩個短語為例,建立句法樹如圖1.

    圖1 依存關(guān)系圖

    從圖1可以看到這兩個短語中各個詞語的依存關(guān)系,如果只保存根結(jié)點詞語和根結(jié)點的子結(jié)點詞語,并且按照原來的位置關(guān)系重新抽取出新的短語,則這兩個原先不同短語都可以得到一個新的短語“give you example”,也就是說,主要成分被保留下來,次要成份被忽略了.

    句子表面意義上的相鄰,并不是真正語法意義上的相鄰關(guān)系,正是這種表面意義上的相鄰導(dǎo)致了傳統(tǒng)n-gram的低效.我們?nèi)绻靡来骊P(guān)系就能有效獲取這種語法上的相鄰關(guān)系,并把這種更深層次的相鄰保存在新的子句中,就能有效去除冗余.

    接下來我們來看一個完整的例子,由句子“I will give you an example of why I have come to that conclusion.”可以建立圖2所示的樹 .

    圖2 句法樹例子圖

    然而不同于Grigori[7]縱向由根到每個葉子結(jié)點的路徑生成n元組的方法,我們首先由這棵樹橫向構(gòu)建子序列,然后再生成n元組.

    從句子的根結(jié)點出發(fā),根結(jié)點和所有的根結(jié)點的直接子結(jié)點按照原來的順序構(gòu)成一個子句,第一層子句也是整個句子的主干,也就是“I will give you example”,這個子句去除了所有的子結(jié)點修飾成分,句子內(nèi)容被濃縮,語義信息也可以保留下來;遍歷所有的根結(jié)點的直接子結(jié)點,如果子結(jié)點還有孩子就遞歸地按照相同的方法建立子句,這些低層次的子句是上層子句的修飾部分.注意到介詞不是實詞,所以處理的時候?qū)⒔樵~和后邊的依賴詞當(dāng)成一個整體放入介詞所在的子句,否則會產(chǎn)生大量兩個詞語的子句.最終可以得到4個層次,總共4個子句.

    第一層子句:

    S1:I will give you example.

    第二層子句:

    S2:an example of come.

    第三層子句:

    S4:why I have come to conclusion.

    第四層子句:

    S5:that conclusion.

    考慮到傳統(tǒng)n-gram易于訓(xùn)練,以及有比較成熟的平滑處理方法,本文參考傳統(tǒng)n-gram的對子句進行n元組提取就可以得到最終的層次語言模型n元組.

    定義層次語言模型中句子的概率為:

    其中S為原句子,下標(biāo)i表示對應(yīng)S分解出來的第i個子句,p函數(shù)的定義采用和傳統(tǒng)語言模型相同的方法;其中,Weight是第i個子句的權(quán)重,權(quán)重跟句子所在層次相關(guān).

    采用不同的權(quán)重是考慮到不同的子句對整個句子的影響有所不同,比如整個句子的主干對整個句子的正確程度的貢獻應(yīng)該比主干的修飾成分貢獻還要高,一般來說,層次越高權(quán)重越大.由于本文只處理動名詞搭配,經(jīng)過處理之后搭配中的動詞名詞都在同一個子句中,為了簡化處理,本文使用的權(quán)重函數(shù)設(shè)為常數(shù)1.

    表1 傳統(tǒng)語言模型及層次語言模型二元組例子

    從給出的 give you example 這個例子可以知道,層次語言模型相比傳統(tǒng)的n-gram在元組的表示上更加穩(wěn)定.比如example前插入一個形容詞得到新的句子,由于變化被隔離開,層次語言模型只會增一個新的元組.而使用傳統(tǒng)的n-gram處理時,插入位置附近的元組會發(fā)生改變.

    可以發(fā)現(xiàn),當(dāng)n為2的時候,傳統(tǒng)的n-gram和我們的層次語言模型得到的二元組相等,而當(dāng)n大于2的時候我們的層次語言模型得到的n元組會少于或等于傳統(tǒng)n-gram.因為傳統(tǒng)的n-gram只考慮對原句子相鄰的詞語進行組合,而層次語言模型只對原句子中關(guān)系比較 “緊密”的詞語進行組合.比如上述的例句,當(dāng)n為3時,傳統(tǒng)n-gram得到的元組是12,而層次語言模型得到的元組數(shù)是9;當(dāng)n為4時,傳統(tǒng)n-gram得到的元組是11,而層次語言模型得到的元組數(shù)是6.比較少的元組能夠使模型得到簡化,易于使用,并且在使用中能節(jié)省更多的資源.同時,模型也可應(yīng)用于抽取分類器所使用的特征.

    3 糾錯流程設(shè)計

    首先,構(gòu)建一個動名詞搭配庫;然后根據(jù)待改句子的動名詞搭配從動名詞搭配庫中粗選出語義較為相似的一部分搭配構(gòu)成相似搭配集;接著利用語言模型抽取待改句子上下文信息作為分類器特征,用分類器對相似搭配集進行一輪比較細致的挑選得到候選結(jié)果集.最后,用語言模型對候選結(jié)果集的重排序得到最終的結(jié)果.本文在糾錯框架上參考了文獻[5]的流程,并對分類篩選和語言模型排序部分進行了改進.

    提取搭配和建立依賴樹的過程,本文使用了Stanford Parser.文獻[8]對 Stanford Parser的可靠性進行了測試,實驗中挑選了1000條句子,隨機對句子中的動詞或者名詞修改成錯誤的形式,并用Stanford Parser對修改后的句子進行處理,并請專業(yè)人員進行分析,結(jié)果顯示99%的依賴樹是可靠的.同時,考慮到動詞的時態(tài)和名詞單復(fù)數(shù)變化,本文使用了Stanford-CoreNlp提供的方法還原詞干.

    3.1 構(gòu)建搭配庫以及訓(xùn)練和測試數(shù)據(jù)準(zhǔn)備

    構(gòu)建搭配庫,首先從CLEC中挑選出錯誤標(biāo)簽為cc3,也就是有動名詞搭配錯誤的句子,得到77個錯誤搭配,并由專業(yè)人員進行改正,得到對應(yīng)的77個改正搭配.同時,針對每組改正搭配從牛津搭配詞典中選擇3到5個相似的搭配構(gòu)成改正搭配的混淆集.這些改正搭配和相似搭配構(gòu)成一個小型搭配庫,一共230個搭配.針對搭配庫中的每一個搭配,再從網(wǎng)絡(luò)語料庫中挑選50句包含該搭配的句子,作為每個搭配的訓(xùn)練集.

    對改正搭配收集若干條句子,其中的一半句子不做修改作為正測試例,另一半句子注入該錯誤搭配作為測試的負測試例,構(gòu)成測試數(shù)據(jù)集.

    本文使用BNC語料庫來訓(xùn)練用于排序的層次語言模型和用于對比傳統(tǒng)語言模型.

    3.2 生成相似搭配集

    通過對中國學(xué)習(xí)者語料庫中的動名詞搭配錯誤的分析可知[9],動名詞搭配使用錯誤主要是由于動詞或者名詞詞意使用錯誤或者直譯錯誤,所以改正的搭配與原搭配具有比較相近的語義.

    計算詞之間的語義相似度時使用了Jiang-Conrath[10]估計方法.對兩組動名詞搭配之間的相似度分為兩個動詞之間的相似度加兩個名詞之間的相似度的和.

    糾錯時,首先利用Stanford Parser從待改句子中把動名詞搭配抽取出來,并與搭配庫中的每個搭配對比計算出語義相似度,得到語義相似度最高的前15個搭配構(gòu)成相似搭配集合.

    3.2 語言模型以及分類器

    相似搭配集合的挑選過程并未考慮搭配出現(xiàn)的上下文信息,所以需要利用分類器再對這個相似搭配集進行比較細致的篩選得到一個候選結(jié)果集,最后再由語言模型進行最終排序.本文分類器使用了與感知機算法具有相同算法結(jié)構(gòu)的被動主動算法(PA-I)[11],PA算法結(jié)合了感知機算法和SVM的優(yōu)點,學(xué)習(xí)速度快,效果好.

    本文分類器所使用的特征,由層次語言模型中目標(biāo)搭配詞上下文的一元組和二元組所組成.同時,目標(biāo)搭配周圍的標(biāo)點符號不會被計入n元組中.下面是一個例子:

    例句:I will give you an example of why I have come to that conclusion.

    以句中的give example為目標(biāo)搭配提取出的n元組特征如表2所示.

    其中,Uni代表一元組,Bi代表二元組;V 代表目標(biāo)搭配的動詞,N代表目標(biāo)搭配的名詞,L代表目標(biāo)詞左邊第一個詞,LL 代表目標(biāo)詞左邊第二詞,同理,R 和RR代表目標(biāo)詞右邊第一個詞和目標(biāo)詞右邊第二個詞;I代表目標(biāo)詞在二元組的中間;Ch表示中心詞與其子結(jié)點形成的子句,比如ChUniVL表示以動詞為中心詞的子句左側(cè)一詞.

    表2 提取出的 n 元組特征例子

    本文使用BNC語料庫來訓(xùn)練用于排序的語言模型.根據(jù)上節(jié)層次語言模型的分析,利用Stanford Parser解析語料,建立層次語言模型.本文排序采用的層次語言模型和用于比較對照的傳統(tǒng)語言模型都采用3元語言模型.3元語言模型的具體實現(xiàn)參照伯克利大學(xué)的n-gram語言模型[12],在模型訓(xùn)練中使用了Kneser-Ney平滑方法[13].

    4 實驗結(jié)果分析

    本文通過收集包含改正搭配的句子,再對每個搭配對應(yīng)的收集到的一半的句子修改成錯誤的形式構(gòu)成測試集.具體的,本文從網(wǎng)絡(luò)語料中為每個改正搭配收集了20條句子,其中10條句子不做修改作為正測試例,另外10條句子將正確搭配改為錯誤搭配作為測試的負測試例,一共1540條句子,作為測試數(shù)據(jù).

    進行實驗時,本文對分類器特征分別選擇了傳統(tǒng)語言模型提取的搭配上下文信息和用層次語言模型提取的搭配上下文信息進行測試.同時對排序部分分別采用傳統(tǒng)語言模型和層次語言模型進行了測試.

    對最終語言模型的排序結(jié)果進行評判使用的是平均倒數(shù)排名MRR[14],MRR是一種對排序結(jié)果進行評價的方法,用于評估正確結(jié)果是否被包含到結(jié)果列表中,以及正確結(jié)果在排序中有多靠前.即:最終排序后,正確搭配如果排第一名則得到1分,拍第二名得0.5分,排第n則得1/n分,如果正確結(jié)果沒存在排序集中則得分為0.本文的MRR的最終結(jié)果為所有測試句的MRR的平均值.

    由表3可以看到,與分類器特征和排序都采用傳統(tǒng)語言模型相比,當(dāng)分類器特征改為層次語言模型抽取的特征的時候MRR會有略微的提高,而當(dāng)排序使用層次語言模型時會有更大的提升.這主要是因為排序部分的變化對MMR結(jié)果的影響比較直接.當(dāng)分類器特征由層次語言模型得到,并且排序使用的語言模型也為層次語言模型的時候效果最好,這也印證了層次語言模型相比傳統(tǒng)語言模的優(yōu)勢.

    表3 不同分類器特征和排序語言模型MRR結(jié)果

    5 總結(jié)

    實驗中本文建立了一個小型動名詞搭配庫用于搭配糾錯,并將層次語言模型應(yīng)用于分類器特征選擇和最終結(jié)果排序,結(jié)果顯示,采用層次語言模型對比采用傳統(tǒng)語言模型能取得更好的效果.在未來的工作中,可以嘗試對語言模型以及提取分類器的特征部分做更深入的研究,并且可以嘗試將層次語言模型應(yīng)用于其他的搭配檢錯糾錯中.

    如上所述,傳統(tǒng)語言模型直接按照英文文本的表層含義處理文本,忽略了文本的深層含義.而層次語言模型考慮了英文句子中各個詞之間的依賴關(guān)系,同時參考了傳統(tǒng)的語言模型的優(yōu)點,對子句進行建模.這種層次語言模型的優(yōu)點是當(dāng)句子的變化時,產(chǎn)生的結(jié)果更加穩(wěn)定.其次,在n大于2的時候產(chǎn)生的n元組會少于傳統(tǒng)的n-gram,因而得到的語言模型更加簡化.另外,由于搭配信息得到濃縮,模型訓(xùn)練中除去更多的噪聲,訓(xùn)練得到的語言模型將會更加精確.

    1 楊惠中,桂詩春,楊達復(fù).基于 CLEC語料庫的中國學(xué)習(xí)者英語分析.上海:上海外語教育出版社,2005.

    2 Zhang LK,Wang HF.A unified framework for grammar error correction.Proc.of the 18th Conference on Computational Natural Language Learning:Shared Task.Baltimore,Maryland,USA.2014.96–102.

    3 Sidorov G,Gupta A,Tozer M,et al.Rule-based system for automatic grammar correction using syntactic N-grams for English language learning (L2).Proc.of the 17th Conference on Computational Natural Language Learning:Shared Task.Sofia,Bulgaria.2013.96–101.

    4 Yoshimoto I,Kose T,Mitsuzawa K,et al.NAIST at 2013 CoNLL grammatical error correction shared task.Proc.of the 17th Conference on Computational Natural Language Learning:Shared Task.Sofia,Bulgaria.2013.26–33.

    5 杜一民,吳桂興,吳敏.一種解決英語動名詞搭配錯誤的模型.計算機科學(xué),2016,43(7):230–233,250.[doi:10.11896/j.issn.1002-137X.2016.07.041]

    6 Collins M.Language modeling:Course notes for NLP.Columbia:Columbia University,2008.

    7 Sidorov G,Velasquez F,Stamatatos E,et al.Syntactic dependency-based n-grams as classification features.Proc.of the 11th Mexican International Conference on Advances in Computational Intelligence.San Luis Potosí,Mexico.2013.1–11.

    8 Wang LK,Wang HF.Go climb a dependency tree and correct the grammatical errors.Proc.of the 2014 Conference on Empirical Methods in Natural Language Processing(EMNLP).Doha,Qatar.2014.266–277.

    9 曹莉.基于語料庫的中國大學(xué)生英語四、六級考試作文中動名搭配錯誤分析[碩士學(xué)位論文].武漢:華中科技大學(xué),2007.

    10 Jiang JJ,Conrath DW.Semantic similarity based on corpus statistics and lexical taxonomy.Proc.of International Conference Research on Computational Linguistics (ROCLING X).Taiwan,China.1997.

    11 Crammer K,Dekel O,Keshet J,et al.Online passiveaggressive algorithms.The Journal of Machine Learning Research,2006,7(3):551–585.

    12 Pauls A,Klein D.Faster and smaller N-gram language models.Proc.of the 49th Annual Meeting of the Association for Computational Linguistics:Human Language Technologies.Portland,Oregon,USA.2011.258–267.

    13 Kneser R,Ney H.Improved backing-off for m-gram language modeling.Proc.of International Conference on Acoustics,Speech,and Signal Processing.Detroit,MI,USA.1995.181–184.

    14 Craswell N.Mean reciprocal rank.Liu L,?zsu MT.Encyclopedia of Database Systems.Berlin,Heidelberg,Germany.Springer,2009.1703.

    English Verb-Noun Collocation Error Correction Strategy Based on Hierarchical Language Model

    LI Can-Run1,WU Gui-Xing2,WU Min1

    1(Center of Modern Educational Technology,University of Science and Technology of China,Hefei 230026,China)2(Suzhou Institute of University of Science and Technology of China,Suzhou 235123,China)

    The correct use of collocation has been widely acknowledged as an essential characteristic to distinguish native English speakers from English learners.Through the analysis of CLEC,we can find that English learners often make mistakes on verb-noun collocations.In this paper,we propose a hierarchical language model that can be used to correct verb-noun collocation errors made by English learners.The language model takes the dependencies between words within a sentence into account.It parses sentences into different levels of clauses.The words within the same clause are highly correlated,and the relevance of words in different clauses is weak.The language model is more stable.Moreover,it is more accurate because collocation information is condensed.It can be used to re-rank candidates and generate classifier features.We apply this hierarchical language model to the correction of English verb-noun collocation errors.Compared with the traditional language model,the new model has better performance.

    verb-noun collocation error;hierarchical language model;automatic correction strategy

    李燦潤,吳桂興,吳敏.基于層次語言模型的英語動名詞搭配糾錯策略.計算機系統(tǒng)應(yīng)用,2017,26(9):145–150.http://www.c-sa.org.cn/1003-3254/5951.html

    ①基金項后:江蘇省自然科學(xué)基金面上研究項后(BK20141209);蘇州市應(yīng)用基礎(chǔ)研究項后(SYG201543)

    2016-12-27;采用時間:2017-01-18

    猜你喜歡
    子句元組動名詞
    命題邏輯中一類擴展子句消去方法
    Python核心語法
    電腦報(2021年14期)2021-06-28 10:46:22
    命題邏輯可滿足性問題求解器的新型預(yù)處理子句消去方法
    日語動名詞中二字漢語與四字漢語語構(gòu)成的對比研究
    A team works smoothly
    動名詞or不定式,真的只能死記硬背嗎?
    海量數(shù)據(jù)上有效的top-kSkyline查詢算法*
    西夏語的副詞子句
    西夏學(xué)(2018年2期)2018-05-15 11:24:42
    基于減少檢索的負表約束優(yōu)化算法
    命題邏輯的子句集中文字的分類
    亚洲av欧美aⅴ国产| 午夜激情福利司机影院| 国产成人91sexporn| 日韩欧美一区视频在线观看| 高清欧美精品videossex| 久久久久精品久久久久真实原创| 国产淫语在线视频| 大香蕉97超碰在线| 青春草亚洲视频在线观看| 免费大片18禁| 国产精品人妻久久久影院| 丰满迷人的少妇在线观看| 永久网站在线| 亚洲欧美色中文字幕在线| 国产成人免费无遮挡视频| 大香蕉久久成人网| av视频免费观看在线观看| 国产 精品1| 日韩不卡一区二区三区视频在线| 一区二区日韩欧美中文字幕 | 啦啦啦中文免费视频观看日本| 亚洲经典国产精华液单| 久热久热在线精品观看| 日韩成人av中文字幕在线观看| 天天躁夜夜躁狠狠久久av| 内地一区二区视频在线| 一边亲一边摸免费视频| 亚洲激情五月婷婷啪啪| 人妻一区二区av| 男男h啪啪无遮挡| 欧美3d第一页| 成年美女黄网站色视频大全免费 | 中文天堂在线官网| 久久精品熟女亚洲av麻豆精品| 国产在视频线精品| 国国产精品蜜臀av免费| 这个男人来自地球电影免费观看 | 99九九在线精品视频| 五月伊人婷婷丁香| 精品熟女少妇av免费看| 久久精品熟女亚洲av麻豆精品| 在线 av 中文字幕| 97超视频在线观看视频| 最新的欧美精品一区二区| av有码第一页| 久热这里只有精品99| 精品99又大又爽又粗少妇毛片| 国产精品久久久久成人av| 久久午夜综合久久蜜桃| 国产熟女午夜一区二区三区 | 多毛熟女@视频| 免费观看a级毛片全部| 欧美激情极品国产一区二区三区 | 亚洲欧美日韩卡通动漫| 精品一区二区免费观看| 国产av精品麻豆| 亚洲精品久久成人aⅴ小说 | 欧美97在线视频| 国产一级毛片在线| 黄色毛片三级朝国网站| 97超视频在线观看视频| 日本av免费视频播放| 高清黄色对白视频在线免费看| av视频免费观看在线观看| 亚洲精品乱码久久久v下载方式| 麻豆乱淫一区二区| 好男人视频免费观看在线| 国国产精品蜜臀av免费| 国产国语露脸激情在线看| 久久精品人人爽人人爽视色| 午夜福利视频在线观看免费| 国产精品国产三级国产专区5o| 在线 av 中文字幕| 久久久久久久精品精品| 日韩大片免费观看网站| 一级,二级,三级黄色视频| 久久久久久久久久成人| 热re99久久精品国产66热6| 国产av国产精品国产| 免费不卡的大黄色大毛片视频在线观看| 国产永久视频网站| 国产成人精品一,二区| 免费看av在线观看网站| 曰老女人黄片| 久久99热这里只频精品6学生| 99久久中文字幕三级久久日本| 伊人亚洲综合成人网| 久久精品国产亚洲av涩爱| 丝瓜视频免费看黄片| av不卡在线播放| 欧美精品国产亚洲| 国产极品天堂在线| 美女脱内裤让男人舔精品视频| 在线观看免费视频网站a站| 欧美3d第一页| 热99国产精品久久久久久7| 日本av手机在线免费观看| 久久久精品94久久精品| 亚洲精品乱久久久久久| 九九久久精品国产亚洲av麻豆| 亚洲色图 男人天堂 中文字幕 | 91成人精品电影| 国产成人aa在线观看| 人妻人人澡人人爽人人| 久久国产亚洲av麻豆专区| 亚洲一级一片aⅴ在线观看| 草草在线视频免费看| 黄片无遮挡物在线观看| 国产精品 国内视频| 国产一区二区三区综合在线观看 | 日韩视频在线欧美| 嘟嘟电影网在线观看| 国产老妇伦熟女老妇高清| 一区二区三区四区激情视频| 一级毛片电影观看| 男女边吃奶边做爰视频| 国产成人免费观看mmmm| 亚洲天堂av无毛| 免费人妻精品一区二区三区视频| 国产精品 国内视频| 久久热精品热| 午夜福利在线观看免费完整高清在| 国产在线免费精品| 午夜视频国产福利| 免费黄频网站在线观看国产| 欧美亚洲日本最大视频资源| 亚洲欧美中文字幕日韩二区| 能在线免费看毛片的网站| 青青草视频在线视频观看| 亚洲av福利一区| 亚洲伊人久久精品综合| 久久精品久久久久久噜噜老黄| 91午夜精品亚洲一区二区三区| 国产欧美亚洲国产| 中国美白少妇内射xxxbb| tube8黄色片| 久久精品国产a三级三级三级| 欧美丝袜亚洲另类| 熟女人妻精品中文字幕| 五月天丁香电影| 精品久久久精品久久久| 黄色毛片三级朝国网站| 日本爱情动作片www.在线观看| a级毛片免费高清观看在线播放| 人人妻人人澡人人看| 久久久午夜欧美精品| 亚洲精品视频女| 91aial.com中文字幕在线观看| 成人毛片a级毛片在线播放| 22中文网久久字幕| 欧美亚洲 丝袜 人妻 在线| 国产黄频视频在线观看| 制服诱惑二区| 欧美日韩在线观看h| 日韩av在线免费看完整版不卡| 一级,二级,三级黄色视频| 两个人的视频大全免费| 日韩人妻高清精品专区| 久久热精品热| 我的老师免费观看完整版| 久久热精品热| 国产极品天堂在线| 国产精品无大码| 免费人妻精品一区二区三区视频| 成人手机av| 又大又黄又爽视频免费| 久久久久精品久久久久真实原创| 人人妻人人澡人人看| 国产精品秋霞免费鲁丝片| 久久久久久伊人网av| 十分钟在线观看高清视频www| 九色成人免费人妻av| 国产精品一区二区在线不卡| 亚洲欧美日韩卡通动漫| 欧美日韩视频高清一区二区三区二| 久久综合国产亚洲精品| 精品少妇久久久久久888优播| 国产成人av激情在线播放 | 黄色毛片三级朝国网站| 国产高清有码在线观看视频| 少妇猛男粗大的猛烈进出视频| 美女内射精品一级片tv| 亚洲国产最新在线播放| 最近手机中文字幕大全| 在现免费观看毛片| 日韩亚洲欧美综合| 亚洲av免费高清在线观看| 2021少妇久久久久久久久久久| 国产片特级美女逼逼视频| 亚洲人与动物交配视频| 韩国高清视频一区二区三区| 99热这里只有精品一区| 亚洲国产毛片av蜜桃av| 日韩精品免费视频一区二区三区 | 亚洲精品av麻豆狂野| 美女福利国产在线| 一本一本综合久久| 久久久久国产精品人妻一区二区| 久热久热在线精品观看| 亚洲国产精品国产精品| 久久国产精品男人的天堂亚洲 | 色视频在线一区二区三区| 大香蕉久久网| 午夜免费男女啪啪视频观看| 2018国产大陆天天弄谢| 色婷婷av一区二区三区视频| 中国三级夫妇交换| 日韩强制内射视频| 亚洲精品av麻豆狂野| 我要看黄色一级片免费的| av女优亚洲男人天堂| 久久精品久久久久久久性| 晚上一个人看的免费电影| 中文字幕人妻熟人妻熟丝袜美| 青春草视频在线免费观看| 国产又色又爽无遮挡免| 性高湖久久久久久久久免费观看| 久久国产精品大桥未久av| 亚洲精品aⅴ在线观看| 一级,二级,三级黄色视频| 亚洲天堂av无毛| 18禁裸乳无遮挡动漫免费视频| 97在线视频观看| 激情五月婷婷亚洲| 国产av国产精品国产| 久久久久网色| 国产精品国产三级国产专区5o| 高清在线视频一区二区三区| 秋霞伦理黄片| 色5月婷婷丁香| 岛国毛片在线播放| 高清黄色对白视频在线免费看| 免费观看a级毛片全部| 一级毛片 在线播放| 97超视频在线观看视频| 久久久国产一区二区| 欧美精品人与动牲交sv欧美| 男女啪啪激烈高潮av片| 国产成人精品久久久久久| 久久亚洲国产成人精品v| 高清视频免费观看一区二区| 国产在线视频一区二区| 欧美日韩一区二区视频在线观看视频在线| 亚洲一区二区三区欧美精品| av播播在线观看一区| 26uuu在线亚洲综合色| 日韩av免费高清视频| av国产精品久久久久影院| 热re99久久国产66热| 亚洲人与动物交配视频| 999精品在线视频| 伊人久久国产一区二区| 97超碰精品成人国产| .国产精品久久| 18在线观看网站| 亚洲天堂av无毛| 2018国产大陆天天弄谢| 国产成人免费无遮挡视频| 日韩亚洲欧美综合| 999精品在线视频| 80岁老熟妇乱子伦牲交| 女性生殖器流出的白浆| 免费观看在线日韩| 26uuu在线亚洲综合色| 久久久国产一区二区| 男男h啪啪无遮挡| 国产精品一区www在线观看| 亚洲精品国产av蜜桃| 国产av一区二区精品久久| 美女脱内裤让男人舔精品视频| 亚洲av中文av极速乱| 十分钟在线观看高清视频www| 午夜久久久在线观看| 久久 成人 亚洲| 国产老妇伦熟女老妇高清| 亚洲av综合色区一区| 大又大粗又爽又黄少妇毛片口| 亚洲精华国产精华液的使用体验| 国产精品.久久久| 高清午夜精品一区二区三区| 天天躁夜夜躁狠狠久久av| 日韩不卡一区二区三区视频在线| 久久ye,这里只有精品| 午夜91福利影院| 国产精品久久久久久精品古装| 人妻 亚洲 视频| 色94色欧美一区二区| 中文欧美无线码| 精品久久久久久久久av| 亚洲精品国产av成人精品| 黑人巨大精品欧美一区二区蜜桃 | 毛片一级片免费看久久久久| av在线观看视频网站免费| 国产精品无大码| √禁漫天堂资源中文www| 丰满少妇做爰视频| 18禁动态无遮挡网站| 亚洲国产毛片av蜜桃av| 欧美+日韩+精品| 亚洲av国产av综合av卡| 日韩av免费高清视频| 美女cb高潮喷水在线观看| 特大巨黑吊av在线直播| 国产午夜精品一二区理论片| 久久久久久久久久人人人人人人| 男女边摸边吃奶| 五月玫瑰六月丁香| 久久午夜福利片| 国产爽快片一区二区三区| 欧美变态另类bdsm刘玥| 亚洲av二区三区四区| 欧美精品一区二区免费开放| 中文精品一卡2卡3卡4更新| 免费观看的影片在线观看| 亚洲国产欧美日韩在线播放| 欧美激情 高清一区二区三区| 亚洲av欧美aⅴ国产| 啦啦啦在线观看免费高清www| 欧美 亚洲 国产 日韩一| 午夜精品国产一区二区电影| 十八禁网站网址无遮挡| 婷婷色麻豆天堂久久| 爱豆传媒免费全集在线观看| 日日爽夜夜爽网站| 水蜜桃什么品种好| 成人综合一区亚洲| 黄色配什么色好看| 欧美日韩在线观看h| 国产精品女同一区二区软件| 在线免费观看不下载黄p国产| 一级毛片aaaaaa免费看小| 亚洲av日韩在线播放| 成人国语在线视频| 美女福利国产在线| 亚洲国产欧美日韩在线播放| 尾随美女入室| 国产精品成人在线| 成人漫画全彩无遮挡| 人妻少妇偷人精品九色| 国产亚洲精品第一综合不卡 | 欧美精品高潮呻吟av久久| 欧美日韩综合久久久久久| 99热网站在线观看| 王馨瑶露胸无遮挡在线观看| 久久精品国产a三级三级三级| 性高湖久久久久久久久免费观看| 只有这里有精品99| 中文字幕最新亚洲高清| 麻豆乱淫一区二区| 午夜视频国产福利| 日本黄大片高清| 亚洲精品乱久久久久久| 国产在视频线精品| 免费黄频网站在线观看国产| 亚洲av二区三区四区| 一区二区av电影网| 久久国产亚洲av麻豆专区| 婷婷成人精品国产| 18+在线观看网站| 久久久久久久久久久久大奶| √禁漫天堂资源中文www| 精品人妻熟女av久视频| 在线观看免费视频网站a站| 免费观看在线日韩| 777米奇影视久久| 王馨瑶露胸无遮挡在线观看| 国产精品蜜桃在线观看| 国产伦理片在线播放av一区| 久久热精品热| 国产精品三级大全| 午夜激情av网站| 亚洲精品久久成人aⅴ小说 | 男女啪啪激烈高潮av片| 亚洲av.av天堂| 色视频在线一区二区三区| 日本黄色片子视频| 精品人妻熟女毛片av久久网站| 欧美日韩视频精品一区| 欧美日韩视频高清一区二区三区二| 亚洲精品中文字幕在线视频| 热re99久久国产66热| 久久久久国产精品人妻一区二区| 成人综合一区亚洲| 永久免费av网站大全| 18禁裸乳无遮挡动漫免费视频| 国产亚洲精品久久久com| 精品一品国产午夜福利视频| 91久久精品电影网| 男女高潮啪啪啪动态图| 国产日韩欧美视频二区| 一本一本久久a久久精品综合妖精 国产伦在线观看视频一区 | av播播在线观看一区| 精品久久久久久久久av| 午夜激情福利司机影院| 一本一本久久a久久精品综合妖精 国产伦在线观看视频一区 | 最黄视频免费看| 久久韩国三级中文字幕| av线在线观看网站| 亚洲第一区二区三区不卡| 777米奇影视久久| 最近手机中文字幕大全| 精品亚洲成a人片在线观看| 午夜福利网站1000一区二区三区| 高清av免费在线| 热re99久久精品国产66热6| 天堂中文最新版在线下载| av一本久久久久| 啦啦啦啦在线视频资源| 女人久久www免费人成看片| xxx大片免费视频| 久久精品夜色国产| 两个人免费观看高清视频| 日韩一本色道免费dvd| 成人漫画全彩无遮挡| 久热久热在线精品观看| 天天影视国产精品| 伊人亚洲综合成人网| 搡老乐熟女国产| 成年av动漫网址| 夫妻性生交免费视频一级片| av又黄又爽大尺度在线免费看| 黄色视频在线播放观看不卡| 国产精品不卡视频一区二区| av免费观看日本| av国产久精品久网站免费入址| 极品少妇高潮喷水抽搐| 人成视频在线观看免费观看| 99九九线精品视频在线观看视频| 丝袜在线中文字幕| 国产有黄有色有爽视频| 少妇的逼好多水| 一级黄片播放器| 亚洲三级黄色毛片| 婷婷色av中文字幕| 欧美 日韩 精品 国产| 国产日韩欧美视频二区| 亚洲四区av| 国产乱人偷精品视频| 免费高清在线观看日韩| 一级片'在线观看视频| 丝袜在线中文字幕| 肉色欧美久久久久久久蜜桃| 国产亚洲午夜精品一区二区久久| 超碰97精品在线观看| 久久久久国产网址| 一级毛片 在线播放| 日韩 亚洲 欧美在线| 国产成人精品福利久久| 亚洲国产欧美在线一区| 麻豆精品久久久久久蜜桃| 岛国毛片在线播放| www.色视频.com| 成年人午夜在线观看视频| 一本一本久久a久久精品综合妖精 国产伦在线观看视频一区 | 免费不卡的大黄色大毛片视频在线观看| 狂野欧美白嫩少妇大欣赏| 欧美日本中文国产一区发布| 亚洲精品乱久久久久久| 欧美丝袜亚洲另类| 国产成人精品在线电影| 97在线视频观看| 亚洲精品乱码久久久v下载方式| 伊人亚洲综合成人网| 国产av国产精品国产| 久久国产精品男人的天堂亚洲 | 我的老师免费观看完整版| 人人澡人人妻人| 一级爰片在线观看| 男人操女人黄网站| 夜夜骑夜夜射夜夜干| 看免费成人av毛片| 2018国产大陆天天弄谢| 九九爱精品视频在线观看| 两个人的视频大全免费| 少妇猛男粗大的猛烈进出视频| 国产精品国产av在线观看| 少妇人妻久久综合中文| 三级国产精品片| 欧美xxⅹ黑人| 黑人欧美特级aaaaaa片| 精品久久久噜噜| 少妇人妻 视频| 久久99热6这里只有精品| 99精国产麻豆久久婷婷| 免费大片18禁| 欧美精品高潮呻吟av久久| 婷婷色综合大香蕉| 简卡轻食公司| 美女脱内裤让男人舔精品视频| 搡老乐熟女国产| 丝袜喷水一区| 国产午夜精品久久久久久一区二区三区| 久久国内精品自在自线图片| 日日摸夜夜添夜夜添av毛片| 爱豆传媒免费全集在线观看| 特大巨黑吊av在线直播| 久久久午夜欧美精品| 国产在视频线精品| www.av在线官网国产| 久久午夜综合久久蜜桃| 精品一区二区三卡| 日韩制服骚丝袜av| a级毛色黄片| 久久99一区二区三区| 精品卡一卡二卡四卡免费| 在线精品无人区一区二区三| 有码 亚洲区| 极品少妇高潮喷水抽搐| 国产 一区精品| 亚洲精品成人av观看孕妇| 精品熟女少妇av免费看| 黄色毛片三级朝国网站| a级片在线免费高清观看视频| 国产一区亚洲一区在线观看| 亚洲国产成人一精品久久久| 午夜日本视频在线| 欧美日韩av久久| 欧美最新免费一区二区三区| 国产日韩一区二区三区精品不卡 | av有码第一页| 久久久久人妻精品一区果冻| 日本欧美视频一区| 又大又黄又爽视频免费| 欧美丝袜亚洲另类| 男女啪啪激烈高潮av片| 日本欧美国产在线视频| 欧美激情国产日韩精品一区| 色哟哟·www| 国产色爽女视频免费观看| 少妇丰满av| 三级国产精品片| 午夜福利网站1000一区二区三区| 91精品伊人久久大香线蕉| 亚洲国产精品999| 国产精品免费大片| 久久久国产欧美日韩av| 日韩中文字幕视频在线看片| videos熟女内射| 3wmmmm亚洲av在线观看| 少妇熟女欧美另类| 亚洲精品aⅴ在线观看| 免费观看的影片在线观看| 岛国毛片在线播放| 亚洲av电影在线观看一区二区三区| 97超碰精品成人国产| 少妇的逼好多水| 午夜影院在线不卡| 日日撸夜夜添| 国产爽快片一区二区三区| av播播在线观看一区| 熟女人妻精品中文字幕| 制服丝袜香蕉在线| 春色校园在线视频观看| 久久精品人人爽人人爽视色| 久久精品久久精品一区二区三区| 97超碰精品成人国产| 精品久久久久久久久av| 日本91视频免费播放| 九九久久精品国产亚洲av麻豆| 欧美成人午夜免费资源| 午夜av观看不卡| 国产亚洲一区二区精品| 国产精品无大码| 超碰97精品在线观看| 大香蕉久久成人网| 韩国av在线不卡| 2022亚洲国产成人精品| 水蜜桃什么品种好| 亚洲av欧美aⅴ国产| 水蜜桃什么品种好| 国产精品 国内视频| 国产成人aa在线观看| 欧美精品一区二区大全| 国产精品嫩草影院av在线观看| 亚洲欧美精品自产自拍| av不卡在线播放| 久久99一区二区三区| 中文乱码字字幕精品一区二区三区| 国产免费福利视频在线观看| 免费日韩欧美在线观看| 欧美日韩一区二区视频在线观看视频在线| 一区二区三区免费毛片| 岛国毛片在线播放| 免费观看性生交大片5| 亚洲国产日韩一区二区| 免费观看无遮挡的男女| 国产欧美亚洲国产| 久久韩国三级中文字幕| 亚洲av二区三区四区| 亚洲国产最新在线播放| 亚洲经典国产精华液单| 王馨瑶露胸无遮挡在线观看| 九草在线视频观看| 一级a做视频免费观看| av黄色大香蕉| 亚洲精品乱久久久久久| 中文字幕亚洲精品专区| 精品人妻偷拍中文字幕| 国产精品99久久99久久久不卡 | 如日韩欧美国产精品一区二区三区 | 日韩大片免费观看网站| 国产精品麻豆人妻色哟哟久久| 在线观看三级黄色| 99久久精品一区二区三区| 中文字幕最新亚洲高清| 在线精品无人区一区二区三| 国精品久久久久久国模美| 色94色欧美一区二区| 精品久久久精品久久久| 制服丝袜香蕉在线| 欧美xxxx性猛交bbbb| 大香蕉久久成人网| 在线亚洲精品国产二区图片欧美 | 韩国高清视频一区二区三区| 少妇丰满av|