化工类院校计算机基础教学中计算思维的培养 被引量：13

1

作者 高敬阳 尚颖 山岚 《中国大学教学》 CSSCI 北大核心 2014年第2期41-44,共4页

针对新时期提出的计算机基础教学中计算思维的培养问题,给出了理解认识和教学实践中的落实。计算思维的培养通过能力培养来实现,在化工类院校,教学内容中把具有化工专业特色的专业案例教学作为学生计算思维培养的有效载体,教学方法上结... 针对新时期提出的计算机基础教学中计算思维的培养问题,给出了理解认识和教学实践中的落实。计算思维的培养通过能力培养来实现,在化工类院校,教学内容中把具有化工专业特色的专业案例教学作为学生计算思维培养的有效载体,教学方法上结合分级分层教学与参加大赛及建设使用资源网站有机结合来具体实施计算思维的培养。 展开更多

关键词 化工类院校 计算机基础教学 计算思维 应用能力

在线阅读 下载PDF 职称材料

基于课程地图的计算机专业本科培养方案的制订 被引量：16

2

作者 高敬阳 朱群雄 +1 位作者 尤枫 胡伟 《中国大学教学》 CSSCI 北大核心 2015年第12期30-35,共6页

高等学校本科培养方案的制订对于人才培养至关重要,通过课程地图推动计算机专业本科培养方案的制订是高校教学改革中尝试的一种新模式,对于教和学双方均起到积极的作用。

关键词 计算机专业 本科培养方案 课程地图 梳理 整合

在线阅读 下载PDF 职称材料

贯穿在系列课程中的程序设计能力的培养 被引量：4

3

作者 高敬阳 朱群雄 +1 位作者 山岚 李芳 《中国大学教学》 CSSCI 2008年第11期47-48,共2页

本文就培养学生的程序设计能力问题进行了分析，给出了教学实践中的解决方案。对教学理念、教学方法、考核方式进行了探讨。在教学理念上，强调在一系列课程中持续不断的系统化训练。在教学方法上，采用面向专业应用的分类教学，贯彻“... 本文就培养学生的程序设计能力问题进行了分析，给出了教学实践中的解决方案。对教学理念、教学方法、考核方式进行了探讨。在教学理念上，强调在一系列课程中持续不断的系统化训练。在教学方法上，采用面向专业应用的分类教学，贯彻“案例驱动”、强化实训等。本文还就考试方法的改革及资源网站的建设提出了一系列观点，希望能够更好地培养学生的程序设计能力。 展开更多

关键词 程序设计能力 教学理念 教学方法

在线阅读 下载PDF 职称材料

基于输出域的测试用例自动生成方法研究 被引量：7

4

作者 尤枫 赵瑞莲 吕珊珊 《计算机研究与发展》 EI CSCD 北大核心 2016年第3期541-549,共9页

对大多数软件,很难根据规格说明自动产生期望的输出.而对于某些软件,输出域存在许多值得关注的检测点,适合于从输出域出发开发测试用例.但对于给定的输出,自动生成相应的输入也较为困难.提出了一种基于输出域的测试用例自动生成方法,首... 对大多数软件,很难根据规格说明自动产生期望的输出.而对于某些软件,输出域存在许多值得关注的检测点,适合于从输出域出发开发测试用例.但对于给定的输出,自动生成相应的输入也较为困难.提出了一种基于输出域的测试用例自动生成方法,首先利用BP神经网络构建被测软件的功能模型,然后在被测软件的功能模型上,对于给定的输出,利用遗传算法搜索相应的输入,实现基于输出域的测试用例自动生成.同时,对遗传算法进行了改进,提出了一种新的交叉算子和变异算子,以提高遗传算法生成测试用例效率,并在容错软件RSDIMU子模块和3个常用软件上进行了模型构建及测试生成实验.实验结果表明,利用遗传算法实现基于输出域的测试用例自动生成方法是行之有效的,改进的遗传算法能够提高测试生成的效率和成功率. 展开更多

