基于随机Petri网的网络可信赖性分析方法研究 被引量：43

1

作者 林闯 王元卓 +1 位作者 杨扬 曲扬 《电子学报》 EI CAS CSCD 北大核心 2006年第2期322-332,共11页

随着人们对计算机网络系统的依赖性的不断增强,网络系统的可信赖性研究变得越来越重要.本文首先对可信赖性的概念及其主要性能指标进行论述,并对系统可信赖性各种模型方法及求解特点作了分类比较.在此基础上研究了随机Petri网(SPN)对网... 随着人们对计算机网络系统的依赖性的不断增强,网络系统的可信赖性研究变得越来越重要.本文首先对可信赖性的概念及其主要性能指标进行论述,并对系统可信赖性各种模型方法及求解特点作了分类比较.在此基础上研究了随机Petri网(SPN)对网络系统可信赖性建模分析的方法和步骤,着重研究了随机Petri网描述系统的服务失效模型和容错模型,并给出了网络系统可信赖性分析中主要指标的计算方法.最后对于应用随机Petri方法分析网络系统可信赖性时存在的问题以及研究现状作了分析和总结,并对今后研究的方向进行了展望. 展开更多

关键词 可信赖性 容错 随机PETRI网 马尔可夫过程 非马尔可夫过程

在线阅读 下载PDF 职称材料

一种随机Petri网性能等价化简与分析方法 被引量：30

2

作者 林闯 曲扬 +1 位作者 郑波 田立勤 《电子学报》 EI CAS CSCD 北大核心 2002年第11期1620-1623,共4页

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

关键词 随机PETRI网 性能等价 SPN 状态空间爆炸

在线阅读 下载PDF 职称材料

性能评价形式化方法的现状和发展 被引量：17

3

作者 林闯 李雅娟 王忠民 《电子学报》 EI CAS CSCD 北大核心 2002年第12A期1917-1922,共6页

性能评价(Performance Evaluation,PE)是计算机网络和计算机系统研究与应用的重要理论基础和支撑技术,也是当今通信和计算机科学领域的重要研究方向.本文对性能评价的形式化方法(Forman Methods,FM)、该领域的主要研究成果和发展前景进... 性能评价(Performance Evaluation,PE)是计算机网络和计算机系统研究与应用的重要理论基础和支撑技术,也是当今通信和计算机科学领域的重要研究方向.本文对性能评价的形式化方法(Forman Methods,FM)、该领域的主要研究成果和发展前景进行了综述.文章着重介绍了FM中的三种方法:排队论(Queuing Theory)、随机Petri网(Stochastic Petri—Net,SPN)和随机进程代数(Stochastic Process Algebra,SPA).另外,本文还对不同方法之间的区别和结合做了初步的讨论.最后对形式化方法做了总结和展望. 展开更多

关键词 形式化方法 排队论 随机PETRI网 随机进程代数 计算机网络 PE 性能评价 现状

在线阅读 下载PDF 职称材料

IP网络传输控制的性能评价标准研究 被引量：12

4

作者 林闯 周文江 田立勤 《电子学报》 EI CAS CSCD 北大核心 2002年第12A期1973-1977,共5页

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

关键词 IP网络 传输控制 服务质量 服务数量 公平性 规格化性能函数 计算机网络

在线阅读 下载PDF 职称材料

随机高级Petri网用于计算机网络传输协议的模型与性能评价 被引量：8

5

作者 林闯 吴建平 王鼎兴 《通信学报》 EI CSCD 北大核心 1994年第6期9-16,共8页

本文讨论了具有标记变量的随机高级Ｐｅｔｒｉ网（ＳＨＬＰＮ）以及标识类型、标记变量和等价标记变量的概念，给出了具有等价标记变量可达树构造算法，并证明了等价标记变量可达集与合并状态的马尔可夫链状态空间之间的同构。本文着重... 本文讨论了具有标记变量的随机高级Ｐｅｔｒｉ网（ＳＨＬＰＮ）以及标识类型、标记变量和等价标记变量的概念，给出了具有等价标记变量可达树构造算法，并证明了等价标记变量可达集与合并状态的马尔可夫链状态空间之间的同构。本文着重描述了ＳＨＬＰＮ在计算机网络传输协议的模型与性能评价中的应用，通过这个例子充分显示了这些概念和算法的有效性。 展开更多

