国家自然科学基金(60373113)

作品数：12被引量：8H指数：2
导出分析报告
相关作者：闫炜吴尽昭高新岩谢瑞霞曾琼更多>>
相关机构：中国科学院成都计算机应用研究所临沂师范学院电子科技大学兰州大学更多>>
相关期刊：《计算机工程与应用》《情报杂志》《现代电子技术》《计算机应用研究》更多>>
相关主题：组合电路压缩域图像检索压缩域等价性检验信息公开更多>>
相关领域：自动化与计算机技术文化科学电子电信理学更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于符号模拟的电路中错误诊断方法研究
《现代电子技术》2009年第16期1-3,7,共4页齐芳 吴尽昭 
国家自然科学基金资助项目(60373113);国家973计划资助项目(2004CB318000)
错误诊断是在逻辑芯片中预测潜在错误点的过程。为了快速有效地诊断电路中的错误,提出一种将符号模拟技术应用到基于区域模型的错误诊断法上的新思想,具体方法是通过对要诊断的电路进行区域划分,然后利用符号模拟方法依据两种测量标准...
关键词：区域模型 符号模拟 错误诊断 测量标准 
非经典切片优化的同步运行时检验方法
《计算机工程》2009年第4期4-6,共3页高新岩 吴尽昭 乔瑞 闫炜 
国家自然科学基金资助项目(60373113);国家“973”计划基金资助项目(2004CB318000)
利用现有的同步IP核来构建全局异步局部同步系统是未来片上系统设计的一个重要发展方向。在整个设计流程中,正确的接口设计和同步问题是至关重要的。该文提出一种改进的抽象时序图与基于计算切片优化技术的谓词检测方法相结合的同步验...
关键词：非经典切片 计算切片 全局异步局部同步系统 谓词检测 偏序迹 
基于符号模拟和变量划分的SAT算法被引量：3
《四川大学学报（工程科学版）》2008年第3期121-125,共5页闫炜 吴尽昭 高新岩 
国家自然科学基金资助项目(60373113);国家973计划资助项目(2004CB318000)
针对SAT算法中回溯次数较多的问题,采用基于符号模拟和变量划分的方法来解决其不足。基于符号模拟和变量划分的SAT算法将一个较大的CNF分解为两个子集,每个子集所包含的变量又划分为两个互不相交的子集,仅对那些无法判断的子集,赋以符号...
关键词：SAT 符号模拟 合取范式 变量划分 
用基于流事件结构的偏序时序逻辑刻画并发系统多诱因特征
《四川大学学报（工程科学版）》2008年第1期127-132,共6页闫炜 吴尽昭 高新岩 
国家自然科学基金资助项目(60373113);国家973计划资助项目(2004CB318000)
针对如何利用偏序时序逻辑刻画并发系统多诱因性的问题,提出了一种依赖流关系的流事件结构逻辑(FESL),作为多诱因特征的刻画语言。FESL以流事件结构作为框架模型,并且依据格局量词,建立了自己的公理系统。证明了FESL不仅能有效表达多诱...
关键词：流事件结构 偏序时序逻辑 格局 公理系统 
组合电路中逻辑错误诊断方法研究被引量：1
《计算机应用研究》2008年第1期114-116,共3页齐芳 吴尽昭 闫炜 徐德启 
国家自然科学基金资助项目(60373113);国家“973”计划资助项目(2004CB-318000)
介绍了近些年出现的几种错误诊断方法,它们在传统方法的基础上利用启发式对原有方法进行了不同程度的改进和提高,产生了较好的诊断结果。
关键词：诊断 路径追踪 模拟 可满足性 
非经典切片技术及其在形式验证中的应用综述
《计算机工程与应用》2007年第36期43-47,54,共6页高新岩 吴尽昭 闫炜 周宁 
国家自然科学基金(the National Natural Science Foundation of China under Grant No.60373113);国家重点基础研究发展规划(973)(the National Grand Fundamental Research 973 Program of China under Grant No.2004CB318000)
切片技术最初是作为一种程序分解抽取的分析技术而出现的,经过20多年的不断发展和完善,应用范围已遍及软件工程学科的各个方面。特别是从本世纪初,随着非经典切片:计算切片和证明切片两个新兴研究方向的出现,其学术研究和工程价值越发...
关键词：程序切片 计算切片 证明切片 约简 形式验证 性质验证 模型检验 
符号模拟被引量：2
《计算机工程》2007年第20期27-29,33,共4页闫炜 吴尽昭 高新岩 
国家自然科学基金资助项目(60373113);国家"973"计划基金资助项目(2004CB318000)
符号模拟将模拟验证从布尔值扩展到符号领域,是集成电路验证行业中的重要分支。符号方法将符号值加到待验证电路的基本输入端,依次计算每个结点的布尔函数,直到在电路的输出端得到由这些初始符号变量组成的布尔表达式,并判断其是否具有...
关键词：符号模拟 近似值 参数方法 符号轨迹评价方法 
组合电路等价性检验方法研究
《计算机工程》2007年第4期253-255,共3页曾琼 闫炜 
国家自然科学基金资助项目(60373113);国家"973"计划基金资助项目(2004CB318000)
分析了数字电路等价性检验方法的基本原理,对组合电路等价性检验方法进行了综合研究,讨论了各种方法的特点,指出了各种方法的优缺点及其适用场合,总结了组合电路等价性检验方法的发展规律,指出了未来的发展方向。
关键词：等价性检验 组合电路 二叉判定图 布尔可满足 自动测试向量产生 
利用FAN算法进行组合电路的等价性检验
《计算机应用研究》2006年第12期25-27,共3页曾琼 
国家"973"计划资助项目(2004CB318003);国家自然科学基金资助项目(60373113)
讨论了组合电路的等价性检验方法,分析了FAN算法的关键技术。利用该算法进行了组合电路的等价性检验,实验结果表明了该方法的有效性。
关键词：等价性检验 ATPG D-算法 PODEM算法 FAN算法 
基于压缩域特征点的快速图像检索
《情报杂志》2006年第3期100-101,104,共3页谢瑞霞 
国家自然科学基金资助(编号:60373113)
给出了基于DCT压缩域特征点的快速图像检索方法,该方法直接利用少量DCT非零系数快速计算图像特征点,不需要完全解压缩,大大降低了计算复杂度,并且具有较强的鲁棒性.实验结果表明,基于特征点提取的图像特征表征能力强,适于图像检索.
关键词：压缩域图像检索 DCT 快速图像检索 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部