计算机学院硕士学位研究生课程内容简介.doc

计算机学院硕士学位研究生课程内容简介

-------------------- 人工智能原理 --------------------

课程编号：1272001 课程类别：专业基础课
课程名称：人工智能原理 英文译名：Principles of Artificial Intelligence
学 时：64学时 学 分：3学分
开课学期：1 开课形式：课堂讲授
考核形式：笔试 适用学科：计算机科学与技术
授课单位及教师梯队：计算机科学院，孔俊。
内容简介：
人工智能(Artificial Intelligence，简记为AI)是当前科学技术发展中的一门前沿学科。它是在计算机科学、控制论、信息论、神经心理学、哲学、语言学等多种学科研究的基础上发展起来的。《人工智能》是本专业研究生的主要专业基础课程，主要内容包括人工智能的数学基础、知识与知识表示、经典逻辑推理、不确定与非单调推理、搜索策略、专家系统、机器学习、模式识别、智能决策支持系统。
主要教材：
王永庆：《人工智能原理与方法》，西安交通大学出版社，1998年5月第一版。
参考书目（文献）：
1． 蔡自兴、徐光佑：《人工智能及其应用》，清华大学出版社，2000年5月第二版。
2． 邵军力、张景、魏长华：《人工智能及基础》，电子工业出版社，2003年3月版。
3． Nils J. Nilsson：《人工智能》，机械工业出版社，2000年9月第一版。
4． Stuart Russell、Peter Norvig：《人工智能——一种现代方法（第二版）》，人民邮电出版社，2004年版。
5． 田盛丰、黄厚宽：《人工智能与知识工程》，北京交通大学出版社，1999年版。

-------------------- 计算机网络体系结构 --------------------

课程编号：1272002 课程类别：专业基础课
课程名称：计算机网络体系结构 英文译名：Architectures of Computer Networks
学 时：64学时 学 分：3学分
开课学期：1 开课形式：课堂讲授
考核形式：笔试 适用学科：计算机科学与技术
授课单位及教师梯队：计算机学院，杨喜权、朱铁英、李辉。
内容简介：
本课程主要研究计算机网络体系结构的基本知识和基础理论，内容包括ATM、多协议标记交换MPLS、主动网络、移动和Ad Hoc网络、光网络及应用层网络，使学生初步掌握对高等计算机网络的一般研究与设计方法。
主要教材：
史忠植：《高级计算机网络》，电子工业出版社，2002年版。
参考书目（文献）：
1．Wiliam Stallings:High-speed network, 1999.
2．徐恪，等：《高等计算机网络》，机械工业出版社，2003年版。

-------------------- 面向对象分析与设计 --------------------

课程编号：1272003 课程类别：专业基础课
课程名称：面向对象分析与设计 英文译名：Oriented–Object Analysis and Design
学 时：64学时 学 分：3学分
开课学期：1 开课形式：课堂讲授
考核形式：笔试 适用学科：计算机科学与技术
授课单位及教师梯队：计算机学院，林和平、马志强、赵宇。
内容简介：
本课程首先介绍软件工程学的基本概念，然后引入面向对象方法学，包括OOA、OOD、OOP，最后详细讲解UML和目前常见的CASE工具，使研究生掌握系统开发的基本方法。
主要教材：
张海藩：《软件工程导论》，清华大学出版社，2001年第3版。
参考书目（文献）：
1．ROGER S.PRESSMAN, SOFTWARE ENGINEERING A PRACTITIONER’S APPROCH, McGraw Hill. 2001年版。
2．蒋惠：《UML Programming Guide》，北京希望电子出版社，2001年第1版。
3．刘润东：《Object Programming with UML》，北京希望电子出版社，2001年第1版。

-------------------- 形式语言与自动机理论 --------------------

