期刊文献+
共找到7篇文章
< 1 >
每页显示 20 50 100
基于多信号流图与分支定界算法的故障诊断 被引量: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
上一页 1 下一页 到第
使用帮助 返回顶部