资源约束下多过程的不确定时间建模与分析  

Modeling and Analyzing of Uncertain Time for Multi-process of Workflows with Resource Constraints

作　　者：杜彦华[1] 范玉顺[2] 

机构地区：[1]北京科技大学机械工程学院,北京100083 [2]清华大学自动化系,北京100084

出　　处：《机械工程学报》2010年第4期169-176,共8页Journal of Mechanical Engineering

基　　金：国家自然科学基金(60674080);国家高技术研究发展计划(863计划;2006AA04Z151;2006AA04Z166)资助项目

摘　　要：由于测量不精确、信息不完备以及信息包含噪声等原因,工作流的时间信息会具有不确定性。针对不确定性情况下工作流时间建模和分析的实际需求,基于可能性理论,给出扩展模糊时间工作流网(Extended fuzzy timing work flownets,EFTWFN)定义,实现对不确定性时间信息的全面描述。在考虑资源约束情况下,提出一种工作流多过程EFTWFN模型的推理分析方法,将EFTWFN与线性逻辑结合,定义多种变迁间的化简规则,再基于规则逐步化简EFTWFN模型,从而实现对不确定性时间问题的解决。所提出的方法实用性较强,能够有效处理资源约束情况下工作流多过程的定量和定性两方面问题;而且效率较高,可在线性时间复杂度内完成对问题的求解。在某制造企业中的实例应用与仿真验证表明,该方法具有很好的效果。Because of imprecise measurement,incomplete information,fuzzy or fault description,etc,the temporal information of some workflows is usually indeterminate（or uncertain）.According to the actual need for uncertain temporal modeling and analysis in workflow system,based on possibility theory,the concept of extended fuzzy timing workflow nets（EFTWFN） is proposed,which can describe all uncertain temporal information in a workflow.Under the condition of considering resource constraints,the method to analyze multi-process of EFTWFN models is presented.First of all,several inference rules between transitions of workflows are defined on the basis of EFTWFN and linear logic.Then,the total model is reduced and analyzed gradually according to the rules.The method can solve the qualitative and quantitative problems for concurrent workflows with resource constraints.Furthermore,it has higher efficiency and can complete the process of inference in the linear time complexity.In the end,an application of the method is illustrated through an example in manufacturing enterprise and its validity is indicated by simulation.

关 键 词：资源约束 多过程 不确定性 可能性理论 线性逻辑 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]