研究方向

逻辑电路中等价结点判断 在逻辑电路中通常会存在大量功能等价的结点，即在任何一种输入值的情况下结点的值始终相同。等价结点的判断在逻辑电路优化以及逻辑电路验证中都起着至关重要的作用。然而传统的在逻辑电路中两两比较所有结点并运用SAT-solver或者是枚举所有结点的真值表来判断是否等价是非常低效的。因此本课题旨在探索一种算法，利用逻辑电路的结构以及其他特性，能够快速筛选出可能等价的结点。从而能够高效判断逻辑电路中的等价结点并尽可能减少调用SAT-solver的次数。

 

相关学科

计算机科学技术、应用数学

 

科研导师

X. Z

• 香港浸会大学计算机博士，本科毕业于华东师范大学数学系；
• 研究方向为图数据库，大数据，图论算法等；
• 发表一作顶会论文七篇，并曾获得最佳论文提名；
• 曾指导博一学生发表一作顶会，擅长指导学生研究问题，并激发学生科研兴趣。

科研成果

成果一：在英文期刊中发表学术论文

有方学者项目能够为学员在正规的英文学术期刊中发表论文。正规的学术期刊均要求由独立审稿人决定论文的录用与否。因此，论文的成功发表标志着这篇文章已达到学界公认的学术标准。有方学者最优秀的学生，不但可以冲击EI、SCI等高级别期刊，而且有机会参与全球顶级的学术会议。

成果二：第一作者身份

有方学者项目坚持帮助学生以第一作者身份发表论文。在申请过程中，招生官最看重的是学生在科研项目中的参与程度，而第一作者顺位恰恰是这一点的最佳证明。近年来，有大量的中国学生在教授署名的论文中挂名，这使得第一作者身份的含金量更为突出。

成果三：独一无二的课题

有方学者项目的导师会为每个学生提供独一无二的课题，连接最前沿的科研方法和学生感兴趣的学术方向，每个学生的研究内容具有差异性。

成果四：顶尖院校导师的推荐信

有方学者项目将为学生提供项目导师撰写的推荐信。导师作为推荐人，来自于美国顶尖学府的科研团队，影响着推荐信的可信度；而导师所提供的丰富的细节和生动的描述能更好展现学生的过人之处，从而大大提高了推荐信的价值。

成果五：高效备战具有高影响力、高含金量的科研竞赛

学生可以直接使用有方学者项目的成果论文冲击多项全球顶级的科研赛事，其中包括：被誉为“中国青年的诺贝尔奖”的丘成桐科学奖、ISEF 国际科学与工程奖、全国青少年科技创新大赛等。

 

 

了解更多详情

请扫描二维码

关注「有方背景提升」