课程编号：1272004 课程类别：专业基础课
课程名称：形式语言与自动机理论 英文译名：Formal Languages and Automata Theory
学 时：64学时 学 分：3学分
开课学期：1 开课形式：课堂讲授
考核形式：笔试 适用学科：计算机科学与技术
授课单位及教师梯队：计算机学院，谷文祥。
内容简介：
理论计算机科学是一门处于迅速发展中的学科，它对计算机硬件工程和软件工程的发展都有重要影响。形式语言与自动机理论是理论计算机科学的基础，本课程主要讲授形式语言与自动机理论的基本概念和基本理论，主要包括有穷状态系统、有穷自动机、正规表达式、自动机的转移图、有穷自动机与正规集合的等价性、自动机的应用、正规集合的封闭性、正规集合的判定以及有穷自动机的最小化等。
参考书目（文献）：
1．J·E·霍普克罗夫特、J·D·厄尔曼：《自动机理论、语言和计算导引》，科学出版社，1996年版。
2．John E.Hopcroft Rajeev Motwani Jeffrey D.Ullman：《Introduction to Automata Theory, Languages, and Computation》，清华大学出版社，2002年版。

-------------------- 分布式系统 --------------------

课程编号：1272005 课程类别：专业基础课
课程名称：分布式系统 英文译名：Distributed Systems
学 时：64学时 学 分：3学分
开课学期：1 开课形式：课堂讲授
考核形式：笔试 适用学科：计算机科学与技术
授课单位及教师梯队：计算机学院，姜华。
内容简介：
《分布式系统(Distributed Systems)》是计算机专业研究生的基础课程之一，它是计算机科学中许多分支、课程必要的基础。分布式系统涉及相对广泛的内容，主要内容包括分布式系统的概念和特点、分布式系统模型、分布式算法、中间件、分布式系统的基础设施、分布式数据共享等。
主要教材：
George Coulouris etc：《Distributed Systems》，2003，机械工业出版社。
参考书目（文献）：
1．[荷]Gerard Tel, Introduction to Distributed Algorithms,Second Edition, 电子工业出版社，2003。
2．[美]Nancy A.Lynch著, 舒继武、李国东、余华山译：Distributed Algorithms, 机械工业出版社，2004。

-------------------- 知识工程 --------------------

课程编号：1272006 课程类别：专业基础课
课程名称：知识工程 英文译名：Knowledge Engineering
学 时：64学时 学 分：3学分
开课学期：1 开课形式：课堂讲授
考核形式：笔试 适用学科：计算机科学与技术
授课单位及教师梯队：计算机学院，孙铁利。
内容简介：
主要内容包括知识工程与知识处理技术的有关理论知识、网络计算模式与环境下知识处理问题的研究与实现技术、知识的系统化管理与组织、知识处理技术、解结果的综合机制、知识查询与处理语言、处理结果的可视化和可操作化、知识处理系统的实现、机器学习与知识获取更新。
主要教材：
KNOWLEDGE-BASED INFORMATION STSTEMS, D.Partridge: McGRAW—HILL BOOK COMPANY.
参考书目（文献）：
胡运发：《数据与知识工程导论》，清华大学出版社, 2003年版。

-------------------- 分布式数据库 -------------------

课程编号：1273001 课程类别：专业方向选修课
课程名称：分布式数据库 英文译名：Distributed Database Systems
学 时：48学时 学 分：2学分
开课学期：2 开课形式：课堂讲授
考核形式：笔试 适用学科：计算机科学与技术
授课单位及教师梯队：计算机学院，姜华。
内容简介：
分布式数据库系统(Distributed Database Systems)是计算机专业研究生的选修课程，主要内容包括分布式数据库系统的概念和体系结构、分布式数据库设计、分布式查询分解与数据定位、分布式查询优化、分布式事务处理、分布式并发控制、分布式DBMS的可靠性。
主要教材：
M. Tamer Ozsu etc.: Principles of Distributed Database Systems, 1999.
参考书目（文献）：
1．邵佩英：《分布式数据库系统及其应用》，科学出版社，2005年版。
2．[英]George Coulouris etc.: Distributed Systems, Third Edition, Addision-Wesley Publishers（机械工业出版社），2003年版。
-------------------- 基于模型诊断 --------------------

