论文部分内容阅读
随机进程代数是从经典进程代数发展起来 ,用于并发系统的定性和定量分析的形式化方法 ,特别适合在计算机网络和通信协议的建模和性能评价 .首先介绍了 SPA的语法和操作语义 .并以令牌环局域网模型为例来说明其应用 .进一步讨论了 SPA的三种等价关系 ,以期解决模型状态空间爆炸问题 .
网络体系结构建模和性能评价的形式化方法——随机进程代数
【摘 要】
：
随机进程代数是从经典进程代数发展起来 ,用于并发系统的定性和定量分析的形式化方法 ,特别适合在计算机网络和通信协议的建模和性能评价 .首先介绍了 SPA的语法和操作语义 .
【机 构】
：
中国矿业大学机电与信息工程学院,中国矿业大学机电与信息工程学院,中国矿业大学机电与信息工程学院,中国矿业大学机电与信息工程学院 (北京校区),北京100083山东工商学院信息工程学院,山东烟台2640
【出 处】
：
数学的实践与认识
【发表日期】
：
2004年11期
其他文献
目的:探讨新生儿呼吸机相关性肺炎(VAP)的主要病原菌,寻求防治措施。方法:应用非支气管镜支气管肺泡灌洗法对56例呼吸机相关性肺炎患儿进行灌洗液培养,同时作药物敏感实验。
"梦"一直被视为解读今敏导演及其电影的一个切入点。文章运用精神分析学的电影批评理论,通过对动漫电影《红辣椒》人物梦境的解读,探讨了影片主要人物内心的深层矛盾。影片以
本文对沪深股市收益率的统计特性进行了讨论 ,检验了收益率分布的非正态性和独立同分布性 .就其独立同分布假设被拒绝的原因从相关和不同分布两方面进行了详细的分析与研究 .
<正>笔者从事思想政治理论课教学20余年,最大的感受是,与其他专业课明显的不同之处,在于它不是以单纯地传授系统的知识为目标,而是以服务于培育社会主义的建设者与接班人,带
目的:本实验结合液氮深低温冻存技术与地塞米松预处理方法,研究其对猪角膜免疫原性影响情况及可能机制。方法:选择新鲜猪角膜,以13mm直径环钻制取角膜标本,依次放入四种冷冻
"承包式"与"专题式"是目前高校思想政治理论课教学中两种主要教学方式。针对"专题式"教学评价"一边倒"的现象,高校应从课程教学的目的与要求,教师、学生和社会发展需要等角度
目的观察三草煎治疗肝源性凝血障碍临床疗效。方法将124例肝源性凝血障碍患者随机分为2组。对照组61例用复方甘草甜素、谷胱甘肽、维生素K1治疗;治疗组63例在对照组治疗基础
由于人文、地理等条件的不同,西方烹饪技术在许多方面,具有与中餐不同的特性。本文在对西餐特点作出总结的同时,着重探讨了西方烹饪技术在中餐中借鉴与运用的思路和方法,并对
文章以马斯洛需求层次理论为视角,分析了"用工荒"背景下的传统餐饮企业与"海底捞"餐饮企业用工策略,并总结了"海底捞"企业的成功经验。最后,笔者认为传统餐饮企业的老板及管