基于时间约束网络的动态规划调度算法 被引量：11

1

作者 徐瑞 徐晓飞 崔平远 《计算机集成制造系统-CIMS》 EI CSCD 北大核心 2004年第2期188-194,共7页

为解决与时间有关的规划调度问题,提出了一种基于时间约束网络的动态算法。该算法与传统的计算最短路径方法不同,它只需计算受到新增约束影响的局部网络。同时,给出了算法的最坏时间复杂性,并进行了证明。最后,以Job-Shop调度系统为例... 为解决与时间有关的规划调度问题,提出了一种基于时间约束网络的动态算法。该算法与传统的计算最短路径方法不同,它只需计算受到新增约束影响的局部网络。同时,给出了算法的最坏时间复杂性,并进行了证明。最后,以Job-Shop调度系统为例进行了仿真验证,结果表明,该算法可快速地判断约束网络的一致性,并计算每个工序的最早可能开始时间。 展开更多

关键词 时间约束网络 规划调度 动态算法 最短路径

在线阅读 下载PDF 职称材料

并行工程中时间约束网络建立及冲突检测研究 被引量：10

2

作者 徐文胜 熊光楞 肖田元 《系统仿真学报》 CAS CSCD 2003年第2期185-189,197,共6页

由于并行工程产品开发过程的复杂性,产品开发过程中存在着大量的时间约束关系,因时间约束关系的违反而造成的过程冲突极易发生。本文提出一种以IDEF3过程模型为基础建立并行工程产品开发过程的时间约束网络的方法,在将该时间约束网络转... 由于并行工程产品开发过程的复杂性,产品开发过程中存在着大量的时间约束关系,因时间约束关系的违反而造成的过程冲突极易发生。本文提出一种以IDEF3过程模型为基础建立并行工程产品开发过程的时间约束网络的方法,在将该时间约束网络转化为定量时间约束网络的基础上,提出一种面向定量时间约束网络的冲突检测的方法。基于时间约束网络的冲突检测方法能有效发现并行工程产品开发过程中的过程冲突。 展开更多

关键词 并行工程 时间约束网络 冲突检测 约束满足问题 冲突管理

在线阅读 下载PDF 职称材料

基于时间约束网络的空中编队冲突检测方法研究 被引量：3

3

作者 陈榕 严建钢 邹杰 《电光与控制》 北大核心 2013年第4期7-9,26,共4页

研究了采用图论方法检测空中编队对岸打击协同作战时序安排合理性的方法。论述了空中编队协同对岸打击作战的时间约束特点,结合简单时间约束网络理论,建立了任务的简单时间约束网络模型。借鉴图论的相关理论,将任务简单时间约束网络模... 研究了采用图论方法检测空中编队对岸打击协同作战时序安排合理性的方法。论述了空中编队协同对岸打击作战的时间约束特点,结合简单时间约束网络理论,建立了任务的简单时间约束网络模型。借鉴图论的相关理论,将任务简单时间约束网络模型转化为权值矩阵的形式。分析网络中回路权值与权值矩阵元素的对应关系,提出一致性检测的新方法——权值矩阵法。理论分析表明:该方法可同步并行计算所有回路的权值之和,有效减小了时间复杂度,显著提高了检测效率,更加适合动态协同过程的需求。仿真结果表明该方法可行、有效。 展开更多

关键词 空中编队 简单时间约束网络 一致性检测 权值矩阵法

在线阅读 下载PDF 职称材料

基于时间约束网络的智能活动规划 被引量：6

4

作者 李永峰 周兴社 +2 位作者 杜可君 於志文 毛睿 《计算机科学》 CSCD 北大核心 2011年第2期179-183,共5页

老年人认知能力的下降导致其无法正常规划日常生活的问题已经越来越受到社会的关注。利用信息技术辅助老年人独立完成日常活动,已成为目前一个新的研究领域,其中对其活动的规划和提醒是该领域的一个研究热点。在传统基于时间的活动约束... 老年人认知能力的下降导致其无法正常规划日常生活的问题已经越来越受到社会的关注。利用信息技术辅助老年人独立完成日常活动,已成为目前一个新的研究领域,其中对其活动的规划和提醒是该领域的一个研究热点。在传统基于时间的活动约束表示和冲突检测的基础上,提出一种更为宽松合理的时间约束,其使活动时间更为灵活,同时引入活动规划中新的活动时间冲突问题。通过时间约束网络的相关概念和理论,将活动规划中冲突检测问题转化为简单时间约束网络是否满足一致性的问题。给出时间约束一致性的一般性检测算法,分析得出活动数较大时其算法复杂度呈指数增长。针对一般性检测算法,提出新的检测时间约束一致性的算法,以降低算法复杂度,解决活动规划中的时间冲突问题。最后通过实验对两种算法的时间复杂度进行了比较。 展开更多

关键词 活动规划 时间约束 简单时间约束网络 一致性

在线阅读 下载PDF 职称材料

时间约束优化问题的解空间压缩方法研究 被引量：1

5

作者 张博洋 朱延广 杨峰 《计算机工程》 CAS CSCD 2012年第14期262-265,共4页

在对时间约束优化问题的求解中,普通优化方法的计算效率较低。为此,提出一种时间约束优化问题的解空间压缩方法。获得其对偶时间约束网络,结合路径一致性的求解方法,判断可行解的存在性并剔除非可行解。实验结果表明,该方法能有效减少... 在对时间约束优化问题的求解中,普通优化方法的计算效率较低。为此,提出一种时间约束优化问题的解空间压缩方法。获得其对偶时间约束网络,结合路径一致性的求解方法,判断可行解的存在性并剔除非可行解。实验结果表明,该方法能有效减少迭代次数,提高计算效率。 展开更多

关键词 时间约束优化问题 解空间压缩 对偶时间约束网络 简单时间网络 可行解扩展算法 约束变尺度法

在线阅读 下载PDF 职称材料

STCN的对岸打击时间协同冲突消解研究 被引量：2

6

作者 陈榕 严建钢 周小程 《火力与指挥控制》 CSCD 北大核心 2013年第8期21-24,共4页

为验证航空兵对岸打击中时间协同计划的可行性以及快速地调整时间协同计划,建立了任务间的简单时间约束网络(STCN),并转化成权值矩阵的形式。根据权值矩阵特点,提出了一种检测STCN一致性的权值矩阵法,大大降低了算法复杂度。为加快时间... 为验证航空兵对岸打击中时间协同计划的可行性以及快速地调整时间协同计划,建立了任务间的简单时间约束网络(STCN),并转化成权值矩阵的形式。根据权值矩阵特点,提出了一种检测STCN一致性的权值矩阵法,大大降低了算法复杂度。为加快时间协同计划的调整速度,基于检测结果,提出了一种代价最小的冲突消解方法,避免了消解过程中的重复检测问题,提高了效率,使计划调整更加快捷高效。 展开更多

关键词 时间协同 简单时间约束网络 一致性检测 权值矩阵法 冲突消解

在线阅读 下载PDF 职称材料

广义BOM时间建模

7

作者 闫崇京 《中国机械工程》 EI CAS CSCD 北大核心 2015年第2期184-187,222,共5页

针对广义BOM建模中的时间模糊性和约束多样性问题,提出了BOM时间的多色图描述方法。采用模糊数表达BOM时间,通过图的"着色"实现多种时间约束的表达;建立了BOM时间到时间约束网络的映射规则,给出了BOM时间一致性的判定和求解方... 针对广义BOM建模中的时间模糊性和约束多样性问题,提出了BOM时间的多色图描述方法。采用模糊数表达BOM时间,通过图的"着色"实现多种时间约束的表达;建立了BOM时间到时间约束网络的映射规则,给出了BOM时间一致性的判定和求解方法;最后通过实例对BOM时间模型及其求解方法进行了验证。 展开更多

关键词 BOM 时间约束网络 模糊时间 生产计划

在线阅读 下载PDF 职称材料

基于STCN的机动岸导与航空兵合同对海突击时间规划 被引量：1

8

作者 曾家有 刘天庆 谢宇鹏 《兵工自动化》 2021年第4期54-59,共6页

为增强对海突击作战的整体效能,提出一种基于简单时间约束网络(simple temporal constraint network,STCN)的突击任务时间规划方法。根据STCN的定义,建立多火力打击任务的STCN模型,借鉴图论相关知识,将STCN网络转化为有向加权图形式,利... 为增强对海突击作战的整体效能,提出一种基于简单时间约束网络(simple temporal constraint network,STCN)的突击任务时间规划方法。根据STCN的定义,建立多火力打击任务的STCN模型,借鉴图论相关知识,将STCN网络转化为有向加权图形式,利用Floyd算法处理权值矩阵,进行一致性检验和时间规划方案求解。实例分析结果表明:该方法实现简单、行之有效,可以使多个火力打击任务紧凑有序、不冲突地执行。 展开更多

关键词 简单时间约束网络 机动岸导 航空兵 合同对海突击 时间规划

在线阅读 下载PDF 职称材料

微制造数控系统的实时有限状态机建模研究 被引量：7

9

作者 姚鑫骅 潘雪增 +1 位作者 傅建中 陈子辰 《浙江大学学报（工学版）》 EI CAS CSCD 北大核心 2005年第12期1965-1968,1997,共5页

