【摘 要】
：
面向小时延缺陷（small delay detect,SDDs）的测试产生方法不仅要求测试产生算法复杂度低,还要尽可能地检测到小时延缺陷.超速测试避免了因测试最长敏化通路而带来的测试效率过
论文部分内容阅读
面向小时延缺陷（small delay detect,SDDs）的测试产生方法不仅要求测试产生算法复杂度低,还要尽可能地检测到小时延缺陷.超速测试避免了因测试最长敏化通路而带来的测试效率过低的问题,而且它要求测试向量按敏化通路时延进行分组,对每组分配一个合适的超速测试频率,再采用一种可快速、准确选择特定长度的路径选择方法来有效地提高测试质量.同时,文中首次通过优先选用单通路敏化标准对短通路进行检测,对关键通路有选择地进行非强健测试,相对采用单一的敏化方法,能以很小的时间代价提高含有小时延缺陷的结点的跳变时
其他文献
本文阐述了PPP项目建设模式档案管理的意义,分析了PPP项目建设模式档案管理存在的问题,从明确档案管理主体、完善档案管理过程、提高档案利用率和档案人员管理水平四个方面提
2017年11月8-9日，中国宝武钢铁集团有限公司(下称中国宝武)2017年档案工作会议在宝钢(常熟)领导力发展中心举行。宝山钢铁股份有限公司(下称宝钢股份)中央研究院副院长郑贻裕
大数据背景下科研院所档案管理工作已不能适应外部新环境的挑战，科研院所档案管理信息化是应对当前挑战的必选项。本文以大数据为切入点，分析了科研院所档案管理的现状，阐述了利
本文从分析企业档案“后端”管理所面临的问题出发,以文件生命周期理论为逻辑起点引出档案全程管理思想,进而围绕档案全程管理提出企业档案全程管理的推行策略及意义所在,旨
OSPF是目前在全球范围应用最多的域内路由协议,但是IS-IS协议的日益流行使其优点也备受关注。对OSPF和IS-IS两种域内路由协议在工作机制、收敛性、可扩展性和安全性方面进行
模型因果行为轮廓不仅可用于度量业务模型之间的一致度，还可以监控业务流程的实际执行。针对现有因果行为轮廓获取方法的局限性，提出了基于最小T-不变量分解技术的因果行为轮廓
为了确保用户选择的Web服务的运行时行为与用户需求之间的一致性，提出了一种基于运行时验证的服务选择方法。首先基于自动机原理，对Web服务进行运行时验证。其次，定义了3种程度