关于多协议机系统中协议证明法的研究

来源 :第十届中国计算机学会网络与数据通信学术会议 | 被引量 : 0次 | 上传用户:yxx1314521
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
通过将信道中的传输信息单元序列描述为正规表达式,给出了信道有界性无假定的多协议机系统模型及有关性质成立的形式证明方法及相关算法。
其他文献
摘 要:新的《数学课程标准》中强调要体现学生主动学习的过程,并适当增加阅读材料如数学史料、趣味数学问题、探索思考等目的都是提高学生的阅读能力,养成独立思考的习惯,通过培养和提高学生的阅读理解能力来激发学生学习数学的兴趣,提高学生的数学能力。  关键词:初中生;数学阅读能力;培养策略  数学阅读是一个不断假设、证明、想象、推理的积极能动的认知过程,包含语言符号(文字、数学符号、术语、公式、图表等)的
系统地介绍了有关文献较少论及的电信线遭受单侧供电电力线路影响放电管保护的配置计算方法。
摘 要:本文通过对独立学院心理健康教育工作特点的分析,提出了更为系统化的心理健康教育模式和新思路,突破了原有的以问题视角开展心理健康工作的理念,从优势视角出发,进一步整合本土化资源和其他力量,共同发挥教育合力,提出了独立学院学生心理健康教育的新途径。在干预和预防的基础上,进一步促进学生自我成长和潜能激发。  关键词:独立学院;心理健康教育;优势视角  近年来,随着国家对民办高等教育的重视,独立学院
会议
该文回顾中国解放以来通信线路的发展情况,从市话铅包电缆和架空明线经历了高频对称电缆、中小同轴电缆和全塑市内通信电缆直到光缆的整个过程。文章最后对中国通信线路未来的
一直以来,在我国教育发展阶段,课堂效率是长久以来最为突出的问题,作为一名初中数学教师,应该随时配合新教育的发展与改革,将学生放在教学的主体位置,积极研究和发展优化课堂
摘 要:作为数字化信息时代来临的重要标志“互联网+”的主要核心就是对这个世界万物展开各类创新,而在这个号召全民终身运动、终身体育的背景下高中的体育教学探索更是要从创新入手,通过对“互联网+”理念的认知与研究,打造出一套适合新时期下高中体育教学的全新之路,以社会化思维、简约化思维、极致化思维等理念来实现新课改下的高中体育教学探索,只有这样我们的体育教学才能够被称之为先进的教学。  关键词:“互联网+
该文介绍了一个专用实时通信协议RTP及其接口函数库RTI,并在此基础上着重讨论RTP协议和RTI接口测试集的实现方法。
摘 要:课标要求培养学生探究性阅读和创造性阅读的能力,提倡多角度、有创意的阅读。本文从小说知识点的落实、小说教学方法的创新以及评价方法的改革三方面阐述了笔者对小说阅读教学的研究。  关键词:高中语文;小说阅读教学;研究  谈语文教学,须明确教的对象和学的内容,依据对象和内容的特点设定教学目标、教学方法和评价标准。高中课程应在义务教育基础上提高学生的语文素养,关注其语言积累,促进其语感、发展其思维;