论文部分内容阅读
计算机网络协议的验证和测试，对于网络的开发、互连及其标准化程度的评价是非常重要的。该文从用状态图对协议进行描述开始，讨论了一种基于状态模型的协议验证技术——“扰动”技术，并以CCITX．25协议的验证为例，说明了这种技术的具体测试方法。（本刊录）
计算机网络协议的验证和测试技术
【摘 要】
：
计算机网络协议的验证和测试，对于网络的开发、互连及其标准化程度的评价是非常重要的。该文从用状态图对协议进行描述开始，讨论了一种基于状态模型的协议验证技术——“扰动”
【机 构】
：
公安部11局
【出 处】
：
全国数据通信学术会议
【发表日期】
：
1986年期
其他文献
甘肃农垦自1980年开始引种啤酒花获成功以后,种植面积逐年扩大,现已超过3万亩,填补了我省作物种植上的一次空白,成为甘肃农垦的一大“拳头”产品。由于我省一开始种植就按照
目的:探讨生长因子受体结合蛋白2(Grb2)在胰腺癌中的表达及其意义。方法:分别采用real-time PCR和Western blot方法检测6种胰腺癌细胞株中Grb2基因和蛋白表达水平;采用组织芯
摘 要： 随着社会经济的不断发展和素质教育的不断普及，新课程改革相继在全国各地蓬勃开展。新课改以“以人为本”为核心理念，旨在提高学生的综合素质，促进学生全面发展。历史作为高中素质教育的一门基础性学科，在提高学生的修养方面起着至关重要的作用。从目前的教学情况看，我国高中历史课堂教学中还存在诸多问题。本文分析了其中存在的一系列问题，并有针对性地提出提高高中历史教学有效性的方法与措施以供参考。 关键词
濮阳市处于南水北调工程受水范围之内,为确保工程按期通水,本文针对濮阳市工程征迁安置等工作环节可能引发的社会风险进行了评测,为实现科学决策、依法征迁,切实维护群众的根
根据初中历史课堂教学的特点，我认为制作多媒体课件要遵循五条原则：有利于教学的原则﹑方便实用原则﹑突出主题的原则、艺术性原则、与传统教学相配合的原则，具体介绍如下。 一、有利于教学的原则 多媒体教学的目的是优化课堂教学结构，提高课堂教学效率，既有利于教师的教，又有利于学生的学。所以我们首先关心的是利用某个课件进行教学是否有必要性，即课件的教学价值。课件的教学性主要表现为课件的教学目标、内容的选择
该文以虚拟现实技术在某兵器远程维修训练系统中应用为背景，论述了基于Internet的虚拟现实技术的相关概念，建立了基于Internet的虚拟维修训练系统的模型并实现了一个原系统。