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

基于静态约束调度及其组件结构，建立了一种动态约束优化调度的软件模型结构，可以适应于调度环境的动态变化。从软件模型上分析，动态约束优化调度的组件包括动态解析器、动态分配器和推理引擎。动态解析器规范了变元和约束条件，动态分配器解决了约束条件的重新分配和冲突，推理引擎实现了快速搜索。实验表明该模型可以满足实际动态逻辑约束问题的求解，并且把传统优化调度的封闭形式扩展为开放状态。