期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
9
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
回归测试中基于值谱比较的偏离根定位法
被引量:
3
1
作者
丁怀宝
高建华
《计算机工程》
CAS
CSCD
北大核心
2010年第6期67-69,共3页
在回归测试中,利用程序谱中的值谱比较不同版本程序的内部行为,将程序的比较转换为函数状态的比较,以估计偏离发生的大概位置,找到偏离根所在的函数。引入偏离调用树记录发生偏离的函数,在此基础上提出2种缩小偏离根定位范围的启发式方...
在回归测试中,利用程序谱中的值谱比较不同版本程序的内部行为,将程序的比较转换为函数状态的比较,以估计偏离发生的大概位置,找到偏离根所在的函数。引入偏离调用树记录发生偏离的函数,在此基础上提出2种缩小偏离根定位范围的启发式方法,使偏离根的定位更精确。
展开更多
关键词
回归测试
程序谱
值谱
偏离根
偏离传播调用树
下载PDF
职称材料
具有约束条件的组合测试用例集的构建方法
被引量:
1
2
作者
丁怀宝
高建华
《计算机工程与设计》
CSCD
北大核心
2010年第14期3189-3192,3206,共5页
针对如何为存在约束条件的软件系统生成尽可能小的组合测试用例集问题,提出了基于组合测试算法的约束组合测试法。该方法是对待测系统中的约束条件进行处理,将约束条件先转化为合取范式再转化为布尔表达式的形式。利用布尔可满足性求解...
针对如何为存在约束条件的软件系统生成尽可能小的组合测试用例集问题,提出了基于组合测试算法的约束组合测试法。该方法是对待测系统中的约束条件进行处理,将约束条件先转化为合取范式再转化为布尔表达式的形式。利用布尔可满足性求解器进行求解,找出满足约束条件的约束组合测试用例。最后运用AETG-SAT算法得到较优的组合测试用例集,并通过实验表明了AETG-SAT算法的优越性。
展开更多
关键词
组合测试
约束条件
合取范式
布尔表达式
可满足性求解器
下载PDF
职称材料
一种基于深度强化学习的SDN路由算法
被引量:
3
3
作者
丁怀宝
《上海师范大学学报(自然科学版)》
2021年第1期128-132,共5页
为解决软件定义网络(SDN)中的流量工程(TE)问题,提出了一种深度强化学习路由(DRL-Routing)算法.该算法使用较全面的网络信息来表示状态,并使用一对多的网络配置来进行路由选择,奖励函数可以调整往返路径的网络吞吐量.仿真结果表明,DRL-R...
为解决软件定义网络(SDN)中的流量工程(TE)问题,提出了一种深度强化学习路由(DRL-Routing)算法.该算法使用较全面的网络信息来表示状态,并使用一对多的网络配置来进行路由选择,奖励函数可以调整往返路径的网络吞吐量.仿真结果表明,DRL-Routing可以获得更高的奖励,并且经过适当的训练后,能使各交换机之间获得更优的路由策略,从而增大了网络吞吐量,降低了网络延迟和数据丢包率.
展开更多
关键词
软件定义网络(SDN)
流量工程(TE)
奖励函数
深度强化学习路由(DRL-Routing)
下载PDF
职称材料
基于“钉钉+学习通”平台的线上教学实践分析——以《Linux操作系统》课程为例
被引量:
3
4
作者
丁怀宝
《计算机产品与流通》
2020年第10期156-156,共1页
疫情期间,各大高校积极响应教育部"停课不停学"号召,纷纷组织师生开展在线教学工作,充分利用在线教学平台和资源,解决学生的居家学习问题。如何有效提升在线教学质量,备受社会各界广泛关注。本文以借助"钉钉+学习通"...
疫情期间,各大高校积极响应教育部"停课不停学"号召,纷纷组织师生开展在线教学工作,充分利用在线教学平台和资源,解决学生的居家学习问题。如何有效提升在线教学质量,备受社会各界广泛关注。本文以借助"钉钉+学习通"相结合的方式开展《Linux操作系统》课程的线上教学工作,通过不断摸索、调整与改进、逐步形成了"四备、四学、两导两思"的线上教学模式。
展开更多
关键词
在线教学平台
居家学习
LINUX操作系统
线上教学模式
下载PDF
职称材料
基于约束条件的组合测试用例集构建方法分析
5
作者
丁怀宝
龚蓬
+1 位作者
高凤
周飞
《电脑知识与技术(过刊)》
2015年第4X期1-2,共2页
该文充分深入地利用了待测系统中的约束条件,并在组合测试用例集中筛选出最优的测试用例。欲采取的方法是先将约束条件转化为布尔表达式,再将布尔表达式转化为合取范式,然后运用AETG--SAT算法,并通过实验表明了AETG--SAT算法的优越性。...
该文充分深入地利用了待测系统中的约束条件,并在组合测试用例集中筛选出最优的测试用例。欲采取的方法是先将约束条件转化为布尔表达式,再将布尔表达式转化为合取范式,然后运用AETG--SAT算法,并通过实验表明了AETG--SAT算法的优越性。在该过程中,此翻译方法和调用工具的方式是较为可行的研究,值得深入学习。
展开更多
关键词
组合测试用例
约束条件
布尔表达式
合取范式
下载PDF
职称材料
配对组合测试用例集生成的一种新策略
6
作者
丁怀宝
《上海师范大学学报(自然科学版)》
2020年第4期472-477,共6页
基于人工蜂群(ABC)算法与粒子群优化(PSO)算法,提出了一种新的配对混合人工蜂群(PHABC)策略,用于求解含约束条件的配对组合测试中测试用例集的生成问题.实验结果表明,即使在带有参数约束的情况下,PHABC输出的最佳组合测试集结果正确性更...
基于人工蜂群(ABC)算法与粒子群优化(PSO)算法,提出了一种新的配对混合人工蜂群(PHABC)策略,用于求解含约束条件的配对组合测试中测试用例集的生成问题.实验结果表明,即使在带有参数约束的情况下,PHABC输出的最佳组合测试集结果正确性更高,相较于其他现有的策略,性能更优.
展开更多
关键词
配对组合测试
人工蜂群(ABC)算法
粒子群优化(PSO)算法
配对混合人工蜂群算法(PHABC)
约束
下载PDF
职称材料
SDN中用于动态路由的ACOSDN算法
7
作者
丁怀宝
《九江学院学报(自然科学版)》
CAS
2021年第1期87-91,共5页
软件定义网络的出现,降低了传统的网络体系结构管理的成本。由于传统的路由优化算法的时间和空间复杂度较高,因此,在SDN中迫切需要引入智能优化路由技术。文章提出了一种基于SDN架构的改进蚁群优化算法,来优化SDN中的动态路由。实验结...
软件定义网络的出现,降低了传统的网络体系结构管理的成本。由于传统的路由优化算法的时间和空间复杂度较高,因此,在SDN中迫切需要引入智能优化路由技术。文章提出了一种基于SDN架构的改进蚁群优化算法,来优化SDN中的动态路由。实验结果表明该算法能够处理动态网络变化、减少网络拥塞,以及实现更高的吞吐量、较低的网络延迟和丢包率。
展开更多
关键词
SDN
ACOSDN算法
动态路由
网络拥塞
下载PDF
职称材料
以真实项目为载体助推应用型人才培养
8
作者
夏芳
丁怀宝
《中文科技期刊数据库(全文版)教育科学》
2021年第10期337-338,341,共3页
分析应用型本科培养的需求,传统培养模式中存在的问题,提出以真实项目为载体助推高级应用型人才培养的改革方式。参与真实项目在培养大学生的自学能力、文献搜集和整理能力、理论联系实际的能力、科研能力、创新能力、团队意识和团队合...
分析应用型本科培养的需求,传统培养模式中存在的问题,提出以真实项目为载体助推高级应用型人才培养的改革方式。参与真实项目在培养大学生的自学能力、文献搜集和整理能力、理论联系实际的能力、科研能力、创新能力、团队意识和团队合作精神等方面的起着重要作用。教学实践表明,通过参加真实项目能够较好地提升大学生的各方面能力。
展开更多
关键词
应用型本科
项目趋动
创新能力
下载PDF
职称材料
基于微信平台电子请柬制作系统的设计与实现
9
作者
张素云
丁怀宝
+1 位作者
方聪
戚田利
《信息系统工程》
2020年第10期92-93,共2页
近些年来,互联网不断发展,数字化的进程逐渐深入到我们的日常生活之中。人们对于手机的依赖也日益增加,这些都促使了各种软件以及APP的发展。在这种背景之下,为电子请柬的推广提供了有利环境。我们在制作电子请柬的过程中使用的开发工...
近些年来,互联网不断发展,数字化的进程逐渐深入到我们的日常生活之中。人们对于手机的依赖也日益增加,这些都促使了各种软件以及APP的发展。在这种背景之下,为电子请柬的推广提供了有利环境。我们在制作电子请柬的过程中使用的开发工具是微信开发者工具,制作出来的电子请柬可以突破时间、空间的限制,更加迅速便捷地将请柬送到亲朋手中。论文提出的基于微信平台的电子请柬制作系统具有帮助、宾客分类和管理三个功能模块,不仅如此,该系统使用了Bomb云后端与微信公众平台相结合的开发方式对系统进行了实现,目前已经投入使用并进行了推广。
展开更多
关键词
微信平台
电子请柬
系统设计
下载PDF
职称材料
题名
回归测试中基于值谱比较的偏离根定位法
被引量:
3
1
作者
丁怀宝
高建华
机构
上海师范大学计算机科学与工程系
出处
《计算机工程》
CAS
CSCD
北大核心
2010年第6期67-69,共3页
基金
国家自然科学基金资助项目(60673067)
文摘
在回归测试中,利用程序谱中的值谱比较不同版本程序的内部行为,将程序的比较转换为函数状态的比较,以估计偏离发生的大概位置,找到偏离根所在的函数。引入偏离调用树记录发生偏离的函数,在此基础上提出2种缩小偏离根定位范围的启发式方法,使偏离根的定位更精确。
关键词
回归测试
程序谱
值谱
偏离根
偏离传播调用树
Keywords
regression test
program spectra
value spectra: deviation root
deviation-propagation call tree
分类号
TP311.5 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
具有约束条件的组合测试用例集的构建方法
被引量:
1
2
作者
丁怀宝
高建华
机构
上海师范大学计算机科学与工程系
出处
《计算机工程与设计》
CSCD
北大核心
2010年第14期3189-3192,3206,共5页
基金
国家自然科学基金项目(60673067)
上海市教育委员会科研创新基金项目(0922135)
上海市科委基金项目(09220503000)
文摘
针对如何为存在约束条件的软件系统生成尽可能小的组合测试用例集问题,提出了基于组合测试算法的约束组合测试法。该方法是对待测系统中的约束条件进行处理,将约束条件先转化为合取范式再转化为布尔表达式的形式。利用布尔可满足性求解器进行求解,找出满足约束条件的约束组合测试用例。最后运用AETG-SAT算法得到较优的组合测试用例集,并通过实验表明了AETG-SAT算法的优越性。
关键词
组合测试
约束条件
合取范式
布尔表达式
可满足性求解器
Keywords
combination testing
constraints
conjunctive normal form
Boolean expression
SAT solver
分类号
TP311.5 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
一种基于深度强化学习的SDN路由算法
被引量:
3
3
作者
丁怀宝
机构
安徽文达信息工程学院计算机工程学院
出处
《上海师范大学学报(自然科学版)》
2021年第1期128-132,共5页
基金
安徽文达信息工程学院校级科研项目(XZR2020A08,XZR2020A09)
安徽省自然科学基金(KJ2020A0814)。
文摘
为解决软件定义网络(SDN)中的流量工程(TE)问题,提出了一种深度强化学习路由(DRL-Routing)算法.该算法使用较全面的网络信息来表示状态,并使用一对多的网络配置来进行路由选择,奖励函数可以调整往返路径的网络吞吐量.仿真结果表明,DRL-Routing可以获得更高的奖励,并且经过适当的训练后,能使各交换机之间获得更优的路由策略,从而增大了网络吞吐量,降低了网络延迟和数据丢包率.
关键词
软件定义网络(SDN)
流量工程(TE)
奖励函数
深度强化学习路由(DRL-Routing)
Keywords
software defined network(SDN)
traffic engineering(TE)
reward function
deep reinforcement learning routing(DRL-routing)
分类号
TP312 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
基于“钉钉+学习通”平台的线上教学实践分析——以《Linux操作系统》课程为例
被引量:
3
4
作者
丁怀宝
机构
安徽文达信息工程学院计算机工程学院
出处
《计算机产品与流通》
2020年第10期156-156,共1页
基金
安徽文达信息工程学院校级科研项目(项目编号:2019xjy06)
安徽省自然科学基金项目(项目编号:KJ2012Z131)
国家级大学生创新训练项目(项目编号:201912810016)
文摘
疫情期间,各大高校积极响应教育部"停课不停学"号召,纷纷组织师生开展在线教学工作,充分利用在线教学平台和资源,解决学生的居家学习问题。如何有效提升在线教学质量,备受社会各界广泛关注。本文以借助"钉钉+学习通"相结合的方式开展《Linux操作系统》课程的线上教学工作,通过不断摸索、调整与改进、逐步形成了"四备、四学、两导两思"的线上教学模式。
关键词
在线教学平台
居家学习
LINUX操作系统
线上教学模式
分类号
G434 [文化科学—教育技术学]
TP316.81-4 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
基于约束条件的组合测试用例集构建方法分析
5
作者
丁怀宝
龚蓬
高凤
周飞
机构
安徽文达信息工程学院
出处
《电脑知识与技术(过刊)》
2015年第4X期1-2,共2页
文摘
该文充分深入地利用了待测系统中的约束条件,并在组合测试用例集中筛选出最优的测试用例。欲采取的方法是先将约束条件转化为布尔表达式,再将布尔表达式转化为合取范式,然后运用AETG--SAT算法,并通过实验表明了AETG--SAT算法的优越性。在该过程中,此翻译方法和调用工具的方式是较为可行的研究,值得深入学习。
关键词
组合测试用例
约束条件
布尔表达式
合取范式
分类号
TP311.53 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
配对组合测试用例集生成的一种新策略
6
作者
丁怀宝
机构
安徽文达信息工程学院计算机工程学院
出处
《上海师范大学学报(自然科学版)》
2020年第4期472-477,共6页
基金
安徽省自然科学基金(KJ2012Z131)
安徽文达信息工程学院校级项目(2019xjy06)
国家级大学生创新训练项目(201912810016)。
文摘
基于人工蜂群(ABC)算法与粒子群优化(PSO)算法,提出了一种新的配对混合人工蜂群(PHABC)策略,用于求解含约束条件的配对组合测试中测试用例集的生成问题.实验结果表明,即使在带有参数约束的情况下,PHABC输出的最佳组合测试集结果正确性更高,相较于其他现有的策略,性能更优.
关键词
配对组合测试
人工蜂群(ABC)算法
粒子群优化(PSO)算法
配对混合人工蜂群算法(PHABC)
约束
Keywords
pairwise testing
artificial bee colony(ABC)algorithm
particle swarm optimization(PSO)algorithm
pairwise hybrid artificial bee colony(PHABC)strategy
constraint
分类号
TP312 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
SDN中用于动态路由的ACOSDN算法
7
作者
丁怀宝
机构
安徽文达信息工程学院计算机工程学院
出处
《九江学院学报(自然科学版)》
CAS
2021年第1期87-91,共5页
基金
安徽文达信息工程学院校级科研项目(编号XZR2020A08)的成果之一。
文摘
软件定义网络的出现,降低了传统的网络体系结构管理的成本。由于传统的路由优化算法的时间和空间复杂度较高,因此,在SDN中迫切需要引入智能优化路由技术。文章提出了一种基于SDN架构的改进蚁群优化算法,来优化SDN中的动态路由。实验结果表明该算法能够处理动态网络变化、减少网络拥塞,以及实现更高的吞吐量、较低的网络延迟和丢包率。
关键词
SDN
ACOSDN算法
动态路由
网络拥塞
分类号
TP311.5 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
以真实项目为载体助推应用型人才培养
8
作者
夏芳
丁怀宝
机构
安徽文达信息工程学院
出处
《中文科技期刊数据库(全文版)教育科学》
2021年第10期337-338,341,共3页
基金
安徽省省级一般质量工程项目“应用型本科培养模式下程序设计课程教学改革探索以《Java程序设计》课程为例”(编号:2020jyxm0760)。
文摘
分析应用型本科培养的需求,传统培养模式中存在的问题,提出以真实项目为载体助推高级应用型人才培养的改革方式。参与真实项目在培养大学生的自学能力、文献搜集和整理能力、理论联系实际的能力、科研能力、创新能力、团队意识和团队合作精神等方面的起着重要作用。教学实践表明,通过参加真实项目能够较好地提升大学生的各方面能力。
关键词
应用型本科
项目趋动
创新能力
分类号
G643 [文化科学—高等教育学]
下载PDF
职称材料
题名
基于微信平台电子请柬制作系统的设计与实现
9
作者
张素云
丁怀宝
方聪
戚田利
机构
安徽文达信息工程学院
出处
《信息系统工程》
2020年第10期92-93,共2页
文摘
近些年来,互联网不断发展,数字化的进程逐渐深入到我们的日常生活之中。人们对于手机的依赖也日益增加,这些都促使了各种软件以及APP的发展。在这种背景之下,为电子请柬的推广提供了有利环境。我们在制作电子请柬的过程中使用的开发工具是微信开发者工具,制作出来的电子请柬可以突破时间、空间的限制,更加迅速便捷地将请柬送到亲朋手中。论文提出的基于微信平台的电子请柬制作系统具有帮助、宾客分类和管理三个功能模块,不仅如此,该系统使用了Bomb云后端与微信公众平台相结合的开发方式对系统进行了实现,目前已经投入使用并进行了推广。
关键词
微信平台
电子请柬
系统设计
分类号
TP311.56 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
回归测试中基于值谱比较的偏离根定位法
丁怀宝
高建华
《计算机工程》
CAS
CSCD
北大核心
2010
3
下载PDF
职称材料
2
具有约束条件的组合测试用例集的构建方法
丁怀宝
高建华
《计算机工程与设计》
CSCD
北大核心
2010
1
下载PDF
职称材料
3
一种基于深度强化学习的SDN路由算法
丁怀宝
《上海师范大学学报(自然科学版)》
2021
3
下载PDF
职称材料
4
基于“钉钉+学习通”平台的线上教学实践分析——以《Linux操作系统》课程为例
丁怀宝
《计算机产品与流通》
2020
3
下载PDF
职称材料
5
基于约束条件的组合测试用例集构建方法分析
丁怀宝
龚蓬
高凤
周飞
《电脑知识与技术(过刊)》
2015
0
下载PDF
职称材料
6
配对组合测试用例集生成的一种新策略
丁怀宝
《上海师范大学学报(自然科学版)》
2020
0
下载PDF
职称材料
7
SDN中用于动态路由的ACOSDN算法
丁怀宝
《九江学院学报(自然科学版)》
CAS
2021
0
下载PDF
职称材料
8
以真实项目为载体助推应用型人才培养
夏芳
丁怀宝
《中文科技期刊数据库(全文版)教育科学》
2021
0
下载PDF
职称材料
9
基于微信平台电子请柬制作系统的设计与实现
张素云
丁怀宝
方聪
戚田利
《信息系统工程》
2020
0
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部