基于赋时层次着色Petri网的流控制传输协议连接建模与分析

流控制传输协议（Stream Control Transmission Protocol, SCTP）是一种可靠的传输协议,2007年Internet工程任务组修订了52处缺陷并发布了SCTP新规范RFC4960,但仍缺乏形式化的描述和验证。赋时层次着色Petri网适用于从动态角度对复杂系统进行建模,并能够用形式化的方法进行验证分析。因此,采用基于事件和基于状态的建模方法,提出了SCTP连接的赋时层次着色Petri网模型,该模型考虑了网络时延和丢失以及重传机制。通过CPN Tools分析,验证了SCTP连接过程的预期性质,并在RFC4960中描述的SCTP连接过程中发现了两类死锁问题。     

描述与求解哲学家就餐问题的Petri网模型研究

研究了用Petri网描述操作系统中经典的“并发操作”的例子——哲学家就餐问题，并构造了不同的Petri网模型解决死锁和无限等待问题，最后讨论了轮流进餐时不同进餐次数情况下的Petri网构造问题。     

基于Petri网军民共用停机坪运行仿真与分析

为解决军民用停机坪运行冲突问题,通过分析军用飞机与民用飞机共同使用机坪及其附近区域的滑行规则,基于模块化建模思想,建立基于停机坪区域的分层赋时着色Petri网模型.提出冲突点选择避让机制,设计运行模型控制器,将场面运行控制知识与模块的库所和变迁集成,增强模型的智能决策能力,基于CPN Tools软件平台实现模块化建模....     

基于着色Petri网实现A星算法的生产调度优化研究

基于着色Petri网对A星算法进行建模,研究生产调度优化问题.利用着色Petri网的理论优势,简化了大规模复杂工艺生产过程的调度模型过于复杂的问题.直接建立A星算法的着色Petri网模型,对于生产调度研究中的跨平台问题给出了一种解决方法.通过着色Petri网仿真模拟软件CPN Tools构建了基于着色Petri网的A星算法实例和生产调度实例.     

防化装备维修保障系统的Petri网

为了解决传统的Petri网模型结构复杂、缺少时间描述等不足,在装备维修保障系统建模中,利用有色Petri网、赋时Petri网理论,提出了装备维修保障系统的Petri网模型,具有结构顺序明确、计算简便、效率高等特点。     

含有不可控变迁的Petri网死锁避免策略

文章针对Petri网建模的并发系统中的死锁问题,利用Petri网可达树分析方法检测系统死锁的存在,结合Petri网控制器的设计来达到预防和避免死锁的目的;提出了一种新的约束设计思想,进行控制器设计,使得系统不会出现死锁;更进一步地考虑到控制器设计过程中存在不可控变迁的情况下系统避免死锁的设计问题。     

混流制造系统的Petri网建模与仿真研究

以赋时Petri网为分析工具,将混流制造系统工艺流程、产品类型标识、缓冲区和加工时间等用基本Petri网语言表示,建立了基于赋时库所Petri网的混流制造系统模型,从全局观点描述事件之间的顺序、并发和同步等关系,并基于该模型,进一步分析混流制造系统的性能,包括操作间的逻辑约束关系、资源冲突、生产能力和设备利用率等.相关实例的仿真结果证明了该模型的有效性.     

求解哲学家就餐问题的两个Petri网模型

哲学家就餐问题是操作系统中描述“并发操作”的一个经典例子,一般用管程、PV操作等方法来避免死锁问题。Petri网是一个很好的描述和分析并发问题的工具。本文提出了用Petri网避免死锁的一种模型,并进一步讨论了用另一种扩充了的Petri网模型避免无限等待情况发生的方法。     

基于扩展着色赋时Petri网的板材FMS建模及分析

提出带有决策库所的扩展着色赋时Petri网（ECTPN）建模方法。建立了板材FMS的ECTPN模型,通过ECTPN模型对板材FMS运行中的潜在冲突作出分析。结合调度规则,ECTPN模型能准确刻画板材FMS的运行过程,为进一步分析和评价系统创造了条件。     

Petri网死锁的求解算法

