Indexed by:
Abstract:
为了定量分析系统的吞吐量、时延、缓存平均利用率等长期样本均值(long-run sample average)性能指标,应用再生周期技术(the technique of regenerative cycles)扩展了形式化建模语言POOSL的构件库.并针对在嵌入式系统中应用广泛的滑动窗口协议,使用扩展后的POOSL为选择重传滑动窗口协议建立了性能分析模型.根据模型模拟执行结果,定量地分析了窗口大小、包大小、超时间隔等参数对协议性能的影响.分析表明,扩展后的POOSL能够有效地应用于对系统的长期样本均值性能指标进行定量分析.
Keyword:
Reprint Author's Address:
Email:
Source :
系统仿真学报
ISSN: 1004-731X
Year: 2007
Issue: 13
Volume: 19
Page: 2908-2912
Cited Count:
WoS CC Cited Count: 0
SCOPUS Cited Count:
ESI Highly Cited Papers on the List: 0 Unfold All
WanFang Cited Count: 5
Chinese Cited Count:
30 Days PV: 9
Affiliated Colleges: