【摘 要】
：
随机进程代数是从经典进程代数发展起来,用于并发系统的定性和定量分析的形式化方法,特别适合在计算机网络和通信协议的建模和性能评价.系统模型中的每个活动赋予一个服从指
【出 处】
：
中国计算机学会网络与数据通信学术会议
论文部分内容阅读
随机进程代数是从经典进程代数发展起来,用于并发系统的定性和定量分析的形式化方法,特别适合在计算机网络和通信协议的建模和性能评价.系统模型中的每个活动赋予一个服从指数分布的时间变量,由此可将进程代数的语义模型转换为连续时间的马尔科夫链,易于进行性能测量的计算.本文首先介绍了SPA的语法和操作语义.作为一个应用,分析了令牌环局域网模型.进一步讨论了SPA的三种等价关系,并给出了相应的等价公式,以期解决模型状态空间爆炸问题.利用这些等价公式可对模型进行语义重写来简化模型.
其他文献
目的 观察凝血酶联合奥美拉唑治疗残胃出血的临床治疗效果.方法 对我院在2010年02月-2012年12月收治的50例残胃出血患者随机分为观察组和对照组,观察组的患者给予凝血酶联合
本文首先简要介绍了DiffServ模型,接着对DiffServ的各种QOS机制,包括分类机制、边缘标记机制、调度机制、整型机制和队列管理机制等进行了研究,并介绍了Cisco路由器对DiffSer
主机网络安全是计算机安全领域新兴的边缘技术,它综合考虑网络访问的网络特性和操作系统资源特性,以实现对于网络访问的细粒度控制.本文从分析主机安全和网络安全出发,提出了
目的 探讨内镜辅助下使用美容切口行腮腺良性肿瘤切除术的可行性及安全性.方法 选择2009年3月～2011年3月在我院诊断为腮腺良性肿瘤的11例患者,所有病例均采用美容切口,呈类“U
影像存档及通讯系统PACS因其重要性而倍受医学界和计算机界的关注.数字医疗设备是一种特殊的嵌入式系统.如何解决数字医疗设备与计算机的通讯问题,即计算机如何从数字医疗设
本文通过对目前各种QOS的实现技术的探究,基于网络信息技术发展的总体趋势,并接合各大网络设备产家在该领域的研究和开发经验,从三网合一的统一平台IP协议的角度出发,审视未
小张在郊区购买了新房，已经进入后期装修阶段。为免装修好之后与女朋友有意见分歧，小张利用新家已经安装了的宽带和路由器及随身携带的安卓手机，在新房内为女朋友搭建了一套无线“直播台”，以便女朋友远程指导，直观体验。 手机端的设置 Camera WiFi Stream（以下简称为CWS，下载地址：http://t.cn/zO8w474）是一款可以让手机摄像头变为电脑直播镜头的软件，在手机上安装后利用W
目的 探讨采用改良Winograd手术治疗嵌甲症的疗效分析.方法 2006年2月～2012年9月我院收治嵌甲症患者76例(102趾,122侧)均采用改良Winograd 手术进行治疗.结果 74例患者切口均
嵌入式系统被定义为:以应用为中心、以计算机技术为基础、软件硬件可裁剪、并且系统对功能、可靠性、成本、体积、功耗严格要求的专用计算机系统.在网络通信设备中,嵌入式系
随着科学技术的快速发展,数字技术以及计算机技术在广播电视方面的使用越来越广泛。在整个电视节目播出系统中,原有的播出系统已经很难满足人们的需要,硬盘播出系统应运而生,