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

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

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

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