课程编号：1273002 课程类别：专业方向选修课
课程名称：基于模型诊断 英文译名：Model-Based Diagnosis
学 时：48学时 学 分：2学分
开课学期：2 开课形式：课堂讲授
考核形式：笔试 适用学科：计算机科学与技术
授课单位及教师梯队：计算机学院，林和平。
内容简介：
基于模型诊断（Model-Based Diagnosis）是为了克服传统专家系统诊断方法的严重缺陷而于70年代中期兴起的一项新型的智能推理技术。随着一些具有创新意义工作(如关于电路的故障查找系统)的出现,在80年代中期，基于模型诊断成为热门研究课题,并在近期已走向了成熟,其应用也越来越广泛。内容包括基于模型诊断的基本思想和基本过程、GDE和DART系统、基于模型诊断与传统诊断方法的比较等等。
主要教材：自编
参考书目（文献）：
1．韦博成、鲁国斌、史建清，等：《统计诊断引论》，东南大学出版社，1991年版。
2．吴今培：《模糊诊断理论及其应用》，科学出版社，1995年版。

-------------------- 运筹与决策支持系统 --------------------

课程编号：1273003 课程类别：专业方向选修课
课程名称：运筹与决策支持系统 英文译名：Operations and Decision Support System
学 时：48学时 学 分：2学分
开课学期：1 开课形式：课堂讲授
考核形式：笔试 适用学科：计算机科学与技术
授课单位及教师梯队：计算机学院，周颜军。
内容简介：
运筹学(Operational Research, OR)主要运用数学方法研究各种系统的优化途径和方案，为决策者提供各种决策的科学依据。决策支持系统(Decision Support System, DSS)是在计算机科学、管理科学及运筹学等多种学科研究的基础上发展起来的。主要内容：数学规划(其中包括：线性规划、整数规划、目标规划、动态规划等)、图论与网络、存储论、排队论、对策论、决策论以及决策支持系统的基本原理与技术、决策支持系统的设计与开发、综合决策支持系统。

主要教材：
1．赵则民：《运筹学》，重庆大学出版社，2002年版。
2．李书涛：《决策支持系统原理与技术》，北京理工大学出版社，1996年版。
3．陈文伟：《决策支持系统及其开发》，清华大学出版社，2000年版。
参考书目（文献）：
1．陈文伟：《决策支持系统及其开发》，清华大学出版社，2000年版。
2．张莹：《运筹学基础》，清华大学出版社，1997年版。

-------------------- 进化计算 --------------------

课程编号：1273004 课程类别：专业方向选修课
课程名称：进化计算 英文译名：Evolutionary Algorithm
学 时：48 学时 学 分：2学分
开课学期：2 开课形式：课堂讲授
考核形式：笔试 适用学科：计算机科学与技术
授课单位及教师梯队：计算机学院，吕英华、孔俊、孙红光、李辉、曹毅。
内容简介：
进化计算（Evolutionary Algorithm）包括两个分支：进化策略（Evolutionary Strategy）与遗传算法（Genetic Algorithms）。随着研究的深入，现在已呈融合之势，它采用适者生存的仿自然法则，基于种群的设计方案，并且加入了自然选择和变异等一系列遗传操作，产生新一代的种群，逐步使种群进化到包含近似最优解的状态。由于其思想简单、易于实现以及表现出来的健壮性，在问题求解、优化和搜索、机器学习、智能控制、模式识别和人工生命等许多领域得以应用。
主要教材：
王小平、曹立明：《遗传算法－理论、应用与软件实现》，西安交通大学出版社，2002年版。
参考书目（文献）：
1．王正志、薄涛：《进化计算》，国防科技大学出版社，2000年版。
2．李敏强：《遗传算法的基本理论与应用》，科学出版社，2002年版。
3．周明、孙树栋：《遗传算法原理与应用》，国防工业出版社，1999年版。
4．阎平凡、张长水：《人工神经网络与模拟进化计算》，清华大学出版社，2000年版。

