描述离散动态系统的集合标识Petri网:STPNs

基于经典Petri网,进行了标识和语义扩展,定义了集合标识Petri网(Set-TokenSPetriNets,STPNs).在定义STPNs时,构造了携带属性集合的抽象的信息标识,称为集合标识;将大规模个体按照属性层次分组,每组作为一个元素定义在属性集合中,解决了Petri网规模随着标识规模的增大而膨胀的矛盾.在语义上,进行了控制结点、路由结点、通讯弧和结点时间延迟以及针对集合标识的集合运算和结点函数等扩展.STPNs增强了Petri网描述离散事件动态系统(DEDS)的随机特性和控制特性的能力,能够作为用仿真技术研究大规模DEDS的有效建模工具.     

Early Stage Software Reliability Estimation with Stochastic Reward Nets

IntroductionMost software reliability growth models (SRGM) arefailure-based growth models .The“black box”approach of theSRGMrequires alarge number of failures , while these failurescannot be available until the late stages in the softwaredevelopment process .It is i mportant to be able to esti mate thereliability growth at the early stage,and this can demonstratethat the systemdesignis ontrackfor meeting requirements ,sothat appropriate planning regarding the release ti me,price andadditi…     

基于事件调度的随机Petri网仿真

当随机Petri网时间变迁的延迟时间分布为非指数分布时，随机Petri网就不再与马尔可夫链同构，不存在数学分析解法。数字仿真成为解算其性能指标最通用的方法。本文提出基于事件调度的随机Petri网仿真算法，该算法适用于任意时间变迁延迟时间分布随机Petri网性能的解算，实例分析证明该仿真算法的有效性。     

An Algorithm to Construct Concurrent Reachability Graph of Petri Nets

IntroductionPetrinetisausefultooltomodelaconcurrentsystemandanalyzeitsproperties.[1]ThetheoryofPetrinetshasdevelopedsoundlysinceitwasputforwardin1962andwaswidelyappliedtomanyfieldssuchasflexiblemanufacturingsystem,workflow,webservice,etc.[234]ReachabilitygraphisapowerfultooltoanalyzethedynamicpropertiesofPetrinets,bywhichthefiringofconcurrenttransitionsinPetrinetsisrepresentedinaserialmanner.Thatis,Petrinetitselfisaconcurrentmodel,whileitsreachabilitygraphisserial.Infact,concurrencyrelations…     

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

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

基于Petri网的战役机动铁路输送仿真

提出了战役机动铁路输送的Petri网模型，运用该模型建立了分布式仿真系统，模拟了战役机动索件下的大觌爿芙郎队铁路输送，实现了铁路中断、车站破坏等战场情况下的列车仿真运行。通过对仿真结果的分析，得出战役输送的总体评价，为作战运输指挥提供一定的依据。     

树立以人为本的管理理念

现代管理的着眼点已经从对物的管理转变为对人的管理,以人为本已成为现代管理的灵魂。那么要想在管理活动中做到以人为本,必须要让管理中的人乃至全社会的人都要转变理念,抛弃过去那种落后的“以物为本”的管理理念,树立起“人的因素第一”、“尊重知识”与“尊重人才”的观念,追求人的全面发展的先进的以人为本的管理理念。     

用CIMOSA和随机PETRI网对CIM系统进行行为建模

利用ＣＩＭＯＳＡ建模框架和建模语言，一个企业的集成模型能够被建立．用过程规则集能够对企业模型进行行为分析．为了进一步对ＣＩＭＯＳＡ企业模型的操作进行分析，本文提出了将ＣＩＭＯＳＡ企业模型转换为等价的随机Ｐｅｔｒｉ网模型的系统方法．这种方法是一种将“ｂｏｔ－ｔｏｍ－ｕｐ”和“ｔｏｐ－ｄｏｗｎ”建模方法混合使用Ｐｅｔｒｉ网综合技术．由这种方法得到的Ｐｅｔｒｉ网模型能够保持初始Ｐｅｔｒｉ网的某些定性结构性质     

关于超网与超积模型

本文定义了最终为常值的网,讨论了超网的一般形式及其存在定理,用超网构造了一阶语言模型的超积,改进了这一领域中一些重要的性质定理,指出了有关文献中的错误结论     

用算子法处理染料激光方程

近年来,有关染料激光统计性质的研究十分活跃,提出了不少的理论模型和数学方法.其中根据半经典Maxwell-Bloch理论,Aguado等提出了白增益噪声模型,算子