期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
一种基于遗传算法的多缺陷定位方法
被引量：
31
1
作者
王赞
樊向宇
+1 位作者
邹雨果
陈翔
《软件学报》
EI
CSCD
北大核心
2016年第4期879-900,共22页
基于程序频谱的缺陷定位方法可以有效地辅助开发人员定位软件内部缺陷,但大部分已有自动化方法在解决多缺陷定位问题时表现不佳,部分效果尚可的方法因复杂度较高或需要开发人员较多交互而仍需进一步改善.为改善上述问题,提出一种基于遗...
基于程序频谱的缺陷定位方法可以有效地辅助开发人员定位软件内部缺陷,但大部分已有自动化方法在解决多缺陷定位问题时表现不佳,部分效果尚可的方法因复杂度较高或需要开发人员较多交互而仍需进一步改善.为改善上述问题,提出一种基于遗传算法的多缺陷定位方法 GAMFal,具体来说:首先基于搜索的软件工程思想对多缺陷定位问题进行建模,构建了候选缺陷分布的染色体编码方式,并基于扩展的Ochiai系数计算个体的适应度值;随后使用遗传算法在解空间中搜索具有最高适应度值的候选缺陷分布,在终止条件被满足后返回最优解种群;最后根据这个种群对程序实体进行排序.这样开发人员可以依次对程序实体进行检查并最终确定多个缺陷的具体位置.实证研究以Siemens套件中的7个程序和Linux的3个程序(gzip、grep和sed)作为评测对象,并扩展传统的定位方法评测标准EXAM至EXAMF和EXAML,通过与其他经典的缺陷定位方法(Tarantula、Improved Tarantula及Ochiai)进行对比,并通过Friedman检测和最小显著性差异测试可得,提出的GAMFal方法在整体定位效率方面优于传统方法,且需要更少的人工交互.除此之外,GAMFal的执行时间也在可接受的范围之内.
展开更多
关键词
缺陷定位
多缺陷
基于搜索的软件工程
遗传算法
EXAM评价标准
在线阅读
下载PDF
职称材料
考虑柔性机器检修的钢管热轧批量调度方法
被引量：
2
2
作者
汪洋
吴子轩
+1 位作者
李铁克
王柏琳
《控制理论与应用》
EI
CAS
CSCD
北大核心
2019年第9期1536-1544,共9页
本文从无缝钢管生产管理中提取并定义了周期性机器柔性检修环境下的钢管热轧批量调度问题,针对无缝钢管热轧阶段的生产特点,将其抽象为一类考虑机器调整时间序列相关和柔性机器检修的单机调度问题,建立了以最小化机器调整时间和机器闲...
本文从无缝钢管生产管理中提取并定义了周期性机器柔性检修环境下的钢管热轧批量调度问题,针对无缝钢管热轧阶段的生产特点,将其抽象为一类考虑机器调整时间序列相关和柔性机器检修的单机调度问题,建立了以最小化机器调整时间和机器闲置时间为优化目标的数学模型.分析闲置时间和检修时点的关系,证明了闲置时间最小化性质,结合问题特征设计了两阶段启发式算法.算法第1阶段采用最小轧机调整时间规则获取具有最小机器调整时间的初始批量轧制序列,第2阶段对初始轧制序列进行全局寻优搜索.基于实际生产数据设计了多种问题规模的对比实验,实验结果验证了模型和算法的有效性.
展开更多
关键词
机器柔性检修
热轧批量调度
序列相关
启发式算法
无缝钢管
在线阅读
下载PDF
职称材料
题名
一种基于遗传算法的多缺陷定位方法
被引量：
31
1
作者
王赞
樊向宇
邹雨果
陈翔
机构
天津大学软件学院软件工程系
厦门航空有限公司信息部
南通大学计算机科学与技术学院
出处
《软件学报》
EI
CSCD
北大核心
2016年第4期879-900,共22页
基金
国家自然科学基金(61202030,61373012,61202006)~~
文摘
基于程序频谱的缺陷定位方法可以有效地辅助开发人员定位软件内部缺陷,但大部分已有自动化方法在解决多缺陷定位问题时表现不佳,部分效果尚可的方法因复杂度较高或需要开发人员较多交互而仍需进一步改善.为改善上述问题,提出一种基于遗传算法的多缺陷定位方法 GAMFal,具体来说:首先基于搜索的软件工程思想对多缺陷定位问题进行建模,构建了候选缺陷分布的染色体编码方式,并基于扩展的Ochiai系数计算个体的适应度值;随后使用遗传算法在解空间中搜索具有最高适应度值的候选缺陷分布,在终止条件被满足后返回最优解种群;最后根据这个种群对程序实体进行排序.这样开发人员可以依次对程序实体进行检查并最终确定多个缺陷的具体位置.实证研究以Siemens套件中的7个程序和Linux的3个程序(gzip、grep和sed)作为评测对象,并扩展传统的定位方法评测标准EXAM至EXAMF和EXAML,通过与其他经典的缺陷定位方法(Tarantula、Improved Tarantula及Ochiai)进行对比,并通过Friedman检测和最小显著性差异测试可得,提出的GAMFal方法在整体定位效率方面优于传统方法,且需要更少的人工交互.除此之外,GAMFal的执行时间也在可接受的范围之内.
关键词
缺陷定位
多缺陷
基于搜索的软件工程
遗传算法
EXAM评价标准
Keywords
fault localization
multiple faults
search-based software engineering
genetic algorithm
EXAM
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
考虑柔性机器检修的钢管热轧批量调度方法
被引量：
2
2
作者
汪洋
吴子轩
李铁克
王柏琳
机构
北京科技大学东凌经济管理学院
钢铁生产制造执行系统技术教育部工程研究中心
厦门航空有限公司信息部
出处
《控制理论与应用》
EI
CAS
CSCD
北大核心
2019年第9期1536-1544,共9页
基金
国家自然科学基金项目(71701016,71231001)
北京市自然科学基金项目(9174038)
+1 种基金
教育部人文社会科学研究青年基金项目(17YJC630143)
中央高校基本科研业务费资助项目(FRF-BD-18-009A)资助~~
文摘
本文从无缝钢管生产管理中提取并定义了周期性机器柔性检修环境下的钢管热轧批量调度问题,针对无缝钢管热轧阶段的生产特点,将其抽象为一类考虑机器调整时间序列相关和柔性机器检修的单机调度问题,建立了以最小化机器调整时间和机器闲置时间为优化目标的数学模型.分析闲置时间和检修时点的关系,证明了闲置时间最小化性质,结合问题特征设计了两阶段启发式算法.算法第1阶段采用最小轧机调整时间规则获取具有最小机器调整时间的初始批量轧制序列,第2阶段对初始轧制序列进行全局寻优搜索.基于实际生产数据设计了多种问题规模的对比实验,实验结果验证了模型和算法的有效性.
关键词
机器柔性检修
热轧批量调度
序列相关
启发式算法
无缝钢管
Keywords
flexible machine maintenance
hot-rolled batch scheduling
sequence-dependent
heuristic algorithm
seamless steel tubes
分类号
TG3 [金属学及工艺—金属压力加工]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
一种基于遗传算法的多缺陷定位方法
王赞
樊向宇
邹雨果
陈翔
《软件学报》
EI
CSCD
北大核心
2016
31
在线阅读
下载PDF
职称材料
2
考虑柔性机器检修的钢管热轧批量调度方法
汪洋
吴子轩
李铁克
王柏琳
《控制理论与应用》
EI
CAS
CSCD
北大核心
2019
2
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
