切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
形式化的协议性能测试框架
形式化的协议性能测试框架
来源 :小型微型计算机系统 | 被引量 : 0次 | 上传用户:fengxun1985
【摘 要】
:
随着计算机网络技术和网络应用的迅速发展,网络协议性能测试变得越来越重要本文基于形式化方法,提出了一种协议性能测试的理论框架。首先给出了性能和性能测试空间的定义,然后提
【作 者】
:
刘文莉
徐明伟
【机 构】
:
华北光电技术研究所,清华大学计算机系
【出 处】
:
小型微型计算机系统
【发表日期】
:
2000年1期
【关键词】
:
协议性能测试
形式化方法
计算机网络
Protocol performance testingFormal methods
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
随着计算机网络技术和网络应用的迅速发展,网络协议性能测试变得越来越重要本文基于形式化方法,提出了一种协议性能测试的理论框架。首先给出了性能和性能测试空间的定义,然后提出了性能测试的结构框架,并详细描述了各个模块,最后形式化地描述了性能测试的各个阶段。
其他文献
大数据精准分析对中小学生课堂教学的影响研究
<正>一、课题的提出:(一)研究背景:进入2012年,大数据(bigdata)一词越来越多地被提及,人们用它来描述和定义信息爆炸时代产生的海量数大数据时代来临据,并命名与之相关的技术
会议
选择性课程体系背景下中职社团活动学分替代的实践与研究
中职学校社团活动实行学分替代的实践与研究是选择性课程体系背景下客观形势发展的一种需求,是社团活动更好地适应学分制发展的一种有效探索,也是当前中职学校选择性课程改革
学位
选择性课程体系
中职社团活动
学分替代
TFIDF_NB协同训练算法
采用少量已标记和大量未标记文档进行文本分类已成为一种重要研究趋势.在分析了EM和联合训练 (Co-training)两类算法的基础上,提出一种新的协同训练算法.该算法利用Bayes和TF
期刊
文本分类
半监督算法
联合训练算法
EM算法
协同增量训练
text classification semi supervise algorithm Co-tr
基于代数—时态逻辑的象形对象语义模型探讨
本文在“基于代数-时态逻辑的象形对象研究”一文的基础上,进一步讨论了“基于代数-时态逻辑的象形对象语义模型“问题,主要是将基于代数模型和基于时态逻辑模型这两种方法结合,通
期刊
代数-时态逻辑
象形对象
语义模型
代数规范
面向对象
形式语义
计算机
pictoobject algebraic specification tempora
I^2C桥接口电路设计及其ASIC实现
介绍一个从模式I2C桥接口电路,实现了I2C总线与专用集成电路芯片之间的数据交换.它通过在通用的I2C协议上建立系统专用的数据传输协议,完成了不同数据宽度的寄存器寻址读写等
期刊
I^2C总线
桥接口
状态机
ASIC
I~2C bus bridge interface state machine ASIC
品管圈护理模式对神经外科护理质量及患者满意度的影响
目的探讨品管圈护理模式对神经外科护理质量及患者满意度的影响。方法将本院收治的88例患者随机分为观察组与对照组,各44例。对照组给予常规护理,观察组实施品管圈护理模式。
期刊
品管圈
神经外科
满意度
梵净山野生鸡爪黄连资源及其伴生植物调查
为了解梵净山野生黄连种质资源现状,采用民族植物学田野调查法和典型样地调查法,对梵净山野生鸡爪黄连主要栖息地进行系统调查。结果表明:梵净山鸡爪黄连主要分布在海拔1300~1
期刊
鸡爪黄连
分布现状
资源调查
梵净山
曲柄滑块机构的线图法设计
一、参数间的基本关系 设计曲柄滑块机构需要决定的机构参数有:曲柄长度r、连杆长度l,曲柄转动中心相对于滑块移动导路中心的偏置量e、滑块初始位置x、滑块工作行程H、机构
期刊
曲柄滑块机构
最大压力角
位系数
其他学术论文