为提高传统有限状态机(FSM)分析微制造数控系统(NCS)实时性特征的能力,提出了一种实时有限状态机(RTFSM)模型.该模型对传统FSM概念进行扩展,通过增加时间属性来描述状态行为的执行时间以及状态间切换所需的时间耗费.考虑到对复杂NCS控... 为提高传统有限状态机(FSM)分析微制造数控系统(NCS)实时性特征的能力,提出了一种实时有限状态机(RTFSM)模型.该模型对传统FSM概念进行扩展,通过增加时间属性来描述状态行为的执行时间以及状态间切换所需的时间耗费.考虑到对复杂NCS控制流程进行设计、分析计算量较大,引入图论中的时间约束网络理论,采用经过修正的Floyd算法对模型中各个状态行为开始和结束时间的取值范围进行分析计算,从而实现控制流程的可调度性判定.实例研究表明,实时有限状态机可有效地建立微制造NCS控制流程模型,并降低对控制流程进行可调度性分析的复杂度,适用于NCS实时性研究. 展开更多

关键词 实时有限状态机 微制造 控制流程表达 时间约束网络

在线阅读 下载PDF 职称材料

虚拟单元跨单元动态调度问题研究 被引量：2

10

作者 韩文民 朱萍萍 《科学技术与工程》 北大核心 2016年第17期41-48,共8页

针对虚拟单元生产过程中随机扰动所导致的资源冲突、虚拟单元协同生产及共享资源的特点,结合时间约束网络和图论的相关知识,对虚拟单元跨单元动态调度问题进行研究。同时考虑设备资源约束和交货期时间约束,建立具有虚拟单元特色的虚拟... 针对虚拟单元生产过程中随机扰动所导致的资源冲突、虚拟单元协同生产及共享资源的特点,结合时间约束网络和图论的相关知识,对虚拟单元跨单元动态调度问题进行研究。同时考虑设备资源约束和交货期时间约束,建立具有虚拟单元特色的虚拟单元跨单元动态调度的时间约束网络模型,并运用协同优化思想,提出双层时间约束网络的单元间协同优化算法和基于度的反应式人机协同算法用于模型的求解。最后对算法进行了实例验证,结果表明,该方法可为生产计划制定人员快速调整原生产调度计划方案提供便利和一定的理论基础。 展开更多

关键词 虚拟单元 协同优化 时间约束网络 随机扰动

在线阅读 下载PDF 职称材料

基于Bellman-Ford算法的空中编队协同对岸打击 被引量：1

11

作者 陈榕 严建钢 吉礼超 《兵工自动化》 2012年第9期24-26,共3页

为提高空中编队协同对岸打击作战能力,基于Bellman-Ford算法对空中编队协同对岸打击进行研究。为解决空中编队协同对岸打击作战中的时间协同问题,针对空中编队协同对岸打击作战的时间约束特点并结合简单时间约束网络理论,将其时间约束... 为提高空中编队协同对岸打击作战能力,基于Bellman-Ford算法对空中编队协同对岸打击进行研究。为解决空中编队协同对岸打击作战中的时间协同问题,针对空中编队协同对岸打击作战的时间约束特点并结合简单时间约束网络理论,将其时间约束网络模型转化为简单时间约束网络模型;为克服传统简单时间约束网络一致性检测算法时间耗费大的缺点,提出借鉴Bellman-Ford算法检测一致性的新方法,并以实例进行检测、分析。结果表明:该方法能有效解决空中编队对岸打击作战中的时间协同问题,能减小时间复杂度,提高协同效率。 展开更多

关键词 空中编队 协同对岸打击 简单时间约束网络 一致性检测 Bellman-Ford算法

在线阅读 下载PDF 职称材料

敏捷成像卫星自主规划模型与算法 被引量：4

12

作者 刘嵩 陈英武 《国防科技大学学报》 EI CAS CSCD 北大核心 2015年第6期96-102,共7页

针对敏捷成像卫星自主规划问题,将规划、决策、执行和信息反馈相结合,提出星上自主规划框架,并介绍框架结构和模块功能。在分析主要约束条件的基础上,建立基于时间线约束网络的问题模型。通过将各种卫星动作前后衔接,组合成能够完成不... 针对敏捷成像卫星自主规划问题,将规划、决策、执行和信息反馈相结合,提出星上自主规划框架,并介绍框架结构和模块功能。在分析主要约束条件的基础上,建立基于时间线约束网络的问题模型。通过将各种卫星动作前后衔接,组合成能够完成不同任务的动作序列,提出一种面向卫星动作序列的启发式算法。该算法分为规划和决策两个部分,并在卫星执行每一个动作序列的同时基于多种启发式规则进行规划,在动作序列执行结束时进行决策。实验结果表明了自主规划框架和模型的合理性以及算法的有效性。 展开更多

关键词 敏捷成像卫星 自主规划 时间线约束网络 卫星动作序列 启发式

在线阅读 下载PDF 职称材料