本文对Petri网的基础知识作了相关的介绍,以及对Petri网的结构性质进行一定的介绍与分析,其中主要介绍的结构性质是可重复向量和死锁,并适当的通过举例来说明问题.根据Petri网的相关结构性质,初步得出了T-不变量、可重复向量、死锁的关系,给出了T-不变量和可重复向量的求解算法,以及对Petri网进行结构变化的基础上,给出相应算法去求解一个网的死锁.最后还给出了利用真值表求解死锁的方法.     

Ｃｍ＋｛ｅ１｝，Ｃｍ＋｛ｅ１｝＋｛ｅ２｝与Ｐｎ的笛卡儿积的交叉数

确定了笛卡尔积图(Ｃｍ＋｛ｅ１｝)×Ｐｎ(ｍ≥５，ｎ≥１)的交叉数，以及笛卡尔积图(Ｃｍ+｛ｅ１｝＋｛ｅ２｝)×Ｐｎ(ｍ≥５，ｎ≥１)的交叉数，其中ｅ１，ｅ２∈ｖｉｖｉ＋２（ｉ＝１，２，…，ｍ，ｉ＋２（ｍｏｄ　ｍ））.若ｅ１的端点为ｖｊ，ｖｊ＋２，则ｅ２的端点不为ｖｊ＋１.     

统一框架下对超核5ΛHe,9ΛBe,6ΛΛHe和10ΛΛBe基态结合能的研究

用α集团模型和少体理论方法研究了超核5ΛΗe,9ΛΒe,6ΛΛΗe和10ΛΛΒe的基态结合能.所采用的α-α势符合低能α-α散射实验及8Be的基态共振能量,Λ-α势是用Λ-N势及α粒子密度分布函数拟合5ΛΗe的基态结合能的实验值得到的,Λ-Λ势是通过拟合6ΛΛΗe基态结合能的实验值而得到的.用一组α-α势,Λ-α势和Λ-Λ势统一描述这4个超核的基态结合能并得到了合理的结果.     

低能(e,2e)反应中的碰撞机制

以入射能量为64.6eV、能量均分、共面不对称几何条件下He原子电子碰撞电离过程为例 ,分析低能(e,2e)反应中的碰撞机制和交换效应 ,在回顾了中高入射能量下两种传统的碰撞机制的基础上提出了两种新的碰撞机制 ,从而成功地解释了三重微分截面的结构 ,特别是binary 峰和recoil峰的位置     

（e，2e）电子动量谱仪的电子光学系统

设计、研制了（ｅ，２ｅ）电子动量谱仪的电子光学系统，调试和测试结果表明，该系统性能达到了预期设计指标，满足了谱仪的要求．     

(e,2e)反应研究的意义及进展

本文从动力学和结构学两方面简单介绍了(e，2e)反应研究的意义及进展，并对(e，2e)谱仪的发展作了简单的介绍。     

(e,2e)动力学实验对称性的研究

通过(e,2e)动力学实验装置,在不对称几何条件下,且入射电子能量相同时(E0=340eV),通过改变动量转移的大小,研究三重微分截面角关联曲线对称性的破坏.实验结果表明,当动量转移较大时,实验获得的三重微分截面角关联曲线峰位与动量转移(K)位置更接近,表明动量转移(K)是一个重要的物理量,它制约着三重微分截面角关联曲线的对称性.     

氦原子(e,3e)碰撞的理论推导

在这篇文章中，完成了高入射能、低敲出能情形下，电子入射双电离He原子五重微分截面(FD－CS)的理论推导，计算中使用了三个电子在He^ 2离子场中的四体末态波函数。所得理论曲线，除个别点之外，其形状上与最新的实验结果是吻合的。     

共面不对称几何条件下Xe 4d(e,2e)反应的理论研究

采用标准的扭曲波玻恩近似理论和修正后的扭曲波玻恩近似理论,计算了共面不对称几何条件下Xe 4d轨道(e,2e)反应的三重微分截面.散射电子能量为1 000 eV,敲出电子能量为100 eV,散射电子角度分别固定在2°和8°.理论计算与Avaldi等人的实验结果和理论计算进行了比较,发现两出射电子之间的后碰撞相互作用很弱,考虑极化效应会造成理论计算与实验结果产生很大差别,同时,散射电子和束缚电子之间的交换作用在反应过程中起着重要作用.