【摘 要】
：
为了定量分析系统的吞吐量、时延、缓存平均利用率等长期样本均值(long-run sample average)性能指标,应用再生周期技术(the technique of regenerative cycles)扩展了形式化建模语言POOSL的构件库。并针对在嵌入式系统中应用广泛的滑动窗口协议,使用扩展后的POOSL为选择重传滑动窗口协议建立了性能分析模型。根据模型模拟执行结果,定量地分析了窗口大
【机 构】
：
北京工业大学计算机学院,第二炮兵工程学院四系
【基金项目】
：
国家自然科学基金（90407017）：北京市教育委员会科技发展计划重点项目（KZ200510005006）.
论文部分内容阅读
为了定量分析系统的吞吐量、时延、缓存平均利用率等长期样本均值(long-run sample average)性能指标,应用再生周期技术(the technique of regenerative cycles)扩展了形式化建模语言POOSL的构件库。并针对在嵌入式系统中应用广泛的滑动窗口协议,使用扩展后的POOSL为选择重传滑动窗口协议建立了性能分析模型。根据模型模拟执行结果,定量地分析了窗口大小、包大小、超时间隔等参数对协议性能的影响。分析表明,扩展后的POOSL能够有效地应用于对系统的长期样本
其他文献
外伤性脑积水是颅脑损伤常见并发症之一，脑室-腹腔分流术是有效的治疗方法。本文通过对2004年3月到2010年9月我院收治的42例外伤性脑积水患者临床资料进行分析，并结合实践探讨
根据多年的粮食烘干实践以及对烘干塔失火现场的了解,分析了烘干塔内粮食失火的原因,烘干塔内粮食着火的一般机理及粮食烘干塔失火的预防.
1 粮食流通布局粮食流通环节中最简捷的路径,莫过于农民把生产出来的粮食直接出售给消费者--没有了中间环节,省了仓储设施,减少了粮食损耗--而事实上,这种理想化的流通方式是
5.1.4等相对温度线的绘制在一定的大气压力B下,根据公式:d=622P,/B-P,=622 Pab/B- Ps可以绘制等相对湿度线.在这个公式里可以看到,当为恒定时,要增大d值,就要增大Pab值.由于P
首次提出了一种安全高效的触发式多播源认证协议,解决了TESLA协议中存在的密钥使用率低和通信量高的问题。结合随机概率转发机制,降低因网络丢包导致的认证时延增大问题并提高报文交付率。性能分析和仿真结果显示在连续密集的广播报文流条件下,协议具备了TESLA协议相同的性能。在稀疏或随机的广播报文流条件下,能将密钥使用率提高约36倍,并减少通信量约5.1倍,显著优于TESLA协议,该性能会随着广播报文速率
1.目前国家粮库建设中的主要仓型为了搞好国家粮库建设,加快粮食流通领域的发展,自1992年我国利用世行贷款改善粮食流通项目规划建设了东北、京津、长江、西南四条粮食流通走
分析了浅圆仓安全储粮过程中害虫防治问题,提出害虫防治应从浅圆仓的清洁卫生、入库前的清消、仓房的密闭性、害虫的检查和综合治理5个方面加强管理,并对浅圆仓储粮害虫的防
针对面粉企业面临的巨大冲击和挑战,分别从思想观念、内部管理、科技创新、品牌意识等方面论述了面粉企业如何在市场竞争中出奇制胜.
2009年1月至2010年8月收治的46例肛瘘采用脱细胞真皮基质材料填塞进行治疗。应用脱细胞真皮基质材料治疗肛瘘，具有微创、痛苦轻、疗程短和不损害肛门功能及外形的优势。