您的位置： 专家智库 > >

李涛

作品数：1 被引量：3H指数：1
供职机构：哈尔滨理工大学测控技术与通信工程学院更多>>
相关领域：电子电信更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

  • 1篇电子电信

主题

  • 1篇电路
  • 1篇多故障
  • 1篇组合逻辑
  • 1篇组合逻辑电路
  • 1篇逻辑电路
  • 1篇测试生成算法

机构

  • 1篇哈尔滨理工大...

作者

  • 1篇吴丽华
  • 1篇邹海英
  • 1篇王鹏
  • 1篇李涛

传媒

  • 1篇电机与控制学...

年份

  • 1篇2008
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
多故障测试生成的一种简化算法被引量：3
2008年
针对求解布尔差分要做大量的异或运算,特别是求解高阶布尔差分繁琐的问题,提出一种具有约束条件的布尔差分简化方法。通过对布尔差分算法进行剖析,得出所求测试应该使测试集方程中的布尔函数f(X)随变量的改变而改变,由此可将差分方程表示成恒等式。为保证故障能向输出端传播,需要加入测试矢量生成的约束条件,所以该方法只需通过求解恒等式及约束条件来得到完全测试集。通过采用简化算法和未采用简化算法实例的比较,证明了简化方法的正确性和简化性,仿真验证了所求测试矢量可以检测出设定故障。
吴丽华李涛邹海英王鹏
关键词：组合逻辑电路测试生成算法
全选 清除 导出
共1页<1>
聚类工具0