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

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

2、一種簡單實(shí)用的形式化算法設(shè)計、開發(fā)和證明的方法。讓更多的學(xué)生熟悉PAR算法開發(fā)方法及PAR平臺，使他們提高算法開發(fā)效率，能夠進(jìn)行智能程序設(shè)計，將程序設(shè)計視為一種創(chuàng)造美的勞動，這是我們的期望。 本文以PAR方法和PAR平臺為背景，初步實(shí)現(xiàn)一個能夠幫助學(xué)員規(guī)范地設(shè)計出高質(zhì)量程序的程序設(shè)計網(wǎng)絡(luò)教學(xué)平臺—《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è)計制作了介紹算法開發(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、該流課件的制作是使用“課件夢工廠”軟件自動生成的，這個軟件以USB攝像頭為圖像采集設(shè)備，以麥克風(fēng)為音頻采集設(shè)

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