回归验证相关论文
验证自动化是当今SOC系统验证中非常重要的环节,其中包括测试向量的自检测,日志文件、波形文件生成自动化,以及回归验证的自动化等......
科学计算程序的计算等效性判定是科学计算领域的重要问题。科学计算程序在算法改进、程序优化和版本迭代过程中经常对函数进行等价......
本文将探讨转化型领导对组织公民行为的影响,并且把自我效能视为部属权变因素、组织政治知觉视为组织权变因素。以路径目标的观......
休闲是一种积极的放松行为,它将人的物质生活和精神生活紧紧维系在一起,对人的生活具有重要价值。城市与农村作是两个具有显著差异的......
中医医案反映了医家的临床诊治经验及辨治思维过程。文章基于古今资料,分析了中医医案研究成果回归验证的必要性及重要性,根据中医......
[目的/意义]分析洛特卡定律在公安学科中的适用情况。[方法/过程]概述国内外十年来洛特卡定律的研究进展;以2004—2013年12种公安......
为了在多版本程序验证中利用邻近版本之间的共享信息,提取并重用之前版本证据自动机中的循环不变式,提出基于证据自动机的软件回归......
本研究选取各区域的经济发展规模、金融发展程度、以及劳动力文化教育水平、第二产业与高新技术产业发展程度等构成因子,作为度量......
一切非标准化制造企业的生产通常都缺乏合理的行业规范指标,毕竟相关客户阶段化需求不断变更,由此延展的产品类型、订单内容和柔性......
<正>本文以配网主要材料10kV电力电缆为例,针对其在招投标过程中所遇到的问题,进行了充分的价格成本分析与采购策略研究,并提出了......