论文部分内容阅读
介绍了多维范围查找算法思想,设计了其中几个子问题的实现技术。进行动作序列有效性检测时,采用了图论知识,详细描述检测过程并给出代码实现。进行策略库一致性检测时,将策略规则分解成一些简单数据类型,结合实例加以说明,给出相关类定义的框架。最后,分析其时间和空间复杂度,并指出规则冲突检测中一些可能的工作。