国家教育部博士点基金(20020003027)
- 作品数:4 被引量:173H指数:3
- 相关作者:林闯李雅娟汪洋李泉林王元卓更多>>
- 相关机构:清华大学北京科技大学更多>>
- 发文基金:国家教育部博士点基金国家自然科学基金国家重点基础研究发展计划更多>>
- 相关领域:自动化与计算机技术电子电信更多>>
- 网络安全的随机模型方法与评价技术被引量:116
- 2005年
- 随着网络系统逐渐复杂和庞大,特别是网络攻击和破坏行为的日益普遍和多样,网络安全性面临严峻的挑战.网络安全性研究已经成为国际上重大的科学问题之一,也是影响社会经济发展和国家发展战略的重要因素.文章综述了网络安全性的随机模型与评价技术等方面的研究工作,介绍了该领域的研究现状与进展,总结了网络安全性随机模型的若干研究方法和评价技术,分析了网络的可生存性.基于这些讨论,展望了未来网络安全性研究的新方向.
- 林闯汪洋李泉林
- 关键词:网络安全
- 随机高级Petri网在异构系统中的应用被引量:2
- 2004年
- 传统的随机高级Petri网 (Stochastichigh levelPetrinets,SHLPNs)通过将多个同构子系统压缩成一个子系统 ,并将具有相同标记分布的多个标识压缩成一个标识 (复合标识 ) ,从而有效地减小模型规模和状态空间 .但该方法仅适用于若干同构子系统组成的系统中 ,本文将这种方法扩展 ,通过引入非对称的变迁实施谓词和扩展的复合标识 ,精确地模型并分析异构系统 ,同时也保持了SHLPNs在化简模型和状态空间方面的优越性 .
- 李雅娟林闯
- 关键词:PETRI网异构系统
- 基于随机Petri网的网络可信赖性分析方法研究被引量:58
- 2006年
- 随着人们对计算机网络系统的依赖性的不断增强,网络系统的可信赖性研究变得越来越重要.本文首先对可信赖性的概念及其主要性能指标进行论述,并对系统可信赖性各种模型方法及求解特点作了分类比较.在此基础上研究了随机Petri网(SPN)对网络系统可信赖性建模分析的方法和步骤,着重研究了随机Petri网描述系统的服务失效模型和容错模型,并给出了网络系统可信赖性分析中主要指标的计算方法.最后对于应用随机Petri方法分析网络系统可信赖性时存在的问题以及研究现状作了分析和总结,并对今后研究的方向进行了展望.
- 林闯王元卓杨扬曲扬
- 关键词:可信赖性容错随机PETRI网马尔可夫过程
- 非马尔可夫随机Petri网的分析方法及应用被引量:5
- 2003年
- Petri网是模型并行系统和分布式系统的一种强有效的形式化工具。它能够很好地刻画系统的动态行为、分析系统的性能。目前研究的大多数随机Petri网假定模型中所有变迁的实施时间呈指数分布,但是在许多实际系统中,变迁的实施时间呈确定性分布或一般性分布,这就需要研究非马尔可夫模型。文章主要讨论非马尔可夫随机Petri网的分析技术,即基于马尔可夫再生理论进行分析求解,并举例进行说明,在文章的最后进行了总结和展望。
- 林闯李雅娟刘雪宁
- 关键词:非马尔可夫随机PETRI网分析方法