摘要：根据实际信息处理交换系统异步、并发的工作特点,利用petri网这一良好的数学分析工具,建立了SPN模型。通过对模型科学合理地抽象、简化和压缩得到了可以进行实际数学分析的模型,即而对可分析的SPN模型进行了算例分析和仿真,通过仿真结果对重要信息节点系统吞吐量、系统时延和节点变迁利用率等重要性能、指标进行了定性、定量的分析。分析结果科学地指导了实际信息处理交换系统的硬件选型和软件设计。

摘要：列车和无线闭塞中心在多数情况下通信处于正常状态,但是在实际通信过程中可能出现以下几种引发故障因素:传输数据出错、连接丢失、越区切换、端到端传输延时。主要考虑了高速列车在移动闭塞区间条件下GSM-R无线通信系统的越区切换的可靠性,采用计算机仿真的方法得到GSM-R通信系统在通信故障情况下的越区切换成功概率。结合随机petri网理论对于铁路无线通信系统GSM-R中的越区切换事件进行了建模和分析,给出了随机petri网表示的列车与无线闭塞中心通信的越区切换模型,并使用TimeNET仿真工具分析了GSM-R越区切换的可靠性。

摘要：为解决高可用异构容错系统的可用性评价问题,提出了一种针对高可用异构容错系统的混合可用性评价模型。设计实现异构容错原型系统,包括硬件体系结构框架及软件系统。采用Markov过程与随机petri网相结合的方式,从可用性量化和系统状态转换两方面构建系统的可用性模型。根据该可用性模型估算系统的高可用指标,并与同构及非容错单机系统进行比较分析。结果表明,该可用性模型能够对异构容错系统进行准确的可用性评价,验证了系统5个9的高可用指标要求。最后总结了影响系统高可用性的主要因素及提升系统可用性的有效方法。

摘要：提出一种基于随机petri网(Stochastic petri Net,SPN)的支持异常处理的软件系统可用性建模与分析方法.在建立支持异常处理的元结构SPN模型和支持异常处理的典型结构SPN模型的基础上,给出了支持异常处理的软件系统可用度求解方法.最后,以某汽车厂零部件采购系统为例,在建立其SPN模型的基础上,分析了系统的可用度参数.可以为软件系统异常处理的分析与设计提供理论参考.

摘要：利用随机petri网理论给出了一个集群应用软件负载平衡系统的抽象模型,通过细化其中的本地节点处理部分对3种集群动态负载平衡的调度策略和应用系统体系结构对负载平衡系统的影响进行了分析,得到了一些对大部分应用系统的设计起到指导作用的结论。这些结论是:(1)无论是静态负载平衡还是动态负载平衡都能提高集群系统的性能,动态负载平衡会得到更好的性能;(2)在动态负载平衡算法中除了要考虑系统中最重要的等待队列——应用队列外,还要考虑数据库队列;(3)异步体系架构将任务切分到各处理子系统中,有助于将各子系统负载数据综合到负载向量中,能够更准确地衡量系统负载、提高负载平衡系统的性能,优于同步体系结构。

摘要：离散时间确定与随机petri网(DDSPN)是一种优良的实时系统建模与分析工具。本文研究了基于VHDL的DDSPN描述及仿真方法,分析了VHDL在实时系统建模中的特点与优势,并用一个典型实例验证了该方法的有效性。

摘要：TTP/C是一种基于TTA架构的高容错总线协议,针对其分布式、多点串行以及基于时间触发等特点,以系统可靠性理论和随机petri网(SPN)理论为基础,设计一种基于SPN的可靠性分析模型。通过设定相关事件的发生时延,利用PIPE 4.3.0分析软件对该模型求解,得出TTP/C理论上的可靠度。文中提出的模型和仿真方法实现了对传统可靠性分析方法的继承和突破。仿真结果表明,TTP/C总线协议具有较低的故障率,可以满足航天航空控制应用领域的要求。

摘要：时间因素在对实时系统的分析中占据着重要的位置。随着时间因素在petri网应用分析中的地位越发重要,各种与时间相关的petri网模型相继被提出。文中结合动态实时系统的运行特征,设计了一种变迁点火时间服从正态分布的随机petri网模型,并基于对系统行为的统计分析,提出了一种用于对变迁时间参数进行识别的数值算法。以一种随机制造单元为例,建立正态随机petri网模型,并运用参数识别算法确定变迁时间参数。仿真结果符合系统的实际运行结果,证明了该方法的有效性。

摘要：DDoS攻击利用IP协议的缺陷,通过消耗目标主机网络带宽及系统资源,使合法用户无法得到正常服务。由于采用源IP地址欺骗、代理等技术,现有的网络追踪技术不能有效追踪DDoS攻击源。针对取证人员开展DDoS追踪取证工作存在线索中断、取证困难等问题,提出了基于行为分析的DDoS攻击源追踪技术。它采用随机petri网对DDos攻击行为进行建模,分析DDoS攻击行为的特征,通过与历史攻击行为进行匹配分析,确定可疑的攻击组织,结合攻击行为的主要特性对攻击源进行重点追踪并取证分析。通过案例对基于行为分析的DDoS攻击源追踪方法进行了分析和说明,并与其他方法进行了比较。进一步拓宽了DDoS攻击源追踪方法,通过与目前攻击源追踪技术相结合,能够提升DDoS攻击源追踪效率。

摘要：高可用集群在我国的许多重要部门起着重要的作用,目的在于提供高可靠的应用,因此其性能的评测也就愈发显得重要,传统的集群评测算法不能对其进行准确的描述。通过高级随机petri网对一个两节点的高可用集群进行建模,并进行模型的化简分析,介绍如何利用高级随机petri网对高可用系统进行分析。证明其在高可用系统分析中的可行性。