计算机在职研究生课程实验环节改革分析

计算机在职研究生令业基础课程实验教学在开发高质量实验，探索内容创新与水平提高方面，注重综合技能训练，以培养学生的设计和创新能力为核心。

对令业课基础课程对应的实验内容、实验项目进行调整和更新，实验的开设方式主要采取课后实验、综合课程设计、创新型项目等。

所开设的令业实验课程，强调令业理论联系实际，突出案例分析和实践训练，注重培养和提高研究生的动手能力。

令业基础课程实验内容主要包括:

嵌入嵌入式系统课程实验:与硕士生嵌入式系统理论课程相结合，以嵌入式系统硬件的核心嵌入式微处理器及嵌入式软件的核心嵌入式实时-操作系统为重点，自下而上，通过典型嵌入式微处理器ARM的编程基础实验、嵌入式系统接口编程及设备驱动开发实验及典型嵌入式实时一操作系统UCOS/II应用编程实验等三组实验内容，让学生从系统的角度掌握嵌入式系统的软件和硬件方面的基础知识，奠定较好的嵌入式系统软件开发技能。

分布式系统课程实验:P2P聊天软件设计与实现。设计一个P2P聊天软件，由多个聊天客户端和一个中心服务器组成。各个聊天客户端可以两两相互发送消息。目的在十设计GUI，多线程和套接字编程。各个客户端用IP地址和TCP/IP监听端口号进行标识。每个客户提供一个名字，方便其他客户端。用户界面(GUI)可自行设计，主要为用户提供方便;用户界面要及时一地对用户的操作做出反应;实现一个用户可以和多个用户同时一进行聊天;实现平台Linux或Windows。

高级网络计算课程实验:自行安装配置任意Web应用服务器，实现He1loWorld服务;在VM-ware虚拟机或者一纯Linux系统上安装配置，展示结果，并分析部分源码。

Linux操作系统内核技术课程实验:内核配置、编译、安装和引导;进程调度算法修改;增加、修改系统功能;动态模块加载、删除;动态模块同核心的通信及互操作。

算法设计与分析课程实验:实现合并排序算法，用分治算法实现儿素选择;用动态规划实现矩阵链乘法问题;实现Dijkstra算法;构造Huffman树;作业调度问题。

系统设计—从芯片到系统课程实验:开设但击十FPGA的SOC设计》实验课程。基十FPGA的算法设计与验证，使学生初步掌握软硬件协同设计开发方法、掌握系统设计的方法、掌握基十软核和硬核构建的嵌入式SOC方法。实验主要包括:MATLAB和SystemGenerator设示「的DSP实验、基十MicroBlaze设示「嵌入式系统实验。

形式化方法课程实验:熟悉Cadence公司的FormalCheck土具、Intel公司的Voss系统、西门子公司的CVE验证环境、Intel公司开发的Forte系统、Cadence公司的SMV(SymbolicModelVerifier)土具和中国台湾清华大学开发的系统AQUILA，对自动有效验证组合逻辑电路以及交互自动机的性质和大规模时一序设计的等价性检验有交深入的理解。

通过实验，与课堂讲授的理论结合起来，达到知其然也知其所以然的效果，从而加深对课程抽象概念的理解，更快速、更深刻的掌握课程的教学内容。