论文部分内容阅读
通信协议机械证明的实现
【机 构】
:
大学信息工程学院
【出 处】
:
中国科协首届学术年会
【发表日期】
:
1999年期
其他文献
概述了目前煤矿井下通信系统的现状和宽带综合业务接入网的主要形式及其特点。提出了一种适合煤矿井下的宽带综合业务网的结构形式。
该文就机群系统的通信机制进行讨论,分析了传统通信机制存在的问题,针对现有通信机制存在的问题。提出一种以活动消息,Active Messages息为基础。利用高带宽网络及与主存集成的网络接口提供的