【摘 要】
:
在通信协议的一致性测试领域里,如何生成满足要求的测试序列一直是研究热点之一。针对生成的测试序列不够简捷高效的问题,在介绍了通信协议的主要形式化模型FSM后,先研究了基于U
论文部分内容阅读
在通信协议的一致性测试领域里,如何生成满足要求的测试序列一直是研究热点之一。针对生成的测试序列不够简捷高效的问题,在介绍了通信协议的主要形式化模型FSM后,先研究了基于UIO的测试序列生成算法,然后对原算法进行了改进。改进后的算法所生成的测试序列具有较高的错误覆盖率,并且能够缩短测试序列的长度。
其他文献
<正> 近闻,浙江省欲打造中国的制造业基地。话题也就从这里拉开。不敢说“言之有理”,权当作“姑妄言之”。 我国正处于工业化的中期阶段。制造业在全球仍属弱项。如今,浙江
摘 要:极限概念为微积分学一个基础概念。极限方法对有限与无限、常量与变量、匀速运动与变速运动、直线与曲线等对立统一矛盾辩证及相互转化关系予以揭示。高等数学中学生对极限定义的理解是其学习高数的首道关卡,其对学生的后续学习有着直接影响。本文针对在高数极限概念学习中学生遇到的困难及相应的教学方法加以探讨。 关键词:高等数学;极限概念;教学方法 1.学生在高等数学极限概念学习中困难的具体表现 (1)
由中国教育记协举办的第三届(1988年度)全国教育好新闻评选活动,于1990年4月揭晓。本刊有6篇作品获奖。
目的冰冻切片诊断乳腺恶性肿瘤准确率的病理临床影响因素。方法选取我院2016年10月~2017年10月收治的乳腺病变患者104例作为该次研究对象,所有患者均采用冰冻切片诊断。观察
研究小学留守儿童心理韧性与攻击性,分析二者间的关系。采取"青少年心理韧性量表"和"攻击问卷"对随机抽取的499名儿童进行研究,发现留守儿童与非留守儿童在情绪控制、人际协
桥梁施工质量是当代施工企业经济效益的保障,近年来我国山区高速公路桥梁施工数量不断增加,施工企业在落实施工工作时应充分的考虑山区的实际情况,合理选择施工技术,提高施工
我在小学协同教学实验的过程中,深深认识到运用协同教学原理是使音乐课堂教学优化的关键。现以小学二年级《牧童之歌》一课为例,谈谈我的体会。一、课前的协同构思每一首歌,
10月25日至31日,全国燎原计划与农村教育改革实验县工作会议在我省召开。25日上午,会议在长沙举行了开幕式。在主席台上就座的有:中共中央政治局委员、国务委员兼国家教委主
摘 要:在理论上可以实现多赢的思想政治课“双基地”实践教学模式,在实际教学中面临着由于上级部门、学校、企业、教师、师傅、学生等主体的积极性不能充分发挥的困境。灵活利用国家职业教育新政策,有效激发各主体积极性,敢于改革、勇于创新,是解决该问题的可行之策。 关键词:主体性;双基地;困境归因;对策 中图分类号:G711 文献标识码:B 广西水利电力职业技术学院自2013年秋季学期起开始尝试思想政治
为了研究山区高速公路桥梁的施工技术应用控制要点,从山区高速公路桥梁的施工特点入手,提出山区高速公路桥梁施工技术的控制要点,包括桥梁伸缩缝施工、桥梁排水设施、桥梁墩