基于逻辑工作流网的有限无死锁组合

以逻辑工作流网作为描述过程模型的方法,提出了逻辑工作流网的有限组合,以状态转换图来描述工作流网的可达逻辑活动序列。根据死锁的充分条件,提出状态映射用以判断两个工作流网组合后出现的死锁。通过删除进入死锁的逻辑活动序列,提出标准伙伴状态转换图用以表述无死锁组合的活动序列。最后提出判断有限组合是否存在死锁的方法,并用一个简单的电子商务实例说明了方法的有效性。     

一种基于Petri网的服务组合流程分析方法

虽然业务流程执行语言(BPEL)有很多特征使它适合组合流程的描述,但它缺乏形式化语义,从而不能对组合流程进行严格的分析和验证。本文提出了一种基于Petri网的BPEL语言所对应的组合流程分析方法。应用Petri网来描述BPEL所定义的组合流程,描述组合流程的基本活动及它们之间关系,进而分析了组合流程结构上的合理性。通过实例网的构建,给出了流程可组合性的判定定理,并提出减少服务搜索空间的算法。最后,应用具体实例模拟组合流程的分析过程,展示了该方法的有效性。     

一种基于校准的模型问题域识别方法

以Petri网作为描述流程模型的形式化方法,利用工作流的四种基本结构描述流程中活动之间的关系;结合流程模型质量维度中的拟合度、简化度、精确度和泛化度,给出了流程模型中执行序列与事件日志中迹的校准方法。通过所提出的校准动作序列与流程模型的映射方法,可以识别流程模型的问题域。通过网上购物的实例验证了方法的有效性和实用性。     

一种扩展式动态环境演算范型的Petri网描述

为了以可视化的方式验证扩展式动态环境演算范型对移动协同中移动性和协作性的描述能力及描述语义的正确性,提出了一种扩展式动态环境演算范型的Petri网描述(PND).首先,给出基本演算实体的Petri网表示,用Petri网的顺序行为理论和并发行为理论中的变迁来表达任意动作,用库所来表达任意动作前后的各种环境状态及其变量.其次,给出演算实体的各操作语义关系的Petri网表示,并引入弧权重来刻画动作与其前后相关的环境、状态的相互作用关系.最后,引入了Petri网的合成理论,用简单Petri网合成法来构造动态复杂环境的模型.采用染色Petri网工具进行仿真,结果表明PND具有正确的描述语义,从而进一步为扩展式动态环境演算范型的有效性提供了有力的论证.     

基于Petri网业务流程模型抽象方法研究

在传统的对模型抽象进行行为语义和控制流结构分析的基础上,提出了基于Petri网的业务流程模型行为轮廓的业务流程模型。将Petri网的理论和性质应用于业务工作流系统当中,能够从系统的运行过程和形式化的图形描述方式实现对工作流系统的快速建模和分析;定义了一个新的流程模型活动聚合公式算法,拓展了行为轮廓关于控制流结构上的模型抽象。     

基于Petri网的语义Web服务过程模型匹配算法研究

为了在服务发现中提高效率及准确率,在服务匹配过程中引入了服务执行状态的变迁等因素即服务的过程模型。而Petri网能够把Web服务的过程模型进行形式化描述．在服务发现中引入Petri网,通过Petri网描述web服务的过程模型,再对Petri网进行语义标注,最后通过计算过程模型的相似度来实现基于Petri网的语义Web服务发现匹配．这种方法结合现有采用功能性参数匹配的语义web服务发现对提高服务发现率,尤其对改善服务发现准确率起到了一定的作用．     

语义网的研究与展望

介绍了语义网的相关概念、体系结构及基本构成,阐述了语义网的研究现状及应用范围,总结了未来语义网的基础研究和应用研究的方向,分析了语义网如何能够在网络检索中完成精确、智能检索,并对语义网面临的问题和发展前景进行了描述。     

基于Petri网的语义Web服务组合模型

针对现有的语义Web服务组合的描述语言本身缺乏明确的操作语义,无法准确的描述其组合流程的问题,就此提出了一种基于Petri网的语义对Web服务组合流程进行形式化建模的方法,并通过实例验证了该方法的有效性和可行性.     

一种Verilog的操作语义

用形式化的方法描述了硬件描述语言Verilog的语法和语义,建立了一个Verilog的操作语义模型。分别用二元组和四元组描述Verilog非并发和并发成分的状态,刻画了不同语句的状态转换规则,并用实例描述了并发程序的执行过程,证明了该操作语义模型的正确性。     

基于进程代数的上下文感知模型

