%0 Journal Article %T 一种动态约束优化调度的软件模型 %A 姜大光 %A 易军凯 %J 北京化工大学学报(自然科学版) %D 2009 %X 基于静态约束调度及其组件结构,建立了一种动态约束优化调度的软件模型结构,可以适应于调度环境的动态变化。从软件模型上分析,动态约束优化调度的组件包括动态解析器、动态分配器和推理引擎。动态解析器规范了变元和约束条件,动态分配器解决了约束条件的重新分配和冲突,推理引擎实现了快速搜索。实验表明该模型可以满足实际动态逻辑约束问题的求解,并且把传统优化调度的封闭形式扩展为开放状态。 %U http://www.journal.buct.edu.cn/CN/abstract/abstract14005.shtml