您的位置： 专家智库 > >

李雅娟

作品数：11 被引量：102H指数：5
供职机构：清华大学更多>>
发文基金：国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划更多>>
相关领域：自动化与计算机技术理学电子电信文化科学更多>>

合作作者

文献类型

  • 7篇期刊文章
  • 2篇学位论文
  • 2篇会议论文

领域

  • 9篇自动化与计算...
  • 2篇理学
  • 1篇电子电信
  • 1篇文化科学

主题

  • 4篇性能评价
  • 3篇随机PETR...
  • 3篇网络
  • 2篇一致性
  • 2篇异构
  • 2篇异构系统
  • 2篇随机进程代数
  • 2篇马尔可夫
  • 2篇进程代数
  • 2篇非马尔可夫随...
  • 2篇PETRI网
  • 1篇形式化
  • 1篇形式化方法
  • 1篇时序逻辑
  • 1篇随机高级PE...
  • 1篇排队论
  • 1篇重尾分布
  • 1篇自相
  • 1篇自相似
  • 1篇自相似网络

机构

  • 11篇清华大学
  • 1篇北京科技大学
  • 1篇国家自然科学...

作者

  • 11篇李雅娟
  • 8篇林闯
  • 2篇曲扬
  • 2篇刘雪宁
  • 1篇王忠民
  • 1篇肖人毅
  • 1篇单志广
  • 1篇田立勤
  • 1篇李泉林
  • 1篇汪洋

传媒

  • 3篇电子学报
  • 1篇计算机研究与...
  • 1篇清华大学学报...
  • 1篇计算机学报
  • 1篇系统仿真学报
  • 1篇第九届全国P...
  • 1篇全球第七届可...

年份

  • 1篇2007
  • 1篇2006
  • 1篇2005
  • 2篇2004
  • 4篇2003
  • 2篇2002
