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

发布时间：2018-05-12 20:26

本文选题：整数规划 + Petri网　；参考：《计算机集成制造系统》2017年05期

【摘要】：为了求解一类特殊的整数规划问题以对工作流网进行可达性分析和不变量计算,将该类问题进行归纳和抽象,提出向量目标整数线性规划问题的概念和标准模型;在传统整数规划问题求解方法的基础上,针对一类正定的向量目标整数线性规划问题设计了一种新的分支定界算法,以求取全部最优解;将工作流网不变量分解与恰当终结性验证等问题转换为前述向量目标整数规划问题,结合实例说明了该方法在工作流网性质分析中的应用。
[Abstract]:In order to solve a special integer programming problem to analyze the reachability of workflow net and calculate the invariant, the concept and standard model of vector objective integer linear programming problem are proposed. Based on the traditional integer programming method, a new branch and bound algorithm is designed for a class of positive definite vector object integer linear programming problems to obtain all the optimal solutions. The problems of invariant decomposition and proper summative verification of workflow net are transformed into the vector objective integer programming problem mentioned above. The application of this method in the property analysis of workflow net is illustrated by an example.
【作者单位】：山东科技大学计算机科学与工程学院;山东科技大学数学与系统科学学院;同济大学嵌入式系统与服务计算教育部重点实验室;
【基金】：国家自然科学基金资助项目(61602279,61472229) 山东省科技发展计划资助项目(2014GGX101035,2016ZDJS02A11) 山东省自然科学基金资助项目(BS2014DX013,ZR2015FM013) 同济大学嵌入式系统与服务计算教育部重点实验室开放课题资助项目(ESSCKF201403) 山东省博士后创新专项资金资助项目(201603056) 山东科技大学领军人才与优秀科研团队计划资助项目(2015TDJH102)~~
【分类号】：O221;TP301.1

【相似文献】