论文部分内容阅读
利用CCS（Calculus of Communicating Systems）对移动计算中所涉及的传统传输层协议UDP、TCP进行了建模并给出了详细的逻辑推理说明和证明，此方法不仅限于网络协议的证明，也能够将其推广到任何与进程通信相关的模型当中。
移动计算中协议建模的新方法-CCS形式化描述及性能评价
【摘 要】
：
利用CCS（Calculus of Communicating Systems）对移动计算中所涉及的传统传输层协议UDP、TCP进行了建模并给出了详细的逻辑推理说明和证明，此方法不仅限于网络协议的证明，也能够将
【机 构】
：
哈尔滨工业大学计算机科学与技术学院
【出 处】
：
哈尔滨工业大学学报
【发表日期】
：
2006年6期
其他文献
在现实资本预算中，由于存在信息不对称，企业总部管理者并不简单地应用NPV规则．根据激励理论，在分权化企业的资本预算中，若分部管理者存在道德风险与有限责任，总部管理者必须对包含
在医院的资产构成中,固定资产无疑是重要的组成部分。通常情况下医院的固定资产中包含了很多大型的医疗设备,因此医院的固定资产价值较大,必须重视对于固定资产的管理。由于
常温下预应力混凝土结构中的预应力筋处于高应力状态.若因高温作用使预应力筋的预应力水平发生锐减,将给预应力混凝土工程带来灾难性的后果.因此,本文就应用ANSYS软件对火灾
提出一种针对于第三代移动通信系统的宽带功率自适应优先级接入控制方案．通过空中接口负载因子的变化来衡量系统所承受负荷的大小，并由总接收干扰门限来判断呼叫请求的接入与否