-
题名卫星任务调度系统的设计与实现
被引量：7
- 1
-
-
作者
贺仁杰
刘洋
谭跃进
-
机构
国防科技大学人文与管理学院博士生队
-
出处
《计算机工程与应用》
CSCD
北大核心
2003年第14期1-3,21,共4页
-
基金
部委研究项目
-
文摘
论文给出了一个卫星任务调度系统的总体结构及其功能,讨论了该系统实现过程中的任务描述、调度引擎、卫星时间窗口的仿真计算、调度结果的可视化展现等关键技术,归纳了系统的特点,并总结了今后系统的研究方向。
-
关键词
卫星任务调度
XML
STK
ILOG
SCHEDULE
-
Keywords
satellite task scheduling,XML ,STK,ILOG Schedule
-
分类号
TP302
[自动化与计算机技术—计算机系统结构]
-
-
题名基于约束满足的卫星地面站资源优化分配问题研究
被引量：23
- 2
-
-
作者
贺仁杰
谭跃进
-
机构
国防科技大学人文与管理学院博士生队
-
出处
《计算机工程与应用》
CSCD
北大核心
2004年第18期229-232,共4页
-
基金
国家部委基金项目
-
文摘
卫星地面站资源优化分配问题是在给定的时间内,对卫星需要执行的任务分配地面站及执行时间,以便卫星能最大限度地完成任务。该文对该问题建立了CSP模型,并采用ILOGSolver对该模型进行求解。文中最后给出了一个应用实例,并比较了几种不同搜索算法和搜索策略的执行效率。
-
关键词
约束满足问题
地面站资源分配
ILOG
SOLVER
-
Keywords
constraint satisfaction,satellite scheduling,ILOG Solver
-
分类号
TP18
[自动化与计算机技术—控制理论与控制工程]
-
-
题名动态约束满足及其在资源调度问题中的应用
被引量：1
- 3
-
-
作者
刘洋
陈英武
-
机构
国防科技大学人文与管理学院博士生队
国防科技大学人文与管理学院
-
出处
《计算机工程与应用》
CSCD
北大核心
2004年第27期93-96,共4页
-
文摘
论文系统地论述了动态约束满足技术的基本理论与方法,建立了动态约束满足技术的基本分析框架,给出了动态约束满足在Job-Shop问题中的应用实例。
-
关键词
动态约束满足
框架
调度
-
Keywords
Dynamic Constraint Satisfaction,frame ,scheduling
-
分类号
TP301
[自动化与计算机技术—计算机系统结构]
-
