检索结果-维普期刊中文期刊服务平台

一类动态车辆路径问题模型和两阶段算法被引量：14: 1; 作者饶卫振金淳 +1 位作者刘锋杨磊《交通运输系统工程与信息》 EI CSCD 北大核心 2015年第1期159-166,共8页; 针对一类动态车辆路径问题,分析4种主要类型动态信息对传统车辆路径问题的本质影响,将动态车辆路径问题(Dynamic Vehicle Routing Problem,DVRP)转化为多个静态的多车型开放式车辆路径问题(The Fleet Size and Mixed Open Vehicle Routi... 展开更多; 关键词物流工程两阶段算法动态车辆路径问题 K-d树分割策略算法搜索解空间; 在线阅读下载PDF 职称材料

基于树模型和输入参数关系的组合测试集精简方法被引量：3: 2; 作者王立新杨峻 +1 位作者万仁霞王铭军《计算机应用研究》 CSCD 北大核心 2010年第3期928-932,937,共6页; 提出了一种精简组合测试用例集的方法,该方法基于解空间树模型,利用输入参数之间的依赖关系来剪裁解空间树中的枝叶,从而获得精简的组合测试用例集。该方法采用回溯算法来实现,在遍历树的同时,剪裁解空间树并输出组合测试用例。在算法... 展开更多; 关键词组合测试解空间树依赖关系; 在线阅读下载PDF 职称材料

基于模型诊断中结合问题特征的新方法被引量：6: 3; 作者欧阳丹彤周建华 +1 位作者刘伯文张立明《计算机研究与发展》 EI CSCD 北大核心 2017年第3期502-513,共12页; 基于模型诊断一直是人工智能领域中热门的研究问题.近些年来,随着SAT求解器效率的逐渐提高,基于模型的诊断也被转换成SAT问题进行求解.在对基于模型诊断求解方法 CSSE-tree深入研究基础上,结合诊断问题和SAT求解过程的特征,给出先对包... 展开更多; 关键词基于模型的诊断无解空间剪枝合取范式 SAT求解器枚举树; 在线阅读下载PDF 职称材料

带参数约束的两两组合测试用例集生成方法被引量：1: 4; 作者李龙澍张薇《计算机工程》 CAS CSCD 2012年第11期53-55,共3页; 大多数待测软件系统的参数间存在约束关系,如果不考虑这些约束,会使测试用例集中的某些组合无效。为此,提出一种带参数约束的两两组合测试用例集生成方法。在采用回溯算法对解空间树进行遍历的同时,利用参数间的约束关系对树的枝叶进行... 展开更多; 关键词组合测试解空间树参数约束测试集测试用例; 在线阅读下载PDF 职称材料

用智能规划解空间树法生成测试数据被引量：1: 5; 作者李杨宋克非《光学精密工程》 EI CAS CSCD 北大核心 2011年第7期1695-1700,共6页; 讨论了软件测试中常用的两因素组合覆盖测试方法。针对该方法求解困难,并考虑系统中各种因素以及因素间的制约关系对解空间树法生成测试数据产生的影响,提出了采用基于智能规划的解空间树法来生成测试数据。该方法将所有的可用测试数据... 展开更多; 关键词空间相机软件测试智能规划两因素组合覆盖解空间树待测软件系统(SUT); 在线阅读下载PDF 职称材料

结合故障逻辑关系的极小冲突集求解方法被引量：1: 6; 作者欧阳丹彤高菡 +1 位作者徐旖旎张立明《计算机研究与发展》 EI CSCD 北大核心 2020年第7期1472-1480,共9页; 基于模型诊断是人工智能研究与发展中的重要方向之一,而求解极小冲突集(minimal conflict set, MCS)是模型诊断的关键步骤.MCS-SFFO(minimal conflict set-structural feature of fault output)方法以反向深度的方式遍历集合枚举树(set ... 展开更多; 关键词基于模型诊断非极小冲突集合枚举树故障输出相关元件集有解剪枝; 在线阅读下载PDF 职称材料

分支限界算法的研究与实现被引量：3: 7; 作者王春梅《现代电子技术》 2011年第9期121-123,共3页; 分支限界算法是一种在问题的解空间树上搜索问题的解的方法,主要采用广度优先或最小耗费优先的方法搜索解空间树,其核心思想就是"剪枝"。首先提出了分支限界算法的一般策略与实施步骤,然后以电路板布线问题为实例,设计并实现... 展开更多; 关键词分支限界解空间树活结点扩展结点; 在线阅读下载PDF 职称材料

分支限界法求解实际TSP问题被引量：5: 8; 作者陈涛张思发《计算机工程与设计》 CSCD 北大核心 2009年第10期2431-2434,共4页; 提出一种基于分支限界思想来求解实际TSP问题的算法,并着重介绍上下界的计算。下界值是根据当前路径来计算的,简单易行且占用空间少。上界只计算一个全局的上界值,计算过程中用到实际TSP问题的一个特点——三角不等式性质,求得的值不超... 展开更多; 关键词旅行商问题三角不等式上界下界解空间树; 在线阅读下载PDF 职称材料

基于最优流法与Mayeda生成树算法相结合的单阶段配网重构新方法被引量：9: 9; 作者张重实王高猛 +1 位作者张檀雍林济铿《中国电力》 CSCD 北大核心 2018年第9期110-117,共8页; 针对随机类优化算法用于配网重构计算时间长,而启发式算法用于配网重构存在的低精度解等的缺点,提出一种基于最优流法与Mayeda生成树算法相结合的单阶段配网重构新方法。该方法利用最优流法从支路交换的候选集中快速确定用于Mayeda生成... 展开更多; 关键词配电网重构最优流法 Mayeda生成树快速性解空间完备性; 在线阅读下载PDF 职称材料

题名一类动态车辆路径问题模型和两阶段算法被引量：14: 1; 作者饶卫振金淳刘锋杨磊; 机构山东科技大学经济管理学院大连理工大学系统工程研究所东北财经大学管理科学与工学院; 出处《交通运输系统工程与信息》 EI CSCD 北大核心 2015年第1期159-166,共8页; 基金国家自然科学基金(71271041) 山东省优秀中青年科学家科研奖励基金(BS2014SF001) +1 种基金山东省软科学研究计划项目(2014RKB01506); 文摘针对一类动态车辆路径问题,分析4种主要类型动态信息对传统车辆路径问题的本质影响,将动态车辆路径问题(Dynamic Vehicle Routing Problem,DVRP)转化为多个静态的多车型开放式车辆路径问题(The Fleet Size and Mixed Open Vehicle Routing Problem,FSMOVRP),并进一步转化为多个带能力约束车辆路径问题(Capacitated Vehicle Routing Problem,CVRP),基于CVRP模型建立了DVRP模型;然后,在分析DVRP问题特点基础上,提出两阶段算法,第一阶段基于利用K-d trees对配送区域进行分割的策略,提出了复杂度仅为O(nlogn)的快速构建型算法,第二阶段通过分析算法搜索解空间结构原理,设计混合局部搜索算法;最后,基于现有12个大规模CVRP标准算例,设计并求解36个DVRP算例.求解结果表明了模型和两阶段算法的有效性.; 关键词物流工程两阶段算法动态车辆路径问题 K-d树分割策略算法搜索解空间; Keywords logistics engineering two-stage algorithm DVRP K-d trees algorithm searching solution space; 分类号 U491 [交通运输工程—交通运输规划与管理]; 在线阅读下载PDF 职称材料

题名基于树模型和输入参数关系的组合测试集精简方法被引量：3: 2; 作者王立新杨峻万仁霞王铭军; 机构东华大学信息科学与技术学院安徽建筑工业学院电子与信息工程学院安阳师范学院数学系; 出处《计算机应用研究》 CSCD 北大核心 2010年第3期928-932,937,共6页; 基金东华大学博士创新基金资助项目(BC200817); 文摘提出了一种精简组合测试用例集的方法,该方法基于解空间树模型,利用输入参数之间的依赖关系来剪裁解空间树中的枝叶,从而获得精简的组合测试用例集。该方法采用回溯算法来实现,在遍历树的同时,剪裁解空间树并输出组合测试用例。在算法的实现过程中,采用了一些策略以便提高算法的效率并节省空间。实验结果证明该方法是可行和有效的,对于一些输入参数依赖关系明确的被测系统,该方法能够较大幅度地精简全组合测试用例集。; 关键词组合测试解空间树依赖关系; Keywords combinatorial test solution space tree dependent relationships; 分类号 TP311.5 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名基于模型诊断中结合问题特征的新方法被引量：6: 3; 作者欧阳丹彤周建华刘伯文张立明; 机构吉林大学软件学院吉林大学计算机科学与技术学院符号计算与知识工程教育部重点实验室(吉林大学); 出处《计算机研究与发展》 EI CSCD 北大核心 2017年第3期502-513,共12页; 基金国家自然科学基金项目(61672261 61502199 +2 种基金 61402196 61272208) 浙江省自然科学基金项目(LY16F020004)~~; 文摘基于模型诊断一直是人工智能领域中热门的研究问题.近些年来,随着SAT求解器效率的逐渐提高,基于模型的诊断也被转换成SAT问题进行求解.在对基于模型诊断求解方法 CSSE-tree深入研究基础上,结合诊断问题和SAT求解过程的特征,给出先对包含组件个数较多的候选诊断进行求解的方法,进而减小SAT求解问题的规模;在对极小诊断解和非极小诊断解剪枝方法的基础上,首次提出非诊断解定理及非诊断解空间的剪枝方法,有效地实现了对诊断的无解空间进行剪枝.根据组件个数较多的候选诊断先求解及有解无解剪枝方法特征,构建基于反向搜索的LLBRS-tree方法.实验结果表明:与CSSE-tree算法相比,LLBRS-tree算法减少了SAT求解次数、减小了求解问题规模,效率较好,尤其是求解多诊断时效率提高更为显著.; 关键词基于模型的诊断无解空间剪枝合取范式 SAT求解器枚举树; Keywords model-based diagnosis non-solution space pruning conjunctive normal form SAT solver set-enumeration-tree; 分类号 TP18 [自动化与计算机技术—控制理论与控制工程]; 在线阅读下载PDF 职称材料

题名带参数约束的两两组合测试用例集生成方法被引量：1: 4; 作者李龙澍张薇; 机构安徽大学计算机科学与技术学院; 出处《计算机工程》 CAS CSCD 2012年第11期53-55,共3页; 基金安徽省自然科学基金资助项目(090412054) 安徽省重大科技专项基金资助项目(08010201002); 文摘大多数待测软件系统的参数间存在约束关系,如果不考虑这些约束,会使测试用例集中的某些组合无效。为此,提出一种带参数约束的两两组合测试用例集生成方法。在采用回溯算法对解空间树进行遍历的同时,利用参数间的约束关系对树的枝叶进行裁剪,避免产生无效的测试用例。使用贪心算法补充生成测试用例,以满足两两组合覆盖标准。实验结果表明,该方法能减少测试用例生成数量,提高测试效率。; 关键词组合测试解空间树参数约束测试集测试用例; Keywords combinatorial test solution space tree（sst） parameter constraint test set test case; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名用智能规划解空间树法生成测试数据被引量：1: 5; 作者李杨宋克非; 机构中国科学院长春光学精密机械与物理研究所; 出处《光学精密工程》 EI CAS CSCD 北大核心 2011年第7期1695-1700,共6页; 基金国家自然科学基金资助项目(No.61077016); 文摘讨论了软件测试中常用的两因素组合覆盖测试方法。针对该方法求解困难,并考虑系统中各种因素以及因素间的制约关系对解空间树法生成测试数据产生的影响,提出了采用基于智能规划的解空间树法来生成测试数据。该方法将所有的可用测试数据生成为一棵解空间树,通过搜索找到一条从根节点到叶节点的路径即一条测试数据。实验结果表明,该方法可以更好地生成覆盖面大且规模较小的测试用例集,实现对测试参数的两因素组合覆盖,从而解决了传统解空间树法由于不考虑参数间的制约关系而无法求得最简测试数据集或得到的数据集不完全的问题。将该数据生成方法应用于空间相机软件测试中提高了生成有效测试用例的效率和准确度,对测试起到了很好的指导作用。; 关键词空间相机软件测试智能规划两因素组合覆盖解空间树待测软件系统(SUT); Keywords space camera software testing intelligent planning pairwise combinatorial coverage solution space tree Software under Testing（SUT）; 分类号 TP311.52 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名结合故障逻辑关系的极小冲突集求解方法被引量：1: 6; 作者欧阳丹彤高菡徐旖旎张立明; 机构吉林大学软件学院吉林大学计算机科学与技术学院符号计算与知识工程教育部重点实验室(吉林大学); 出处《计算机研究与发展》 EI CSCD 北大核心 2020年第7期1472-1480,共9页; 基金国家自然科学基金项目(61872159,61672261,61502199)。; 文摘基于模型诊断是人工智能研究与发展中的重要方向之一,而求解极小冲突集(minimal conflict set, MCS)是模型诊断的关键步骤.MCS-SFFO(minimal conflict set-structural feature of fault output)方法以反向深度的方式遍历集合枚举树(set enumeration tree, SE-Tree),然后针对故障输出无关元件的组合进行剪枝.在MCS-SFFO方法的基础上,结合电路的故障逻辑关系提出求解极小冲突集的进一步剪枝方法MCS-FLR(minimal conflict set-fault logic relationship):首先提出单元件非冲突集定理,对单元件集合进行剪枝,避免了对无解空间中单元件节点的访问;其次,提出非极小冲突集定理,推证得出故障输出相关元件集的超集都是冲突集,故对有解空间中的非极小解进行剪枝.MCS-FLR方法在MCS-SFFO方法基础上减少了大量有解空间和部分无解空间调用SAT求解器的次数,节省了求解时间.实验结果表明:相比于MCS-SFFO方法,MCS-FLR方法求解效率有显著提高.; 关键词基于模型诊断非极小冲突集合枚举树故障输出相关元件集有解剪枝; Keywords model-based diagnosis non-minimum conflict set enumeration tree(SE-tree) fault output related components pruning in solution space; 分类号 TP18 [自动化与计算机技术—控制理论与控制工程]; 在线阅读下载PDF 职称材料

题名分支限界算法的研究与实现被引量：3: 7; 作者王春梅; 机构西安邮电学院计算机学院; 出处《现代电子技术》 2011年第9期121-123,共3页; 文摘分支限界算法是一种在问题的解空间树上搜索问题的解的方法,主要采用广度优先或最小耗费优先的方法搜索解空间树,其核心思想就是"剪枝"。首先提出了分支限界算法的一般策略与实施步骤,然后以电路板布线问题为实例,设计并实现该问题的算法,经过实验数据验证了其性能,进而反映了分支限界算法的高效性。; 关键词分支限界解空间树活结点扩展结点; Keywords branch and bound tree of solution space live node extension node; 分类号 TN911-34 [电子电信—通信与信息系统]; 在线阅读下载PDF 职称材料

题名分支限界法求解实际TSP问题被引量：5: 8; 作者陈涛张思发; 机构中国地质大学计算机学院; 出处《计算机工程与设计》 CSCD 北大核心 2009年第10期2431-2434,共4页; 文摘提出一种基于分支限界思想来求解实际TSP问题的算法,并着重介绍上下界的计算。下界值是根据当前路径来计算的,简单易行且占用空间少。上界只计算一个全局的上界值,计算过程中用到实际TSP问题的一个特点——三角不等式性质,求得的值不超过最优值的1.5倍。实际TSP问题另一个特点是对称性,对称性可使解空间树缩小一半,进一步加速搜索过程。提出的求上界和求下界的算法是独立,完全可以分割开来,但是通过例子可以看出将这两种方法用分支限界的思想结合起来是行之有效的,可大大加速解空间树的搜索。; 关键词旅行商问题三角不等式上界下界解空间树; Keywords TSP triangle inequality upper bound lower bound tree of solution space; 分类号 TP301.6 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名基于最优流法与Mayeda生成树算法相结合的单阶段配网重构新方法被引量：9: 9; 作者张重实王高猛张檀雍林济铿; 机构国网能源研究院有限公司天津大学智能电网教育部重点实验室国网北京市电力公司检修分公司同济大学电子与信息工程学院; 出处《中国电力》 CSCD 北大核心 2018年第9期110-117,共8页; 基金国家电网公司科技项目(城市配电网参数辨识与运行分析技术研究 KJ17-1-09)~~; 文摘针对随机类优化算法用于配网重构计算时间长,而启发式算法用于配网重构存在的低精度解等的缺点,提出一种基于最优流法与Mayeda生成树算法相结合的单阶段配网重构新方法。该方法利用最优流法从支路交换的候选集中快速确定用于Mayeda生成树算法中用于支路交换的支路,从而既回避了随机进化选择方法进化慢的缺点,又回避了穷举法生成过多的劣树的缺点,等效于采用优化技术局部剔除了部分比当前树更劣的树,而明显加快其最优树的搜索过程。方法的优点是充分利用了最优流方法的快速性、Mayeda生成树算法的解空间的完备性,进行良好的结合实现了两者的优势互补,而提高其计算效率。算例验证了方法的有效性。方法因其快速性及至少得到次优解的特点而具有工程应用价值。; 关键词配电网重构最优流法 Mayeda生成树快速性解空间完备性; Keywords distribution network reconfiguration optimal flow algorithm Mayeda spanning tree efficiency solution space completeness; 分类号 TM76 [电气工程—电力系统及自动化]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	一类动态车辆路径问题模型和两阶段算法	饶卫振金淳刘锋杨磊	《交通运输系统工程与信息》 EI CSCD 北大核心	2015	14	在线阅读下载PDF 职称材料
2	基于树模型和输入参数关系的组合测试集精简方法	王立新杨峻万仁霞王铭军	《计算机应用研究》 CSCD 北大核心	2010	3	在线阅读下载PDF 职称材料
3	基于模型诊断中结合问题特征的新方法	欧阳丹彤周建华刘伯文张立明	《计算机研究与发展》 EI CSCD 北大核心	2017	6	在线阅读下载PDF 职称材料
4	带参数约束的两两组合测试用例集生成方法	李龙澍张薇	《计算机工程》 CAS CSCD	2012	1	在线阅读下载PDF 职称材料
5	用智能规划解空间树法生成测试数据	李杨宋克非	《光学精密工程》 EI CAS CSCD 北大核心	2011	1	在线阅读下载PDF 职称材料
6	结合故障逻辑关系的极小冲突集求解方法	欧阳丹彤高菡徐旖旎张立明	《计算机研究与发展》 EI CSCD 北大核心	2020	1	在线阅读下载PDF 职称材料
7	分支限界算法的研究与实现	王春梅	《现代电子技术》	2011	3	在线阅读下载PDF 职称材料
8	分支限界法求解实际TSP问题	陈涛张思发	《计算机工程与设计》 CSCD 北大核心	2009	5	在线阅读下载PDF 职称材料
9	基于最优流法与Mayeda生成树算法相结合的单阶段配网重构新方法	张重实王高猛张檀雍林济铿	《中国电力》 CSCD 北大核心	2018	9	在线阅读下载PDF 职称材料