计算机网络的Petri网建模及性能指标评估

本文提出了用广义随机Ｐｅｔｒｉ网理论对计算机网络进行性能指标评估建模的具体规则，并给出了其相应的广义随机Ｐｅｔｒｉ网图，导出了依据广义随机Ｐｅｔｒｉ网模型（ＧＳＰＮ）对计算机网络中几个主要性能指标直接进行计算的方程，克服了以往在建模过程中的盲目性和无规则性．提出了从广义随机Ｐｅｔｒｉ网建模到进行计算机网性能指标计算的一系列方法．这些方法可有效地完成对计算机网络的建模和性能指标的计算，对分析和设计计算机网络具有普遍的指导意义．     

一类随机连续信号的时间序列分析与建模

讨论由随机微分方程描述的随机连续信号的辨识建模问题,提出并证明了非平稳的连续Ｗｉｅｎｅｒ过程通过稳定的连续线性系统后为平稳随机过程,且均值和自相关函数阵为时间遍历的,基于状态空间分析,给出了连续随机信号建模的时间序列分析方法,并证明了参数估计的一致性收敛性,仿真结果显示了所提出方法的有效性,     

计算机网络安全性的建模分析

当前计算机网络已遍布世界各个角落,通过遵循TCP/IP协议互相通信,但也存在着许多破坏通信的各种攻击现象,严重危害计算机网络的安全性。因此,加强计算机通信网络的安全备受重视。本文主要讨论计算机网络安全性技术以及通过建模对其进行分析。     

学校计算机网络性能的优化

随着计算机网络的发展,学校使用计算机网络进行教学和办公也变得越来越普遍.如何优化学校计算机网络性能,保证网络能够可靠、安全、高效地运行,是网络管理员普遍关注的一个问题.本文主要从学校计算机网络的构成出发,讲述了网络性能优化的一些做法,希望对读者有所裨益.     

基于PEPA的组合服务性能建模与分析

当前对于组合服务的分析主要侧重在功能方面,缺乏有效地进行性能分析的手段和工具.针对此问题,提出一种基于PEPA(performance evaluation process algebra)的组合服务性能建模与评价方法.基于服务组合图对组合服务中原子服务的交互行为进行分析,证明了组合服务和PEPA模型是同构的.给出组合服务和PEPA的映射规则,并建立服务组合的性能模型.提出组合服务性能建模和分析方法.实践结果表明该方法更加简单、有效,易于工程实现.     

计算机网络安全性分析建模研究解析

随着社会经济的不断发展,计算机网络获得空前进步,并广泛应用于众多领域,对人们的生活及生产方式带来了巨大影响。计算机网络的广泛应用,为提高工业化自动水平,推动国民经济发展,发展国防事业,推动社会服务等提供了技术支持,极大提高了生产效率及质量,推动了管理水平及科技水平的提高。然而,随着人们对计算机网络的依赖程度越来越高,计算机网络安全问题越来越受到社会的重视,尤其是计算机网络中存在的重要信息,一旦泄露容易造成不可估量的损失。该文从计算机网络安全的现状出发,讲述了计算机安全属性与计算机网络安全性分析模型,实现对网络安全性评估。     

基于FARIMA的网络建模与性能分析

给出了利用FARIMA模型进行建模、拟合实际网络流量的方法和参数估计的具体步骤,研究了长短相关对网络性能的影响.研究结果表明,不论长相关还是短相关,FARIMA模型对实际业务拟合二者都非常接近,当缓存较小时,网络性能将由短相关特性支配,而且随着缓存增加,长相关业务下系统性能的衰减要比短相关业务下衰减的慢,这些发现对今后网络设计性能研究具有重要的参考价值.     

基于POOSL的系统性能建模与性能分析

本文介绍了面向对象的并行描述语言(POOSL,ParallelObject-OrientedSpecificationLanguage)的基本语义语法及相关的建模工具,并通过对一个基本的包交换系统的建模和分析,说明了利用POOSL进行软硬件系统的性能建模和性能分析的基本方法。     

交换式以太网的计算机建模与仿真

文章在对以太网原理和运行机制以及交换式以太网工作原理深入研究的基础上,对交换式以太网系统进行了基于传输层的模型抽象,采用面向事件的模拟仿真建模方法定义网络实体以及相关事件,并且将仿真结果与实测数据进行了对比。     

双总线结构工业控制计算机网性能指标评估

