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

摘要：

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

关键词：整数规划、Petri网、工作流网、分支定界法

所属期刊栏目：23

分类号：TP301(计算技术、计算机技术)

资助基金：国家自然科学基金资助项目61602279,61472229;山东省科技发展计划资助项目2014GGX101035,2016ZDJS02A11;山东省自然科学基金资助项目BS2014DX013,ZR2015FM013;同济大学嵌入式系统与服务计算教育部重点实验室开放课题资助项目ESSCKF201403;山东省博士后创新专项资金资助项目201603056;山东科技大学领军人才与优秀科研团队计划资助项目2015TDJH102.Project supported by the National Natural Science Foundation,China61602279,61472229;the Science & Technology Development Fund of Shandong Province,China2014GGX101035,2016ZDJS02A11;the Shandong Provincial Natural Science Fondation,ChinaBS2014DX013,ZR2015FM013;the Open Project Foundation of the Key Laboratory of Embedded System and Service Computing of Ministry of Education in Tongji University,ChinaESSCKF201403;the Shandong Provincial Postdoctoral Innovation Project,China201603056;the SDUST Research Fund,China2015TDJH102

在线出版日期：2017-06-30（万方平台首次上网日期，不代表论文的发表时间）

页数：共8页

页码：947-954