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