一类可由基本模型嵌套组成的工作流系统的性能分析方法

工作流是近年来网络领域里研究的一个热点,对工作流模型的性能分析是工作流研究的一个重要内容.实际的模型往往规模大而复杂,这为分析其性能带来了很大的困难.但有一类模型可由工作流的四种基本模型(顺序、并行、选择、循环)嵌套组成,对于这类模型,本文给出了计算其性能乘积解的数学公式.文中给出了如何由这四种基本模型嵌套组成实际模型的方法,推导出了计算这四种基本模型的性能等价公式,并按建立实际模型相反的顺序,用由里到外逐层的分析方法,给出了计算实际模型的性能乘积解.     

一种SaaS模式下平台运营商信任信息共享的博弈模型

近年来软件即服务模式受到越来越多企业用户的欢迎.平台运营商是其中最重要的组成部分,平台运营商间相互提供客户信任信息可以最大程度上提高评估用户的信任可信度.建立一种基于信誉的激励机制,从博弈论的角度进行建模分析,推导出混合策略的纳什均衡,在有动态交互作用的时候可以根据对他人行为的预测进行决策,从而达到双方最稳定的共赢状态,最终提高评估用户信任信息的可信度.     

随机Petri网模型中变迁的串、并联性能等价化简技术

随机Petri网的状态空间爆炸问题的研究始终是Petri网研究的主要问题之一.在随机Petri网模型中,变迁的串、并联是Petri网模型的主要基本形式,对它的化简不仅有助于解决随机Petri网状态空间的爆炸问题,而且也为其他随机Petri网的化简技术提供一个坚实的基础.另外在诸如工作流、多媒体等重要的随机Petri网模型中也存在大量的变迁的串、并联结构,所以对随机Petri网模型变迁的串、并联的化简,特别是能够推导出它的性能等价的数学公式就显得很有必要.本文详细阐述了随机Petri网变迁的串并联的模型化简技术,推导出了变迁的串、并联化简的性能等价公式,并给出一个化简的例子,最后对结果的相关问题进行了分析.     

基于符号定时偏差补偿的过零点采样自干扰消除

针对系统存在符号定时偏差时造成自干扰信号过零点漂移,进而导致过零点采样自干扰消除方法性能失效问题,本文提出一种符号定时偏差补偿的信号过零点采样自干扰消除方法.首先,利用辅助信号设计与自逆多项式根存在原理得到计算过零点的数学模型.其次,通过分析两种不同符号定时偏差对接收信号的影响,采用差值法和相关函数法计算系统符号定时偏...     

可信网络的发展及其面对的技术挑战

随着信息网络的基础性、全局性作用日益增强,传统的网络理论与技术,尤其是网络安全,已经不能满足网络发展的需要,提供系统的安全可信的服务已经成为网络研究的新趋势。本文认为可信网络应该是网络和用户的行为及其结果总是可预期与可管理的。网络可信主要包括服务提供者的可信、网络信息传输的可信性和终端用户的可信等3个方面的内容。从网络与用户行为的可信模型、可信网络的体系结构、服务的可生存性、网络的可管理性4个方面进行研究,以便为解决可信网络面临的科学问题提供思路。     

基于Petri网的数字媒体分发协议的安全性证明

 安全协议的形式化证明是目前的一个热点和难点问题.本文以一种数字媒体分发协议(DMDP)为例,采用基于Petri网模型并结合进程代数和逻辑归纳方法对其进行形式化证明,新的方法有效避免了状态空间爆炸问题.在证明过程中,采用协议安全性等价原则,对分发协议进行简化,使证明更加简洁.文章同时对证明方法的完备性进行了讨论,说明了Petri网模型证明协议安全性的有效性.     

IP网络传输控制的性能评价标准研究

性能评价标准是进行网络传输控制机制和算法研究的一个非常重要的问题.由于传输控制本身的多目标性,导致了性能评价标准也需要同时考虑多项内容,即需要研究综合性能评价标准.本文通过讨论包括服务质量、服务数量和公平性在内的性能评价指标、性能评价的时间尺度和评价粒度等几个基本问题,针对不同的粒度,分别从有效性和公平性两个方面提出了相应的性能评价标准.在有效性方面,定义了规格化性能函数这一概念,把时延、丢包率等服务质量和服务数量统一在一起进行评价;在公平性方面,利用随机过程均值和方差的关系,以及Raj Jain公平指数的改进公式进行评价.     

两凸多边形交集面积的计算机算法

为了求解两个平面凸多边形的交集面积,对原有的六步法进行了改进.在求交点的过程中,通过判断线段之间是否排斥和跨立来确定线段之间是否相交;在交集顶点的排序过程中,通过各点相对于起始点的方位角余弦值大小对交集顶点进行排序.整个求面积的过程易于实现,时间复杂度为O(mn),其中,m和n分别为两个凸多边形的顶点数目.     

一种随机Petri网性能等价化简与分析方法

随机Petri网模型是系统性能评价的有力工具,但其状态空间随模型规模的增长而指数性增长的问题限制了其对复杂和大规模系统模型的性能数量分析能力.因此,在对模型进行分析之前,先对其进行适当的性能等价化简,是一种更为可行的分析方法.本文首先讨论了一类随机Petri网-基本随机Petri网(ESPN)的性能等价分析方法,这类随机Petri网由顺序、并行、选择和循环等四种基本结构及其组合构成.作者推导出这四种基本结构的性能等价公式,并运用自底向上逐步综合替代的分层分析方法,给出这类随机Petri网模型的性能等价化简分析方法,该方法的复杂性随模型增长而线性增长,有效解决了其性能数量分析问题.然后,讨论了两种非基本结构到基本结构的转换规则,使得复杂的随机Petri网模型也可能转换为ESPN模型,从而使性能等价算法可应用于一般随机Petri网.     

一类可由基本模型嵌套组成的工作流系统的性能分析方法

工作流是近年来网络领域里研究的一个热点，对工作流模型的性能分析是工作流研究的一个重要内容．实际的模型往往规模大而复杂，这为分析其性能带来了很大的困难．但有一类模型可由工作流的四种基本模型(顺序、并行、选择、循环)嵌套组成，对于这类模型，本文给出了计算其性能乘积解的数学公式．文中给出了如何由这四种基本模型嵌套组成实际模型的方法，推导出了计算这四种基本模型的性能等价公式，并按建立实际模型相反的顺序，用由里到外逐层的分析方法，给出了计算实际模型的性能乘积解．