基于PSO和朴素贝叶斯的软件缺陷预测模型

为了设计高效的软件缺陷预测模型,提出一种将粒子群优化算法与朴素贝叶斯(NB)相结合的方法。该方法对历史数据进行离散化后,以NB分类的错误率作为粒子适应值函数,构建软件缺陷预测模型。通过对美国国家航天局软件工程项目的JM1数据进行仿真实验,证明该模型在预测性能方面优于同类方法,预测效果良好。     

运行时软件故障注入器的设计与实现

针对实际故障诊断中难以有效获得故障现场信息的问题,提出通过在软件运行时注入故障的方式获取故障现场信息,设计并实现一种运行时软件故障注入器,给出其中的故障脚本描述语言、故障库和故障注入器算法。实验结果表明,该注入器能有效实现故障注入,获取故障现场信息。     

一种基于模型检验程序分析技术的前端工具研究

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

谈计算机科学与技术专业师范生人才培养

国内计算机专业师范生的培养模式还处在研究探索阶段,相关的人才培养方案和课程计划还未成熟,实际教学中尚存在很多操作性不强的实践方案,因此,怎样培养计算机专业的免费师范生,是一个值得研究的问题。文章从高等师范院校计算机科学与技术专业的师范生人才培养计划等方面进行了相关探索,提出建立合理的课程群体系和教学资源体系,为实际教学打下基础。     

基于层次化修正框架的文本纠错模型

文本中存在的表达冗余、词汇误用和内容缺失等错误会显著影响文本语义的理解,当前解决上述文本错误的纠错模型存在两个主要的问题:当前的文本纠错模型主要基于编码器-解码器框架,解码速度较慢;许多工作将错误检测和修正分离成两个任务,没有形成统一的整体.为此,提出了一种基于层次化修正框架的文本纠错模型.首先,基于预训练模型建模得到文本的多种语义表示;其次,利用文本的语义表示识别出文本中错误的位置;最后,利用层次化修正框架计算精化的修正操作并完成对错误的修正.针对公开文本纠错数据集CONLL-14进行了相关实验,结果表明本文模型比所选取的对比模型有更快的解码速度和更高的召回率.     

语义增强的在线学习行为预测研究

当前学习者的在线学习行为预测研究未充分利用短文本中的语义数据,导致对学习者的学习状态刻画不够全面,严重影响了行为预测的准确性.针对此问题,本文提出了语义增强的在线学习行为预测方法.首先,利用双向长短时记忆网络得到到短文本的语义向量表示;其次,基于学习者的统计、行为和短文本数据得到学习者的特征表征,并利用长短时记忆网络模型构建其学习状态表征;最后,利用学习状态表征预测学习者的学习行为.在11门真实在线课程数据集上的实验表明,本文方法能过有效提升在线学习行为预测的精确度.     

参数化运行时监控研究

随着计算机软件广泛应用于各类安全关键系统以及软件日趋复杂,软件可靠性变得越来越重要。作为一种广泛使用于各种平台的软件解决方案,运行时监控是提高软件可靠性的最灵活的解决方案之一。但随着运行时监控技术以及软件技术的发展,人们希望通过运行时监控技术来验证系统的动态属性,从而提出参数化性质的运行时监控技术。由于其在面向对象系统中的适用性,参数化性质的运行时监控已经受到了越来越多的关注。综述了参数化运行时监控的研究进展,提出了参数化运行时监控的问题定义,介绍了这一领域的主要研究内容:参数化运行时监控方法、减少参数化监控开销的技术、多属性规约的参数化运行时监控。     

操作系统体系结构风格的比较研究

从软件体系结构风格的角度分析研究了目前存在的操作系统体系结构,并给出了常用操作系统体系结构的相关信息,这些结论使我们能更好地采用操作系统体系结构设计中的设计决策。     

基于c/s体系结构的钢铁生产企业管理信息系统

设计并实现了以C／S结构为基础的黄石鑫宝有限公司管理信息系统，详细介绍了设计思想、系统功能模块划分和设计方法。     

计算机专业师范生的“操作系统”课程教学

本文针对计算机专业师范生的特点,在研究了我国中小学信息技术课程标准并作了相关调研的前提下,设计了师范生的"操作系统"课程,修改了原来课程的内容、课时,并对课程的授课、实验和考核方式做出了调整,使学生所学内容能满足社会需要。课程上过后,学生反应良好,达到了课程效果,并能促进学生的个性发展,培养学生的自学和创新能力。