检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
机构地区:[1]齐鲁石化总公司信息部,山东淄博255411 [2]山东大学控制科学与工程学院,山东济南250061 [3]中国石化胜利油田设备处,山东东营257091
出 处:《山东大学学报(工学版)》2009年第6期53-57,共5页Journal of Shandong University(Engineering Science)
基 金:国家高技术研究发展计划("863"计划)资助项目(2007AA042157);山东省优秀中青年科学家基金资助项目(2007BS05014)
摘 要:充分考虑广义析取规划模型利用符号逻辑表达关系这一特点,提出一种新的基于逻辑分支的分支定界算法.首先结合生产工艺的特点,使用分支变量的选取准则确定出部分离散变量,然后应用逻辑分支的方法确定逻辑变量之间的关系,再分别应用逻辑推理确定其它的离散变量.根据算法详细实现步骤,对一个典型的间歇过程生产调度模型求解,并对结果进行分析和说明.仿真结果表明,依据模型布尔变量之间存在的关系,通过逻辑分支和推理剪掉了大量分支,提高了问题的求解效率并得到了最优解.The character of using symbols to express the logic relation in the GDP model was fully considered. A new logic-based branch and bound algorithm was proposed. First, some Boolean variables were determined by using technique character and the principle of choosing branch. Then branch strategies were used to determine the relationship between logic variables. Finally, other Boolean variables were determined by using logic reasoning. A typical batch process production-scheduling model was solved using detail steps of the algorithm, and the results were analyzed and explained. The simulation results show that solution efficiency can be improved because a lot of branches are pruned through logic branches and reasonable use of the relations among the Boolean variables in the model, and the optimum can be obtained after a few nodes are examined.
分 类 号:TP182[自动化与计算机技术—控制理论与控制工程]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.68