关键词 随机 PETRI网 传输协议 性能评价 计算机网络

在线阅读 下载PDF 职称材料

可信网络的发展及其面对的技术挑战 被引量：16

6

作者 林闯 王元卓 田立勤 《中兴通讯技术》 2008年第1期13-16,41,共5页

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

关键词 可信网络 安全性 可生存性 可管理性

在线阅读 下载PDF 职称材料

含有非马尔可夫过程的排队Petri网模型和性能分析 被引量：7

7

作者 林闯 郑波 《电子学报》 EI CAS CSCD 北大核心 2003年第2期166-170,共5页

本文提出了一种新的高级性能模型技术 ,称作NM QPN(含有非马尔可夫过程的排队Petri网 ,QueuingPetriNetincludingNon Markovianprocesses) ,它综合了排队网 ,随机Petri网以及模拟求解各自的特点 .NM QPN以模拟模型为总体框架 ,发挥排队... 本文提出了一种新的高级性能模型技术 ,称作NM QPN(含有非马尔可夫过程的排队Petri网 ,QueuingPetriNetincludingNon Markovianprocesses) ,它综合了排队网 ,随机Petri网以及模拟求解各自的特点 .NM QPN以模拟模型为总体框架 ,发挥排队网和随机Petri网各自的优势对系统进行建模 .提出了一套完整的NM QPN模型求解方案 ,通过流等价方法将模型中的马尔可夫过程进行化简 ,这样可以大大减少模型的状态 。 展开更多

关键词 随机PETRI网 非马尔可夫过程 排队网 NM-QPN

在线阅读 下载PDF 职称材料

多服务器多队列系统调度方案的性能分析 被引量：9

8

作者 林闯 杨士强 《电子学报》 EI CAS CSCD 北大核心 2000年第5期17-20,共4页

本文讨论了多服务器多队列系统的调度、选择控制方案 ,并提供了这些方案的随机Petri网模型 .这篇论文强调这些方案的设计和性能分析 .为了掌握这类系统调度、选择控制方案的设计 ,我们讨论了方案性能优劣性的成因 .本文的多服务器多队... 本文讨论了多服务器多队列系统的调度、选择控制方案 ,并提供了这些方案的随机Petri网模型 .这篇论文强调这些方案的设计和性能分析 .为了掌握这类系统调度、选择控制方案的设计 ,我们讨论了方案性能优劣性的成因 .本文的多服务器多队列系统模型。 展开更多

关键词 多服务器多队列系统 调度方案 计算机网络

在线阅读 下载PDF 职称材料

基于随机高级Petri网的ATM网络接纳控制过程模型 被引量：6

9

作者 林闯 张元生 《通信学报》 EI CSCD 北大核心 1998年第12期1-7,共7页

本文提出了一个ＡＴＭ网络的接纳控制过程模型，此模型是基于随机高级Ｐｅｔｒｉ网的层次模型方法。在复杂的ＡＴＭ网络的接纳控制过程模型中，使用了从顶向下的模型方法。在模型的性能分析中，则采用了从底向上的分解、压缩的方法。这... 本文提出了一个ＡＴＭ网络的接纳控制过程模型，此模型是基于随机高级Ｐｅｔｒｉ网的层次模型方法。在复杂的ＡＴＭ网络的接纳控制过程模型中，使用了从顶向下的模型方法。在模型的性能分析中，则采用了从底向上的分解、压缩的方法。这种方法简化了复杂系统模型的状态空间爆炸问题。 展开更多

关键词 ATM网络 接纳控制 PETRI网 层次模型

在线阅读 下载PDF 职称材料

高校体育教师职业倦怠感的实证研究 被引量：8

10

作者 林闯 霍兴彦 《中国成人教育》 北大核心 2012年第20期111-114,共4页

