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.

• 实验表明该模型可以满足实际动态逻辑约束问题的求解，并且把传统优化调度的封闭形式扩展为开放状态。