随机进程代数相关论文
性能评价描述、分析和优化系统的动态行为,从时间角度定量地分析系统的性能。传统的性能评价方法主要包括排队论和随机Petri网,随......
随机进程代数PEPA是一种对模型进行性能评价的强有力的形式化语言，它在计算机系统和交互系统的性能评价领域取得了巨大的成就。然而......
随机进程代数PEPA是一种形式化语言，它通过组合化的方式来形式地描述一些分布式计算机和移动通信等并发系统，并可以用来提取和分析系......
为了帮助项目经理合理选择TDD实施模块,基于进程代数方法对测试驱动软件开发过程和非测试驱动软件开发过程建立过程仿真模型。通过......
本文提出了一种基于PEPA的可生存性形式化建模方法，对攻击者和信息系统的交互行为进行精简抽象，构建面向系统可生存性的状态转换图。......
为解决可生存系统的自主管理和维护问题以保持关键服务的持续提供,提出一种基于SM-PEPA的系统认知形式化模型及量化分析方法.首先......
研究P2P网络中良性蠕虫和恶意蠕虫在对抗传播过程中的特性,可为制定合理的蠕虫对抗策略提供科学依据.提出一种基于随机进程代数的P......
性能评价（Performance Evaluation，PE）是计算机网络和计算机系统研究与应用的重要理论基础和支撑技术，也是当今通信和计算机科学领域的......
通过剖析影响可生存性的本质特征,将服务请求与服务器、攻击者与服务器描述为不同的组件,使用PEPA语言精确描述系统各个状态间的逻......
首次提出一种基于随机进程代数的网络可生存性形式化建模方法,该方法把形式化建模与性能分析相结合,从而可以在形式化建模同时分析......
本文以PEPA语言为例，对近年来发展起来的随机进程代数的缓解状态空间爆炸问题的新技术做一个综述．......
论述了对Overlay网络中组播的服务质量进行量化评价的必要性,引入了组播树二度同胚约简的概念,推广了Bowman评价单播数据流服务质......
计算终端引导过程的可信链表现为顺序性,在运行过程中可信链表现出随机性。相关研究工作以计算终端引导过程的可信链建模为主。以......
针对复杂结构网络系统可靠性预计建模与分析的难题,提出了一种应用随机进程代数的网络系统可靠性预计方法.通过分析3种基本网络拓......
随机进程代数是从经典进程代数发展起来 ,用于并发系统的定性和定量分析的形式化方法 ,特别适合在计算机网络和通信协议的建模和性......
介绍了使用随机进程代数作为性能建模的一种方法,着重介绍了Hillston提出的性能评价进程代数(PEPA),主要论述了使用PEPA模型性能评......
