一种动态约束优化调度的软件模型  

A software model for dynamic constraint optimization scheduling

作　　者：姜大光[1] 易军凯[1] 

机构地区：[1]北京化工大学信息科学与技术学院,北京100029

出　　处：《北京化工大学学报（自然科学版）》2009年第2期96-99,共4页Journal of Beijing University of Chemical Technology(Natural Science Edition)

基　　金：国家"十一五"科技支撑计划(2006BAK31B04)

摘　　要：基于静态约束调度及其组件结构,建立了一种动态约束优化调度的软件模型结构,可以适应于调度环境的动态变化。从软件模型上分析,动态约束优化调度的组件包括动态解析器、动态分配器和推理引擎。动态解析器规范了变元和约束条件,动态分配器解决了约束条件的重新分配和冲突,推理引擎实现了快速搜索。实验表明该模型可以满足实际动态逻辑约束问题的求解,并且把传统优化调度的封闭形式扩展为开放状态。This paper describes the construction of a software model for dynamic constraint optimization scheduling, based on the framework of static constraint optimization scheduling, which can adapt to dynamic changes in the environment. The components of the software model include a dynamic generator, a dynamic allocator and an inference engine. The dynamic generator can normalize variables and constraints, the dynamic allocator can deal with constraint reallocation and conflicts and the inference engine can realize fast searching. The model, which changes the development status from closed to open, can effectively solve practical dynamic constraint problems.

关 键 词：动态约束优化调度 动态解析器 动态分配器 推理引擎 

分 类 号：TP391.41[自动化与计算机技术—计算机应用技术]