论文部分内容阅读
可以用于形式规范的描述语言很多,但存在一种统一的方法对形式规范进行一致性测试.该文采用统计的方法分析基于形式规范的协议一致性测试的可靠性,通过计算给出待测实体经过这种测试后所能达到的可靠性的置信区间,特别指出在"零错误"下影响可靠性的条件.
基于形式规范的协议一致性测试的可靠性分析
【摘 要】
：
可以用于形式规范的描述语言很多,但存在一种统一的方法对形式规范进行一致性测试.该文采用统计的方法分析基于形式规范的协议一致性测试的可靠性,通过计算给出待测实体经过
【机 构】
：
中国科学技术大学计算机系
【出 处】
：
电子与信息学报
【发表日期】
：
2004年期
其他文献
自隋陆法言出,后的编纂皆以音系为基础,中古音系日益大明.众朴学大家皆以音系非一时一地之音,且吴语占有一定比重.今谈及哈韵中的“赅”“晐”二字,根据已有的语音演变的研究
随着纳米生物学技术和超声造影剂的迅速发展,造影剂粒径步入纳米时代.不同核心成分和包膜材料的纳米级超声造影剂分别表现出不同的特性.在实际应用中,纳米级超声造影剂在肿瘤
目的 了解饮水型地方性氟中毒的病情动态和评价防治措施的落实效果,为及时调整防治策略提供科学依据.方法 2009年,采用单纯随机抽样的方法,在河北省饮水型氟中毒病区县中抽取
目的 探讨18F-FDG PET/CT在可疑复发性宫颈癌临床诊疗中的价值.方法 回顾性分析51例宫颈癌根治后随访期间临床可疑复发的患者,记录患者的治疗资料、可疑复发表现、18F-FDG PE
目的 了解西藏饮水型地方性氟中毒的病情动态,评价防治措施的效果,为及时调整防治策略提供科学依据.方法 按照"2008年中央补助地方公共卫生专项资金西藏饮水型氟中毒防治项目
教育方法的多样化和教学技术的现代化已经颠覆了传统的英语教学模式。现代教育观念要求教师能够运用灵活多样的教学方法,使用方便快速的信息渠道来引导学生,并培养学习兴趣;
目的 探讨急性一氧化碳中毒后迟发性脑病(DEACMP)患者血清和脑脊液(CSF)中5-羟色胺(5-HT)、多巴胺(DA)水平的变化及其临床意义.方法 用高效液相色谱法动态检测42例DEACMP患者
目的 了解护理干预对预防高血脂症性胰腺炎复发的临床应用价值。方法 将2009年9月至2010年9月收治的63例高血脂症性胰腺炎患者随机分为观察组35例和对照组28例。对照组患者按
多数腹膜透析患者的腹膜炎为单一病原微生物感染,由多种病原微生物感染者少见,其发病机制不明,很可能由腹部疾病所致,并可能与早期使用广谱抗生素导致的肠道菌群失调相关.真
在多层介质薄膜中,激光的入射方式是影响薄膜抗损伤能力的关键因素之一.提出了一种模拟锥角高斯光入射多层介质薄膜后电场和热场分布的方法.该方法能够分析薄膜中高斯光各个