位置：立项数据库 > 立项详情页
结合问题特征的集成电路等价性验证及不一致诊断关键方法研究
  • 项目名称：结合问题特征的集成电路等价性验证及不一致诊断关键方法研究
  • 项目类别：面上项目
  • 批准号：61272208
  • 项目来源：国家自然科学基金
  • 研究期限：1900-01-01-1900-01-01
  • 项目负责人：欧阳丹彤
  • 依托单位：吉林大学
  • 批准年度：2012
成果综合统计
成果类型
数量
  • 期刊论文
  • 会议论文
  • 专利
  • 获奖
  • 著作
  • 25
  • 0
  • 0
  • 0
  • 0
期刊论文
基于缩减信念状态的Conformant规划方法
基于路标隐式分解的前向搜索规划方法
智能世界的建模与诊断
基于实例化次数的约束求解方法研究
基于具有自适应与自学习能力的粒子群优化算法的车间调度算法
关系抽取中基于本体的远监督样本扩充
用CHS-tree基于集合势的方法计算极小碰集
本体推理机求解Mups的性能评测研究
基于概念R—MUPS的本体调试方法
基于MAC的动态回溯算法优化
运用RFID技术的实验设备智能化管理探索
基于极性的非循环术语集调试
路标计数启发式引导的分解规划方法
结合扩展规则重构的#SAT问题增量求解方法
半扩展规则下分解的定理证明方法
不完备离散事件系统的可诊断性
基于分割的超树分解方法
通用化和个性化在线学习新模式的研究与探讨
一种基于冲突的增量诊断方法
基于OpenMP＋MPI的2.5维电磁场正演并行化方法
基于多核的粗粒度2.5维电磁场正演并行算法
基于Hash函数的抵御失去同步RFID安全认证协议
Curve length estimation based on cubic spline interpolation in gray-scale images
利用CSP求解极小碰集的方法
欧阳丹彤的项目