云计算支持的操作系统课程教学模式探索

操作系统课程因其内容抽象,与计算机硬件知识结合紧密等特点,被普遍认为是一门难教、难学的计算机专业核心课程。结合目前在教育领域广泛应用的云计算技术,从任务驱动式理论教学、自主式教学内容扩充、分层式教学实践三个主要环节对操作系统课程教学进行全面的改革和实践。实践证明该教学模式提升了学生对课程重点和难点的掌握程度,也提高了学生的自主学习能力,达到了计算机专业人才素质教育的目的。     

非函数依赖程序不变量动态检测技术研究

讨论了程序不变量的内涵,研究并建立了程序不变量动态生成系统的理论模型。在该模型中,针对非函数依赖程序不变量动态生成理论、方法和技术进行了阐述。基于数据库的理论提出了一种新的非函数依赖程序不变量动态检测技术,针对各种常见非函数依赖程序不变量类型建立了一系列检测方法。此不变量检测技术通过数据库中提供的SQL条件查询功能,灵活地检测各种常见类型的非函数依赖程序不变量,并且可以根据用户的实际需要随时指定新的程序不变量查询条件。该方法和Daikon等现有的程序不变量检测工具检测方法比较具有明显的特色和优势：第一,基于关系数据库技术,具有良好的可扩展性;第二,使用SQL条件查询功能实现非函数依赖程序不变量检测,检测方法具有很好的灵活性。     

一种基于情感依存元组的简单句情感判别方法

基于依存句法“动词配价”原理与组块的概念,提出以情感依存元组(EDT)作为中文情感表达的基本单位。它以句中能承载情感的几类实词作为中心词,修饰词依附于中心词,程度词和否定词依附于中心词和修饰词。该文对句子进行句法分析,在句法树和依赖关系中按规则提取情感依存元组,建立简单句情感依存元组判别模型计算情感倾向性。针对COAE2014评测公布的网络新闻语料,将该方法分别与有监督分类算法(KNN、SVM)和半监督算法(K-means)进行实验对比。结果表明,基于EDT的情感分类性能与有监督的机器学习算法相当,远高于半监督的聚类算法。     

基于布尔表达式约束的测试用例生成技术

布尔表达式约束在软件规格说明和程序中广泛存在，这些约束可作为软件系统的模型，成为测试用例生成依据。本文调研分析基于布尔表达式约束的测试用例生成方法，主要分为基于约束语法的测试和基于约束语义的测试。归纳总结基于约束语法测试的各种故障类型和测试策略，并比较各种测试策略的适用情形和故障检测能力，也对基于约束语义测试的各种约束获取和求解方法进行性能分析，并介绍了典型工具。最后对未来的研究发展进行展望。     

后现代主义对高校计算机基础课程教学的有益启示

后现代主义以其特有的精神气质和包容性在各个学科领域发生着深远持久的影响。教育作为人类一种有目的、有组织、有理性的行为,始终与人类社会的现代化进程紧密地联系在一起。在后现代主义思想的荡涤下,各国教育学者进行了深刻的反思,教育思想、教育活动和教育研究等方方面面都出现了显著的变化。本文介绍了后现代主义课程观,探讨其对我校大学计算机基础课程教学的有益启示。     

基于DCS系统组件的变力度组合测试方法

系统组件间的交互故障及功能失效是导致核电厂数字化仪控系统（DCS）故障的主要原因,传统组合测试能有效检测组件之间交互作用,但存在测试数据冗余、检测能力下降等问题。提出一种基于逐参数扩展（IPO）策略的变力度组合测试方法IPO_VD。根据DCS系统组件开发的特性,从待测组件间实际交互关系,对水平扩展过程中参数的取值选择进行改进。实验结果表明,相比固定力度下的IPO算法,IPO_VD算法在测试数据规模、覆盖率以及检错能力上均有一定优势。在减小测试数据规模的同时实现对组件间实际交互关系的全覆盖。     

基于J2EE架构的智能元搜索引擎系统设计与实现

分析智能元搜索引擎系统的特点和J2EE架构的优势,提出基于J2EE应用架构的多层智能元搜索引擎系统设计方案,整合系统分析、系统设计和编码的全部过程,开发出高质量、可复用、可扩展的智能元搜索引擎系统.     

基于本体的个性化信息检索研究

分析传统的信息检索系统存在的不足及其原因,将本体加入到检索系统中,提出一个基于本体的个性化信息系统的设计思路和系统模型,并对该模型的主要模块进行了介绍,探讨了利用本体的领域知识和用户的本体模型实现信息检索的过程,最后对该模型进行的性能评价表明在查全率和查准率方面都有很大改善。     

基于本体的个性化信息检索研究

分析传统的信息检索系统存在的不足及其原因,将本体加入到检索系统中,提出一个基于本体的个性化信息系统的设计思路和系统模型,并对该模型的主要模块进行了介绍,探讨了利用本体的领域知识和用户的本体模型实现信息检索的过程．最后对该模型进行的性能评价表明在查全率和查准率方面都有很大改善。     

WEB用户的视图

视图不仅是数据库中的一个重要概念,也能够在Web系统中发挥重要的作用.但是,Web视图不能完全照搬数据库视图的概念,而应该体现出Web特色.文章提出了浏览区域的概念,能较好地刻画Web用户活动的特征.在此概念的基础上,给出一个能体现Web特色的用户视图的定义,初步探讨了Web用户视图的实现方法和一些可能的应用.