本文選題：整數(shù)規(guī)劃 + Petri網(wǎng)��； 參考：《計算機集成制造系統(tǒng)》2017年05期

【摘要】：為了求解一類特殊的整數(shù)規(guī)劃問題以對工作流網(wǎng)進行可達性分析和不變量計算,將該類問題進行歸納和抽象,提出向量目標整數(shù)線性規(guī)劃問題的概念和標準模型;在傳統(tǒng)整數(shù)規(guī)劃問題求解方法的基礎(chǔ)上,針對一類正定的向量目標整數(shù)線性規(guī)劃問題設(shè)計了一種新的分支定界算法,以求取全部最優(yōu)解;將工作流網(wǎng)不變量分解與恰當終結(jié)性驗證等問題轉(zhuǎn)換為前述向量目標整數(shù)規(guī)劃問題,結(jié)合實例說明了該方法在工作流網(wǎng)性質(zhì)分析中的應用。
[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.
【作者單位】： 山東科技大學計算機科學與工程學院;山東科技大學數(shù)學與系統(tǒng)科學學院;同濟大學嵌入式系統(tǒng)與服務計算教育部重點實驗室;
【基金】：國家自然科學基金資助項目(61602279,61472229) 山東省科技發(fā)展計劃資助項目(2014GGX101035,2016ZDJS02A11) 山東省自然科學基金資助項目(BS2014DX013,ZR2015FM013) 同濟大學嵌入式系統(tǒng)與服務計算教育部重點實驗室開放課題資助項目(ESSCKF201403) 山東省博士后創(chuàng)新專項資金資助項目(201603056) 山東科技大學領(lǐng)軍人才與優(yōu)秀科研團隊計劃資助項目(2015TDJH102)~~
【分類號】：O221;TP301.1

【相似文獻】

相關(guān)期刊論文 前1條

1 王劍,魏生民,何衛(wèi)平,唐邦治;基于隨機Petri網(wǎng)的產(chǎn)品任務平均完成時間算法研究[J];中國制造業(yè)信息化;2005年04期

，

本文編號：1880038