【摘 要】
：
主要提出了一种适应于通信协议自稳定性的恢复算法 .先论述了适用于该算法的有关概念及形式描述方法 ;接着描述了该恢复算法 ,并给出了该算法的正确性证明及复杂性分析 ;最后
【机 构】
：
武汉理工大学计算机科学系!武汉430063,华中科技大学计算机科学系!武汉430074
论文部分内容阅读
主要提出了一种适应于通信协议自稳定性的恢复算法 .先论述了适用于该算法的有关概念及形式描述方法 ;接着描述了该恢复算法 ,并给出了该算法的正确性证明及复杂性分析 ;最后通过一个多进程通信协议的实例研究 ,验证了该算法的正确性和有效性 .
This paper mainly presents a kind of recovery algorithm that adapts to the self-stability of communication protocol.Firstly, it discusses the concepts and formal description methods that are suitable for this algorithm. Then it describes the recovery algorithm, and proves the correctness of the algorithm and its complexity Finally, a case study of a multi-process communication protocol is carried out to verify the correctness and validity of the proposed algorithm.
其他文献
全文分为四个部分:第一部分房地产金融系统性风险研究;房地产金融的系统性风险是目前理论界比较少提到的一个概念,而该文主要以其为研究对象,因此先要对其进行一个全面的基本
第一章首先从理论上阐述了信息与银行核心竞争力的关系.通过论述金融机构存在的原因是不断创新以降低信息成本以及信息与银行市场权力的关系得出结论:银行核心竞争力的本源在
小波分析是基于傅立叶理论和泛函分析等基础上演变而来的，由于它有在时域和频域中含有较好的适应性，因此小波分析得到广大专家学者的青睐，进而被大量运用于地质勘查、图像分析和
近来发现 ,高速网络业务具有自相似及长相关特性 .分数噪声可描述该类业务 ,但它仅表现长相关特性 .给出了利用 FARIMA(自回归分数整合滑动平均 )模型拟合自相似网络业务的一
文章共六部分.第一部分对企业创新及企业创新力的概念作了界定.第二部分总述企业创新力的构成,提出对企业创新力的理解不能仅仅局限于表面,要深入分析.第三、四、五部分分别
潜在类别分析(下简称LCA)旨在利用最少的类别潜变量去解释多个外显分类变量间复杂的关联。研究者多通过对选定的外显心理行为指标进行LCA来探测潜在的异质子群体，目前LCA逐渐
现代资本结构理论是该文研究的理论起点.资本结构通过影响经营者的积极性和向投资者传递企业信息来影响企业的市场价值,在深层次上它还影响关企业的所有权安排.即影响到企业
从2013年上海市中小企业发展报告中可以看出，中小企业在经济中的地位已经提升为不可或缺的重要组成部分，在吸纳就业、吸引创业、发展产业、增强城市服务功能和综合竞争力，以及完
自去年以来"郑百文现象"就成为中国证券市场的一大热点.郑百文由一个国有文化用品批发站成长为"全国商业批发行业龙头老大",公司在1996年上市之后业绩一落千丈,濒临破产边缘.