登录注册忘记密码

重庆科技学院机构知识库

高级检索

概览下级机构专家学者科研产出学科建设成果管理成果提交成果认领成果审核学术分析机构森林关于我们

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

导出分析报告

研究主题：协议机计算机教学质量提高教学质量实验教学

研究学科：自动化类电子信息类

被引量：12H指数：1

详细介绍新闻动态研究成果专家学者关系图谱计量评价荣誉奖励

-

结果中检索

检索结果分析

署名顺序

全部
第一机构

结果分析中...

全选清除导出

排序方式：

共 3 条记录，以下是 1-3

抓好实验教学提高教学质量: 1; 《实验技术与管理》青岛大学理工学院计算机系刘伟出版年：1999; 做好实验教学前的准备工作，坚持预做实验制度，抓好实验中的三个环节，既预习，操作报告，是提高实验教学质量的基本工作，并使理论与实践密切结合，为祖国培养更多的合格人才。; 关键词：实验教学教学质量计算机

扩展有限状态协议机模型及其检证法: 2; 《青岛大学学报（自然科学版）》青岛大学理工学院计算机系邵峰晶孙孝瑞出版年：1996; 本文建立了用于表述含有无限值状态成分的通讯协议机的抽象模型，给出基于该模型的形式检证法，试制了检证系统。; 关键词：信道寄存器信息论通讯协议机检证法

利用“协议机退缩”的通信协议形式检证: 3; 《青岛大学学报（自然科学版）》青岛大学理工学院计算机系邵峰晶刘遵仁孙孝瑞出版年：1997; 针对提供高优先度通信协议其检证时生成协议机状态数庞大，使检证难以进行的问题，本文给出了协议机的退缩检证法．通过将给定协议机的检证问题转换为若干个较小协议机的相应检证问题，简化了协议形式检证的复杂性．利用退缩检证法及已建立...; 关键词：OSI 计算机通信协议机通信协议退缩检验

全选清除导出

共1页<< <1> >>

已选条目检索报告聚类工具

版权所有©重庆科技学院重庆维普资讯有限公司渝B2-20050021-7
　渝公网安备 50019002500408号　违法和不良信息举报中心