-------------------- 软件重用技术——组件技术 --------------------

课程编号：1273005 课程类别：专业方向选修课
课程名称：软件重用技术——组件技术 英文译名：Software reuse techniques– Component techniques
学 时：48学时 学 分：2学分
开课学期：2 开课形式：课堂讲授
考核形式：笔试 适用学科：计算机科学与技术
授课单位及教师梯队：计算机学院，林和平、聂秀杰、杨贵福。
内容简介：
本课程首先介绍软件复用的基本概念，然后引入组件式程序设计，包括组件与面向对象程序设计、接口与实现类，最后详细讲解如何利用Microsoft Component Object Model(COM)、Microsoft Distributed Component Object Model(DCOM)，目的在于使研究生具备开发基于Windows操作系统平台的分布式软件的能力。
主要教材：
Dale Rogerson：Inside COM, Microsoft Press.
参考书目（文献）：
1．Dale Rogerson：Inside Distributed COM, Microsoft Press.
2．Dale Rogerson：Inside OLE, Microsoft Press.

-------------------- 数据通信 --------------------

课程编号：1273006 课程类别：专业方向选修课
课程名称：数据通信 英文译名：Data Communications
学 时：48学时 学 分：2学分
开课学期：2 开课形式：课堂讲授
考核形式：笔试+报告 适用学科：计算机科学与技术
授课单位及教师梯队：计算机学院，杨喜权、赵宇。
内容简介：
通过本课程的学习使学生主要掌握数据通信的基本原理及其应用技术，主要内容包括数据通信概述、网络服务与层次体系结构、Internet路由、拥塞控制、服务质量控制、高性能路由器体系结构与关键技术并且初步掌握数据通信领域中关键技术的研究与分析方法。
主要教材：
Jeam Walrand：High-Performance Communication Networks, 2002.
主要参考文献：
1．Behrouz. Forrouzan：Data Communications and Networks, 2002.
2．徐恪，等：《高等计算机网络》，机械工业出版社，2003年版。

-------------------- 并行计算 --------------------

课程编号：1273007 课程类别：专业方向选修课
课程名称：并行计算 英文译名：Parallel Computing
学 时：48学时 学 分：2学分
开课学期：2 开课形式：课堂讲授
考核形式：笔试 适用学科：计算机科学与技术
授课单位及教师梯队：计算机学院，林和平。
内容简介：
并行计算(Parallel Computing)是计算机科学界的研究热点之一，对国民经济的发展起着重要的推动作用，有着重大的实际应用意义。本课程主要内容包括并行计算的硬件基础，当代并行计算机系统及其结构模型，并行计算的性能评测，并行算法的一般设计策略、基本设计技术和一般设计过程，矩阵运算、稠密与稀疏线性方程组的求解和快速傅里叶变换，并行程序的设计原理与方法以及并行程序设计环境与工具。
主要教材：
陈国良：《并行计算》，高教出版社，1999年版。
参考书目（文献）：
1．Barry Wilkinson, Michael Allen：《并行程序设计》，机械工业出版社，2002年版。
2．陈国良、吴俊敏、章锋：《并行计算机体系结构》，高教出版社，2002年版。
3．陈国良：《并行算法的设计与分析》，高教出版社，1994年版。

-------------------- 计算机仿真 --------------------

课程编号：1273008 课程类别：专业方向选修课
课程名称：计算机仿真 英文译名：Computer Simulation
学 时：48学时 学 分：2学分
开课学期：2 开课形式：课堂讲授
考核形式：笔试 适用学科：计算机科学与技术
授课单位及教师梯队：计算机学院，周治国。
内容简介：
《计算机仿真（Computer Simulation）》是当前计算机科学技术发展中的一门前沿学科，它是计算机专业硕士研究生的选修课程，主要内容包括仿真技术中的相似理论、矩阵理论、面向对象技术、图象技术、参数最优化技术、计算机仿真的软硬件及应用、计算机仿真与虚拟现实等内容。

