摘要：提出了一种用模型检验技术对程序进行分析的方法,其主要思想是将C/C++源代码转换为与控制流图等价的Kripke结构,用CTL公式描述待验证的源程序性质,使用NuSMV模型检验工具实施具体的程序分析。基于这一思想,设计并实现了一个自动将C/C++源代码转换为NuSMV输入的工具。所做的实验验证表明,该方法能够有效地对程序进行分析。

摘要：在大力提倡研究性教学的当今,如何利用信息技术手段并通过有效方式将研究性教学落到实处是值得思考的问题。其中,师生角色的成功转变是突破传统教学观念、迈向研究性教学的关键一步。文章从研究性教学的三个阶段,即进入情境阶段、实践体验阶段和表达交流阶段入手,设计出了信息技术环境下的师生互动模式,并在《教学系统设计案例研析》课程中进行了实施、反馈和评价,为良好、有效的研究性教学师生互动的展开提供了借鉴。

摘要：文章旨在通过数字化设计实现传统造物的创新设计研究,以楚式漆器和髹漆工艺为研究对象,对楚式漆器和髹漆工艺的历史背景、工艺手法、现状与机遇等内容进行前期研究,并对楚式漆器进行设计学解读,借助数字化设计与建造的技术手段,形成数字化形态创新设计方案,包括数字成型、材料实践、工艺创新、成果展示四个方面,探索传统造物文化在数字化时代下的新材料、新器型和新产品的可能性。

摘要：本文结合"操作系统"精品课程的建设经验,从"操作系统原理"教学中遇到的问题,以及"操作系统"精品课程建设中遇到的问题出发进行研究,从理论教学手段、实验设计、教学项目申报、教学大纲的重组与整合、教学平台的建设、学生能力培养和师资培养等方面探索问题的处理方法。实践表明,这些处理方法有效地扩展学生的基础理论知识,增强其分析问题和动手编程能力。

摘要：本文结合多年的教学经验,从操作系统的教学方法、教学手段、实验设计等方面探讨了操作系统课程的理论与实践教学。经过多届学生的实践推广,证明这些措施能够有效促进学生对"操作系统原理"的基础理论学习和实践动手能力提高,进而增强其分析问题及编程能力。