卫星观测任务数据的XML描述

将XML技术用于描述卫星观测任务数据库,特别是用XML模式描述了任务的数据结构和数据内容,同时强调了数据语义的体现。目的是实现卫星观测数据的标准化,方便未来跨领域、跨平台卫星观测任务的统筹规划和执行。

调度问题中两类分离约束传播算法的比较及一种改进算法

约束传播算法是求解约束满足问题的一种重要方法。调度问题是一种特殊的约束满足问题。本文介绍了调度问题中的Edge Finding和Energy Reasoning两种分离约束传播算法,并对它们进行了比较,文中最后给出了一种结合Energy Reasoning的Edge Finding改进算法。