期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到10篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
基于关键信号的路径覆盖率模型 被引量：2
1
作者 易江芳 佟冬 程旭 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2006年第8期1085-1091,共7页
针对使用路径覆盖率作为验证目标时出现的路径数量庞大、覆盖率难以快速提高等问题,使用控制流图表示代码逻辑结构,采用数据流分析技术对待验证路径进行合理的化简.所产生的路径集合规模小、针对性强,有利于尽早发现设计错误.最后使用... 针对使用路径覆盖率作为验证目标时出现的路径数量庞大、覆盖率难以快速提高等问题,使用控制流图表示代码逻辑结构,采用数据流分析技术对待验证路径进行合理的化简.所产生的路径集合规模小、针对性强,有利于尽早发现设计错误.最后使用遗传算法生成模拟矢量,并基于北京大学“众志-863系统”芯片中的功能模块给出实验结果,说明该覆盖率模型的有效性. 展开更多
关键词 覆盖率模型 路径覆盖率 数据流分析 模拟矢量生成 遗传算法
在线阅读 下载PDF
基于覆盖率模型的AMBA接口随机验证方法
2
作者 许彤 吕涛 《计算机应用研究》 CSCD 北大核心 2008年第7期2078-2080,2137,共4页
AMBA协议是主流SoC(system-on-chip)片上总线的事实标准。结合龙芯1号AHB接口的验证,介绍了基于覆盖率模型的AMBA接口随机验证的系统架构,提出了AHB协议模型的定义方法,采用约束化随机向量对目标空间产生强化测试。该方法迅速定位了接... AMBA协议是主流SoC(system-on-chip)片上总线的事实标准。结合龙芯1号AHB接口的验证,介绍了基于覆盖率模型的AMBA接口随机验证的系统架构,提出了AHB协议模型的定义方法,采用约束化随机向量对目标空间产生强化测试。该方法迅速定位了接口设计中隐蔽的问题,最终达到了100%的功能覆盖率。该方法能够有效地保证接口设计的质量,对互连协议的验证具有普适意义。 展开更多
关键词 覆盖率模型 约束化随机测试 AMBAAHB 龙芯1号IP核 片上系统 设计重用
在线阅读 下载PDF
基于路段属性变量的浮动车覆盖率模型研究
3
作者 饶宗皓 姚恩建 《交通运输系统工程与信息》 EI CSCD 北大核心 2012年第2期62-66,共5页
作为一种新型的交通信息采集方式,浮动车技术得到了广泛的应用.在浮动车系统中,目前的难点在于浮动车配置数量的确定,即在保证一定覆盖率的前提下,如何合理配置路网中的浮动车数量.本文针对现有浮动车覆盖率模型的局限性,从覆盖率的产... 作为一种新型的交通信息采集方式,浮动车技术得到了广泛的应用.在浮动车系统中,目前的难点在于浮动车配置数量的确定,即在保证一定覆盖率的前提下,如何合理配置路网中的浮动车数量.本文针对现有浮动车覆盖率模型的局限性,从覆盖率的产生机理入手,以路段为研究对象,研究路段属性对单位时间内浮动车通过该路段次数的影响,建立基于路段属性变量的浮动车覆盖率模型,并采用极大似然估计法求解.最后结合南京市的浮动车数据进行实例分析,验证了方法的可行性和有效性,可以为浮动车配置计划的确定提供参考依据. 展开更多
关键词 智能交通 覆盖率模型 极大似然估计 浮动车 路段属性
在线阅读 下载PDF
嵌入式处理器在片调试功能的验证 被引量：2
4
作者 许彤 王朋宇 +4 位作者 黄海林 范东睿 朱鹏飞 郑保建 曹非 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2007年第4期502-507,共6页
以龙芯1号处理器为研究对象,探讨了基于JTAG的处理器在片调试功能的验证方法.根据在片调试的结构特征建立了功能覆盖率模型,并以访存模式为基准分步建立虚拟验证原型.整个验证将定向功能测试和指令集随机测试有机地结合起来,迅速定位了... 以龙芯1号处理器为研究对象,探讨了基于JTAG的处理器在片调试功能的验证方法.根据在片调试的结构特征建立了功能覆盖率模型,并以访存模式为基准分步建立虚拟验证原型.整个验证将定向功能测试和指令集随机测试有机地结合起来,迅速定位了设计中多个难以发现的错误.最终验证的功能覆盖率达到100%,FPGA原型经长时间运行无误. 展开更多
关键词 在片调试 覆盖率模型 虚拟验证原型 定向功能测试 随机测试 龙芯1号处理器
在线阅读 下载PDF
使用支持向量机的微处理器验证向量优化方法 被引量：1
5
作者 王朋宇 郭崎 +2 位作者 沈海华 陈云霁 张珩 《高技术通讯》 EI CAS CSCD 北大核心 2010年第1期68-74,共7页
为了解决微处理器仿真验证中随机验证向量质量不高的问题,提出了一种基于支持向量机(SVM)的验证向量优化方法。该方法将已仿真运行的验证向量及其覆盖率信息作为支持向量机的样本进行有监督学习,得到验证向量关于功能覆盖点的分类器。... 为了解决微处理器仿真验证中随机验证向量质量不高的问题,提出了一种基于支持向量机(SVM)的验证向量优化方法。该方法将已仿真运行的验证向量及其覆盖率信息作为支持向量机的样本进行有监督学习,得到验证向量关于功能覆盖点的分类器。利用训练后的分类器对于新产生的验证向量进行预测,并丢弃预测中不能提高覆盖率的冗余验证向量。实验数据表明该方法能准确地过滤冗余验证向量,提高仿真运行的验证向量的质量。和完全随机的验证向量生成方法相比,该方法达到相同的功能覆盖率仅需要前者1/3的验证向量。 展开更多
关键词 支持向量机(SVM) 功能覆盖率模型 微处理器验证 仿真验证 验证向量优化
在线阅读 下载PDF
楼梯清洁机器人从休息平台到下楼过渡方法的研究 被引量：2
6
作者 姚兴田 徐冰辉 +1 位作者 张磊 庞正扬 《机械设计与制造》 北大核心 2019年第A01期131-134,140,共5页
楼梯清洁机器人面向实际应用需解决最关键的问题之一是机器人在休息平台需走多久才决定下楼。针对该问题,研究发现机器人经过较多次对往下楼梯的探空,休息平台的清扫覆盖率已达到保证,此时机器人可以下楼。为此通过计算机仿真,采用随机... 楼梯清洁机器人面向实际应用需解决最关键的问题之一是机器人在休息平台需走多久才决定下楼。针对该问题,研究发现机器人经过较多次对往下楼梯的探空,休息平台的清扫覆盖率已达到保证,此时机器人可以下楼。为此通过计算机仿真,采用随机路径规划清扫,以探空次数作为参数,分析探空次数与机器人在休息平台内清扫覆盖率的关系。仿真结果表明,清扫覆盖率与机器人探空次数呈指数型分布,并且与楼梯尺寸存在一定关系,并最终建立了覆盖率的数学模型,给出了最佳的探空次数,当机器人探空到该次数,便可下楼,实现从平台遍历到下楼的过渡。该方法成本低廉,为楼层清扫的连续性奠定了基础,有利于将成果推向实际应用。 展开更多
关键词 楼梯清洁机器人 楼梯清扫 随机路径规划 覆盖率模型
在线阅读 下载PDF
粗糙裂缝内支撑剂运移铺置行为试验 被引量：13
7
作者 蒋廷学 卞晓冰 +4 位作者 侯磊 黄海 张超 李华周 王志远 《中国石油大学学报（自然科学版）》 EI CAS CSCD 北大核心 2021年第6期95-101,共7页
为了定量预测粗糙裂缝内支撑剂覆盖率,开展不同工况下粗糙裂缝内支撑剂覆盖率的试验研究。基于自主设计的粗糙裂缝试验装置,通过控制变量方法进行不同壁面粗糙度、泵注排量、支撑剂质量分数、压裂液黏度等条件下的输砂试验,定性揭示不... 为了定量预测粗糙裂缝内支撑剂覆盖率,开展不同工况下粗糙裂缝内支撑剂覆盖率的试验研究。基于自主设计的粗糙裂缝试验装置,通过控制变量方法进行不同壁面粗糙度、泵注排量、支撑剂质量分数、压裂液黏度等条件下的输砂试验,定性揭示不同施工参数对支撑剂在粗糙裂缝中输送的影响规律,并基于试验结果提出粗糙裂缝内支撑剂覆盖率计算模型。结果表明:以分形维数(变差函数)为主的裂缝壁面粗糙度定量描述方法能够解释支撑剂在粗糙裂缝内运移沉降过程;支撑剂在粗糙裂缝内的运移、沉降和充填行为与光滑裂缝内有较大差异;不同的裂缝壁面粗糙度能导致支撑剂运移、沉降和充填方式的差异;粗糙裂缝输砂需要足够高的压裂液黏度及泵注排量才能保证支撑剂的有效流动;支撑剂质量分数越大需要与之匹配的流体黏度、携砂液排量越大;基于试验结果建立的粗糙裂缝内支撑剂相对覆盖率预测模型,能够实现对不同粗糙裂缝内不同施工参数组合下支撑剂覆盖范围的预测。 展开更多
关键词 粗糙裂缝 粗糙度 施工参数 支撑剂相对覆盖率预测模型 水力压裂
在线阅读 下载PDF
面向总线系统的高层次结构化激励生成算法
8
作者 程开丰 罗汉青 梁利平 《湖南大学学报（自然科学版）》 EI CAS CSCD 北大核心 2018年第4期148-154,160,共8页
为了应对大规模设计中逻辑信号级输入激励空间爆炸的问题,针对总线系统提出了一种高层次结构化激励生成算法和相应的功能覆盖率模型.首先将总线系统抽象成通用有向二分图模型,然后建立相应激励的高层次数学模型,由此提出一种通用的层次... 为了应对大规模设计中逻辑信号级输入激励空间爆炸的问题,针对总线系统提出了一种高层次结构化激励生成算法和相应的功能覆盖率模型.首先将总线系统抽象成通用有向二分图模型,然后建立相应激励的高层次数学模型,由此提出一种通用的层次化输入激励空间等价类划分算法和对应的高层次功能覆盖率模型,最后基于树的搜索提出了2种结构化激励生成算法.上述方案成功应用于IME-Diamond SoC的总线系统的功能验证中,实际结果表明,相比代码覆盖率,高层次功能覆盖率模型的揭示功能Bug能力更强,而且相对于传统的随机生成,结构化的激励生成能够将覆盖率收敛所需的激励数减少96%. 展开更多
关键词 总线系统 有向二分图模型 等价类划分 高层次功能覆盖率模型 结构化激励生成
在线阅读 下载PDF
Cache一致性验证的结构化激励生成算法
9
作者 程开丰 罗汉青 梁利平 《湖南大学学报（自然科学版）》 EI CAS CSCD 北大核心 2018年第10期108-114,共7页
为解决Cache一致性验证中传统随机激励方法的冗余覆盖及覆盖死角等问题,提出了一种高层次结构化激励生成算法和相应的高层次功能覆盖率模型.首先根据实际多核应用场景将冲突访存操作分类成基本同步和复杂同步,并进一步抽象成有向二分图... 为解决Cache一致性验证中传统随机激励方法的冗余覆盖及覆盖死角等问题,提出了一种高层次结构化激励生成算法和相应的高层次功能覆盖率模型.首先根据实际多核应用场景将冲突访存操作分类成基本同步和复杂同步,并进一步抽象成有向二分图模型,由此提出一种通用的层次化输入空间等价类划分算法和对应的高层次HSPC(Host Slave Pair Coverage)功能覆盖率模型,最后基于树的搜索提出了结构化激励生成算法.上述方案成功应用于IME-Diamond SoC的Cache一致性的功能验证中,实际结果表明,相比传统基于代码的覆盖率,高层次HSPC功能覆盖率模型的揭示功能Bug能力更强,而且相对于传统的随机生成,结构化的激励能够将覆盖率收敛所需的激励数减少96.3%. 展开更多
关键词 CACHE一致性 有向二分图模型 等价类划分 高层次功能覆盖率模型 结构化激励生成
在线阅读 下载PDF
SCADE在弹载软件建模中的应用 被引量：7
10
作者 邓志云 宋志刚 马金梭 《航空兵器》 2007年第3期49-53,共5页
主要介绍了一种软件建模机制和模型验证方法,并结合弹载软件需求进行了模型实例的构建。试验结果表明,该方法有助于提高弹载软件的质量并缩短研制周期,满足导弹的整体研制需求。
关键词 软件开发环境 弹载软件 软件建模 模型覆盖率 软件安全
在线阅读 下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
关于我们 | 版权声明 | 联系我们 | 帮助中心| 意见反馈
主办单位：上海市教育委员会
技术支持：重庆维普资讯有限公司
渝公网安备 50019002500403号
使用帮助 返回顶部