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

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

时间约束工作流模型的可调度性分析算法

针对目前工作流管理系统对时间管理支持的严重局限，提出了基于Petri网的工作流时间约束建模方法，首先，将工作流网扩展为时间约束工作流网，然后分析了工作流程的时间特性，并提出了时间约束工作流网的可调度性分析算法，研究结果表明，所提出的建模方法能全面描述工作流的时间信息，对丰富工作流系统的时间约束建模理论具有重要的参考价值。     

时间约束层次细化工作流建模及验证研究

为降低工作流建模和验证的复杂度,提出了一种自顶向下逐步细化的建模与验证方法。首先,引入了层次细化工作流网,实现复杂工作流建模,将满足可靠性的子网,替换顶层结构中输入库所安全的子网变迁,使细化后的工作流模型自动地满足可靠性要求。为验证可调度性,提出了时间约束层次细化工作流网,给出子网与子网变迁之间的时间约束等价变换原则,可保持细化前后工作流网可调度性不变的充分条件。依此条件,分别给出了串行、并行、选择、循环4种基本组件的压缩推理规则,并在线性复杂度内解决了层次细化工作流网时间验证问题。     

基于petri网系统规约的工作流建模验证

本文针对工作流过程建模的复杂性和易出错的状况，提出了基于Petri网系统规约的模型验证方法，提出了工作流网向Petri网映射的对应关系，给出了Petri网模型的八种规约规则。这些规则在实际应用中证明是可行的。     

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

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

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

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

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

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

一种新的面向用户的工作流模型

为满足企业用户对工作流模型的描述能力和分析能力的要求,提出了一种新的面向用户的工作流描述模型——工作流描述网。该描述网可直接支持所有的工作流模式,特别是多实例、取消、高级同步等绝大多数工作流模型不直接支持的模式;通过提供多实例任务、取消任务、带传递变迁的任务等高级组件,直接支持工作流模式中几个主要复杂模式,每一个高级组件都对应一定结构的工作流描述网,并具有形式化的语义,在分析时按照一定的规则展开;基于Petri网,通过增加控制变量,及其与变迁间的通信机制来弥补Petri网无法处理复杂数据结构的缺陷。最后,通过实例说明了如何对各种复杂流程进行建模和分析。     

基于Petri网的位置敏感工作流建模与正确性验证方法。

针对移动业务过程中对位置信息建模和分析的需求,结合目前已有的工作流建模方法,提出一种针对位置敏感工作流进行建模和正确性验证的方法。该模型以工作流网为基础,结合6种描述位置之间关系的原语,以位置约束的形式定义业务流程中的位置信息及其与活动之间的关系,然后基于Petri网的状态可达图得出对所建立模型进行正确性检查的方法。基于ProM平台开发了一个位置敏感工作流的建模工具,验证了所提建模方法的可行性和算法的正确性。     

虚拟企业供应链工作流模型的研究与实现

采用扩展的Petri网作建模工具,将活动分到每个角色,基于角色建立虚拟企业中电子商务的工作流模型。该模型在概念层上比较容易表示各伙伴企业的实现业务目标过程中的动态行为;在物理实现时比较基于分布对象体系结构实现对象的即插即用。系统建立在CORBA Web/Intranet平台上,原型系统可以按图形化的模型跨平台互操作、触发相应的处理单元PAS、共享信息、执行企业的活动,浏览器可动态地显示业务执行的过程。整个企业的经营管理活动按一定的规则和次序有控地进行。     

基于设计协作环的产品方案设计工作流模型及实现

产品方案设计阶段是决定产品质量、企业市场竞争力最为关键的阶段;不同企业通过组合各自优势资源进行企业协作则是提高市场竞争力的一个重要途径。在对面向质量的产品方案设计过程进行分析的基础上,提出设计协作环的概念,建立了基于设计协作环的工作流模型,并通过引入多代理技术,建立了支持该工作流模型的系统实现结构。     

基于Petri网的一致性检验的计算机实现

介绍基于约束Petri网的规则集一致性检验命题的验证和实际应用,首先对约束Petri网的概念作了简要介绍。然后着重讲述应用面向对象方法开发的Petri网建模工具,以及一致性检验命题的软件实现方法,最后以某卫星电源系统为对象,对其故障诊断系统的知识库的一致性检验进行实际应用。     

CIMOSA功能模型的Petri网表示方法

