-
题名时间约束工作流模型的可调度性验证研究
被引量：3
- 1
-
-
作者
顾春琴
衣杨
常会友
容福丽
王真
-
机构
中山大学信息科学与技术学院
中山大学软件学院
-
出处
《系统仿真学报》
CAS
CSCD
北大核心
2009年第7期2112-2117,共6页
-
基金
国家自然科学基金(60573159)
广东省自然科学基金重点项目(05200302)共同资助
-
文摘
工作流模型可调度验证的目的是验证工作流调度系统时间约束的合理性、对工作流系统实例的时间可达性进行仿真。首先基于可调度性定理,设计了时间约束工作流模型的可调度性验证算法,并提出时间约束修正策略。通过该算法获得可调度的时间约束工作流的时间约束集;通过时间约束修正策略,减小上述可调度性验证方法的时间复杂度。然后,进一步设计了改进的可调度验证方法,从而可获得具有最小执行时间区间的时间约束工作流的时间约束集。实验及分析显示算法具有良好的性能和效果,研究成果对于制定时间约束工作流的时间约束有较好的应用价值。
-
关键词
时间约束工作流模型
可调度性验证
时间约束集
时间约束工作流网
-
Keywords
time constraint workflow models
schedulability verification
time constraint set
TCWF-Net
-
分类号
TP301
[自动化与计算机技术—计算机系统结构]
-
-
题名航空兵协同对海打击时间协同模型研究
被引量：2
- 2
-
-
作者
马海洋
李冬
孙怀亮
-
机构
海军航空工程学院
黄海水产研究所
-
出处
《舰船科学技术》
北大核心
2016年第3期147-150,共4页
-
文摘
时间因素在协同作战中作用日益凸显。首先对简单时间约束网络进行了分析,而后根据时间约束网络,对航空兵协同时间约束进行了定量化,将定量时间约束转化为STCN要求的不等式形式,给出了时间协同STCN模型建模的具体流程,最后,建立了基于STCN的d个协同动作时间约束模型。
-
关键词
航空兵
协同动作
TCN
时间约束模型
-
Keywords
aviation
cooperative actions
TCN
time constraint model
-
分类号
E917
[军事]
-
