电脑体验，效果更佳

童诗白图谱-计算机领域：

相关人员

李艳 杨士元 闵应骅 龙望宁 尉乃红

研究领域

OBDD变量排序 逻辑设计验证 容错 二叉判决图 动态系统 故障诊断 BP神经网络 可测性

所属机构

清华大学 清华大学自动化系 中国科学院计算技术研究所ＣＡＤ开放实验室

标签云