论文部分内容阅读
对协议实现的互操作性测试是保证网络产品之间互通的一种重要手段。在本文中我们提出了一种基于并发ＴＴＣＮ操作语义的互操作性测试系统的构造方法。
一种形式化的协议互操作性测试方法
【摘 要】
：
对协议实现的互操作性测试是保证网络产品之间互通的一种重要手段。在本文中我们提出了一种基于并发ＴＴＣＮ操作语义的互操作性测试系统的构造方法。
【机 构】
：
清华大学计算机科学与技术系
【出 处】
：
计算机学报
【发表日期】
：
1997年4期
其他文献
Hair cells are the mechanosensory cells thatconvert sound and motion signals into electrical i m-pulses in cochlear and vestibular end organs of innerear.Althou
期刊
丁存生、肖国镇在1994年提出了“20个流密码领域的前沿研究问题”，本文回答了其中的问题1，即明确了两种Chrestenson谱的关系．
采用NEL法测试了不同养护条件下、不同矿物掺合料及掺入硫酸钠（Na2SO）4的混凝土早期氯离子扩散系数,结果表明：掺Na2SO4后干空养护基准混凝土的Cl-扩散系数上升,容易发生干缩开裂
本文的研究实现了从电路系统行为（含算法及功能）的ＶＨＤＬ描述到ＲＴＬ和逻辑结构级描述的高级综合，并针对ＸｉｌｉｎｘＦＰＧＡ文件库映射成工艺相关的ＡＳＩＣ，直至生成ＦＰＧＡ的器件，整个系统包括七个部分，本文重点讨论每个部分技
ALTERATIONS IN THE PROTEIN SYNTHESIS AND CONTENTS OF RIBOSOME AND POLYSOME IN LIVEROF SELENIUM－DEFIC
ＡＬＴＥＲＡＴＩＯＮＳＩＮＴＨＥＰＲＯＴＥＩＮＳＹＮＴＨＥＳＩＳＡＮＤＣＯＮＴＥＮＴＳＯＦＲＩＢＯＳＯＭＥＡＮＤＰＯＬＹＳＯＭＥＩＮＬＩＶＥＲＯＦＳＥＬＥＮＩＵＭ－ＤＥＦＩＣＩＥＮＴＲＡＴＳ（毕红），（李同良）（贾锡安），（赵君庸）ＢｉＨｏｎｇ；Ｌｉ...
在本文中，我们介绍了一种基于离散余弦变换子空间失真测度的恢复速失量编码算法。该算法利用ＤＣＴ子空间映射，将失真测度维数从１６降至４，从而使编码计算复杂度隆为１／４，并且结合部分失真算法进
针对雷达目标识别的特点和要求。文中介绍了一个由六片ＴＭＳ３２０Ｃ５０所构成的实时处理系统。硬件设计上充分利用了ＴＭＳ３２０Ｃ５０本身所带有的资源，构成一个模块化，小体积、低成本的工程实用系统。
2009年12月17日，瓦克化学公司经国际杰出雇主鉴定机构CRF（Corporate Research Foundation）评估，荣膺2010上海地区中国杰出雇主。在此次评选中，CRF通过包括问卷调查、采访以及一项