基于Petri网的工作流管理系统的设计与实现

以某供电公司工作流管理系统为背景 ,采用群件系统LotusDomino/Notes平台 ,在分析Petri网的基础上 ,提出了单一状态模型的工作流设计思想 ,并完成了工作流管理系统的设计和实现 ,从而实现了办公过程的无纸化和自动化 ,支持协同工作 ,提高了现代企业的管理水平和工作效率 .     

���е�·��ͨϵͳ�Ķ�̬�����Petri����ģ�����

城市道路交通系统是一个同时具有离散和连续动态,并包含大量随机不确定因素的动态系统,具有动态、并发及同步等特征.在目前交通状况日益复杂的情况下,其动态及随机不确定特性愈加明显.对城市道路交通系统进行建模分析,是深入了解交通状况、进行交通诱导及控制的关键.本文在基本Petri网的基础上,将广义随机Petri网(GSPN)与交通流概念相结合,建立了符合交通流概念的动态流随机Petri网(FSPN)模型.该模型可以很好地描述城市道路交通流的动态及随机特性,并能对城市道路交通系统中的某些随机现象作出很好的解析描述.文中针对四相位十字交叉口给出了动态流随机Petri网建模实例;活性分析表明,该模型能有效避免系统并发性带来的死锁现象.最后仿真运行分析和性能分析进一步证明了动态流随机Petri网的有效性.     

基于工作流与Agent技术的设施管理系统研究

介绍了工作流技术、工作流管理系统、Agent以及多Agent系统的特点,在此基础上将工作流和Agent技术应用到设施管理系统的构建中,给出了工作流与Agent协同管理的方法和框架,并提出了设施管理系统的三层分布式体系结构,即:用户界面层;应用逻辑层及数据服务层.可为后续设施管理系统的开发提供技术上的参考和借鉴.     

生产技术准备过程的时间Petri网模型及其推理方法研究

从Petri选择网模型的概念入手,分析了时间Petri网(TPN)模型的特点,研究了时间Petri网中顺序模型、并行模型、模型和循环模型等的推理方法.应用该方法建立了生产技术准备过程的时间Petri网模型,得出了基于时间Petri网的工作流模型复合线性推理方法,并采用一个具体的实例说明该方法的应用.     

生产技术准备过程的时间Petri网模型及其推理方法研究

从Petri选择网模型的概念入手,分析了时间Petri网（TPN）模型的特点,研究了时间Petri网中顺序模型、并行模型、模型和循环模型等的推理方法.应用该方法建立了生产技术准备过程的时间Petri网模型,得出了基于时间Petri网的工作流模型复合线性推理方法,并采用一个具体的实例说明该方法的应用.     

复杂情况下大规模船队规划模型与求解方法

以某大型航运企业船队为例进行实证分析,利用Benders分解算法对在多航线复杂情况下,由多种类型船舶构成的大规模船队规划问题进行求解,验证所提出的模型及算法对于大规模实际问题的应用效果.结果表明,该方法实现了多航线、多型船、大规模混合整数船队规划问题的优化求解,能够为大型航运企业进行船队规划决策提供支持.     

基于随机Petri网的车险理赔效率建模与分析

为提高车险理赔效率,构建车险理赔效率随机Petri网模型,基于工作流网结构和实务操作流程分析模型的正确性并改进模型,采用软件PIPE验证模型的合理性。以某保险公司500起车险事故理赔数据为研究对象,构建与随机Petri网同构的车险理赔效率马尔可夫链,分析车险理赔流程中的低效率环节。结果表明：拒赔、定损和赔款处理流程耗时较多,与车险理赔实际情况吻合。车险理赔效率随机Petri网模型通过变迁利用率和标识流速能动态地描述车险理赔系统的运行时效。根据车险理赔效率分析结果,可缩减定损环节和赔款处理环节时间,显著提升保险公司的车险理赔效率和客户的服务体验。     

船舶检验管理系统的设计

文章介绍了船舶检验管理相关内容,并以船舶检验行业的实际需求为出发点,从多个方面详细对船舶检验管理系统进行需求分析,最后从系统总体架构、数据库和工作流设计三个方面对管理系统进行设计。     

