1974年1月创刊(月刊)
主管/主办:重庆西南信息有限公司
ISSN 1002-137X
CN 50-1075/TP
CODEN JKIEBK
编辑中心
    2015 第十五届全国Petri 网理论与应用学术会议 栏目所有文章列表
    (按年度、期号倒序)
        一年内发表的文章 |  两年内 |  三年内 |  全部
    Please wait a minute...
    1. 从UML到GSPN的转换和性能分析方法
    胡翔,焦莉,柴叶生
    计算机科学    2016, 43 (11): 49-54.   https://doi.org/10.11896/j.issn.1002-137X.2016.11.009
    摘要 (106)   PDF (489KB) (209)  
    UML模型一般不能直接进行性能分析,需要利用模型转换的方法将其转换成其他分析模型,比如排队论、随机进程代数或者随机Petri网等模型。利用Eclipse平台上的Papyrus建立3种类型的UML模型(用例图、部署图和活动图)来对系统进行建模,并利用MARTE规范添加一些性能相关的信息;然后利用ATL实现UML模型到广义随机Petri网(GSPN)模型的转换,并使用XStream将上一步得到的GSPN模型转换成分析工具所支持的格式;最后利用基于GSPN的性能分析方法进行系统性能分析。同时给出了一系列性能指标的计算方法,如利用率、吞吐量、平均等待请求的数目以及响应时间等,可以考察系统性能的多个方面,方便系统设计和开发人员对系统性能进行分析和优化。
    参考文献 | 相关文章 | 多维度评价
    2. 移动网可达树
    张瑞华,杨茹,丁志军
    计算机科学    2016, 43 (11): 55-60.   https://doi.org/10.11896/j.issn.1002-137X.2016.11.010
    摘要 (63)   PDF (472KB) (200)  
    随着计算机技术和网络通信技术的高速发展,对于并发分布式系统,已经提出了进程代数以及Petri网等形式化分析方法。近年来由于移动互联网的出现和快速发展,通过在进程代数中增加移动性得到了pi演算,与此同时,Petri网领域也采用谓词/变迁网、颜色网等构建移动系统模型。但它们仍存在一些不足之处。在此基础上,A.Asperti和N.Busi提出了移动网这一系统模型。移动网是在Petri网的基础上增加了移动性并结合了进程代数的优势得到的,适用于描述和刻画移动计算系统。然而,目前并没有对于移动网相应分析方法的研究。为此开展了移动网模型分析方法的研究,给出了移动网可达树的构造算法,提供了移动网模型可达性分析方法,并对移动车辆电话通信系统实例进行了分析。
    参考文献 | 相关文章 | 多维度评价
    3. 基于随机时间Petri网的安全性分析方法
    彭颖,姚淑珍,谭火彬
    计算机科学    2016, 43 (11): 61-65.   https://doi.org/10.11896/j.issn.1002-137X.2016.11.011
    摘要 (66)   PDF (480KB) (141)  
    在分析了现有的Petri网与安全性结合的方法的缺陷后,提出了一种基于随机时间Petri网(stochastic Time Petri Nets,sTPN)的系统安全性分析方法,利用sTPN建立的系统模型不局限于指数分布和确定分布的变迁,也不局限于一般分布的变迁的使能限制。通过修改后的瞬态随机状态类图以及sTPN的瞬态分析算法可以得到基于路径的安全性指标。最后给出核反应堆冷却循环系统的例子,说明了所提方法的可用性和合理性。
    参考文献 | 相关文章 | 多维度评价
    4. 基于Token选取的OpenStack单一平面网络建模方法
    李华,邢熠,张玉荣
    计算机科学    2016, 43 (11): 66-70.   https://doi.org/10.11896/j.issn.1002-137X.2016.11.012
    摘要 (91)   PDF (495KB) (207)  
    CPN形式化建模适合为包含大量并发、通信、同步共享行为的软硬件系统建立形式模型,并完成系统功能和性能等方面的行为分析。在传统的CPN建模中,token的选取采用穷举法,由此造成生成的token数量较多、CPN模型生成的状态空间相当庞大甚至状态空间爆炸等问题。针对上述问题,提出将符号执行与CPN建模相结合,并在CPN模型的执行过程中采用一种基于token选取的方法,进而得到CPN模型的状态可达图。通过对OpenStack云平台支持创建的单一平面网络进行CPN建模,针对传统方法和所提方法生成的状态空间,分析了其规模的变化,验证了所提方法的有效性。
    参考文献 | 相关文章 | 多维度评价
    5. 基于消息顺序图和Petri网的移动应用监测平台建模分析
    纪建伟,陈昕,黄浩军
    计算机科学    2016, 43 (11): 71-76.   https://doi.org/10.11896/j.issn.1002-137X.2016.11.013
    摘要 (52)   PDF (416KB) (316)  
    随着移动互联网的迅猛发展,移动应用的数量呈现井喷式的爆发,对其性能、故障和短板进行实时、有效的监测与分析是保证系统正常运行的关键。统一建模语言(Unified Modeling Language,UML)作为一种功能较强的面向对象的图形建模工具,可以对移动应用监测平台进行建模分析,但在其过程描述中缺乏严格的语义。Petri网作为一种离散事件动态系统的建模和分析方法,提供了在逻辑时序下研究系统特性和性能的有效手段,并具有图形方法的直观性和逻辑方法的概括性。通过将基于UML消息顺序图和Petri网的建模方法应用到移动应用监测平台的分析过程中,针对用户下发的监测任务构建系统的消息顺序图和Petri网模型,利用消息顺序图对平台各对象之间在时间顺序上的交互关系进行了验证,并利用Petri网化简规则和状态方程对该模型进行了结构上的正确性验证和可达性分析。
    参考文献 | 相关文章 | 多维度评价
    6. 基于模糊着色Petri网的多状态系统可靠性分析
    张新菊,姚淑珍
    计算机科学    2016, 43 (11): 77-82.   https://doi.org/10.11896/j.issn.1002-137X.2016.11.014
    摘要 (74)   PDF (546KB) (160)  
    在多状态系统中,由于性能退化、局部失效等原因,系统或元件会表现出从完全失效到完美工作之间的一系列过渡状态,这些过渡状态信息将直接影响系统的可靠性。针对这一问题,提出一种模糊着色Petri网模型,该模型通过对模糊状态及状态变迁进行建模来刻画多状态系统的可靠性特征。在这种模糊着色Petri网模型中,变迁阈值会随着节点状态模糊信息的动态变化而发生变化,为此提出自适应模糊推理算法进行阈值调整,为多状态系统模型的可靠性分析及性能优化提供指导。通过对多状态系统可靠性分析进行验证,表明研究提出的模糊着色Petri网及参数调整策略合理有效,有利于提高多状态系统整体性能。
    参考文献 | 相关文章 | 多维度评价
    7. 层次结构的进程网
    郭峰,乔磊,毛文祥
    计算机科学    2016, 43 (11): 83-87.   https://doi.org/10.11896/j.issn.1002-137X.2016.11.015
    摘要 (87)   PDF (331KB) (142)  
    进程网(Process Net)是一种结合进程代数和Petri网理论的Petri网模型。 当系统过于复杂时,进程网系统模型在实际应用中会遇到节点爆炸的问题,此时需要引入层次结构。提出了层次结构的进程网,给出了层次进程网的建模过程和实现算法,解决了大的复杂系统建模和状态空间爆炸问题,可以清楚地反映出模型的层次,便于对进程网进行细化得到准确的模型,也便于用逐步求精、自顶向下的方法对被模拟系统进行建模,帮助用户实现各种粒度的仿真服务。
    参考文献 | 相关文章 | 多维度评价
    8. 呼叫准入约束下Macro-Femto小区选择GSPN模型研究
    汪凯,陈昕,向旭东
    计算机科学    2016, 43 (11): 88-93.   https://doi.org/10.11896/j.issn.1002-137X.2016.11.016
    摘要 (85)   PDF (480KB) (132)  
    随着数据业务快速增长,仅靠宏蜂窝网络已无法满足流量需求;飞蜂窝网络可以有效分流宏蜂窝流量, 近年来 所构成的Macro-Femto架构得到了较广泛的部署。Macro-Femto网络部署的关键问题之一是小区选择,由于飞蜂窝网络频谱资源有限,进行小区选择时仍需考虑呼叫准入控制(Call Admission Control,CAC)。图形化的广义随机Petri网(Generalized Stochastic Petri Nets,GSPN)具有并行性、不确定性和异步特性以及强大的分析复杂系统的功能。针对Macro-Femto网络的呼叫准入约束机制,通过分析呼叫对信道的占用情形,在改进呼叫重审机制的基础上,建立了呼叫准入控制策略GSPN模型。利用建立的GSPN模型,分析了不同呼叫准入控制策略对新呼叫和切换呼叫阻塞率的影响,给出了部分重审机制的呼叫准入控制策略。在分析飞蜂窝的高速服务特性和宏蜂窝的高负载能力的基础上,结合部分重审呼叫准入策略和GSPN方法,提出了基于负载的飞蜂窝优先选择方案(Load-Based Femto-Priority Selection Scheme,LFP)。仿真结果表明,较典型的飞蜂窝优先选择方案,所提出的LFP方案对新呼叫的阻塞率和切换呼叫的掉线率分别降低了2.7%和4.6%。
    参考文献 | 相关文章 | 多维度评价
    9. 基于拟间接依赖的过程模型挖掘方法
    化佩,方贤文,刘祥伟
    计算机科学    2016, 43 (11): 94-97.   https://doi.org/10.11896/j.issn.1002-137X.2016.11.017
    摘要 (70)   PDF (303KB) (160)  
    过程挖掘旨在从信息系统所记录的事件日志中挖掘出人们需要的且合理的过程模型,从而有助于改善或重建业务流程。以往的方法大多是根据任务间的直接依赖关系构建过程模型,具有很大的局限性。现存的过程挖掘方法中,虽然有能挖掘间接依赖的方法,其却没有从过程行为的角度进行分析。基于拟间接依赖的过程模型挖掘方法,把行为轮廓融入其中,依据行为轮廓建立初始模型;然后基于增量日志和拟间接依赖关系调整模型;最后根据评价标准选出最优模型。此方法特别适用于挖掘含有间接依赖的过程模型。
    参考文献 | 相关文章 | 多维度评价
    10. 含有效冲突的恒定连续Petri网演变图及构造算法
    赵义军,张小轩
    计算机科学    2016, 43 (11): 98-101.   https://doi.org/10.11896/j.issn.1002-137X.2016.11.018
    摘要 (83)   PDF (281KB) (137)  
    最大速度恒定的连续Petri网(CCPN)是由David首先提出的一类时延连续Petri网模型,构造其演变图是对其性质进行分析的一种有效方法。而对于含有效冲突的最大速度恒定的连续Petri网,由于有效冲突所引起的变迁激发的不确定性,使得构造演变图变得较为困难。基于有效冲突的两种解决方式——确定优先级或按比例分配流量,给出了计算各变迁瞬发速度的算法2;进而对含有效冲突且有界的CCPN,提出了演变图构造算法3,利用其演变图,可以对含有效冲突的CCPN进行性能分析。
    参考文献 | 相关文章 | 多维度评价
    首页 | 前页| 后页 | 尾页 第1页 共2页 共16条记录