当前位置：数字出版物超市 >> 学者知网节 >> 承担国家项目资助发文
共有记录10条
序号 题名 作者 文献来源 发表年份 被引频次 下载频次
1 等价性检验中的逻辑调试技术研究 齐芳 中国优秀硕士学位论文全文数据库 2007 0 8
2 基于压缩域特征点的快速图像检索 谢瑞霞; 情报杂志 2006 0 72
3 利用FAN算法进行组合电路的等价性检验 曾琼; 计算机应用研究 2006 0 26
4 组合电路等价性检验方法研究 曾琼;闫炜; 计算机工程 2007 0 35
5 基于压缩域显著点的图像检索方法 张问银,聂真理 计算机应用 2005 0 60
6 电子政务建设中的信息公开与保密 谢瑞霞; 情报科学 2005 1 243
7 组合电路中逻辑错误诊断方法研究 齐芳;吴尽昭;闫炜;徐德启; 计算机应用研究 2008 0 37
8 用基于流事件结构的偏序时序逻辑刻画并发系统多诱因特征 闫炜;吴尽昭;高新岩; 四川大学学报(工程科学版) 2008 0 25
9 基于符号模拟和变量划分的SAT算法 闫炜;吴尽昭;高新岩; 四川大学学报(工程科学版) 2008 0 27
10 非经典切片优化的同步运行时检验方法 高新岩;吴尽昭;乔瑞;闫炜; 计算机工程 2009 0 9