卫星测控资源调度CSP模型研究

对卫星测控调度问题的建模技术进行了研究,分析了问题的特点。首先对场景、需求和任务进行了形式化建模;然后针对测控调度问题中涉及的资源、时间、关系等主要约束类型进行了分析和模型描述,并按照不同类型的测控需求确定了测控调度的目标函数;最后在此基础上建立了问题的约束满足问题(constraint satisfied problem, CSP)模型,并针对模型进行了求解方法研究。     

城市供配水系统数学模型研究

城市供配水系统的数学模型是给水管网的规划、设计、优化调度和科学管理的基础和前提。以统计分析理论为基础，运用回归分析法，得到城市供配水系统的网络分析模型；又从拓扑关系出发，利用质能平衡方程构造了给水管网系统的拓扑结构模型，实现了对给水系统重要参数的计算，从而为城市给水系统综合自动化建设提供了模型支持。