基于Petri網(wǎng)與IM的創(chuàng)新實(shí)驗(yàn)Web平臺(tái)設(shè)計(jì)及實(shí)現(xiàn).pdf

1、二十一世紀(jì)對(duì)人才提出了具有創(chuàng)新、實(shí)踐能力的要求，國(guó)家和社會(huì)大力倡導(dǎo)培養(yǎng)創(chuàng)新實(shí)踐型人才，以滿足知識(shí)經(jīng)濟(jì)時(shí)代的發(fā)展要求。如何抓住機(jī)遇，培養(yǎng)更多的創(chuàng)新型人才成為各大高校紛紛進(jìn)行探索的課題。將Web技術(shù)運(yùn)用于教學(xué)實(shí)驗(yàn)當(dāng)中，以網(wǎng)絡(luò)化方式進(jìn)行實(shí)驗(yàn)教學(xué)便是各大高校探索的方向之一。本論文便是在“面向創(chuàng)新實(shí)踐能力培養(yǎng)的實(shí)驗(yàn)教學(xué)模式研究和結(jié)合Web平臺(tái)的實(shí)踐”的教學(xué)研究項(xiàng)目支持下，利用Web開發(fā)技術(shù)建立創(chuàng)新實(shí)驗(yàn)Web平臺(tái)，展開培養(yǎng)學(xué)生創(chuàng)新能力教學(xué)方式的探索

2、研究。
　　本文主要進(jìn)行的工作有：介紹課題的背景知識(shí)、目的和意義以及Petri網(wǎng)基礎(chǔ)知識(shí)、Web開發(fā)的相關(guān)技術(shù)；然后通過對(duì)創(chuàng)新實(shí)驗(yàn)Web平臺(tái)的需求分析實(shí)現(xiàn)平臺(tái)的功能劃分，并利用Petri網(wǎng)建立實(shí)驗(yàn)過程模型；之后詳細(xì)介紹基于WebSocket的實(shí)驗(yàn)討論組的實(shí)現(xiàn)過程；最后，展示整體的實(shí)驗(yàn)效果圖，介紹將Discuz論壇功能集成到由python語(yǔ)言開發(fā)的創(chuàng)新實(shí)驗(yàn)Web平臺(tái)的方法，并對(duì)本文工作進(jìn)行了總結(jié)和分析，還進(jìn)一步展望了未來(lái)的工作。

3、r>　　本研究的創(chuàng)新部分主要體現(xiàn)在：
　　1）基于Petri網(wǎng)模型實(shí)現(xiàn)資源有限環(huán)境下流程控制功能。通過對(duì)基礎(chǔ)、提高、創(chuàng)新實(shí)驗(yàn)的實(shí)驗(yàn)流程分析，并利用庫(kù)所/變遷Petri網(wǎng)中的庫(kù)所容量函數(shù)和變遷權(quán)函數(shù)來(lái)進(jìn)行實(shí)驗(yàn)資源的分配，一定程度上解決實(shí)驗(yàn)資源緊張問題。
　　2）基于B/S結(jié)構(gòu)的IM即時(shí)通訊模塊的實(shí)現(xiàn)及無(wú)縫集成到Web平臺(tái)的Liger UI框架中。比較多種實(shí)時(shí)通訊方式后，最終選擇在穩(wěn)定性、并發(fā)性及節(jié)省流量方面均具有優(yōu)勢(shì)的WebS