切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
基于形式规范的协议一致性测试的可靠性分析
基于形式规范的协议一致性测试的可靠性分析
来源 :电子与信息学报 | 被引量 : 0次 | 上传用户:gcj820305
【摘 要】
:
可以用于形式规范的描述语言很多,但存在一种统一的方法对形式规范进行一致性测试.该文采用统计的方法分析基于形式规范的协议一致性测试的可靠性,通过计算给出待测实体经过
【作 者】
:
吕欣岩
赵保华
【机 构】
:
中国科学技术大学计算机系
【出 处】
:
电子与信息学报
【发表日期】
:
2004年期
【关键词】
:
一致性测试
形式规范
测试假设
可靠性
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
可以用于形式规范的描述语言很多,但存在一种统一的方法对形式规范进行一致性测试.该文采用统计的方法分析基于形式规范的协议一致性测试的可靠性,通过计算给出待测实体经过这种测试后所能达到的可靠性的置信区间,特别指出在"零错误"下影响可靠性的条件.
其他文献
《广韵》与苏州方言本字考之“晐”
自隋陆法言出,后的编纂皆以音系为基础,中古音系日益大明.众朴学大家皆以音系非一时一地之音,且吴语占有一定比重.今谈及哈韵中的“赅”“晐”二字,根据已有的语音演变的研究
期刊
《广韵》
苏州方言
本字
晐
纳米级超声造影剂的研究现状与展望
随着纳米生物学技术和超声造影剂的迅速发展,造影剂粒径步入纳米时代.不同核心成分和包膜材料的纳米级超声造影剂分别表现出不同的特性.在实际应用中,纳米级超声造影剂在肿瘤
期刊
纳米
超声检查
造影剂
2009年河北省饮水型地方性氟中毒病情调查
目的 了解饮水型地方性氟中毒的病情动态和评价防治措施的落实效果,为及时调整防治策略提供科学依据.方法 2009年,采用单纯随机抽样的方法,在河北省饮水型氟中毒病区县中抽取
期刊
氟化物中毒
水
氟中毒
牙
氟骨症
Fluoride poisoning
Water
Fluorosis
Dental
Osteofluorosis
18F-FDG PET/CT对可疑复发性宫颈癌的临床价值
目的 探讨18F-FDG PET/CT在可疑复发性宫颈癌临床诊疗中的价值.方法 回顾性分析51例宫颈癌根治后随访期间临床可疑复发的患者,记录患者的治疗资料、可疑复发表现、18F-FDG PE
期刊
宫颈肿瘤
肿瘤复发
局部
体层摄影术
发射型计算机
体层摄影术
X线计算机
脱氧葡萄糖
Cervix neoplasms
Neoplasm recurrence
2009年西藏自治区饮水型氟中毒病情监测结果分析
目的 了解西藏饮水型地方性氟中毒的病情动态,评价防治措施的效果,为及时调整防治策略提供科学依据.方法 按照"2008年中央补助地方公共卫生专项资金西藏饮水型氟中毒防治项目
期刊
氟化物中毒
改水
数据收集
Fluoride poisoning
Change the water
Data collection
对快乐式英语教学的认识
教育方法的多样化和教学技术的现代化已经颠覆了传统的英语教学模式。现代教育观念要求教师能够运用灵活多样的教学方法,使用方便快速的信息渠道来引导学生,并培养学习兴趣;
期刊
快乐英语
学习兴趣
英语课堂活动
急性一氧化碳中毒后迟发性脑病患者血清和脑脊液中5-羟色胺和多巴胺的水平
目的 探讨急性一氧化碳中毒后迟发性脑病(DEACMP)患者血清和脑脊液(CSF)中5-羟色胺(5-HT)、多巴胺(DA)水平的变化及其临床意义.方法 用高效液相色谱法动态检测42例DEACMP患者
期刊
一氧化碳中毒
脑病
5羟色胺
多巴胺
Carbon monoxide poisoning
Encephalopathy
5-hydroxytryptamine
护理干预对预防高血脂症性胰腺炎复发的效果评价
目的 了解护理干预对预防高血脂症性胰腺炎复发的临床应用价值。方法 将2009年9月至2010年9月收治的63例高血脂症性胰腺炎患者随机分为观察组35例和对照组28例。对照组患者按
期刊
护理干预
高血脂症性胰腺炎
预防
复发
多重感染性腹膜炎的分类及防治
多数腹膜透析患者的腹膜炎为单一病原微生物感染,由多种病原微生物感染者少见,其发病机制不明,很可能由腹部疾病所致,并可能与早期使用广谱抗生素导致的肠道菌群失调相关.真
期刊
腹膜透析
腹膜炎
多重感染
真菌
激光入射角度对薄膜热场分布影响的数值分析
在多层介质薄膜中,激光的入射方式是影响薄膜抗损伤能力的关键因素之一.提出了一种模拟锥角高斯光入射多层介质薄膜后电场和热场分布的方法.该方法能够分析薄膜中高斯光各个
期刊
多层介质薄膜
高斯光
热过程
数值分析
与本文相关的学术论文