期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
7
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于多信号流图与分支定界算法的故障诊断
被引量:
10
1
作者
梁爽
于劲松
+1 位作者
唐荻音
姜杨
《北京航空航天大学学报》
EI
CAS
CSCD
北大核心
2016年第1期180-186,共7页
针对实时在线故障诊断问题,提出了一种基于多信号流图和分支定界算法的故障诊断方法。通过建立多信号流图模型生成相关矩阵作为诊断知识,进而由相关矩阵以及观测向量产生冲突集,使最小诊断集的求解过程映射为整数规划问题;采用分支定界...
针对实时在线故障诊断问题,提出了一种基于多信号流图和分支定界算法的故障诊断方法。通过建立多信号流图模型生成相关矩阵作为诊断知识,进而由相关矩阵以及观测向量产生冲突集,使最小诊断集的求解过程映射为整数规划问题;采用分支定界算法,通过对冲突集的分支、定界以及剪支得到故障诊断的最优解,从而避免了穷举问题造成的搜索"爆炸"。以某型机载燃油系统为对象对本文提出的算法进行了验证。结果表明:本文算法与常用的多信号流图诊断推理算法TEAMS-RT相比,算法速度相当,故障定位精度更高,很好地涵盖单故障以及多故障组合,可以胜任大规模复杂系统的故障诊断。
展开更多
关键词
多信号流图
冲突集
整数规划
分支定界算法
故障诊断
在线阅读
下载PDF
职称材料
面向关键字流图的相似程序间测试用例的重用
被引量:
5
2
作者
钱忠胜
宋涛
《软件学报》
EI
CSCD
北大核心
2021年第9期2691-2712,共22页
软件测试是软件开发中重要的一环,能有效地提高软件的可靠性和质量.而测试用例的重用可减少软件测试的工作量,提升测试的效率.提出一种面向关键字流图的相似程序间测试用例的重用方法,该方法将程序已经生成的测试数据重用到与之相似的...
软件测试是软件开发中重要的一环,能有效地提高软件的可靠性和质量.而测试用例的重用可减少软件测试的工作量,提升测试的效率.提出一种面向关键字流图的相似程序间测试用例的重用方法,该方法将程序已经生成的测试数据重用到与之相似的程序中.可见,探究测试用例重用的前期工作是判定程序的相似性.对于程序相似性的判定,给出根据关键字流图相似性比较的方法:首先,将程序代码中的关键字存储在流图所对应的节点中,构建关键字流图;接下来,利用动态规划算法查找待测程序关键字流图的最大公共子图;最后,根据最大公共子图距离算法计算程序的相似度.较高相似程度的程序可用到测试用例重用的方法中.在利用遗传算法生成测试用例时,引用相似程序中适应度较高的测试用例,使种群在进行进化操作过程中不断与这些用例进行交叉,加快用例的生成效率.实验表明:将测试用例重用在相似程序的测试生成中,与传统方法相比,在覆盖率和平均进化代数等方面均有明显优势.
展开更多
关键词
流图
程序相似性
遗传算法
测试用例重用
最大公共子图
在线阅读
下载PDF
职称材料
求解最小费用流的复合标号法
3
作者
宁宣熙
《南京航空学院学报》
CSCD
1989年第4期77-82,共6页
本文在求最短路和求最大流标号法的基础上,提出了求解最小费用流的复合标号法。利用这种方法可以在一次标号的过程中找到具有最小费用的增广链。该算法具有简单、易行、迭代次数少,而且易于理解的特点。
关键词
图论
标号法
最小费用流
网络法
在线阅读
下载PDF
职称材料
求解网络最大流问题的信念传播算法
被引量:
3
4
作者
左逢源
王晓峰
+1 位作者
任雪娇
张丹丹
《计算机工程与设计》
北大核心
2021年第5期1346-1352,共7页
为解决目前网络最大流问题求解效率低、数据溢出等问题,设计求解网络最大流问题的信念传播算法。根据网络最大流问题的特性,使最大流问题的线性规划方程与信念传播算法传递方程结合,得到描述函数,将带权随机有向图映射为对应的因子图模...
为解决目前网络最大流问题求解效率低、数据溢出等问题,设计求解网络最大流问题的信念传播算法。根据网络最大流问题的特性,使最大流问题的线性规划方程与信念传播算法传递方程结合,得到描述函数,将带权随机有向图映射为对应的因子图模型;在此模型基础上,利用信念传播算法的信息迭代方程进行特征值收敛计算,提高寻优效率。选取若干随机有向图进行数值实验,实验结果表明,该算法在寻优速度上优于同类算法,验证了其可行性及有效性。
展开更多
关键词
网络最大流
线性规划
信念传播算法
因子图
描述函数
在线阅读
下载PDF
职称材料
求解最小费用最大流问题的信念传播算法
被引量:
2
5
作者
左逢源
王晓峰
+1 位作者
牛进
梁晨
《计算机应用研究》
CSCD
北大核心
2021年第7期1998-2002,2024,共6页
最小费用最大流问题是一种组合优化问题,在经济、工业等领域具有重要研究意义和应用价值。针对部分最小费用最大流问题求解算法效率较低的情况,依据最小费用最大流问题的线性规划方程,将问题模型映射为对应因子图模型,改进描述函数,给...
最小费用最大流问题是一种组合优化问题,在经济、工业等领域具有重要研究意义和应用价值。针对部分最小费用最大流问题求解算法效率较低的情况,依据最小费用最大流问题的线性规划方程,将问题模型映射为对应因子图模型,改进描述函数,给出迭代方程,设计了求解最小费用最大流问题的信念传播算法。利用迭代方程优先对最大可行流特征值进行收敛计算,得到最大流,设置最大流阈值,在此基础上进行最小费用计算,从而求得问题最优解。最后选取若干带权有向图模型进行数值实验,验证了算法的可行性及有效性,且算法在求解效率上优于部分算法。
展开更多
关键词
最小费用最大流
线性规划
信念传播算法
因子图
在线阅读
下载PDF
职称材料
基于全局支配图算法的覆盖测试方法
6
作者
于炳霞
谷青范
《计算机工程》
CAS
CSCD
北大核心
2010年第19期70-71,74,共3页
目前的覆盖测试存在着大量的冗余测试用例,严重影响测试的效率。基于此,介绍一种基于全局支配图算法的覆盖测试工具,通过在局部支配图中加入辅助循环树算法及寻找临近节点,提出一种全局支配图改进算法,利用该算法能够计算出覆盖源程序...
目前的覆盖测试存在着大量的冗余测试用例,严重影响测试的效率。基于此,介绍一种基于全局支配图算法的覆盖测试工具,通过在局部支配图中加入辅助循环树算法及寻找临近节点,提出一种全局支配图改进算法,利用该算法能够计算出覆盖源程序的最小测试用例集。实验结果表明,该算法能够减少覆盖分析时间,生成较少的测试用例和达到较高的覆盖率。
展开更多
关键词
覆盖测试
全局支配图算法
测试用例
程序流图
代码插装
在线阅读
下载PDF
职称材料
沿通路送流的两个新算法
7
作者
卢爱国
吴新余
《南京邮电学院学报》
北大核心
1989年第1期95-103,共9页
本文证明对满足一定约束条件的一类无耗网络,应用沿通路送流法,可获得一个有效的求多商品流算法,其运算复杂度仅为 O[d_(pr,max)|E(P_((?),max))|(n+k-1)],并且当流网络中各边容量及各源汇对间传输要求量均为整数的情况下,可获得整数流...
本文证明对满足一定约束条件的一类无耗网络,应用沿通路送流法,可获得一个有效的求多商品流算法,其运算复杂度仅为 O[d_(pr,max)|E(P_((?),max))|(n+k-1)],并且当流网络中各边容量及各源汇对间传输要求量均为整数的情况下,可获得整数流解.本文还将上述算法推广到有耗网络中多商品流的求解问题,提出并证明了平面有耗网中多商品流存在的充分条件,据此获得一个求有耗网络多商品流的多项式时间算法.
展开更多
关键词
网络图论
图论
线性规划
算法
在线阅读
下载PDF
职称材料
题名
基于多信号流图与分支定界算法的故障诊断
被引量:
10
1
作者
梁爽
于劲松
唐荻音
姜杨
机构
北京航空航天大学自动化科学与电气工程学院
先进航空发动机协同创新中心
出处
《北京航空航天大学学报》
EI
CAS
CSCD
北大核心
2016年第1期180-186,共7页
文摘
针对实时在线故障诊断问题,提出了一种基于多信号流图和分支定界算法的故障诊断方法。通过建立多信号流图模型生成相关矩阵作为诊断知识,进而由相关矩阵以及观测向量产生冲突集,使最小诊断集的求解过程映射为整数规划问题;采用分支定界算法,通过对冲突集的分支、定界以及剪支得到故障诊断的最优解,从而避免了穷举问题造成的搜索"爆炸"。以某型机载燃油系统为对象对本文提出的算法进行了验证。结果表明:本文算法与常用的多信号流图诊断推理算法TEAMS-RT相比,算法速度相当,故障定位精度更高,很好地涵盖单故障以及多故障组合,可以胜任大规模复杂系统的故障诊断。
关键词
多信号流图
冲突集
整数规划
分支定界算法
故障诊断
Keywords
multi-signal
flow
graph
conflict set
integer
program
ming
branch-and-bound
algorithm
fault diagnosis
分类号
TP206.3 [自动化与计算机技术—检测技术与自动化装置]
在线阅读
下载PDF
职称材料
题名
面向关键字流图的相似程序间测试用例的重用
被引量:
5
2
作者
钱忠胜
宋涛
机构
江西财经大学信息管理学院
出处
《软件学报》
EI
CSCD
北大核心
2021年第9期2691-2712,共22页
基金
国家自然科学基金(61762041)
江西省自然科学基金(20181BAB202009)
江西省教育厅科技重点项目(GJJ180250)。
文摘
软件测试是软件开发中重要的一环,能有效地提高软件的可靠性和质量.而测试用例的重用可减少软件测试的工作量,提升测试的效率.提出一种面向关键字流图的相似程序间测试用例的重用方法,该方法将程序已经生成的测试数据重用到与之相似的程序中.可见,探究测试用例重用的前期工作是判定程序的相似性.对于程序相似性的判定,给出根据关键字流图相似性比较的方法:首先,将程序代码中的关键字存储在流图所对应的节点中,构建关键字流图;接下来,利用动态规划算法查找待测程序关键字流图的最大公共子图;最后,根据最大公共子图距离算法计算程序的相似度.较高相似程度的程序可用到测试用例重用的方法中.在利用遗传算法生成测试用例时,引用相似程序中适应度较高的测试用例,使种群在进行进化操作过程中不断与这些用例进行交叉,加快用例的生成效率.实验表明:将测试用例重用在相似程序的测试生成中,与传统方法相比,在覆盖率和平均进化代数等方面均有明显优势.
关键词
流图
程序相似性
遗传算法
测试用例重用
最大公共子图
Keywords
keyword
flow
graph
program
similarity
genetic
algorithm
test case reuse
maximum common sub-
graph
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
求解最小费用流的复合标号法
3
作者
宁宣熙
机构
南京航空学院管理工程系
出处
《南京航空学院学报》
CSCD
1989年第4期77-82,共6页
文摘
本文在求最短路和求最大流标号法的基础上,提出了求解最小费用流的复合标号法。利用这种方法可以在一次标号的过程中找到具有最小费用的增广链。该算法具有简单、易行、迭代次数少,而且易于理解的特点。
关键词
图论
标号法
最小费用流
网络法
Keywords
graph
theory, labelling
algorithm
, network method, network
flow
program
ming, minimum cost
flow
分类号
O157.5 [理学—基础数学]
在线阅读
下载PDF
职称材料
题名
求解网络最大流问题的信念传播算法
被引量:
3
4
作者
左逢源
王晓峰
任雪娇
张丹丹
机构
北方民族大学计算机科学与工程学院
北方民族大学宁夏智能信息与大数据处理重点实验室
出处
《计算机工程与设计》
北大核心
2021年第5期1346-1352,共7页
基金
国家自然科学基金项目(61462001、61762019、61862051、61962002)
北方民族大学重点科研基金项目(2017KJ24、2017KJ25)
+3 种基金
北方民族大学重大专项基金项目(ZDZX201901)
北方民族大学校级科研一般基金项目(2019XYZJK05)
宁夏回族自治区重点研发计划基金项目(2018BEE03019)
宁夏自然科学基金项目(NZ17111、2019AAC03120、2019AAC03119)。
文摘
为解决目前网络最大流问题求解效率低、数据溢出等问题,设计求解网络最大流问题的信念传播算法。根据网络最大流问题的特性,使最大流问题的线性规划方程与信念传播算法传递方程结合,得到描述函数,将带权随机有向图映射为对应的因子图模型;在此模型基础上,利用信念传播算法的信息迭代方程进行特征值收敛计算,提高寻优效率。选取若干随机有向图进行数值实验,实验结果表明,该算法在寻优速度上优于同类算法,验证了其可行性及有效性。
关键词
网络最大流
线性规划
信念传播算法
因子图
描述函数
Keywords
network maximum
flow
linear
program
ming
belief propagation
algorithm
factor
graph
description function
分类号
TP301 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
求解最小费用最大流问题的信念传播算法
被引量:
2
5
作者
左逢源
王晓峰
牛进
梁晨
机构
北方民族大学计算机科学与工程学院
北方民族大学宁夏智能信息与大数据处理重点实验室
出处
《计算机应用研究》
CSCD
北大核心
2021年第7期1998-2002,2024,共6页
基金
国家自然科学基金资助项目(62062001,61762019,61862051,61962002)
北方民族大学重大专项资助项目(ZDZX201901)
+1 种基金
宁夏自然科学基金资助项目(2020AAC03214,2020AAC03219,2019AAC03120,2019AAC03119)
北方民族大学校级科研一般项目(2019XYZJK05)。
文摘
最小费用最大流问题是一种组合优化问题,在经济、工业等领域具有重要研究意义和应用价值。针对部分最小费用最大流问题求解算法效率较低的情况,依据最小费用最大流问题的线性规划方程,将问题模型映射为对应因子图模型,改进描述函数,给出迭代方程,设计了求解最小费用最大流问题的信念传播算法。利用迭代方程优先对最大可行流特征值进行收敛计算,得到最大流,设置最大流阈值,在此基础上进行最小费用计算,从而求得问题最优解。最后选取若干带权有向图模型进行数值实验,验证了算法的可行性及有效性,且算法在求解效率上优于部分算法。
关键词
最小费用最大流
线性规划
信念传播算法
因子图
Keywords
minimum cost maximum
flow
(MCMF)
linear
program
ming
belief propagation
algorithm
factor
graph
分类号
TP301 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
基于全局支配图算法的覆盖测试方法
6
作者
于炳霞
谷青范
机构
南京航空航天大学信息科学与技术学院
出处
《计算机工程》
CAS
CSCD
北大核心
2010年第19期70-71,74,共3页
文摘
目前的覆盖测试存在着大量的冗余测试用例,严重影响测试的效率。基于此,介绍一种基于全局支配图算法的覆盖测试工具,通过在局部支配图中加入辅助循环树算法及寻找临近节点,提出一种全局支配图改进算法,利用该算法能够计算出覆盖源程序的最小测试用例集。实验结果表明,该算法能够减少覆盖分析时间,生成较少的测试用例和达到较高的覆盖率。
关键词
覆盖测试
全局支配图算法
测试用例
程序流图
代码插装
Keywords
coverage test
global domination
graph
algorithm
test case
program
flow
graph
code instrumentation
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
沿通路送流的两个新算法
7
作者
卢爱国
吴新余
机构
南京邮电学院基础课部
出处
《南京邮电学院学报》
北大核心
1989年第1期95-103,共9页
文摘
本文证明对满足一定约束条件的一类无耗网络,应用沿通路送流法,可获得一个有效的求多商品流算法,其运算复杂度仅为 O[d_(pr,max)|E(P_((?),max))|(n+k-1)],并且当流网络中各边容量及各源汇对间传输要求量均为整数的情况下,可获得整数流解.本文还将上述算法推广到有耗网络中多商品流的求解问题,提出并证明了平面有耗网中多商品流存在的充分条件,据此获得一个求有耗网络多商品流的多项式时间算法.
关键词
网络图论
图论
线性规划
算法
Keywords
Network
graph
theory
graph
theory
algorithm
Multicommodity
flow
Linear
program
ming
分类号
O157.5 [理学—基础数学]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于多信号流图与分支定界算法的故障诊断
梁爽
于劲松
唐荻音
姜杨
《北京航空航天大学学报》
EI
CAS
CSCD
北大核心
2016
10
在线阅读
下载PDF
职称材料
2
面向关键字流图的相似程序间测试用例的重用
钱忠胜
宋涛
《软件学报》
EI
CSCD
北大核心
2021
5
在线阅读
下载PDF
职称材料
3
求解最小费用流的复合标号法
宁宣熙
《南京航空学院学报》
CSCD
1989
0
在线阅读
下载PDF
职称材料
4
求解网络最大流问题的信念传播算法
左逢源
王晓峰
任雪娇
张丹丹
《计算机工程与设计》
北大核心
2021
3
在线阅读
下载PDF
职称材料
5
求解最小费用最大流问题的信念传播算法
左逢源
王晓峰
牛进
梁晨
《计算机应用研究》
CSCD
北大核心
2021
2
在线阅读
下载PDF
职称材料
6
基于全局支配图算法的覆盖测试方法
于炳霞
谷青范
《计算机工程》
CAS
CSCD
北大核心
2010
0
在线阅读
下载PDF
职称材料
7
沿通路送流的两个新算法
卢爱国
吴新余
《南京邮电学院学报》
北大核心
1989
0
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部