检索结果-维普期刊中文期刊服务平台

基于时间工作流网的智能交通系统建模与分析被引量：3: 1; 作者林琳郝东蒋昌俊《计算机工程与应用》 CSCD 北大核心 2004年第28期198-201,共4页; 智能交通运输系统是目前世界各国交通运输领域竞相研究和开发的热点,但用工作流分析智能交通系统的研究尚不多见。文章在工作流网中加入时间参数,提出了一种工作流建模工具:时间工作流网,并用时间工作流网建立智能交通系统的工作流模型... 展开更多; 关键词智能交通系统时间工作流网工作流模型; 在线阅读下载PDF 职称材料

扩展模糊时间工作流网的建模与仿真研究被引量：3: 2; 作者杜彦华范玉顺《计算机集成制造系统》 EI CSCD 北大核心 2007年第12期2358-2364,2381,共8页; 针对不确定性情况下工作流时间分析的实际需求,基于可能性理论,引入模糊时间的概念,提出了一种扩展模糊时间工作流网,以便对不确定性时间信息进行全面描述。在考虑不同流程活动之间存在资源约束的情况下,提出了基于扩展模糊时间工作流... 展开更多; 关键词不确定性可能性理论模糊时间工作流扩展模糊时间工作流网; 在线阅读下载PDF 职称材料

基于模糊时间工作流网的建筑产品设计过程资源管理与仿真被引量：2: 3; 作者王要武成飞飞《土木工程学报》 EI CSCD 北大核心 2009年第12期189-196,共8页; 建筑产品设计过程资源管理的效果直接影响着建设项目的开发周期和整体效益。在分析建筑产品设计过程特点、资源属性和约束机制的基础上,研究建筑产品设计过程中模糊时间的确定、资源的分配管理、设计活动的并行迭代和重叠等模型构建的... 展开更多; 关键词建筑产品设计资源管理模糊时间工作流网 PETRI网仿真; 在线阅读下载PDF 职称材料

着色时间工作流网任务调度的时间约束分析被引量：1: 4; 作者李涛钟诗胜《计算机工程与应用》 CSCD 北大核心 2006年第8期16-19,113,共5页; 为实现工作流管理系统中的任务调度和时间管理,避免流程在多任务运转时产生溢出,提高流程的工作效率。采用不固定时延定义了着色时间Petri网,通过控制任务间的最小时距避免了溢出,并用任务监测器实现了相应的控制策略。以各任务间的时... 展开更多; 关键词工作流管理着色时间工作流网任务调度时间约束溢出; 在线阅读下载PDF 职称材料

基于着色时间Petri网的工作流模型及其性能分析被引量：12: 5; 作者李涛钟诗胜《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2006年第6期824-831,共8页; 为了将着色时间Petri网的并行式工作流模型应用于产品数据管理系统,在工作流建模阶段对工作流的静态和动态结构性能加以分析·采用活动扫描法作为工作流系统行为的仿真策略,研究了工作流模型到着色时间工作流网模型的转换过程·... 展开更多; 关键词产品数据管理工作流管理着色时间工作流网可达图性能分析; 在线阅读下载PDF 职称材料

工作流的不确定时间建模与分析新方法被引量：2: 6; 作者杜彦华范玉顺《高技术通讯》 CAS CSCD 北大核心 2008年第5期505-510,共6页; 针对现实企业中工作流时间管理的实际需求,提出了一种多过程不确定时间的建模与分析方法:首先基于扩展模糊时间工作流网(EFIWFN)对不确定性时间信息进行全面描述,然后构建生成图(sprouting graph)来表达 EFTWFN 中实例所经过的路径和时... 展开更多; 关键词多过程资源约束可能性理论扩展模糊时间工作流网生成图; 在线阅读下载PDF 职称材料

时间约束工作流模型的可调度性验证研究被引量：3: 7; 作者顾春琴衣杨 +2 位作者常会友容福丽王真《系统仿真学报》 CAS CSCD 北大核心 2009年第7期2112-2117,共6页; 工作流模型可调度验证的目的是验证工作流调度系统时间约束的合理性、对工作流系统实例的时间可达性进行仿真。首先基于可调度性定理,设计了时间约束工作流模型的可调度性验证算法,并提出时间约束修正策略。通过该算法获得可调度的时间... 展开更多; 关键词时间约束工作流模型可调度性验证时间约束集时间约束工作流网; 在线阅读下载PDF 职称材料

