基于流技術(shù)的《PAR方法》在線授課系統(tǒng)的研究與應(yīng)用.pdf

1、當(dāng)今世界已邁入信息化時(shí)代，各行各業(yè)都急需熟練掌握計(jì)算機(jī)程序設(shè)計(jì)的技術(shù)人員。江西師范大學(xué)薛錦云教授領(lǐng)銜的軟件形式化和自動(dòng)化課題組，為顯著提高軟件的可靠性和開發(fā)效率，歷時(shí)十余年，在八個(gè)國(guó)家級(jí)課題和多個(gè)省部級(jí)項(xiàng)目資助下，形成了支持軟件形式化和半自動(dòng)化開發(fā)的PAR方法及其支撐平臺(tái)(PAR平臺(tái))。 同時(shí)在計(jì)算機(jī)專業(yè)教學(xué)中，算法設(shè)計(jì)教育是一個(gè)難點(diǎn)。一個(gè)學(xué)生如果學(xué)會(huì)了算法設(shè)計(jì)，那么寫程序?qū)λ麃?lái)說只是一些簡(jiǎn)單的符號(hào)累加。薛教授提出的PAR方法是

2、一種簡(jiǎn)單實(shí)用的形式化算法設(shè)計(jì)、開發(fā)和證明的方法。讓更多的學(xué)生熟悉PAR算法開發(fā)方法及PAR平臺(tái)，使他們提高算法開發(fā)效率，能夠進(jìn)行智能程序設(shè)計(jì)，將程序設(shè)計(jì)視為一種創(chuàng)造美的勞動(dòng)，這是我們的期望。 本文以PAR方法和PAR平臺(tái)為背景，初步實(shí)現(xiàn)一個(gè)能夠幫助學(xué)員規(guī)范地設(shè)計(jì)出高質(zhì)量程序的程序設(shè)計(jì)網(wǎng)絡(luò)教學(xué)平臺(tái)—《PAR方法》網(wǎng)絡(luò)在線授課系統(tǒng)。 本文所做的工作主要有：1、熟悉流媒體技術(shù)的主要內(nèi)容和研究流媒體技術(shù)的應(yīng)用方案；2、熟悉實(shí)現(xiàn)該

3、網(wǎng)絡(luò)在線系統(tǒng)所采用的WindowsMedia技術(shù)原理；3、在教學(xué)理論指導(dǎo)下，設(shè)計(jì)制作了介紹算法開發(fā)方法的流課件《PAR方法》；4、研究并實(shí)現(xiàn)了該網(wǎng)絡(luò)在線授課系統(tǒng)的模型。系統(tǒng)中使用的課件以PAR方法為精華內(nèi)容，采用流媒體技術(shù)實(shí)現(xiàn)?？蛻舳送ㄟ^網(wǎng)絡(luò)登錄服務(wù)器學(xué)習(xí)該課件，授課質(zhì)量良好。 本文中實(shí)現(xiàn)的網(wǎng)絡(luò)在線授課系統(tǒng)特色主要有：1、該流課件的制作是使用“課件夢(mèng)工廠”軟件自動(dòng)生成的，這個(gè)軟件以USB攝像頭為圖像采集設(shè)備，以麥克風(fēng)為音頻采集設(shè)

4、備，利用PC機(jī)強(qiáng)大的處理能力，對(duì)圖像和屏幕進(jìn)行實(shí)時(shí)壓縮編碼和流化，自動(dòng)生成同步的視音頻的流格式文件；2、該課件采用了流媒體文件格式，不會(huì)因?yàn)榫W(wǎng)絡(luò)帶寬的變化而出現(xiàn)斷續(xù)現(xiàn)象。在客戶端上得到的音視頻內(nèi)容，與非流媒體文件相比，質(zhì)量大大提高，畫面清晰、穩(wěn)定，色彩柔和，教師授課聲音逼真，加強(qiáng)了授課效果；3、在教學(xué)理論指導(dǎo)下，以程序設(shè)計(jì)理論和方法學(xué)為主要內(nèi)容，設(shè)計(jì)了該課件的教學(xué)框架，注重學(xué)員程序設(shè)計(jì)能力的培養(yǎng)，設(shè)計(jì)的課件互動(dòng)效果大大增強(qiáng)；4、該網(wǎng)絡(luò)在