本文对双总线结构工业控制计算机网给出了其Ｐｅｔｒｉ网和高级Ｐｅｔｒｉ网的建模及性能指标评估方法。文中考虑了信包缓冲区容量有限、信包最大允许服务时间有限、不同的站点优先级和系统总线故障率等因素影响下的网络性能指标评估问题。克服了以往对网络性能评估的某些局限。本文讨论了带计数禁止弧的高级随机Ｐｅｔｒｉ网（ＨＤＳＰＮ）的特性，并对给出的ＤＳＰＮ模型进行了仿真计算，对影响网络性能的系统指标进行了讨论。     

A combined queueing network and stochastic Petri-net approach for evaluating the performability of fault-tolerant computer systems

In this paper the performability analysis of fault-tolerant computer systems using a hierarchical decomposition technique is presented. A special class of queueing network (QN) models, the so-called BCMP [4], and generalized stochastic Petri nets (GSPN) [1] which are often used to separately model performance and reliability respectively, have been combined in order to preserve the best modelling features of both.

A conceptual model is decomposed into GSPN and BCMP submodels, which are solved in isolation. Then, the remaining GSPN portion of the model is aggregated with flow-equivalents of BCMP models, in order to compute performability measures. The substitutes of BCMP models are presented by means of simple GSPN constructs, thereby preserving the 1st and 2nd moments of the throughput. A simple example of a data communication system where failed transmissions are corrected, is presented.     

基于SCPN的软件可靠性建模与分析

针对软件动态行为复杂难以建模,且可靠性难以评估的问题,提出一种基于随机有色Petri网SCPN(Stochastic Colored Petri Net)的软件可靠性建模与分析方法。在建立软件可靠性分析的元结构模型的基础上,分别建立软件可靠性分析的串联结构模型和并联结构模型,有效地描述了软件的静态结构和动态行为。以某工厂采购系统为目标系统,以Time NET4.0为平台,建立其基于SCPN的软件可靠性分析模型,仿真验证了所提方法的正确性和有效性。该方法可以为软件可靠性的早期评估提供理论指导。     

ATM网络的一种实时传输调度和信元丢失控制的综合方案

本文提出了ＡＴＭ网络的一种实时传输调度和信元丢失控制的综合方案。     

动态大型计算机网络的路由通信协议

本文了一种基于离散动态规划原理的分层动态路由协议（ＨＤＲＰ）它适应于分族拓扑的动态大型计算机网络（ＤＬＣＮ）文中给出了该协议路由信息更新的路由决策的实现过程，以及它的正确性证明和复杂性分析，通过仿真实验，研究了该协议的吞吐量和平均报文延迟等特性。文中 一种基于学习自动机的网络故障概率估计了方法及其路由策略，本文的研究表明，分层动态路由协议为动态大型计算机网络的路由决策提供了一种新的有效途径。     

异步计算机会议模型的分析和改进

本文首先介绍了群通信领域的发展近况和主要用于支持信息共享的异步计算机会议模型（ACC），随后用普通、随机和时间等各种Petri网对该模型进行了分析。最后为模型提出了一个‘预加入’功能，它主要通过一个预加入协议来有效地帮助应用有选择地加入ACC模型中的群活动。文中详细地从各个角度介绍了该‘预加入’功能，并用形式人的方法描述了协议的参数。     

计算机性能指标MIPS的适用性分析

长期以来，ＭＩＰＳ一直被视为衡量计算机运算速度的主要性能指标之一。近年来，由于计算机结构的变化，使人们开始意识到以ＭＩＰ衡量计算机的运算速度存在着问题，但，迄今为止，人们对这一问题还没有完全认识清楚，还在以不同的方式使用着ＭＩＰＳ。本文从ＭＩＰＳ的定义出发，结合实例，全面地分析了以ＭＩＰＳ值度量计算机或比较不同的计算机的运算速度所存在的问题以及可能导致的错误结论。进一步地，本文还讨论了在一定的限制     

一种资源共享系统的模型和近似性能分析

本文提出一种随机Ｐｅｔｒｉ网（ＳＰＮ）的资源共享系统的模型，并给出了模型分解和子模型迭代近似求解的两种方法：标识概率交换和平均标志个数交换。例子显示了这两种方法的有效性和相对误差。本文还证明了主述两种方法在固定迭代求解中，固定点解的存在。本文的复杂模型近似性能求解方法可以应用到很多复杂系统的性能分析中。     

概率逻辑神经元网络收敛性的分析

本文以马尔科夫链理论为工具,研究PLN(概率逻辑神经元)网络的定量性质.我们得到的主要结果是,在一给定网络中,给出各状态收敛到稳定状态的概率,平均收敛步数和方差以及一般PLN网络平均收敛步数的上(下)界估计.给出计算机的一个模拟结果,并与理论结论相对比,以验证理论结果的正确性.