基于生成图的工作流多过程动态时序一致性验证方法被引量：6: 8; 作者杜彦华范玉顺《电子学报》 EI CAS CSCD 北大核心 2009年第10期2181-2186,2192,共7页; 提出了基于生成图的多过程动态时序一致性验证方法.首先从多过程的时间工作流网构建生成图,以图形化方式表达实例可能经过的路径和时间信息.在动态检测时,依据已经完成活动对生成图进行部分更新,再利用图中节点相关信息进行时间约束的验... 展开更多; 关键词时间工作流网生成图时序约束多过程动态验证; 在线阅读下载PDF 职称材料

建筑产品设计过程资源管理的仿真与优化: 9; 作者王要武成飞飞《哈尔滨工业大学学报》 EI CAS CSCD 北大核心 2009年第6期122-126,共5页; 为了提高建筑产品设计过程资源管理效率,以产品设计信息约束条件下设计活动的资源管理和优化为中心,提出基于模糊时间有色工作流网的建筑产品设计过程资源管理模型的数学表达形式,加强了资源管理模型对系统动态模糊时间约束关系的支持,... 展开更多; 关键词建筑产品设计资源管理模糊时间有色工作流网仿真优化; 在线阅读下载PDF 职称材料

题名基于时间工作流网的智能交通系统建模与分析被引量：3: 1; 作者林琳郝东蒋昌俊; 机构同济大学计算机科学系国家高性能计算中心同济分中心; 出处《计算机工程与应用》 CSCD 北大核心 2004年第28期198-201,共4页; 基金上海市重大攻关项目--信息网格在智能信息系统中的应用研究资助; 文摘智能交通运输系统是目前世界各国交通运输领域竞相研究和开发的热点,但用工作流分析智能交通系统的研究尚不多见。文章在工作流网中加入时间参数,提出了一种工作流建模工具:时间工作流网,并用时间工作流网建立智能交通系统的工作流模型。最后对智能交通系统模型的时间性能进行分析。; 关键词智能交通系统时间工作流网工作流模型; Keywords Intelligent Transportation System,timed WF-net,workflow model; 分类号 TP18 [自动化与计算机技术—控制理论与控制工程]; 在线阅读下载PDF 职称材料

题名扩展模糊时间工作流网的建模与仿真研究被引量：3: 2; 作者杜彦华范玉顺; 机构清华大学自动化系; 出处《计算机集成制造系统》 EI CSCD 北大核心 2007年第12期2358-2364,2381,共8页; 基金国家自然科学基金资助项目(60674080) 国家863计划资助项目(2006AA04Z151 2006AA04Z166)。~~; 文摘针对不确定性情况下工作流时间分析的实际需求,基于可能性理论,引入模糊时间的概念,提出了一种扩展模糊时间工作流网,以便对不确定性时间信息进行全面描述。在考虑不同流程活动之间存在资源约束的情况下,提出了基于扩展模糊时间工作流网的多个并行流程建模方法。同时,分别讨论了扩展模糊时间工作流网模型中模糊时间和变迁触发可能性的模拟,提出了模型的仿真分析方法。最后,以某制造企业为例,采用CPN Tools进行建模和仿真分析,验证了方法的有效性。; 关键词不确定性可能性理论模糊时间工作流扩展模糊时间工作流网; Keywords uncertainty possibility theory fuzzy time workflow extended fuzzy timing workflow nets; 分类号 TP391 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名基于模糊时间工作流网的建筑产品设计过程资源管理与仿真被引量：2: 3; 作者王要武成飞飞; 机构哈尔滨工业大学; 出处《土木工程学报》 EI CSCD 北大核心 2009年第12期189-196,共8页; 基金黑龙江省科技厅项目(GA05A101); 文摘建筑产品设计过程资源管理的效果直接影响着建设项目的开发周期和整体效益。在分析建筑产品设计过程特点、资源属性和约束机制的基础上,研究建筑产品设计过程中模糊时间的确定、资源的分配管理、设计活动的并行迭代和重叠等模型构建的关键问题,提出基于模糊时间工作流网的建筑产品设计过程资源模型和仿真分析方法。最后,以某大型商用建筑的详细结构设计阶段资源管理为例,采用CPNTools进行建模和仿真分析,实现在建筑设计开始前对设计过程进行资源管理和优化配置,控制建设项目的开发周期和成本,验证基于模糊时间工作流网的建模与仿真方法的正确性和有效性。; 关键词建筑产品设计资源管理模糊时间工作流网 PETRI网仿真; Keywords building product design resource management fuzzy time workflow net Petri net simulation; 分类号 TU201.4 [建筑科学—建筑设计及理论] TP391.9 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名着色时间工作流网任务调度的时间约束分析被引量：1: 4; 作者李涛钟诗胜; 机构哈尔滨工业大学机电工程学院; 出处《计算机工程与应用》 CSCD 北大核心 2006年第8期16-19,113,共5页; 基金国家863高技术研究发展计划资助项目/CIMS主题资助项目(编号:2003AA411012) 欧盟科研项目(编号:ASIAIT&C-ASI/B7-301/3152-99/72553); 文摘为实现工作流管理系统中的任务调度和时间管理,避免流程在多任务运转时产生溢出,提高流程的工作效率。采用不固定时延定义了着色时间Petri网,通过控制任务间的最小时距避免了溢出,并用任务监测器实现了相应的控制策略。以各任务间的时间间隔最小为优化目标,对串行、并行、条件选择和循环四种基本着色时间工作流网进行了时序分析和任务调度,推导出多任务在基本着色时间工作流网调度的数学模型和着色时间工作流网整体运行时间函数的计算公式。最后通过一个审批流程对论述的任务调度方法进行了验证。; 关键词工作流管理着色时间工作流网任务调度时间约束溢出; Keywords workflow management,colored timed workflow net,task scheduling,time constraints,overflow; 分类号 TP39 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名基于着色时间Petri网的工作流模型及其性能分析被引量：12: 5; 作者李涛钟诗胜; 机构哈尔滨工业大学机电工程学院; 出处《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2006年第6期824-831,共8页; 基金欧盟科研项目(ASI/B7-301/3152-99/72553) 黑龙江省科技攻关项目(2005G3795-00) 哈尔滨市科技攻关项目(2005AA1CG061-9); 文摘为了将着色时间Petri网的并行式工作流模型应用于产品数据管理系统,在工作流建模阶段对工作流的静态和动态结构性能加以分析·采用活动扫描法作为工作流系统行为的仿真策略,研究了工作流模型到着色时间工作流网模型的转换过程·给出了用可达图检验工作流程中是否存在死锁和陷阱的判定定理·以一种循环组件的或分支跳出并行流程的审批工作流为例,对论述的定理和方法进行了分析和验证·; 关键词产品数据管理工作流管理着色时间工作流网可达图性能分析; Keywords product data management workflow management colored timed workflow net reachability graph performance analysis; 分类号 TP166 [自动化与计算机技术—控制理论与控制工程]; 在线阅读下载PDF 职称材料