基于GSPN—EMC的地铁安检服务流程建模及性能分析

为分析地铁安检系统性能、提高安检服务效率,在分析地铁安检服务流程结构特征的基础上,利用广义随机Petri网(GSPN)建立地铁安检服务流程模型.构造GSPN模型同构的嵌入马尔可夫链(EMC),进而对地铁安检服务流程性能进行深入分析.以地铁10号线国贸站为例进行性能分析,结果表明:新建立模型既能整体分析整个地铁安检服务流程的性能,又能有效识别流程中的瓶颈环节,为安检系统的针对性优化提供理论基础.     

元胞自动机交通流模型的随机规则

元胞自动机模型是近年刚发展起来的交通流模型,由于其建模简单、易于在电脑上实现及可模拟复杂的非线性交通现象而得到了迅速的发展.本文研究了基于NaSch模型的一维交通流元胞自动机模型,并对模型中随机规则在模拟复杂交通现象中所起的作用进行了分析.通过对NaSch模型和VDR模型的基本图和时空分布图进行分析,得出模型中的随机规则是模拟实际交通流中的很多非线性现象的主要规则.     

结构动力抗震可靠度理论的研究进展

从状态变量模型、基本变量模型和实用简化模型3个方面,对结构动力抗震可靠度理论的研究进展系统地进行了总结与评述.针对状态变量模型,结合随机振动理论,将随机振动分析方法分为两类:第1类是面向数字特征的方法,主要解决结构的随机反应从基本随机变量空间到状态变量空间的统计矩演化问题;第2类是面向概率密度的方法,主要解决结构的随机反应从基本随机变量空间到状态变量空间的概率密度演化问题.分别评述了两类方法中的代表性方法:等价线性化方法和概率密度演化方法.针对基本变量模型,分别总结了考虑系统参数随机性的结构动力抗震可靠度分析方法,以及将动力可靠度问题转化为静力可靠度问题的理论和方法,对近年来提出的尾部等效线性化方法、子集模拟法、等价极值法等进行了对比分析.针对实用简化模型,总结评述了3种方法:基于随机地震动模拟-确定性时程分析的直接方法、基于一致危险性反应谱和等效非线性体系的简化方法、基于可靠度简化解析表达式与数值模拟的半解析方法.最后,对新近提出的结构整体抗震可靠度理论及其存在的问题进行了归纳分析,并从地震作用的输入模型、主要失效模式的搜索、结构的破坏准则、结构失效模式的多重性、结构的整体极限状态方程等方面给出了研究建议.      

交通流随机行为的研究进展

随着人口和车辆的不断增加,道路发展难以满足车辆交通的需要,交通拥塞等问题日益严重.由于交通流的动态、随机、非线性、多行为主体等特征,进一步增加了交通流问题的复杂性.交通流随机行为的研究对于理解交通流的内在演化规律、管理和控制交通流具有重要作用.目前在该领域的研究已经形成了相应理论体系,建立了系列模型,并不断在实际交通中应用.本文对交通流随机行为相关的研究进行了总结,讨论了随机相互作用无关的模型如微观跟驰模型、宏观流体力学模型、介观气体动理论模型、元胞自动机模型、随机过程模型,随机相互作用相关的模型如势强度相关模型,加权顾前势模型等.通过对目前研究现状的总结和分析,对未来交通流随机影响因素及随机动力学的建模与分析进行了展望.      

Stochastic Finite Element Analysis of Plate and Shell Construction

The response of random plate and shell construction is analyzed with the stochastic finite element method (SFEM). Random material properties and geometric dimensions of construction are involved in this paper. A simplified isoparametric local average model is used to describe the random field. Numerical results of the examples indicate that the approach presented herein is an economical and efficient solution for such an analysis compared with Monte Carlo simulation (MCS).     

民航发动机车间维修能力近似平均值分析方法

