oalib

OALib Journal期刊

ISSN: 2333-9721

费用:99美元

投稿

时间不限

2016 ( 116 )

2015 ( 3649 )

2014 ( 3851 )

2013 ( 3944 )

自定义范围…

匹配条件: “田立勤” ,找到相关结果约59351条。
列表显示的所有文章,均可免费获取
第1页/共59351条
每页显示
一类可由基本模型嵌套组成的工作流系统的性能分析方法
,林闯
电子学报 , 2003,
Abstract: 工作流是近年来网络领域里研究的一个热点,对工作流模型的性能分析是工作流研究的一个重要内容.实际的模型往往规模大而复杂,这为分析其性能带来了很大的困难.但有一类模型可由工作流的四种基本模型(顺序、并行、选择、循环)嵌套组成,对于这类模型,本文给出了计算其性能乘积解的数学公式.文中给出了如何由这四种基本模型嵌套组成实际模型的方法,推导出了计算这四种基本模型的性能等价公式,并按建立实际模型相反的顺序,用由里到外逐层的分析方法,给出了计算实际模型的性能乘积解.
行为证据不全对无线传感器网络信任评估的影响与性质分析
,林闯?
计算机科学 , 2010,
Abstract: 在无线传感器网络中单独基于节点身份认证的静态安全控制不能满足动态的安全需要,必须结合节点动态的行为可信确认才能更好地提供安全保障,因此基于行为可信的研究已经成为业界研究无线传感器网络的热点。在节点行为信任评佑中,行为证据是行为评佑的根本依据,但由于节点的行为是随机的,不确定的,因此能否获得证据也是随机的,不确定的,这就造成了节点行为证据不全、每次交往的行为价值不相等的现象,但目前在无线传感器网络的行为信任评估中很少考虑这个非常重要的现象。分析了节点交往中行为证据不全对信任评估带来的重要影响,论述了节点交往中证据不全与节点行为价值的关系,给出了不足填充法和权重扩展法等针对不同价值交往的节点信任评估策略。最后通过两个定理和两个性质证明了方法对节点行为信任评估的作用和性质,这为提高节点行为信任的价值可信度奠定了量化基础。
基于CDMA的水下传感器网络MAC协议设计
白磊,冯振兴,
北京邮电大学学报 , 2015, DOI: 10.13190/j.jbupt.2015.增.024
Abstract: 水下传感器网络(UWSN)中节点采用声波通信,水声信道的高误码率、长延迟、低带宽、多径效应、多普勒频散等技术,据此提出一种动态的、分布式的基于码分多址(CDMA)的水下传感器网络介质访问控制层(MAC)协议.该协议不但节能,还能够提高CDMA扩频码的重用率,并且能够适应网络拓扑的动态变化.同时,协议使用了功率控制机制,有效解决CDMA系统中普遍存在的"远-近"效应问题.仿真实验表明,与经典的静态编码分配协议和ALOHA相比,该协议在冲突率、交付率、端到端的延迟、能耗等方面具有更好的性能.
用进程代数描述可适应工作流的模型方法
魏丫丫,林闯,
电子学报 , 2002,
Abstract: 工作流模型技术是当前的一个研究热点,工作流模型必须支持动态可适应性并且能够模型大规模的复杂系统才能被广泛应用.作者首次提出用进程代数——通信顺序进程(CommunicationSequentialProcess,CSP)描述工作流的方法,并给出了模型可适应问题的解决方法.进程代数的合并(composition)特点可以将简单的工作流模型组合成复杂的工作流模型,从而解决复杂系统的模型问题,并为工作流模型的可重用性提供有力的支持.
工作流系统模型的性能等价分析
林闯?,,魏丫丫?
软件学报 , 2002,
Abstract: 讨论了基于随机petri网的工作流系统的顺序、并行、选择、循环4种基本模型,并详细推导了这4种基本模型的性能等价公式.最后通过现实中的一个工作流实例来说明如何建立相应的随机petri网模型,以及如何利用这些性能等价公式来计算工作流的性能参数.给出了定量分析工作流系统性能的通用方法,通过用这些等价公式不仅可以对复杂的系统进行性能等价化简,而且还可以得到性能参数的乘积解.
地理位置路由中基于信任的安全模型
张光华,黄莉静,
北京理工大学学报 , 2012,
Abstract: 针对无线传感器网络中地理位置路由易于受到的虚假路由信息、选择性转发、女巫等多重安全威胁,提出一种基于信任的多重攻击防御安全模型.考虑传感器节点资源受限的特性,通过一定时间内数据报的确认信息代替耗能的监听机制,使用Dirichlet分布函数计算路径上邻居节点的可靠性,并结合地理位置路由中的代价作出路由选择.同时,初始信任被动态决定,按照信任值划分服务等级以限制恶意节点的请求.仿真结果及分析表明,在多重攻击下该模型比已有模型在成功转发率、网络生命周期方面有较大的提高.
基于Petri网的数字媒体分发协议的安全性证明
郭迎九,林闯,尹浩,
电子学报 , 2009,
Abstract: 安全协议的形式化证明是目前的一个热点和难点问题.本文以一种数字媒体分发协议(DMDP)为例,采用基于Petri网模型并结合进程代数和逻辑归纳方法对其进行形式化证明,新的方法有效避免了状态空间爆炸问题.在证明过程中,采用协议安全性等价原则,对分发协议进行简化,使证明更加简洁.文章同时对证明方法的完备性进行了讨论,说明了Petri网模型证明协议安全性的有效性.
IP网络传输控制的性能评价标准研究
林闯,周文江,
电子学报 , 2002,
Abstract: 性能评价标准是进行网络传输控制机制和算法研究的一个非常重要的问题.由于传输控制本身的多目标性,导致了性能评价标准也需要同时考虑多项内容,即需要研究综合性能评价标准.本文通过讨论包括服务质量、服务数量和公平性在内的性能评价指标、性能评价的时间尺度和评价粒度等几个基本问题,针对不同的粒度,分别从有效性和公平性两个方面提出了相应的性能评价标准.在有效性方面,定义了规格化性能函数这一概念,把时延、丢包率等服务质量和服务数量统一在一起进行评价;在公平性方面,利用随机过程均值和方差的关系,以及RajJain公平指数的改进公式进行评价.
随机Petri网模型中变迁的串、并联性能等价化简技术
,林闯,周文江
电子学报 , 2002,
Abstract: 随机Petri网的状态空间爆炸问题的研究始终是Petri网研究的主要问题之一.在随机Petri网模型中,变迁的串、并联是Petri网模型的主要基本形式,对它的化简不仅有助于解决随机Petri网状态空间的爆炸问题,而且也为其他随机Petri网的化简技术提供一个坚实的基础.另外在诸如工作流、多媒体等重要的随机Petri网模型中也存在大量的变迁的串、并联结构,所以对随机Petri网模型变迁的串、并联的化简,特别是能够推导出它的性能等价的数学公式就显得很有必要.本文详细阐述了随机Petri网变迁的串并联的模型化简技术,推导出了变迁的串、并联化简的性能等价公式,并给出一个化简的例子,最后对结果的相关问题进行了分析.
一种随机Petri网性能等价化简与分析方法
林闯,曲扬,郑波,
电子学报 , 2002,
Abstract: 随机Petri网模型是系统性能评价的有力工具,但其状态空间随模型规模的增长而指数性增长的问题限制了其对复杂和大规模系统模型的性能数量分析能力.因此,在对模型进行分析之前,先对其进行适当的性能等价化简,是一种更为可行的分析方法.本文首先讨论了一类随机Petri网-基本随机Petri网(ESPN)的性能等价分析方法,这类随机Petri网由顺序、并行、选择和循环等四种基本结构及其组合构成.作者推导出这四种基本结构的性能等价公式,并运用自底向上逐步综合替代的分层分析方法,给出这类随机Petri网模型的性能等价化简分析方法,该方法的复杂性随模型增长而线性增长,有效解决了其性能数量分析问题.然后,讨论了两种非基本结构到基本结构的转换规则,使得复杂的随机Petri网模型也可能转换为ESPN模型,从而使性能等价算法可应用于一般随机Petri网.
第1页/共59351条
每页显示


Home
Copyright © 2008-2017 Open Access Library. All rights reserved.