２０１０年第６期福建电脑

１３５

不是相互孤立的。它们是相互关联的，每级用户的权限都各有不同。

另外。除了这几种常用用户外，教务管理系统还要能够对对公共用户提供服务，使他们可以进行一些基本信息的查询．比如教务动态、校历和教学管理规定等。

若从功能模块上统一来划分．系统大致需要达到以下几个目标：

（１）教学计划的管理。教学计划是课程设置的前提。（２）教学资源的管理，包括录入、维护和查询等。教学资源包括院系、专业、班级、教师、教室等，它为课表编排提供了依据。（３）学生学籍管理，即对学生的基本信息进行跟踪管理。学生入学到毕业后的各种详细信息。包括在校期间的各种变动（如奖励、处分、休学等），都要进行记录。

（４１网上选课功能的实现。网上选课是基于Ｂ／Ｓ模式的一种体现。也是高校教务组成部分中的一个重要内容。学生可根据冈上公布的课表结合自己的条件自由选择课程进行学习。

（５）课表编排。这是教务管理系统的一个重要部分，也是系统

开发的难点。

的建立改变了传统的敦务管理方式和手段．使工作变得更加的方便快捷，大大提高了工作效率，对构筑新时期高校电子教务，拓建数字化校园具有重要的意义。

目前。随着教学体制改革的不断深入．高校正在由学年制向学分制过渡。本文正是根据本人所在的高等院校所执行学年学分制管理的实际需求．兼顾了今后全面学分制的实施的特点。选择了利用Ｃ／ｓ和Ｂ／Ｓ模式相结合的多层软件架构的开发方法。

混合模式的应用重点，是对结构功能的清楚划分。本文对两种结构的使用做了详细的阐述．对以后更好地开发和完善教务管理系统提供了有力的参考依据。

救务管理系统

教据采集与信息发布（Ｂ／Ｓ）管理控制与敦据处理（ｄｓ）

公莛用户般务

教罔系统

（６）成绩的录人和查询。这也是Ｂ／Ｓ模式的一种体现，不管在任何地方，教师可以对成绩进行录入和查询，学生可以查询自己的成绩。

（７）考试管理。考试安排由涉及到学生、教室和监考人员。（８）系统管理。包括系统参数的初始化，基础数据的维护管理等。

４，系统的总体设计

根据前文对教务管理系统主要功能的需求分析．按照系统各功能的需求进行模式匹配，可把教务管理系统分为两部分：一是Ｃ，ｓ结构部分．即管理控制和数据处理部分．这部分结构主要对一系列的教务日常工作及教学资源进行管理控制和进行大批量的数据处理．在这一结构设计中，需要有专用客户端及数据库服务器；二是Ｂ／Ｓ结构，即数据采集与信息发布部分。这部分结构主要是对于一般用户提供的一些服务，在这一结构设计中．需要有Ｗｅｂ服务器及数据库服务器，Ｗｅｂ客户端只需要有浏览器，不需安装应用程序。系统的功能框架如图２所示。

５、结束语

蓁ｌＩ霎ｉｌ茎ｆｌ萎

参考文献：

学

蜜

蠢管理

｜Ｉ｜｜菲

上选

警理

谭

图２系统功能框架图

【１】陈利民，信息化社会与网络教育。大连理工大学学报社会科学版，２００１．１２（２２）：２８一＂３１

【２】来永新．高等学校教学管理系统研究．江苏：江苏教育出版社，１９９８．，３５—

３８

［３】赵国栋．信息时代的大学：荚国高等教育信息化发展及其启示，现代教育技术，２００３。１３（５）：１１－１６

［４１彭大文．石明兰等．教师信息管理系统的规则与实施研究，高等理科教

育．２００１（５）：１１－１２

【５１谭明杰．应用教据挖掘技术的高校教务管理系统的设计与开发．成都：电子科技大学．２００７．

【６】毛德祥，罗荣阁．基于ＡＳＰ．ＮＥＴ技术的ｗ曲应用程序三层设计模型．

截型电脑应用．２００２

【７１杨三平，林萍．基于Ｃ／Ｓ和Ｂ／Ｓ的现代高校教务管理系统研究．软件导刊。２００７（７）：７７－７８

教务管理系统是高校数字化校园建设的一个重要部分．它

－－４－－－—－—－＿－－—＋— ＋－ 卜－—●—－＋－＋－—卜－—卜——● － ●－－—●－－ ●－－－●—＋－—●—－＿－——卜－＋－ 卜－—卜－—卜 —●－－－●—－—－ －—卜—＋－—卜－＋－ ●—－—●－－ ●－－—●呻－＋－ ●－—＋－＋－＋－＋－－４－－；‘．一斗－＋

（上接第９３页）真；

（２）若ＩＦＲＷ，ＩｌｖＥ脚戤则存在舻’ＥＲ伽：Ｉ使得ｖＲｖ，．（３）若评碾形：且口’ＥＲ伽奠则存在¨；尺细＾使得ｕＲ匆’

个互模拟模型．有下面一个重要事实：

定理４．１：若肘—材坝９膨埘Ｊｄ劬当且仅当膨：埘１＝Ｊ劬．

该定理表明一个主体在埘现实世界中知道９会成立，则在埘’的现实世界中知道妒也会成立．

参考文献：

【１】贸伟．范畴论【ＭＪ．北京：科学出版社．２００６

［２１ＢａⅢｊｓｃＪ．ＨａｎｄｂｏｏｋｏｆＭａｔｈｅｍａｔｉｃａｌｌｏｇｉｃ【Ｍ】，Ｎｏｒｔｈ一－ＨｏｌｌａｎｄＰｕｂ－

ｌｉｓｈｉｎｇＣｏｍｐａｎｙ。１９７７．

若两个认知模型Ｍ与Ｍ存在一个互模拟关系，则称Ｍ与Ｍ’为

一个互模拟模型记为Ｍ—Ｍ’．

定义４．１与定义４．２是在经典的数理逻辑教材中的互模拟表述．实际上互模拟这样一种关系可以用范畴的语言来表述．据定义１可以得出．

性质４．１：互模拟关系是范畴问的一对伴随函子．

互模拟对刻画认知逻辑起着重要的作用，一个主体，具有一定的思维属性，包括意图，知识，信念，愿望，情感等．对于认识属性，

【３】镜从军．互模拟在理论和实残中的应用Ⅱ１．沈阳师范大学学报．２００９。６０３）：２９一－３１．

【４１Ｄ．ｓ∞ｇｉｏｒｇｉ．Ｏｎｔｈｅｏｒｉｇｉｍｏｆｂｉｓｉｍｕｈｔｉｏｎａｎｄｃｏｉｎｄｕｃｔｉｏｎ仞．Ｔｅｃｈｎｉ－

ｃａｌＲ－ｃｐｏｒｔ，ＤｅｐａｍｎｅｎｔｏｆＣｏｍｐｕｔＨＳｃｉｅｎｃｅ。ＵｎｉｖｅｒｓｉｔｙｏｆＢｏｌｏｇｎａ，２００７．

２４．

常常用脚来表示一个主体知道命题中妒会成立，对于知识模态算

子，名ＥＫＤ４５认知逻辑中其语义是：Ｍ．ｗｌ－Ｋ，ｐ当Ｒ仅当

埘７Ｅ足Ｍ埘１＝移

在认知动态变化过程中，需要考虑思维属性的变化，对于两