您的位置： 专家智库 > >

青岛大学理工学院计算机科学系

作品数：3 被引量：12H指数：1
相关领域：自动化与计算机技术电子电信更多>>

相关机构

文献类型

  • 3篇中文期刊文章

领域

  • 2篇自动化与计算...
  • 1篇电子电信

主题

  • 2篇协议机
  • 2篇计算机
  • 1篇信道
  • 1篇证法
  • 1篇实验教学
  • 1篇提高教学
  • 1篇提高教学质量
  • 1篇通信
  • 1篇通信协议
  • 1篇教学质量
  • 1篇寄存器
  • 1篇计算机通信
  • 1篇教学
  • 1篇OSI

机构

  • 3篇青岛大学

作者

  • 2篇邵峰晶
  • 2篇孙孝瑞
  • 1篇刘遵仁

传媒

  • 2篇青岛大学学报...
  • 1篇实验技术与管...

年份

  • 1篇1999
  • 1篇1997
  • 1篇1996
共 3 条 记 录，以下是 1-3
全选 清除 导出
排序方式：
扩展有限状态协议机模型及其检证法
1996年
本文建立了用于表述含有无限值状态成分的通讯协议机的抽象模型，给出基于该模型的形式检证法，试制了检证系统。
邵峰晶孙孝瑞
关键词：信道寄存器
利用“协议机退缩”的通信协议形式检证
1997年
针对提供高优先度通信协议其检证时生成协议机状态数庞大，使检证难以进行的问题，本文给出了协议机的退缩检证法．通过将给定协议机的检证问题转换为若干个较小协议机的相应检证问题，简化了协议形式检证的复杂性．利用退缩检证法及已建立的检证系统，证明了假设无信道错误时ＯＳＩ参照模型中会话层协议的主要部分，满足“无死锁”、“无传输错误”
邵峰晶刘遵仁孙孝瑞
关键词：OSI计算机通信协议机通信协议
抓好实验教学 提高教学质量被引量：12
1999年
做好实验教学前的准备工作，坚持预做实验制度，抓好实验中的三个环节，既预习，操作报告，是提高实验教学质量的基本工作，并使理论与实践密切结合，为祖国培养更多的合格人才。
刘伟
关键词：实验教学教学质量计算机
全选 清除 导出
共1页<1>
聚类工具0