针对当前上下文感知研究大多集中于技术解决方案，缺乏理论上统一描述模型的问题，提出了基于进程代数的上下文感知模型（CAMBPA）．该模型独立于具体的应用平台，具有平台无关性．首先，利用带时间参量的上下文的状态变迁来描述动态环境的变化，并根据进程代数的合并理论，采用合成简单环境状态变迁的方法来实现对复杂环境状态变迁的描述．随后，通过在模型中引入感知函数，实现了对感知行为的描述，同时对上下文状态变迁赋予了资源语义，从而使模型能够刻画移动计算环境中的动态资源情形．采用染色Petri网对CAMBPA模型实例进行了可视化仿真，结果表明该模型具有语法、语义的正确性，以及良好的可扩展性，能够很好地描述上下文感知．     

基于窗口式流量和拥塞控制的分析

流量和拥塞控制的目的是限制网络中分组传输的平均时延和缓冲区溢出,并公平地处理各Session。基本的流量和拥塞控制的方法有两种。一是窗口式流量和拥塞控制,二是输入速率控制。主要阐述第一种方法,包括端到端的窗口流控、虚电路中的逐跳流控、ARPANET中的流控、SNA网中的流控以及PARIS网络中的流控等。在这些方式中,根据网络的拥塞情况,统一窗口拥塞控制、动态地调整窗口的大小。     

梁振动控制的分布压电单元法的溢出分析与仿真

分析了用于智能梁振动控制的分布压电单元法的观测溢出与控制溢出现象,并给出了减少这种溢出的途径。对分布压电单元法作了数值仿真计算。     

制造企业能量投入产出优化

物质、能量和信息是构成当代制造企业的三大要素,能量系统是整个企业的一个子系统.由企业能物流分析得到企业能量系统静态投入产出方程,将其改造成带一步延迟的W. Leontief型能量系统动态投入产出模型.作者用线性二次型最优控制方法,以确定生产过程中各生产部门生产能力和资源的合理规划与配置,优化企业能量系统结构.给出了一个计算示例.     

一种嵌入式系统扩展流关系Petri网及应用

为了将数据流和控制流在同一个模型中明确标识,将经典Petri网的4元组结构扩展为7元组,定义一种新的嵌入式系统扩展流关系Petri网表示方法,应用该表示法对火车控制系统进行建模,并将该模转换成等价的时间自动机模型,用UPPAAL进行形式化验证.验证结果表明火车控制系统具有可达性和安全性,说明建立的模型是合理有效的.     

基于流量和拥塞控制最佳速率调整算法的研究

流量和拥塞控制的目的是限制网络中分组传输的平均时延和缓冲区溢出,并公平地处理各Session.基本的流量和拥塞控制的方法有两种。一是窗口式流量和拥塞控制。二是输入速率控制。输入速率控制可以采用两种方法:第一种是采用漏斗式的控制算法来限制和平滑输入业务的突发性,使得输入业务的突发性在可控的范围内,从而实现对网络拥塞的控制;第二种方法是采用最佳速率调整方法,以维持适当的分组时延,追求高的通过量或公平性作为目标函数,采用最佳流控和最佳路由结合算法或最大最小公平速率控制算法。本文主要简述第二种方法。     

BP神经网络在蜜网系统中的应用

介绍了BP算法的基本思想及其网络模型,蜜网中数据的处理流程.借鉴BP算法应用于入侵检测系统,将BP神经网络技术应用于蜜网系统中,提出了在蜜网中基于BP神经网络的数据处理模型及训练过程.     

压水堆核电机组全仿真系统建模与分析

介绍了压水堆核电机组全范围领导具系统模型的建立,列举了模型中的堆芯物理模型,基苯守恒方程和热力系统流体网络的求解方法,该模型已成功地用于泰山３００ＭＷ核电机组全范围仿同。测试表明,仿真与现场测试值完全一致,模型能够正反映目标机组的特性。     

间歇式化工形式化建模与顺序控制器设计

摘要：
针对间歇式化工生产过程,根据执行机构网元件提出了其受控Petri网模型的设计方法,将工艺流程描述为变迁串的顺序控制目标,继而根据基本变迁串将工艺流程描述为Petri网的线性约束.最后,利用库所不变量方法设计监控库所,给出顺序Petri网监控器,实现了复杂化工过程的闭环控制系统的形式化建模、分析和优化.
关键词：
离散事件系统; Petri网; 间歇式化工; 顺序控制; 监控
中图分类号： TB 61; TK 31
文献标志码： A     

柔性存储传输线的赋时Petri网建模

该文在深入研究了赋时Petri网的基础上，对柔性存储传输线进行了建模，提出了采用递推模型简化基本模型，为下一步对实时离散事件系统进行分析和控制研究打下了良好的基础．结果表明递推模型对化简Petri网模型是有效的．