基于Petri网的集成系统工作流建模的研究

在分析大量实际工作流特征的基础上,总结了实际工作流执行中的路选结构情况,在此基础上改进了WM FC提出的Petri网工作流模型,提出了基于Petri网技术构造工作流模型的FA-PN网(F low A PetriN et)并介绍了使用所建模型构建实际复杂合同评审系统的Petri网工作模型.另外详细阐述了扩展法构建Petri网工作流模型的过程,并提出了模型结构正确的证明方法.最后介绍了一种对模型结构的冲突情况进行仿真分析的仿真法,可用来验证模型的正确性.     

基于Petri网的工作流模型优化

为了使工作流模型更简洁,在工作流网WFPN的定义的基础上,给出了利用可达性分析技术对WFPN进行合理性分析的有效方法,提出了一种通过添加抑制弧对WFPN进行优化的算法.该算法为Petri网在大规模复杂模型中的应用及其理论分析提供了一条新的思路.最后,通过一个实例说明了其优化过程,验证了该优化算法的有效性.     

车辆碰撞混凝土护栏的数值模拟与应用

合理简化车辆冲撞混凝土护栏过程，得到计算仿真模型并编制计算机程序。通过计算结果与文献的比较，证明了方法的合理性，最后对护栏安全的多个影响因素进行分析，进而提出混凝土护栏设计的建议。     

基于图形评审技术的云工作流调度计划风险评价模型

针对云工作流的各项服务质量指标难于精确估计,包含诸多不确定性的问题,基于图形评审技术网络模型,提出一种评价云工作流动态风险的风险元传递模型;根据云模型计算各服务质量指标的区间范围,利用推导的等价传递函数和矩母函数计算云工作流的服务质量指标的期望和方差;基于提出的风险度公式和比较方法,评价各个调度方案的风险大小;最后根据执行时间和服务费用的不确定性,模拟小规模工作流调度计划,并与均值-方差模型和逼近理想解排序法进行对比。结果表明,该方法应用于云工作流调度方案选择是可行的。     

无序档案资料整理的工作流网模型

工作流是实际业务工作流程的形式化表示,其关键在于建模.由于Petri网构建的工作流模型具有简单明了的特点,因而成为的重要建模工具.在Petri网和工作流理论的基础上,把一个实际的任务分解为工作流,并对该工作流构建工作流网模型.最后,对所建模型的正确性进行了定性的分析,并对模型的特性和所反映的问题进行了讨论,说明了利用Petri网技术来为实际业务流程建模的合理性和优越性.     

无序档案资料整理的工作流网模型

工作流是实际业务工作流程的形式化表示,其关键在于建模。由于Petri网构建的工作流模型具有简单明了的特点,因而成为的重要建模工具。本文在Petri网和工作流理论的基础上,把一个实际的任务分解为工作流,并对该工作流构建工作流网模型。最后,对所建模型的正确性进行了定性的分析,并对模型的特性和所反映的问题进行了讨论,说明了利用Petri网技术来为实际业务流程建模的合理性和优越性。     

脱硫塔结构抗震分析中的简化模型研究

利用有限元分析软件ANSYS,对河南三门峡电厂烟气脱硫塔进行结构计算分析.根据等效模型和原结构的动力特性应尽可能保持一致的等效原则,推导了脱硫塔结构简化模型理论计算公式,建立一维简化等效模型,并对其进行地震反应数值分析;通过与原结构计算结果的比较,验证了简化等效模型的合理性.     

工作流网WRI WF-net的验证方法研究及实现

WF-net是一种工作流模型,合理性是衡量WF-net模型正确性的一个标准,不合理的工作流模型会导致运行错误.但是合理性验证问题是NP-complete问题,妨碍了WF-net的广泛应用.工作流模型WRI WF-net是WF-net的子集,能够直接保证工作流模型的合理性,这样只需确保用户建立的工作流模型符合WRI WF-net的约束,而不需要进行合理性验证.提出一个WRI WF-net的验证方法,能够在结构上验证模型是否满足WRI WF-net的约束,并且阐述了方法的实现.     

随机Petri网工作流模型的等价性能分析

建立系统Petrl网工作流模型，给出了顺序、并行、选择、循环四种基本结构的等价化简公式。将原模型转化为随机Petri网工作流模型，并应用这一性能等价方法，逐步化简，最终得到系统的平均执行时间和与性能分析相关的有效定量参数。     

矢量变换控制的分析及仿真

矢量变换是简化交流电机复杂模型的重要数学方法,是交流电机矢量控制的基础。根据磁场定向原理分别对异步电动机的励磁电流和转矩电流进行控制,推导了异步电机在静止二相α-β坐标系下的数学模型。从而达到控制异步电动机转矩的目的。本文分析了矢量变换控制的基本原理、构成及其特点。采用MATLAB/Simulink对控制系统进行了仿真建模与研究。仿真结果表明了该模型的合理性和有效性。     

基于Petri网的研究生培养工作流模型

工作流技术作为实现过程集成管理的有效手段,广泛应用于各种场合,Petri网是一种适合于描述异步并发现象的系统模型,它既有严格的数学定义,又有直观的图形表示,该文简要介绍了工作流、工作流模型以及Petri网的理论,然后对研究生培养过程进行了基于Petri网的模型设计,并对模型进行了化简和合理性证明,结果表明,利用Petri网能够对研究生培养过程进行建模和优化设计。     

