论文部分内容阅读
主要提出了一种适用于通信信议自稳定性的恢复算法，先论述了适用于该算法的有关概念及形式描述方法；接着描述了该恢复算法，并给出了该算法的正确性证明及复杂性分析；最后通过一个多进程通信协议的实例研究，验证了该算法的正确性和有效性。
一种适用于通信协议自稳定性的恢复算法
【摘 要】
：
主要提出了一种适用于通信信议自稳定性的恢复算法，先论述了适用于该算法的有关概念及形式描述方法；接着描述了该恢复算法，并给出了该算法的正确性证明及复杂性分析；最后通过一个
【机 构】
：
武汉理工大学计算机科学系,华中科技大学计算机科学系
【出 处】
：
计算机研究与发展
【发表日期】
：
2000年9期
【基金项目】
：
国家自然科学基金!(项目编号 69672 0 0 6),,湖北省自然科学基金!(项目编号 94J0 69)
其他文献
小学阶段是培养数学意识，发展数学思维的重要阶段。在数学教学中，教师要运用小学生的好奇心作为教学的切入点，让他们在兴趣和探究欲望的引导下，积极主动的学习数学知识，发展数学思维。随着新课改的进行，教师要改变传统、单一的教学模式，大胆对教学进行改革和创新，激发学生的学习兴趣，使数学课堂在他们的探究中高效进行。在教学中，教师要把学生感兴趣的事物和教学相结合，激发他们的探究欲望，让他们运用科学的学习方法进行
1 概述 医疗质量和病人安全是医院管理的永恒主题.病历不再是单纯为医院医教研服务也不只是医院加强医疗质量进行内部监管的需要,更关键的是病历质量将面对来自广大患者及社
表示层协议是ＯＳＩ高层协议的一部分。文中介绍协议一致性测试的研究现状、测试过程及基本测试方法，分析表示层协议一致性测试需求；采用抽象语法表示（ＡＳＮ．１）与树表格式（ＴＴＣＮ）相结合的形式化描述语
【摘 要】新课标对初中英语各年级段的阅读提出了明确详细的要求，但由于各种原因，农村学生英语课外阅读较为薄弱。本文通过教学实践和教学理论的指导，针对农村学生在课外阅读方面存在的问题，探求原因并提出了解决方法，即教师如何指导农村学生开展英语课外阅读。 【关键词】 农村学生；课外阅读；方法探究 新的《英语课程标准》对初中学生的课外阅读提出了明确的要求：初一学生的课外阅读量不低于4万字，初二学生的阅读
<正> 患者女,21d,因腹部进行性增大伴持续性高热4d。患儿为足月顺产,第1胎第1产。父母均为农民,无肝炎、肺结核、血吸虫、血丝虫等病史。非近亲结婚。母亲怀孕期间未有患病及