基于Petri网的分层工作流模型研究

为了满足企业对过程模型在描述能力和分析能力上的要求,提出了一个基于Petri网的分层工作流过程模型.在深入分析各种工作流模式的基础上,对基本网的进行了一些的扩展,通过增加变迁入口函数,变迁体函数,消息机制,控制变量等,描述了工作流模式中的多实例,取消,高级同步等复杂模式.给出了工作流过程的描述模型DWF_net和分析模型AWF_net的形式化定义.描述模型DWF_net实现对各种复杂流程的直接描述.变迁入口函数通过对控制变量的判断,来消解DWF_net中的冲突.变迁体函数通过可扩展逻辑描述语句,来实现对控制变量的读写及收发消息等操作.AWF_net作为DWF_net的分析模型,剥离了DWF_net个案的语义信息,可以直接利用已有的Petri网分析技术来分析模型.最后,通过一个综合实例来说明如何使用本文提出的模型来对各种复杂流程建模和分析.     

基于CPN建模技术的研究

Coloured Petri Nets(CPN) 是一种面向图形的建模语言.给出了CPN的形式化定义,并以实例说明描述分布式数据库系统的一种基于CPN的方法.     

基于Petri网下的哲学家就餐问题的模拟与验证

哲学家就餐问题可以看作当应用程序中包含并发线程的执行时,处理共享资源合作的一个有代表性的问题,该问题是评价同步方法的一个测试标准.利用Petri 网的C/E系统来模拟哲学家就餐问题具有很好的实用背景,因为C/E系统下的条件事件集的发生可以用开关或者门电路来实现.通过采用C/E系统来完善哲学家就餐问题的模型,并给出一个可以允许外部条件来加以有选择控制的模型.     

基于Petri网的防空C3I决策系统的建模分析

对地空导弹决策系统的结构和性能进行了研究.对基于旅营两级决策组织导出的库所/变迁系统进行了描述,建立了防空C3I决策系统的Petri网模型.并引入了决策时延这一反映指挥决策系统能力的重要指标.对提高C3I决策系统的实时性和准确性做了初步的探讨,证明了建立有色Petri网模型后,有效地提高了C3I决策系统决策的实时性和有效性.     

电子支付安全协议的Petri网模型及分析

通过对电子支付安全协议的研究,利用Petri网描述了电子支付安全协议处理流程;根据可达树分析了电子支付协议Petri网模型的正确性、安全性、公平性、可达性和活性. 基于Petri网理论研究电子支付安全协议的工作,对于指导电子支付相关安全项目的研究以及解决实际安全问题具有一定的理论价值和实践意义.     

基于VPN的安全企业网实现探讨

VPN作为方便有效而又低成本地实现远程用户对企业网安全访问的有效技术在企业网的建设中有着广泛的应用.文章在对VPN基本技术特性介绍的基础上,讨论了企业网实现中对VPN的不同安全需求,针对性地提出了构建企业VPN的方法并给出了基于Windows2000的VPN解决方案.     

基于过程挖掘的临床路径Petri网建模

提出基于统计α算法的临床路径Petri网模型,将Petri网和基于统计α算法的过程挖掘算法集成,从事件日志中挖掘重要信息,获得完善的诊疗流程,并在此基础上建立Petri网模型,有效实现诊疗流程的优化和改进.通过仿真数据试验,验证了本文提出的统计α算法相较于经典α算法在准确度和运行时间上有着较大的优势.并将模型运用到临床路径真实数据上,证明了模型的有效性和准确性.     

大陆边缘三角洲盆地油气成藏特征类比研究

大陆边缘三角洲盆地一直是油气最为富集的地区之一,世界上很多大的油气区均是分布在三角洲盆地,如西非尼日尔三角洲盆地,东非鲁伍玛盆地三角洲和印尼库泰盆地马哈坎三角洲等。通过对不同类型大陆边缘三角洲盆地油气地质条件的差异性对比研究,明确在不同构造演化阶段发育的三角洲盆地的盆地结构、内部构造样式、烃源岩特征及成藏模式均存在明显差异。其中,漂移期发育的尼日尔三角洲和鲁伍玛盆地三角洲重力滑脱推覆构造体系发育。在裂陷期拗陷阶段发育的库泰盆地马哈坎三角洲重力滑脱推覆构造体系不发育。马哈坎三角洲和尼日尔三角洲盆地的主力烃源岩均来自三角洲体系,以生油为主,具有自生自储,近源成藏的特点。东非鲁伍玛盆地烃源岩为下侏罗统海湾环境海相烃源岩,主要生裂解气,具有阶梯式长距离运移,远源成藏的特点。     

配电网故障暂态信号的逼近处理方法

针对一些需尽快计算故障后稳态电流电压值的应用情况,如配网配变支路保护、用户侧保护等,短时间内处理电流电压故障暂态信号成为了一个必须面对的问题。现有电网故障信号处理方法通常受限于采样数据长度和待求参数数量,存在处理电流电压故障暂态信号时间较长和难求取的问题。利用配网故障暂态电压电流的特点,由稳态工频分量和直流衰减分量组合建模近似表征配网故障暂态电压电流,采用粒子群高斯牛顿混合算法对此模型的各参数进行辨识,实现暂态参数的求取。仿真分析和工程应用表明,该方法可缩减待求参数个数,利用较短的采样数据对故障暂态电压电流信号参数进行求取,且具有较高鲁棒性。     

大型基础下含软弱夹层的层状砂土变形计算

基于饱和土的相关理论,推导了大型基础下层状地基的沉降计算模型.考虑不同的土性,根据修正剑桥模型和摩尔-库伦模型,推导了K_○0条件下且能够考虑其塑性变形的压缩模量.基于平面网格子域法结合分层总和法建立了一个完整的、更加贴近工程实际的大型基础下含软弱夹层的层状砂土地基沉降计算模型.研究结果表明:该模型的计算结果与模拟结果很贴近,且能够突出体现出软弱夹层的变形特性.研究结论可为含软弱夹层的大型基础地基沉降计算提供直接参考依据.