【摘 要】
：
性能评价(Performance Evaluation,PE)是计算机网络和计算机系统研究与应用的重要理论基础和支撑技术,也是当今通信和计算机科学领域的重要研究方向.本文对性能评价的形式化
【机 构】
：
清华大学计算机科学与技术系; 北京科技大学计算机系 北京 100084; 北京 100084; 北京 100083;
【基金项目】
：
国家重点基础研究发展规划(973计划)项目(No.G1999032707);国家自然科学基金(No.90104002,60173012);国家高技术研究发展计划(863计划)课题(No.2001AA112080,No.2001NA411040);清华大学信息学院985基础创新研究基金
论文部分内容阅读
性能评价(Performance Evaluation,PE)是计算机网络和计算机系统研究与应用的重要理论基础和支撑技术,也是当今通信和计算机科学领域的重要研究方向.本文对性能评价的形式化方法(Forman Methods,FM)、该领域的主要研究成果和发展前景进行了综述.文章着重介绍了FM中的三种方法:排队论(Queuing Theory)、随机Petri网(Stochastic Petri—Net,SPN)和随机进程代数(Stochastic Process Algebra,SPA).另外,本文还对不同方法之间的区别和结合做了初步的讨论.最后对形式化方法做了总结和展望.
其他文献
税法与会计都属于历史的范畴和经济的范畴,在现代市场经济中,税法与会计是经济领域中既存在区别又紧密相关的两大分支,对经济的发展起着重要的作用[1]。由于税法与会计本质之
目的:探讨经直肠超声引导6针法与5区13针法前列腺穿刺活检术诊断前列腺癌的差异。方法:本组120例,穿刺入选的标准为:①直肠指检发现质硬或结节②血清PSA>4ng/ml③超声检查发
<正>一、教育观念创新是地理课堂教学创新的先导观念是行动的灵魂,教师所具有的教育观念对其教育教学行为有着先导和统率作用。因此,地理课堂教学的创新首先要从教育观念的创
“3+综合”高考改革已拉开序幕。地理学科以时空联系广、兼顾文理科、综合性强、顺应可持续发展和环境意识等时代潮流的优势，奠定了在综合测试中的地位。高三是中学地理教学的
金融危机爆发以来,各国都把新能源发展提升到了前所未有的高度,对新能源的投入呈现加速之势。新能源产业正孕育着新的经济增长点,同时也成为新一轮国际竞争的战略制高点。中
<正> 前不久,昌吉市阿什里哈萨克民族乡努尔加村人大代表阿斯力泰经过9天跋涉,把村民的12000多只羊,从天山深处的冬草场安全护送到村
利用有限元软件建立了水平井中弯曲井眼段套管柱下入的力学模型,动态模拟了水平井眼造斜段内套管柱的下入过程,并对套管柱在下入过程中的受力情况进行了分析。结果表明,套管
瑶族服饰图案纹样的文化内涵玉时阶瑶族服饰以其五彩斑斓、绚丽多姿、工艺精美而获得人们的赞誉。而瑶族的服饰美，又集中地反映在它们的图案纹样上。瑶族衣服多以单色布料为底
陶渊明的田园诗写的是平淡的田园风光和日常的农村生活,反映的是归隐后恬淡的心境与情趣。在平淡的描写中也正是其以“素”为美的审美态度使平淡素朴的农村田园生活具有了独