关键词 BP神经网络 软件功能模型 测试用例生成 输出域 遗传算法

在线阅读 下载PDF 职称材料

减少多种子内建自测试方法硬件开销的有效途径 被引量：10

5

作者 李立健 赵瑞莲 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2003年第6期662-666,672,共6页

提出一个基于重复播种的新颖的BIST方案 ,该方案使用侦测随机向量难测故障的测试向量作为种子 ,并利用种子产生过程中剩余的随意位进行存储压缩 ;通过最小化种子的测试序列以减少测试施加时间 实验表明 ,该方案需要外加硬件少 ,测试施... 提出一个基于重复播种的新颖的BIST方案 ,该方案使用侦测随机向量难测故障的测试向量作为种子 ,并利用种子产生过程中剩余的随意位进行存储压缩 ;通过最小化种子的测试序列以减少测试施加时间 实验表明 ,该方案需要外加硬件少 ,测试施加时间较短 ,故障覆盖率高 ,近似等于所依赖的ATPG工具的故障覆盖率 在扼要回顾常见的确定性BIST方案的基础上 ,着重介绍了文中的压缩存储硬件的方法。 展开更多

关键词 存储压缩 故障覆盖率 寄存器 集成电路 电路测试 多种子内建自测试

在线阅读 下载PDF 职称材料

一种有效的边界测试点选取策略 被引量：2

6

作者 赵瑞莲 董红霞 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2007年第2期251-256,共6页

借鉴组合逻辑电路固定型故障的诊断原理,提出一种软件边界测试点选取策略.根据RSDIMU容错软件需求规范开发出52个测试用例,同时采用边界值分析、健壮性测试等边界值测试方法设计了2组测试用例,对34个版本的RSDIMU程序和429个变异体进行... 借鉴组合逻辑电路固定型故障的诊断原理,提出一种软件边界测试点选取策略.根据RSDIMU容错软件需求规范开发出52个测试用例,同时采用边界值分析、健壮性测试等边界值测试方法设计了2组测试用例,对34个版本的RSDIMU程序和429个变异体进行了测试.实验结果表明:该方法是一种有效的边界测试点选取策略,可以克服测试的盲目性,降低测试成本,明显地提高故障覆盖程度. 展开更多

关键词 边界测试点 测试数据生成 RSDIMU 变异体

在线阅读 下载PDF 职称材料

移动主体异构资源互操作框架 被引量：1

7

作者 师雪霖 赵英 《计算机工程与应用》 CSCD 北大核心 2009年第15期150-153,共4页