主要教材：
何江华：《计算机仿真导论》，科学出版社，2001年版。
参考书目（文献）：
1．王惠刚，等：《计算机仿真原理及应用》，国防科技大学出版社，2000年版。
2．刘瑞叶，等：《计算机仿真技术基础》，电子工业出版社，2004年版。
3．邱百光：《计算机仿真》，上海交通大学出版社，1988年版。

-------------------- 多媒体计算机技术 --------------------

课程编号：1273009 课程类别：专业方向选修课
课程名称：多媒体计算机技术 英文译名：Technology of Computer Multimedia
学 时：48学时 学 分：2学分
开课学期：2 开课形式：课堂讲授
考核形式：笔试 适用学科：计算机科学与技术
授课单位及教师梯队：计算机学院，韩毅。
内容简介：
多媒体计算机技术是计算机科学技术领域的热点技术，它始于20世纪80年代，进入21世纪，随着网络技术的发展，宽带网络技术和流媒体技术的日趋成熟，使得多媒体技术更加紧密地与人们的日常生活相结合。
自20世纪90年代开始，美国、加拿大和欧洲等许多著名大学都纷纷开设了计算机多媒体技术方面的课程。本课程主要内容包括计算机多媒体技术简介、多媒体计算机系统的组成、文本、数字声音及MIDI、彩色数字图像基础、MPEG及数字视频、常用的数据压缩技术、多媒体数据存储设备、多媒体程序的制作工具――Authorware等。
主要教材：
鲁宏伟：《多媒体计算机技术》，电子工业出版社，2003年版。
参考书目（文献）：
1．吴铃达：《多媒体技术》，电子工业出版社，2004年版。
2．钟玉琢：《多媒体计算机技术基础及应用》，机械工业出版社，1999年版。
3．罗万伯：《多媒体技术及应用基础》，机械工业出版社，2002年版。
4．游泽清：《多媒体技术及应用》，机械工业出版社，2001年版。
5．段新昱：《多媒体创作与Authorware》，机械工业出版社，2002年版。

-------------------- 人工神经网络 --------------------

课程编号：1273010 课程类别：专业方向选修课
课程名称：人工神经网络 英文译名：Artificial Neural Networks
学 时：48学时 学 分：2学分
开课学期：2 开课形式：课堂讲授
考核形式：笔试 适用学科：计算机科学与技术
授课单位及教师梯队：计算机学院，孔俊。
内容简介：
人工神经网络是近几十年来发展起来的十分热门的交叉学科，它涉及生物、电子、计算机、数学和物理等学科，有着非常广泛的应用前景。《人工神经网络》是本专业研究生的主要专业基础选修课程，主要内容包括人工神经网络的特点、发展史、类型、前馈型人工神经网络、反馈式人工神经网络、自组织竞争人工神经网络、其他类型的人工神经网络模型、人工神经网络的实现及应用。
主要教材：
王伟：《人工神经网络原理》，北京航空航天大学出版社，1995年版。
参考书目（文献）：
1．张立明：《人工神经网络的模型及其应用》，复旦大学出版社，1984年版。
2．戴葵：《神经网络实现技术》，国防科技大学出版社，1998年版。
3．焦李成：《神经网络计算》，西安电子科技大学出版社，1995年版。
4．焦李成：《神经网络应用与实现》，西安电子科技大学出版社，1993年版。
5．何明一：《神经计算》，西安电子科技大学出版社，1992年版。
6． Simon Haykin：《神经网络综合基础，第二版》，清华大学出版社，2003年版。

-------------------- 数字图像处理与机器视觉 --------------------

