多品种库存系统StokPN建模与仿真分析

基于经典Petri网进行了集合标识及其属性扩展;结构元素、算法及函数语义扩展;结构与执行规则扩展;从而定义了集合标识Petri网（StokPN）.以一个约600种产品的单节点库存系统案例进行了StokPN在多品种库存系统中的应用研究.采用AutoMod离散仿真软件实现StokPN的动态分析.通过对采用实际所有品种、采用品种分类简化和采用分类简化的历史数据随机分布拟合三种对比方案,验证了StokPN对多品种库存系统的建模描述能力及其正确性、可信性,证明了实际应用价值.     

高级Petri网：基于ISO/IEC15909的理解

ISO/IEC15909从构成角度给出了高级Petri网的定义,对其的理解分为结点、扩展、关联矩阵和初始标识四个层次。高级Petri网的本质特征是扩展域D和扩展映射Type,二者的不同取值衍生了着色Petri网、谓词/变迁网和时间Petri网等类型。高级Petri网实际上是＂高层Petri网＂。高级Petri网图形是对库所/变迁网图形的折叠,具体方法是减少图元数量而增加图元信息。高级Petri网图形的结构可概括为＂三类图元及其注释＂。     

混合系统Petri网模型的重叠分解

考虑用混合Petri网重叠分解和扩展的方法分析混合系统。首先给出混合Petri网的一些相关定义(如有界性、可达性和活性等),并对包容原理作了详细阐述。然后介绍混合Petri网重叠分解和扩展方法,并将重叠分解方法用于混和系统Petri网络型的拓扑结构,分析Petri网的拓扑结构,确定Petri网的重叠子网。最后用一个混和Petri网的例子来阐明重叠分解和扩展的过程。这为分析大规模的混合系统提供了一个切实可行的方法,有助于对复杂混合系统的分析与控制。     

物流系统三色Petri网建模与分析

针对物流系统的一些特点 ,提出了一种三色 Petri网 .给出了三色 Petri网的基本定义 ,分析了该种 Petri网的性质及建模方法 .基于三色 Petri网对自动分拣系统中的物流控制进行了建模 ,并作了一致性、活性、有界性和安全性分析 .实例建模与分析表明了三色 Petri网的有效性 .     

Petri网精细化操作及其在系统建模中的应用

为了解决“顾客投诉”等这一类业务处理问题,提出了用Petri网精细化操作解决问题的方案。用Petri网为系统建模。定义了两种子网,用这两种子网分别对Petri网中的的某些变迁或库所进行细化,得到更细致、更精确的Petri网。研究了Petri网精细化操作的性质保持问题,给出了这两种精细化操作保持状态机(SM)、标识图(MG)、自由选择网(FC)、非对称选择网(AC)、结构有界性、守恒性、可重复性、相容性和活性的充分条件。结果可为复杂大系统的分析提供重要手段,并特别适合于一类业务系统的描述和验证,具有一定的实用价值。     

基于一类扩展Petri网的机车电路仿真建模及其实现

机车电路仿真建模是开发各种机车电路仿真系统的基础.根据机车电路的特性,在基本Perti网的基础上对变迁作出分类,提出一类扩展的Petri网并给出其关联矩阵和状态转移方程.利用这一类扩展Petri网对东风4B型(DF4B)机车电路进行仿真建模和分析.在此基础上,通过Delphi程序设计语言以及Matlab仿真计算工具实现所建模型,并在实际的仿真系统中得到了应用.     

从协议Petri网到Estelle的转换

Petri网和Estelle是国际上流行的两种描述通信协议的形式技术.基本Petri网及其衍生变种具有图形的直观表示和数学的分析方法,在协议工程领域有着广泛的应用.而Estelle类似于程序语言,可对协议进行无二义的描述.本文针对现有Petri网系统的不足,从协议形式描述的角度出发,定义了一种抽象通信特性的协议Petri网,给出了由协议Petri网转换为Estelle形式的方法.基于此方法文章还构造了自动实现转换的算法,并给出了一个实例.     

最大速度恒定的连续Petri网(CCPN)的性质判定及分解

对最大速度恒定的连续Petri网(CCPN)的结构有界性、守恒性、公平性进行了定义,并给出了判定定理.进而定义了最大速度恒定的连续Petri网(CCPN)的两种分解,并证明了这两种分解保持网的一些结构性质.     

面向对象Petri网在舰炮武器系统建模中的研究

研究并实现了一种基于Petri网的系统建模方法，它将面向对象技术与Petri网相结合，从而综合了两种方法的优势，降低了Petri网模型的复杂性，增加了Petri网的应用范围。舰炮武器系统是一种大规模的、复杂的并具有并发性、分布式、非确定性等特点的系统，因此我们应用面向对象的Petri网(OOPN)对其进行了建模。通过对舰炮武器系统的建模，我们发现面向对象的Petri网建模方法可以有效的降低系统模型的规模和复杂性。     

正规表达式与恰当终结的标准Petri网

已知一个语言表达式或语言的集合,如何构造产生该语言的Pelri网模型是Petri网语言理论中的一个重要问题.为解决这个问题,引入一种称为恰当终结的标准Petri网模型.研究了恰当终结的标准Petri网语言(无ε-空标注)关于连接算"."、选择(并)运算" "、kleene闭包运算"·"、并行运算"//"的性质,证明了恰当终结的标准Petri网语言与正规语言的等价性,并给出了正规表达式到恰当终结的标准Petri网(带ε-空标注)的转换算法.作为对传统形式语言的有益补充,还给出了带并发算子的正规表达式到恰当终结的标准Petri网(带ε-空标注)的转换算法.     