采用整群随机抽样问卷调查方式对四川省高校体育教师职业倦怠的现状及影响程度进行调查研究。结果表明:高校体育教师整体上已经表现出不同程度的职业倦怠,其中情绪衰竭和低成就感两个维度处在比较严重的水平;6-10年和16-20年两个教龄段... 采用整群随机抽样问卷调查方式对四川省高校体育教师职业倦怠的现状及影响程度进行调查研究。结果表明:高校体育教师整体上已经表现出不同程度的职业倦怠,其中情绪衰竭和低成就感两个维度处在比较严重的水平;6-10年和16-20年两个教龄段已成为高校体育教师职业倦怠的高峰期;1/3的教师对现有薪酬不满意,并在去人性化和低成就感两个维度上存在显著影响;学历不同在职业倦怠的情绪衰竭和去人性化维度上有显著的主效应,职称不同在职业倦怠的情绪衰竭维度上有主效应。 展开更多

关键词 高校 体育教师 职业倦怠

在线阅读 下载PDF 职称材料

大型体育赛事中第三方物流的运用研究 被引量：5

11

作者 林闯 李建 《物流技术》 北大核心 2012年第10期89-91,共3页

论述了第三方物流的含义和主要内容,分析了其特点、优势以及在大型体育赛事中的作用,指出了当今大型体育赛事中存在的问题,并针对这些问题探讨了第三方物流在大型体育赛事中的运用策略。

关键词 大型体育赛事 第三方物流 运用策略

在线阅读 下载PDF 职称材料

计算机体系结构设计原理的易经模型 被引量：4

12

作者 林闯 《电子学报》 EI CAS CSCD 北大核心 2016年第8期1777-1783,共7页

易经是中华民族宝贵文化遗产,它包含上古时期人们对自然宇宙和人生社会的思想认识、哲学理念和辩证法,代表了先民哲学地把握宇宙的思维成果.现代科学的许多重大发现和突破,如二进制、原子结构、生物遗传DNA等学科理论,都可以从八卦和六... 易经是中华民族宝贵文化遗产,它包含上古时期人们对自然宇宙和人生社会的思想认识、哲学理念和辩证法,代表了先民哲学地把握宇宙的思维成果.现代科学的许多重大发现和突破,如二进制、原子结构、生物遗传DNA等学科理论,都可以从八卦和六十四卦模型中发现与之对应的形态和哲学思维.计算机体系结构设计原理(PPCAD)应是易经这种形态和思维的一种自然现象和映射对象,利用八卦和六十四卦哲学思维和策略,提供PPCAD的思路和策略是本文的目标.本文依据PPCAD中的基本推演理念,提炼出4对基本对立统一推演关系,根据4对基本关系构造了新的易经八卦及六十四卦.同时,结合体系结构设计中的层次模型方法,指出了易经层次模型的特点及动态性.为了便于对PPCAD易经模型的理解,我们选择了10个新卦的例子加以说明和表达,同时也给出了一些PPCAD原则和策略的新观察.我们想指出,我们的新易经模型方法不但可用于计算机体系结构的设计,也可尝试用于其他复杂系统的设计原理.最后,对全文进行了总结,并对下一步的研究进行了展望. 展开更多

关键词 计算机体系结构 设计原理 易经 易传 模型

在线阅读 下载PDF 职称材料

策略三十六计和算法三十六计 被引量：2

13

作者 林闯 《电子学报》 EI CAS CSCD 北大核心 2020年第2期209-237,共29页

本着文化自信的精神,深入学习具有三千多年历史的《易经》,挖掘《易经》形象思维的抽象和推理的理念,结合现代计算机学科的发展和作者本身的专业经历,给出了计算机系统设计策略三十六计和算法三十六计的初步成果.本文提出了计算机学科... 本着文化自信的精神,深入学习具有三千多年历史的《易经》,挖掘《易经》形象思维的抽象和推理的理念,结合现代计算机学科的发展和作者本身的专业经历,给出了计算机系统设计策略三十六计和算法三十六计的初步成果.本文提出了计算机学科的四个基本对立统一关系,即四个基本科学问题:集分定位、刚柔相摩、供需相应、串并转换.从集分定位出发,在策略三十六计中提出了架构设计十八计,它包括了时空转换和多种计算模式的计策.从刚柔相摩出发,在策略三十六计中提出了系统特性十八计,它包括了八类特性设计的计策,例如,可控性、效率性、安全性、可变性等方面的计策.供需相应和串并转换所涉及的科学问题,主要体现在资源管理和任务调度的算法三十六计中.这些算法计策中包含了计算机学科的经典和热点问题,例如,可计算性、多目标优化、云计算、软件定义系统、大数据思维和人工智能等.策略三十六计和算法三十六计可以为计算机专业人员在学习和系统研发工作中提供思维框架、策略辩证思路和需要的计策及实例,更为重要的是可以进一步理解事物的哲学道理. 展开更多

