期刊文献+
共找到23篇文章
< 1 2 >
每页显示 20 50 100
Modeling and Analysis of Bandwidth Allocation in IEEE 802.16 MAC: A Stochastic Reward Net Approach
1
作者 Shanmugam Geetha Raman Jayaparvathy 《International Journal of Communications, Network and System Sciences》 2010年第7期631-637,共7页
In this paper, we present a stochastic reward net (SRN) approach to analyse the performance of IEEE 802.16 MAC with multiple traffic classes. The SRN model captures the quality of service requirements of the traffic c... In this paper, we present a stochastic reward net (SRN) approach to analyse the performance of IEEE 802.16 MAC with multiple traffic classes. The SRN model captures the quality of service requirements of the traffic classes. The model also takes into account pre-emption, priority and timeout characteristics associated with the traffic classes under consideration. The performance of the system is evaluated in terms of mean delay and normalized throughput considering the on-off traffic model. Our analytical model is validated by simulations. 展开更多
关键词 WIMAX IEEE 802.16 stochastic reward Net Mean Delay THROUGHPUT
下载PDF
Early Stage Software Reliability Estimation with Stochastic Reward Nets
2
作者 赵靖 刘宏伟 +1 位作者 崔刚 杨孝宗 《Journal of Donghua University(English Edition)》 EI CAS 2005年第3期33-36,共4页
This paper presents software reliability modeling issues at the early stage of a software development for fault tolerant software management system. Based on Stochastic Reward Nets, an effective model of hierarchical ... This paper presents software reliability modeling issues at the early stage of a software development for fault tolerant software management system. Based on Stochastic Reward Nets, an effective model of hierarchical view for a fault tolerant software management system is put forward, and an approach that consists of system transient performance analysis is adopted. A quantitative approach for software reliability analysis is given. The results show its usefulness for the design and evaluation of the early-stage software reliability modeling when failure data is not available. 展开更多
关键词 software reliability software reliability evaluation early-stage software reliability growth model stochastic reward nets Hierarchical model
下载PDF
基于SRN的集束型半导体装备批加工模型
3
作者 郑秀红 《半导体技术》 CAS CSCD 北大核心 2014年第4期309-314,共6页
为了分析集束型半导体装备的性能,研究了系统批加工过程的随机回报网模型,模型不仅可以描述装备的批加工过程和机械手的操作序列,还可以用来分析装备的性能。该模型适用于装备的并行晶圆流和串行晶圆流、串-并混合型模式。在模型中,用... 为了分析集束型半导体装备的性能,研究了系统批加工过程的随机回报网模型,模型不仅可以描述装备的批加工过程和机械手的操作序列,还可以用来分析装备的性能。该模型适用于装备的并行晶圆流和串行晶圆流、串-并混合型模式。在模型中,用变迁的实施速率表示装备加工操作的频率。在模型中还引入了变迁的实施函数来控制不同状态下机械手动作,以避免死锁发生。最后应用该模型,以晶圆流模式(2,1,1)为例,分析了系统配置参数对系统吞吐量的影响。 展开更多
关键词 随机回报网(srn) 模型 集束型装备 半导体 批加工
下载PDF
基于SRN的客户/服务器体系结构的性能评价方法
4
作者 贾钢 李仲麟 +1 位作者 陈兴业 刘忻 《华南理工大学学报(自然科学版)》 EI CAS CSCD 北大核心 1997年第3期47-52,共6页
采用随机补偿网(SRN)建立CSMA/CD网络上的客户服务器性能评价模型,并给出了解题方法。在此基础上来用敏感函数的方法分析了影响吞吐率的各个因素,找出了系统优化和提高网络有效利用率的方法。事实表明,提出的方法具有普... 采用随机补偿网(SRN)建立CSMA/CD网络上的客户服务器性能评价模型,并给出了解题方法。在此基础上来用敏感函数的方法分析了影响吞吐率的各个因素,找出了系统优化和提高网络有效利用率的方法。事实表明,提出的方法具有普遍的适用性。 展开更多
关键词 性能评价 随机补偿网 CSMA/CD 客户/服务器
下载PDF
基于随机回报网的机群系统可用性建模及仿真 被引量:7
5
作者 范新媛 徐国治 +1 位作者 应忍冬 蒋乐天 《系统仿真学报》 CAS CSCD 2004年第8期1655-1658,共4页
随机回报网作为随机Petri网的一个分枝,在多个方面扩展了模型的描述功能,提高了建模效率和分析能力。采用随机回报网对机群系统进行建模和分析,综合考虑了机群前端的分配器和后端的服务器对系统整体性能的影响,给出了性能指标的计算方法... 随机回报网作为随机Petri网的一个分枝,在多个方面扩展了模型的描述功能,提高了建模效率和分析能力。采用随机回报网对机群系统进行建模和分析,综合考虑了机群前端的分配器和后端的服务器对系统整体性能的影响,给出了性能指标的计算方法,并结合实例进行了分析。 展开更多
关键词 机群系统 分配器服务器 随机回报网 可用性
下载PDF
回报计划对重复购买行为模式的影响研究 被引量:9
6
作者 马宝龙 李金林 +1 位作者 李纯青 王高 《数理统计与管理》 CSSCI 北大核心 2007年第3期457-467,共11页
客户回报计划已成为一种重要的关系营销手段。本文在讨论回报计划如何对稳定市场结构下的重复购买行为产生影响的基础上,通过建立NBD-DM随机模型,提供了一种研究消费者重复购买行为的模型方法,并利用一组护肤品品类销售的固定样本组数据... 客户回报计划已成为一种重要的关系营销手段。本文在讨论回报计划如何对稳定市场结构下的重复购买行为产生影响的基础上,通过建立NBD-DM随机模型,提供了一种研究消费者重复购买行为的模型方法,并利用一组护肤品品类销售的固定样本组数据(panel data)对该方法进行了实证分析。结果表明NBD-DM模型是研究消费者重复购买行为的有效模型方法,并且证实回报计划在改变客户重复购买行为上的有效性,其是企业建立长期客户关系的有效手段。最后讨论了结论对战略及营销管理实践的意义。 展开更多
关键词 回报计划 重复购买行为 NBD-DM模型
下载PDF
机群系统基于预测的软件Rejuvenation策略研究 被引量:1
7
作者 范新媛 徐国治 蒋乐天 《计算机仿真》 CSCD 2004年第11期250-253,共4页
处于运行阶段的软件往往存在老化现象 ,即软件的性能随着时间的推移逐渐下降 ,甚至导致突发的系统停机。为了抵消软件老化带来的消极影响 ,人们提出了一种称为软件rejuvenation的预防性容错策略。该策略通过主动的停止程序运行、清理程... 处于运行阶段的软件往往存在老化现象 ,即软件的性能随着时间的推移逐渐下降 ,甚至导致突发的系统停机。为了抵消软件老化带来的消极影响 ,人们提出了一种称为软件rejuvenation的预防性容错策略。该策略通过主动的停止程序运行、清理程序的内部环境等步骤使重启后的软件回到正常的初始状态 ,避免了老化引起的突发性失效 ,因而可以提高系统的可用性。现有的软件rejuvenation包括定时和预测两种方法。该文把基于预测的rejuvenation策略引入机群 ,并综合考虑了机群系统前端的分配器和后端的服务器 ,对这两类实体分别实施rejuvenation ,以改善系统性能。该文构建了在rejuvenation策略下整个机群的SRN模型 ,以分析不同的预测概率对系统性能的影响。仿真结果表明该策略可以有效的提高整个机群系统的可用性。 展开更多
关键词 软件老化 机群 分配器/服务器架构 随机回报网
下载PDF
空间机器人遥操作管理系统可靠性分析和建模 被引量:1
8
作者 张平 卢人庆 梁斌 《华南理工大学学报(自然科学版)》 EI CAS CSCD 北大核心 2008年第1期8-12,共5页
为提高空间机器人遥操作管理系统(SRTMS)的可靠性,分析了SRTMS系统的体系结构,采用随机回报网建立了SRTMS系统的可靠性模型,并对SRTMS系统中各模块对SRTMS系统可靠性的影响进行了分析.结果表明,指令检查模块是影响SRTMS系统整体可靠性... 为提高空间机器人遥操作管理系统(SRTMS)的可靠性,分析了SRTMS系统的体系结构,采用随机回报网建立了SRTMS系统的可靠性模型,并对SRTMS系统中各模块对SRTMS系统可靠性的影响进行了分析.结果表明,指令检查模块是影响SRTMS系统整体可靠性的瓶颈. 展开更多
关键词 空间机器人 遥操作 可靠性 随机回报网
下载PDF
基于一阶流体随机Petri网的回报建模
9
作者 卢光松 葛运建 《中国科学技术大学学报》 CAS CSCD 北大核心 2006年第8期828-833,共6页
从回报机制与回报变量的定义、回报模型的建立等方面提出了基于一阶流体随机Petri网的回报模型的一般性建模方法.该方法既可用于建模马尔科夫随机系统,也可用于建模非马尔科夫随机系统.在一阶流体随机Petri网回报模型中,可建模率回报和... 从回报机制与回报变量的定义、回报模型的建立等方面提出了基于一阶流体随机Petri网的回报模型的一般性建模方法.该方法既可用于建模马尔科夫随机系统,也可用于建模非马尔科夫随机系统.在一阶流体随机Petri网回报模型中,可建模率回报和冲量回报,并可允许累积回报影响被建模系统的动态行为以及回报率本身. 展开更多
关键词 回报模型 流体随机PETRI网 率回报 冲量回报
下载PDF
综合特征Markov模型稳态性质验证方法
10
作者 纪明宇 陈志远 王海涛 《计算机工程与设计》 CSCD 北大核心 2013年第11期3924-3928,共5页
针对带有复杂参数特征的信息系统性质验证需求,提出一种作用于连续概率奖励模型的稳态公式性质验证分析方法。使用具有综合特征表示能力的连续时间马尔可夫决策过程作为系统定量分析模型,采用连续随机奖励逻辑描述系统的性质,通过不确... 针对带有复杂参数特征的信息系统性质验证需求,提出一种作用于连续概率奖励模型的稳态公式性质验证分析方法。使用具有综合特征表示能力的连续时间马尔可夫决策过程作为系统定量分析模型,采用连续随机奖励逻辑描述系统的性质,通过不确定性消解、离散化处理、状态消去等方法,实现了原模型中稳态概率的近似求解。理论分析及实例结果表明了该方法的可行性和有效性。 展开更多
关键词 模型检测 稳态公式 定量分析 连续随机奖励逻辑 离散化 状态消去
下载PDF
基于模型检测的微服务组合平台QoS验证 被引量:3
11
作者 毛昕怡 钮俊 +1 位作者 丁雪儿 张开乐 《计算机应用》 CSCD 北大核心 2020年第11期3267-3272,共6页
针对当前缺少对微服务组合平台的服务质量(QoS)指标进行分析验证的问题,提出一种基于模型检测的形式化验证方法,对影响微服务平台性能的因素进行分析评估。首先,将微服务组合的服务资源配置过程划分为服务请求、资源配置和服务执行3个阶... 针对当前缺少对微服务组合平台的服务质量(QoS)指标进行分析验证的问题,提出一种基于模型检测的形式化验证方法,对影响微服务平台性能的因素进行分析评估。首先,将微服务组合的服务资源配置过程划分为服务请求、资源配置和服务执行3个阶段,并分别由服务请求队列、服务请求配置器和提供服务资源的虚拟机等模块实现;其次,将各个模块的实现过程建模为带标记Markov回报模型(LMRM),借助类似于进程代数的同步概念获得微服务组合过程的全局模型;接着,用连续随机回报逻辑公式刻画期望的QoS指标;最后,将形式模型与逻辑公式作为模型检测工具PRISM的输入以获得验证结果。实验结果表明,LMRM可较好地用于微服务组合平台的建模和QoS验证分析。 展开更多
关键词 微服务组合 连续时间Markov链 连续随机回报逻辑 模型检测 PRISM
下载PDF
基于AdvancedTCA的高可用管理框架的设计与分析
12
作者 张子龙 张延园 范轶 《计算机应用与软件》 CSCD 2011年第1期181-183,共3页
采用最新的高级电信计算构架,设计了一种新的基于该平台的高可用管理框架,框架提供高可用性服务,向上层应用程序提供接口,屏蔽底层的硬件复杂性,从而提高了具体业务的开发效率。同时利用随机回报网对系统进行性能分析,仿真结果表明系统... 采用最新的高级电信计算构架,设计了一种新的基于该平台的高可用管理框架,框架提供高可用性服务,向上层应用程序提供接口,屏蔽底层的硬件复杂性,从而提高了具体业务的开发效率。同时利用随机回报网对系统进行性能分析,仿真结果表明系统满足电信级高可用性的要求。 展开更多
关键词 ADVANCEDTCA 高可用性 随机回报网
下载PDF
Modeling and Performance Analysis of Dispatching Policies in Dispatcher-Based Web Server Cluster 被引量:1
13
作者 XIONG Zhi YAN Puliu GUO Chengcheng 《Wuhan University Journal of Natural Sciences》 EI CAS 2006年第3期591-595,共5页
There are two kinds of dispatching policies in content-aware web server cluster; segregation dispatching policy and mixture dispatching policy. Traditional scheduling algorithms all adopt mixture dispatching policy. T... There are two kinds of dispatching policies in content-aware web server cluster; segregation dispatching policy and mixture dispatching policy. Traditional scheduling algorithms all adopt mixture dispatching policy. They do not consider that dynamic requests' serving has the tendency to slow down static requests' serving, and that different requests have different resource demands, so they can not use duster's resource reasonably and effectively. This paper uses stochastic reward net (SRN) to model and analyze the two dispatching policies, and uses stochastic Petri net package (SPNP) to simulate the models. The simulation results and practical tests both show that segregation dispatching policy is better than mixture dispatching policy. The principle of segregation dispatching policy can guide us to design efficient scheduling algorithm. 展开更多
关键词 Web server cluster stochastic reward net mixture dispatching policy segregation dispatching policy
下载PDF
半马尔可夫对策
14
作者 张道智 《应用数学》 CSCD 北大核心 1990年第3期80-87,共8页
本文考虑半马尔可夫随机对策.在一定条件下,我们证明随机对策有值函数,两个局中人相对于折扣报酬都有最优策略.
关键词 半马氏对策 随机对策 折扣 报酬
下载PDF
条件概率公式在一类马尔科夫报酬模型上的计算 被引量:2
15
作者 吴凯宗 孟庆红 徐鸣 《中国科技论文》 北大核心 2017年第17期1959-1965,1987,共8页
在马尔科夫报酬模型上,把条件概率算子引入连续随机报酬逻辑中,以此表达更为丰富的性质。在harmony假设下,路径的报酬限制可以转化成时间限制,从而将连续随机报酬逻辑中的路径公式转化为连续随机逻辑中的路径公式。再由已知的参数化乘... 在马尔科夫报酬模型上,把条件概率算子引入连续随机报酬逻辑中,以此表达更为丰富的性质。在harmony假设下,路径的报酬限制可以转化成时间限制,从而将连续随机报酬逻辑中的路径公式转化为连续随机逻辑中的路径公式。再由已知的参数化乘积连续时间马尔科夫链的方法,建立起高效的检测算法。 展开更多
关键词 马尔科夫报酬模型 连续随机报酬逻辑 条件概率
下载PDF
交互环境下带有启动时间的清空排队系统分析
16
作者 朱媛媛 刘力维 姜涛 《重庆工商大学学报(自然科学版)》 2016年第6期8-14,共7页
研究了一个交互环境下带有启动时间的马尔可夫清空排队系统。在指数服务循环结束时刻,服务员瞬时服务完系统中所有顾客;该系统在交替的环境中运作,环境的交替会影响顾客的到达率及交通工具的到达率(即服务员的服务速率);刚到达的顾客会... 研究了一个交互环境下带有启动时间的马尔可夫清空排队系统。在指数服务循环结束时刻,服务员瞬时服务完系统中所有顾客;该系统在交替的环境中运作,环境的交替会影响顾客的到达率及交通工具的到达率(即服务员的服务速率);刚到达的顾客会基于简单线性"收益-成本"结构,决定是否进入系统。依据系统的不同状态,得到顾客的止步策略、系统状态的稳态分布、平均队长以及社会最优收益,最后给出了一些数值实例。 展开更多
关键词 清空排队系统 交互随机环境 启动时间 “收益-成本”结构 顾客止步
下载PDF
Modeling and analysis of software rejuvenation ondispatcher-based web server farms
17
作者 FanXinyuan XuGuozhi YingRendong ZhangHao 《Journal of Systems Engineering and Electronics》 SCIE EI CSCD 2005年第2期460-465,共6页
Software rejuvenation is a recently proposed practive fault-tolerance approach to counteract software-aging phenomenon. Compared with clusters of a flat architecture, all the nodes share the same functions. The applic... Software rejuvenation is a recently proposed practive fault-tolerance approach to counteract software-aging phenomenon. Compared with clusters of a flat architecture, all the nodes share the same functions. The application of software rejuvenation on dispatcher-based web server farms is discussed, which employ rejuvenation both on the dispatcher and the worker pool. Stochastic reward net (SRN)models for time-based and prediction-based rejuvenation policies are constructed respectively and solved by stochastic Petri net package (SPNP). Numerical results show that appropriate rejuvenation strategies on the dispatcher and the worker pool could significantly reduce the expected downtime cost of the whole web server farm. 展开更多
关键词 web server farms dispatcher-based architecture software rejuvenation stochastic reward net (srn).
下载PDF
Newsoftware rejuvenation strategy based on measurement and time
18
作者 范新媛 蒋乐天 徐国治 《Journal of Systems Engineering and Electronics》 SCIE EI CSCD 2005年第3期704-708,共5页
Operational software systems often experience an “aging” phenomenon, characterized by progressive performance degradation and a sudden hang/crash failure. Software rejuvenation is a proactive fault-tolerance strateg... Operational software systems often experience an “aging” phenomenon, characterized by progressive performance degradation and a sudden hang/crash failure. Software rejuvenation is a proactive fault-tolerance strategy aimed to prevent unexpected outages due to aging. A new rejuvenation strategy based on measurement and time, and constructs a SRN model to evaluate this strategy. Numerical results show that this strategy outweighs either the purely measurementbased or the purely time-based strategy and can effectively improve system performance. 展开更多
关键词 software aging software rejuvenation stochastic reward net.
下载PDF
基于随机Petri网的容灾系统安全性分析 被引量:3
19
作者 张冬艳 陈红松 《清华大学学报(自然科学版)》 EI CAS CSCD 北大核心 2011年第10期1281-1286,共6页
该文采用基于状态的随机模型对容灾系统进行安全性分析。通过构建一个通用的远程容灾系统模型,使用随机回报网SRN描述了整个系统模型的备份与恢复过程,包括SRN模型中的各个位置、变迁的含义,对该系统模型进行建模。使用随机Petri网软件... 该文采用基于状态的随机模型对容灾系统进行安全性分析。通过构建一个通用的远程容灾系统模型,使用随机回报网SRN描述了整个系统模型的备份与恢复过程,包括SRN模型中的各个位置、变迁的含义,对该系统模型进行建模。使用随机Petri网软件包SPNP对所建立模型进行仿真,通过对不同概率参数的设定得出系统可用性的量化值。仿真实验结果表明:不同的参数变化对系统可用性的影响不同,在本地备份中失效检测对于系统可用性的影响最大,远程备份中的失效检测对于系统可用性的影响最小。 展开更多
关键词 容灾系统 安全性 PETRI网 随机回报网srn
原文传递
突发事件下抗疫物资供应链的激励机制随机演化博弈模型 被引量:8
20
作者 王挺 王雷 《系统科学与数学》 CSCD 北大核心 2022年第4期965-977,共13页
突发公共卫生事件具有成因复杂、传播广泛、危害严重等特点,给抗疫物资的生产与供应带来了极大的不确定性.当生产企业在考虑生产环境、市场收益、职工安全等内外风险下而采取消极生产策略,会影响到供应链内其他企业的收益,甚至影响到物... 突发公共卫生事件具有成因复杂、传播广泛、危害严重等特点,给抗疫物资的生产与供应带来了极大的不确定性.当生产企业在考虑生产环境、市场收益、职工安全等内外风险下而采取消极生产策略,会影响到供应链内其他企业的收益,甚至影响到物资供应的保障.文章针对抗疫物资生产企业运营决策与政府激励问题,构建基于抗疫物资生产企业在疫情下生产策略的随机演化模型,分别计算随机因素主导和期望收益主导两种情形下,企业生产供应策略的均衡结果,讨论了政府静态问责机制与动态奖惩结合机制下对不同程度消极生产企业的规制效果.研究表明:在静态问责机制对消极生产行为的规制效果与企业“驱利”转投获利程度相关,可有效刺激高获利程度企业转为“积极生产”;而动态奖惩结合机制效果与上述程度无关,可有效规避静态问责机制对低获利消极生产行为企业激励无效的现象. 展开更多
关键词 抗疫物资 供应链 动态奖惩机制 随机演化博弈
原文传递
上一页 1 2 下一页 到第
使用帮助 返回顶部