扩展模糊时间工作流网的建模与仿真研究

针对不确定性情况下工作流时间分析的实际需求,基于可能性理论,引入模糊时间的概念,提出了一种扩展模糊时间工作流网,以便对不确定性时间信息进行全面描述.在考虑不同流程活动之间存在资源约束的情况下,提出了基于扩展模糊时间工作流网的多个并行流程建模方法.同时,分别讨论了扩展模糊时间工作流网模型中模糊时间和变迁触发可能性的模拟,提出了模型的仿真分析方法.最后,以某制造企业为例,采用CPN Tools进行建模和仿真分析,验证了方法的有效性.     

时间约束工作流模型的简化分析与可调度性验证

为解决复杂工作流的时间建模与可调度性验证问题,提出了将简化规则应用到Petri网工作流模型中的方法.首先,给出了时问约束Petri网的相关定义和基于此的工作流建模方法,实现了工作流模型及其时间信息建模.然后,为了对工作流网的可调度性进行验证和分析,给出了时间约束Petri网时间可调度的概念,并根据时间约束等价变换原则,提出了基于时间约束Petri网的四种基本工作流组件模型的简化规则和压缩推理方法.该方法可以对复杂的工作流模型进行简化,计算模型节点的时间参数,从而完成含有时间信息工作流结构或流程的时间建模和可调度性分析.最后,以保险索赔为例验证了所提方法的可行性.     

模糊时态工作流网的建模和时间可能性分析

现有的工作流模型中很少考虑时间不确定性，以及资源和变迁的有效时间约束问题。为此，通过对模糊时间Petri网的各个元素中引入时间约束，提出了一种工作流模型，即模糊时态工作流网，给出了该工作流网中各种时态元素的计算方法，并讨论了利用该网对工作流中的时态现象进行时间建模和时间可能性分析的方法。最后，用一个实例解释了这些方法的使用。模糊时态工作流网可以对带有时间不确定性和时间约束的工作流模型中的时态信息进行建模，并对一些典型的时间约束进行时间可能性分析。     

工作流多过程动态时序一致性的实时模型检测

现实企业中通常存在多个并行的工作过程,并且它们之间可能存在资源冲突。在运行阶段,动态验证资源约束下多个过程的时序一致性具有重要意义。基于实时模型检测技术,提出一种工作流多过程时序一致性动态验证方法。采用时间自动机(Time automata,TA)对多个并发过程建模,并将所需验证的时序约束转化为对TA模型的性质查询。当运行到检测点,依据已知的时间信息更新TA模型,再进行相关性质查询,从而完成时序约束的验证。该方法实用性较强,能够有效处理现实业务环境中资源约束情况下多个业务过程的动态时序验证问题。具有较好的柔性和扩展性,当时序约束发生变化时,仅需改变相应TA模型。本方法有多种实时模型检测工具或软件的支持。     

基于制造能力的工作流模型研究

工作流模型是工作流管理系统的核心和基础,许多方法可以应用于建模过程,但是这些方法缺少对制造过程,尤其是网络化制造过程的有力支持,不能满足制造领域工作流建模的要求。通过对现有面向制造工作流模型的改进,提出一种新的模型,包括四个子模型:基于多色集合理论构建过程模型,实现过程元素的分离,提高模型定义的动态性;基于Web服务的能力模型提供制造能力的服务;从用户角度出发,约束模型建立评价服务和流程的相对指标;通信模型以SOAP为基础保证模型的信息交互通畅。提出的基于制造能力的工作流模型适合于组织松散耦合、模型动态构建、信息分布定义的网络化制造环境。     

基于工作流模式的BPMN过程模型验证方法

针对业务流程建模符号过程模型语义验证问题,提出了一种新方法.该方法基于正确的业务流程建模符号过程模型是工作流模式的合理组合的理念,通过扩展和改进业务流程建模符号及其执行语义,设计了工作流模式的形式化编码规则;借鉴Petri网化简方法,设计了工作流模式组合化简规则;基于工作流模式编码及组合化简规则,给出了业务流程建模符号过程模型验证方法.应用示例表明了该方法的有效性.     

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

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

支持团队工作的工作流技术研究

针对工作流系统对动态团队和不确定性任务支持的要求，首先利用面向对象技术建模团队的组织结构，并采用对象约束语言规范化描述团队内部结构约束和“团队～任务”约束，然后提出了任务版本的概念，用来解决团队对应的工作流任务不确定问题，并讨论了集成实现中的若干关键问题。通过定义工作表单来描述任务数据，利用一定的规则实现多任务版本的配置，最后给出了具体的实现步骤。     

基于过程挖掘与复杂网络集成的制造过程资源建模与关键加工节点识别

为了解决多任务复杂制造过程中的工作流变异导致的流程和资源的不确定性,进而导致制造资源模型出现实时变化,提出了基于过程挖掘与复杂网络集成的制造过程资源模型,得到了流程与资源信息集成的资源复杂网络模型与分析方法。首先,从制造过程中实时产生的事件日志出发,提出了一种基于统计α算法的过程挖掘算法,解决了制造过程工作流重构问题,可实时发掘实际制造过程中的工作流模型。接着,通过集成过程挖掘算法和复杂网络理论,构建了集流程信息与资源信息于一体的资源网络模型,提出了资源节点与流程节点的关联性分析方法,识别制造过程中的关键加工节点。最后,结合一个复杂的锥齿轮轴-轴承套组件装配过程实例,全面验证了所提出方法在制造过程工作流重构、资源网络模型建模、资源特性分析与关键加工节点的识别上的有效性。     

