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

    一個(gè)離散數(shù)學(xué)輔助教學(xué)軟件的設(shè)計(jì)與開發(fā)

    2022-03-07 02:21:25周曉聰趙清謝揚(yáng)周宇喬海燕
    軟件工程 2022年3期
    關(guān)鍵詞:離散數(shù)學(xué)

    周曉聰 趙清 謝揚(yáng) 周宇 喬海燕

    摘? 要:離散數(shù)學(xué)是計(jì)算機(jī)專業(yè)的核心基礎(chǔ)課程,通常包括邏輯、證明、集合、關(guān)系、函數(shù)、組合計(jì)數(shù)、圖論和代數(shù)等多個(gè)模塊。一個(gè)能求解離散數(shù)學(xué)問題的計(jì)算機(jī)軟件對(duì)離散數(shù)學(xué)課程的教學(xué)和學(xué)習(xí)都有很好的輔助作用。本文使用面向?qū)ο蠓椒ㄔO(shè)計(jì)和開發(fā)了一個(gè)包含能求解邏輯、集合、組合計(jì)數(shù)、圖論與代數(shù)等離散數(shù)學(xué)課程模塊中問題的教學(xué)輔助軟件。該軟件不僅能展示離散數(shù)學(xué)問題求解的詳細(xì)過程,還能隨機(jī)生成問題供學(xué)生練習(xí)。對(duì)學(xué)生試用后的調(diào)查表明,該軟件對(duì)學(xué)生學(xué)習(xí)離散數(shù)學(xué)課程很有幫助,也有助于培養(yǎng)學(xué)生的計(jì)算思維。

    關(guān)鍵詞:離散數(shù)學(xué);輔助教學(xué)軟件;面向?qū)ο笤O(shè)計(jì)

    中圖分類號(hào):TP31? ? ?文獻(xiàn)標(biāo)識(shí)碼:A

    Design and Development of an Aided Instruction Software for Discrete Mathematics

    ZHOU Xiaocong, ZHAO Qing, XIE Yang, ZHOU Yu, QIAO Haiyan

    (School of Computer Science and Engineering, Sun Yat-Sen University, Guangzhou 510006, China)

    isszxc@mail.sysu.edu.cn; zhaoq78@mail2.sysu.edu.cn; xiey233@mail2.sysu.edu.cn;

    zhouy635@mail2.sysu.edu.cn; qiaohy@mail.sysu.edu.cn

    Abstract: Discrete mathematics is a core basic course of computer majors, which usually includes multiple modules such as logic, proof, set, relation, function, combinatorial counting, graph theory and algebra. A computer software that can solve discrete mathematics problems motivates teaching and learning of discrete mathematics. By using object-oriented method, this paper proposes to design and develop an aided instruction software to solve problems in discrete mathematics course modules, such as logic, sets, combinatorial counting, graph theory and algebra. The proposed software can not only show the detailed process of solving problems, but also randomly generate instances of such problems for students to practice. Post-trial survey of students shows that the proposed software is helpful for students to learn discrete mathematics, and good for cultivating students' computational thinking as well.

    Keywords: discrete mathematics; aided instruction software; object-oriented design

    1? ?引言(Introduction)

    離散數(shù)學(xué)是計(jì)算機(jī)專業(yè)的核心基礎(chǔ)課程,通常包括邏輯、證明、集合、關(guān)系、函數(shù)、組合計(jì)數(shù)、圖論和代數(shù)等多個(gè)模塊。離散數(shù)學(xué)課程的內(nèi)容抽象,概念眾多,教師希望能有很多可選的例子幫助講解相關(guān)內(nèi)容,學(xué)生也希望有更多的例子幫助理解和做更多的練習(xí),但教材受篇幅所限通常不會(huì)提供太多的例題和習(xí)題,對(duì)于例題的求解過程有時(shí)也不會(huì)寫得非常詳細(xì)。教師自己想擬出更多例子時(shí),卻由于思維的某種局限性,往往擬出的例子與已有例子非常相似,例子的復(fù)雜性和代表性都可能不夠。因此,一款能夠隨機(jī)生成例子并給出詳細(xì)求解過程的計(jì)算機(jī)軟件對(duì)離散數(shù)學(xué)課程的教學(xué)和學(xué)習(xí)都會(huì)非常有幫助[1]。

    離散數(shù)學(xué)被認(rèn)為是計(jì)算機(jī)學(xué)科的基礎(chǔ)理論之一,其中很多問題都是可以使用計(jì)算機(jī)程序進(jìn)行求解的。很多問題的求解算法,例如關(guān)系閉包的計(jì)算算法(Warshall算法)通常也是離散數(shù)學(xué)課程的知識(shí)內(nèi)容之一,有些教材也會(huì)提供編程練習(xí)題[2-3],因此利用計(jì)算機(jī)程序求解離散數(shù)學(xué)問題并展示問題求解過程是幫助學(xué)生學(xué)習(xí)這門課程的一種可行途徑。遺憾的是,目前還很缺乏這方面的軟件,只有一些零散的離散數(shù)學(xué)課程中有算法的實(shí)現(xiàn)代碼展示[4-8],卻不能生成例子并展示詳細(xì)求解過程。有些通用的大型數(shù)學(xué)軟件或計(jì)算代數(shù)系統(tǒng)(Computer Algebra System, CAS),如Maple、Mathematica、Magma等雖然也能用于求解離散數(shù)學(xué)問題,但不會(huì)展示求解過程,或者求解過程需要用戶自己使用軟件提供的語言編程實(shí)現(xiàn),很難用于離散數(shù)學(xué)課程例子的自動(dòng)生成。

    我們?cè)诰帉懡滩腫3]時(shí)為構(gòu)造特有的例子和驗(yàn)證解答的正確性,在前期一些零散演示工具[9]的基礎(chǔ)上,使用面向?qū)ο蠓椒ㄔO(shè)計(jì)和開發(fā)了一個(gè)離散數(shù)學(xué)輔助教學(xué)軟件——離散數(shù)學(xué)基礎(chǔ)例題演示軟件Deedm(Demonstrator for Examples in Elementary Discrete Mathematics),實(shí)現(xiàn)了命題邏輯、集合、關(guān)系、函數(shù)、組合計(jì)數(shù)、圖論和代數(shù)中多個(gè)離散數(shù)學(xué)問題的例子生成和求解過程的展示。學(xué)生使用這個(gè)軟件可更好地理解教材例子并得到教材許多習(xí)題的詳細(xì)解答范本;教師使用這個(gè)軟件可生成更多例子用于考試或課堂講解,減輕了教師備課和出卷的工作量。

    2? 軟件功能分析與總體架構(gòu)(Software function analysis and its architecture)

    離散數(shù)學(xué)基礎(chǔ)例題演示軟件Deedm的基本功能是離散數(shù)學(xué)課程中一些問題的例子生成和詳細(xì)求解過程的展示。我們?cè)趨⒖级啾緡鴥?nèi)外離散數(shù)學(xué)優(yōu)秀教材的基礎(chǔ)上,確定Deedm至少能對(duì)下面的問題生成例子并展示其求解過程:

    (1)命題邏輯公式真值表的構(gòu)造,以及將命題邏輯公式的析取范式或合取范式擴(kuò)展為等值的主析取范式或主合取范式。

    (2)集合的并、交、差、補(bǔ)、對(duì)稱差和冪集運(yùn)算,關(guān)系和函數(shù)的復(fù)合運(yùn)算,關(guān)系逆運(yùn)算,關(guān)系性質(zhì)(自反性、對(duì)稱性、傳遞性等)的判斷,關(guān)系閉包的計(jì)算,函數(shù)性質(zhì)(單函數(shù)、滿函數(shù)、雙函數(shù))的判斷,等價(jià)關(guān)系等價(jià)類和商集的計(jì)算,偏序集極大元、極小元、最大元、最小元的確定,偏序集子集上界、下界、上確界和下確界的確定。

    (3)組合計(jì)數(shù)中n元素集合的r排列生成,n元素集合的r組合生成,n元素集合的允許重復(fù)的r組合生成,滿足指定計(jì)數(shù)條件的字符串枚舉,滿足指定整除性質(zhì)的整數(shù)枚舉,滿足指定條件的不定方程解枚舉。

    (4)無向圖或有向圖的遍歷,根樹的遍歷,帶權(quán)圖指定頂點(diǎn)到其他頂點(diǎn)最短路徑的計(jì)算,帶權(quán)圖最小生成樹的確定,給定帶權(quán)葉子的最優(yōu)二叉樹構(gòu)造。

    (5)給定運(yùn)算表性質(zhì)(交換律、結(jié)合律、冪等律、分配律、吸收律、單位元、零元、逆元、消去律)的判斷,一些特殊有限群(例如n元素集合上的置換群,與m互質(zhì)的正整數(shù)以模m乘為運(yùn)算構(gòu)成的U(m)群)的群元素階、子群、子群陪集、正規(guī)子群、商群的計(jì)算,一個(gè)偏序集是否是格、分配格、有補(bǔ)格或布爾代數(shù)的判定。

    不難看到,這些已經(jīng)覆蓋常見離散數(shù)學(xué)教材中絕大多數(shù)可使用計(jì)算機(jī)程序進(jìn)行求解的問題。為支持這些問題的例子生成和求解過程展示,我們?cè)O(shè)計(jì)了如圖1所示的Deedm軟件的總體架構(gòu)。

    我們采用面向?qū)ο蠓椒╗10]設(shè)計(jì),圖1中每個(gè)方塊包含一個(gè)或多個(gè)實(shí)體(Entity),它們之間的箭頭表示這些實(shí)體間的支持關(guān)系,即一個(gè)實(shí)體在提供某些功能或服務(wù)時(shí)需要另外模塊一些實(shí)體的支持,例如命題邏輯公式范式中的實(shí)體實(shí)現(xiàn)將析取范式或合取范式擴(kuò)展為主范式的功能,需要命題邏輯公式中實(shí)體的支持。

    可以看到,Deedm軟件總體分為兩層,即用戶界面層和業(yè)務(wù)邏輯層。業(yè)務(wù)邏輯層又分為五個(gè)模塊,分別支持邏輯、集合關(guān)系函數(shù)、組合計(jì)數(shù)、圖論和代數(shù)中問題的例子生成和求解過程展示。用戶界面層的事件處理器使用基礎(chǔ)構(gòu)件中的實(shí)體實(shí)現(xiàn)與用戶交互,并調(diào)用業(yè)務(wù)邏輯層的實(shí)體提供的功能完成例子生成和求解過程在圖形用戶界面上的展示。

    3? 軟件的面向?qū)ο笤O(shè)計(jì)(Object-oriented design of software)

    Deedm軟件的設(shè)計(jì)采用面向?qū)ο蠓椒?。在梳理離散數(shù)學(xué)相關(guān)知識(shí)的基礎(chǔ)上,根據(jù)面向?qū)ο笏枷?,在軟件中?chuàng)建對(duì)應(yīng)離散數(shù)學(xué)知識(shí)內(nèi)容的實(shí)體,根據(jù)實(shí)體本身的特點(diǎn)(而非根據(jù)要實(shí)現(xiàn)的功能的需要)設(shè)計(jì)實(shí)體屬性和功能,然后通過這些實(shí)體之間的交互實(shí)現(xiàn)軟件需要實(shí)現(xiàn)的功能。這種面向?qū)ο笤O(shè)計(jì)使得軟件具有很好的可重用性和可擴(kuò)充性。

    我們選擇使用Java語言實(shí)現(xiàn)Deedm軟件,軟件的用戶界面層主要是基于JavaSwing組件實(shí)現(xiàn)基礎(chǔ)構(gòu)件支持離散數(shù)學(xué)問題的例子及其求解過程的展示,并基于JavaGUI事件監(jiān)聽機(jī)制實(shí)現(xiàn)事件處理器捕捉與用戶交互過程中的事件,調(diào)用業(yè)務(wù)邏輯層實(shí)體提供的服務(wù)完成離散數(shù)學(xué)問題例子的生成和求解。因此下面只對(duì)業(yè)務(wù)邏輯層的設(shè)計(jì)作更詳細(xì)的介紹。

    業(yè)務(wù)邏輯層可分為邏輯、集合關(guān)系函數(shù)、組合計(jì)數(shù)、圖論和代數(shù)五個(gè)模塊,目前邏輯、組合計(jì)數(shù)、圖論和代數(shù)這四個(gè)模塊之間是相互獨(dú)立的,但是集合關(guān)系函數(shù)模塊的實(shí)體支持組合計(jì)數(shù)、圖論和代數(shù)這三個(gè)模塊的實(shí)體,因?yàn)樗鼈兌家玫郊稀O旅嬷饕灶悎D的形式介紹這五個(gè)模塊設(shè)計(jì)的主要思路。

    3.1? ?邏輯模塊的設(shè)計(jì)

    邏輯模塊的主要功能是實(shí)現(xiàn)命題邏輯公式真值表的構(gòu)造和將范式擴(kuò)展為主范式。根據(jù)面向?qū)ο笏枷?,?duì)應(yīng)離散數(shù)學(xué)命題邏輯的基礎(chǔ)知識(shí),這一模塊的主要實(shí)體是命題邏輯公式和命題邏輯公式范式,圖2給出了其中主要實(shí)體及其關(guān)系。

    邏輯模塊的核心實(shí)體是命題邏輯公式(為方便起見以下簡稱“公式”),它是一個(gè)抽象類,包含一個(gè)左子公式和一個(gè)右子公式作為它的主要屬性,從而公式本身形成了一個(gè)二叉樹結(jié)構(gòu),即一個(gè)命題邏輯公式實(shí)際上存放的是該公式的抽象語法樹?;诿}邏輯公式的語法,這個(gè)實(shí)體派生出原子公式、否定式、析取式、合取式、蘊(yùn)涵式和雙蘊(yùn)涵式(邏輯等價(jià)式)六個(gè)實(shí)體,它們重定義公式所提供的計(jì)算真值的服務(wù)。公式真值計(jì)算需要真值賦值函數(shù),這是真值賦值的列表,每個(gè)真值賦值為一個(gè)變量名指定一個(gè)真值。公式真值表構(gòu)造器可以根據(jù)指定的真值賦值函數(shù)計(jì)算公式的真值,也可收集公式出現(xiàn)的所有變量,生成所有可能的真值賦值函數(shù)從而構(gòu)造公式的真值表。構(gòu)造的結(jié)果是一個(gè)數(shù)據(jù)表管理器,它將真值表當(dāng)作二維表存放。公式構(gòu)造器使用簡單的算符優(yōu)先分析算法分析一個(gè)字符串的語法,并將其轉(zhuǎn)換為命題邏輯公式這個(gè)實(shí)體的一個(gè)實(shí)例,這種字符串里支持使用LaTeX命令表示邏輯運(yùn)算符。公式構(gòu)造器還支持隨機(jī)生成一個(gè)命題邏輯公式。

    對(duì)于命題邏輯公式范式,文字包含一個(gè)變量名,并有一個(gè)布爾變量表明該文字是變量本身還是變量的否定。目前無論是原子公式中的變量還是文字中的變量,都只支持由一個(gè)字符表示變量名。簡單析取式和簡單合取式都是文字的列表,而析取范式是簡單合取式的列表,合取范式是簡單析取式的列表。析取范式和合取范式都提供服務(wù)將它的實(shí)例轉(zhuǎn)換為一個(gè)命題邏輯公式的實(shí)例。主析取范式和主合取范式分別集成析取范式和合取范式,提供服務(wù)根據(jù)給定的變量集將范式擴(kuò)展為主范式。

    3.2? ?集合關(guān)系函數(shù)模塊的設(shè)計(jì)

    集合關(guān)系函數(shù)模塊的主要功能是實(shí)現(xiàn)集合、關(guān)系和函數(shù)的運(yùn)算,關(guān)系性質(zhì)和函數(shù)性質(zhì)的判斷。根據(jù)面向?qū)ο笏枷?,?duì)應(yīng)離散數(shù)學(xué)集合、關(guān)系和函數(shù)部分的基礎(chǔ)知識(shí),這一模塊的主要實(shí)體是集合、關(guān)系和函數(shù),圖3給出了其中主要實(shí)體及其關(guān)系。

    集合關(guān)系函數(shù)模塊的核心實(shí)體是集合和關(guān)系。目前實(shí)現(xiàn)的集合只支持字符或整數(shù)作為元素(實(shí)際上字符也被看作整數(shù),只是在屏幕顯示時(shí)作不同處理)。集合實(shí)體提供集合并、交、差、對(duì)稱差、冪集等的計(jì)算。關(guān)系實(shí)體存儲(chǔ)有序?qū)Φ牧斜?,并記錄關(guān)系的源集合和目標(biāo)集合。有序?qū)Φ脑匾仓荒苁亲址蛘麛?shù)。目前設(shè)計(jì)的集合實(shí)體不能存在任意類型的元素,因此關(guān)系實(shí)體與集合實(shí)體之間沒有繼承關(guān)系,關(guān)系實(shí)體也提供并、交、差、復(fù)合、逆及閉包的計(jì)算,并提供對(duì)關(guān)系性質(zhì)的判斷。函數(shù)被看作是一種特殊的關(guān)系,因此繼承關(guān)系的屬性和服務(wù),并提供對(duì)函數(shù)性質(zhì)的判斷。等價(jià)關(guān)系和偏序關(guān)系也都繼承關(guān)系的屬性和服務(wù)。等價(jià)關(guān)系還可計(jì)算等價(jià)類和商集,偏序關(guān)系可返回極大元、極小元等各種元素,并支持繪制哈斯圖。關(guān)系支持繪制關(guān)系圖,哈斯圖和關(guān)系圖都是圖論模塊中抽象圖的實(shí)例。

    3.3? ?組合計(jì)數(shù)模塊的設(shè)計(jì)

    組合計(jì)數(shù)模塊的主要功能是實(shí)現(xiàn)滿足各種條件的計(jì)數(shù)對(duì)象枚舉,從而可用于驗(yàn)證計(jì)數(shù)問題求解的正確性。圖4給出了其中主要實(shí)體及其關(guān)系。

    采用過濾器模式生成滿足條件的計(jì)數(shù)對(duì)象,即將在合適的、有規(guī)律范圍內(nèi)生成計(jì)數(shù)對(duì)象和根據(jù)計(jì)數(shù)條件過濾計(jì)數(shù)對(duì)象這兩個(gè)功能分離,從而具有更好的靈活性和可擴(kuò)充性。因此,組合計(jì)數(shù)模塊的核心實(shí)體分為兩大類,一類是生成器,一類是過濾器。生成器中最基本的是字符串生成器,它支持生成某個(gè)基集上允許重復(fù)字符的所有字符串,排列生成器、組合生成器和允許重復(fù)組合生成繼承字符串生成器分別生成基集上指定長度的排列(不允許重復(fù))、組合和允許重復(fù)的組合。不定方程解生成使用允許重復(fù)組合生成器生成不定方程的解。

    離散數(shù)學(xué)基礎(chǔ)課程主要關(guān)注字符串的計(jì)數(shù)、基于整數(shù)整除性質(zhì)的整數(shù)計(jì)數(shù)和不定方程解的計(jì)數(shù),因此分別設(shè)計(jì)了三個(gè)接口,并分別提供字符串位置過濾器、字符串結(jié)構(gòu)過濾器、整數(shù)整除過濾器和不定方程解范圍過濾器作為這些接口最基本的實(shí)現(xiàn)。過濾器模式的一個(gè)優(yōu)勢(shì)是通過組合過濾器實(shí)現(xiàn)復(fù)雜條件的過濾,因此每種過濾器還提供邏輯與關(guān)系和邏輯或關(guān)系的組合過濾器(限于篇幅,圖4沒有畫出),以實(shí)現(xiàn)條件的組合。

    3.4? ?圖論模塊的設(shè)計(jì)

    圖論模塊的主要功能是實(shí)現(xiàn)圖和樹的遍歷,并實(shí)現(xiàn)帶權(quán)圖最短距離的Dijkstra算法、最小生成樹的Kruskal和Prim算法,以及構(gòu)造最優(yōu)二叉樹的Huffman算法。圖5給出了其中主要實(shí)體及其關(guān)系。

    圖論模塊的一個(gè)核心實(shí)體是抽象圖,它維持一個(gè)抽象頂點(diǎn)列表和一個(gè)抽象邊列表。抽象頂點(diǎn)和抽象邊都是接口,實(shí)現(xiàn)它們的實(shí)體都可作為抽象圖的頂點(diǎn)和邊。實(shí)體缺省圖提供了抽象圖的一個(gè)具體實(shí)現(xiàn),它實(shí)際使用的頂點(diǎn)和邊是實(shí)體缺省頂點(diǎn)和缺省邊的實(shí)例,提供計(jì)算頂點(diǎn)度數(shù)、返回圖的鄰接矩陣和關(guān)聯(lián)矩陣等服務(wù),并支持對(duì)圖的先深遍歷和先廣遍歷。帶權(quán)圖繼承缺省圖,使用帶權(quán)邊的實(shí)例作為它的邊,實(shí)現(xiàn)Dijkstra算法、Kruskal算法和Prim算法。

    圖論模塊的另一個(gè)核心實(shí)體是根樹,它維持一個(gè)根樹節(jié)點(diǎn)作為它的根,根樹節(jié)點(diǎn)維持一個(gè)根樹節(jié)點(diǎn)列表作為它的兒子節(jié)點(diǎn)列表。根樹提供樹的前序、中序和后序遍歷。根樹沒有繼承抽象圖這個(gè)實(shí)體,但可轉(zhuǎn)換為缺省圖。Huffman樹繼承根樹,以帶權(quán)樹節(jié)點(diǎn)作為它的節(jié)點(diǎn),并實(shí)現(xiàn)Huffman算法。

    3.5? ?代數(shù)模塊的設(shè)計(jì)

    代數(shù)模塊的主要功能是判斷運(yùn)算的性質(zhì),展示一些特殊群的子群、陪集,以及判斷格的性質(zhì)。圖6給出了其中主要實(shí)體及其關(guān)系。

    代數(shù)模塊的核心實(shí)體是二元運(yùn)算,它的基集類型是一個(gè)類型參數(shù),因此是一個(gè)類屬類。將二元運(yùn)算作為類屬類是因?yàn)橹脫Q群、U(m)群和格等不同代數(shù)系統(tǒng)的基集元素類型不同,而這些代數(shù)系統(tǒng)都有二元運(yùn)算,都需要二元運(yùn)算這個(gè)實(shí)體提供的有關(guān)運(yùn)算性質(zhì)判斷的服務(wù)。類似地,群這個(gè)實(shí)體也是一個(gè)類屬類,它提供有關(guān)群元素的階,判斷子集是否是子群,計(jì)算所有子群、所有生成子群,計(jì)算子群生成元等服務(wù)。單位模m乘群(U(m)群)繼承群這個(gè)實(shí)體,并且將基集元素的類型定為整數(shù),提供計(jì)算子群陪集的服務(wù)。置換群繼承群這個(gè)實(shí)體,它的基集元素類型是置換。置換是集合{1,2,…,n}上的一個(gè)雙函數(shù),使用一個(gè)整數(shù)數(shù)組表示置換結(jié)果,即數(shù)組的第i 個(gè)元素記錄的是這個(gè)雙函數(shù)作用在整數(shù)i的值。置換群這個(gè)實(shí)體提供計(jì)算子群的左右陪集、判斷子群是否是正規(guī)子群,以及計(jì)算給定正規(guī)子群的商群等服務(wù)。格繼承集合關(guān)系函數(shù)模塊中的偏序關(guān)系這個(gè)實(shí)體,并維持兩個(gè)二元運(yùn)算,提供判斷格的性質(zhì),返回最大元、最小元、補(bǔ)元(如果有的話)等服務(wù)。

    4? 軟件實(shí)現(xiàn)關(guān)鍵技術(shù)與運(yùn)行效果(Key technology of the software implementation and its operation effect)

    面向?qū)ο蟮脑O(shè)計(jì)使得Deedm軟件的結(jié)構(gòu)與離散數(shù)學(xué)課程的知識(shí)結(jié)構(gòu)有很好的對(duì)應(yīng)關(guān)系,使得整個(gè)軟件具有很好的可理解性和可擴(kuò)充性。Deedm軟件使用面向?qū)ο笳Z言Java語言實(shí)現(xiàn),在面向?qū)ο笤O(shè)計(jì)的基礎(chǔ)上,實(shí)現(xiàn)階段主要解決的關(guān)鍵問題包括:

    (1)如何方便地輸入和顯示數(shù)學(xué)符號(hào)。很多數(shù)學(xué)符號(hào),例如邏輯運(yùn)算符等都不是可從鍵盤直接輸入的符號(hào),它們的顯示也不能簡單地以字符串的方式顯示。對(duì)于這個(gè)問題,Deedm軟件支持用戶使用LaTeX命令輸入邏輯運(yùn)算符等數(shù)學(xué)符號(hào),并使用Java構(gòu)件庫JLaTeXMath解析含有LaTeX命令的字符串并生成符合數(shù)學(xué)風(fēng)格排版的圖片,從而解決了數(shù)學(xué)符號(hào)的輸入和顯示問題。

    圖7展示了命題邏輯公式的輸入及其真值表構(gòu)造的效果,可看到用戶使用LaTeX命令,例如\rightarrow等錄入邏輯運(yùn)算符,Deedm軟件以圖片的形式顯示輸入的公式以及構(gòu)造的真值表。

    (2)如何生成離散數(shù)學(xué)課程中一些問題的例子。促使我們開發(fā)Deedm軟件的一個(gè)動(dòng)機(jī)是希望能針對(duì)一些離散數(shù)學(xué)問題生成例子供教師講課、測驗(yàn)和學(xué)生學(xué)習(xí)練習(xí)使用。為此,Deedm軟件的許多實(shí)體(類)都實(shí)現(xiàn)了隨機(jī)生成的功能,例如在命題邏輯公式構(gòu)造器中有隨機(jī)生成命題邏輯公式的Java方法。圖8給出的輸入界面也支持命題邏輯公式的隨機(jī)生成。可以看到,在前文給出主要模塊的設(shè)計(jì)中,很多實(shí)體都提供了隨機(jī)生成的服務(wù)。有些離散數(shù)學(xué)問題的例子生成,如集合、普通關(guān)系的生成比較簡單,采用隨機(jī)函數(shù)從合適集合隨機(jī)選取元素即可,但有些問題的例子生成,例如要生成偏序關(guān)系、等價(jià)關(guān)系等,需要設(shè)計(jì)一些算法才能保證生成的關(guān)系是偏序關(guān)系或等價(jià)關(guān)系。

    (3)如何展示一些復(fù)雜問題的求解過程,特別是圖論模塊中最短路徑、最小生成樹和Huffman樹構(gòu)造算法的求解過程。展示問題求解過程是Deedm軟件的重要功能之一,為此我們?cè)趯?shí)現(xiàn)復(fù)雜算法,例如Dijkstra算法、Kruskal算法、Prim算法和Huffman算法的類中設(shè)計(jì)相應(yīng)的記錄執(zhí)行算法步驟的類,例如實(shí)現(xiàn)帶權(quán)圖實(shí)體的類WeightedGraph有內(nèi)部類DijkstraAlgorithmRecorder,這個(gè)類維持一個(gè)內(nèi)部類DijkstraAlgorithmStepRecorder的對(duì)象實(shí)例列表。類WeightedGraph實(shí)現(xiàn)Dijkstra算法的Java方法的主循環(huán)將每一次循環(huán)產(chǎn)生的關(guān)鍵信息記錄在內(nèi)部類DijkstraAlgorithmStepRecorder的一個(gè)對(duì)象實(shí)例,并添加到DijkstraAlgorithmRecorder的列表中。上層程序在調(diào)用實(shí)現(xiàn)Dijkstra算法后可獲得一個(gè)DijkstraAlgorithmRecorder的對(duì)象,根據(jù)這個(gè)對(duì)象可展示算法的求解過程。圖8給出了

    Deedm軟件基于這個(gè)設(shè)計(jì)使用一個(gè)表格展示Dijkstra算法求解過程的效果。這種設(shè)計(jì)的缺點(diǎn)是當(dāng)要求解有很多頂點(diǎn)和邊的圖的最短路徑時(shí),DijkstraAlgorithmRecorder對(duì)象可能占用很多存儲(chǔ);優(yōu)點(diǎn)是容易擴(kuò)充,例如甚至可以設(shè)計(jì)動(dòng)畫展示DijkstraAlgorithmRecorder存儲(chǔ)的信息,實(shí)現(xiàn)Dijkstra算法的動(dòng)畫演示效果。

    5? ?結(jié)論(Conclusion)

    離散數(shù)學(xué)課程內(nèi)容比較抽象,教師和學(xué)生都需要更多的例子展示離散數(shù)學(xué)問題的求解過程。我們開發(fā)了一款離散數(shù)學(xué)習(xí)題演示軟件Deedm,采用面向?qū)ο笤O(shè)計(jì),實(shí)現(xiàn)了許多離散數(shù)學(xué)問題的例子生成和求解過程展示。針對(duì)中山大學(xué)2020 級(jí)計(jì)算機(jī)專業(yè)大類一個(gè)班68 人的調(diào)查表明,雖然沒有在課堂上推薦學(xué)生下載該軟件,這個(gè)班仍有19 人從課程的超星在線網(wǎng)站下載并運(yùn)行了該軟件,這19 人中有6 人表示該軟件對(duì)離散數(shù)學(xué)課程作業(yè)的完成非常有幫助,有11 人表示該軟件有幫助。

    需要指出的是,Deedm軟件不僅可生成例子和展示求解過程以幫助學(xué)生學(xué)習(xí),也可以幫助教師在課堂測驗(yàn)和考試出卷時(shí)生成例子和答案,從而減輕教師的備課和出卷工作量。教師還可以Deedm軟件為基礎(chǔ),開展離散數(shù)學(xué)課程的一些實(shí)驗(yàn),例如讓學(xué)生自己編寫程序?qū)崿F(xiàn)離散數(shù)學(xué)問題的求解并與Deedm軟件的結(jié)果進(jìn)行比較,甚至在Deedm軟件的基礎(chǔ)上進(jìn)行功能的擴(kuò)展等。下一步我們也會(huì)對(duì)Deedm軟件的例子生成算法、圖論中圖形的展示等做進(jìn)一步優(yōu)化。

    參考文獻(xiàn)(References)

    [1] 譚作文.離散數(shù)學(xué)課程中實(shí)驗(yàn)教學(xué)探討[J].計(jì)算機(jī)教育,2010(17):106-109.

    [2] Rosen K H. Discrete mathematics and its applications[M]. 7th ed.New York: The McGraw-Hill Companies, 2012:113.

    [3] 周曉聰,喬海燕.離散數(shù)學(xué)基礎(chǔ)[M].北京:清華大學(xué)出版社,2021:80.

    [4] 姜楠,李宣廷,袁剛.離散數(shù)學(xué)實(shí)驗(yàn)教學(xué)系統(tǒng)設(shè)計(jì)[J].大學(xué)數(shù)學(xué),2019(2):50-54.

    [5] 李華昱,張千.離散數(shù)學(xué)實(shí)驗(yàn)平臺(tái)構(gòu)建及實(shí)驗(yàn)方法研究[J].科教導(dǎo)刊(下旬),2015(30):49-50,52.

    [6] 鄒樂,華珊珊,呂剛.基于MFC的《離散數(shù)學(xué)》實(shí)驗(yàn)演示系統(tǒng)的設(shè)計(jì)與實(shí)現(xiàn)[J]. 安徽廣播電視大學(xué)學(xué)報(bào),2013(3):121-124.

    [7] 曹曉東,史哲文.離散數(shù)學(xué)及算法[M].北京:機(jī)械工業(yè)出版社,2013:192-248.

    [8] 吳修國.離散數(shù)學(xué)基礎(chǔ)及實(shí)用算法[M].北京:清華大學(xué)出版社,2009:61-70.

    [9] 周曉聰,喬海燕.面向思維能力培養(yǎng)的離散數(shù)學(xué)課程教學(xué)研究[J].計(jì)算機(jī)教育,2015(15):27-30.

    [10] 譚火彬.UML 2面向?qū)ο蠓治雠c設(shè)計(jì)[M].2版.北京:清華大學(xué)出版社,2019:9-50.

    作者簡介:

    周曉聰(1971-),男,博士,副教授.研究領(lǐng)域:軟件工程.

    趙? ?清(2001-),男,本科生.研究領(lǐng)域:計(jì)算機(jī)科學(xué)與技術(shù).

    謝? ?揚(yáng)(2001-),男,本科生.研究領(lǐng)域:計(jì)算機(jī)科學(xué)與技術(shù).

    周? ?宇(2001-),男,本科生.研究領(lǐng)域:計(jì)算機(jī)科學(xué)與技術(shù).

    喬海燕(1963-),男,博士,副教授.研究領(lǐng)域:理論計(jì)算機(jī)科學(xué).

    猜你喜歡
    離散數(shù)學(xué)
    現(xiàn)代教育技術(shù)融入“離散數(shù)學(xué)”任務(wù)驅(qū)動(dòng)教學(xué)探討
    職業(yè)本科計(jì)算機(jī)專業(yè)離散數(shù)學(xué)課教學(xué)改革初探
    一位合格的離散數(shù)學(xué)教師所應(yīng)具備的能力
    地方高校離散數(shù)學(xué)的統(tǒng)一教學(xué)
    慕課風(fēng)暴下“離散數(shù)學(xué)”課程的教學(xué)思考與對(duì)策
    離散數(shù)學(xué)實(shí)踐教學(xué)探索
    獨(dú)立學(xué)院離散數(shù)學(xué)教學(xué)改革探討
    離散數(shù)學(xué)在高中數(shù)學(xué)教學(xué)中的輔助作用
    考試周刊(2014年8期)2014-04-08 04:45:38
    離散數(shù)學(xué)中等價(jià)關(guān)系的性質(zhì)
    科技視界(2013年14期)2013-08-15 00:54:11
    基于實(shí)踐教學(xué)的《離散數(shù)學(xué)》課程改革
    av欧美777| 精华霜和精华液先用哪个| 天堂av国产一区二区熟女人妻| 久99久视频精品免费| 免费高清视频大片| www日本黄色视频网| 岛国在线观看网站| 好看av亚洲va欧美ⅴa在| 黄色丝袜av网址大全| 蜜桃亚洲精品一区二区三区| a在线观看视频网站| 中文字幕熟女人妻在线| 国产真实伦视频高清在线观看 | 男人舔女人下体高潮全视频| 国内精品美女久久久久久| 国产成+人综合+亚洲专区| 99热这里只有是精品50| 又爽又黄无遮挡网站| 一个人免费在线观看电影| 91av网一区二区| 亚洲精品成人久久久久久| 中文字幕人成人乱码亚洲影| 国产高清激情床上av| 久久久久久久久大av| 91麻豆精品激情在线观看国产| 亚洲精品色激情综合| 欧美黑人欧美精品刺激| www日本黄色视频网| 免费在线观看影片大全网站| 国产伦精品一区二区三区四那| 成熟少妇高潮喷水视频| 欧美在线一区亚洲| 十八禁网站免费在线| 国产精品香港三级国产av潘金莲| 两个人的视频大全免费| 国产伦一二天堂av在线观看| 中文在线观看免费www的网站| 亚洲精品在线观看二区| 亚洲最大成人中文| 国产单亲对白刺激| 午夜精品久久久久久毛片777| 观看美女的网站| 久久香蕉国产精品| www日本黄色视频网| 嫩草影视91久久| 成年版毛片免费区| 香蕉久久夜色| 99热这里只有是精品50| 色av中文字幕| 国产美女午夜福利| 最后的刺客免费高清国语| 久久久久久国产a免费观看| 欧美bdsm另类| 精品人妻偷拍中文字幕| 免费av不卡在线播放| 天堂av国产一区二区熟女人妻| 精品久久久久久成人av| 亚洲成a人片在线一区二区| 毛片女人毛片| 夜夜爽天天搞| 国产亚洲欧美在线一区二区| 宅男免费午夜| 18禁黄网站禁片免费观看直播| 国产精品影院久久| 2021天堂中文幕一二区在线观| 夜夜看夜夜爽夜夜摸| 又黄又爽又免费观看的视频| 欧美日韩瑟瑟在线播放| 欧美高清成人免费视频www| www日本在线高清视频| 国产视频一区二区在线看| 国产高潮美女av| 日韩免费av在线播放| 免费在线观看影片大全网站| 精品不卡国产一区二区三区| 欧美日韩黄片免| av在线蜜桃| 亚洲真实伦在线观看| 成人三级黄色视频| 亚洲电影在线观看av| 成人高潮视频无遮挡免费网站| 国产伦精品一区二区三区四那| 亚洲在线观看片| 高清在线国产一区| 操出白浆在线播放| 男人和女人高潮做爰伦理| 母亲3免费完整高清在线观看| 69人妻影院| a级毛片a级免费在线| 免费高清视频大片| 一进一出好大好爽视频| 久久精品夜夜夜夜夜久久蜜豆| 丁香欧美五月| 又粗又爽又猛毛片免费看| 悠悠久久av| 亚洲 欧美 日韩 在线 免费| 婷婷精品国产亚洲av| 看片在线看免费视频| 尤物成人国产欧美一区二区三区| 一卡2卡三卡四卡精品乱码亚洲| 91麻豆av在线| 首页视频小说图片口味搜索| 亚洲av免费高清在线观看| 日韩欧美精品免费久久 | 亚洲精品日韩av片在线观看 | 久久久久久久午夜电影| 舔av片在线| 女生性感内裤真人,穿戴方法视频| av欧美777| 男女下面进入的视频免费午夜| 午夜福利在线在线| 国产av在哪里看| 搡老岳熟女国产| 国产主播在线观看一区二区| 精华霜和精华液先用哪个| 欧美又色又爽又黄视频| 成人国产一区最新在线观看| 91字幕亚洲| 国产精品久久久久久亚洲av鲁大| 黄片小视频在线播放| 欧美一区二区国产精品久久精品| 精品久久久久久久末码| 亚洲国产色片| 美女高潮的动态| 久久九九热精品免费| 一边摸一边抽搐一进一小说| 中亚洲国语对白在线视频| 亚洲aⅴ乱码一区二区在线播放| 亚洲国产精品成人综合色| 母亲3免费完整高清在线观看| 久久久久九九精品影院| 国产亚洲精品综合一区在线观看| 看免费av毛片| 精品久久久久久久人妻蜜臀av| 免费一级毛片在线播放高清视频| 啦啦啦韩国在线观看视频| 午夜视频国产福利| 免费一级毛片在线播放高清视频| av专区在线播放| 99精品在免费线老司机午夜| 国产激情偷乱视频一区二区| 亚洲人成网站高清观看| 两个人看的免费小视频| 国产成人av激情在线播放| 少妇的逼水好多| 欧美精品啪啪一区二区三区| 成年女人看的毛片在线观看| 一个人看的www免费观看视频| 亚洲成人免费电影在线观看| 色哟哟哟哟哟哟| 大型黄色视频在线免费观看| 成人国产一区最新在线观看| 最好的美女福利视频网| 欧美av亚洲av综合av国产av| 欧美bdsm另类| 搡女人真爽免费视频火全软件 | 黑人欧美特级aaaaaa片| 欧美日韩亚洲国产一区二区在线观看| 久久精品国产99精品国产亚洲性色| 欧美极品一区二区三区四区| 99热这里只有是精品50| 欧美乱色亚洲激情| av中文乱码字幕在线| 麻豆国产97在线/欧美| 性色avwww在线观看| 又爽又黄无遮挡网站| 91麻豆av在线| 国产高清videossex| 欧美日本视频| 婷婷精品国产亚洲av| 久久精品91蜜桃| 精品国产超薄肉色丝袜足j| 此物有八面人人有两片| 日本与韩国留学比较| 国产伦精品一区二区三区视频9 | eeuss影院久久| 欧美日本亚洲视频在线播放| 亚洲国产精品999在线| 男人舔女人下体高潮全视频| 亚洲18禁久久av| 18禁在线播放成人免费| 可以在线观看的亚洲视频| 国产成人a区在线观看| 欧美日韩综合久久久久久 | 久久久久久久午夜电影| 禁无遮挡网站| 亚洲男人的天堂狠狠| 午夜免费男女啪啪视频观看 | 3wmmmm亚洲av在线观看| 欧美一区二区亚洲| 18禁黄网站禁片午夜丰满| 成人欧美大片| 欧美一区二区精品小视频在线| www.999成人在线观看| 嫁个100分男人电影在线观看| 丰满人妻熟妇乱又伦精品不卡| 亚洲中文字幕一区二区三区有码在线看| 日韩欧美三级三区| 操出白浆在线播放| 日日摸夜夜添夜夜添小说| 国产高潮美女av| www.色视频.com| 综合色av麻豆| 欧美成狂野欧美在线观看| 又爽又黄无遮挡网站| 久久久精品大字幕| 成人高潮视频无遮挡免费网站| 国产极品精品免费视频能看的| 日本五十路高清| 波多野结衣高清作品| 久久天躁狠狠躁夜夜2o2o| 亚洲欧美激情综合另类| 美女被艹到高潮喷水动态| 久久精品91蜜桃| 日本 av在线| 51午夜福利影视在线观看| 久久久国产成人免费| 蜜桃久久精品国产亚洲av| 亚洲午夜理论影院| 成人高潮视频无遮挡免费网站| 两个人的视频大全免费| 久久精品国产亚洲av香蕉五月| 嫩草影院精品99| www.www免费av| 两人在一起打扑克的视频| 可以在线观看毛片的网站| 在线观看66精品国产| 99国产极品粉嫩在线观看| 久久婷婷人人爽人人干人人爱| 亚洲18禁久久av| 有码 亚洲区| 91久久精品国产一区二区成人 | eeuss影院久久| 亚洲欧美日韩无卡精品| 一个人看视频在线观看www免费 | 国产精品国产高清国产av| 天天一区二区日本电影三级| 在线十欧美十亚洲十日本专区| 老熟妇乱子伦视频在线观看| 老熟妇仑乱视频hdxx| 精品人妻1区二区| 日本与韩国留学比较| www日本黄色视频网| 久久精品国产清高在天天线| 99热只有精品国产| 免费观看人在逋| 亚洲黑人精品在线| 免费搜索国产男女视频| 最近最新中文字幕大全免费视频| 18美女黄网站色大片免费观看| 免费在线观看亚洲国产| www.熟女人妻精品国产| 久久草成人影院| 国产精品久久电影中文字幕| xxx96com| 成人永久免费在线观看视频| 婷婷精品国产亚洲av| 每晚都被弄得嗷嗷叫到高潮| 人人妻,人人澡人人爽秒播| 日本 av在线| 女生性感内裤真人,穿戴方法视频| www.999成人在线观看| 18禁国产床啪视频网站| 深夜精品福利| 88av欧美| 久久久久久久久久黄片| 亚洲熟妇熟女久久| 国产一区二区在线av高清观看| 色精品久久人妻99蜜桃| 国产中年淑女户外野战色| 国产高清三级在线| 老司机深夜福利视频在线观看| 免费人成在线观看视频色| 日日摸夜夜添夜夜添小说| 亚洲国产日韩欧美精品在线观看 | 国产乱人伦免费视频| 亚洲一区二区三区不卡视频| 中文字幕高清在线视频| 香蕉久久夜色| 天天一区二区日本电影三级| 免费无遮挡裸体视频| 熟女电影av网| 国产精品1区2区在线观看.| 国产精品99久久久久久久久| 天天一区二区日本电影三级| 久久久久免费精品人妻一区二区| 韩国av一区二区三区四区| 一级毛片高清免费大全| 亚洲成av人片在线播放无| 手机成人av网站| 三级国产精品欧美在线观看| 国产真实伦视频高清在线观看 | 国产精品三级大全| 综合色av麻豆| 性色av乱码一区二区三区2| tocl精华| 国产单亲对白刺激| www国产在线视频色| 内地一区二区视频在线| 久久久久精品国产欧美久久久| 中文字幕久久专区| 高潮久久久久久久久久久不卡| 国产伦精品一区二区三区四那| 九色国产91popny在线| 怎么达到女性高潮| 国产高清三级在线| 国产av麻豆久久久久久久| 啦啦啦观看免费观看视频高清| 亚洲人成网站在线播| a级一级毛片免费在线观看| 窝窝影院91人妻| 国产精品99久久久久久久久| 成年女人看的毛片在线观看| av国产免费在线观看| 精品人妻1区二区| 91麻豆精品激情在线观看国产| 成年女人永久免费观看视频| 天天躁日日操中文字幕| 亚洲人成伊人成综合网2020| 国产aⅴ精品一区二区三区波| 99久久99久久久精品蜜桃| 神马国产精品三级电影在线观看| 搡女人真爽免费视频火全软件 | 51国产日韩欧美| 午夜久久久久精精品| 久久久久久久久中文| 成人精品一区二区免费| 三级男女做爰猛烈吃奶摸视频| 国产精品影院久久| 久久久久久久久大av| 黄色视频,在线免费观看| 精品欧美国产一区二区三| 91麻豆av在线| 国产欧美日韩一区二区精品| 午夜福利成人在线免费观看| 精品国内亚洲2022精品成人| 国产毛片a区久久久久| 伊人久久大香线蕉亚洲五| 久久久久久大精品| 亚洲成av人片免费观看| 精品日产1卡2卡| 久久久久免费精品人妻一区二区| 国产一区二区三区视频了| 日韩成人在线观看一区二区三区| 国内毛片毛片毛片毛片毛片| 亚洲成av人片免费观看| 91麻豆av在线| 美女被艹到高潮喷水动态| 国产亚洲精品久久久久久毛片| 久久久久亚洲av毛片大全| 一a级毛片在线观看| 夜夜爽天天搞| 欧美丝袜亚洲另类 | 亚洲精品亚洲一区二区| 亚洲狠狠婷婷综合久久图片| 成人性生交大片免费视频hd| www.熟女人妻精品国产| 国产午夜精品论理片| 久久久久久九九精品二区国产| 岛国视频午夜一区免费看| 日本a在线网址| 51国产日韩欧美| 激情在线观看视频在线高清| 国产蜜桃级精品一区二区三区| 桃红色精品国产亚洲av| 最新美女视频免费是黄的| 国产老妇女一区| 99在线人妻在线中文字幕| 男人的好看免费观看在线视频| 国产精品久久电影中文字幕| 欧美最新免费一区二区三区 | 88av欧美| 丝袜美腿在线中文| 精品午夜福利视频在线观看一区| 一区二区三区国产精品乱码| 在线观看66精品国产| 啦啦啦免费观看视频1| 日本a在线网址| 99久久精品国产亚洲精品| 亚洲中文日韩欧美视频| 好男人电影高清在线观看| 精品国产美女av久久久久小说| 69人妻影院| 久久久国产成人精品二区| 中文字幕高清在线视频| 精品一区二区三区视频在线观看免费| 中文字幕人成人乱码亚洲影| 久久久久国内视频| 真人做人爱边吃奶动态| 女同久久另类99精品国产91| 日本 av在线| 久久九九热精品免费| 国产精品99久久久久久久久| 亚洲精品日韩av片在线观看 | 欧美+亚洲+日韩+国产| 舔av片在线| 久久久久久久亚洲中文字幕 | a在线观看视频网站| 一卡2卡三卡四卡精品乱码亚洲| 在线十欧美十亚洲十日本专区| 国产乱人视频| 国产高清视频在线观看网站| www.www免费av| 精品人妻一区二区三区麻豆 | 丰满乱子伦码专区| 夜夜夜夜夜久久久久| 日韩精品中文字幕看吧| 黄片小视频在线播放| 久久性视频一级片| 久久国产精品人妻蜜桃| 亚洲中文字幕一区二区三区有码在线看| 色综合亚洲欧美另类图片| 亚洲欧美一区二区三区黑人| 欧美大码av| 欧美区成人在线视频| 日本 av在线| 亚洲国产精品成人综合色| 精品99又大又爽又粗少妇毛片 | 搡女人真爽免费视频火全软件 | 最近最新中文字幕大全电影3| 国产精品1区2区在线观看.| 18禁黄网站禁片免费观看直播| 99国产综合亚洲精品| 欧美丝袜亚洲另类 | 搡老熟女国产l中国老女人| 大型黄色视频在线免费观看| 国产高清视频在线观看网站| 嫁个100分男人电影在线观看| 最近最新中文字幕大全电影3| 一级黄色大片毛片| a级毛片a级免费在线| 国产亚洲欧美98| 亚洲最大成人中文| 草草在线视频免费看| 精品欧美国产一区二区三| 亚洲在线自拍视频| 精品一区二区三区人妻视频| 天堂动漫精品| 青草久久国产| 国产成人av激情在线播放| 嫁个100分男人电影在线观看| 欧美3d第一页| av福利片在线观看| 国产91精品成人一区二区三区| 51午夜福利影视在线观看| 成人一区二区视频在线观看| 午夜福利欧美成人| 欧美黑人巨大hd| 国产欧美日韩精品一区二区| 国内久久婷婷六月综合欲色啪| 夜夜夜夜夜久久久久| 在线国产一区二区在线| 亚洲国产高清在线一区二区三| 男女午夜视频在线观看| 国产一区二区三区在线臀色熟女| 一级作爱视频免费观看| 啦啦啦观看免费观看视频高清| 我的老师免费观看完整版| 欧美性猛交黑人性爽| 很黄的视频免费| 在线播放无遮挡| 97碰自拍视频| 亚洲性夜色夜夜综合| 非洲黑人性xxxx精品又粗又长| 99久久99久久久精品蜜桃| 国产一区在线观看成人免费| 夜夜爽天天搞| 成人18禁在线播放| 免费av不卡在线播放| 男女做爰动态图高潮gif福利片| 久久久久久久精品吃奶| 美女高潮的动态| 亚洲最大成人中文| 亚洲熟妇熟女久久| 亚洲av免费高清在线观看| 亚洲人成网站高清观看| 免费在线观看影片大全网站| 亚洲av成人av| 少妇人妻精品综合一区二区 | 婷婷精品国产亚洲av| 亚洲av日韩精品久久久久久密| 午夜久久久久精精品| 亚洲人成网站在线播放欧美日韩| 欧美日韩精品网址| 国产一区二区亚洲精品在线观看| 午夜福利成人在线免费观看| 国产精品一区二区三区四区免费观看 | 国产精品一区二区三区四区久久| 高清毛片免费观看视频网站| 一级毛片女人18水好多| 亚洲专区中文字幕在线| 欧美日韩中文字幕国产精品一区二区三区| 精品无人区乱码1区二区| 国产亚洲精品综合一区在线观看| 国产真人三级小视频在线观看| 久久久国产成人免费| 丁香六月欧美| 最好的美女福利视频网| 亚洲aⅴ乱码一区二区在线播放| 亚洲国产精品久久男人天堂| 中文亚洲av片在线观看爽| 亚洲精品美女久久久久99蜜臀| 热99re8久久精品国产| 老汉色∧v一级毛片| 久久久久久国产a免费观看| 老司机福利观看| 国产爱豆传媒在线观看| 亚洲欧美一区二区三区黑人| 99精品在免费线老司机午夜| 亚洲专区中文字幕在线| 在线观看美女被高潮喷水网站 | 国产亚洲精品久久久久久毛片| 亚洲av成人av| 美女高潮的动态| 在线观看66精品国产| 久久香蕉国产精品| 日本三级黄在线观看| 免费在线观看影片大全网站| 黄色视频,在线免费观看| 亚洲欧美精品综合久久99| 国产老妇女一区| 黄色女人牲交| 女人被狂操c到高潮| 久久香蕉精品热| 一个人免费在线观看的高清视频| 又爽又黄无遮挡网站| 欧美日本视频| 午夜福利欧美成人| 可以在线观看的亚洲视频| 国产精品乱码一区二三区的特点| 国产91精品成人一区二区三区| 精品一区二区三区视频在线 | 亚洲欧美精品综合久久99| 欧美日韩综合久久久久久 | 亚洲中文字幕日韩| 国产精品精品国产色婷婷| 99久久综合精品五月天人人| 精品不卡国产一区二区三区| 亚洲av成人av| 久99久视频精品免费| 日日夜夜操网爽| 亚洲成人中文字幕在线播放| www.www免费av| 亚洲精品乱码久久久v下载方式 | 日本精品一区二区三区蜜桃| 午夜精品久久久久久毛片777| 无限看片的www在线观看| 啦啦啦免费观看视频1| 久久这里只有精品中国| 一级作爱视频免费观看| 91九色精品人成在线观看| 色噜噜av男人的天堂激情| 久久久色成人| 天天一区二区日本电影三级| 国产精品久久久久久精品电影| 午夜老司机福利剧场| 亚洲av中文字字幕乱码综合| www日本黄色视频网| 久久精品91无色码中文字幕| 亚洲第一欧美日韩一区二区三区| 国产在视频线在精品| 日韩精品青青久久久久久| 午夜a级毛片| 老司机午夜十八禁免费视频| 三级男女做爰猛烈吃奶摸视频| 丰满乱子伦码专区| 99热这里只有是精品50| 动漫黄色视频在线观看| 亚洲精品粉嫩美女一区| 欧美极品一区二区三区四区| 日本成人三级电影网站| 琪琪午夜伦伦电影理论片6080| 天堂网av新在线| 亚洲国产精品合色在线| 一进一出好大好爽视频| 国产精华一区二区三区| 国产在视频线在精品| 1000部很黄的大片| 免费看美女性在线毛片视频| 成人性生交大片免费视频hd| 天天一区二区日本电影三级| 亚洲真实伦在线观看| 日本精品一区二区三区蜜桃| 国产亚洲精品久久久com| 内射极品少妇av片p| 有码 亚洲区| 成人鲁丝片一二三区免费| 全区人妻精品视频| 在线观看美女被高潮喷水网站 | 精品福利观看| 久久久久久久久久黄片| 色视频www国产| 久久精品国产综合久久久| 久久中文看片网| 狠狠狠狠99中文字幕| 国产 一区 欧美 日韩| 国产99白浆流出| 国产黄色小视频在线观看| 性欧美人与动物交配| 亚洲国产高清在线一区二区三| 国产精品精品国产色婷婷| 精品久久久久久成人av| 99久久久亚洲精品蜜臀av| 床上黄色一级片| 又爽又黄无遮挡网站| av中文乱码字幕在线| 最近最新免费中文字幕在线| 亚洲国产日韩欧美精品在线观看 | av视频在线观看入口| 中文字幕人妻熟人妻熟丝袜美 | 麻豆成人av在线观看| 国产一区二区三区在线臀色熟女| 99久久综合精品五月天人人| 好男人电影高清在线观看| 久久性视频一级片|