集装箱码头物流运营系统通用性仿真建模共性抽象研究

共性抽象是通用性仿真建模的必经过程和基础。提出一种创新的共性抽象方法为基于离散事件动态系统的集装箱码头物流运营系统通用性仿真建模提供一个较为清晰的全貌、框架和体系。首先以辩识该系统仿真建模的关键性问题为突破,构建共性抽象的对象和核心元素;继而通过高度提炼和概括,抽象通用性的基本属性和特征,并建立相应的基于离散事件动态系统的人为规则;然后按照人为规则将共性抽象的基本元素抽象为逻辑元素和实体元素,并设计为相应的标准化图例集以系统地描述共性抽象,既可提供给程序设计人员对程序逻辑进行建模,也可提供给非程序设计人员对业务过程进行建模;最后通过对洋山深水港一期集装箱码头仿真实验,验证所提出的共性抽象方法的有效性。     

混合条件/事件Petri网在飞控系统建模中的应用

提出一种混合条件/事件Petri网,以方程和图形两种形式定义了其受控演变规则,该网能够很好地描述一类离散事件和连续演变过程的混合交互现象,并应用于自修复飞行控制过程的建模中,使其离散跳变、连续演变过程以及相互间的交互得到较好的描述与处理,并能将演变结果显化在图形上。     

基于Petri网的直升机反潜仿真

Petri网对具有并行、异步和随机时间的离散事件仿真系统具有很强的可视化描述能力,它可以通过标记在网内的流动揭示系统的动态行为。而直升机反潜过程是一个复杂的离散事件过程,包括了搜索、跟踪、定位和攻击四个阶段,各阶段之间的转换是由各种战术规则和随机战场态势所决定的,具有并行、异步和冲突竞争等特点,采用传统的排队论和决策树方法描述直升机反潜过程非常困难。在建立了描述这些过程的Petri网的基础上,提出了处理并行和竞争变迁的实施原则,实现了直升机反潜过程描述的可视化。     

基于ExSpect的复杂离散事件动态系统建模

随着petri理论与应用研究的不断发展，petri网已经成为离散事件动态系统建模和分析的有力工具。采用petri网对复杂离散事件动态系统进行建模和分析，没有一套科学的建模方法指导和有力的软件支持是不可能实现的。介绍了基于Petri网的可执行的规格说明语言Exspect及其软件，提出了基于Exspect的复杂离散事件动态系统建模的方法，并进行了实例研究。     

面向任务流程的装备体系完成任务概率仿真评估方法

为了解决传统可靠性建模方法无法刻画装备体系复杂性及对装备体系完成任务概率进行准确评估等问题,提出了一种面向任务流程的装备体系完成任务概率离散事件仿真评估方法。该评估方法中,采用过程流网方法对装备体系任务流程进行建模,并对过程流网扩展了时间和资源等元素,引入活动影响因子,梳理子任务及活动间逻辑关系。采用离散事件仿真方法建立装备体系完成任务概率仿真评估模型,生成实体执行仿真过程,将进入导致任务成功的端点的实体数量与生成的所有实体总量的比记为完成任务概率,设置仿真时钟记录实体执行每项活动的时间,求平均值记为任务平均时间。最后,以某典型陆军作战体系为例,说明所提出方法的可行性。     

基于Choquet积分的区间灰数多属性决策方法

针对多属性决策中属性间的关联性对决策结果的影响,提出了基于区间灰数灰度和Choquet积分的区间灰数多属性决策方法。根据区间灰数灰度的定义,证明了区间灰数的灰度是一种灰测度,由此定义了关于区间灰数灰度的离散Choquet积分并证明其性质;依据各方案的综合属性值的方差最小的原则建立多目标优化模型,确定了各属性或属性集的权重,最后利用Choquet积分对各方案的效果评价向量进行集成。通过实例说明了该方法的有效性。     

离散／连续系统仿真语言IHSL

本文介绍了自行研制的离散/连续系统仿真语言IHSL。IHSL是一个通用的仿真语言,适用于广泛的领域。与其它通用语言相比,IHSL具有以下特点:(1)模型,实验,参数分离处理功能;(2)对实体流模型的描述能力;(3)对加工设备和物料处理的建模能力;(4)能与有关软件组成一体化仿真支撑环境.所以IHSL除了作为通用仿真语言使用以外.更适合于对制造系统的建模和仿真。 IHSL是用C语言开发的。目前已能在多种机型上运行。     

基于Vague集理论的推荐系统中用户兴趣度的描述

用户兴趣度的描述是推荐输入研究中的重点问题,论文通过对用户兴趣描述中存在的复杂性和不确定性因素的分析,提出借助Vague集理论解决这一问题难点的思路.论文定义用户评分,用户注册信息,分享,购买,收藏,浏览时间等六项指标反映用户的兴趣爱好,采用Vague集方法得到了六项指标的取值,利用线性加权的方法得到任一用户对任一属性的Vague兴趣度描述.论文的研究在不确定理论研究推荐算法方面奠定了理论基础,同时也为Vague集理论的研究发现了新的应用背景.