工作流管理系统动态变更模型与实例迁移方法研究

为提高工作流管理系统的柔性,研究了工作流动态变更模型和实例迁移方法.在基于统一建模语言和多色集合的工作流集成建模方法的基础上,建立了工作流动态变更模型,对节点(分支)的增加、删除和结构变化等常见动态变更进行了形式化描述.提出了工作流区域的概念,将当前运行节点和动态变更节点放在同一个层次上排序.基于基本模型结构的简化规则,提出了工作流区域的识别算法和排序规则.按照工作流实例迁移过程中可能采用的迁移策略,提出了支持动态变更的工作流实例迁移方法,并分析了实例迁移前后结构和语义的正确性.最后,以客户订单处理流程为例,验证了以上模型和方法的有效性.     

基于约束满足性的工作流执行成功率提高方法

为了能在工作流运行阶段预知执行的成功性,便于及时调整企业资源等因素,提高工作流运行的成功率,通过分析约束在模型和运行层次的不同作用,找出约束满足性对工作流执行成功性的影响因素;基于约束的相关性和满足的时效性,提出基于约束满足性的工作流执行路径的有效性识别方法,并给出相应的识别算法.通过示例进行了定性分析,结果表明了该方法的可行性.     

基于Web的轻量级工作流管理系统

工作流管理针对控制、监控、优化和支持业务过程提出了一种新的解决方案。遵循工作流管理联盟参考模型,研发了一个基于Web的轻量级工作流管理系统,阐述了其基于J2EE架构的体系结构的设计,用形式化方法详细描述了其工作流理论模型。提出了一个时间约束有向图模型,并根据提出的动态角色分配方法,给出了一个基于公钥基础设施技术的条件化基于角色的访问控制方法。最后,给出了工作流实例的引擎驱动算法。实际监测和用户反馈结果表明,采用该工作流管理系统作为框架的应用系统,能够显著缩短流程信息应用系统的开发周期,大大提高用户的办事效率。     

基于扩展P/T_系统的工作流模型及执行算法研究

根据PetriNet理论提出了基于扩展P／T_系统的工作流模型及执行算法,并论证了保证工作流模型正确性的条件。该方法在模型的流关系上具有逻辑判断功能,使工作流执行中的控制关系通过资源携带的相关数据得以实现,解决了工作流中冲突关系的决策及处理发生权的判断问题,提高了工作流的性能。实例表明,该方法容易实现业务过程与系统模型的真实对应,具有直观、描述能力强、容易维护的优点,可保证系统具有良好的安全性、进展性等性能。     

基于工作流模型的资源配置优化方法

工作流模型在执行过程中所引用的资源数量可以被优化。当业务实例在工作流模型中的逗留时间受到约束时,假设每一活动的业务实例逗留时间服从负指数分布,给出了以资源单位时间消耗成本最小化为目标的求解最优资源数量的方法。分析了业务实例在工作流4种基本结构的逗留时间分布与在每一活动的逗留时间分布的关系,给出了业务实例在工作流模型中总逗留时间与各资源数量的关系。最后,给出了一个基于工作流模型的资源优化示例。     

基于图的工作流访问控制模型

为了直观和准确地描述工作流访问控制,提出了一个基于图的工作流访问控制模型.使用图和图变换对模型进行形式化描述,并给出了模型应用的相关算法.在该模型中,使用类型图表示访问控制中各元素的类型信息,使用带变量规则表示系统授权状态转换,使用肯定、否定约束限制图结构,并建立了基于图的工作流访问控制授权约束和图变换规则模板.提出了基于图变换的约束一致性验证算法和使用图终止性对授权合理性验证的方法.最后,通过一个实例对模型进行了验证.     

基于层次时间Petri网的工作流模型可达性分析方法

为了有效管理工作流,需要对工作流模型进行合理性分析与验证.为此,提出了一种基于层次时间Petri网的工作流模型,给出了从时间Petri网工作流模型转化成基于层次时间Petri网工作流模型的规则及算法.证明了任何一个能够转化成基于层次时间Petri网的时间Petri网工作流模型在物理上都是可达的.在时间方面,提出了基于层次时间Petri网工作流模型的层次时间树算法,并给出了时间可达性的静态和动态分析与验证方法.通过实例验证了该方法在工作流模型的物理、时间静态和时间动态可达性分析中的有效性.     

基于状态控制的动态柔性工作流