课程编号：1273011 课程类别：专业方向选修课
课程名称：数字图像处理与机器视觉 英文译名：Digital Image Processing and Machine Vision
学 时：48学时 学 分：2学分
开课学期：2 开课形式：课堂讲授
考核形式：笔试 适用学科：计算机科学与技术
授课单位及教师梯队：计算机学院，孔俊。
内容简介：
目前，数字图象处理和机器视觉作为现代信息技术的重要技术，已经应用到各个领域，如通信、航天航空、遥感、生物医学、军事、安全等方面。数字图像处理与机器视觉是研究生专业的主要的基础选修课程，主要内容包括信号离散技术、图像的傅立叶变换、图像增强、图像分割、图像的表示与描述、彩色图像处理技术、图像模式识别、图像复原。
主要教材：
Rafael C. Gonzalez, Richard E. Woods：《Digital Image Processing》，电子工业出版社，2004年版。
参考书目(文献)：
1. Rafael C. Gonzalez, Richard E. Woods：《Digital Image Processing Using Matlab》，电子工业出版社，2004年版。
2．Carstleman：《Digital Image Processing》，电子工业出版社，1998年版。
3．Millan Sonka：《Image Processing, Analysis, and Machine Vision (Second Edition)》，人民邮电出版社，2002年版。
4．郑南宁：《计算机视觉与模式识别》，国防工业出版社，1998年版。
5．孙即祥：《模式识别中的特征提取与计算机视觉不变量》，国防工业出版社，2001年版。

-------------------- 电子商务基础与应用 --------------------

课程编号：1273012 课程类别：专业方向选修课
课程名称：电子商务基础与应用 英文译名：E-Commerce
学 时：48学时 学 分：2学分
开课学期：2 开课形式：课堂讲授
考核形式：笔试 适用学科：计算机科学与技术
授课单位及教师梯队：计算机学院，杨志强。
内容简介：
电子商务是当前最受欢迎的计算机综合性应用学科，它是在计算机网络应用基础上发展起来的。本课程主要内容包括电子商务的基本概念、内涵、实质与特点；电子商务在国内外发展背景；我国电子商务存在的问题及对策；实现电子商务的技术、支付和法律环境；电子商务的应用模式；网络营销等基本知识。
主要教材：
陈科鹤：《电子商务实务教程》，清华大学出版社，2002年版。
参考书目（文献）：
1．陈锡筠，等：《电子商务新视野》，清华大学出版社，2003年版。
2．陈晓红：《电子商务实现技术》，清华大学出版社，2000年版。
3．陈信祥：《电子商务网站建设》，清华社大学出版，2000年版。
4．张铎：《电子商务与物流》，清华大学出版社，2001年版。
5．梅绍祖：《电子商务法律规范》，清华大学出版社，2000年版。

-------------------- 模式识别 --------------------

课程编号：1273013 课程类别：专业方向选修课
课程名称：模式识别 英文译名：Pattern Recognition
学 时：48学时 学 分：2学分
开课学期：2 开课形式：课堂讲授
考核形式：笔试 适用学科：计算机科学与技术
授课单位及教师梯队：计算机学院，孔俊。
内容简介：
模式识别(Pattern Recognition，简记为PA)是60年代迅速发展起来的一门学科。它所研究的理论和方法在众多科学和技术领域中得到了广泛的重视，推动了人工智能系统的发展。二十多年来，取得了大量研究成果，在很多领域得到了成功的应用。《模式识别》是研究生专业的主要选修课程，主要内容包括模式识别的概念、系统、关于模式识别方法的一些问题、贝叶斯决策理论、概率密度函数的估计、线性判别函数、非线性判别函数、近邻法、经验风险最小化和有序风险最小化方法、特征的选择与提取、基于K-L展开式的特征提取、非监督学习方法。
主要教材：
边肇祺：《模式识别》，清华大学出版社，1988年版。
参考书目(文献)：
1．李介谷、蔡国廉，等：《计算机模式识别技术》，上海交通大学出版社，1986年版。
2．[美]T.帕夫利迪斯：《结构模式识别》，上海科学技术文献出版社，1981年版。
3．[美]R.C.G.onzalez M.G.Thomason：《句法模式识别》，清华大学出版社，1984年版。
4．沈清、汤霖：《模式识别导论》，国防科技大学出版社，1991年版。