关键词 计算机系统设计 易经 对立统一 策略三十六计 算法三十六计

在线阅读 下载PDF 职称材料

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

14

作者 田立勤 林闯 周文江 《电子学报》 EI CAS CSCD 北大核心 2002年第8期1134-1137,共4页

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

关键词 随机PETRI网 模型化简 串联 并联 变迁化简 性能等价方程 SPN

在线阅读 下载PDF 职称材料

基于价格时间Petri网的网格计算应用模型及分析 被引量：27

15

作者 刘卫东 宋佳兴 林闯 《电子学报》 EI CAS CSCD 北大核心 2005年第8期1416-1420,共5页

网格计算环境下资源管理和任务调度是当前研究的热点问题,OGSA体系结构提出了网格服务的概念,但缺乏应用对网格服务质量要求的形式化描述.本文对OGSA体系结构进行了必要的扩展,提出网格用户应用的价格时间Petri网模型,利用该模型可对网... 网格计算环境下资源管理和任务调度是当前研究的热点问题,OGSA体系结构提出了网格服务的概念,但缺乏应用对网格服务质量要求的形式化描述.本文对OGSA体系结构进行了必要的扩展,提出网格用户应用的价格时间Petri网模型,利用该模型可对网格应用的QoS需求进行定义,并可利用Petri网的工具分析用户应用模型的正确性和时间特性,给出了具体的分析算法. 展开更多

关键词 网格服务分析 用户应用模型 网格服务质量 Petri访网

在线阅读 下载PDF 职称材料

主动队列管理中的智能分组丢弃新机制 被引量：9

16

作者 任丰原 林闯 +1 位作者 魏丫丫 樊燕飞 《电子学报》 EI CAS CSCD 北大核心 2002年第12A期1933-1937,共5页

主动队列管理通过网络中间节点有控制的分组丢弃实现了较低的排队延时和较高的有效吞吐量,是TCP端到端拥塞控制近来研究的一个技术热点.已有的大多数算法在判定分组丢弃时大都沿袭了RED的概率丢弃机制,具有一定计算复杂度的随机数生成... 主动队列管理通过网络中间节点有控制的分组丢弃实现了较低的排队延时和较高的有效吞吐量,是TCP端到端拥塞控制近来研究的一个技术热点.已有的大多数算法在判定分组丢弃时大都沿袭了RED的概率丢弃机制,具有一定计算复杂度的随机数生成过程不利于路由器性能的优化.在本文中,我们首先定义了拥塞指数这一新的测度变量来量化描述网络的拥塞状态.接着,利用模糊逻辑设计了一种新的智能分组丢弃机制,离线的合成推理使得分组丢弃的判定仅需要简单的查表操作和比较运算即可完成,为优化路由器的性能提供了便利.数字仿真的结果表明:智能分组丢弃机制的性能优于经典的RED算法,控制队列的能力强,鲁棒性好,稳定工作域大,能很好地抵抗突发性和非弹性业务的干扰,适合工作在瞬息万变的动态网络环境中. 展开更多

关键词 拥塞控制 模糊逻辑 分组丢弃 主动队列管理 计算机网络 TCP流量控制

在线阅读 下载PDF 职称材料

基于时间Petri网的工作流系统模型的线性推理 被引量：34

17

作者 刘婷 林闯 刘卫东 《电子学报》 EI CAS CSCD 北大核心 2002年第2期245-248,共4页

目前工作流理论的研究主要集中在工作流管理模型的结构及正确性分析 ,很少有人研究与时间有关的工作流模型的性质 ,特别是模型中的时序关系推理及性能计算问题 .本文重点研究了这方面的问题 ,用时间Petri网表示工作流模型并对基本工作... 目前工作流理论的研究主要集中在工作流管理模型的结构及正确性分析 ,很少有人研究与时间有关的工作流模型的性质 ,特别是模型中的时序关系推理及性能计算问题 .本文重点研究了这方面的问题 ,用时间Petri网表示工作流模型并对基本工作流模型进行时序分析 ,给出线性时间推理的规则 ,运用这些规则 ,可对复杂的工作流模型进行逐步化简 。 展开更多