为了解决工作流的动态性及柔性问题，提出了一种基于状态控制的解决方案。在该方案中，采用面向对象的设计方法，将工作流中的活动节点和流转公文描述成对象，并采用访问控制矩阵的方法来描述对象状态的迁移过程。重点分析了如何通过角色流和控制流的相互配合来实现基于状态的动态访问控制，提出了工作流模型进行动态演化的算法。另外，提出了一系列相应的演进规则，使动态变化的工作流程能与原流程实现无缝衔接，在适应动态变化的同时具备了一定的柔性，给出的程序代码风格的演化算法和演进规则，保证了实际应用的可行性。     

基于角色的工作流授权约束规格说明

在工作流管理系统中,数据在工作流任务中流动,执行任务的用户在变化,用户的权限也在变化,现有的授权方法不能很好地描述上述这种职责分离的状态。为此,提出了一个工作流授权约束模型。该模型在工作流应用语境中定义了角色层次函数、任务偏序关系和互斥任务,在此基础上给出了一个基于角色的工作流授权约束语言,它可以准确描述工作流系统的职责分离要求,表达静态、动态授权约束和授权的历史信息,同时,所得到的约束规则集规模相对较小,保证了一致性验证在时间和空间上的可行性。     

一种离散时间区间Petri网

运用Petri网对实际系统进行建模时,事件的发生往往必须在一个时间区间序列内。针对此问题,提出一种离散时间区间Petri网模型。着重对模型的可达性进行了分析,给出模型的合法变迁序列判定算法,并在此基础上提出模型的状态可达性判定算法。通过实例分析,验证了所提的离散时间区间Petri网模型的可行性和有效性,该模型可用于工作流分析、业务过程建模等领域,能够进一步增强Petri网对离散事件系统的模拟与分析能力。     

浅谈危险品车辆运输安全隐患对策及监管措施

危险品车辆作为物流运输的特殊群体，因事故危害性大，国家巳制定了相关标准，但标准在实际执行时，人们对反光 标识缺乏相应的认识，市场监管也缺乏有效的手段。分析危险品车辆事故危害及原因，介绍国家标准法规对危险品车辆安全标识 的规定和危险品车辆反光标识市场现状，提出简单可行的对策，以加强人们对标准的认知，尽可能降低事故的发生率。     

复杂产品研制质量计划执行管理研究

针对目前复杂产品研制过程质量计划在监控执行过程方面存在的问题，构建了多级质量计划执行模型，对模型中质量计划的复杂业务及状态控制问题进行了分析和研究，在此基础上提出了基于层次模型的质量计划状态控制方法。最后，以一个具体的质量计划执行过程为例论证了方法的有效性。     

面向服务的企业集成体系中信息安全模型研究

为了解决面向服务的企业集成体系中的信息安全问题,提出了建立在面向服务的分布式J2EE企业集成平台上的可伸缩信息安全机制。该机制实现了基于可扩展标记语言规范扩展的简单对象访问协议加密和数字签名机制,建立了基于多角色和授权随工作流中任务实例变迁而变化的动态访问控制模型,并实现了多角色定制、动态任务授权以及多角色之间的授权和认证等关键技术。通过可伸缩信息安全机制,用户可以动态、安全地进行企业集成体系中系统的访问。最后,给出了可伸缩信息安全机制在电力系统企业集成体系中的信息安全解决方案。     

基于最优生产技术的业务过程资源动态随机优化配置

目前在不确定环境下,采用事先定义方式的静态优化配置方法缺乏柔性,难以适应实际业务过程中的动态性与不确定性,而采用共享队列和负载均衡的动态资源配置策略,又缺乏对资源配置的全局优化,不能保证过程执行的整体性能最优.为此,首先采用独立的资源队列和随机概率统计理论,建立了用于资源随机优化配置的业务过程分析模璎,然后提出了基于最优生产技术思想的业务过程资源动态随机优化配置的方法,最后以应用实例及仿真实验验证了所提资源配置方法的有效性和优越性.     

Stopping Criterion in Iterative Solution Methods for Reynolds Equations

