您的位置: 专家智库 > >

丁怀宝

作品数:10 被引量:10H指数:3
供职机构:安徽文达信息工程学院更多>>
发文基金:安徽省自然科学基金国家自然科学基金国家级大学生创新创业训练计划更多>>
相关领域:自动化与计算机技术文化科学医药卫生更多>>

文献类型

  • 8篇期刊文章
  • 1篇专利

领域

  • 7篇自动化与计算...
  • 1篇医药卫生
  • 1篇文化科学

主题

  • 2篇路由
  • 2篇合取范式
  • 2篇SDN
  • 2篇测试用例
  • 2篇测试用例集
  • 1篇定位法
  • 1篇动态路由
  • 1篇应用型本科
  • 1篇应用型人才
  • 1篇应用型人才培...
  • 1篇拥塞
  • 1篇阅片
  • 1篇诊疗
  • 1篇数据记录
  • 1篇群算法
  • 1篇人工蜂群
  • 1篇人工蜂群算法
  • 1篇肿瘤
  • 1篇肿瘤诊疗
  • 1篇助推

机构

  • 7篇安徽文达信息...
  • 2篇上海师范大学

作者

  • 9篇丁怀宝
  • 2篇高建华
  • 2篇周飞
  • 2篇夏芳
  • 1篇龚蓬
  • 1篇丁晓梅
  • 1篇陈艳
  • 1篇高凤

传媒

  • 2篇上海师范大学...
  • 1篇信息系统工程
  • 1篇计算机工程
  • 1篇电脑知识与技...
  • 1篇计算机工程与...
  • 1篇九江学院学报...
  • 1篇中文科技期刊...

年份

  • 1篇2023
  • 3篇2021
  • 2篇2020
  • 1篇2015
  • 2篇2010
10 条 记 录,以下是 1-9
排序方式:
基于约束条件的组合测试用例集构建方法分析
2015年
该文充分深入地利用了待测系统中的约束条件,并在组合测试用例集中筛选出最优的测试用例。欲采取的方法是先将约束条件转化为布尔表达式,再将布尔表达式转化为合取范式,然后运用AETG--SAT算法,并通过实验表明了AETG--SAT算法的优越性。在该过程中,此翻译方法和调用工具的方式是较为可行的研究,值得深入学习。
丁怀宝龚蓬高凤周飞
关键词:合取范式
配对组合测试用例集生成的一种新策略
2020年
基于人工蜂群(ABC)算法与粒子群优化(PSO)算法,提出了一种新的配对混合人工蜂群(PHABC)策略,用于求解含约束条件的配对组合测试中测试用例集的生成问题.实验结果表明,即使在带有参数约束的情况下,PHABC输出的最佳组合测试集结果正确性更高,相较于其他现有的策略,性能更优.
丁怀宝
关键词:粒子群优化(PSO)算法
以真实项目为载体助推应用型人才培养
2021年
分析应用型本科培养的需求,传统培养模式中存在的问题,提出以真实项目为载体助推高级应用型人才培养的改革方式。参与真实项目在培养大学生的自学能力、文献搜集和整理能力、理论联系实际的能力、科研能力、创新能力、团队意识和团队合作精神等方面的起着重要作用。教学实践表明,通过参加真实项目能够较好地提升大学生的各方面能力。
夏芳丁怀宝
关键词:应用型本科
SDN中用于动态路由的ACOSDN算法
2021年
软件定义网络的出现,降低了传统的网络体系结构管理的成本。由于传统的路由优化算法的时间和空间复杂度较高,因此,在SDN中迫切需要引入智能优化路由技术。文章提出了一种基于SDN架构的改进蚁群优化算法,来优化SDN中的动态路由。实验结果表明该算法能够处理动态网络变化、减少网络拥塞,以及实现更高的吞吐量、较低的网络延迟和丢包率。
丁怀宝
关键词:SDN动态路由网络拥塞
基于微信平台电子请柬制作系统的设计与实现
2020年
近些年来,互联网不断发展,数字化的进程逐渐深入到我们的日常生活之中。人们对于手机的依赖也日益增加,这些都促使了各种软件以及APP的发展。在这种背景之下,为电子请柬的推广提供了有利环境。我们在制作电子请柬的过程中使用的开发工具是微信开发者工具,制作出来的电子请柬可以突破时间、空间的限制,更加迅速便捷地将请柬送到亲朋手中。论文提出的基于微信平台的电子请柬制作系统具有帮助、宾客分类和管理三个功能模块,不仅如此,该系统使用了Bomb云后端与微信公众平台相结合的开发方式对系统进行了实现,目前已经投入使用并进行了推广。
张素云丁怀宝方聪戚田利
关键词:系统设计
一种肿瘤诊疗用计算机数据记录装置
本发明公开了一种肿瘤诊疗用计算机数据记录装置,涉及医疗器械领域,包括调节箱和工作台,所述调节箱的底部固定连接有固定架,且固定架的底部安装有万向轮。该一种肿瘤诊疗用计算机数据记录装置,通过活动轴控制左延伸台和右延伸台的展开...
丁晓梅仲飞周飞陈艳丁怀宝郎加云夏芳
具有约束条件的组合测试用例集的构建方法被引量:1
2010年
针对如何为存在约束条件的软件系统生成尽可能小的组合测试用例集问题,提出了基于组合测试算法的约束组合测试法。该方法是对待测系统中的约束条件进行处理,将约束条件先转化为合取范式再转化为布尔表达式的形式。利用布尔可满足性求解器进行求解,找出满足约束条件的约束组合测试用例。最后运用AETG-SAT算法得到较优的组合测试用例集,并通过实验表明了AETG-SAT算法的优越性。
丁怀宝高建华
关键词:合取范式
回归测试中基于值谱比较的偏离根定位法被引量:3
2010年
在回归测试中,利用程序谱中的值谱比较不同版本程序的内部行为,将程序的比较转换为函数状态的比较,以估计偏离发生的大概位置,找到偏离根所在的函数。引入偏离调用树记录发生偏离的函数,在此基础上提出2种缩小偏离根定位范围的启发式方法,使偏离根的定位更精确。
丁怀宝高建华
一种基于深度强化学习的SDN路由算法被引量:3
2021年
为解决软件定义网络(SDN)中的流量工程(TE)问题,提出了一种深度强化学习路由(DRL-Routing)算法.该算法使用较全面的网络信息来表示状态,并使用一对多的网络配置来进行路由选择,奖励函数可以调整往返路径的网络吞吐量.仿真结果表明,DRL-Routing可以获得更高的奖励,并且经过适当的训练后,能使各交换机之间获得更优的路由策略,从而增大了网络吞吐量,降低了网络延迟和数据丢包率.
丁怀宝
共1页<1>
聚类工具0