-------------------- 计算机控制理论与技术 --------------------

课程编号：1273014 课程类别：专业方向选修课
课程名称：计算机控制理论与技术 英文译名：Control Theory and Technology of Computer
学 时：48学时 学 分：2学分
开课学期：2 开课形式：课堂讲授
考核形式：笔试 适用学科：计算机科学与技术
授课单位及教师梯队：计算机学院，马志强。
内容简介：
在研究计算机控制系统组成，结构和系统内模拟信号与数字信号之间转换理论的基础上，着重研究计算机控制系统的数学描述，性能特性分析和系统设计等基本理论和方法，并介绍一般计算机控制系统中常用的控制算法。
主要教材：
薛弘晔：《计算机控制技术》，西安科技电子大学出版社，2003年版。
参考书目（文献）：
1．何克忠：《计算机控制系统》，清华大学出版社，2002版。
2．袁著祉，等：《现代控制理论在工程中的应用》，科学出版社，2003版。

-------------------- 远程教育技术 --------------------

课程编号：1273015 课程类别：专业方向选修课
课程名称：远程教育技术 英文译名：Technology of Distance Education
学 时：48学时 学 分：2学分
开课学期：2 开课形式：课堂讲授
考核形式：笔试 适用学科：计算机科学与技术
授课单位及教师梯队：计算机学院，韩文峰。
内容简介：
《远程教育技术(Technology of Distance Education)》主要研究远程教育的概念、目的、意义、模式、资源、理论、服务、管理、测量与评价、规范、远程教育经济学、教学设计与开发研究、知识经济与远程继续教育研究等。
主要教材：
丁兴富：《远程教育学》，北京师范大学出版社，2002年版。
参考书目（文献）：
1．何克抗、李文光：《教育技术学》，北京师范大学出版社，2002年版。
2．何克抗，等：《教学系统设计》，北京师范大学出版社，2002年版。
3．丁兴富：《远程教育学》，北京师范大学出版社，2002年版。
4．祝智庭：《网络教育应用》，北京师范大学出版社，2002年版。
5．李克东：《教育技术学研究方法》，北京师范大学出版社，2002年版。
6．何克抗：《现代教育技术》，北京师范大学出版社，1998年版。
7．何克抗：《计算机辅助教育》，高等教育出版社，1997年版。
8．何克抗：《建构主义——革命传统教学的理论基础》，高等教育出版社，1985年版。
9．祝智庭：《现代教育技术学-走向信息化教育》，教育科学出版社，2000年版。

------------------- -嵌入式系统 --------------------

课程编号：1273016 课程类别：专业方向选修课
课程名称：嵌入式系统 英文译名：Embedded Computer System
学 时：48学时 学 分：2学分
开课学期：2 开课形式：课堂讲授
考核形式：笔试 适用学科：计算机科学与技术
授课单位及教师梯队：计算机学院，蒲东兵、韩毅。
内容简介：
本课程研究嵌入式系统的硬件与软件特征，重点剖析嵌入式操作系统Windows CE和嵌入式Linux系统，并对目前的嵌入式处理器进行归类和分析。针对嵌入式操作系统的特点，讲授其系统定制、裁剪、内核编译及其优化过程，串、并口通信、网卡通信以及对外围设备的驱动程序，嵌入式软件的开发模式与开发流程，包括代码编写、编译、调试、测试和烧写技术等，主要目的在于使研究生具备基于嵌入式系统的应用开发能力。
主要教材：
[美]Wayne Wolf著，孙玉芳等译：《嵌入式计算系统设计原理》，机械工业出版社，2002年版。
参考书目（文献）：
1．邹思轶：《嵌入式Linux设计与应用》，清华大学出版社，2002年版。
2．姜桥译：《在嵌入式系统中使用C++编程语言》，航空精密制造技术，