关键词 工作流管理系统 时间PETRI网 线性推理

在线阅读 下载PDF 职称材料

含有否定命题逻辑推理的一致性模糊Petri网模型 被引量：9

18

作者 汪洋 林闯 +1 位作者 曲扬 李雅娟 《电子学报》 EI CAS CSCD 北大核心 2006年第11期1955-1960,共6页

模糊Petri网(Fuzzy Petri Net,FPN)是Petri网(Petri Net,PN)的模糊化描述的一种扩充.基于FPN模型的模糊推理规则表示和模糊推理已经得到了广泛的研究.传统的方法不能准确表示含有否定命题的产生式规则,并解决正确推理问题.本文讨论了模... 模糊Petri网(Fuzzy Petri Net,FPN)是Petri网(Petri Net,PN)的模糊化描述的一种扩充.基于FPN模型的模糊推理规则表示和模糊推理已经得到了广泛的研究.传统的方法不能准确表示含有否定命题的产生式规则,并解决正确推理问题.本文讨论了模糊逻辑中否定的含义,将条件命题中的否定理解为其对推理规则的阻碍作用,结果命题中的否定理解为规则中的前提条件阻碍该命题的发生.在此基础上提出一种新的适合于含有否定命题逻辑规则的一致性FPN模型(Consistent Fuzzy Petri Net,CFPN)表示方法,同时在CFPN模型中引入域值的概念,并给出相应的形式化推理算法及相关证明. 展开更多

关键词 模糊Petfi网 模糊逻辑推理 模糊产生式规则 否定命题

在线阅读 下载PDF 职称材料

主动队列管理算法的分类器实现 被引量：9

19

作者 任丰原 林闯 +1 位作者 黄小猛 刘卫东 《电子学报》 EI CAS CSCD 北大核心 2004年第11期1796-1800,共5页

作为端到端拥塞控制的增强机制 ,主动队列管理 (AQM)通过在网络中间节点有目的地丢弃分组来维持较小的队列长度和较高的链路利用率 .已有的大多数主动队列管理算法沿用了随机早期探测 (RED)算法首创的概率丢弃机制 .本质上 ,判决是否丢... 作为端到端拥塞控制的增强机制 ,主动队列管理 (AQM)通过在网络中间节点有目的地丢弃分组来维持较小的队列长度和较高的链路利用率 .已有的大多数主动队列管理算法沿用了随机早期探测 (RED)算法首创的概率丢弃机制 .本质上 ,判决是否丢弃分组的过程是一个依赖于网络拥塞状态的决策过程 ,因此 ,概率决策不应该是唯一的方法 .在本文的研究中 ,我们首先归纳了理想AQM算法所应具备的品质 ,然后应用模式识别中分类器的设计思想提出了一种新颖简洁的主动队列管理策略实现框架 ,并基于Fisher线性判别方法为AQM设计了一个两维两类分类器(TCC) .仿真试验表明TCC有效、敏捷、鲁棒 ,扩展性好 ,同时实现简单 ,计算开销小 。 展开更多

关键词 主动队列管理 拥塞控制 分类器

在线阅读 下载PDF 职称材料

用进程代数描述可适应工作流的模型方法 被引量：7

20

作者 魏丫丫 林闯 田立勤 《电子学报》 EI CAS CSCD 北大核心 2002年第11期1624-1628,共5页

工作流模型技术是当前的一个研究热点 ,工作流模型必须支持动态可适应性并且能够模型大规模的复杂系统才能被广泛应用 .作者首次提出用进程代数———通信顺序进程 (CommunicationSequentialProcess ,CSP)描述工作流的方法 ,并给出了模... 工作流模型技术是当前的一个研究热点 ,工作流模型必须支持动态可适应性并且能够模型大规模的复杂系统才能被广泛应用 .作者首次提出用进程代数———通信顺序进程 (CommunicationSequentialProcess ,CSP)描述工作流的方法 ,并给出了模型可适应问题的解决方法 .进程代数的合并 (composition)特点可以将简单的工作流模型组合成复杂的工作流模型 ,从而解决复杂系统的模型问题 。 展开更多

关键词 进程代数 可适应工作流 一致性 有效性 通信顺序进程

在线阅读 下载PDF 职称材料