分享到:

并发系统基本模型及其分析

本文概述了目前用于并发系统形式描述的几个重要的基本模型:FSM、Petri网、FTS以及C  (本文共3;页) 阅读全文>>

《系统工程与电子技术》2006年09期
系统工程与电子技术

多机并发系统动态信息的逆向抽取和过滤策略

针对多机并发系统的复杂性,为了辅助用户从多个层次全面地理解并发系统,就需要抽取出能反映系统整体行为特征的动态信息。从进程的视角研究信息的逆向获取,提出了一种抽取多机并...  (本文共7页) 阅读全文>>

《程序员》2004年03期
程序员

并发系统的测试

作为软件测试者,最难于测试、最不容易发现Bug的是哪一类...  (本文共5页) 阅读全文>>

《计算机学报》1990年02期
计算机学报

并发系统的模型和自动验证

时序逻辑可以很好地应用于描述和验证并发系统的动态特性。AMC(Model Checker for Asynchronous concur...  (本文共9页) 阅读全文>>

扬州大学
扬州大学

并发系统的组合结构研究及应用

随着并发系统在计算机、通信等领域的广泛应用,在实现了并发系统进一步发展的同时,也对并发系统的功能及性能分析带来了考验。基于此,本文先从并发系统对应Petri网模型的层次结构角度以及对应Petri网模型与CCS(通信系统演算)之间的对应关系,来对并发系统的功能进行研究。接着利用PEPA(性能评估进程代数)对智能交通系统(ITS)进行性能建模与分析,从应用角度,对并发系统性能方面的案例研究作进一步发展。本文的研究内容及贡献主要包括以下三点:首先,本文提出并发系统对应Petri网模型的组合结构提取算法。算法以模型的关联矩阵(Incidence Matrix,IM)作为处理对象,以模型中的并发变迁作为结构提取的关键点,自动提取出Petri网模型所有潜在的组合结构,从模型层次性的角度来对并发系统的组合结构进行研究。除此以外,本文进一步从实际的案例应用角度,对提出的组合结构提取算法的效用进行分析:以城市交通网络为实例,为其制定具体的Petr...  (本文共89页) 本文目录 | 阅读全文>>

《计算机工程与科学》2008年11期
计算机工程与科学

并发系统概率空间的形式化构造方法

本文用Paulson归纳法描述并发系统,对系统执行的不确定性进行建模,给出了一种适合定义测度的产生集合,利用测度评估函数将产生集合的测...  (本文共3页) 阅读全文>>