基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
资源独立约束工作流可满足决策*WS-RI是业务安全规划的典型问题,在云制造等第三方资源环境中有重要意义.增量模式回溯法(Incremental Pattern Backtracking,IPB)是一种能够打破对称,高效求解*WS-RI的新型算法.它的一个主要优势是在模式验证时,通过渐进方式计算其中各块到资源集的指派图.但其在整个资源集中搜索指派邻点,实际性能存在缺陷,并在模式空间上放大.利用块中各步骤授权资源的分布间隙,设计了一种边界收缩的加速方法.它在搜索过程中增量计算邻域的初始边界,循环对齐和滑动当前边界,过滤无用资源,快速求出各个邻点.随机实例集上的实验表明,该算法显著优于目前最快的非增量模式回溯法.而较现有IPB,对低授权或高资源比例的相对困难实例,时间性能有明显提高.
推荐文章
模板方法模式在回溯算法中的应用
回溯算法
模板方法模式
设计模式
Java
基于进程代数WS-CDL交互模式建模研究
WS-CDL
进程代数
形式化方法
基于GPU加速的边界面法正则积分的研究
GPU
并行计算
加速
边界面法
CUDA
正则积分
收缩候选回溯集的有状态动态偏序归约方法
软件模型检测
动态偏序归约
有状态搜索
回溯集
收缩候选集
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 *WS-RI增量模式回溯的边界收缩加速
来源期刊 计算机工程与应用 学科 工学
关键词 资源独立约束 打破对称 模式 匹配
年,卷(期) 2020,(24) 所属期刊栏目 工程与应用
研究方向 页码范围 236-241
页数 6页 分类号 TP309
字数 语种 中文
DOI 10.3778/j.issn.1002-8331.2005-0204
五维指标
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (54)
共引文献  (1)
参考文献  (10)
节点文献
引证文献  (0)
同被引文献  (0)
二级引证文献  (0)
1982(1)
  • 参考文献(0)
  • 二级参考文献(1)
1997(1)
  • 参考文献(0)
  • 二级参考文献(1)
1999(1)
  • 参考文献(0)
  • 二级参考文献(1)
2003(1)
  • 参考文献(0)
  • 二级参考文献(1)
2004(1)
  • 参考文献(0)
  • 二级参考文献(1)
2005(1)
  • 参考文献(0)
  • 二级参考文献(1)
2006(1)
  • 参考文献(0)
  • 二级参考文献(1)
2007(1)
  • 参考文献(0)
  • 二级参考文献(1)
2008(3)
  • 参考文献(0)
  • 二级参考文献(3)
2009(3)
  • 参考文献(0)
  • 二级参考文献(3)
2010(3)
  • 参考文献(0)
  • 二级参考文献(3)
2011(2)
  • 参考文献(0)
  • 二级参考文献(2)
2012(6)
  • 参考文献(0)
  • 二级参考文献(6)
2013(4)
  • 参考文献(0)
  • 二级参考文献(4)
2014(6)
  • 参考文献(0)
  • 二级参考文献(6)
2015(4)
  • 参考文献(1)
  • 二级参考文献(3)
2016(15)
  • 参考文献(4)
  • 二级参考文献(11)
2017(7)
  • 参考文献(2)
  • 二级参考文献(5)
2018(2)
  • 参考文献(2)
  • 二级参考文献(0)
2019(1)
  • 参考文献(1)
  • 二级参考文献(0)
2020(0)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
研究主题发展历程
节点文献
资源独立约束
打破对称
模式
匹配
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
计算机工程与应用
半月刊
1002-8331
11-2127/TP
大16开
北京619信箱26分箱
82-605
1964
chi
出版文献量(篇)
39068
总下载数(次)
102
  • 期刊分类
  • 期刊(年)
  • 期刊(期)
  • 期刊推荐
论文1v1指导