| 注册
首页|期刊导航|电子科技大学学报|基于自由二元判决图转换的可测性优化方法

基于自由二元判决图转换的可测性优化方法

章小兵 王勇 陈光

电子科技大学学报1997,Vol.26Issue(2):P.171-174,4.
电子科技大学学报1997,Vol.26Issue(2):P.171-174,4.

基于自由二元判决图转换的可测性优化方法

章小兵 1王勇 1陈光1

作者信息

  • 1. 电子科技大学CAT研究室
  • 折叠

摘要

关键词

可测性/优化/冗余消除/自由二元判决图

分类

信息技术与安全科学

引用本文复制引用

章小兵,王勇,陈光..基于自由二元判决图转换的可测性优化方法[J].电子科技大学学报,1997,26(2):P.171-174,4.

基金项目

国家"八五"重点科研项目 ()

电子科技大学学报

OA北大核心CSCD

1001-0548

访问量0
|
下载量0
段落导航相关论文