基于动态适配的数控信息语义集成

针对多源数控信息存在语法结构和语义异构特点而难以有效集成的问题,根据数控加工过程中信息组织形式的特点,建立了数控信息资源领域本体,提出了一种基于动态适配模式的数控信息语义集成框架.该框架在建立数控信息知识库的基础上,实现从语法和语义两个层次对多源异构数控信息的集成.描述了动态适配模式下的信息集成过程和语义映射过程,提出了利用基于可扩展标记语言的约束规则的实现方法和语义查询实现模型,并对动态构建相互独立适配通道和动态配置规则约束进行了描述.通过原型实例分析,证明了该框架及其实现方法的可行性.     

加工过程的不确定性信息分析

加工过程存在着模型、参数和测量等不确定性信息 ,它们具有随机性、模糊性或复合不确定性。研究加工过程的不确定性信息 ,对研究基于信息优化的加工过程智能控制具有重要意义     

可靠性度量中的不确定信息处理

在可靠性度量中,除常见的随机不确定信息,还普遍存在着模糊不确定信息,因此在传统可靠性分析的基础上,基于模糊理论提出一种综合处理随机不确定信息与模糊不确定信息的可靠度计算方法,获得能同时处理概率密度函数与隶属函数的可靠度计算模型;并且在改进型证据理论的基础上对不同来源的可靠性信息进行融合处理,提出两种信息融合方式。研究结果表明,在随机性与模糊性并存的情况下,此可靠性度量模型能够较好地处理随机信息与模糊信息,所得结果有很高的准确性,并且能够动态地反映可靠度的计算机理;信息融合方法能够较好地处理不同来源的可靠性信息,对多源信息情况下的可靠度计算提供一种处理方法。     

工作流模型时间有界性验证与分析研究

对工作流模型分析进行了层次划分后，提出了工程流模型时间有界性的问题，从完成工作流管理联盟给出的工作流图形化模型向工作流网的模型映射之后，利用绝大多数描述业务过程的工作流模型都具有自由选择性的特点，提出了一种将映射得到的自由选择工作流网分解为一组变迁组件网的分解算法，在此基础上，结合工作流模型的资源视图，详细阐述了基于Petri网理论的工作流模型时间有界性分析与验证方法。     

基于模糊贝叶斯网络的多态系统可靠性分析及在液压系统中的应用

为使贝叶斯网络能够对模糊信息和不确定信息进行处理,提出一种新的基于模糊贝叶斯网络的多态系统可靠性分析方法。该方法将模糊集合理论引入到贝叶斯网络可靠性分析中,考虑部件故障状态、部件故障率的模糊性以及部件间故障逻辑关系的不确定性,使贝叶斯网络具有处理模糊信息的能力。该方法采用模糊数描述系统和部件的故障状态,利用模糊子集描述部件的故障率,运用贝叶斯网络的条件概率表描述部件间的不确定联系。该方法应用到载重车液压悬架系统的可靠性分析实例中,分析结果表明该方法在进行系统可靠性分析时能够充分利用系统的模糊信息和不确定信息,从而提高系统可靠性分析的效率。     

工作流系统模型的建立及其可靠性的评价

复杂产品的设计、制造及销售是高度复杂的工作流程 ,且流程具有极大的不确定性 ,这就要求工作流管理系统有较大的柔性。动态的、分布式的以及智能化的工作流是支持复杂流程管理的最佳选择 ,但这样的工作流却引起系统的不确定性 ,因此 ,必须给出工作流的可靠性评价。建立了工作流结构的数学模型 ;提供了计算系统资源耗费及流程不确定性的方法 ;对包含‘环’结构的系统 ,该法实现对‘环’的提取 ,以便于资源耗费的计算 ;随后给出了可靠性评价方案 ;对一工程实例进行了详细的分析。     

敏捷产品开发中的时间工作流建模研究

在大规模定制模式下如何高效地处理敏捷产品开发过程中的工作流是实现敏捷产品开发的关键问题。敏捷产品开发中的工作流具有很强的时间逻辑关系。在敏捷产品开发的工作流模型中增加时间信息，并利用J．F．Allen研究的时间逻辑对时间信息进行验证，建立敏捷产品开发的时间工作流模型；在敏捷产品开发过程中从本企业各部门选择合适的人员和动态联盟中其他企业的人员组建多功能开发团队，并运用时间工作流管理系统进行管理，并通过Internet来对工作流进行集成。     

基于模糊Petri网的变电站故障诊断研究

变电站应用SCADA系统可以获得大量继电保护和断路器动作信息,然而这些信息可能是不完全不确定的,这限制了故障诊断的有效性和正确性。文章尝试使用模糊Petri网来处理SCADA系统获得的这些不确定信息,以期获得较好的并行处理性和容错性。在模糊Petri网的基本概念的基础上,阐述了搜索故障区域的方法,建立了故障诊断的模糊Petri网模型。运用文中所提出的方法进行了实例研究,仿真分析结果说明了方法的可行性。