| 
  中国学术期刊网络出版总库
  关闭
互斥约束工作流可满足性决策的匹配剪枝模式回溯法  
   推荐 CAJ下载 PDF下载
【英文篇名】 Match-pruning Pattern Backtracking Algorithm for Exclusion Constrained Workflow Satisfiability Decision
【下载频次】 ★★
【作者】 翟治年; 卢亚辉; 万健; 王中鹏; 吴茗蔚;
【英文作者】 ZHAI Zhinian; LU Yahui; WAN Jian; WANG Zhongpeng; WU Mingwei; School of Information and Electronic Engineering; Zhejiang University of Science and Technology; School of Computer and Software; Shenzhen University; Key Laboratory of Complex Systems Modeling and Simulation; Ministry of Education;
【作者单位】 浙江科技学院信息与电子工程学院; 深圳大学计算机与软件学院; 复杂系统建模与仿真教育部重点实验室;
【文献出处】 中国机械工程 , China Mechanical Engineering, 编辑部邮箱 2018年 24期  
期刊荣誉：中文核心期刊要目总览  ASPT来源刊  中国期刊方阵  CJFD收录刊
【中文关键词】 工作流; 授权; 约束; 资源分配; 可满足性;
【英文关键词】 workflow; authorization; constraint; resource allocation; satisfiability;
【摘要】 针对用于工作流可满足决策的模式回溯技术如何平衡性能与代价的问题,提出了一种对部分模式解及时进行授权匹配验证的优化方法,牺牲一定验证效率以增强剪枝能力。就仅受互斥约束的问题情形,利用实例难易程度的两极分化现象对总体时间性能进行了分析。随机生成数据集上的实验表明,这一优化极大地降低了模式回溯在难实例上的时间代价,而对易实例执行时间的影响很小,且相对于其他基于动态规划的代表性算法,优化后的算法在时间和空间性能上均有显著优势。
【英文摘要】 To address the issue of balancing the performance and cost in pattern backtracking(PB)technique for workflow satisfiability decision,an optimizing method was proposed where the authorization matching was enforced in time on partial pattern solutions to strengthen pruning by giving up some validating efficiencies.The overall performance was analysed by utilizing the polarizing phenomenon of ease or the complexity of instances on exclusion-constrained problems.Experiments on randomly generated data sets show ...
【基金】 国家自然科学基金资助项目(61572163,61502429); 浙江省自然科学基金资助项目(LY17F050005); 浙江省教育厅科研项目(Y201737476); 教育部人文社会科学研究项目(17YJC630109,17YJA880004)
【更新日期】 2019-01-14
【分类号】 TP301.6
【正文快照】 0引言云制造是一种面向服务的网络化制造新模式,它将分布式制造资源通过云平台集约化运营,使客户可根据需求灵活租用资源,快速组织定制化的生产。在这种模式下,资源的多源性和虚拟性给客户的业务过程带来了更严重的安全隐患。云制造业务依赖于平台的服务注册、匹配、组合、执行

xxx
【相似文献】
中国期刊全文数据库
中国优秀硕士学位论文全文数据库
中国博士学位论文全文数据库
中国重要会议论文全文数据库
中国重要报纸全文数据库
中国学术期刊网络出版总库
点击下列相关研究机构和相关文献作者，可以直接查到这些机构和作者被《中国知识资源总库》收录的其它文献，使您全面了解该机构和该作者的研究动态和历史。
【文献分类导航】从导航的最底层可以看到与本文研究领域相同的文献，从上层导航可以浏览更多相关领域的文献。

工业技术
　 自动化技术、计算机技术
　　 计算技术、计算机技术
　　　 一般性问题
　　　　 理论、方法
　　　　　 算法理论
  
 
  CNKI系列数据库编辑出版及版权所有：中国学术期刊(光盘版)电子杂志社
中国知网技术服务及网站系统软件版权所有：清华同方知网(北京)技术有限公司
其它数据库版权所有：各数据库编辑出版单位（见各库版权信息）
京ICP证040431号    互联网出版许可证 新出网证（京）字008号