随着Internet的发展,如何实现异构资源之间的互操作成为当前研究热点。要适应Internet这种开放、动态的环境,需要软件具有组件化、开放化、自主化等特点,而面向主体的软件开发方式则能满足这些需要。提出了一种基于移动主体(Mobile Age... 随着Internet的发展,如何实现异构资源之间的互操作成为当前研究热点。要适应Internet这种开放、动态的环境,需要软件具有组件化、开放化、自主化等特点,而面向主体的软件开发方式则能满足这些需要。提出了一种基于移动主体(Mobile Agent)的异构资源互操作框架,用以实现异构数据源的整合,为用户提供统一信息检索服务。该框架为一多主体系统(Multi-Agent System),为了实现主体间的通信和协作,设计了一种基于通用领域本体模型的主体通信机制。此外描述了该框架中移动主体的工作机制。 展开更多

关键词 移动主体 多主体系统 本体 互操作 异构资源

在线阅读 下载PDF 职称材料

频繁模式增量维护算法IM-FPM 被引量：1

8

作者 林晓勇 朱群雄 《仪器仪表学报》 EI CAS CSCD 北大核心 2008年第7期1517-1521,共5页

数据挖掘是当今研究的一个热点,传感器实时收集大量的数据,将数据收集与数据挖掘技术结合起来,是现代数据处理技术发展的重要趋势。频繁模式挖掘是数据挖掘中的核心问题,本文针对数据库发生变化时频繁模式挖掘中普遍存在的重复扫描、遍... 数据挖掘是当今研究的一个热点,传感器实时收集大量的数据,将数据收集与数据挖掘技术结合起来,是现代数据处理技术发展的重要趋势。频繁模式挖掘是数据挖掘中的核心问题,本文针对数据库发生变化时频繁模式挖掘中普遍存在的重复扫描、遍历和计算问题,提出了频繁模式的增量维护算法IM-FPM。该算法充分利用已有挖掘结果来提高效率但又完全独立于上次采用的挖掘方法,并且只需对原始数据库进行一次扫描。实验结果表明,该算法能有效地解决数据库发生变化时的频繁模式增量维护问题。 展开更多

关键词 数据挖掘 关联规则 增量维护 频繁模式 数据处理

在线阅读 下载PDF 职称材料

基于搜索的面向路径字符串测试数据自动生成方法 被引量：5

9

作者 赵瑞莲 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2008年第5期671-677,共7页

针对字符串测试数据自动生成,讨论了字符串间的距离,将不满足路径条件的字符串谓词表示成一个实值目标函数;利用快速下降搜索算法实施目标函数极小化,实现了基于搜索的面向路径字符串测试数据自动生成方法;探讨了其测试数据生成效率与... 针对字符串测试数据自动生成,讨论了字符串间的距离,将不满足路径条件的字符串谓词表示成一个实值目标函数;利用快速下降搜索算法实施目标函数极小化,实现了基于搜索的面向路径字符串测试数据自动生成方法;探讨了其测试数据生成效率与初始输入、路径处理顺序之间的关系,并与遗传算法等几种算法进行了比较.实验结果表明:该方法是一种更经济有效的测试数据生成方法. 展开更多

关键词 路径测试数据生成 字符串数据 字符串间距离 快速下降搜索算法

在线阅读 下载PDF 职称材料

基于调用图的类间MM路径自动生成方法研究

10

作者 何伟 赵瑞莲 朱群雄 《计算机研究与发展》 EI CSCD 北大核心 2013年第2期332-343,共12页

在面向对象的软件测试中,类间集成测试尤其困难.方法/消息路径(MM路径)是由消息连接的方法执行序列,可以很好地体现面向对象软件由对象发送消息调用方法执行的交互过程,因此非常适于面向对象软件的集成测试.结合现有调用图构建算法,提... 在面向对象的软件测试中,类间集成测试尤其困难.方法/消息路径(MM路径)是由消息连接的方法执行序列,可以很好地体现面向对象软件由对象发送消息调用方法执行的交互过程,因此非常适于面向对象软件的集成测试.结合现有调用图构建算法,提出了一种基于调用图的面向对象软件类间MM路径自动生成方法,并通过大量实验,研究了采用类层次分析和安德森指向分析这2种典型调用图构建算法对生成MM路径的数量和时间花费的影响,进而分析了面向MM路径生成的测试用例集对被测程序的结构测试覆盖效果.实验结果表明:基于调用图的类间MM路径自动生成方法是确实可行的;采用安德森指向分析较类层次分析生成类间MM路径的数量平均增加13.11%,时间消耗却平均减少27.78%;此外,针对安德森指向分析生成的类间MM路径进行面向路径的测试用例自动生成,其生成的测试用例集对被测程序获得的结构覆盖率比采用类层次分析平均提高2%～7%.因此,对于基于调用图的面向对象软件类间集成测试路径生成,基于安德森指向分析较类层次分析生成类间MM路径的效率更高. 展开更多

关键词 MM路径 调用图 类层次分析 安德森指向分析 面向对象软件的集成测试 面向路径的测试用例自动生成

在线阅读 下载PDF 职称材料

一种二叉树结构型测试数据自动生成方法

11

作者 王倩 尤枫 赵瑞莲 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2012年第6期734-740,共7页

目前关于软件测试数据自动生成的研究主要集中于数值和字符串型数据,对于指针和动态数据结构的测试生成研究较少.二叉树是一种广泛使用并具有代表性的动态数据结构,文中提出一种针对二叉树结构的测试数据自动生成方法,使用遗传搜索算法... 目前关于软件测试数据自动生成的研究主要集中于数值和字符串型数据,对于指针和动态数据结构的测试生成研究较少.二叉树是一种广泛使用并具有代表性的动态数据结构,文中提出一种针对二叉树结构的测试数据自动生成方法,使用遗传搜索算法生成二叉树形态,同时利用约束求解确定其数据域的值.实验结果表明,该方法是行之有效的,其测试生成效果明显优于随机生成方法. 展开更多

关键词 测试数据生成 二叉树结构 二叉树形态生成 遗传算法

在线阅读 下载PDF 职称材料

低成本高故障覆盖率内建自测试方案

12

作者 李立健 赵瑞莲 《同济大学学报（自然科学版）》 EI CAS CSCD 北大核心 2002年第12期1519-1523,共5页

提出了一个基于重复播种的新颖的BIST(build -inself-test)方案 .它使用侦测随机向量难测故障的测试向量作为种子 ,并利用种子产生过程中剩余的随意位进行存储压缩 .通过最小化种子的测试序列以减少测试施加时间 .实验表明 ,本方案需要... 提出了一个基于重复播种的新颖的BIST(build -inself-test)方案 .它使用侦测随机向量难测故障的测试向量作为种子 ,并利用种子产生过程中剩余的随意位进行存储压缩 .通过最小化种子的测试序列以减少测试施加时间 .实验表明 ,本方案需要外加硬件少 ,测试施加时间较短 ,而故障覆盖率高 。 展开更多

关键词 线性反馈移位寄存器 种子 随机向量难测故障 随意位 集成电路

在线阅读 下载PDF 职称材料

基于k-core的大规模复杂网络压缩布局算法 被引量：5

13

作者 李甜甜 卢罡 +1 位作者 许南山 郭俊霞 《计算机工程》 CAS CSCD 北大核心 2016年第5期308-312,共5页

为在复杂网络规模不断扩大的情况下优化其可视化布局效果,将力导引布局算法与k-core概念相结合,提出一种改进的大规模复杂网络压缩布局算法。利用复杂网络中的k-core概念划分网络数据,根据k-core值选择节点处理方式,实现网络节点的压缩... 为在复杂网络规模不断扩大的情况下优化其可视化布局效果,将力导引布局算法与k-core概念相结合,提出一种改进的大规模复杂网络压缩布局算法。利用复杂网络中的k-core概念划分网络数据,根据k-core值选择节点处理方式,实现网络节点的压缩布局。定义面向压缩的复杂网络信息量概念,对算法的压缩效果进行量化评估。实验结果表明,改进后的布局算法能有效利用有限的显示空间,减少布局结果中的边点密集现象,清晰地显示网络结构,同时在一定程度上保持原始网络性质。 展开更多

关键词 复杂网络 可视化 布局算法 力导引算法 压缩布局 k-核

在线阅读 下载PDF 职称材料

低关联度的Boosting类集成算法研究

14

作者 关超 高敬阳 尚颖 《计算机工程与设计》 CSCD 北大核心 2012年第3期1112-1116,共5页

针对Boosting类算法生成的个体网络的迭代方式相关性较高,对某些不稳定学习算法的集成结果并不理想的情况,基于Local Boost算法局部误差调整样本权值的思想,提出了基于距离及其权值挑选邻居样本的方法,并通过局部误差产生训练样本种子,... 针对Boosting类算法生成的个体网络的迭代方式相关性较高,对某些不稳定学习算法的集成结果并不理想的情况,基于Local Boost算法局部误差调整样本权值的思想,提出了基于距离及其权值挑选邻居样本的方法,并通过局部误差产生训练样本种子,采用Lazy Bagging方法生成针对各样本种子的个体网络训练样本集来训练、生成新的个体网络,UCI数据集上实验结果表明,该算法得到的个体网络相关度较小,集成性能较为稳定。 展开更多

关键词 低相关度 神经网络集成 邻域误差 二次集成 Boosting集成

在线阅读 下载PDF 职称材料