基于petri网原理对网上教学建模及研究
转载请保留链接:http://blog.csdn.net/xlb_115/archive/2008/07/01/2602605.aspx
[摘 要] 本文采用Petri网这种适合于并发、异步、分布式系统描述与分析的图形数学工具,针对现下流行的网上教学其并行性、并发性、动态性等特点,提出了用Petri网对网上教学行为进行建模,并对模型进行了初步的分析研究。
[关键词]网上教学;petri网;并发;建模。
随着社会进步和教育事业的发展,教学的重点越来越向培养学生创新精神和实践能力的方向发展, 教学既是教的过程也是学生学的过程。而网络的高速发展,又将教学的要求拓宽:一方面是任何人在任何地方和时间都具有好的教学服务;另一方面能够按需定制教学内容,实现个性化教育。
网上教学是一种借助于计算机网络开展教学活动的分布式教学环境,它是一种计算机系统,而计算机系统要求严格的形式化和流程化,因此必须从某个角度分析复杂的教学活动行为,将教学活动行为利用数学工具进行形式化建模,然后以形式化建模为基础,构造出符合教学活动行为特性和需求的网上教学系统模型,并最终用技术实现构造出的网上教学系统模型。
教学活动行为具有几个方面的特性:
1.教学过程是教与学紧密相连的过程。它们具有阶段性的特点,这是一个异步的过程;
2.教学过程是老师讲授课程,众多学生同时接受知识的两方面并行的过程;
3.教学活动中学生可以向老师提问,当一个学生提问时其他学生就暂时没机会提问,要等到教师回答完才可提问,而且一个学生可以连续占用多次机会,这是竞争也叫冲突。
分析教学活动的这些特性,构造出一个规范化、系统化的网上教学动态模型,建立一个具有异步性、并行性、并发性、动态性的网上教学模型是必须的。而Petri 网是一种系统的数学和图形的描述和分析工具,对具有并发、异步、冲突、并行、分布、不确定性或随机性的信息处理系统都可以利用它构造出要开发的动态模型。它的突出优点在于系统的动态性。基于教学活动的特性和网的特点,可以清楚地发现网能很好地针对教学活动进行动态建模。
一、Petri网的概念
Petri 网是一种系统建模方法,是由库所、变迁和连接库与变迁间关系的有向弧所组成的一种有向图,在库所和变迁为结点的有向二分图基础上添加状态信息的token分布,并按引发规则使得事件驱动状态演变,从而反映系统动态运行过程。
一般Petri 网定义为六元组:∑= ( P,T,F,K,W,M 0 )。其中:P为库所结点集合,用小圆圈代表,表示条件(称作库所)结点;T为变迁结点集合,用空心矩形代表,表示系统中的事件(称作变迁)结点, F为库所结点与变迁结点间的有向弧集合(称为流关系)的流动,事件的发生改变条件的状态,条件可以成立(为真),也可以不成立( 为假);变迁结点之间、库所结点之间不能有有向弧,变迁结点与库所结点之间连接有向弧。引起信息在网上的流动;K、W 和M 依次是N 上的容量函数、权函数和标识,M 0 称为∑的初始标识。常见的流程包括顺序,选择,并发,迭代。
二、利用Petri 网对网上教学进行建模
整个的教学活动的流程可以描述为:老师教学和学生学习两个过程。老师教学可分为“备课—讲课—辅导答疑—综合评价”四个阶段;学生学习可分为“预习—听课—课后作业—复习总结—知识运用”四个阶段。这两个相适应的系统过程,体现了学生认识规律从感知到理解到巩固运用的四个基本阶段。根据以上的分析可定义教学活动的Petri系统∑ = ( P,T,F ,K ,W , M 0 )。Petri网如图1:
P2 |
P4 |
P3 |
P5 |
T4 |
T3 |
P6 |
P7 |
P8 |
P1 |
T1 |
T2 |
T5 |
P9 |
T6 |
图1(教学活动的Petri网模型)
图1中符号的说明如表1:
符号名称 |
库所/变迁含义 |
|