-
题名敏捷卫星调度的时间约束推理方法
被引量：16
- 1
-
-
作者
廉振宇
谭跃进
严珍珍
-
机构
国防科学技术大学信息系统与管理学院
-
出处
《系统工程与电子技术》
EI
CSCD
北大核心
2013年第6期1206-1211,共6页
-
基金
国家自然科学基金(61203180
70801062
+7 种基金
70971131
71031007
71071156
71101013
71101150
71201171)
湖南省研究生创新项目(CX2011B023)
国防科学技术大学博士创新项目(B110504)资助课题
-
文摘
敏捷卫星机动能力的增强带来观测机会的增多和观测时间窗口的增长,具有很大的应用潜能。但管控中由于观测开始时间是一个具有连续值域的变量,传统非敏捷卫星调度问题的组合优化建模方法不再适用。介绍了敏捷卫星的时间依赖、可控与不可控事件混合、资源过度受限等特性;给出了时间约束网络概念及敏捷卫星调度中的时间约束推理问题描述;分析了时间约束网络与距离图的等价性,借鉴Johnson算法对稀疏网络的特殊处理,采用重赋权技术,提出针对敏捷卫星调度的改进循环检测算法检查时间约束;建立了分支剪枝搜索算法,以约束规划方式获得时间一致解。最后通过实例验证所提方法的有效性,实验结果表明该方法能够较好地实现敏捷卫星调度的时间约束的一致性检验和搜索求解。
-
关键词
调度
时间推理
循环检测
敏捷卫星
时间依赖
简单时间网络
-
Keywords
scheduling
temporal reasoning
cycle checking
agile earth observation satellite （AEOS）
temporal dependence
simple temporal network （stn）
-
分类号
TP181
[自动化与计算机技术—控制理论与控制工程]
-
-
题名基于STN的时间冲突检测与消解
被引量：4
- 2
-
-
作者
汤罗浩
朱承
罗江锋
张维明
黄金才
-
机构
国防科技大学信息系统与管理学院
-
出处
《计算机工程》
CAS
CSCD
北大核心
2011年第3期251-253,256,共4页
-
基金
国家自然科学基金资助项目(70701038)
-
文摘
针对已有的STN一致性检验算法只能检测时间冲突而不能消解冲突的问题,以负环检测算法为基础,提出一种结合冲突检测和冲突消解的迭代算法。设计基于调整代价的冲突消解方法,对负环检测进行增量处理,可提高冲突消解的合理性和速度,减轻计划者处理冲突的负担。实验结果证明该算法具有较高的效率。
-
关键词
简单时间网络
时间冲突
冲突检测与消解
-
Keywords
simple temporal network（stn）
temporal conflict
conflict detection and resolution
-
分类号
TP393
[自动化与计算机技术—计算机应用技术]
-
-
题名时间约束优化问题的解空间压缩方法研究
被引量：1
- 3
-
-
作者
张博洋
朱延广
杨峰
-
机构
国防科学技术大学信息系统与管理学院系统工程系
-
出处
《计算机工程》
CAS
CSCD
2012年第14期262-265,共4页
-
文摘
在对时间约束优化问题的求解中,普通优化方法的计算效率较低。为此,提出一种时间约束优化问题的解空间压缩方法。获得其对偶时间约束网络,结合路径一致性的求解方法,判断可行解的存在性并剔除非可行解。实验结果表明,该方法能有效减少迭代次数,提高计算效率。
-
关键词
时间约束优化问题
解空间压缩
对偶时间约束网络
简单时间网络
可行解扩展算法
约束变尺度法
-
Keywords
temporal Constraint Optimization Problem（TCOP）
solution space contraction
Dual temporal Constraint network（DTCN）
simple temporal network（stn）
feasible solution extended algorithm
restraint variable-dimension method
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于STN的业务流时间一致性消解方法
被引量：1
- 4
-
-
作者
郁文枢
周勇
燕雪峰
-
机构
南京航空航天大学计算机科学与技术学院
-
出处
《计算机应用与软件》
CSCD
2016年第4期239-241,291,共4页
-
基金
国防科工局十二五重大基础科研项目(c0420110005)
-
文摘
目前对业务流约束验证的研究着重于研究验证单路径的时间约束的满足情况,没有考虑多路径的情况,对时间一致性冲突消解的研究也很少。为验证业务流的时间一致性,从路径分支问题和单任务动态时间满足约束的情况出发,在原有约束一致性上提出路径一致性和强一致性,以及基于STN(Simple Temporal Network)方法的不一致性消解算法并分析其收敛性等性质。最后以医疗流程的业务流为例进行了分析验证。
-
关键词
业务流
时间约束
stn
一致性检验
冲突消解
-
Keywords
Business flow
Time consistency
simple temporal network（stn）
Consistency check
Conflict resolution
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
