期刊文献+
共找到13篇文章
< 1 >
每页显示 20 50 100
基于SRN的集束型半导体装备批加工模型
1
作者 郑秀红 《半导体技术》 CAS CSCD 北大核心 2014年第4期309-314,共6页
为了分析集束型半导体装备的性能,研究了系统批加工过程的随机回报网模型,模型不仅可以描述装备的批加工过程和机械手的操作序列,还可以用来分析装备的性能。该模型适用于装备的并行晶圆流和串行晶圆流、串-并混合型模式。在模型中,用... 为了分析集束型半导体装备的性能,研究了系统批加工过程的随机回报网模型,模型不仅可以描述装备的批加工过程和机械手的操作序列,还可以用来分析装备的性能。该模型适用于装备的并行晶圆流和串行晶圆流、串-并混合型模式。在模型中,用变迁的实施速率表示装备加工操作的频率。在模型中还引入了变迁的实施函数来控制不同状态下机械手动作,以避免死锁发生。最后应用该模型,以晶圆流模式(2,1,1)为例,分析了系统配置参数对系统吞吐量的影响。 展开更多
关键词 随机回报网(srn) 模型 集束型装备 半导体 批加工
在线阅读 下载PDF
基于(p,N)-策略和不中断休假排队模型生产厂启动生产的控制策略
2
作者 袁雨梅 唐应辉 魏瑛源 《运筹与管理》 北大核心 2025年第4期142-147,共6页
本文将生产厂接受订单及其生产过程用排队服务过程刻画,研究了基于(p,N)-策略和不中断多重休假M/G/1排队模型的系统性能指标。利用排队系统稳态队长的随机分解定理得到了稳态下系统中订单数的随机分解结果与平均订单数的表达式,同时应用... 本文将生产厂接受订单及其生产过程用排队服务过程刻画,研究了基于(p,N)-策略和不中断多重休假M/G/1排队模型的系统性能指标。利用排队系统稳态队长的随机分解定理得到了稳态下系统中订单数的随机分解结果与平均订单数的表达式,同时应用Little公式获得了任意订单在系统中的平均等待时间表达式。进一步通过建立费用结构模型,利用更新报酬定理推导出了系统长期运行单位时间内所产生的期望成本费用函数的显示表达式。在没有等待时间约束下和有等待时间约束下分别讨论了系统的费用优化问题,并用数值计算实例确定了使系统期望成本费用最小的启动生产的一维最优控制策略N*和当休假时间为定长T时的二维最优控制策略(N*,T*)。 展开更多
关键词 (p N)-策略 不中断多重休假 随机分解 更新报酬定理 最优控制策略
在线阅读 下载PDF
基于SRN的客户/服务器体系结构的性能评价方法
3
作者 贾钢 李仲麟 +1 位作者 陈兴业 刘忻 《华南理工大学学报(自然科学版)》 EI CAS CSCD 北大核心 1997年第3期47-52,共6页
采用随机补偿网(SRN)建立CSMA/CD网络上的客户服务器性能评价模型,并给出了解题方法。在此基础上来用敏感函数的方法分析了影响吞吐率的各个因素,找出了系统优化和提高网络有效利用率的方法。事实表明,提出的方法具有普... 采用随机补偿网(SRN)建立CSMA/CD网络上的客户服务器性能评价模型,并给出了解题方法。在此基础上来用敏感函数的方法分析了影响吞吐率的各个因素,找出了系统优化和提高网络有效利用率的方法。事实表明,提出的方法具有普遍的适用性。 展开更多
关键词 性能评价 随机补偿网 CSMA/CD 客户/服务器
在线阅读 下载PDF
基于随机回报网的机群系统可用性建模及仿真 被引量:7
4
作者 范新媛 徐国治 +1 位作者 应忍冬 蒋乐天 《系统仿真学报》 CAS CSCD 2004年第8期1655-1658,共4页
随机回报网作为随机Petri网的一个分枝,在多个方面扩展了模型的描述功能,提高了建模效率和分析能力。采用随机回报网对机群系统进行建模和分析,综合考虑了机群前端的分配器和后端的服务器对系统整体性能的影响,给出了性能指标的计算方法... 随机回报网作为随机Petri网的一个分枝,在多个方面扩展了模型的描述功能,提高了建模效率和分析能力。采用随机回报网对机群系统进行建模和分析,综合考虑了机群前端的分配器和后端的服务器对系统整体性能的影响,给出了性能指标的计算方法,并结合实例进行了分析。 展开更多
关键词 机群系统 分配器服务器 随机回报网 可用性
在线阅读 下载PDF
空间机器人遥操作管理系统可靠性分析和建模 被引量:1
5
作者 张平 卢人庆 梁斌 《华南理工大学学报(自然科学版)》 EI CAS CSCD 北大核心 2008年第1期8-12,共5页
为提高空间机器人遥操作管理系统(SRTMS)的可靠性,分析了SRTMS系统的体系结构,采用随机回报网建立了SRTMS系统的可靠性模型,并对SRTMS系统中各模块对SRTMS系统可靠性的影响进行了分析.结果表明,指令检查模块是影响SRTMS系统整体可靠性... 为提高空间机器人遥操作管理系统(SRTMS)的可靠性,分析了SRTMS系统的体系结构,采用随机回报网建立了SRTMS系统的可靠性模型,并对SRTMS系统中各模块对SRTMS系统可靠性的影响进行了分析.结果表明,指令检查模块是影响SRTMS系统整体可靠性的瓶颈. 展开更多
关键词 空间机器人 遥操作 可靠性 随机回报网
在线阅读 下载PDF
基于一阶流体随机Petri网的回报建模
6
作者 卢光松 葛运建 《中国科学技术大学学报》 CAS CSCD 北大核心 2006年第8期828-833,共6页
从回报机制与回报变量的定义、回报模型的建立等方面提出了基于一阶流体随机Petri网的回报模型的一般性建模方法.该方法既可用于建模马尔科夫随机系统,也可用于建模非马尔科夫随机系统.在一阶流体随机Petri网回报模型中,可建模率回报和... 从回报机制与回报变量的定义、回报模型的建立等方面提出了基于一阶流体随机Petri网的回报模型的一般性建模方法.该方法既可用于建模马尔科夫随机系统,也可用于建模非马尔科夫随机系统.在一阶流体随机Petri网回报模型中,可建模率回报和冲量回报,并可允许累积回报影响被建模系统的动态行为以及回报率本身. 展开更多
关键词 回报模型 流体随机PETRI网 率回报 冲量回报
在线阅读 下载PDF
综合特征Markov模型稳态性质验证方法
7
作者 纪明宇 陈志远 王海涛 《计算机工程与设计》 CSCD 北大核心 2013年第11期3924-3928,共5页
针对带有复杂参数特征的信息系统性质验证需求,提出一种作用于连续概率奖励模型的稳态公式性质验证分析方法。使用具有综合特征表示能力的连续时间马尔可夫决策过程作为系统定量分析模型,采用连续随机奖励逻辑描述系统的性质,通过不确... 针对带有复杂参数特征的信息系统性质验证需求,提出一种作用于连续概率奖励模型的稳态公式性质验证分析方法。使用具有综合特征表示能力的连续时间马尔可夫决策过程作为系统定量分析模型,采用连续随机奖励逻辑描述系统的性质,通过不确定性消解、离散化处理、状态消去等方法,实现了原模型中稳态概率的近似求解。理论分析及实例结果表明了该方法的可行性和有效性。 展开更多
关键词 模型检测 稳态公式 定量分析 连续随机奖励逻辑 离散化 状态消去
在线阅读 下载PDF
基于模型检测的微服务组合平台QoS验证 被引量:3
8
作者 毛昕怡 钮俊 +1 位作者 丁雪儿 张开乐 《计算机应用》 CSCD 北大核心 2020年第11期3267-3272,共6页
针对当前缺少对微服务组合平台的服务质量(QoS)指标进行分析验证的问题,提出一种基于模型检测的形式化验证方法,对影响微服务平台性能的因素进行分析评估。首先,将微服务组合的服务资源配置过程划分为服务请求、资源配置和服务执行3个阶... 针对当前缺少对微服务组合平台的服务质量(QoS)指标进行分析验证的问题,提出一种基于模型检测的形式化验证方法,对影响微服务平台性能的因素进行分析评估。首先,将微服务组合的服务资源配置过程划分为服务请求、资源配置和服务执行3个阶段,并分别由服务请求队列、服务请求配置器和提供服务资源的虚拟机等模块实现;其次,将各个模块的实现过程建模为带标记Markov回报模型(LMRM),借助类似于进程代数的同步概念获得微服务组合过程的全局模型;接着,用连续随机回报逻辑公式刻画期望的QoS指标;最后,将形式模型与逻辑公式作为模型检测工具PRISM的输入以获得验证结果。实验结果表明,LMRM可较好地用于微服务组合平台的建模和QoS验证分析。 展开更多
关键词 微服务组合 连续时间Markov链 连续随机回报逻辑 模型检测 PRISM
在线阅读 下载PDF
基于AdvancedTCA的高可用管理框架的设计与分析
9
作者 张子龙 张延园 范轶 《计算机应用与软件》 CSCD 2011年第1期181-183,共3页
采用最新的高级电信计算构架,设计了一种新的基于该平台的高可用管理框架,框架提供高可用性服务,向上层应用程序提供接口,屏蔽底层的硬件复杂性,从而提高了具体业务的开发效率。同时利用随机回报网对系统进行性能分析,仿真结果表明系统... 采用最新的高级电信计算构架,设计了一种新的基于该平台的高可用管理框架,框架提供高可用性服务,向上层应用程序提供接口,屏蔽底层的硬件复杂性,从而提高了具体业务的开发效率。同时利用随机回报网对系统进行性能分析,仿真结果表明系统满足电信级高可用性的要求。 展开更多
关键词 ADVANCEDTCA 高可用性 随机回报网
在线阅读 下载PDF
基于随机回报网的管道-过滤器体系结构风格建模及其实例研究
10
作者 熊华根 叶俊民 +1 位作者 张涛 朱凯 《计算机工程与科学》 CSCD 2006年第z2期35-37,78,共4页
在软件体系结构研究领域中,风格的研究与应用是一个重要的领域.本文提出了一种基于随机回报网的"管道-过滤器"体系结构风格建模方法.此方法考虑了管道和过滤器的故障问题,并可对任意拓扑结构的"管道-过滤器"体系结... 在软件体系结构研究领域中,风格的研究与应用是一个重要的领域.本文提出了一种基于随机回报网的"管道-过滤器"体系结构风格建模方法.此方法考虑了管道和过滤器的故障问题,并可对任意拓扑结构的"管道-过滤器"体系结构进行建模.本文的工作将使得对"管道-过滤器"体系结构的建模具有更大的应用范围. 展开更多
关键词 软件体系结构 体系结构风格 随机回报网 建模技术
在线阅读 下载PDF
半马尔可夫对策
11
作者 张道智 《应用数学》 CSCD 北大核心 1990年第3期80-87,共8页
本文考虑半马尔可夫随机对策.在一定条件下,我们证明随机对策有值函数,两个局中人相对于折扣报酬都有最优策略.
关键词 半马氏对策 随机对策 折扣 报酬
在线阅读 下载PDF
Modeling and analysis of software rejuvenation ondispatcher-based web server farms
12
作者 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
13
作者 范新媛 蒋乐天 徐国治 《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
上一页 1 下一页 到第
使用帮助 返回顶部