A Family of RBAC-Based Workflow Authorization Models

A family of RBAC-based workflow authorization models, called RWAM , are proposed. RWAM consists of a basic model and other models constructed from the basic model. The basic model provides the notion of temporal permission which means that a user can perform certain operation on a task only for a time interval, this not only ensure that only authorized users could execute a task hut also ensure that the authorization flow is synchronized with workflow. The two advance models of RWAM deal with role hierarchy and con straints respectively. RWAM ranges from simple to complex and provides a general reference model for other researches and developments of such area.     

基于Petri网的工作流仿真建模研究

工作流仿真模拟工作流执行的环境,高效、低成本、快速地执行工作流过程,通过分析仿真结果,来发现模型中存在的问题,达到工作流优化和重组的目的.仿真模型是仿真的前提和基础,该文介绍基于Petri网的工作流模型,讨论了在此模型基础上如何添加仿真信息,映射基于Petri网的仿真模型,并以工作流仿真的部署,说明了仿真建模的研究.     

基于经营过程重组的工作流仿真的设计与实现

企业经营过程重组是一项复杂的系统工程,它的实施具有很大的风险性,支持企业经营过程重组的工作流建模与仿真方法可以有效地降低企业经营过程重组和流程再造带来的风险.文章提出了一种支持企业经营过程的工作流仿真系统的体系结构,基于统一建模环境设计了工作流系统的仿真过程,利用VisualC#实现了基于BPR的仿真核心类,并给出核心类的接口和相关的UML视图,在此基础上实现了面向应用的相关类,以实例验证了该方法的有效性.文章所述的方法易于实现,易于理解,具有很好的扩展性,并可以支持大规模的仿真.     

混凝土与木混合结构中木楼盖计算模型

采用有限元软件Sap2000建立了2种不同的混凝土与木混合结构模型,即完全木楼盖模型和简化木楼盖模型;采用这2种模型对于1个单层混合结构抗侧力试验进行了数值模拟;采用简化木楼盖模型和刚性楼盖模型分别建立了6层混合结构模型,对模型进行了抗震分析,并将2种楼盖模型的计算结果进行了对比.结果表明:完全木楼盖模型与简化木楼盖模型都能够较好地模拟单层混合结构试验模型的水平抗侧力性能,简化木楼盖模型可以替代完全木楼盖模型应用于混合结构的受力分析;采用简化木楼盖模型对6层混合结构进行抗震分析所得到的中部框架受到的水平力略大于边框架,简化木楼盖模型与刚性楼盖模型进行时程分析所得到的顶点时程位移曲线较为接近.     

面向政务流程的工作流模型

针对政务流程设计和实现过程中领域化、标准化、灵活性的要求,结合标准化的工作流模型和政务工作流应用的特点,构造政务流转系统,并在此基础上提出面向政务流程的工作流模型(简称政务工作流模型)．政务工作流模型在标准工作流模型的基础上进行扩展,通过政务流程元模型、政务文书元模型和政务机构元模型实现政务流程的建模,并把建模结果以政务流程描述语言的形式保存．在政务工作流模型的基础上,还引入两阶段设计的思想,通过使用流程设计模式简化政务流程的设计．     

业务过程模型驱动的网格工作流互操作机制

从工作流调度模型、工作流映射模型和业务过程评价模型等角度，建立了业务过程模型驱动的动态网格工作流的互操作机制．通过不同层次的业务过程模型，驱动支持企业间集成的全局工作流机、支持企业内异构平台集成的工作流机、企业内同一平台下的工作流机，建立工作流调度模型，解决面向业务流程的动态集成问题；通过建立业务工作流、抽象工作流、执行工作流的映射模型，解决复杂业务工作流到执行工作流的映射与纵向式集成问题；通过建立业务过程选择模型，解决企业业务过程在动态联盟合作伙伴间的评价、动态选择与共享问题．     

航天器对接过程的动力学建模

航天器对接过程的动力学建模是对接过程动力学仿真的核心内容,该文在描述航天器对接过程的基础上,牛顿－欧拉定理和混合价值 标法对带有大型太阳电池阵的两航天器的对接过程进行动力学建模,建模中将对接系统简化为由追踪飞行器、目标飞行器和主动对接机构组成的三体系统,追踪飞行器和目标飞行器作为带有挠性附件的中心刚体考虑,主动对接机构作为刚性体处理,对于挠性附件用有限元法进行离散。除给出接触撞击模型外,还重点讨论缓冲系统的简化模型,从而构成了对接过程的完整的动力学模型,为对接过程的动力学仿真打下基础。     

Petri网在OA系统工作流中的应用

Petri网既有严格的数学描述,又有直观的图形表示,是理想的工作流建模工具.本文以OA系统中收发文管理流程为例,提出了一个基于Petri网工作流建模的方法并进行了模型的正确性验证.     

惯性测量系统简化模型的研究

针对非导航惯性测量系统，研究测量模型的简化问题。对于短时惯性测量系统，讨论了多种简化方法，并在误差仿真的基础上，提出了实用的简化模型，为汽车运动参数测试等应用提供了算法依据。