题名工作流的不确定时间建模与分析新方法被引量：2: 6; 作者杜彦华范玉顺; 机构清华大学自动化系北京; 出处《高技术通讯》 CAS CSCD 北大核心 2008年第5期505-510,共6页; 基金 863计划(2006AA04Z151 2006AA04Z166) 国家自然科学基金(60674080)资助项目; 文摘针对现实企业中工作流时间管理的实际需求,提出了一种多过程不确定时间的建模与分析方法:首先基于扩展模糊时间工作流网(EFIWFN)对不确定性时间信息进行全面描述,然后构建生成图(sprouting graph)来表达 EFTWFN 中实例所经过的路径和时间信息,再依据生成图进行相关问题的分析计算。该方法实用性较强,能够有效推理分析资源约束情况下多过程的不确定时间问题,而且还可通过模糊时间运算,提供活动执行情况的可能性值,作为重要的参数指导用户决策或优化工作流模型。另外,生成图建立后,可针对不同问题进行多次使用,可重用性较好。该方法应用于某一制造企业并采用工具CPN Tools 进行仿真的结果验证了其有效性。; 关键词多过程资源约束可能性理论扩展模糊时间工作流网生成图; Keywords multi-process, resource constraint, possibility theory, extended fuzzy timing workflow nets （EFTWFN）, sprouting graph; 分类号 TP311.52 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名时间约束工作流模型的可调度性验证研究被引量：3: 7; 作者顾春琴衣杨常会友容福丽王真; 机构中山大学信息科学与技术学院中山大学软件学院; 出处《系统仿真学报》 CAS CSCD 北大核心 2009年第7期2112-2117,共6页; 基金国家自然科学基金(60573159) 广东省自然科学基金重点项目(05200302)共同资助; 文摘工作流模型可调度验证的目的是验证工作流调度系统时间约束的合理性、对工作流系统实例的时间可达性进行仿真。首先基于可调度性定理,设计了时间约束工作流模型的可调度性验证算法,并提出时间约束修正策略。通过该算法获得可调度的时间约束工作流的时间约束集;通过时间约束修正策略,减小上述可调度性验证方法的时间复杂度。然后,进一步设计了改进的可调度验证方法,从而可获得具有最小执行时间区间的时间约束工作流的时间约束集。实验及分析显示算法具有良好的性能和效果,研究成果对于制定时间约束工作流的时间约束有较好的应用价值。; 关键词时间约束工作流模型可调度性验证时间约束集时间约束工作流网; Keywords time constraint workflow models schedulability verification time constraint set TCWF-Net; 分类号 TP301 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名基于生成图的工作流多过程动态时序一致性验证方法被引量：6: 8; 作者杜彦华范玉顺; 机构北京科技大学机械工程学院清华大学自动化系; 出处《电子学报》 EI CAS CSCD 北大核心 2009年第10期2181-2186,2192,共7页; 基金国家自然科学基金(No.60674080) 国家863高技术研究发展计划(No.2006AA04Z151 No.2006AA04Z166); 文摘提出了基于生成图的多过程动态时序一致性验证方法.首先从多过程的时间工作流网构建生成图,以图形化方式表达实例可能经过的路径和时间信息.在动态检测时,依据已经完成活动对生成图进行部分更新,再利用图中节点相关信息进行时间约束的验证.该方法可以解决资源约束情况下多过程时序一致性动态验证问题,而且能定位模型中出问题的路径,指导用户进行工作流时序异常处理或优化工作流模型;另一方面,生成图可供多个时序约束进行验证使用,具有较好的可重用性.; 关键词时间工作流网生成图时序约束多过程动态验证; Keywords time workflow net sprouting graph temporal constraint multi-process dynamic checking; 分类号 TP301 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名建筑产品设计过程资源管理的仿真与优化: 9; 作者王要武成飞飞; 机构哈尔滨工业大学管理学院; 出处《哈尔滨工业大学学报》 EI CAS CSCD 北大核心 2009年第6期122-126,共5页; 基金黑龙江省科技厅资助项目(GA05A101); 文摘为了提高建筑产品设计过程资源管理效率,以产品设计信息约束条件下设计活动的资源管理和优化为中心,提出基于模糊时间有色工作流网的建筑产品设计过程资源管理模型的数学表达形式,加强了资源管理模型对系统动态模糊时间约束关系的支持,解决了对建筑产品设计过程资源管理的仿真和优化的关键问题.以某办公楼结构详细设计过程为例,构建基于模糊时间有色工作流网的建筑产品设计过程资源管理模型,利用CPNTools仿真软件进行资源管理仿真分析和优化研究,验证方法的正确性和实效性.; 关键词建筑产品设计资源管理模糊时间有色工作流网仿真优化; Keywords building product design resource management fuzzy timed colored workflow net simulation optimization; 分类号 TP391 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	基于时间工作流网的智能交通系统建模与分析	林琳郝东蒋昌俊	《计算机工程与应用》 CSCD 北大核心	2004	3	在线阅读下载PDF 职称材料
2	扩展模糊时间工作流网的建模与仿真研究	杜彦华范玉顺	《计算机集成制造系统》 EI CSCD 北大核心	2007	3	在线阅读下载PDF 职称材料
3	基于模糊时间工作流网的建筑产品设计过程资源管理与仿真	王要武成飞飞	《土木工程学报》 EI CSCD 北大核心	2009	2	在线阅读下载PDF 职称材料
4	着色时间工作流网任务调度的时间约束分析	李涛钟诗胜	《计算机工程与应用》 CSCD 北大核心	2006	1	在线阅读下载PDF 职称材料
5	基于着色时间Petri网的工作流模型及其性能分析	李涛钟诗胜	《计算机辅助设计与图形学学报》 EI CSCD 北大核心	2006	12	在线阅读下载PDF 职称材料
6	工作流的不确定时间建模与分析新方法	杜彦华范玉顺	《高技术通讯》 CAS CSCD 北大核心	2008	2	在线阅读下载PDF 职称材料
7	时间约束工作流模型的可调度性验证研究	顾春琴衣杨常会友容福丽王真	《系统仿真学报》 CAS CSCD 北大核心	2009	3	在线阅读下载PDF 职称材料
8	基于生成图的工作流多过程动态时序一致性验证方法	杜彦华范玉顺	《电子学报》 EI CAS CSCD 北大核心	2009	6	在线阅读下载PDF 职称材料
9	建筑产品设计过程资源管理的仿真与优化	王要武成飞飞	《哈尔滨工业大学学报》 EI CAS CSCD 北大核心	2009	0	在线阅读下载PDF 职称材料