Iterative solution methods are usually used for solving a variety of Reynolds equations in lubrication analysis due to their simplicity and effectiveness. The objective of this study is to present a robust stopping criterion for iterative methods, by which the iterative process of the methods can be terminated for high execution efficiency without sacrificing the solution accuracy. In this study, the compressible and incompressible fluid Reynolds equations are solved by popular relaxation methods. A very efficient preconditioned conjugate gradient method is also applied in a case for verification. The proposed stopping criterion for iterative methods is based on a coarse-grid truncation error analysis. Three different gridwork groups are required for estimating the truncation errors, which involves only a small amount of additional execution time. In the numerical models examined, the amount of truncation error in a model is insensitive to the gridwork used. It is also found that in a calculation the best prediction of truncation error for terminating the iteration is obtained by using the average fluid film pressure. It is shown that for all the cases tested the proposed stopping criterion can meet the objective stated. The stopping criterion can also be applied when the efficiency of iterative methods is to be compared in solving Reynolds equations.     

基于Agent的分布式工作流控制模型研究

为了实现虚拟企业的业务过程管理,引入智能体,设计了一种新型工作流控制模型.该模型利用任务执行智能体的信息传递,实现分布式工作流的动态划分;利用评估工作流引擎,实现对工作流中任务前置条件的评价.任务执行智能体所实施的工作流执行与控制算法,分两个阶段评价工作流的依赖,避免了不必要的依赖评价和信息发送,从而有效完成虚拟企业的分布式工作流控制.     

Production planning in virtual cell of reconfiguration manufacturing system using genetic algorithm

This paper focuses on the scheduling problem of the reconfiguration manufacturing system (RMS) for execution level, where the final objective is to output a production plan. The practical situation in Chinese factory is analyzed, and the characteristics are summarized into the contradiction between flow and job shop production. In order to handle this problem, a new production planning algorithm in virtual cells is proposed for RMS using an improved genetic algorithm. The advantages of this algorithm have three parts: (1) the virtual cell reconfiguration is formed to assist making production plans through providing relationship among task families and machines from cell formation; (2) The operation buffer algorithm is developed for flow style production in cells, which can realize the nonstop processing for flow style jobs; and (3) The multicell sharing method is proposed to schedule job shop jobs in order to fully utilize manufacturing capability among machines in multicells. Based on the above advantages, an improved genetic algorithm is developed to output scheduling plan. At last, the algorithm is tested in different instances with LINGO and the other genetic algorithm, and then the scheduling solution comparison shows the proposed algorithm can get a better optimum result with the same time using the comparison algorithm.     

基于Petri网的工作流模式研究

为了满足企业对过程模型描述能力的需求，提出了一个基于Petri网的新工作流模式完全解决方案。在深入研究工作流模式的基础上，应用高级Petri网技术来构造所有的工作流模式。抑制弧通过测零帮助实现多实例的同步，消耗库所负责移除多余的标记，带标记的库所实现对变迁触发序列的控制；设计加权弧和限制容量的库所来实现同步M条路径中被激活的N条的情况。本方案实现了将所有的工作流模式，从基本到复杂，都映射到相应的Petri网上。最后，通过一个集成制造过程模型的实例，说明基于Petri网的方案能够完全满足企业在模型描述能力上的各种复杂需求。     

基于物理属性的虚拟装配过程

针对虚拟装配系统中存在仿真程度不够高的缺点,提出基于物理属性的虚拟装配过程研究。通过分析虚拟装配过程对零部件物理属性的需求,建立零部件物理属性模型,给出确定零部件各物理属性以及自由运动状态的方法,分析碰撞响应对运动状态的影响。研究虚拟装配系统中装配对象间的交互过程,使用多刚体系统动力学分析方法对零部件装配过程中的动力学以及运动学进行分析,给出装配对象的运动学与动力学方程。通过把抽象的约束关系转换为基本约束方程表达运动副约束,并把运动副约束用于装配对象的运动分析。提出基于碰撞与静力学的稳态分析方法研究零部件达到稳定状态的条件。应用实例表明上述方法有效可行。     

A modeiing approach for designing a value chain of virtual enterprise

As the advent of digital economy changes business environment dramatically, virtual enterprise (VE), in general the interactions among business partners in a value chain, has become a key factor to survive under the competitive business environment. VE reveals that more complex and dynamic business processes should be considered as assembled service components in order to integrate the collaborative business processes. Therefore, a formal standard schema for describing and managing the business processes is required. In this paper, we propose a consistent modeling approach that combines enterprise modeling and simulation modeling to design a value chain of a VE. This methodology will provide designers with insight into the business processes of a VE and help identify and resolve unpredictable bottlenecks on the execution of virtual business processes. This paper also illustrates an implemented modeling tool which is based on the generalized model suggested by the working group of the international conference on enterprise integration and modeling technology (ICEIMT) and notations by the object management group (OMG)’s unified modeling language (UML) profile for enterprise distributed object computing (EDOC).