基于時(shí)間PetriNet的高校教師績(jī)效考核系統(tǒng)建模與實(shí)現(xiàn).pdf

1、隨著我國(guó)教育事業(yè)的發(fā)展，如何優(yōu)化學(xué)校內(nèi)部的管理體制和提高工作效率顯得愈加重要。在全面推行教師職務(wù)聘用制的新形勢(shì)下，如何對(duì)高校教師進(jìn)行合理有效的績(jī)效考核，是目前高校教師管理中亟待解決的問(wèn)題。它一方面要求考核內(nèi)容細(xì)化、多樣和靈活，另一方面要求操作上盡量簡(jiǎn)單、易行、方便和快捷。針對(duì)這些問(wèn)題，本文深入地研究了已有的績(jī)效考核指標(biāo)體系及考核方法，分析了它們的利弊，并結(jié)合聘用制下教師績(jī)效考核的新特點(diǎn)，建立適合聘用制教師績(jī)效考核指標(biāo)體系、考核方法，在網(wǎng)

2、絡(luò)環(huán)境下，局部實(shí)現(xiàn)了教師績(jī)效考核的自動(dòng)化。建立這樣一個(gè)系統(tǒng)，不僅是時(shí)代發(fā)展的需要，也是發(fā)展教育事業(yè)、提高學(xué)校管理水平和辦學(xué)效益的必經(jīng)之路。而建立這樣的系統(tǒng)的首要問(wèn)題是根據(jù)教育行業(yè)行政辦公特點(diǎn)建立相應(yīng)的工作流程，并對(duì)流程的相關(guān)性能進(jìn)行分析，從而達(dá)到優(yōu)化的目的。
　　 基于PetriNet的建模方式是一種集圖形化和數(shù)學(xué)化于一身的建模工具，已被廣泛應(yīng)用于通訊協(xié)議驗(yàn)證、網(wǎng)絡(luò)性能分析、并行程序設(shè)計(jì)、知識(shí)推理及人工神經(jīng)元網(wǎng)絡(luò)等各個(gè)領(lǐng)域中的系

3、統(tǒng)建模、分析和控制，是一個(gè)理想的形式化建模工具。PetriNet是一種適合于描述異步并發(fā)現(xiàn)象的建模工具，具有堅(jiān)實(shí)的理論基礎(chǔ)和成熟的分析技術(shù)。本文分析了基于PetriNet的工作流建模方法，給出了一種基于時(shí)間PetriNet的工作流建模方法，該方法的提出是在傳統(tǒng)PetriNet的基礎(chǔ)上，考慮時(shí)間因素得到的。對(duì)PetriNet模型的基本路由結(jié)構(gòu)進(jìn)行線性時(shí)間推理，得到一種計(jì)算時(shí)間約束的基本方法。
　　 本文以績(jī)效考核信息流處理系統(tǒng)為背

4、景，所做的工作主要集中在如何將PetriNet技術(shù)運(yùn)用在高校教師績(jī)效考核系統(tǒng)的建模中。結(jié)合高校信息管理工作流的實(shí)際應(yīng)用環(huán)境，提出基于時(shí)間PetriNet的高校教師績(jī)效考核系統(tǒng)工作流模型，并利用四種基本工作流模型的線性時(shí)間推理規(guī)則，對(duì)其進(jìn)行時(shí)序分析，在線性時(shí)間復(fù)雜度內(nèi)解決時(shí)間推理問(wèn)題，用具體數(shù)據(jù)分析了績(jī)效考核系統(tǒng)工作流模型的性能。本文的研究對(duì)實(shí)際績(jī)效考核管理系統(tǒng)的開(kāi)發(fā)具有指導(dǎo)作用。同時(shí)對(duì)PetriNet中的控制流、信息流、變遷點(diǎn)火等方面進(jìn)

5、行了深入了研究，設(shè)計(jì)了基于時(shí)間PetriNet的高校教師績(jī)效考核系統(tǒng)。
　　 這種工作流的建模方法已應(yīng)用于實(shí)際，為江蘇省某學(xué)校研究開(kāi)發(fā)了一套高校教師績(jī)效考核系統(tǒng)，該系統(tǒng)以基于時(shí)間PetriNet的建模方法為后臺(tái)建模分析工具，綜合利用語(yǔ)言，數(shù)據(jù)庫(kù)等當(dāng)前主流技術(shù)，具有靈活性高、適用性強(qiáng)、可靠穩(wěn)定的特點(diǎn)。理論研究成果在該系統(tǒng)中得到了較好的應(yīng)用。系統(tǒng)基本可以實(shí)現(xiàn)教師績(jī)效考核的自動(dòng)化管理，有利于提高教育管理的質(zhì)量。經(jīng)過(guò)試用，系統(tǒng)達(dá)到了最初