共 11 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
基于随机Petri网的系统性能评价被引量：37
2003年
性能评价是计算机网络和计算机系统研究与应用的重要理论和支撑技术。综述了作者在基于随机 Petri网(SPN)的系统性能评价方面的研究工作 ,内容包括多服务器多队列网络、 SPN非乘积解系统的判定与界限求解、非乘积解系统模型的分解和近似求解、网络系统自相似业务到达、SPN模型的精化设计、含有非 Markov过程的排队 Petri网、基于 SPN的工作流系统、基于 SPN模型的缓冲优先调度策略、扩展时段时序逻辑的推理机制等方面。今后应加强对非Markov模型。
林闯李雅娟单志广
关键词：计算机网络计算机系统性能评价随机PETRI网
随机高级Petri网在异构系统中的应用被引量：2
2004年
传统的随机高级Petri网 (Stochastichigh levelPetrinets,SHLPNs)通过将多个同构子系统压缩成一个子系统 ,并将具有相同标记分布的多个标识压缩成一个标识 (复合标识 ) ,从而有效地减小模型规模和状态空间 .但该方法仅适用于若干同构子系统组成的系统中 ,本文将这种方法扩展 ,通过引入非对称的变迁实施谓词和扩展的复合标识 ,精确地模型并分析异构系统 ,同时也保持了SHLPNs在化简模型和状态空间方面的优越性 .
李雅娟林闯
关键词：PETRI网异构系统
基于IXP1200的快速报文分类算法的设计与实现被引量：14
2003年
通过对现有报文分类算法的分析和性能比较,并结合分类规则所具有的特性提出了一种新的基于IXP1200网络处理器的多维报文分类算法,称为PCBNP(packet classification based on network processor),并达到了报文的线速转发.算法除了通过减少分类的规则数和分类的域宽来加快分类的速度外,还采用重定向排序索引、位向量表示匹配规则等技术来加快分类的速度,特别是利用了规则的动态分布规律来确定查找报文字段的顺序,通过先查找“分布最均匀的字段”来达到在所有的字段被查找之前提前找到报文匹配的过滤规则的目的.算法具有高速、多维和可扩展的特性,与现有的算法比较,该算法在综合性能上优于已有的报文分类算法.
田立勤林闯肖人毅李雅娟
关键词：报文分类
性能评价形式化方法的现状和发展被引量：28
2002年
性能评价(Performance Evaluation,PE)是计算机网络和计算机系统研究与应用的重要理论基础和支撑技术,也是当今通信和计算机科学领域的重要研究方向.本文对性能评价的形式化方法(Forman Methods,FM)、该领域的主要研究成果和发展前景进行了综述.文章着重介绍了FM中的三种方法:排队论(Queuing Theory)、随机Petri网(Stochastic Petri—Net,SPN)和随机进程代数(Stochastic Process Algebra,SPA).另外,本文还对不同方法之间的区别和结合做了初步的讨论.最后对形式化方法做了总结和展望.
林闯李雅娟王忠民
关键词：形式化方法排队论随机PETRI网随机进程代数PE性能评价
非马尔可夫随机Petri网的分析方法及应用
Petri网是模型并行系统和分布式系统的一种强有效的形式化工具.它能够很好地刻画系统的动态行为、分析系统的性能.目前研究的大多数随机Petri网假定模型中所有变迁的实施时间呈指数分布,但是在许多实际系统中,变迁的实施时间...
林闯李雅娟刘雪宁
关键词：非马尔可夫随机PETRI网
文献传递
扩展时段时序逻辑的模型、一致性和推理被引量：9
2002年
给出了扩展时段时序逻辑的时间 Petri网 (TPN)模型构造方法 ,在构造模型的同时可对时序关系进行一致性检验 .在模型的基础上提出了一种时序关系推理算法 ,这种推理算法基于 TPN模型的性质及基本不等式规则 ,可由一组已知的扩展时段时序关系推出一些未知的扩展时段时序关系 .这种推理算法的优势在于利用了 TNP模型的分析技术 ,减小了推理的时间复杂度 ,比单纯利用不等式规则的推理更直观 ,也更简单 ,是一种有效的方法 .最后 ,对扩展时段时序逻辑的 TPN模型进行了扩充 ,增强了其模型和分析的能力 .
林闯曲扬李雅娟
关键词：时序逻辑一致性PETRI网
网络计算环境中的性能模型及其评价方法
李雅娟
关键词：网络计算性能评价随机PETRI网随机进程代数
非马尔可夫随机Petri网的分析方法及应用被引量：5
2003年
Petri网是模型并行系统和分布式系统的一种强有效的形式化工具。它能够很好地刻画系统的动态行为、分析系统的性能。目前研究的大多数随机Petri网假定模型中所有变迁的实施时间呈指数分布,但是在许多实际系统中,变迁的实施时间呈确定性分布或一般性分布,这就需要研究非马尔可夫模型。文章主要讨论非马尔可夫随机Petri网的分析技术,即基于马尔可夫再生理论进行分析求解,并举例进行说明,在文章的最后进行了总结和展望。
林闯李雅娟刘雪宁
关键词：非马尔可夫随机PETRI网分析方法
含有否定命题逻辑推理的一致性模糊Petri网模型被引量：10
2006年
模糊Petri网(Fuzzy Petri Net,FPN)是Petri网(Petri Net,PN)的模糊化描述的一种扩充.基于FPN模型的模糊推理规则表示和模糊推理已经得到了广泛的研究.传统的方法不能准确表示含有否定命题的产生式规则,并解决正确推理问题.本文讨论了模糊逻辑中否定的含义,将条件命题中的否定理解为其对推理规则的阻碍作用,结果命题中的否定理解为规则中的前提条件阻碍该命题的发生.在此基础上提出一种新的适合于含有否定命题逻辑规则的一致性FPN模型(Consistent Fuzzy Petri Net,CFPN)表示方法,同时在CFPN模型中引入域值的概念,并给出相应的形式化推理算法及相关证明.
汪洋林闯曲扬李雅娟
关键词：模糊逻辑推理模糊产生式规则否定命题
自相似网络的可靠性研究
重尾分布、自相似性、分形性和长范围相依性已经成为随机模型(例如,计算机网络、金融与风险模型、制造系统和可靠性)研究中的重要对象.到目前为止,对于具有这些特征的可靠性模型研究还相当地少.在本文中我们简单地讨论了自相似网络的...
李泉林李雅娟
关键词：自相似网络重尾分布自相似性
文献传递
全选 清除 导出
共2页<12>
聚类工具0