为了评估民航发动机维修车间在当前维修能力下可保持的机队规模, 提出了车间维修能力近似平均值分析方法。采用扩展随机Petri网建立了发动机在维修车间的转移模型, 利用单维修等级下系统的性能指标对多维修等级性能指标进行了修正, 采用平方变差系数方法实现服务时间从指数分布向正态分布的逼近, 并评价了多等级与服务时间为正态分布的车间维修能力, 分析了近似平均分析法与仿真方法的计算结果。比较结果表明: 各维修中心等待队长最大相对误差为9.14%, 此时零件检查、手工修理及机械加工为限制维修车间能力的瓶颈, 因此, 近似平均值分析方法是有效的。     

演化功率谱解耦及其工程应用

为提高非平稳过程的模拟效率,简化非平稳激励下的结构响应分析,将演化功率谱解耦为一系列时间系数与小波函数傅里叶变换模平方乘积之和,即把一般非平稳过程分解为若干个均匀调制非平稳过程之和,并将其应用于非平稳随机过程模拟和结构随机响应分析.研究结果表明:演化功率谱近似解耦具有较高的精度;演化功率谱解耦后,快速傅里叶变换算法一般可使非平稳随机过程的模拟效率提高数十倍,且模拟样本时程的自相关函数估计值与目标值非常吻合;非平稳激励下的结构响应分析得以简化,且与目标值相比,计算结果的误差很小.      

全自动立体停车库服务质量评价方法探讨

本文对全自动立体停车库系统的运行规则进行了分析,提出了一种利用计算机模拟来计算PPR随机服务系统(部分优先权的随机服务系统)的服务质量评价指标的新方法,并和其它排队模型进行了比较.     

Reliability research on fatigue life of spots of semi-submerged drilling unit

Based on the calculated results of the simplified model of deep-water semi-submerged drilling unit, the model of deep-water semi-submerged drilling unit is built by reasonably simplifying. The large vertical cylinder (MacCamy-Fuchs) formula is modified according to this model, then the modified formula is utilized to obtain the wave load spectrum which acts on the columns of the semi-submerged drilling unit. By using ANSYS software, a spectrum analysis process is established to calculate the stochastic response spectrum of the model that is subjected to the wave load spectrum which has been calculated. Then the power spectral density of stochastic response of the key nodes can be obtained. Based on the Miner model and the first excursion failure criterion, the fatigue life reliability of the key nodes is calculated.     

列车运行调整辅助决策系统设计

列车运行调整辅助决策系统，是铁路行车调度指挥自动化系统的关键环节，通过对该系统工作流程及各主要组成部分的分析设计，建立列车运行调整的混合0-1线性规划模型，针对传统处理方法的不足，提出并利用有限状态机制控制处理过程，为该系统提供可行的方案，此方案不仅符合结构化系统设计的基本思想，容易编制出相应的软件，而且有较强的实用性。     

基于工作流及元模型的城市建设项目交通影响评价系统框架

在对城市建设项目交通影响评价深入研究的基础上,建立了以设施为中心的评价模型。根据城市建设项目交通影响评价多模型和评价流程多变的特点,提出了基于工作流及元模型管理的计算机软件系统框架,较详细地阐述了系统框架实现的核心技术。用某一居住区的数据进行了模拟计算,计算结果表明,所设计的模型和软件系统框架是有效的。     

基于弹性模量缩减法的随机极限承载力分析

为确定工程结构的随机极限承载力,结合弹性模量调整策略和摄动随机有限元法,提出一种基于弹性模量缩减法的随机极限承载力分析方法.首先利用摄动随机有限元法计算结构的随机响应量和单元可靠指标,并定义单元可靠指标均匀度和基准可靠指标,进而论证随机极限分析的比例加载条件及随机响应量的比例关系;然后通过有策略地缩减低可靠度单元的弹性模量,以模拟结构的失效演化历程,形成一系列静力容许应力场,进而根据塑性极限分析理论确定结构的失效模式及其对应的随机极限承载力.算例分析结果表明,该方法通常只需要迭代15步左右即可收敛,与蒙特卡洛法（抽样50万次）的相对误差在0.5%以内.