本文介绍了ＣＩＭＯＳＡ建模框架和功能模型的组成结构，指出了Ｐｅｔｒｉ网方法是进行ＣＩＭＯＳＡ模型仿真和模型验证的有效手段。为了解决ＣＩＭＯＳＡ模型仿真和执行中出现的不确定性、资源共享和信息传递问题，提出了一种扩展的有色Ｐｅｔｒｉ网方法—控制和集成网方法，并给出它的定义和符号表示形式，在此基础上研究了ＣＩＭＯＳＡ功能模型的Ｐｅｔｒｉ网表示方法并给出了由ＣＩＭＯＳＡ功能模型到Ｐｅｔｒｉ网模型的转换步骤及一个应用示例。     

运用正反问题迭代法进行叶片式气液混输泵叶轮的水力设计

基于正反问题迭代,提出了叶片式气液混输泵叶轮水力设计的方法。叶轮叶片的初始几何形状根据给定的速度矩分布规律进行设计,通过叶轮内CFD三维流场分析结果,改进流道参数和速度矩分布规律以优化叶片几何参数和流场分布。外特性试验结果表明,设计叶轮可在较宽的流量范围及含气量范围下工作,最优工况效率可达44．0％,且能在短时间内输送100％的气体而不发生气堵现象,证明了该设计方法的有效性和可靠性。     

基于扩展随机Petri网的可重组制造系统建模与分析方法

可重组制造系统(Reconfigurable manufacturing system,RMS)可根据市场变化进行组态调整和组元升级,系统的建模与分析方法必须能适应上述特点。提出基于扩展随机Petri网(Extended stochastic Petri nets,ESPN)的模块化建模方法,将RMS不同的加工资源对应于相应的ESPN基本模块,并通过过渡变迁合成ESPN模型,该模型能适应任意分布的制造系统,可更加精确地反映生产过程。在此基础上采用基于行为表达式的分析方法,得到系统性能指标,该分析方法可不必画出可达图而直接得到系统性能关系函数,使分析过程更加直观、简洁。可重组电动机生产线的实例证明了该建模与分析方法的有效性。     

现代产品几何技术规范(GPS)的数字化理论基础

现代产品几何技术规范(generation geometrical product specification and verification，GPS)是ISO／TC213针对产品的设计与制造而规定的一系列宏观和微观的几何技术规范，它包括产品的规范过程、生产过程、认证(检验)过程以及不确定度的评定和控制。表面模型是ISO／TC213GPS语言中新提出概念，它是实现GPS系统阶段功能的操作基础和系统关联基础，表面模型需要由相应的“要素”和“特征”予以定义和描述。ISO／TC213GPS将工件／要素分为七种恒定类，所有的理想要素都属于七种恒定类中的一种，且可由其位置要素和本质特征进行定义与描述；位置特征则定义了要素之间的关系。第二代GPS系统通过表面模型、恒定类、恒定度、特征等概念的引入和互补应用，实现了几何要素从定义、描述、规范到实际检验评定过程中数字化控制功能的飞跃，比较有效地解决了产品在“功能描述、规范设计、检验评定”过程中数学表达统一规范的难题。     

一种基于任务的协同管理Agent的模型与算法

针对多Ａｇｅｎｔ处理环境（ＭＡＰＥ）,为提高协同工作的效率,在文献［１,２］基础上给出了一个包含协同管理Ａｇｅｎｔ的ＣＳＣＷ系统框架,同时给出了一个协同管理Ａｇｅｎｔ的模型。由于协同管理Ａｇｅｎｔ的模型仍是框架性质的,无法在计算机上实现,为此在文献［６,１９］所提供的数学模型基础上,提出了一种基于任务的协同管理Ａｇｅｎｔ群体决策与协同谈判的数学模型与算法。     

水平井抽油杆柱力学模型的建立与分析

首先分析水平井筒里抽油杆柱的运动状态,考虑柱塞与悬点运动的不一致性,找出杆柱受力最大和最小的位置时刻,根据井筒中抽油杆柱的空间几何关系,考虑抽油杆的约束条件和井斜角、方位角的变化等边界条件后,建立抽油杆柱的力学模型,并对模型进行相关分析,对杆柱的优化设计和优化配套防偏磨的工艺具有一定的指导意义.     

高温结构的材料本构模型和有限元分析方法

考虑到对大量工作于高温和循环热－机械载荷作用下的机械结构进行实际而有效的热弹塑性－蠕变分析，并进行合理的设计和寿命估计的需要，本文建立并完善了用于高温非弹性分析的修正分离型本构模型，此模型能描述材料循环弹塑性和蠕变行为以及它们之间的相互作用，发展了用于高温非弹性有限元分析的数值方案，此方案的算法是无条件稳定的，并有较高的精度和效率。多种算例证实了上述方案的有效性和对于工程分析的实用性。