向量目标整数线性规划问题及其在工作流网分析中的应用

作     者：包云霞 鲁法明 王艳晓 段华 林泽东 BAO Yunxia;LU Faming;WANG Yanxiao;DUAN Hua;LIN Zedong

作者机构：山东科技大学计算机科学与工程学院山东青岛266590 山东科技大学数学与系统科学学院山东青岛266590 同济大学嵌入式系统与服务计算教育部重点实验室上海200092 

基　　金：国家自然科学基金资助项目(61602279 61472229) 山东省科技发展计划资助项目(2014GGX101035 2016ZDJS02A11) 山东省自然科学基金资助项目(BS2014DX013 ZR2015FM013) 同济大学嵌入式系统与服务计算教育部重点实验室开放课题资助项目(ESSCKF201403) 山东省博士后创新专项资金资助项目(201603056) 山东科技大学领军人才与优秀科研团队计划资助项目(2015TDJH102) 

出 版 物：《计算机集成制造系统》 (Computer Integrated Manufacturing Systems)

年 卷 期：2017年第23卷第5期

页      码：947-954页

摘      要：为了求解一类特殊的整数规划问题以对工作流网进行可达性分析和不变量计算,将该类问题进行归纳和抽象,提出向量目标整数线性规划问题的概念和标准模型;在传统整数规划问题求解方法的基础上,针对一类正定的向量目标整数线性规划问题设计了一种新的分支定界算法,以求取全部最优解;将工作流网不变量分解与恰当终结性验证等问题转换为前述向量目标整数规划问题,结合实例说明了该方法在工作流网性质分析中的应用。

主 题 词：整数规划 Petri网 工作流网 分支定界法 

学科分类：08[工学] 081202[081202] 0812[工学-测绘类] 

核心收录：

D　O　I：10.13196/j.cims.2017.05.004

馆 藏 号：203231926...