论文部分内容阅读
利用CCS（Calculus of Communicating Systems）对移动计算中所涉及的传统传输层协议UDP、TCP进行了建模并给出了详细的逻辑推理说明和证明，此方法不仅限于网络协议的证明，也能够将其推广到任何与进程通信相关的模型当中。
移动计算中协议建模的新方法-CCS形式化描述及性能评价
【摘 要】
：
利用CCS（Calculus of Communicating Systems）对移动计算中所涉及的传统传输层协议UDP、TCP进行了建模并给出了详细的逻辑推理说明和证明，此方法不仅限于网络协议的证明，也能够将
【机 构】
：
哈尔滨工业大学计算机科学与技术学院
【出 处】
：
哈尔滨工业大学学报
【发表日期】
：
2006年6期
其他文献
脱氧合金化是钢铁冶炼过程中的重要环节,如何确定脱氧合金化后的主要元素收得率及其影响因素,是钢铁企业提高竞争力所要解决的重要问题。本文运用质量差法确定C、Mn两种元素
在新时代航天强国建设的重要形势下,引导领导干部的思想作风对新形势、新任务做出快速而正确的响应,按照航天强国建设要求有针对性地对思想作风进行培育,是每一个迈向新时代
随着时代的进步,经济的快速发展。我国加大了对土地资源的开发和利用,可是岩土工程地质的工程灾害问题也变得越来越严重,而随着岩土工程地质问题的发生对人类的生命财产的安
在现实资本预算中，由于存在信息不对称，企业总部管理者并不简单地应用NPV规则．根据激励理论，在分权化企业的资本预算中，若分部管理者存在道德风险与有限责任，总部管理者必须对包含
在医院的资产构成中,固定资产无疑是重要的组成部分。通常情况下医院的固定资产中包含了很多大型的医疗设备,因此医院的固定资产价值较大,必须重视对于固定资产的管理。由于
常温下预应力混凝土结构中的预应力筋处于高应力状态.若因高温作用使预应力筋的预应力水平发生锐减,将给预应力混凝土工程带来灾难性的后果.因此,本文就应用ANSYS软件对火灾
武汉园博会于2013年10月18日在武汉举办了展园招展大会。全国各地城市踊跃参展，建设历经一年多，最终共有82个城市展园。本文从布局规划及主题要求、展园特色等方面对城市展园进
提出一种针对于第三代移动通信系统的宽带功率自适应优先级接入控制方案．通过空中接口负载因子的变化来衡量系统所承受负荷的大小，并由总接收干扰门限来判断呼叫请求的接入与否